Trace number 3263783

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? (TO) 4800.23 1201.63

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-3263783-1304126489.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.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	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.05	c Decided on static restart strategy
0.00/0.13	c  N st     8      4917       162       476        26      4739      2184    115039   no data   no data
0.00/0.34	c  N st    10     11301       162       476        31      4430      2184     81255   no data   no data
0.00/0.55	c  N st    11     17044       162       476        31      9951      2184    224866   no data   no data
3.29/0.91	c  F st    12     25005       161       476        38     12275      2184    267104   no data   no data
3.29/0.91	c  N st    12     25005       161       465        34     12271      2135    267062   no data   no data
3.29/0.91	c Finding binary XORs  T:     0.00 s  found:       1
4.09/1.11	c Decided on static restart strategy
4.09/1.11	c  N st    18     30001       161       465        35     10708      2135    212373   no data   no data
4.09/1.11	c  S st    18     30001       161       465        35     10708      2135    212373   no data   no data
4.49/1.14	c  S st    18     30506       161       465        36     11202      2135    222407   no data   no data
4.49/1.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.49/1.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     27 BRemL:      4 BRemN:      0 P:  0.2M T:  0.00
4.49/1.15	c Replacing        1 vars Replaced     2326 lits Time:     0.00 s 
4.49/1.15	c blocked clauses removed:        0 vars:      0 tried:           6 T: 0.00 s
4.49/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.49/1.15	c subs with bin:        4  lits-rem:        22  v-fix:    0  time:  0.00 s
4.49/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    160 time:  0.00 s
4.49/1.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.49/1.15	c lits-rem:         0  cl-subs:        0  v-elim:      3  v-fix:    0  time:  0.00 s
4.49/1.16	c subs with bin:        4  lits-rem:      1067  v-fix:    0  time:  0.00 s
4.77/1.27	c lits-rem:      1786  cl-subs:      610  v-elim:      0  v-fix:    0  time:  0.11 s
4.77/1.28	c asymm  cl-useful: 14/455/455 lits-rem:14 time: 0.01
4.77/1.28	c calculated reachability. Time: 0.00
4.77/1.28	c  N st    18     30506       157       455        58     10389      2119    201421   no data   no data
5.97/1.59	c  N st    20     37620       157       455        59      9815      2119    171609   no data   no data
5.97/1.59	c Finding binary XORs  T:     0.00 s  found:       0
7.19/1.89	c  N st    21     44019       157       455        59     15920      2119    322345   no data   no data
7.57/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.01	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
7.96/2.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.96/2.01	c bin-w-bin subsume rem            2 bins  time:  0.00 s
7.96/2.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.01	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.77/2.79	c  N st    23     60660       156       448        31     13754      2079    239351   no data   no data
13.17/3.30	c  N st    24     69395       156       448        31     11608      2079    177869   no data   no data
13.17/3.30	c  S st    24     69395       156       448        31     11608      2079    177869   no data   no data
13.17/3.30	c Finding binary XORs  T:     0.00 s  found:       0
13.17/3.33	c  S st    24     69900       156       448        31     12112      2079    188922   no data   no data
13.17/3.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.17/3.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
13.17/3.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.17/3.34	c bin-w-bin subsume rem            1 bins  time:  0.00 s
13.17/3.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.17/3.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
13.17/3.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.17/3.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.17/3.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.17/3.38	c lits-rem:       225  cl-subs:      247  v-elim:      0  v-fix:    0  time:  0.04 s
13.17/3.38	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
13.17/3.38	c vivif2 --  cl tried    11865 cl shrink       10 lits rem         10 time: 0.00
13.17/3.39	c asymm  cl-useful: 5/448/448 lits-rem:5 time: 0.01
13.17/3.39	c calculated reachability. Time: 0.00
13.17/3.39	c  N st    24     69900       156       448        30     11865      2074    183305   no data   no data
17.15/4.38	c  F st    25     87501       156       448        30     17197      2074    306459   no data   no data
17.15/4.38	c  N st    25     87501       156       448        30     17197      2074    306459   no data   no data
18.35/4.70	c Decided on static restart strategy
19.15/4.87	c  N st    32     95541       156       448        30     24921      2074    501585   no data   no data
21.55/5.41	c  N st    34    104850       156       448        30     21442      2074    396950   no data   no data
21.55/5.41	c  S st    34    104850       156       448        30     21442      2074    396950   no data   no data
21.55/5.46	c  S st    34    105352       156       448        30     21944      2074    409168   no data   no data
21.55/5.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.55/5.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
21.55/5.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21.55/5.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.55/5.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.55/5.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
21.55/5.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.55/5.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
21.55/5.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.15/5.80	c lits-rem:       813  cl-subs:     1268  v-elim:      0  v-fix:    0  time:  0.32 s
23.15/5.80	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
23.15/5.81	c vivif2 --  cl tried    20676 cl shrink      202 lits rem        203 time: 0.00
23.15/5.82	c asymm  cl-useful: 4/448/448 lits-rem:4 time: 0.01
23.15/5.82	c calculated reachability. Time: 0.00
23.15/5.82	c  N st    34    105352       156       448        30     20676      2070    378223   no data   no data
25.54/6.44	c  N st    35    114951       156       448        30     16461      2070    257095   no data   no data
29.16/7.37	c  N st    36    129349       156       448        30     15771      2070    224619   no data   no data
35.14/8.82	c  N st    37    150948       156       448        30     20948      2070    344966   no data   no data
37.14/9.30	c  S st    38    158030       156       448        30     27654      2070    509634   no data   no data
37.14/9.38	c  S st    38    158535       156       448        30     28149      2070    520887   no data   no data
37.14/9.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.14/9.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
37.14/9.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37.14/9.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.14/9.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.14/9.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
37.14/9.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.14/9.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
37.55/9.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.53/10.43	c lits-rem:      1333  cl-subs:     3163  v-elim:      0  v-fix:    0  time:  1.02 s
41.53/10.43	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
41.53/10.43	c vivif2 --  cl tried    24986 cl shrink      552 lits rem        552 time: 0.01
41.53/10.45	c asymm  cl-useful: 6/448/448 lits-rem:6 time: 0.01
41.53/10.45	c calculated reachability. Time: 0.00
41.53/10.45	c  N st    38    158535       156       448        30     24986      2064    445849   no data   no data
55.53/13.94	c  N st    39    207125       156       448        30     20198      2064    296646   no data   no data
65.10/16.33	c  N st    40    237803       156       448        30     29988      2064    522205   no data   no data
65.10/16.33	c  S st    40    237803       156       448        30     29988      2064    522205   no data   no data
65.50/16.42	c  S st    40    238305       156       448        30     30484      2064    533668   no data   no data
65.50/16.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.50/16.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
65.50/16.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.50/16.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.50/16.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.50/16.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
65.50/16.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.50/16.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
65.50/16.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.69/17.71	c lits-rem:      2265  cl-subs:     3137  v-elim:      0  v-fix:    0  time:  1.26 s
70.69/17.71	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
70.69/17.72	c vivif2 --  cl tried    27347 cl shrink      116 lits rem        116 time: 0.01
70.69/17.73	c asymm  cl-useful: 2/448/448 lits-rem:2 time: 0.01
70.69/17.73	c calculated reachability. Time: 0.00
70.69/17.73	c  N st    40    238305       156       448        30     27347      2062    458644   no data   no data
93.06/23.35	c  F st    41    306251       156       448        30     29075      2062    459852   no data   no data
93.06/23.35	c  N st    41    306251       156       448        30     29075      2062    459852   no data   no data
94.68/23.77	c Decided on static restart strategy
101.86/25.55	c  N st    51    334555       156       448        30     33560      2062    568808   no data   no data
109.45/27.47	c  N st    53    357458       156       448        30     31686      2062    523713   no data   no data
109.45/27.47	c  S st    53    357458       156       448        30     31686      2062    523713   no data   no data
109.85/27.55	c  S st    53    357960       156       448        30     32181      2062    535029   no data   no data
109.85/27.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
109.85/27.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
109.85/27.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
109.85/27.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
109.85/27.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
109.85/27.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
109.85/27.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
109.85/27.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
109.85/27.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.85/28.09	c lits-rem:      1233  cl-subs:     1406  v-elim:      0  v-fix:    0  time:  0.51 s
111.85/28.09	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
112.26/28.10	c vivif2 --  cl tried    30775 cl shrink      202 lits rem        205 time: 0.01
112.26/28.12	c asymm  cl-useful: 5/448/448 lits-rem:5 time: 0.02
112.26/28.12	c calculated reachability. Time: 0.00
112.26/28.12	c  N st    53    357960       156       448        30     30775      2057    499116   no data   no data
123.03/30.89	c  N st    54    390354       156       448        30     36513      2057    616052   no data   no data
142.21/35.65	c  N st    55    438943       156       448        30     30309      2057    451611   no data   no data
168.18/42.15	c  N st    56    511827       156       448        30     42876      2057    729386   no data   no data
177.37/44.47	c  N st    57    536942       156       448        30     37645      2057    592945   no data   no data
177.37/44.47	c  S st    57    536942       156       448        30     37645      2057    592945   no data   no data
177.77/44.57	c  S st    57    537444       156       448        30     38143      2057    605233   no data   no data
177.77/44.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
177.77/44.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
177.77/44.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
177.77/44.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
177.77/44.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
177.77/44.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
177.77/44.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
177.77/44.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
177.77/44.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
182.17/45.61	c lits-rem:      1611  cl-subs:     2855  v-elim:      0  v-fix:    0  time:  1.01 s
182.17/45.61	c vivif2 --  cl tried      448 cl shrink        0 lits rem          0 time: 0.00
182.17/45.62	c vivif2 --  cl tried    35288 cl shrink      239 lits rem        244 time: 0.01
182.17/45.64	c asymm  cl-useful: 8/448/448 lits-rem:8 time: 0.02
182.17/45.64	c calculated reachability. Time: 0.00
182.17/45.64	c  N st    57    537444       156       448        30     35288      2049    539751   no data   no data
252.09/63.13	c  N st    58    701430       156       448        30     64303      2049   1241594   no data   no data
297.25/74.43	c  N st    59    806167       156       448        30     57612      2049   1006944   no data   no data
297.25/74.43	c  S st    59    806167       156       448        30     57612      2049   1006944   no data   no data
297.62/74.57	c  S st    59    806672       156       448        30     58115      2049   1019099   no data   no data
297.62/74.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
297.62/74.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
297.62/74.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
297.62/74.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
297.62/74.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
297.62/74.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
297.62/74.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
298.02/74.61	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
298.02/74.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
319.22/79.94	c lits-rem:      3182  cl-subs:     7959  v-elim:      0  v-fix:    0  time:  5.31 s
319.22/79.94	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
319.22/79.95	c vivif2 --  cl tried    50156 cl shrink      175 lits rem        175 time: 0.01
319.22/79.98	c asymm  cl-useful: 2/447/447 lits-rem:2 time: 0.03
319.22/79.98	c calculated reachability. Time: 0.00
319.22/79.98	c  N st    59    806672       156       447        30     50156      2040    836114   no data   no data
446.27/111.71	c  F st    60   1071878       156       447        30     65461      2040   1136486   no data   no data
446.27/111.71	c  N st    60   1071878       156       447        30     65461      2040   1136486   no data   no data
448.65/112.32	c Decided on static restart strategy
459.85/115.11	c  N st    70   1100179       156       447        30     50271      2040    760194   no data   no data
476.22/119.22	c  N st    72   1136173       156       447        30     84816      2040   1626779   no data   no data
491.39/123.04	c  N st    73   1168565       156       447        30     72118      2040   1328790   no data   no data
514.56/128.80	c  N st    74   1210008       156       447        30     66535      2040   1105321   no data   no data
514.56/128.80	c  S st    74   1210008       156       447        30     66535      2040   1105321   no data   no data
515.36/129.04	c  S st    74   1210513       156       447        30     67036      2040   1118508   no data   no data
515.36/129.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
515.36/129.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
515.36/129.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
515.36/129.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
515.36/129.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
515.36/129.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
515.36/129.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
515.76/129.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
515.76/129.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
580.08/145.21	c lits-rem:      2172  cl-subs:    10330  v-elim:      0  v-fix:    0  time: 16.07 s
580.08/145.21	c vivif2 --  cl tried      447 cl shrink        0 lits rem          0 time: 0.00
580.08/145.23	c vivif2 --  cl tried    56706 cl shrink      564 lits rem        566 time: 0.02
580.48/145.30	c asymm  cl-useful: 4/447/447 lits-rem:4 time: 0.07
580.48/145.30	c calculated reachability. Time: 0.00
580.48/145.30	c  N st    74   1210513       156       447        30     56706      2036    878519   no data   no data
619.22/155.05	c  N st    75   1283395       156       447        30     79685      2036   1392313   no data   no data
674.77/168.99	c  N st    76   1392719       156       447        30     89315      2036   1530928   no data   no data
768.24/192.30	c  N st    77   1556703       156       447        30     98302      2036   1828386   no data   no data
860.92/215.52	c  N st    78   1710514       156       447        30     86719      2036   1501288   no data   no data
860.92/215.52	c  S st    78   1710514       156       447        30     86719      2036   1501288   no data   no data
861.72/215.70	c  S st    78   1711017       156       447        30     87218      2036   1512633   no data   no data
861.72/215.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
861.72/215.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
861.72/215.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
861.72/215.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
861.72/215.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
861.72/215.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
861.72/215.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
861.72/215.76	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.02 s
862.13/215.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
958.00/239.82	c lits-rem:      5311  cl-subs:    13608  v-elim:      0  v-fix:    0  time: 24.02 s
958.00/239.82	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
958.00/239.85	c vivif2 --  cl tried    73610 cl shrink      421 lits rem        427 time: 0.03
958.40/239.95	c asymm  cl-useful: 2/446/446 lits-rem:2 time: 0.10
958.40/239.96	c calculated reachability. Time: 0.00
958.40/239.96	c  N st    78   1711017       156       446        30     73610      2027   1217508   no data   no data
1210.07/302.94	c  N st    79   2079981       156       446        30     84295      2027   1397352   no data   no data
1292.78/323.63	c  N st    80   2211019       156       446        30     88993      2027   1532160   no data   no data
1292.78/323.63	c  S st    80   2211019       156       446        30     88993      2027   1532160   no data   no data
1293.58/323.89	c  S st    80   2211522       156       446        30     89488      2027   1543655   no data   no data
1293.58/323.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1293.98/323.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
1293.98/323.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1293.98/323.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1293.98/323.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1293.98/323.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
1293.98/323.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1293.98/323.95	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1293.98/323.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1346.31/337.02	c lits-rem:      4709  cl-subs:    10372  v-elim:      0  v-fix:    0  time: 13.03 s
1346.31/337.02	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
1346.31/337.05	c vivif2 --  cl tried    79116 cl shrink      825 lits rem        826 time: 0.03
1346.71/337.10	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.05
1346.71/337.10	c calculated reachability. Time: 0.00
1346.71/337.10	c  N st    80   2211522       156       446        30     79116      2026   1308890   no data   no data
1724.63/431.75	c  N st    81   2711522       156       446        30    102079      2026   1729475   no data   no data
1724.63/431.75	c  S st    81   2711522       156       446        30    102079      2026   1729475   no data   no data
1726.23/432.12	c  S st    81   2712027       156       446        30    102578      2026   1740999   no data   no data
1726.23/432.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1726.23/432.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1726.23/432.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1726.23/432.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1726.23/432.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1726.23/432.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
1726.23/432.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1726.63/432.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1726.63/432.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1812.12/453.65	c lits-rem:      3643  cl-subs:    15367  v-elim:      0  v-fix:    0  time: 21.37 s
1812.12/453.65	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
1812.12/453.67	c vivif2 --  cl tried    87211 cl shrink      723 lits rem        724 time: 0.03
1812.52/453.73	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.06
1812.52/453.74	c calculated reachability. Time: 0.00
1812.52/453.74	c  N st    81   2712027       156       446        30     87211      2026   1415342   no data   no data
2222.37/556.34	c  N st    82   3212028       156       446        30    136034      2026   2460782   no data   no data
2222.37/556.34	c  S st    82   3212028       156       446        30    136034      2026   2460782   no data   no data
2223.57/556.68	c  S st    82   3212530       156       446        30    136532      2026   2472761   no data   no data
2223.57/556.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2223.97/556.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.06
2223.97/556.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2223.97/556.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2223.97/556.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2223.97/556.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
2223.97/556.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2223.97/556.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2224.37/556.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2412.12/603.81	c lits-rem:      6285  cl-subs:    21179  v-elim:      0  v-fix:    0  time: 46.95 s
2412.12/603.81	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
2412.12/603.84	c vivif2 --  cl tried   115353 cl shrink      133 lits rem        133 time: 0.04
2412.52/603.93	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.09
2412.52/603.93	c calculated reachability. Time: 0.00
2412.52/603.93	c  N st    82   3212530       156       446        30    115353      2026   2037239   no data   no data
2804.81/702.13	c  N st    83   3712530       156       446        30    133547      2026   2377735   no data   no data
2804.81/702.13	c  S st    83   3712530       156       446        30    133547      2026   2377735   no data   no data
2806.43/702.57	c  S st    83   3713034       156       446        30    134043      2026   2389105   no data   no data
2806.43/702.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2806.81/702.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.06
2806.81/702.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2806.81/702.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2806.81/702.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2806.81/702.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
2806.81/702.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2806.81/702.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2807.21/702.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2962.60/741.61	c lits-rem:      4698  cl-subs:    18894  v-elim:      0  v-fix:    0  time: 38.87 s
2962.60/741.61	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
2962.60/741.65	c vivif2 --  cl tried   115149 cl shrink      281 lits rem        282 time: 0.04
2963.00/741.73	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.09
2963.00/741.74	c calculated reachability. Time: 0.00
2963.00/741.74	c  N st    83   3713034       156       446        30    115149      2026   1992865   no data   no data
2992.16/749.05	c  F st    84   3751563       156       446        30    151455      2026   2932947   no data   no data
2992.16/749.06	c  N st    84   3751563       156       446        30    151455      2026   2932947   no data   no data
3000.55/751.11	c Decided on static restart strategy
3014.93/754.71	c  N st    94   3779868       156       446        30    100786      2026   1637402   no data   no data
3042.10/761.56	c  N st    96   3815860       156       446        30    134356      2026   2460996   no data   no data
3070.86/768.70	c  N st    97   3848252       156       446        30     85993      2026   1233521   no data   no data
3106.41/777.67	c  N st    98   3896840       156       446        30    131388      2026   2384511   no data   no data
3164.73/792.23	c  N st    99   3969724       156       446        30    119798      2026   2073952   no data   no data
3258.22/815.64	c  N st   100   4079048       156       446        30    139990      2026   2524011   no data   no data
3394.04/849.65	c  N st   101   4213035       156       446        30     99520      2026   1504672   no data   no data
3394.04/849.65	c  S st   101   4213035       156       446        30     99520      2026   1504672   no data   no data
3395.64/850.06	c  S st   101   4213540       156       446        30    100020      2026   1517612   no data   no data
3395.64/850.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3396.04/850.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.08
3396.04/850.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3396.04/850.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3396.04/850.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3396.04/850.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
3396.04/850.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3396.04/850.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3396.44/850.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3458.75/865.81	c lits-rem:      1711  cl-subs:     6193  v-elim:      0  v-fix:    0  time: 15.57 s
3458.75/865.81	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
3458.75/865.85	c vivif2 --  cl tried    93827 cl shrink      296 lits rem        296 time: 0.04
3459.15/865.97	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.12
3459.15/865.97	c calculated reachability. Time: 0.00
3459.15/865.97	c  N st   101   4213540       156       446        30     93827      2026   1384540   no data   no data
3703.22/927.01	c  N st   102   4459516       156       446        30    155738      2026   2859489   no data   no data
3951.70/989.26	c  N st   103   4713540       156       446        30    130852      2026   2198296   no data   no data
3951.70/989.26	c  S st   103   4713540       156       446        30    130852      2026   2198296   no data   no data
3953.69/989.73	c  S st   103   4714042       156       446        30    131345      2026   2209532   no data   no data
3953.69/989.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3954.09/989.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.08
3954.09/989.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3954.09/989.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3954.09/989.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3954.09/989.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
3954.09/989.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3954.09/989.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3954.49/989.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4144.24/1037.48	c lits-rem:      3606  cl-subs:    19300  v-elim:      0  v-fix:    0  time: 47.55 s
4144.24/1037.48	c vivif2 --  cl tried      446 cl shrink        0 lits rem          0 time: 0.00
4144.64/1037.52	c vivif2 --  cl tried   112045 cl shrink      365 lits rem        365 time: 0.04
4145.04/1037.63	c asymm  cl-useful: 0/446/446 lits-rem:0 time: 0.11
4145.04/1037.63	c calculated reachability. Time: 0.00
4145.04/1037.63	c  N st   103   4714042       156       446        30    112045      2026   1801085   no data   no data
4675.93/1170.50	c  N st   104   5214044       156       446        30    126828      2026   2068694   no data   no data
4675.93/1170.50	c  S st   104   5214044       156       446        30    126828      2026   2068694   no data   no data
4677.13/1170.87	c  S st   104   5214549       156       446        30    127328      2026   2080702   no data   no data
4677.13/1170.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4677.53/1170.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
4677.53/1170.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4677.53/1170.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4677.53/1170.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4677.53/1170.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    156 time:  0.00 s
4677.53/1170.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4677.53/1170.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4677.94/1171.04	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: 935)

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-3263783-1304126489/watcher-3263783-1304126489 -o /tmp/evaluation-result-3263783-1304126489/solver-3263783-1304126489 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3263783-1304126489.cnf 

