Trace number 3366935

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.4 1203.64

General information on the benchmark

NameSAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
MD5SUM1d86c7f9cd05c5f2ab070520d802c8e1
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 variables226
Number of clauses1078
Sum of the clauses size3624
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 226
Number of clauses of size 3636
Number of clauses of size 4416
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366935-1305415687.cnf'
0.00/0.00	c -- header says num vars:            226
0.00/0.00	c -- header says num clauses:        1078
0.00/0.00	c -- clauses added:            0 learnts,         1078 normals,            0 xors
0.00/0.00	c -- vars added        226
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       226      1052        26         0      3624         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1052/1052 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c Replacing        1 vars Replaced       12 lits Time:     0.00 s 
0.00/0.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    225 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:        11  cl-subs:        0  v-elim:     63  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:      62, avg size: 3.8)
0.00/0.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       6 undec:      69 neg:     151
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       162       476        20         0      2184         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4917       162       476        26      4739      2184    115039   no data   no data
1.17/0.34	c  N st    10     11301       162       476        31      4430      2184     81255   no data   no data
1.97/0.55	c  N st    11     17044       162       476        31      9951      2184    224866   no data   no data
3.57/0.91	c  F st    12     25005       161       476        38     12275      2184    267104   no data   no data
3.57/0.91	c  N st    12     25005       161       465        34     12271      2135    267062   no data   no data
3.57/0.91	c Finding binary XORs  T:     0.00 s  found:       1
4.41/1.11	c Decided on static restart strategy
4.41/1.11	c  N st    18     30001       161       465        35     10708      2135    212373   no data   no data
4.41/1.11	c  S st    18     30001       161       465        35     10708      2135    212373   no data   no data
4.41/1.14	c  S st    18     30506       161       465        36     11202      2135    222407   no data   no data
4.41/1.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.41/1.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     27 BRemL:      4 BRemN:      0 P:  0.2M T:  0.00
4.41/1.15	c Replacing        1 vars Replaced     2326 lits Time:     0.00 s 
4.41/1.15	c blocked clauses removed:        0 vars:      0 tried:           6 T: 0.00 s
4.41/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.41/1.15	c subs with bin:        4  lits-rem:        22  v-fix:    0  time:  0.00 s
4.41/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    160 time:  0.00 s
4.41/1.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.41/1.15	c lits-rem:         0  cl-subs:        0  v-elim:      3  v-fix:    0  time:  0.00 s
4.41/1.16	c subs with bin:        4  lits-rem:      1067  v-fix:    0  time:  0.00 s
4.81/1.27	c lits-rem:      1786  cl-subs:      610  v-elim:      0  v-fix:    0  time:  0.11 s
4.81/1.28	c asymm  cl-useful: 14/455/455 lits-rem:14 time: 0.00
4.81/1.28	c calculated reachability. Time: 0.00
4.81/1.28	c  N st    18     30506       157       455        58     10389      2119    201421   no data   no data
5.96/1.59	c  N st    20     37620       157       455        59      9815      2119    171609   no data   no data
5.96/1.59	c Finding binary XORs  T:     0.00 s  found:       0
7.16/1.89	c  N st    21     44019       157       455        59     15920      2119    322345   no data   no data
7.56/1.98	c  S st    22     45761       157       455        63      9119      2119    138153   no data   no data
7.96/2.01	c  S st    22     46263       157       455        63      9619      2119    150010   no data   no data
7.96/2.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.96/2.02	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
7.96/2.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.96/2.02	c bin-w-bin subsume rem            2 bins  time:  0.00 s
7.96/2.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
7.96/2.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.96/2.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.96/2.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.04	c lits-rem:       233  cl-subs:      117  v-elim:      0  v-fix:    0  time:  0.02 s
7.96/2.04	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
7.96/2.04	c vivif2 --  cl tried     9499 cl shrink       60 lits rem         60 time: 0.00
7.96/2.05	c asymm  cl-useful: 0/448/448 lits-rem:0 time: 0.00
7.96/2.05	c calculated reachability. Time: 0.00
7.96/2.05	c  N st    22     46263       156       448        31      9499      2079    147237   no data   no data
10.74/2.79	c  N st    23     60660       156       448        31     13754      2079    239351   no data   no data
12.75/3.30	c  N st    24     69395       156       448        31     11608      2079    177869   no data   no data
12.75/3.30	c  S st    24     69395       156       448        31     11608      2079    177869   no data   no data
12.75/3.30	c Finding binary XORs  T:     0.00 s  found:       0
13.18/3.34	c  S st    24     69900       156       448        31     12112      2079    188922   no data   no data
13.18/3.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.18/3.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
13.18/3.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.18/3.34	c bin-w-bin subsume rem            1 bins  time:  0.00 s
13.18/3.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.18/3.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
13.18/3.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.18/3.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.18/3.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.18/3.38	c lits-rem:       225  cl-subs:      247  v-elim:      0  v-fix:    0  time:  0.04 s
13.18/3.38	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
13.18/3.39	c vivif2 --  cl tried    11865 cl shrink       10 lits rem         10 time: 0.00
13.18/3.39	c asymm  cl-useful: 5/448/448 lits-rem:5 time: 0.01
13.18/3.39	c calculated reachability. Time: 0.00
13.18/3.39	c  N st    24     69900       156       448        30     11865      2074    183305   no data   no data
17.14/4.39	c  F st    25     87501       156       448        30     17197      2074    306459   no data   no data
17.14/4.39	c  N st    25     87501       156       448        30     17197      2074    306459   no data   no data
18.72/4.71	c Decided on static restart strategy
19.12/4.89	c  N st    32     95541       156       448        30     24921      2074    501585   no data   no data
21.52/5.42	c  N st    34    104850       156       448        30     21442      2074    396950   no data   no data
21.52/5.42	c  S st    34    104850       156       448        30     21442      2074    396950   no data   no data
21.52/5.47	c  S st    34    105352       156       448        30     21944      2074    409168   no data   no data
21.52/5.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.52/5.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
21.52/5.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21.52/5.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.52/5.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.52/5.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
21.52/5.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.52/5.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
21.52/5.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.10/5.81	c lits-rem:       813  cl-subs:     1268  v-elim:      0  v-fix:    0  time:  0.31 s
23.10/5.81	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
23.10/5.82	c vivif2 --  cl tried    20676 cl shrink      202 lits rem        203 time: 0.00
23.10/5.83	c asymm  cl-useful: 4/448/448 lits-rem:4 time: 0.01
23.10/5.83	c calculated reachability. Time: 0.00
23.10/5.83	c  N st    34    105352       156       448        30     20676      2070    378223   no data   no data
25.51/6.45	c  N st    35    114951       156       448        30     16461      2070    257095   no data   no data
29.10/7.39	c  N st    36    129349       156       448        30     15771      2070    224619   no data   no data
35.12/8.85	c  N st    37    150948       156       448        30     20948      2070    344966   no data   no data
37.08/9.33	c  S st    38    158030       156       448        30     27654      2070    509634   no data   no data
37.48/9.41	c  S st    38    158535       156       448        30     28149      2070    520887   no data   no data
37.48/9.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.48/9.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
37.48/9.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37.48/9.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.48/9.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.48/9.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
37.48/9.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.48/9.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
37.48/9.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.46/10.46	c lits-rem:      1333  cl-subs:     3163  v-elim:      0  v-fix:    0  time:  1.02 s
41.46/10.46	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
41.46/10.46	c vivif2 --  cl tried    24986 cl shrink      552 lits rem        552 time: 0.01
41.46/10.48	c asymm  cl-useful: 6/448/448 lits-rem:6 time: 0.01
41.46/10.48	c calculated reachability. Time: 0.00
41.46/10.48	c  N st    38    158535       156       448        30     24986      2064    445849   no data   no data
55.42/13.98	c  N st    39    207125       156       448        30     20198      2064    296646   no data   no data
64.99/16.39	c  N st    40    237803       156       448        30     29988      2064    522205   no data   no data
64.99/16.39	c  S st    40    237803       156       448        30     29988      2064    522205   no data   no data
65.39/16.48	c  S st    40    238305       156       448        30     30484      2064    533668   no data   no data
65.39/16.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.39/16.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
65.39/16.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.39/16.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.39/16.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.39/16.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
65.39/16.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.39/16.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
65.82/16.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.62/17.78	c lits-rem:      2265  cl-subs:     3137  v-elim:      0  v-fix:    0  time:  1.26 s
70.62/17.78	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
70.62/17.78	c vivif2 --  cl tried    27347 cl shrink      116 lits rem        116 time: 0.01
70.62/17.79	c asymm  cl-useful: 2/448/448 lits-rem:2 time: 0.01
70.62/17.80	c calculated reachability. Time: 0.00
70.62/17.80	c  N st    40    238305       156       448        30     27347      2062    458644   no data   no data
93.31/23.45	c  F st    41    306251       156       448        30     29075      2062    459852   no data   no data
93.31/23.45	c  N st    41    306251       156       448        30     29075      2062    459852   no data   no data
94.90/23.87	c Decided on static restart strategy
102.08/25.66	c  N st    51    334555       156       448        30     33560      2062    568808   no data   no data
109.71/27.59	c  N st    53    357458       156       448        30     31686      2062    523713   no data   no data
109.71/27.59	c  S st    53    357458       156       448        30     31686      2062    523713   no data   no data
110.11/27.67	c  S st    53    357960       156       448        30     32181      2062    535029   no data   no data
110.11/27.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
110.11/27.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
110.11/27.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
110.11/27.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.11/27.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.11/27.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
110.11/27.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
110.11/27.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
110.46/27.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
112.46/28.21	c lits-rem:      1233  cl-subs:     1406  v-elim:      0  v-fix:    0  time:  0.51 s
112.46/28.21	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
112.46/28.22	c vivif2 --  cl tried    30775 cl shrink      202 lits rem        205 time: 0.01
112.46/28.24	c asymm  cl-useful: 5/448/448 lits-rem:5 time: 0.02
112.46/28.24	c calculated reachability. Time: 0.00
112.46/28.24	c  N st    53    357960       156       448        30     30775      2057    499116   no data   no data
123.62/31.02	c  N st    54    390354       156       448        30     36513      2057    616052   no data   no data
142.77/35.86	c  N st    55    438943       156       448        30     30309      2057    451611   no data   no data
168.70/42.38	c  N st    56    511827       156       448        30     42876      2057    729386   no data   no data
178.28/44.70	c  N st    57    536942       156       448        30     37645      2057    592945   no data   no data
178.28/44.70	c  S st    57    536942       156       448        30     37645      2057    592945   no data   no data
178.68/44.80	c  S st    57    537444       156       448        30     38143      2057    605233   no data   no data
178.68/44.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
178.68/44.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
178.68/44.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
178.68/44.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
178.68/44.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
178.68/44.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
178.68/44.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
178.68/44.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
178.68/44.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
182.66/45.85	c lits-rem:      1611  cl-subs:     2855  v-elim:      0  v-fix:    0  time:  1.01 s
182.66/45.85	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
182.66/45.86	c vivif2 --  cl tried    35288 cl shrink      239 lits rem        244 time: 0.01
182.66/45.88	c asymm  cl-useful: 8/448/448 lits-rem:8 time: 0.02
182.66/45.88	c calculated reachability. Time: 0.00
182.66/45.88	c  N st    57    537444       156       448        30     35288      2049    539751   no data   no data
252.87/63.45	c  N st    58    701430       156       448        30     64303      2049   1241594   no data   no data
298.37/74.84	c  N st    59    806167       156       448        30     57612      2049   1006944   no data   no data
298.37/74.84	c  S st    59    806167       156       448        30     57612      2049   1006944   no data   no data
298.78/74.98	c  S st    59    806672       156       448        30     58115      2049   1019099   no data   no data
298.78/74.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
299.13/75.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
299.13/75.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
299.13/75.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
299.13/75.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
299.13/75.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
299.13/75.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
299.13/75.02	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
299.13/75.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
320.31/80.40	c lits-rem:      3182  cl-subs:     7959  v-elim:      0  v-fix:    0  time:  5.36 s
320.31/80.40	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
320.71/80.41	c vivif2 --  cl tried    50156 cl shrink      175 lits rem        175 time: 0.01
320.71/80.44	c asymm  cl-useful: 2/447/447 lits-rem:2 time: 0.03
320.71/80.44	c calculated reachability. Time: 0.00
320.71/80.44	c  N st    59    806672       156       447        30     50156      2040    836114   no data   no data
448.32/112.44	c  F st    60   1071878       156       447        30     65461      2040   1136486   no data   no data
448.32/112.44	c  N st    60   1071878       156       447        30     65461      2040   1136486   no data   no data
450.72/113.06	c Decided on static restart strategy
461.88/115.85	c  N st    70   1100179       156       447        30     50271      2040    760194   no data   no data
478.68/120.03	c  N st    72   1136173       156       447        30     84816      2040   1626779   no data   no data
493.80/123.87	c  N st    73   1168565       156       447        30     72118      2040   1328790   no data   no data
516.53/129.51	c  N st    74   1210008       156       447        30     66535      2040   1105321   no data   no data
516.53/129.51	c  S st    74   1210008       156       447        30     66535      2040   1105321   no data   no data
517.33/129.75	c  S st    74   1210513       156       447        30     67036      2040   1118508   no data   no data
517.33/129.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
517.33/129.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
517.33/129.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
517.33/129.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
517.33/129.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
517.33/129.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
517.33/129.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
517.33/129.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
517.78/129.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
583.98/146.47	c lits-rem:      2172  cl-subs:    10330  v-elim:      0  v-fix:    0  time: 16.64 s
583.98/146.47	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
583.98/146.50	c vivif2 --  cl tried    56706 cl shrink      564 lits rem        566 time: 0.02
584.33/146.57	c asymm  cl-useful: 4/447/447 lits-rem:4 time: 0.08
584.33/146.57	c calculated reachability. Time: 0.00
584.33/146.57	c  N st    74   1210513       156       447        30     56706      2036    878519   no data   no data
625.00/156.73	c  N st    75   1283395       156       447        30     79685      2036   1392313   no data   no data
682.04/171.09	c  N st    76   1392719       156       447        30     89315      2036   1530928   no data   no data
774.58/194.25	c  N st    77   1556703       156       447        30     98302      2036   1828386   no data   no data
867.93/217.61	c  N st    78   1710514       156       447        30     86719      2036   1501288   no data   no data
867.93/217.61	c  S st    78   1710514       156       447        30     86719      2036   1501288   no data   no data
868.33/217.80	c  S st    78   1711017       156       447        30     87218      2036   1512633   no data   no data
868.33/217.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
868.77/217.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
868.77/217.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
868.77/217.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
868.77/217.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
868.77/217.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
868.77/217.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
868.77/217.85	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.02 s
868.77/217.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
951.28/238.53	c lits-rem:      5311  cl-subs:    13608  v-elim:      0  v-fix:    0  time: 20.64 s
951.28/238.53	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
951.28/238.56	c vivif2 --  cl tried    73610 cl shrink      421 lits rem        427 time: 0.03
951.68/238.67	c asymm  cl-useful: 2/446/446 lits-rem:2 time: 0.11
951.68/238.67	c calculated reachability. Time: 0.00
951.68/238.67	c  N st    78   1711017       156       446        30     73610      2027   1217508   no data   no data
1211.70/303.80	c  N st    79   2079981       156       446        30     84295      2027   1397352   no data   no data
1294.73/324.61	c  N st    80   2211019       156       446        30     88993      2027   1532160   no data   no data
1294.73/324.61	c  S st    80   2211019       156       446        30     88993      2027   1532160   no data   no data
1295.47/324.88	c  S st    80   2211522       156       446        30     89488      2027   1543655   no data   no data
1295.47/324.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1295.87/324.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
1295.87/324.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1295.87/324.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1295.87/324.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1295.87/324.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
1295.87/324.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1295.87/324.94	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1295.87/324.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1348.11/338.03	c lits-rem:      4709  cl-subs:    10372  v-elim:      0  v-fix:    0  time: 13.05 s
1348.11/338.03	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
1348.11/338.05	c vivif2 --  cl tried    79116 cl shrink      825 lits rem        826 time: 0.03
1348.51/338.10	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.05
1348.51/338.10	c calculated reachability. Time: 0.00
1348.51/338.10	c  N st    80   2211522       156       446        30     79116      2026   1308890   no data   no data
1733.77/434.79	c  N st    81   2711522       156       446        30    102079      2026   1729475   no data   no data
1733.77/434.79	c  S st    81   2711522       156       446        30    102079      2026   1729475   no data   no data
1735.37/435.19	c  S st    81   2712027       156       446        30    102578      2026   1740999   no data   no data
1735.37/435.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1735.77/435.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1735.77/435.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1735.77/435.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1735.77/435.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1735.77/435.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
1735.77/435.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1735.77/435.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1736.17/435.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1825.15/457.64	c lits-rem:      3643  cl-subs:    15367  v-elim:      0  v-fix:    0  time: 22.31 s
1825.15/457.64	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
1825.15/457.67	c vivif2 --  cl tried    87211 cl shrink      723 lits rem        724 time: 0.03
1825.55/457.73	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.06
1825.55/457.74	c calculated reachability. Time: 0.00
1825.55/457.74	c  N st    81   2712027       156       446        30     87211      2026   1415342   no data   no data
2237.56/561.04	c  N st    82   3212028       156       446        30    136034      2026   2460782   no data   no data
2237.56/561.04	c  S st    82   3212028       156       446        30    136034      2026   2460782   no data   no data
2238.71/561.37	c  S st    82   3212530       156       446        30    136532      2026   2472761   no data   no data
2238.71/561.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2239.11/561.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.06
2239.11/561.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2239.11/561.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2239.11/561.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2239.11/561.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
2239.11/561.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2239.11/561.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2239.51/561.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2425.37/608.15	c lits-rem:      6285  cl-subs:    21179  v-elim:      0  v-fix:    0  time: 46.60 s
2425.37/608.15	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
2425.37/608.19	c vivif2 --  cl tried   115353 cl shrink      133 lits rem        133 time: 0.03
2425.77/608.27	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.09
2425.77/608.28	c calculated reachability. Time: 0.00
2425.77/608.28	c  N st    82   3212530       156       446        30    115353      2026   2037239   no data   no data
2820.23/707.12	c  N st    83   3712530       156       446        30    133547      2026   2377735   no data   no data
2820.23/707.12	c  S st    83   3712530       156       446        30    133547      2026   2377735   no data   no data
2821.83/707.56	c  S st    83   3713034       156       446        30    134043      2026   2389105   no data   no data
2821.83/707.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2822.23/707.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.06
2822.23/707.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2822.23/707.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2822.23/707.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2822.23/707.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
2822.23/707.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2822.23/707.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2822.63/707.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2977.76/746.63	c lits-rem:      4698  cl-subs:    18894  v-elim:      0  v-fix:    0  time: 38.90 s
2977.76/746.63	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
2977.76/746.66	c vivif2 --  cl tried   115149 cl shrink      281 lits rem        282 time: 0.03
2978.16/746.75	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.09
2978.16/746.76	c calculated reachability. Time: 0.00
2978.16/746.76	c  N st    83   3713034       156       446        30    115149      2026   1992865   no data   no data
3007.68/754.18	c  F st    84   3751563       156       446        30    151455      2026   2932947   no data   no data
3007.68/754.19	c  N st    84   3751563       156       446        30    151455      2026   2932947   no data   no data
3015.65/756.11	c Decided on static restart strategy
3030.01/759.77	c  N st    94   3779868       156       446        30    100786      2026   1637402   no data   no data
3057.54/766.70	c  N st    96   3815860       156       446        30    134356      2026   2460996   no data   no data
3086.26/773.82	c  N st    97   3848252       156       446        30     85993      2026   1233521   no data   no data
3122.55/782.91	c  N st    98   3896840       156       446        30    131388      2026   2384511   no data   no data
3180.83/797.56	c  N st    99   3969724       156       446        30    119798      2026   2073952   no data   no data
3274.92/821.16	c  N st   100   4079048       156       446        30    139990      2026   2524011   no data   no data
3399.76/852.40	c  N st   101   4213035       156       446        30     99520      2026   1504672   no data   no data
3399.76/852.40	c  S st   101   4213035       156       446        30     99520      2026   1504672   no data   no data
3401.35/852.80	c  S st   101   4213540       156       446        30    100020      2026   1517612   no data   no data
3401.35/852.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3401.35/852.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.08
3401.35/852.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3401.35/852.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3401.35/852.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3401.35/852.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
3401.35/852.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3401.75/852.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3401.75/852.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3463.96/868.55	c lits-rem:      1711  cl-subs:     6193  v-elim:      0  v-fix:    0  time: 15.57 s
3463.96/868.55	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
3463.96/868.59	c vivif2 --  cl tried    93827 cl shrink      296 lits rem        296 time: 0.03
3464.75/868.71	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.12
3464.75/868.71	c calculated reachability. Time: 0.00
3464.75/868.71	c  N st   101   4213540       156       446        30     93827      2026   1384540   no data   no data
3719.19/932.56	c  N st   102   4459516       156       446        30    155738      2026   2859489   no data   no data
3972.44/996.01	c  N st   103   4713540       156       446        30    130852      2026   2198296   no data   no data
3972.44/996.01	c  S st   103   4713540       156       446        30    130852      2026   2198296   no data   no data
3974.04/996.49	c  S st   103   4714042       156       446        30    131345      2026   2209532   no data   no data
3974.44/996.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3974.44/996.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.08
3974.44/996.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3974.44/996.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3974.44/996.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3974.44/996.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
3974.44/996.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3974.88/996.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3974.88/996.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4149.88/1040.54	c lits-rem:      3606  cl-subs:    19300  v-elim:      0  v-fix:    0  time: 43.86 s
4149.88/1040.54	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
4149.88/1040.57	c vivif2 --  cl tried   112045 cl shrink      365 lits rem        365 time: 0.03
4150.32/1040.66	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.08
4150.32/1040.66	c calculated reachability. Time: 0.00
4150.32/1040.66	c  N st   103   4714042       156       446        30    112045      2026   1801085   no data   no data
4689.48/1175.80	c  N st   104   5214044       156       446        30    126828      2026   2068694   no data   no data
4689.48/1175.80	c  S st   104   5214044       156       446        30    126828      2026   2068694   no data   no data
4691.07/1176.28	c  S st   104   5214549       156       446        30    127328      2026   2080702   no data   no data
4691.07/1176.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4691.47/1176.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.08
4691.47/1176.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4691.47/1176.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4691.47/1176.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4691.47/1176.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
4691.47/1176.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4691.87/1176.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4691.87/1176.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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-3366935-1305415687/watcher-3366935-1305415687 -o /tmp/evaluation-result-3366935-1305415687/solver-3366935-1305415687 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366935-1305415687.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: 7.51 7.99 7.98 9/361 29470
/proc/meminfo: memFree=24007244/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=208076 CPUtime=0.02 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 851 0 0 0 2 0 0 0 25 0 4 0 653169055 213069824 775 33554432000 4194304 4580107 140737421553632 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 52019 775 377 95 0 47001 0
[pid=29470/tid=29471] ppid=29468 vsize=208076 CPUtime=0 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 4 0 653169055 213069824 775 33554432000 4194304 4580107 140737421553632 18446744073709551615 4339024 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=208076 CPUtime=0 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 166 0 0 0 0 0 0 0 25 0 4 0 653169055 213069824 776 33554432000 4194304 4580107 140737421553632 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=208076 CPUtime=0 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 20 0 0 0 0 0 0 0 25 0 4 0 653169055 213069824 776 33554432000 4194304 4580107 140737421553632 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.113805 s]
/proc/loadavg: 7.51 7.99 7.98 9/361 29470
/proc/meminfo: memFree=24007244/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=216408 CPUtime=0.42 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 1513 0 0 0 42 0 0 0 25 0 4 0 653169055 221601792 1437 33554432000 4194304 4580107 140737421553632 18446744073709551615 4295010 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 54102 1437 379 95 0 49084 0
[pid=29470/tid=29471] ppid=29468 vsize=216408 CPUtime=0.1 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 281 0 0 0 10 0 0 0 18 0 4 0 653169055 221601792 1437 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=216408 CPUtime=0.11 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 326 0 0 0 11 0 0 0 25 0 4 0 653169055 221601792 1437 33554432000 4194304 4580107 140737421553632 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=216408 CPUtime=0.1 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 192 0 0 0 10 0 0 0 25 0 4 0 653169055 221601792 1437 33554432000 4194304 4580107 140737421553632 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 216408

