Trace number 3366843

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.36 1203.15

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
MD5SUM7bb85ebdeae46262f72a4c54d4e16683
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables772
Number of clauses9601
Sum of the clauses size28996
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 39408
Number of clauses of size 4193
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366843-1305416108.cnf'
0.00/0.01	c -- header says num vars:            772
0.00/0.01	c -- header says num clauses:        9601
0.00/0.03	c -- clauses added:            0 learnts,         9601 normals,            0 xors
0.00/0.03	c -- vars added        772
0.00/0.03	c Parsing time:  0.00 s
0.00/0.03	c  N st     0         0       772      9601         0         0     28996         0   no data   no data
0.00/0.03	c asymm  cl-useful: 0/9601/9601 lits-rem:0 time: 0.01
0.00/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
0.00/0.05	c lits-rem:      2968  cl-subs:        0  v-elim:    193  v-fix:    0  time:  0.02 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.81	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.81	c calculated reachability. Time: 0.00
0.00/0.81	c Calc default polars -  time:   0.00 s pos:       0 undec:     193 neg:     579
0.00/0.81	c =========================================================================================
0.00/0.81	c types(t): F = full restart, N = normal restart
0.00/0.81	c types(t): S = simplification begin/end, E = solution found
0.00/0.81	c restart types(rt): st = static, dy = dynamic
0.00/0.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.81	c  B st     0         0       579      9408         0         0     39368         0   no data   no data
0.00/0.81	c Decided on static restart strategy
0.00/0.81	c  N st     8      4915       579      9408         6      4759     39368     99888   no data   no data
0.00/0.81	c  N st    10     11297       579      9408        11      4609     39368     55226   no data   no data
4.77/1.21	c  N st    11     17043       579      9408        12     10208     39368    194478   no data   no data
6.77/1.74	c  F st    12     25001       579      9408        22     12456     39368    230512   no data   no data
6.77/1.74	c  N st    12     25001       579      9408        22     12456     39368    230512   no data   no data
7.60/1.99	c Finding binary XORs  T:     0.00 s  found:       0
8.36/2.10	c Decided on static restart strategy
8.36/2.10	c  N st    18     30000       579      9408        36     11271     39368    161381   no data   no data
8.36/2.10	c  S st    18     30000       579      9408        36     11271     39368    161381   no data   no data
8.36/2.14	c  S st    18     30503       579      9408        41     11764     39368    165874   no data   no data
8.36/2.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.36/2.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     11 BRemL:      2 BRemN:      0 P:  0.2M T:  0.00
8.36/2.14	c blocked clauses removed:        0 vars:      0 tried:         579 T: 0.00 s
8.36/2.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.36/2.14	c subs with bin:       15  lits-rem:        21  v-fix:    0  time:  0.00 s
8.36/2.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    579 time:  0.00 s
8.36/2.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
8.36/2.15	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.00 s
8.36/2.16	c subs with bin:       91  lits-rem:      4224  v-fix:    0  time:  0.01 s
9.15/2.30	c lits-rem:      2431  cl-subs:     2344  v-elim:      0  v-fix:    0  time:  0.13 s
9.15/2.34	c asymm  cl-useful: 2342/9392/9392 lits-rem:3380 time: 0.04
9.15/2.34	c calculated reachability. Time: 0.00
9.15/2.34	c  N st    18     30503       579      9391        54      9329     34446    132168   no data   no data
11.57/2.91	c  N st    20     37615       579      9391        69      8365     34446     91579   no data   no data
13.55/3.40	c  N st    21     44016       579      9391        70     14529     34446    217756   no data   no data
13.95/3.56	c  S st    22     45754       579      9391        85     16204     34446    250045   no data   no data
14.35/3.60	c  S st    22     46255       579      9391        87     16699     34446    256783   no data   no data
14.35/3.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.35/3.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      4 BRemL:      2 BRemN:      0 P:  0.3M T:  0.01
14.35/3.61	c Replacing        1 vars Replaced      242 lits Time:     0.00 s 
14.35/3.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.35/3.61	c bin-w-bin subsume rem            3 bins  time:  0.00 s
14.35/3.61	c subs with bin:        5  lits-rem:         7  v-fix:    0  time:  0.00 s
14.35/3.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    578 time:  0.00 s
14.35/3.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
14.35/3.62	c lits-rem:       239  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.00 s
14.35/3.64	c subs with bin:       49  lits-rem:      3474  v-fix:    0  time:  0.01 s
15.54/3.90	c lits-rem:      1342  cl-subs:     3073  v-elim:      0  v-fix:    0  time:  0.25 s
15.54/3.90	c vivif2 --  cl tried     9371 cl shrink        0 lits rem          0 time: 0.00
15.54/3.90	c vivif2 --  cl tried    13575 cl shrink       85 lits rem         86 time: 0.00
15.54/3.96	c asymm  cl-useful: 977/9371/9371 lits-rem:1268 time: 0.06
15.54/3.96	c calculated reachability. Time: 0.00
15.54/3.96	c  N st    22     46255       578      9371        84     13575     32772    204895   no data   no data
15.54/3.96	c Finding binary XORs  T:     0.00 s  found:       0
21.12/5.31	c  N st    23     60652       578      9371        84     18676     32772    283046   no data   no data
24.32/6.15	c  N st    24     69384       578      9371       114     17453     32772    236904   no data   no data
24.32/6.15	c  S st    24     69384       578      9371       114     17453     32772    236904   no data   no data
24.32/6.15	c Finding binary XORs  T:     0.00 s  found:       0
24.32/6.20	c  S st    24     69891       578      9371       117     17949     32772    245087   no data   no data
24.32/6.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.32/6.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  0.3M T:  0.00
24.73/6.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.73/6.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.73/6.21	c subs with bin:        2  lits-rem:         2  v-fix:    0  time:  0.00 s
24.73/6.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    578 time:  0.00 s
24.73/6.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
24.73/6.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.73/6.23	c subs with bin:       30  lits-rem:      1576  v-fix:    0  time:  0.01 s
25.91/6.56	c lits-rem:      1149  cl-subs:     4584  v-elim:      0  v-fix:    0  time:  0.33 s
25.91/6.56	c vivif2 --  cl tried     9369 cl shrink        0 lits rem          0 time: 0.00
25.91/6.56	c vivif2 --  cl tried    13335 cl shrink      204 lits rem        209 time: 0.00
26.31/6.62	c asymm  cl-useful: 486/9369/9369 lits-rem:537 time: 0.06
26.31/6.62	c calculated reachability. Time: 0.00
26.31/6.62	c  N st    24     69891       578      9369       116     13335     32197    172207   no data   no data
32.71/8.23	c  F st    25     87501       578      9369       117     19930     32197    288972   no data   no data
32.71/8.23	c  N st    25     87501       578      9369       117     19930     32197    288972   no data   no data
34.69/8.72	c Decided on static restart strategy
35.49/8.97	c  N st    32     95544       578      9369       127     16180     32197    200409   no data   no data
37.09/9.37	c Finding binary XORs  T:     0.00 s  found:       0
39.48/9.90	c  N st    34    104836       578      9369       135     25191     32197    371949   no data   no data
39.48/9.90	c  S st    34    104836       578      9369       135     25191     32197    371949   no data   no data
39.48/9.97	c  S st    34    105337       578      9369       142     13104     32197    129450   no data   no data
39.48/9.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.48/9.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      1 BRemL:      2 BRemN:      0 P:  0.2M T:  0.00
39.48/9.98	c Replacing        1 vars Replaced      525 lits Time:     0.00 s 
39.48/9.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.48/9.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.48/9.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.48/9.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    577 time:  0.00 s
39.48/9.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
39.48/9.99	c lits-rem:         6  cl-subs:       13  v-elim:      0  v-fix:    0  time:  0.00 s
39.48/9.99	c subs with bin:       17  lits-rem:      1133  v-fix:    0  time:  0.00 s
39.87/10.01	c lits-rem:       299  cl-subs:      296  v-elim:      0  v-fix:    0  time:  0.02 s
39.87/10.01	c vivif2 --  cl tried     9356 cl shrink        0 lits rem          0 time: 0.00
39.87/10.02	c vivif2 --  cl tried    12786 cl shrink       15 lits rem         17 time: 0.00
39.87/10.08	c asymm  cl-useful: 258/9356/9356 lits-rem:269 time: 0.06
39.87/10.08	c calculated reachability. Time: 0.00
39.87/10.08	c  N st    34    105337       577      9356       140     12786     31863    125266   no data   no data
43.46/10.98	c  N st    35    114935       577      9356       141     22151     31863    303674   no data   no data
49.86/12.55	c  N st    36    129332       577      9356       152     22398     31863    282595   no data   no data
49.86/12.55	c Finding binary XORs  T:     0.00 s  found:       0
59.85/15.06	c  N st    37    150927       577      9356       154     28842     31863    415822   no data   no data
63.02/15.86	c  S st    38    158006       577      9356       164     20208     31863    231026   no data   no data
63.42/15.91	c  S st    38    158508       577      9356       166     20699     31863    238816   no data   no data
63.42/15.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
63.42/15.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  0.4M T:  0.01
63.42/15.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
63.42/15.92	c bin-w-bin subsume rem            1 bins  time:  0.00 s
63.42/15.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.42/15.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    577 time:  0.00 s
63.42/15.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
63.42/15.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
63.42/15.94	c subs with bin:       21  lits-rem:       888  v-fix:    0  time:  0.01 s
64.24/16.12	c lits-rem:       584  cl-subs:     2597  v-elim:      0  v-fix:    0  time:  0.17 s
64.24/16.12	c vivif2 --  cl tried     9356 cl shrink        0 lits rem          0 time: 0.00
64.24/16.12	c vivif2 --  cl tried    18081 cl shrink       88 lits rem         90 time: 0.00
64.24/16.20	c asymm  cl-useful: 168/9356/9356 lits-rem:168 time: 0.08
64.24/16.20	c calculated reachability. Time: 0.00
64.24/16.20	c  N st    38    158508       577      9356       165     18081     31675    197905   no data   no data
86.96/21.84	c  N st    39    207097       577      9356       166     31408     31675    443511   no data   no data
86.96/21.84	c Finding binary XORs  T:     0.00 s  found:       1
102.53/25.70	c  N st    40    237764       577      9356       168     23247     31675    256338   no data   no data
102.53/25.70	c  S st    40    237764       577      9356       168     23247     31675    256338   no data   no data
102.53/25.76	c  S st    40    238268       577      9356       172     23744     31675    265909   no data   no data
102.53/25.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
102.53/25.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
102.53/25.77	c Replacing        1 vars Replaced       86 lits Time:     0.00 s 
102.53/25.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
102.53/25.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
102.53/25.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
102.53/25.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    576 time:  0.00 s
102.53/25.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
102.53/25.78	c lits-rem:        43  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.00 s
102.53/25.79	c subs with bin:       12  lits-rem:       168  v-fix:    0  time:  0.01 s
103.33/25.95	c lits-rem:       951  cl-subs:     2072  v-elim:      0  v-fix:    0  time:  0.16 s
103.33/25.95	c vivif2 --  cl tried     9342 cl shrink        0 lits rem          0 time: 0.00
103.33/25.96	c vivif2 --  cl tried    21658 cl shrink       84 lits rem         87 time: 0.00
103.75/26.05	c asymm  cl-useful: 92/9342/9342 lits-rem:92 time: 0.09
103.75/26.05	c calculated reachability. Time: 0.00
103.75/26.05	c  N st    40    238268       576      9342       170     21658     31493    237232   no data   no data
140.83/35.34	c  F st    41    306250       576      9342       170     23634     31493    239944   no data   no data
140.83/35.35	c  N st    41    306250       576      9342       170     23634     31493    239944   no data   no data
140.83/35.35	c Finding binary XORs  T:     0.00 s  found:       1
143.24/35.91	c Decided on static restart strategy
155.19/38.94	c  N st    51    334554       576      9342       197     27922     31493    315458   no data   no data
167.57/42.09	c  N st    53    357402       576      9342       198     25833     31493    259758   no data   no data
167.57/42.09	c  S st    53    357402       576      9342       198     25833     31493    259758   no data   no data
167.97/42.16	c  S st    53    357903       576      9342       201     26327     31493    269061   no data   no data
167.97/42.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
167.97/42.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  0.4M T:  0.01
167.97/42.17	c Replacing        1 vars Replaced      397 lits Time:     0.00 s 
167.97/42.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
167.97/42.17	c bin-w-bin subsume rem            1 bins  time:  0.00 s
167.97/42.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
167.97/42.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
167.97/42.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
167.97/42.17	c lits-rem:        42  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.00 s
167.97/42.19	c subs with bin:       14  lits-rem:       348  v-fix:    0  time:  0.01 s
168.77/42.30	c lits-rem:       451  cl-subs:     1475  v-elim:      0  v-fix:    0  time:  0.11 s
168.77/42.30	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
168.77/42.31	c vivif2 --  cl tried    24836 cl shrink       20 lits rem         20 time: 0.00
169.17/42.41	c asymm  cl-useful: 43/9327/9327 lits-rem:43 time: 0.10
169.17/42.41	c calculated reachability. Time: 0.00
169.17/42.41	c  N st    53    357903       575      9327       196     24836     31363    250734   no data   no data
185.51/46.58	c  N st    54    390295       575      9327       196     30968     31363    350298   no data   no data
211.85/53.14	c  N st    55    438886       575      9327       196     51852     31363    719999   no data   no data
253.38/63.58	c  N st    56    511770       575      9327       199     38297     31363    446986   no data   no data
253.38/63.58	c Finding binary XORs  T:     0.00 s  found:       0
267.30/67.04	c  N st    57    536856       575      9327       203     32659     31363    334194   no data   no data
267.30/67.04	c  S st    57    536856       575      9327       203     32659     31363    334194   no data   no data
267.70/67.11	c  S st    57    537358       575      9327       209     33160     31363    343163   no data   no data
267.70/67.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
267.70/67.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
267.70/67.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
267.70/67.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
267.70/67.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
267.70/67.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
267.70/67.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
267.70/67.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
267.70/67.15	c subs with bin:        3  lits-rem:       729  v-fix:    0  time:  0.01 s
268.50/67.31	c lits-rem:       913  cl-subs:     1572  v-elim:      0  v-fix:    0  time:  0.16 s
268.50/67.31	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
268.50/67.32	c vivif2 --  cl tried    31585 cl shrink       36 lits rem         36 time: 0.01
268.90/67.44	c asymm  cl-useful: 84/9327/9327 lits-rem:84 time: 0.13
268.90/67.45	c calculated reachability. Time: 0.00
268.90/67.45	c  N st    57    537358       575      9327       209     31585     31272    321563   no data   no data
372.63/93.42	c  N st    58    701343       575      9327       209     60914     31272    787416   no data   no data
440.47/110.46	c  N st    59    806037       575      9327       209     54489     31272    663050   no data   no data
440.47/110.46	c  S st    59    806037       575      9327       209     54489     31272    663050   no data   no data
440.87/110.58	c  S st    59    806538       575      9327       212     54980     31272    671702   no data   no data
440.87/110.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
441.27/110.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
441.27/110.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
441.27/110.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
441.27/110.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
441.27/110.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
441.27/110.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
441.27/110.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
441.27/110.65	c subs with bin:        6  lits-rem:         1  v-fix:    0  time:  0.02 s
448.85/112.53	c lits-rem:       861  cl-subs:    12732  v-elim:      0  v-fix:    0  time:  1.88 s
448.85/112.53	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
448.85/112.54	c vivif2 --  cl tried    42242 cl shrink      176 lits rem        180 time: 0.01
449.65/112.72	c asymm  cl-useful: 18/9327/9327 lits-rem:18 time: 0.17
449.65/112.72	c calculated reachability. Time: 0.00
449.65/112.72	c  N st    59    806538       575      9327       212     42242     31250    485764   no data   no data
631.99/158.42	c  F st    60   1071876       575      9327       212     58662     31250    739370   no data   no data
631.99/158.42	c  N st    60   1071876       575      9327       212     58662     31250    739370   no data   no data
631.99/158.42	c Finding binary XORs  T:     0.00 s  found:       0
635.57/159.35	c Decided on static restart strategy
654.33/164.09	c  N st    70   1100180       575      9327       232     86215     31250   1271753   no data   no data
679.87/170.48	c  N st    72   1136172       575      9327       232     77589     31250   1130212   no data   no data
703.81/176.46	c  N st    73   1168565       575      9327       232     64436     31250    859006   no data   no data
735.32/184.38	c  N st    74   1209807       575      9327       233     58609     31250    673989   no data   no data
735.32/184.38	c  S st    74   1209807       575      9327       233     58609     31250    673989   no data   no data
735.74/184.50	c  S st    74   1210310       575      9327       240     59111     31250    684086   no data   no data
735.74/184.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
736.16/184.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.02
736.16/184.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
736.16/184.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
736.16/184.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
736.16/184.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
736.16/184.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
736.16/184.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
736.16/184.57	c subs with bin:        7  lits-rem:      1011  v-fix:    0  time:  0.02 s
742.10/186.07	c lits-rem:      1025  cl-subs:     9996  v-elim:      0  v-fix:    0  time:  1.50 s
742.10/186.07	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
742.10/186.09	c vivif2 --  cl tried    49108 cl shrink      120 lits rem        126 time: 0.01
742.90/186.29	c asymm  cl-useful: 6/8763/9327 lits-rem:6 time: 0.20
742.90/186.29	c calculated reachability. Time: 0.00
742.90/186.29	c  N st    74   1210310       575      9327       240     49108     31243    543457   no data   no data
795.97/199.50	c  N st    75   1283193       575      9327       240     73715     31243   1069725   no data   no data
795.97/199.50	c Finding binary XORs  T:     0.00 s  found:       0
885.74/222.09	c  N st    76   1392518       575      9327       242     83649     31243   1204898   no data   no data
1028.58/257.87	c  N st    77   1556502       575      9327       248     91279     31243   1268599   no data   no data
1165.03/292.02	c  N st    78   1710311       575      9327       250     80602     31243   1089024   no data   no data
1165.03/292.02	c  S st    78   1710311       575      9327       250     80602     31243   1089024   no data   no data
1165.03/292.02	c Finding binary XORs  T:     0.00 s  found:       0
1165.44/292.20	c  S st    78   1710813       575      9327       258     81098     31243   1097921   no data   no data
1165.44/292.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1165.86/292.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
1165.86/292.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1165.86/292.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1165.86/292.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1165.86/292.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
1165.86/292.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1165.86/292.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1166.63/292.49	c subs with bin:        8  lits-rem:     11904  v-fix:    0  time:  0.21 s
1181.39/296.10	c lits-rem:      5782  cl-subs:     7770  v-elim:      0  v-fix:    0  time:  3.61 s
1181.39/296.10	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
1181.39/296.13	c vivif2 --  cl tried    73320 cl shrink      716 lits rem        723 time: 0.03
1181.39/296.15	c asymm  cl-useful: 0/564/9327 lits-rem:0 time: 0.02
1181.39/296.15	c calculated reachability. Time: 0.00
1181.39/296.15	c  N st    78   1710813       575      9327       258     73320     31243    975834   no data   no data
1534.94/384.72	c  N st    79   2079778       575      9327       258     84820     31243   1102160   no data   no data
1656.20/415.18	c  N st    80   2210813       575      9327       258     88800     31243   1139070   no data   no data
1656.20/415.18	c  S st    80   2210813       575      9327       258     88800     31243   1139070   no data   no data
1657.00/415.40	c  S st    80   2211314       575      9327       261     89295     31243   1148810   no data   no data
1657.00/415.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1657.42/415.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.04
1657.42/415.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1657.42/415.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1657.42/415.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1657.42/415.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
1657.42/415.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1657.42/415.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1657.83/415.54	c subs with bin:        4  lits-rem:         0  v-fix:    0  time:  0.05 s
1676.54/420.28	c lits-rem:      5755  cl-subs:    13067  v-elim:      0  v-fix:    0  time:  4.74 s
1676.54/420.28	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
1676.94/420.31	c vivif2 --  cl tried    76224 cl shrink      546 lits rem        558 time: 0.02
1677.74/420.56	c asymm  cl-useful: 5/5912/9327 lits-rem:5 time: 0.25
1677.74/420.56	c calculated reachability. Time: 0.00
1677.74/420.56	c  N st    80   2211314       575      9327       261     76224     31238    924851   no data   no data
2202.06/551.95	c  N st    81   2711314       575      9327       261    100207     31238   1363483   no data   no data
2202.06/551.95	c  S st    81   2711314       575      9327       261    100207     31238   1363483   no data   no data
2202.06/551.95	c Finding binary XORs  T:     0.00 s  found:       0
2202.81/552.17	c  S st    81   2711816       575      9327       287    100703     31238   1373664   no data   no data
2202.81/552.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2203.21/552.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.04
2203.21/552.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2203.21/552.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2203.21/552.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2203.21/552.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
2203.21/552.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2203.21/552.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2203.61/552.35	c subs with bin:       15  lits-rem:      1105  v-fix:    0  time:  0.07 s
2231.95/559.44	c lits-rem:      5371  cl-subs:    15530  v-elim:      0  v-fix:    0  time:  7.09 s
2231.95/559.44	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
2231.95/559.48	c vivif2 --  cl tried    85158 cl shrink     1044 lits rem       1061 time: 0.03
2232.79/559.66	c asymm  cl-useful: 0/3415/9327 lits-rem:0 time: 0.18
2232.79/559.66	c calculated reachability. Time: 0.00
2232.79/559.66	c  N st    81   2711816       575      9327       287     85158     31237   1140240   no data   no data
2819.67/706.75	c  N st    82   3211817       575      9327       288    136827     31237   1959093   no data   no data
2819.67/706.75	c  S st    82   3211817       575      9327       288    136827     31237   1959093   no data   no data
2819.67/706.75	c Finding binary XORs  T:     0.00 s  found:       0
2820.90/707.04	c  S st    82   3212321       575      9327       310    137325     31237   1969308   no data   no data
2820.90/707.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2821.26/707.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.06
2821.26/707.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2821.26/707.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2821.26/707.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2821.26/707.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
2821.26/707.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2821.26/707.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2827.26/708.60	c subs with bin:      557  lits-rem:     30507  v-fix:    0  time:  1.40 s
2897.87/726.32	c lits-rem:     12279  cl-subs:    31201  v-elim:      0  v-fix:    0  time: 17.72 s
2897.87/726.32	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
2897.87/726.37	c vivif2 --  cl tried   105567 cl shrink     1771 lits rem       1785 time: 0.05
2899.07/726.68	c asymm  cl-useful: 0/3883/9327 lits-rem:0 time: 0.31
2899.07/726.68	c calculated reachability. Time: 0.00
2899.07/726.68	c  N st    82   3212321       575      9327       310    105567     31237   1478473   no data   no data
3555.02/891.03	c  N st    83   3712322       575      9327       310    122574     31237   1649536   no data   no data
3555.02/891.03	c  S st    83   3712322       575      9327       310    122574     31237   1649536   no data   no data
3555.02/891.03	c Finding binary XORs  T:     0.00 s  found:       0
3556.22/891.38	c  S st    83   3712824       575      9327       336    123069     31237   1658856   no data   no data
3556.22/891.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3556.62/891.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  1.8M T:  0.06
3556.62/891.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3556.62/891.45	c bin-w-bin subsume rem            1 bins  time:  0.00 s
3556.62/891.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3556.62/891.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
3556.62/891.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3556.62/891.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3557.42/891.65	c subs with bin:       15  lits-rem:      5868  v-fix:    0  time:  0.13 s
3603.28/903.13	c lits-rem:      5691  cl-subs:    22874  v-elim:      0  v-fix:    0  time: 11.47 s
3603.28/903.13	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
3603.28/903.17	c vivif2 --  cl tried   100180 cl shrink     1081 lits rem       1092 time: 0.04
3604.48/903.46	c asymm  cl-useful: 0/4052/9327 lits-rem:0 time: 0.29
3604.48/903.46	c calculated reachability. Time: 0.00
3604.48/903.46	c  N st    83   3712824       575      9327       337    100180     31237   1299611   no data   no data
3658.36/916.93	c  F st    84   3751562       575      9327       338    137705     31237   1952005   no data   no data
3658.36/916.94	c  N st    84   3751562       575      9327       338    137705     31237   1952005   no data   no data
3658.36/916.94	c Finding binary XORs  T:     0.00 s  found:       0
3665.53/918.78	c Decided on static restart strategy
3683.10/923.13	c Finding binary XORs  T:     0.00 s  found:       0
3699.85/927.37	c  N st    94   3779865       575      9327       358     84145     31237    863132   no data   no data
3738.19/936.97	c  N st    96   3815859       575      9327       358    118943     31237   1476189   no data   no data
3774.46/946.04	c  N st    97   3848251       575      9327       358    150855     31237   2190751   no data   no data
3837.91/961.94	c  N st    98   3896839       575      9327       358    116039     31237   1482835   no data   no data
3837.91/961.94	c Finding binary XORs  T:     0.00 s  found:       0
3922.53/983.17	c  N st    99   3969722       575      9327       369    103585     31237   1245154   no data   no data
4059.74/1017.51	c  N st   100   4079045       575      9327       375    125159     31237   1580485   no data   no data
4059.74/1017.52	c Finding binary XORs  T:     0.00 s  found:       0
4242.09/1063.25	c  N st   101   4212826       575      9327       380    169336     31237   2316816   no data   no data
4242.09/1063.25	c  S st   101   4212826       575      9327       380    169336     31237   2316816   no data   no data
4244.08/1063.70	c  S st   101   4213326       575      9327       380    169829     31237   2326200   no data   no data
4244.08/1063.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4244.48/1063.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.5M T:  0.10
4244.48/1063.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4244.48/1063.81	c bin-w-bin subsume rem            1 bins  time:  0.00 s
4244.48/1063.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4244.48/1063.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
4244.48/1063.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4244.48/1063.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4245.27/1064.09	c subs with bin:        8  lits-rem:      2786  v-fix:    0  time:  0.16 s
4489.82/1125.30	c lits-rem:      4554  cl-subs:    65709  v-elim:      0  v-fix:    0  time: 61.21 s
4489.82/1125.30	c vivif2 --  cl tried     9327 cl shrink        0 lits rem          0 time: 0.00
4489.82/1125.34	c vivif2 --  cl tried   104112 cl shrink      247 lits rem        255 time: 0.03
4490.22/1125.41	c asymm  cl-useful: 0/1392/9327 lits-rem:0 time: 0.07
4490.22/1125.41	c calculated reachability. Time: 0.00
4490.22/1125.41	c  N st   101   4213326       575      9327       379    104112     31237   1243456   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366843-1305416108/watcher-3366843-1305416108 -o /tmp/evaluation-result-3366843-1305416108/solver-3366843-1305416108 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366843-1305416108.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.12 8.10 7.90 6/319 18934
/proc/meminfo: memFree=15534536/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 407 0 0 0 1 0 0 0 25 0 4 0 731841494 52396032 348 33554432000 4194304 4580107 140737167655360 18446744073709551615 47766669625266 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 12792 348 299 95 0 7774 0
[pid=18934/tid=18935] ppid=18932 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731841495 52396032 348 33554432000 4194304 4580107 140737167655360 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731841495 52396032 348 33554432000 4194304 4580107 140737167655360 18446744073709551615 47766669625260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731841495 52396032 348 33554432000 4194304 4580107 140737167655360 18446744073709551615 47766669625270 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.862533 s]
/proc/loadavg: 8.12 8.10 7.90 6/319 18934
/proc/meminfo: memFree=15534536/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=288872 CPUtime=3.42 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 6713 0 0 0 341 1 0 0 19 0 4 0 731841494 295804928 4255 33554432000 4194304 4580107 140737167655360 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 72218 4255 378 95 0 67200 0
[pid=18934/tid=18935] ppid=18932 vsize=288872 CPUtime=0.84 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1751 0 0 0 84 0 0 0 19 0 4 0 731841495 295804928 4255 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=288872 CPUtime=0.85 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1740 0 0 0 85 0 0 0 19 0 4 0 731841495 295804928 4255 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294754 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=288872 CPUtime=0.85 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 880 0 0 0 85 0 0 0 19 0 4 0 731841495 295804928 4255 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293985 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 288872