running on 4 cores: 1,3,5,7

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: 4.54 6.88 7.43 1/172 7018
/proc/meminfo: memFree=29244588/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 602879338 52441088 347 33554432000 4194304 4627427 140735698741600 18446744073709551615 47113103157170 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 12803 347 299 106 0 7774 0
[pid=7018/tid=7019] ppid=7016 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 602879339 52441088 347 33554432000 4194304 4627427 140735698741600 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 602879339 52441088 347 33554432000 4194304 4627427 140735698741600 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 602879339 52441088 347 33554432000 4194304 4627427 140735698741600 18446744073709551615 252453097704 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0918631 s]
/proc/loadavg: 4.54 6.88 7.43 1/172 7018
/proc/meminfo: memFree=29244588/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=350000 CPUtime=2.9 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 4586 0 0 0 289 1 0 0 18 0 4 0 602879338 358400000 2297 33554432000 4194304 4627427 140735698741600 18446744073709551615 4332648 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 87500 2297 388 106 0 82471 0
[pid=7018/tid=7019] ppid=7016 vsize=350000 CPUtime=0.71 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1114 0 0 0 71 0 0 0 25 0 4 0 602879339 358400000 2297 33554432000 4194304 4627427 140735698741600 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=350000 CPUtime=0.72 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1049 0 0 0 72 0 0 0 19 0 4 0 602879339 358400000 2297 33554432000 4194304 4627427 140735698741600 18446744073709551615 4310748 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=350000 CPUtime=0.72 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 836 0 0 0 72 0 0 0 18 0 4 0 602879339 358400000 2297 33554432000 4194304 4627427 140735698741600 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 350000