[startup+0.20079 s]
/proc/loadavg: 7.51 7.99 7.98 9/361 29470
/proc/meminfo: memFree=24007244/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=217548 CPUtime=0.77 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 2068 0 0 0 77 0 0 0 25 0 4 0 653169055 222769152 1439 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 54387 1439 379 95 0 49369 0
[pid=29470/tid=29471] ppid=29468 vsize=217548 CPUtime=0.19 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 422 0 0 0 19 0 0 0 18 0 4 0 653169055 222769152 1439 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=217548 CPUtime=0.19 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 456 0 0 0 19 0 0 0 25 0 4 0 653169055 222769152 1439 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=217548 CPUtime=0.18 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 335 0 0 0 18 0 0 0 25 0 4 0 653169055 222769152 1439 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 217548

[startup+0.300772 s]
/proc/loadavg: 7.51 7.99 7.98 9/361 29470
/proc/meminfo: memFree=24007244/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=217548 CPUtime=1.17 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 2473 0 0 0 117 0 0 0 25 0 4 0 653169055 222769152 1844 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 54387 1844 379 95 0 49369 0
[pid=29470/tid=29471] ppid=29468 vsize=217548 CPUtime=0.29 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 538 0 0 0 29 0 0 0 18 0 4 0 653169055 222769152 1844 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=217548 CPUtime=0.29 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 555 0 0 0 29 0 0 0 25 0 4 0 653169055 222769152 1844 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=217548 CPUtime=0.28 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 413 0 0 0 28 0 0 0 25 0 4 0 653169055 222769152 1844 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 217548