[startup+0.900525 s]
/proc/loadavg: 8.12 8.10 7.90 6/319 18934
/proc/meminfo: memFree=15534536/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=288872 CPUtime=3.57 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 6764 0 0 0 356 1 0 0 19 0 4 0 731841494 295804928 4306 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 72218 4306 378 95 0 67200 0
[pid=18934/tid=18935] ppid=18932 vsize=288872 CPUtime=0.88 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1762 0 0 0 88 0 0 0 19 0 4 0 731841495 295804928 4306 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=288872 CPUtime=0.89 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1750 0 0 0 89 0 0 0 19 0 4 0 731841495 295804928 4306 33554432000 4194304 4580107 140737167655360 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=288872 CPUtime=0.89 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 895 0 0 0 89 0 0 0 19 0 4 0 731841495 295804928 4306 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 288872

[startup+1.00051 s]
/proc/loadavg: 8.12 8.10 7.90 6/319 18934
/proc/meminfo: memFree=15534536/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=289052 CPUtime=3.97 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 6916 0 0 0 396 1 0 0 19 0 4 0 731841494 295989248 4458 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 72263 4458 378 95 0 67245 0
[pid=18934/tid=18935] ppid=18932 vsize=289052 CPUtime=0.98 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1796 0 0 0 98 0 0 0 19 0 4 0 731841495 295989248 4458 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=289052 CPUtime=0.99 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1798 0 0 0 99 0 0 0 19 0 4 0 731841495 295989248 4458 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=289052 CPUtime=0.99 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 927 0 0 0 99 0 0 0 19 0 4 0 731841495 295989248 4458 33554432000 4194304 4580107 140737167655360 18446744073709551615 4321629 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 289052