[startup+0.830468 s]
/proc/loadavg: 4.54 6.88 7.43 1/172 7018
/proc/meminfo: memFree=29244588/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=350112 CPUtime=3.29 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 4962 0 0 0 328 1 0 0 19 0 4 0 602879338 358514688 2402 33554432000 4194304 4627427 140735698741600 18446744073709551615 4308599 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 87528 2402 388 106 0 82499 0
[pid=7018/tid=7019] ppid=7016 vsize=350112 CPUtime=0.81 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1179 0 0 0 81 0 0 0 25 0 4 0 602879339 358514688 2402 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=350112 CPUtime=0.82 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1113 0 0 0 82 0 0 0 19 0 4 0 602879339 358514688 2402 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=350112 CPUtime=0.82 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1019 0 0 0 82 0 0 0 19 0 4 0 602879339 358514688 2402 33554432000 4194304 4627427 140735698741600 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 350112

[startup+0.93045 s]
/proc/loadavg: 4.54 6.88 7.43 1/172 7018
/proc/meminfo: memFree=29244588/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=350396 CPUtime=3.69 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 5429 0 0 0 368 1 0 0 19 0 4 0 602879338 358805504 2549 33554432000 4194304 4627427 140735698741600 18446744073709551615 4330912 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 87599 2549 389 106 0 82570 0
[pid=7018/tid=7019] ppid=7016 vsize=350396 CPUtime=0.91 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1421 0 0 0 91 0 0 0 25 0 4 0 602879339 358805504 2549 33554432000 4194304 4627427 140735698741600 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=350396 CPUtime=0.92 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1172 0 0 0 92 0 0 0 19 0 4 0 602879339 358805504 2549 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=350396 CPUtime=0.92 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1079 0 0 0 92 0 0 0 19 0 4 0 602879339 358805504 2549 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 350396