[startup+0.700699 s]
/proc/loadavg: 7.51 7.99 7.98 9/361 29470
/proc/meminfo: memFree=24007244/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=218936 CPUtime=2.77 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 4455 0 0 0 277 0 0 0 25 0 4 0 653169055 224190464 2169 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 54734 2169 379 95 0 49716 0
[pid=29470/tid=29471] ppid=29468 vsize=218936 CPUtime=0.69 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 1089 0 0 0 69 0 0 0 18 0 4 0 653169055 224190464 2170 33554432000 4194304 4580107 140737421553632 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=218936 CPUtime=0.69 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 1064 0 0 0 69 0 0 0 25 0 4 0 653169055 224190464 2170 33554432000 4194304 4580107 140737421553632 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=218936 CPUtime=0.68 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 772 0 0 0 68 0 0 0 25 0 4 0 653169055 224190464 2170 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 218936

[startup+1.50056 s]
/proc/loadavg: 7.51 7.99 7.98 9/365 29474
/proc/meminfo: memFree=23986260/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=225708 CPUtime=5.96 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 10008 0 0 0 595 1 0 0 25 0 4 0 653169055 231124992 5411 33554432000 4194304 4580107 140737421553632 18446744073709551615 4292977 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 56427 5411 380 95 0 51409 0
[pid=29470/tid=29471] ppid=29468 vsize=225708 CPUtime=1.49 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 3035 0 0 0 149 0 0 0 20 0 4 0 653169055 231124992 5411 33554432000 4194304 4580107 140737421553632 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=225708 CPUtime=1.49 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 1905 0 0 0 149 0 0 0 25 0 4 0 653169055 231124992 5411 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=225708 CPUtime=1.47 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 1518 0 0 0 147 0 0 0 25 0 4 0 653169055 231124992 5411 33554432000 4194304 4580107 140737421553632 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 225708