[startup+1.10049 s]
/proc/loadavg: 8.12 8.10 7.90 6/319 18934
/proc/meminfo: memFree=15534536/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=289152 CPUtime=4.37 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 7210 0 0 0 436 1 0 0 19 0 4 0 731841494 296091648 4493 33554432000 4194304 4580107 140737167655360 18446744073709551615 4321204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 72288 4493 378 95 0 67270 0
[pid=18934/tid=18935] ppid=18932 vsize=289152 CPUtime=1.08 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1838 0 0 0 108 0 0 0 19 0 4 0 731841495 296091648 4493 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=289152 CPUtime=1.09 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1831 0 0 0 109 0 0 0 19 0 4 0 731841495 296091648 4493 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=289152 CPUtime=1.09 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1089 0 0 0 109 0 0 0 19 0 4 0 731841495 296091648 4493 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 289152

[startup+1.50041 s]
/proc/loadavg: 8.12 8.10 7.90 6/319 18934
/proc/meminfo: memFree=15534536/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=289496 CPUtime=5.97 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 8217 0 0 0 596 1 0 0 19 0 4 0 731841494 296443904 4638 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 72374 4639 378 95 0 67356 0
[pid=18934/tid=18935] ppid=18932 vsize=289496 CPUtime=1.47 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 2127 0 0 0 147 0 0 0 20 0 4 0 731841495 296443904 4639 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=289496 CPUtime=1.49 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 2120 0 0 0 149 0 0 0 20 0 4 0 731841495 296443904 4639 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=289496 CPUtime=1.49 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 1239 0 0 0 149 0 0 0 20 0 4 0 731841495 296443904 4639 33554432000 4194304 4580107 140737167655360 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 289496