[startup+1.03043 s]
/proc/loadavg: 4.54 6.88 7.43 1/172 7018
/proc/meminfo: memFree=29244588/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=350480 CPUtime=4.09 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 5850 0 0 0 408 1 0 0 19 0 4 0 602879338 358891520 2645 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309805 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 87620 2645 389 106 0 82591 0
[pid=7018/tid=7019] ppid=7016 vsize=350480 CPUtime=1.01 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1495 0 0 0 101 0 0 0 25 0 4 0 602879339 358891520 2645 33554432000 4194304 4627427 140735698741600 18446744073709551615 4330056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=350480 CPUtime=1.02 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1250 0 0 0 102 0 0 0 19 0 4 0 602879339 358891520 2645 33554432000 4194304 4627427 140735698741600 18446744073709551615 4327096 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=350480 CPUtime=1.02 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1131 0 0 0 102 0 0 0 19 0 4 0 602879339 358891520 2645 33554432000 4194304 4627427 140735698741600 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 350480

[startup+1.50035 s]
/proc/loadavg: 4.54 6.88 7.43 1/172 7018
/proc/meminfo: memFree=29244588/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=351104 CPUtime=5.97 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 10024 0 0 0 595 2 0 0 20 0 4 0 602879338 359530496 5255 33554432000 4194304 4627427 140735698741600 18446744073709551615 4305949 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 87776 5258 390 106 0 82747 0
[pid=7018/tid=7019] ppid=7016 vsize=351104 CPUtime=1.48 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 3065 0 0 0 148 0 0 0 25 0 4 0 602879339 359530496 5259 33554432000 4194304 4627427 140735698741600 18446744073709551615 4429680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=351104 CPUtime=1.48 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1833 0 0 0 148 0 0 0 20 0 4 0 602879339 359530496 5261 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=351104 CPUtime=1.49 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 1550 0 0 0 149 0 0 0 20 0 4 0 602879339 359530496 5261 33554432000 4194304 4627427 140735698741600 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 351104