[startup+3.10026 s]
/proc/loadavg: 7.51 7.99 7.98 9/365 29474
/proc/meminfo: memFree=23951176/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=208328 CPUtime=12.35 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 17804 0 0 0 1233 2 0 0 25 0 4 0 653169055 213327872 8820 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 52082 8820 380 95 0 47064 0
[pid=29470/tid=29471] ppid=29468 vsize=208328 CPUtime=3.09 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 4237 0 0 0 309 0 0 0 25 0 4 0 653169055 213327872 8820 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=208328 CPUtime=3.09 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 4832 0 0 0 309 0 0 0 25 0 4 0 653169055 213327872 8820 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=208328 CPUtime=3.05 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 3850 0 0 0 305 0 0 0 25 0 4 0 653169055 213327872 8820 33554432000 4194304 4580107 140737421553632 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 208328

[startup+6.30068 s]
/proc/loadavg: 7.55 7.99 7.98 9/365 29474
/proc/meminfo: memFree=23907156/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=224572 CPUtime=25.11 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 28293 0 0 0 2507 4 0 0 25 0 4 0 653169055 229961728 14476 33554432000 4194304 4580107 140737421553632 18446744073709551615 4324529 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 56143 14476 380 95 0 51125 0
[pid=29470/tid=29471] ppid=29468 vsize=224572 CPUtime=6.28 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 6664 0 0 0 628 0 0 0 25 0 4 0 653169055 229961728 14476 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=224572 CPUtime=6.29 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 7354 0 0 0 628 1 0 0 25 0 4 0 653169055 229961728 14476 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=224572 CPUtime=6.22 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 6011 0 0 0 622 0 0 0 25 0 4 0 653169055 229961728 14476 33554432000 4194304 4580107 140737421553632 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 224572