[startup+3.10111 s]
/proc/loadavg: 8.27 8.13 7.91 9/323 18938
/proc/meminfo: memFree=15507036/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=290808 CPUtime=12.34 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 13874 0 0 0 1233 1 0 0 25 0 4 0 731841494 297787392 6857 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 72702 6857 381 95 0 67684 0
[pid=18934/tid=18935] ppid=18932 vsize=290808 CPUtime=3.05 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 3839 0 0 0 305 0 0 0 25 0 4 0 731841495 297787392 6857 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=290808 CPUtime=3.09 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 2968 0 0 0 309 0 0 0 25 0 4 0 731841495 297787392 6857 33554432000 4194304 4580107 140737167655360 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=290808 CPUtime=3.09 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 2373 0 0 0 309 0 0 0 25 0 4 0 731841495 297787392 6857 33554432000 4194304 4580107 140737167655360 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 290808

[startup+6.31152 s]
/proc/loadavg: 8.25 8.13 7.91 9/323 18938
/proc/meminfo: memFree=15491304/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=287896 CPUtime=25.15 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 22507 0 0 0 2512 3 0 0 25 0 4 0 731841494 294805504 12390 33554432000 4194304 4580107 140737167655360 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 71974 12390 381 95 0 66956 0
[pid=18934/tid=18935] ppid=18932 vsize=287896 CPUtime=6.22 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 6246 0 0 0 622 0 0 0 25 0 4 0 731841495 294805504 12390 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=287896 CPUtime=6.3 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 5458 0 0 0 629 1 0 0 25 0 4 0 731841495 294805504 12390 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=287896 CPUtime=6.3 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 4266 0 0 0 630 0 0 0 25 0 4 0 731841495 294805504 12390 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 287896