[startup+3.10105 s]
/proc/loadavg: 4.54 6.88 7.43 9/184 7035
/proc/meminfo: memFree=29174708/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=334564 CPUtime=12.36 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 17875 0 0 0 1233 3 0 0 25 0 4 0 602879338 342593536 8655 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 83641 8655 390 106 0 78612 0
[pid=7018/tid=7019] ppid=7016 vsize=334564 CPUtime=3.08 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 4254 0 0 0 308 0 0 0 25 0 4 0 602879339 342593536 8655 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=334564 CPUtime=3.08 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 4675 0 0 0 307 1 0 0 25 0 4 0 602879339 342593536 8655 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309961 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=334564 CPUtime=3.08 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 3835 0 0 0 308 0 0 0 25 0 4 0 602879339 342593536 8655 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 334564

[startup+6.30045 s]
/proc/loadavg: 4.81 6.90 7.43 9/184 7035
/proc/meminfo: memFree=29130860/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=362736 CPUtime=25.15 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 29302 0 0 0 2510 5 0 0 25 0 4 0 602879338 371441664 14544 33554432000 4194304 4627427 140735698741600 18446744073709551615 4324341 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 90684 14544 390 106 0 85655 0
[pid=7018/tid=7019] ppid=7016 vsize=362736 CPUtime=6.28 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 7625 0 0 0 627 1 0 0 25 0 4 0 602879339 371441664 14544 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=362736 CPUtime=6.26 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 6940 0 0 0 625 1 0 0 25 0 4 0 602879339 371441664 14544 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=362736 CPUtime=6.28 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 6125 0 0 0 628 0 0 0 25 0 4 0 602879339 371441664 14544 33554432000 4194304 4627427 140735698741600 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 362736