[startup+12.7005 s]
/proc/loadavg: 7.58 7.99 7.98 9/365 29474
/proc/meminfo: memFree=23873144/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=239612 CPUtime=50.63 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 44719 0 0 0 5057 6 0 0 25 0 4 0 653169055 245362688 17016 33554432000 4194304 4580107 140737421553632 18446744073709551615 4318508 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 59903 17016 380 95 0 54885 0
[pid=29470/tid=29471] ppid=29468 vsize=239612 CPUtime=12.69 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 10537 0 0 0 1268 1 0 0 25 0 4 0 653169055 245362688 17016 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=239612 CPUtime=12.68 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 10936 0 0 0 1267 1 0 0 25 0 4 0 653169055 245362688 17016 33554432000 4194304 4580107 140737421553632 18446744073709551615 4322678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=239612 CPUtime=12.55 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 10558 0 0 0 1254 1 0 0 25 0 4 0 653169055 245362688 17016 33554432000 4194304 4580107 140737421553632 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 239612

[startup+25.5012 s]
/proc/loadavg: 7.75 8.01 7.99 9/365 29475
/proc/meminfo: memFree=23840900/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=245252 CPUtime=101.68 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 70132 0 0 0 10157 11 0 0 25 0 4 0 653169055 251138048 23027 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 61313 23027 380 95 0 56295 0
[pid=29470/tid=29471] ppid=29468 vsize=245252 CPUtime=25.48 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 17179 0 0 0 2546 2 0 0 25 0 4 0 653169055 251138048 23027 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=245252 CPUtime=25.49 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 17364 0 0 0 2547 2 0 0 25 0 4 0 653169055 251138048 23027 33554432000 4194304 4580107 140737421553632 18446744073709551615 4305219 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=245252 CPUtime=25.2 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 16428 0 0 0 2517 3 0 0 25 0 4 0 653169055 251138048 23027 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 245252