[startup+12.7003 s]
/proc/loadavg: 8.23 8.13 7.91 9/323 18938
/proc/meminfo: memFree=15462084/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=319012 CPUtime=50.66 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 31341 0 0 0 5061 5 0 0 25 0 4 0 731841494 326668288 17529 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 79753 17529 381 95 0 74735 0
[pid=18934/tid=18935] ppid=18932 vsize=319012 CPUtime=12.56 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 8392 0 0 0 1255 1 0 0 25 0 4 0 731841495 326668288 17529 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=319012 CPUtime=12.69 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 6719 0 0 0 1268 1 0 0 25 0 4 0 731841495 326668288 17529 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=319012 CPUtime=12.69 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 8186 0 0 0 1268 1 0 0 25 0 4 0 731841495 326668288 17529 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 319012

[startup+25.5009 s]
/proc/loadavg: 8.35 8.16 7.92 9/323 18938
/proc/meminfo: memFree=15443100/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=328512 CPUtime=101.73 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 44593 0 0 0 10165 8 0 0 25 0 4 0 731841494 336396288 22338 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 82128 22338 381 95 0 77110 0
[pid=18934/tid=18935] ppid=18932 vsize=328512 CPUtime=25.23 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 12937 0 0 0 2521 2 0 0 25 0 4 0 731841495 336396288 22338 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=328512 CPUtime=25.49 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 10076 0 0 0 2548 1 0 0 25 0 4 0 731841495 336396288 22338 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=328512 CPUtime=25.48 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 10912 0 0 0 2547 1 0 0 25 0 4 0 731841495 336396288 22338 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 328512