[startup+12.7003 s]
/proc/loadavg: 5.07 6.91 7.44 9/184 7036
/proc/meminfo: memFree=29098616/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=373248 CPUtime=50.74 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 45657 0 0 0 5065 9 0 0 25 0 4 0 602879338 382205952 18318 33554432000 4194304 4627427 140735698741600 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 93312 18318 390 106 0 88283 0
[pid=7018/tid=7019] ppid=7016 vsize=373248 CPUtime=12.69 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 11430 0 0 0 1267 2 0 0 25 0 4 0 602879339 382205952 18318 33554432000 4194304 4627427 140735698741600 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=373248 CPUtime=12.64 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 10098 0 0 0 1262 2 0 0 25 0 4 0 602879339 382205952 18318 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=373248 CPUtime=12.69 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 10692 0 0 0 1268 1 0 0 25 0 4 0 602879339 382205952 18318 33554432000 4194304 4627427 140735698741600 18446744073709551615 4310879 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 373248

[startup+25.5009 s]
/proc/loadavg: 5.72 6.97 7.45 9/184 7036
/proc/meminfo: memFree=29068104/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=374932 CPUtime=101.86 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 72086 0 0 0 10172 14 0 0 25 0 4 0 602879338 383930368 23830 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 93733 23830 390 106 0 88704 0
[pid=7018/tid=7019] ppid=7016 vsize=374932 CPUtime=25.48 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 18008 0 0 0 2545 3 0 0 25 0 4 0 602879339 383930368 23830 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=374932 CPUtime=25.37 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 16963 0 0 0 2534 3 0 0 25 0 4 0 602879339 383930368 23830 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=374932 CPUtime=25.48 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 16931 0 0 0 2546 2 0 0 25 0 4 0 602879339 383930368 23830 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 374932

[startup+51.1011 s]
/proc/loadavg: 6.56 7.06 7.46 9/184 7037
/proc/meminfo: memFree=29014112/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=379816 CPUtime=204.14 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 116048 0 0 0 20390 24 0 0 25 0 4 0 602879338 388931584 31743 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 94954 31743 390 106 0 89925 0
[pid=7018/tid=7019] ppid=7016 vsize=379816 CPUtime=51.08 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 28412 0 0 0 5103 5 0 0 25 0 4 0 602879339 388931584 31743 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=379816 CPUtime=50.85 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 28637 0 0 0 5080 5 0 0 25 0 4 0 602879339 388931584 31743 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=379816 CPUtime=51.08 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 28150 0 0 0 5103 5 0 0 25 0 4 0 602879339 388931584 31743 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.14
Current children cumulated vsize (KiB) 379816

[startup+102.301 s]
/proc/loadavg: 7.51 7.24 7.50 10/184 7038
/proc/meminfo: memFree=28953460/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=372132 CPUtime=408.69 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 183071 0 0 0 40829 40 0 0 25 0 4 0 602879338 381063168 40132 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 93033 40132 390 106 0 88004 0
[pid=7018/tid=7019] ppid=7016 vsize=372132 CPUtime=102.29 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 43735 0 0 0 10220 9 0 0 25 0 4 0 602879339 381063168 40132 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=372132 CPUtime=101.81 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 43657 0 0 0 10171 10 0 0 25 0 4 0 602879339 381063168 40132 33554432000 4194304 4627427 140735698741600 18446744073709551615 4324659 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=372132 CPUtime=102.29 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 47176 0 0 0 10220 9 0 0 25 0 4 0 602879339 381063168 40132 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 372132

[startup+162.3 s]

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

[pid=7018] ppid=7016 vsize=658312 CPUtime=2805.61 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 579643 0 0 0 280365 196 0 0 25 0 4 0 602879338 674111488 99264 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 164578 99264 390 106 0 159549 0
[pid=7018/tid=7019] ppid=7016 vsize=658312 CPUtime=702.3 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 139146 0 0 0 70186 44 0 0 25 0 4 0 602879339 674111488 99264 33554432000 4194304 4627427 140735698741600 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=658312 CPUtime=698.66 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 131290 0 0 0 69824 42 0 0 25 0 4 0 602879339 674111488 99264 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=658312 CPUtime=702.31 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 148823 0 0 0 70177 54 0 0 25 0 4 0 602879339 674111488 99264 33554432000 4194304 4627427 140735698741600 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.61
Current children cumulated vsize (KiB) 658312