[startup+51.1005 s]
/proc/loadavg: 7.83 8.01 7.99 9/365 29475
/proc/meminfo: memFree=23799296/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=307232 CPUtime=203.8 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 114181 0 0 0 20359 21 0 0 25 0 4 0 653169055 314605568 28331 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 76808 28331 380 95 0 71790 0
[pid=29470/tid=29471] ppid=29468 vsize=307232 CPUtime=51.08 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 27664 0 0 0 5104 4 0 0 25 0 4 0 653169055 314605568 28331 33554432000 4194304 4580107 140737421553632 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=307232 CPUtime=51.08 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 28983 0 0 0 5104 4 0 0 25 0 4 0 653169055 314605568 28331 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=307232 CPUtime=50.52 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 27316 0 0 0 5047 5 0 0 25 0 4 0 653169055 314605568 28331 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 307232

[startup+102.301 s]
/proc/loadavg: 7.93 8.00 7.99 9/365 29477
/proc/meminfo: memFree=23679712/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=328668 CPUtime=408.08 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 177488 0 0 0 40774 34 0 0 25 0 4 0 653169055 336556032 43584 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 82167 43584 380 95 0 77149 0
[pid=29470/tid=29471] ppid=29468 vsize=328668 CPUtime=102.28 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 39457 0 0 0 10222 6 0 0 25 0 4 0 653169055 336556032 43584 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=328668 CPUtime=102.3 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 47225 0 0 0 10222 8 0 0 25 0 4 0 653169055 336556032 43584 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=328668 CPUtime=101.17 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 42375 0 0 0 10108 9 0 0 25 0 4 0 653169055 336556032 43584 33554432000 4194304 4580107 140737421553632 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 328668

[startup+162.3 s]

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

[pid=29470] ppid=29468 vsize=629032 CPUtime=2801.08 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 525161 0 0 0 279953 155 0 0 25 0 4 0 653169055 644128768 106357 33554432000 4194304 4580107 140737421553632 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 157258 106357 380 95 0 152240 0
[pid=29470/tid=29471] ppid=29468 vsize=629032 CPUtime=702.17 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 115622 0 0 0 70185 32 0 0 25 0 4 0 653169055 644128768 106357 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=629032 CPUtime=702.3 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 148198 0 0 0 70187 43 0 0 25 0 4 0 653169055 644128768 106357 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=629032 CPUtime=694.28 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 112448 0 0 0 69398 30 0 0 25 0 4 0 653169055 644128768 106357 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.08
Current children cumulated vsize (KiB) 629032