[startup+51.1011 s]
/proc/loadavg: 8.21 8.14 7.92 9/323 18939
/proc/meminfo: memFree=15402820/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=320812 CPUtime=203.87 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 70439 0 0 0 20375 12 0 0 25 0 4 0 731841494 328511488 25903 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 80203 25903 381 95 0 75185 0
[pid=18934/tid=18935] ppid=18932 vsize=320812 CPUtime=50.57 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 20555 0 0 0 5053 4 0 0 25 0 4 0 731841495 328511488 25903 33554432000 4194304 4580107 140737167655360 18446744073709551615 4501994 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=320812 CPUtime=51.09 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 15740 0 0 0 5107 2 0 0 25 0 4 0 731841495 328511488 25903 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=320812 CPUtime=51.09 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 18320 0 0 0 5106 3 0 0 25 0 4 0 731841495 328511488 25903 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 320812

[startup+102.301 s]
/proc/loadavg: 8.14 8.13 7.93 9/323 18940
/proc/meminfo: memFree=15358604/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=333200 CPUtime=408.15 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 114048 0 0 0 40793 22 0 0 25 0 4 0 731841494 341196800 29060 33554432000 4194304 4580107 140737167655360 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 83300 29060 381 95 0 78282 0
[pid=18934/tid=18935] ppid=18932 vsize=333200 CPUtime=101.25 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 31794 0 0 0 10118 7 0 0 25 0 4 0 731841495 341196800 29060 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=333200 CPUtime=102.29 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 25319 0 0 0 10225 4 0 0 25 0 4 0 731841495 341196800 29060 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=333200 CPUtime=102.29 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 29395 0 0 0 10224 5 0 0 25 0 4 0 731841495 341196800 29060 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 333200