[startup+762.301 s]
/proc/loadavg: 8.14 8.04 7.80 9/184 7056
/proc/meminfo: memFree=28432588/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=630292 CPUtime=3045.29 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 612419 0 0 0 304319 210 0 0 25 0 4 0 602879338 645419008 101860 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 157573 101860 390 106 0 152544 0
[pid=7018/tid=7019] ppid=7016 vsize=630292 CPUtime=762.3 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 150195 0 0 0 76181 49 0 0 25 0 4 0 602879339 645419008 101860 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=630292 CPUtime=758.34 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 138556 0 0 0 75787 47 0 0 25 0 4 0 602879339 645419008 101860 33554432000 4194304 4627427 140735698741600 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=630292 CPUtime=762.31 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 159089 0 0 0 76173 58 0 0 25 0 4 0 602879339 645419008 101860 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.29
Current children cumulated vsize (KiB) 630292

[startup+822.301 s]
/proc/loadavg: 8.09 8.04 7.82 9/184 7057
/proc/meminfo: memFree=28421412/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=659556 CPUtime=3285 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 657891 0 0 0 328274 226 0 0 25 0 4 0 602879338 675385344 104641 33554432000 4194304 4627427 140735698741600 18446744073709551615 4324205 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 164889 104641 390 106 0 159860 0
[pid=7018/tid=7019] ppid=7016 vsize=659556 CPUtime=822.31 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 161009 0 0 0 82178 53 0 0 25 0 4 0 602879339 675385344 104641 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=659556 CPUtime=818.03 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 148862 0 0 0 81752 51 0 0 25 0 4 0 602879339 675385344 104641 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=659556 CPUtime=822.32 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 171642 0 0 0 82171 61 0 0 25 0 4 0 602879339 675385344 104641 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3285
Current children cumulated vsize (KiB) 659556

[startup+882.301 s]
/proc/loadavg: 8.03 8.03 7.82 9/184 7059
/proc/meminfo: memFree=28387288/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=659788 CPUtime=3524.66 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 679452 0 0 0 352228 238 0 0 25 0 4 0 602879338 675622912 108271 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 164947 108271 390 106 0 159918 0
[pid=7018/tid=7019] ppid=7016 vsize=659788 CPUtime=882.3 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 165542 0 0 0 88177 53 0 0 25 0 4 0 602879339 675622912 108271 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=659788 CPUtime=877.7 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 158633 0 0 0 87713 57 0 0 25 0 4 0 602879339 675622912 108271 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=659788 CPUtime=882.31 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 171642 0 0 0 88170 61 0 0 25 0 4 0 602879339 675622912 108271 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.66
Current children cumulated vsize (KiB) 659788

[startup+942.306 s]
/proc/loadavg: 8.08 8.04 7.84 9/184 7060
/proc/meminfo: memFree=28364820/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=711184 CPUtime=3764.36 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 711555 0 0 0 376185 251 0 0 25 0 4 0 602879338 728252416 112255 33554432000 4194304 4627427 140735698741600 18446744073709551615 4308231 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 177796 112255 390 106 0 172767 0
[pid=7018/tid=7019] ppid=7016 vsize=711184 CPUtime=942.31 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 169830 0 0 0 94176 55 0 0 25 0 4 0 602879339 728252416 112255 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=711184 CPUtime=937.38 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 171253 0 0 0 93676 62 0 0 25 0 4 0 602879339 728252416 112255 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420278 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=711184 CPUtime=942.32 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 176384 0 0 0 94169 63 0 0 25 0 4 0 602879339 728252416 112255 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.36
Current children cumulated vsize (KiB) 711184

[startup+1002.3 s]
/proc/loadavg: 8.09 8.05 7.85 9/184 7062
/proc/meminfo: memFree=28294480/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=726568 CPUtime=4004.02 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 735848 0 0 0 400137 265 0 0 25 0 4 0 602879338 744005632 125438 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 181642 125438 390 106 0 176613 0
[pid=7018/tid=7019] ppid=7016 vsize=726568 CPUtime=1002.31 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 176444 0 0 0 100171 60 0 0 25 0 4 0 602879339 744005632 125438 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=726568 CPUtime=997.05 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 171253 0 0 0 99643 62 0 0 25 0 4 0 602879339 744005632 125438 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=726568 CPUtime=1002.31 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 186633 0 0 0 100163 68 0 0 25 0 4 0 602879339 744005632 125438 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4004.02
Current children cumulated vsize (KiB) 726568

[startup+1062.3 s]
/proc/loadavg: 8.24 8.08 7.87 11/185 7067
/proc/meminfo: memFree=28244448/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=762236 CPUtime=4243.7 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 750760 0 0 0 424093 277 0 0 25 0 4 0 602879338 780529664 127692 33554432000 4194304 4627427 140735698741600 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 190559 127692 390 106 0 185530 0
[pid=7018/tid=7019] ppid=7016 vsize=762236 CPUtime=1062.31 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 181226 0 0 0 106167 64 0 0 25 0 4 0 602879339 780529664 127692 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=762236 CPUtime=1056.72 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 175028 0 0 0 105607 65 0 0 25 0 4 0 602879339 780529664 127692 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=762236 CPUtime=1062.32 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 191278 0 0 0 106160 72 0 0 25 0 4 0 602879339 780529664 127692 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.7
Current children cumulated vsize (KiB) 762236