[startup+762.301 s]
/proc/loadavg: 8.12 8.10 8.02 9/365 29494
/proc/meminfo: memFree=23228756/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=571912 CPUtime=3040.42 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 561154 0 0 0 303874 168 0 0 25 0 4 0 653169055 585637888 101271 33554432000 4194304 4580107 140737421553632 18446744073709551615 4318421 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 142978 101271 380 95 0 137960 0
[pid=29470/tid=29471] ppid=29468 vsize=571912 CPUtime=762.17 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 124642 0 0 0 76182 35 0 0 25 0 4 0 653169055 585637888 101271 33554432000 4194304 4580107 140737421553632 18446744073709551615 4296003 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=571912 CPUtime=762.31 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 158906 0 0 0 76184 47 0 0 25 0 4 0 653169055 585637888 101271 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=571912 CPUtime=753.59 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 122908 0 0 0 75324 35 0 0 25 0 4 0 653169055 585637888 101271 33554432000 4194304 4580107 140737421553632 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.42
Current children cumulated vsize (KiB) 571912

[startup+822.301 s]
/proc/loadavg: 8.04 8.08 8.02 9/365 29496
/proc/meminfo: memFree=23163260/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=637856 CPUtime=3279.7 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 599140 0 0 0 327791 179 0 0 25 0 4 0 653169055 653164544 111383 33554432000 4194304 4580107 140737421553632 18446744073709551615 4318432 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 159464 111383 380 95 0 154446 0
[pid=29470/tid=29471] ppid=29468 vsize=637856 CPUtime=822.15 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 129986 0 0 0 82180 35 0 0 25 0 4 0 653169055 653164544 111383 33554432000 4194304 4580107 140737421553632 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=637856 CPUtime=822.3 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 169085 0 0 0 82180 50 0 0 25 0 4 0 653169055 653164544 111383 33554432000 4194304 4580107 140737421553632 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=637856 CPUtime=812.92 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 134052 0 0 0 81253 39 0 0 25 0 4 0 653169055 653164544 111383 33554432000 4194304 4580107 140737421553632 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.7
Current children cumulated vsize (KiB) 637856

[startup+882.314 s]
/proc/loadavg: 8.07 8.08 8.02 9/365 29497
/proc/meminfo: memFree=23205396/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=572552 CPUtime=3519.03 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 618994 0 0 0 351715 188 0 0 25 0 4 0 653169055 586293248 106666 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 143138 106666 380 95 0 138120 0
[pid=29470/tid=29471] ppid=29468 vsize=572552 CPUtime=882.14 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 130209 0 0 0 88179 35 0 0 25 0 4 0 653169055 586293248 106666 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=572552 CPUtime=882.31 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 179202 0 0 0 88177 54 0 0 25 0 4 0 653169055 586293248 106666 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=572552 CPUtime=872.21 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 136287 0 0 0 87182 39 0 0 25 0 4 0 653169055 586293248 106666 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.03
Current children cumulated vsize (KiB) 572552

[startup+942.301 s]
/proc/loadavg: 8.08 8.07 8.02 9/365 29499
/proc/meminfo: memFree=23128104/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=641032 CPUtime=3758.28 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 644528 0 0 0 375627 201 0 0 25 0 4 0 653169055 656416768 113217 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 160258 113217 380 95 0 155240 0
[pid=29470/tid=29471] ppid=29468 vsize=641032 CPUtime=942.12 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 132450 0 0 0 94176 36 0 0 25 0 4 0 653169055 656416768 113217 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=641032 CPUtime=942.3 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 191919 0 0 0 94171 59 0 0 25 0 4 0 653169055 656416768 113217 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=641032 CPUtime=931.5 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 136855 0 0 0 93110 40 0 0 25 0 4 0 653169055 656416768 113217 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.28
Current children cumulated vsize (KiB) 641032