[startup+162.3 s]

################
# More data... #
################

[pid=18934] ppid=18932 vsize=493848 CPUtime=2802.12 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 380382 0 0 0 280109 103 0 0 25 0 4 0 731841494 505700352 76442 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 123462 76442 381 95 0 118444 0
[pid=18934/tid=18935] ppid=18932 vsize=493848 CPUtime=695.17 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 103417 0 0 0 69490 27 0 0 25 0 4 0 731841495 505700352 76442 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=493848 CPUtime=702.29 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 77369 0 0 0 70210 19 0 0 25 0 4 0 731841495 505700352 76442 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=493848 CPUtime=702.31 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 99457 0 0 0 70205 26 0 0 25 0 4 0 731841495 505700352 76442 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.12
Current children cumulated vsize (KiB) 493848

[startup+762.301 s]
/proc/loadavg: 8.15 8.14 8.02 9/323 18961
/proc/meminfo: memFree=14944156/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=482768 CPUtime=3041.51 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 397276 0 0 0 304041 110 0 0 25 0 4 0 731841494 494354432 75742 33554432000 4194304 4580107 140737167655360 18446744073709551615 4318708 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 120692 75742 381 95 0 115674 0
[pid=18934/tid=18935] ppid=18932 vsize=482768 CPUtime=754.57 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 106610 0 0 0 75428 29 0 0 25 0 4 0 731841495 494354432 75742 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=482768 CPUtime=762.29 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 79884 0 0 0 76209 20 0 0 25 0 4 0 731841495 494354432 75742 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=482768 CPUtime=762.32 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 104990 0 0 0 76204 28 0 0 25 0 4 0 731841495 494354432 75742 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.51
Current children cumulated vsize (KiB) 482768

[startup+822.301 s]
/proc/loadavg: 8.15 8.14 8.03 9/323 18963
/proc/meminfo: memFree=14904676/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=522768 CPUtime=3280.91 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 417997 0 0 0 327973 118 0 0 25 0 4 0 731841494 535314432 84870 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 130692 84870 381 95 0 125674 0
[pid=18934/tid=18935] ppid=18932 vsize=522768 CPUtime=813.96 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 110633 0 0 0 81366 30 0 0 25 0 4 0 731841495 535314432 84870 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=522768 CPUtime=822.3 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 85020 0 0 0 82208 22 0 0 25 0 4 0 731841495 535314432 84870 33554432000 4194304 4580107 140737167655360 18446744073709551615 4295698 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=522768 CPUtime=822.32 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 110864 0 0 0 82202 30 0 0 25 0 4 0 731841495 535314432 84870 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.91
Current children cumulated vsize (KiB) 522768

[startup+882.301 s]
/proc/loadavg: 8.15 8.14 8.03 9/323 18964
/proc/meminfo: memFree=14867572/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=527044 CPUtime=3520.3 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 433044 0 0 0 351907 123 0 0 25 0 4 0 731841494 539693056 87446 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 131761 87446 381 95 0 126743 0
[pid=18934/tid=18935] ppid=18932 vsize=527044 CPUtime=873.36 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 113544 0 0 0 87305 31 0 0 25 0 4 0 731841495 539693056 87446 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=527044 CPUtime=882.3 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 89221 0 0 0 88207 23 0 0 25 0 4 0 731841495 539693056 87446 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=527044 CPUtime=882.32 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 116102 0 0 0 88200 32 0 0 25 0 4 0 731841495 539693056 87446 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.3
Current children cumulated vsize (KiB) 527044

[startup+942.3 s]
/proc/loadavg: 8.09 8.13 8.03 9/323 18966
/proc/meminfo: memFree=14877668/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=497648 CPUtime=3759.72 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 445369 0 0 0 375845 127 0 0 25 0 4 0 731841494 509591552 79882 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 124412 79882 381 95 0 119394 0
[pid=18934/tid=18935] ppid=18932 vsize=497648 CPUtime=932.75 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 116478 0 0 0 93243 32 0 0 25 0 4 0 731841495 509591552 79883 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=497648 CPUtime=942.31 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 89982 0 0 0 94207 24 0 0 25 0 4 0 731841495 509591552 79883 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=497648 CPUtime=942.33 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 123367 0 0 0 94199 34 0 0 25 0 4 0 731841495 509591552 79883 33554432000 4194304 4580107 140737167655360 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.72
Current children cumulated vsize (KiB) 497648

[startup+1002.3 s]
/proc/loadavg: 8.07 8.12 8.03 9/323 18967
/proc/meminfo: memFree=14880356/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=550852 CPUtime=3999.09 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 468324 0 0 0 399773 136 0 0 25 0 4 0 731841494 564072448 78650 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 137713 78650 381 95 0 132695 0
[pid=18934/tid=18935] ppid=18932 vsize=550852 CPUtime=992.14 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 122110 0 0 0 99180 34 0 0 25 0 4 0 731841495 564072448 78650 33554432000 4194304 4580107 140737167655360 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=550852 CPUtime=1002.29 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 94838 0 0 0 100203 26 0 0 25 0 4 0 731841495 564072448 78650 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=550852 CPUtime=1002.32 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 129829 0 0 0 100196 36 0 0 25 0 4 0 731841495 564072448 78650 33554432000 4194304 4580107 140737167655360 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.09
Current children cumulated vsize (KiB) 550852