[startup+1122.3 s]
/proc/loadavg: 8.15 8.09 7.89 9/184 7068
/proc/meminfo: memFree=28302624/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=827772 CPUtime=4483.38 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 762771 0 0 0 448053 285 0 0 25 0 4 0 602879338 847638528 128610 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 206943 128610 390 106 0 201914 0
[pid=7018/tid=7019] ppid=7016 vsize=827772 CPUtime=1122.31 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 181226 0 0 0 112167 64 0 0 25 0 4 0 602879339 847638528 128610 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=827772 CPUtime=1116.4 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 183143 0 0 0 111569 71 0 0 25 0 4 0 602879339 847638528 128610 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=827772 CPUtime=1122.32 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 191278 0 0 0 112160 72 0 0 25 0 4 0 602879339 847638528 128610 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.38
Current children cumulated vsize (KiB) 827772

[startup+1182.3 s]
/proc/loadavg: 8.06 8.07 7.89 9/184 7070
/proc/meminfo: memFree=28319336/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=801848 CPUtime=4723.06 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 782030 0 0 0 472009 297 0 0 25 0 4 0 602879338 821092352 124115 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 200462 124115 390 106 0 195433 0
[pid=7018/tid=7019] ppid=7016 vsize=801848 CPUtime=1182.31 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 182628 0 0 0 118166 65 0 0 25 0 4 0 602879339 821092352 124115 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=801848 CPUtime=1176.07 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 189798 0 0 0 117534 73 0 0 25 0 4 0 602879339 821092352 124115 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=801848 CPUtime=1182.32 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 196173 0 0 0 118157 75 0 0 25 0 4 0 602879339 821092352 124115 33554432000 4194304 4627427 140735698741600 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4723.06
Current children cumulated vsize (KiB) 801848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.04 8.07 7.89 9/184 7070
/proc/meminfo: memFree=28299364/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=697716 CPUtime=4800.17 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 788379 0 0 0 479716 301 0 0 25 0 4 0 602879338 714461184 125769 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 174429 125769 390 106 0 169400 0
[pid=7018/tid=7019] ppid=7016 vsize=697716 CPUtime=1201.62 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 185722 0 0 0 120094 68 0 0 25 0 4 0 602879339 714461184 125770 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=697716 CPUtime=1195.26 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 189798 0 0 0 119453 73 0 0 25 0 4 0 602879339 714461184 125770 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=697716 CPUtime=1201.63 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 199429 0 0 0 120086 77 0 0 25 0 4 0 602879339 714461184 125770 33554432000 4194304 4627427 140735698741600 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 697716

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

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

[startup+1201.6 s]
/proc/loadavg: 8.04 8.07 7.89 9/184 7070
/proc/meminfo: memFree=28299364/32951124 swapFree=67111348/67111528
[pid=7018] ppid=7016 vsize=697716 CPUtime=4800.17 cores=1,3,5,7
/proc/7018/stat : 7018 (strangenight2-m) R 7016 7018 6156 0 -1 4202496 788379 0 0 0 479716 301 0 0 25 0 4 0 602879338 714461184 125769 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7018/statm: 174429 125769 390 106 0 169400 0
[pid=7018/tid=7019] ppid=7016 vsize=697716 CPUtime=1201.62 cores=1,3,5,7
/proc/7018/task/7019/stat : 7019 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 185722 0 0 0 120094 68 0 0 25 0 4 0 602879339 714461184 125770 33554432000 4194304 4627427 140735698741600 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7018/tid=7020] ppid=7016 vsize=697716 CPUtime=1195.26 cores=1,3,5,7
/proc/7018/task/7020/stat : 7020 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 189798 0 0 0 119453 73 0 0 25 0 4 0 602879339 714461184 125770 33554432000 4194304 4627427 140735698741600 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7018/tid=7021] ppid=7016 vsize=697716 CPUtime=1201.63 cores=1,3,5,7
/proc/7018/task/7021/stat : 7021 (strangenight2-m) R 7016 7018 6156 0 -1 4202560 199429 0 0 0 120086 77 0 0 25 0 4 0 602879339 714461184 125770 33554432000 4194304 4627427 140735698741600 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 697716

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.23
CPU user time (s): 4797.19
CPU system time (s): 3.03854
CPU usage (%): 399.476
Max. virtual memory (cumulated for all children) (KiB): 898056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.19
system time used= 3.03854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 788380
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= 335
involuntary context switches= 30067

runsolver used 1.60376 second user time and 4.75728 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-30 03:21:29
IDJOB=3263783
IDBENCH=84021
IDSOLVER=1586
FILE ID=node111/3263783-1304126489
RUNJOBID= node111-1304126488-7009
PBS_JOBID= 13170724
Free space on /tmp= 70896 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3263783-1304126489/watcher-3263783-1304126489 -o /tmp/evaluation-result-3263783-1304126489/solver-3263783-1304126489 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3263783-1304126489.cnf

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

MD5SUM BENCH= 1d86c7f9cd05c5f2ab070520d802c8e1
RANDOM SEED=200726379

node111.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.849
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.849
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	: 5428.12
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.849
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.849
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.86
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.849
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.849
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.83
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.849
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.67
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.849
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:      29244620 kB
Buffers:       1017804 kB
Cached:        2173964 kB
SwapCached:          0 kB
Active:         148664 kB
Inactive:      3106456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29244620 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:       63540 kB
Mapped:          14484 kB
Slab:           385912 kB
PageTables:       4344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184504 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= 70888 MiB
End job on node111 at 2011-04-30 03:41:32