[startup+1002.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/365 29501
/proc/meminfo: memFree=23098948/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=612012 CPUtime=3997.55 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 661152 0 0 0 399544 211 0 0 25 0 4 0 653169055 626700288 121770 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406355 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 153003 121770 380 95 0 147985 0
[pid=29470/tid=29471] ppid=29468 vsize=612012 CPUtime=1002.12 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 137100 0 0 0 100172 40 0 0 25 0 4 0 653169055 626700288 121770 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=612012 CPUtime=1002.3 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 191919 0 0 0 100171 59 0 0 25 0 4 0 653169055 626700288 121770 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=612012 CPUtime=990.78 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 143380 0 0 0 99036 42 0 0 25 0 4 0 653169055 626700288 121770 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.55
Current children cumulated vsize (KiB) 612012

[startup+1062.3 s]
/proc/loadavg: 8.14 8.10 8.03 9/365 29502
/proc/meminfo: memFree=23041756/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=612264 CPUtime=4236.82 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 669571 0 0 0 423467 215 0 0 25 0 4 0 653169055 626958336 124963 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 153066 124963 380 95 0 148048 0
[pid=29470/tid=29471] ppid=29468 vsize=612264 CPUtime=1062.1 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 137309 0 0 0 106170 40 0 0 25 0 4 0 653169055 626958336 124963 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=612264 CPUtime=1062.3 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 196320 0 0 0 106169 61 0 0 25 0 4 0 653169055 626958336 124963 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=612264 CPUtime=1050.06 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 144561 0 0 0 104963 43 0 0 25 0 4 0 653169055 626958336 124963 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.82
Current children cumulated vsize (KiB) 612264

[startup+1122.3 s]
/proc/loadavg: 8.19 8.12 8.04 9/365 29504
/proc/meminfo: memFree=23030056/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=662744 CPUtime=4476.11 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 684575 0 0 0 447384 227 0 0 25 0 4 0 653169055 678649856 132432 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 165686 132432 380 95 0 160668 0
[pid=29470/tid=29471] ppid=29468 vsize=662744 CPUtime=1122.1 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 137309 0 0 0 112170 40 0 0 25 0 4 0 653169055 678649856 132432 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406489 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=662744 CPUtime=1122.31 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 205789 0 0 0 112163 68 0 0 25 0 4 0 653169055 678649856 132432 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=662744 CPUtime=1109.35 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 144561 0 0 0 110892 43 0 0 25 0 4 0 653169055 678649856 132432 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.11
Current children cumulated vsize (KiB) 662744

[startup+1182.3 s]
/proc/loadavg: 8.11 8.11 8.04 9/365 29505
/proc/meminfo: memFree=23043660/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=781756 CPUtime=4715.4 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 691322 0 0 0 471307 233 0 0 25 0 4 0 653169055 800518144 127920 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 195439 127920 380 95 0 190421 0
[pid=29470/tid=29471] ppid=29468 vsize=781756 CPUtime=1182.09 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 137401 0 0 0 118169 40 0 0 25 0 4 0 653169055 800518144 127920 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=781756 CPUtime=1182.31 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 207922 0 0 0 118161 70 0 0 25 0 4 0 653169055 800518144 127920 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=781756 CPUtime=1168.65 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 145228 0 0 0 116821 44 0 0 25 0 4 0 653169055 800518144 127920 33554432000 4194304 4580107 140737421553632 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.4
Current children cumulated vsize (KiB) 781756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.07 8.10 8.04 10/365 29506
/proc/meminfo: memFree=23024788/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=676584 CPUtime=4800.35 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 695280 0 0 0 479799 236 0 0 25 0 4 0 653169055 692822016 130208 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 169146 130208 380 95 0 164128 0
[pid=29470/tid=29471] ppid=29468 vsize=676584 CPUtime=1203.4 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 138205 0 0 0 120299 41 0 0 25 0 4 0 653169055 692822016 130208 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=676584 CPUtime=1203.62 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 207922 0 0 0 120292 70 0 0 25 0 4 0 653169055 692822016 130208 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=676584 CPUtime=1189.67 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 148382 0 0 0 118921 46 0 0 25 0 4 0 653169055 692822016 130208 33554432000 4194304 4580107 140737421553632 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 676584

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

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

[startup+1203.6 s]
/proc/loadavg: 8.07 8.10 8.04 10/365 29506
/proc/meminfo: memFree=23024788/32951124 swapFree=56449224/67111528
[pid=29470] ppid=29468 vsize=676584 CPUtime=4800.35 cores=0,2,4,6
/proc/29470/stat : 29470 (strangenight2-m) R 29468 29470 28888 0 -1 4202496 695280 0 0 0 479799 236 0 0 25 0 4 0 653169055 692822016 130208 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29470/statm: 169146 130208 380 95 0 164128 0
[pid=29470/tid=29471] ppid=29468 vsize=676584 CPUtime=1203.4 cores=0,2,4,6
/proc/29470/task/29471/stat : 29471 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 138205 0 0 0 120299 41 0 0 25 0 4 0 653169055 692822016 130208 33554432000 4194304 4580107 140737421553632 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29470/tid=29472] ppid=29468 vsize=676584 CPUtime=1203.62 cores=0,2,4,6
/proc/29470/task/29472/stat : 29472 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 207922 0 0 0 120292 70 0 0 25 0 4 0 653169055 692822016 130208 33554432000 4194304 4580107 140737421553632 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29470/tid=29473] ppid=29468 vsize=676584 CPUtime=1189.67 cores=0,2,4,6
/proc/29470/task/29473/stat : 29473 (strangenight2-m) R 29468 29470 28888 0 -1 4202560 148382 0 0 0 118921 46 0 0 25 0 4 0 653169055 692822016 130208 33554432000 4194304 4580107 140737421553632 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 676584

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.4
CPU user time (s): 4798.02
CPU system time (s): 2.38364
CPU usage (%): 398.823
Max. virtual memory (cumulated for all children) (KiB): 781756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.02
system time used= 2.38364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 695280
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= 149
involuntary context switches= 21609

runsolver used 3.90841 second user time and 10.0685 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-15 01:28:07
IDJOB=3366935
IDBENCH=84021
IDSOLVER=1844
FILE ID=node106/3366935-1305415687
RUNJOBID= node106-1305414481-29353
PBS_JOBID= 13324537
Free space on /tmp= 73356 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/handmade/stanion/hwb/hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366935-1305415687/watcher-3366935-1305415687 -o /tmp/evaluation-result-3366935-1305415687/solver-3366935-1305415687 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366935-1305415687.cnf

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

MD5SUM BENCH= 1d86c7f9cd05c5f2ab070520d802c8e1
RANDOM SEED=1170186099

node106.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.830
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.66
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.830
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.20
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.830
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.75
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.830
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.82
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.830
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.74
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.830
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.830
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.75
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24007524 kB
Buffers:        273228 kB
Cached:        5687220 kB
SwapCached:      27544 kB
Active:         740524 kB
Inactive:      7976652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24007524 kB
SwapTotal:    67111528 kB
SwapFree:     56449224 kB
Dirty:           10956 kB
Writeback:          80 kB
AnonPages:     2737332 kB
Mapped:          10824 kB
Slab:           114004 kB
PageTables:      47316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75077120 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= 73352 MiB
End job on node106 at 2011-05-15 01:48:12