[startup+1062.31 s]
/proc/loadavg: 8.10 8.12 8.04 9/323 18969
/proc/meminfo: memFree=14802188/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=550136 CPUtime=4238.54 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 492281 0 0 0 423711 143 0 0 25 0 4 0 731841494 563339264 90449 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 137534 90449 381 95 0 132516 0
[pid=18934/tid=18935] ppid=18932 vsize=550136 CPUtime=1051.54 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 128377 0 0 0 105119 35 0 0 25 0 4 0 731841495 563339264 90449 33554432000 4194304 4580107 140737167655360 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=550136 CPUtime=1062.31 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 100698 0 0 0 106203 28 0 0 25 0 4 0 731841495 563339264 90449 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=550136 CPUtime=1062.33 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 135611 0 0 0 106196 37 0 0 25 0 4 0 731841495 563339264 90449 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.54
Current children cumulated vsize (KiB) 550136

[startup+1122.3 s]
/proc/loadavg: 8.11 8.13 8.04 9/323 18971
/proc/meminfo: memFree=14792964/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=616900 CPUtime=4477.85 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 505864 0 0 0 447637 148 0 0 25 0 4 0 731841494 631705600 92885 33554432000 4194304 4580107 140737167655360 18446744073709551615 4406395 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 154225 92885 383 95 0 149207 0
[pid=18934/tid=18935] ppid=18932 vsize=616900 CPUtime=1110.88 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 131452 0 0 0 111051 37 0 0 25 0 4 0 731841495 631705600 92885 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=616900 CPUtime=1122.3 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 103881 0 0 0 112200 30 0 0 25 0 4 0 731841495 631705600 92885 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=616900 CPUtime=1122.32 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 139148 0 0 0 112194 38 0 0 25 0 4 0 731841495 631705600 92885 33554432000 4194304 4580107 140737167655360 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.85
Current children cumulated vsize (KiB) 616900

[startup+1182.3 s]
/proc/loadavg: 6.27 7.66 7.89 5/314 18990
/proc/meminfo: memFree=15296168/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=649068 CPUtime=4717.24 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 524272 0 0 0 471568 156 0 0 25 0 4 0 731841494 664645632 98064 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 162267 98064 381 95 0 157249 0
[pid=18934/tid=18935] ppid=18932 vsize=649068 CPUtime=1170.28 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 135811 0 0 0 116989 39 0 0 25 0 4 0 731841495 664645632 98064 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=649068 CPUtime=1182.3 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 109341 0 0 0 118198 32 0 0 25 0 4 0 731841495 664645632 98064 33554432000 4194304 4580107 140737167655360 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=649068 CPUtime=1182.33 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 144972 0 0 0 118192 41 0 0 25 0 4 0 731841495 664645632 98064 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.24
Current children cumulated vsize (KiB) 649068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.11 s]
/proc/loadavg: 5.69 7.44 7.81 5/314 18991
/proc/meminfo: memFree=15278912/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=608004 CPUtime=4800.29 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 529258 0 0 0 479871 158 0 0 25 0 4 0 731841494 622596096 102310 33554432000 4194304 4580107 140737167655360 18446744073709551615 4324541 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 152001 102310 381 95 0 146983 0
[pid=18934/tid=18935] ppid=18932 vsize=608004 CPUtime=1190.87 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 138058 0 0 0 119048 39 0 0 25 0 4 0 731841495 622596096 102312 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=608004 CPUtime=1203.12 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 109851 0 0 0 120280 32 0 0 25 0 4 0 731841495 622596096 102312 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=608004 CPUtime=1203.15 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 146064 0 0 0 120274 41 0 0 25 0 4 0 731841495 622596096 102312 33554432000 4194304 4580107 140737167655360 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 608004

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1203.11 s]
/proc/loadavg: 5.69 7.44 7.81 5/314 18991
/proc/meminfo: memFree=15278912/32950928 swapFree=67085488/67111528
[pid=18934] ppid=18932 vsize=608004 CPUtime=4800.29 cores=0,2,4,6
/proc/18934/stat : 18934 (strangenight2-m) R 18932 18934 18342 0 -1 4202496 529258 0 0 0 479871 158 0 0 25 0 4 0 731841494 622596096 102310 33554432000 4194304 4580107 140737167655360 18446744073709551615 4324541 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18934/statm: 152001 102310 381 95 0 146983 0
[pid=18934/tid=18935] ppid=18932 vsize=608004 CPUtime=1190.87 cores=0,2,4,6
/proc/18934/task/18935/stat : 18935 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 138058 0 0 0 119048 39 0 0 25 0 4 0 731841495 622596096 102312 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18934/tid=18936] ppid=18932 vsize=608004 CPUtime=1203.12 cores=0,2,4,6
/proc/18934/task/18936/stat : 18936 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 109851 0 0 0 120280 32 0 0 25 0 4 0 731841495 622596096 102312 33554432000 4194304 4580107 140737167655360 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18934/tid=18937] ppid=18932 vsize=608004 CPUtime=1203.15 cores=0,2,4,6
/proc/18934/task/18937/stat : 18937 (strangenight2-m) R 18932 18934 18342 0 -1 4202560 146064 0 0 0 120274 41 0 0 25 0 4 0 731841495 622596096 102312 33554432000 4194304 4580107 140737167655360 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 608004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.15
CPU time (s): 4800.36
CPU user time (s): 4798.76
CPU system time (s): 1.60376
CPU usage (%): 398.983
Max. virtual memory (cumulated for all children) (KiB): 728812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.76
system time used= 1.60376
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 816
involuntary context switches= 23291

runsolver used 3.61745 second user time and 8.47571 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-15 01:35:08
IDJOB=3366843
IDBENCH=84608
IDSOLVER=1844
FILE ID=node114/3366843-1305416108
RUNJOBID= node114-1305414468-18655
PBS_JOBID= 13324529
Free space on /tmp= 72976 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/handmade/connamacher/connm-d0.02/connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366843-1305416108/watcher-3366843-1305416108 -o /tmp/evaluation-result-3366843-1305416108/solver-3366843-1305416108 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366843-1305416108.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7bb85ebdeae46262f72a4c54d4e16683
RANDOM SEED=242382199

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15534816 kB
Buffers:        280820 kB
Cached:        6225740 kB
SwapCached:         96 kB
Active:       12041356 kB
Inactive:      4966460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15534816 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:            7828 kB
Writeback:           4 kB
AnonPages:    10501256 kB
Mapped:          27428 kB
Slab:           307452 kB
PageTables:      36900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52722932 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72976 MiB
End job on node114 at 2011-05-15 01:55:13