Trace number 3174040

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.38 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf
MD5SUM957c55bb21add5f7b2abfbda860d1a95
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05599
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
Number of clauses of size 40
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-3174040-1304078521.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.01	c -- vars added        800
0.00/0.10	c Parsing time:  0.00 s
0.00/0.10	c  N st     0         0       800      3408         0         0     10224         0   no data   no data
0.00/0.10	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.00
0.00/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     27  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     339 undec:     102 neg:     359
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       773      3362         0         0     10224         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.40/0.19	c  N st     8      4919       773      3362         0      4879     10224    165187   no data   no data
1.97/0.51	c  N st    10     11302       773      3362         0      4510     10224    104433   no data   no data
3.17/0.82	c  N st    11     17049       773      3362         0     10196     10224    301143   no data   no data
4.79/1.29	c  F st    12     25002       773      3362         0     12504     10224    359149   no data   no data
4.79/1.29	c  N st    12     25002       773      3362         0     12504     10224    359149   no data   no data
5.97/1.56	c Decided on static restart strategy
5.97/1.56	c  N st    18     30001       773      3362         0     10742     10224    275683   no data   no data
5.97/1.56	c  S st    18     30001       773      3362         0     10742     10224    275683   no data   no data
5.97/1.59	c  S st    18     30505       773      3362         0     11245     10224    290049   no data   no data
5.97/1.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.97/1.59	c blocked clauses removed:        7 vars:      1 tried:         773 T: 0.00 s
5.97/1.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
5.97/1.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
6.37/1.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.66	c lits-rem:        90  cl-subs:      281  v-elim:      0  v-fix:    0  time:  0.05 s
6.37/1.67	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.01
6.37/1.67	c calculated reachability. Time: 0.00
6.37/1.67	c  N st    18     30505       772      3355         0     10964     10203    279008   no data   no data
8.36/2.11	c  N st    20     37616       772      3355         0     10194     10203    226681   no data   no data
9.96/2.54	c  N st    21     44015       772      3355         0     16498     10203    437388   no data   no data
10.36/2.67	c  S st    22     45757       772      3355         0      9395     10203    178012   no data   no data
10.76/2.70	c  S st    22     46260       772      3355         0      9896     10203    194007   no data   no data
10.76/2.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.76/2.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.76/2.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.76/2.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.76/2.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
10.76/2.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.76/2.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.76/2.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.76/2.72	c lits-rem:        10  cl-subs:       62  v-elim:      0  v-fix:    0  time:  0.01 s
10.76/2.72	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
10.76/2.73	c vivif2 --  cl tried     9834 cl shrink        0 lits rem          0 time: 0.00
10.76/2.73	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.01
10.76/2.73	c calculated reachability. Time: 0.00
10.76/2.73	c  N st    22     46260       772      3355         0      9834     10203    191623   no data   no data
14.75/3.79	c  N st    23     60658       772      3355         0     14202     10203    330257   no data   no data
17.97/4.53	c  N st    24     69390       772      3355         0     11963     10203    236996   no data   no data
17.97/4.53	c  S st    24     69390       772      3355         0     11963     10203    236996   no data   no data
17.97/4.56	c  S st    24     69894       772      3355         0     12465     10203    252634   no data   no data
17.97/4.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.97/4.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.97/4.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.97/4.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.97/4.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.97/4.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
17.97/4.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.97/4.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.97/4.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.35/4.61	c lits-rem:        18  cl-subs:      109  v-elim:      0  v-fix:    0  time:  0.02 s
18.35/4.61	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
18.35/4.61	c vivif2 --  cl tried    12356 cl shrink        0 lits rem          0 time: 0.00
18.35/4.62	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.01
18.35/4.62	c calculated reachability. Time: 0.00
18.35/4.62	c  N st    24     69894       772      3355         0     12356     10203    248263   no data   no data
23.95/6.03	c  F st    25     87500       772      3355         0     17853     10203    416541   no data   no data
23.95/6.03	c  N st    25     87500       772      3355         0     17853     10203    416541   no data   no data
25.54/6.46	c  N dy    34     93103       772      3355         0     23403     10203    605852     26.80     28.37
28.34/7.10	c  N dy    54    101010       772      3355         0     18402     10203    353706     21.59     22.80
29.54/7.41	c  S st    71    104842       772      3355         0     22214     10203    474192     21.67     19.77
29.54/7.46	c  S st    71    105347       772      3355         0     22718     10203    489232     21.67   no data
29.54/7.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.54/7.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
29.54/7.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.54/7.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.54/7.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.54/7.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
29.54/7.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.54/7.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
29.54/7.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.93/7.58	c lits-rem:        78  cl-subs:      169  v-elim:      0  v-fix:    0  time:  0.08 s
29.93/7.58	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
29.93/7.58	c vivif2 --  cl tried    22549 cl shrink        0 lits rem          0 time: 0.01
30.33/7.60	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.01
30.33/7.60	c calculated reachability. Time: 0.00
30.33/7.60	c  N dy    71    105347       772      3355         0     22549     10203    482559     21.67   no data
32.73/8.23	c  N dy    87    112767       772      3355         0     16025     10203    232949     21.25     22.46
35.14/8.86	c  N dy   128    120650       772      3355         0     23877     10203    486408     21.41     22.56
38.33/9.66	c  N dy   166    128359       772      3355         0     16631     10203    218571     21.51     22.92
41.12/10.36	c  N dy   204    136902       772      3355         0     25118     10203    484007     21.53     22.74
44.71/11.25	c  N dy   253    145742       772      3355         0     18014     10203    232066     21.59     22.80
47.91/12.09	c  N dy   291    155477       772      3355         0     27676     10203    538744     21.56     22.73
49.10/12.36	c  S st   303    158020       772      3355         0     30189     10203    615928     21.56     20.52
49.50/12.43	c  S st   303    158522       772      3355         0     30690     10203    632059     21.56   no data
49.50/12.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.50/12.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.50/12.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.50/12.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.50/12.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.50/12.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
49.50/12.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.50/12.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.50/12.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.30/12.64	c lits-rem:       151  cl-subs:      285  v-elim:      0  v-fix:    0  time:  0.16 s
50.30/12.64	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
50.30/12.64	c vivif2 --  cl tried    30405 cl shrink        0 lits rem          0 time: 0.01
50.30/12.66	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.02
50.30/12.67	c calculated reachability. Time: 0.00
50.30/12.67	c  N dy   303    158522       772      3355         0     30405     10203    620902     21.56   no data
55.50/13.96	c  N dy   334    171913       772      3355         0     26805     10203    464516     21.40     22.81
61.09/15.32	c  N dy   386    184764       772      3355         0     21701     10203    292011     21.39     22.67
65.49/16.50	c  N dy   447    196559       772      3355         0     33432     10203    664341     21.45     23.03
71.07/17.88	c  N dy   512    209164       772      3355         0     27102     10203    430182     21.51     22.88
80.26/20.11	c  N dy   552    229224       772      3355         0     27102     10203    403500     21.32     22.73
84.26/21.11	c  S st   607    237783       772      3355         0     35615     10203    676153     21.38     21.36
84.66/21.20	c  S st   607    238287       772      3355         0     36119     10203    692240     21.38   no data
84.66/21.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.66/21.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.66/21.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.66/21.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.66/21.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.66/21.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
84.66/21.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.66/21.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.66/21.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.46/21.47	c lits-rem:       126  cl-subs:      437  v-elim:      0  v-fix:    0  time:  0.23 s
85.46/21.47	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
85.46/21.48	c vivif2 --  cl tried    35682 cl shrink        0 lits rem          0 time: 0.01
85.86/21.51	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.02
85.86/21.51	c calculated reachability. Time: 0.00
85.86/21.51	c  N dy   607    238287       772      3355         0     35682     10203    677474     21.38   no data
93.04/23.30	c  N dy   678    253989       772      3355         0     30445     10203    490397     21.40     22.85
101.05/25.30	c  N dy   749    270233       772      3355         0     24737     10203    278581     21.39     22.66
109.03/27.37	c  N dy   829    287547       772      3355         0     41929     10203    823065     21.43     25.48
117.81/29.59	c  F st   897    306252       772      3355         0     37675     10203    661555     21.35     19.27
117.81/29.59	c  N st   897    306252       772      3355         0     37675     10203    661555     21.35     19.27
121.01/30.32	c Decided on static restart strategy
132.60/33.27	c  N st   907    334566       772      3355         0     41849     10203   1031004     21.35   no data
145.41/36.41	c  N st   909    357432       772      3355         0     39720     10203   1014431     21.35   no data
145.41/36.41	c  S st   909    357432       772      3355         0     39720     10203   1014431     21.35   no data
145.78/36.50	c  S st   909    357935       772      3355         0     40223     10203   1029823     21.35   no data
145.78/36.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.78/36.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
145.78/36.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.78/36.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.78/36.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.78/36.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
145.78/36.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
145.78/36.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
145.78/36.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.57/37.26	c lits-rem:       271  cl-subs:      943  v-elim:      0  v-fix:    0  time:  0.69 s
148.57/37.26	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
148.57/37.27	c vivif2 --  cl tried    39280 cl shrink        0 lits rem          0 time: 0.01
148.97/37.30	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.03
148.97/37.30	c calculated reachability. Time: 0.00
148.97/37.30	c  N st   909    357935       772      3355         0     39280     10203    988629     21.35   no data
169.34/42.42	c  N st   910    390328       772      3355         0     45566     10203   1251484     21.35   no data
201.31/50.41	c  N st   911    438916       772      3355         0     39173     10203    895127     21.35   no data
248.83/62.33	c  N st   912    511799       772      3355         0     52763     10203   1312601     21.35   no data
267.21/66.91	c  N st   913    536902       772      3355         0     46971     10203   1039305     21.35   no data
267.21/66.91	c  S st   913    536902       772      3355         0     46971     10203   1039305     21.35   no data
267.61/67.03	c  S st   913    537405       772      3355         0     47473     10203   1054840     21.35   no data
267.61/67.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
267.61/67.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
267.61/67.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
267.61/67.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
267.61/67.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
267.61/67.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
267.61/67.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
267.61/67.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
267.61/67.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
273.60/68.58	c lits-rem:       394  cl-subs:     1604  v-elim:      0  v-fix:    0  time:  1.48 s
273.60/68.58	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
273.60/68.59	c vivif2 --  cl tried    45869 cl shrink        0 lits rem          0 time: 0.01
274.00/68.63	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.04
274.00/68.63	c calculated reachability. Time: 0.00
274.00/68.63	c  N st   913    537405       772      3355         0     45869     10203    993187     21.35   no data
401.83/100.63	c  N st   914    701389       772      3355         0     39936     10203    661495     21.35   no data
491.32/123.01	c  N st   915    806108       772      3355         0     69116     10203   1667468     21.35   no data
491.32/123.01	c  S st   915    806108       772      3355         0     69116     10203   1667468     21.35   no data
491.72/123.20	c  S st   915    806611       772      3355         0     69618     10203   1682836     21.35   no data
492.13/123.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
492.13/123.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
492.13/123.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
492.13/123.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
492.13/123.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
492.13/123.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
492.13/123.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
492.13/123.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
492.54/123.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
515.68/129.11	c lits-rem:       591  cl-subs:     2995  v-elim:      0  v-fix:    0  time:  5.80 s
515.68/129.11	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
515.68/129.14	c vivif2 --  cl tried    66623 cl shrink        0 lits rem          0 time: 0.02
516.08/129.20	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.07
516.08/129.20	c calculated reachability. Time: 0.00
516.08/129.20	c  N st   915    806611       772      3355         0     66623     10203   1572063     21.35   no data
743.37/186.18	c  F st   916   1071875       772      3355         0     82628     10203   2028585     21.35   no data
743.37/186.18	c  N st   916   1071875       772      3355         0     82628     10203   2028585     21.35   no data
749.77/187.76	c Decided on static restart strategy
768.55/192.43	c  N st   926   1100180       772      3355         0     66353     10203   1338053     21.35   no data
802.50/200.90	c  N st   928   1136173       772      3355         0     56590     10203   1003291     21.35   no data
835.28/209.12	c  N st   929   1168565       772      3355         0     88460     10203   2146848     21.35   no data
874.00/218.81	c  N st   930   1209916       772      3355         0     83134     10203   1889350     21.35   no data
874.00/218.81	c  S st   930   1209916       772      3355         0     83134     10203   1889350     21.35   no data
874.82/219.06	c  S st   930   1210417       772      3355         0     83634     10203   1905838     21.35   no data
874.82/219.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
875.20/219.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
875.20/219.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
875.20/219.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
875.20/219.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
875.20/219.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
875.20/219.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
875.20/219.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
875.60/219.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
897.57/224.71	c lits-rem:       628  cl-subs:     2470  v-elim:      0  v-fix:    0  time:  5.51 s
897.57/224.71	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
897.57/224.73	c vivif2 --  cl tried    81164 cl shrink        0 lits rem          0 time: 0.02
897.97/224.82	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.09
897.97/224.82	c calculated reachability. Time: 0.00
897.97/224.82	c  N st   930   1210417       772      3355         0     81164     10203   1807663     21.35   no data
974.66/244.09	c  N st   931   1283300       772      3355         0     57191     10203    920681     21.35   no data
1089.73/272.90	c  N st   932   1392625       772      3355         0     65420     10203   1156972     21.35   no data
1255.09/314.29	c  N st   933   1556609       772      3355         0     70222     10203   1260936     21.35   no data
1430.85/358.26	c  N st   934   1710417       772      3355         0     56461     10203    674036     21.35   no data
1430.85/358.26	c  S st   934   1710417       772      3355         0     56461     10203    674036     21.35   no data
1431.66/358.40	c  S st   934   1710919       772      3355         0     56963     10203    689215     21.35   no data
1431.66/358.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1431.66/358.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1431.66/358.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1431.66/358.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1431.66/358.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1431.66/358.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
1431.66/358.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1431.66/358.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1431.66/358.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1432.05/358.59	c lits-rem:        55  cl-subs:       44  v-elim:      0  v-fix:    0  time:  0.11 s
1432.05/358.59	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
1432.05/358.60	c vivif2 --  cl tried    56919 cl shrink        0 lits rem          0 time: 0.01
1432.46/358.65	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.05
1432.46/358.65	c calculated reachability. Time: 0.00
1432.46/358.65	c  N st   934   1710919       772      3355         0     56919     10203    688278     21.35   no data
1883.44/471.54	c  N st   935   2079885       772      3355         0     62605     10203    733447     21.35   no data
2053.21/514.09	c  N st   936   2210921       772      3355         0     64698     10203    754360     21.35   no data
2053.21/514.09	c  S st   936   2210921       772      3355         0     64698     10203    754360     21.35   no data
2054.01/514.26	c  S st   936   2211424       772      3355         0     65201     10203    769645     21.35   no data
2054.01/514.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2054.01/514.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2054.01/514.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2054.01/514.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2054.01/514.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2054.01/514.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
2054.01/514.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2054.41/514.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2054.41/514.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2054.80/514.47	c lits-rem:        52  cl-subs:       79  v-elim:      0  v-fix:    0  time:  0.13 s
2054.80/514.47	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
2054.80/514.48	c vivif2 --  cl tried    65122 cl shrink        0 lits rem          0 time: 0.01
2055.20/514.54	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.06
2055.20/514.54	c calculated reachability. Time: 0.00
2055.20/514.54	c  N st   936   2211424       772      3355         0     65122     10203    767262     21.35   no data
2764.28/692.01	c  N st   937   2711424       772      3355         0     82043     10203   1192710     21.35   no data
2764.28/692.01	c  S st   937   2711424       772      3355         0     82043     10203   1192710     21.35   no data
2765.06/692.25	c  S st   937   2711926       772      3355         0     82545     10203   1208978     21.35   no data
2765.06/692.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2765.06/692.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2765.46/692.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2765.46/692.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2765.46/692.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2765.46/692.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
2765.46/692.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2765.46/692.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2765.46/692.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2768.68/693.12	c lits-rem:       145  cl-subs:     1049  v-elim:      0  v-fix:    0  time:  0.76 s
2768.68/693.12	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
2768.68/693.14	c vivif2 --  cl tried    81496 cl shrink        0 lits rem          0 time: 0.02
2769.05/693.22	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.08
2769.05/693.22	c calculated reachability. Time: 0.00
2769.05/693.22	c  N st   937   2711926       772      3355         0     81496     10203   1173504     21.35   no data
3523.65/882.20	c  N st   938   3211926       772      3355         0    127191     10203   2830566     21.35   no data
3523.65/882.20	c  S st   938   3211926       772      3355         0    127191     10203   2830566     21.35   no data
3525.24/882.56	c  S st   938   3212430       772      3355         0    127695     10203   2845191     21.35   no data
3525.24/882.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3525.64/882.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
3525.64/882.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3525.64/882.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3525.64/882.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3525.64/882.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
3525.64/882.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3525.64/882.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3526.04/882.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3599.54/901.16	c lits-rem:       606  cl-subs:     5764  v-elim:      0  v-fix:    0  time: 18.39 s
3599.54/901.16	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
3599.94/901.20	c vivif2 --  cl tried   121931 cl shrink        0 lits rem          0 time: 0.04
3600.34/901.34	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.14
3600.34/901.34	c calculated reachability. Time: 0.00
3600.34/901.34	c  N st   938   3212430       772      3355         0    121931     10203   2627836     21.35   no data
4441.20/1111.87	c  N st   939   3712430       772      3355         0    133026     10203   2834134     21.35   no data
4441.20/1111.87	c  S st   939   3712430       772      3355         0    133026     10203   2834134     21.35   no data
4442.82/1112.27	c  S st   939   3712934       772      3355         0    133528     10203   2850201     21.35   no data
4442.82/1112.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4443.20/1112.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4443.20/1112.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4443.20/1112.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4443.20/1112.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4443.20/1112.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
4443.20/1112.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4443.60/1112.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4443.60/1112.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4503.52/1127.40	c lits-rem:      1283  cl-subs:     4655  v-elim:      0  v-fix:    0  time: 14.91 s
4503.52/1127.40	c vivif2 --  cl tried     3355 cl shrink        0 lits rem          0 time: 0.00
4503.52/1127.44	c vivif2 --  cl tried   128873 cl shrink        0 lits rem          0 time: 0.04
4503.93/1127.59	c asymm  cl-useful: 0/3355/3355 lits-rem:0 time: 0.15
4503.93/1127.59	c calculated reachability. Time: 0.00
4503.93/1127.59	c  N st   939   3712934       772      3355         0    128873     10203   2673223     21.35   no data
4579.41/1146.42	c  F st   940   3751563       772      3355         0    166985     10203   4105676     21.35   no data
4579.41/1146.42	c  N st   940   3751563       772      3355         0    166985     10203   4105676     21.35   no data
4587.42/1148.49	c Decided on static restart strategy
4620.16/1156.68	c  N st   950   3779866       772      3355         0    111315     10203   1892807     21.35   no data
4685.67/1173.07	c  N st   952   3815858       772      3355         0    146710     10203   3070657     21.35   no data
4755.17/1190.42	c  N st   953   3848250       772      3355         0     93929     10203   1234116     21.35   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3174040-1304078521/watcher-3174040-1304078521 -o /tmp/evaluation-result-3174040-1304078521/solver-3174040-1304078521 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174040-1304078521.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.10 8.07 7.91 5/180 1518
/proc/meminfo: memFree=24464068/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 598082553 52441088 347 33554432000 4194304 4627427 140737176321120 18446744073709551615 252458122225 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 12803 347 299 106 0 7774 0
[pid=1518/tid=1519] ppid=1516 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 598082553 52441088 352 33554432000 4194304 4627427 140737176321120 18446744073709551615 47515011094450 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 598082553 52441088 352 33554432000 4194304 4627427 140737176321120 18446744073709551615 252453112918 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 598082553 52441088 352 33554432000 4194304 4627427 140737176321120 18446744073709551615 47515011094454 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.107958 s]
/proc/loadavg: 8.10 8.07 7.91 5/180 1518
/proc/meminfo: memFree=24464068/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=282640 CPUtime=0.4 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 2125 0 0 0 40 0 0 0 18 0 4 0 598082553 289423360 1927 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308615 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 70660 1927 384 106 0 65631 0
[pid=1518/tid=1519] ppid=1516 vsize=282640 CPUtime=0.1 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 467 0 0 0 10 0 0 0 18 0 4 0 598082553 289423360 1927 33554432000 4194304 4627427 140737176321120 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=282640 CPUtime=0.1 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 449 0 0 0 10 0 0 0 18 0 4 0 598082553 289423360 1927 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=282640 CPUtime=0.1 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 322 0 0 0 10 0 0 0 25 0 4 0 598082553 289423360 1927 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282640

[startup+0.200856 s]
/proc/loadavg: 8.10 8.07 7.91 5/180 1518
/proc/meminfo: memFree=24464068/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=292572 CPUtime=0.77 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 2919 0 0 0 77 0 0 0 18 0 4 0 598082553 299593728 2130 33554432000 4194304 4627427 140737176321120 18446744073709551615 4503199 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 73143 2136 385 106 0 68114 0
[pid=1518/tid=1519] ppid=1516 vsize=292572 CPUtime=0.19 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 669 0 0 0 19 0 0 0 18 0 4 0 598082553 299593728 2138 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308632 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=292572 CPUtime=0.19 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 647 0 0 0 19 0 0 0 18 0 4 0 598082553 299593728 2138 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=292572 CPUtime=0.19 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 522 0 0 0 19 0 0 0 25 0 4 0 598082553 299593728 2138 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308715 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) 292572

[startup+0.300837 s]
/proc/loadavg: 8.10 8.07 7.91 5/180 1518
/proc/meminfo: memFree=24464068/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=284368 CPUtime=1.17 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 3313 0 0 0 117 0 0 0 18 0 4 0 598082553 291192832 2324 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 71092 2324 385 106 0 66063 0
[pid=1518/tid=1519] ppid=1516 vsize=284368 CPUtime=0.29 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 770 0 0 0 29 0 0 0 18 0 4 0 598082553 291192832 2324 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=284368 CPUtime=0.29 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 734 0 0 0 29 0 0 0 18 0 4 0 598082553 291192832 2324 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=284368 CPUtime=0.29 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 623 0 0 0 29 0 0 0 25 0 4 0 598082553 291192832 2324 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308715 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) 284368

[startup+0.700763 s]
/proc/loadavg: 8.10 8.07 7.91 5/180 1518
/proc/meminfo: memFree=24464068/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=285492 CPUtime=2.77 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 5190 0 0 0 277 0 0 0 18 0 4 0 598082553 292343808 3014 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309119 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 71373 3014 385 106 0 66344 0
[pid=1518/tid=1519] ppid=1516 vsize=285492 CPUtime=0.69 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 1253 0 0 0 69 0 0 0 18 0 4 0 598082553 292343808 3014 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=285492 CPUtime=0.69 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 1208 0 0 0 69 0 0 0 18 0 4 0 598082553 292343808 3014 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=285492 CPUtime=0.69 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 1079 0 0 0 69 0 0 0 25 0 4 0 598082553 292343808 3014 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308392 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) 285492

[startup+1.50061 s]
/proc/loadavg: 8.18 8.09 7.91 9/184 1522
/proc/meminfo: memFree=24457340/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=287136 CPUtime=5.97 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 9016 0 0 0 596 1 0 0 20 0 4 0 598082553 294027264 3546 33554432000 4194304 4627427 140737176321120 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 71784 3546 386 106 0 66755 0
[pid=1518/tid=1519] ppid=1516 vsize=287136 CPUtime=1.49 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 2227 0 0 0 149 0 0 0 19 0 4 0 598082553 294027264 3546 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=287136 CPUtime=1.49 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 2157 0 0 0 149 0 0 0 19 0 4 0 598082553 294027264 3546 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=287136 CPUtime=1.48 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 2028 0 0 0 148 0 0 0 25 0 4 0 598082553 294027264 3546 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287136

[startup+3.10032 s]
/proc/loadavg: 8.18 8.09 7.91 9/184 1522
/proc/meminfo: memFree=24442336/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=293188 CPUtime=12.36 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 21943 0 0 0 1233 3 0 0 25 0 4 0 598082553 300224512 11663 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 73297 11663 389 106 0 68268 0
[pid=1518/tid=1519] ppid=1516 vsize=293188 CPUtime=3.08 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 4839 0 0 0 308 0 0 0 25 0 4 0 598082553 300224512 11663 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=293188 CPUtime=3.08 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 5932 0 0 0 308 0 0 0 25 0 4 0 598082553 300224512 11663 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=293188 CPUtime=3.07 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 5301 0 0 0 307 0 0 0 25 0 4 0 598082553 300224512 11663 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 293188

[startup+6.30073 s]
/proc/loadavg: 8.16 8.09 7.91 9/184 1522
/proc/meminfo: memFree=24406928/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=304040 CPUtime=25.15 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 33392 0 0 0 2509 6 0 0 25 0 4 0 598082553 311336960 15054 33554432000 4194304 4627427 140737176321120 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 76010 15054 389 106 0 70981 0
[pid=1518/tid=1519] ppid=1516 vsize=304040 CPUtime=6.29 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 9088 0 0 0 628 1 0 0 25 0 4 0 598082553 311336960 15054 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=304040 CPUtime=6.28 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 8268 0 0 0 627 1 0 0 25 0 4 0 598082553 311336960 15055 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=304040 CPUtime=6.25 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 7479 0 0 0 625 0 0 0 25 0 4 0 598082553 311336960 15055 33554432000 4194304 4627427 140737176321120 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 304040

[startup+12.7005 s]
/proc/loadavg: 8.23 8.10 7.92 9/184 1522
/proc/meminfo: memFree=24369236/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=321708 CPUtime=50.7 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 53893 0 0 0 5060 10 0 0 25 0 4 0 598082553 329428992 25490 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 80427 25490 389 106 0 75398 0
[pid=1518/tid=1519] ppid=1516 vsize=321708 CPUtime=12.69 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 13003 0 0 0 1267 2 0 0 25 0 4 0 598082553 329428992 25490 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=321708 CPUtime=12.69 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 13987 0 0 0 1266 3 0 0 25 0 4 0 598082553 329428992 25490 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=321708 CPUtime=12.62 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 13575 0 0 0 1260 2 0 0 25 0 4 0 598082553 329428992 25490 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 321708

[startup+25.5012 s]
/proc/loadavg: 8.19 8.10 7.92 9/184 1523
/proc/meminfo: memFree=24314800/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=299968 CPUtime=101.84 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 73716 0 0 0 10170 14 0 0 25 0 4 0 598082553 307167232 29264 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 74992 29264 389 106 0 69963 0
[pid=1518/tid=1519] ppid=1516 vsize=299968 CPUtime=25.49 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 14198 0 0 0 2547 2 0 0 25 0 4 0 598082553 307167232 29264 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=299968 CPUtime=25.49 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 22522 0 0 0 2545 4 0 0 25 0 4 0 598082553 307167232 29264 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=299968 CPUtime=25.35 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 19607 0 0 0 2532 3 0 0 25 0 4 0 598082553 307167232 29264 33554432000 4194304 4627427 140737176321120 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 299968

[startup+51.1004 s]
/proc/loadavg: 8.12 8.09 7.92 9/184 1524
/proc/meminfo: memFree=24257048/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=300136 CPUtime=204.1 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 110615 0 0 0 20387 23 0 0 25 0 4 0 598082553 307339264 42943 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 75034 42943 389 106 0 70005 0
[pid=1518/tid=1519] ppid=1516 vsize=300136 CPUtime=51.09 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 17500 0 0 0 5106 3 0 0 25 0 4 0 598082553 307339264 42943 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=300136 CPUtime=51.08 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 33555 0 0 0 5102 6 0 0 25 0 4 0 598082553 307339264 42943 33554432000 4194304 4627427 140737176321120 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=300136 CPUtime=50.82 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 30130 0 0 0 5075 7 0 0 25 0 4 0 598082553 307339264 42943 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 300136

[startup+102.301 s]
/proc/loadavg: 8.09 8.09 7.93 9/184 1525
/proc/meminfo: memFree=24185084/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=377020 CPUtime=408.63 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 153231 0 0 0 40826 37 0 0 25 0 4 0 598082553 386068480 59874 33554432000 4194304 4627427 140737176321120 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 94255 59874 389 106 0 89226 0
[pid=1518/tid=1519] ppid=1516 vsize=377020 CPUtime=102.29 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 21330 0 0 0 10225 4 0 0 25 0 4 0 598082553 386068480 59874 33554432000 4194304 4627427 140737176321120 18446744073709551615 4308755 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=377020 CPUtime=102.29 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 43919 0 0 0 10220 9 0 0 25 0 4 0 598082553 386068480 59874 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=377020 CPUtime=101.74 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 42216 0 0 0 10164 10 0 0 25 0 4 0 598082553 386068480 59874 33554432000 4194304 4627427 140737176321120 18446744073709551615 4427140 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 377020

[startup+162.301 s]

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

[pid=1518] ppid=1516 vsize=545584 CPUtime=2565.72 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 372053 0 0 0 256438 134 0 0 25 0 4 0 598082553 558678016 92264 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 136396 92264 389 106 0 131367 0
[pid=1518/tid=1519] ppid=1516 vsize=545584 CPUtime=642.31 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 36410 0 0 0 64220 11 0 0 25 0 4 0 598082553 558678016 92264 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=545584 CPUtime=642.3 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 97756 0 0 0 64197 33 0 0 25 0 4 0 598082553 558678016 92264 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=545584 CPUtime=638.86 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 82520 0 0 0 63856 30 0 0 25 0 4 0 598082553 558678016 92264 33554432000 4194304 4627427 140737176321120 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 545584

[startup+702.3 s]
/proc/loadavg: 8.08 8.09 8.00 9/184 1572
/proc/meminfo: memFree=24225920/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=546104 CPUtime=2805.41 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 391439 0 0 0 280396 145 0 0 25 0 4 0 598082553 559210496 96392 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 136526 96392 389 106 0 131497 0
[pid=1518/tid=1519] ppid=1516 vsize=546104 CPUtime=702.31 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 36900 0 0 0 70220 11 0 0 25 0 4 0 598082553 559210496 96392 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=546104 CPUtime=702.3 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 102981 0 0 0 70195 35 0 0 25 0 4 0 598082553 559210496 96392 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=546104 CPUtime=698.53 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 86501 0 0 0 69821 32 0 0 25 0 4 0 598082553 559210496 96392 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 546104

[startup+762.301 s]
/proc/loadavg: 8.14 8.10 8.01 9/184 1573
/proc/meminfo: memFree=24132408/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=546200 CPUtime=3045.1 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 411715 0 0 0 304357 153 0 0 25 0 4 0 598082553 559308800 101077 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 136550 101077 389 106 0 131521 0
[pid=1518/tid=1519] ppid=1516 vsize=546200 CPUtime=762.32 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 37709 0 0 0 76220 12 0 0 25 0 4 0 598082553 559308800 101077 33554432000 4194304 4627427 140737176321120 18446744073709551615 4327559 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=546200 CPUtime=762.31 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 107574 0 0 0 76193 38 0 0 25 0 4 0 598082553 559308800 101077 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=546200 CPUtime=758.22 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 92849 0 0 0 75787 35 0 0 25 0 4 0 598082553 559308800 101077 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 546200

[startup+822.301 s]
/proc/loadavg: 8.16 8.11 8.01 9/184 1575
/proc/meminfo: memFree=24099036/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=549448 CPUtime=3284.76 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 430579 0 0 0 328315 161 0 0 25 0 4 0 598082553 562634752 103708 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 137362 103708 389 106 0 132333 0
[pid=1518/tid=1519] ppid=1516 vsize=549448 CPUtime=822.31 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 39309 0 0 0 82219 12 0 0 25 0 4 0 598082553 562634752 103708 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=549448 CPUtime=822.31 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 112867 0 0 0 82191 40 0 0 25 0 4 0 598082553 562634752 103708 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=549448 CPUtime=817.89 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 96212 0 0 0 81753 36 0 0 25 0 4 0 598082553 562634752 103708 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 549448

[startup+882.307 s]
/proc/loadavg: 8.15 8.12 8.02 9/184 1577
/proc/meminfo: memFree=24098520/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=596848 CPUtime=3524.46 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 447817 0 0 0 352276 170 0 0 25 0 4 0 598082553 611172352 98520 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 149212 98520 389 106 0 144183 0
[pid=1518/tid=1519] ppid=1516 vsize=596848 CPUtime=882.32 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 40084 0 0 0 88219 13 0 0 25 0 4 0 598082553 611172352 98520 33554432000 4194304 4627427 140737176321120 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=596848 CPUtime=882.32 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 115908 0 0 0 88190 42 0 0 25 0 4 0 598082553 611172352 98520 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=596848 CPUtime=877.58 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 100959 0 0 0 87719 39 0 0 25 0 4 0 598082553 611172352 98520 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 596848

[startup+942.301 s]
/proc/loadavg: 8.19 8.14 8.03 9/184 1578
/proc/meminfo: memFree=24019876/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=728120 CPUtime=3764.12 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 472604 0 0 0 376231 181 0 0 25 0 4 0 598082553 745594880 115881 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 182030 115881 389 106 0 177001 0
[pid=1518/tid=1519] ppid=1516 vsize=728120 CPUtime=942.32 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 43547 0 0 0 94218 14 0 0 25 0 4 0 598082553 745594880 115881 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=728120 CPUtime=942.31 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 121227 0 0 0 94185 46 0 0 25 0 4 0 598082553 745594880 115881 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=728120 CPUtime=937.25 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 104535 0 0 0 93684 41 0 0 25 0 4 0 598082553 745594880 115881 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 728120

[startup+1002.3 s]
/proc/loadavg: 8.16 8.14 8.03 9/184 1580
/proc/meminfo: memFree=24005092/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=647208 CPUtime=4003.79 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 492530 0 0 0 400187 192 0 0 25 0 4 0 598082553 662740992 113410 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 161802 113410 389 106 0 156773 0
[pid=1518/tid=1519] ppid=1516 vsize=647208 CPUtime=1002.32 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 47908 0 0 0 100216 16 0 0 25 0 4 0 598082553 662740992 113410 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=647208 CPUtime=1002.32 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 124254 0 0 0 100184 48 0 0 25 0 4 0 598082553 662740992 113410 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=647208 CPUtime=996.91 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 108782 0 0 0 99648 43 0 0 25 0 4 0 598082553 662740992 113410 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 647208

[startup+1062.3 s]
/proc/loadavg: 8.14 8.14 8.04 9/184 1581
/proc/meminfo: memFree=23925592/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=755996 CPUtime=4243.46 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 514722 0 0 0 424144 202 0 0 25 0 4 0 598082553 774139904 124620 33554432000 4194304 4627427 140737176321120 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 188999 124620 389 106 0 183970 0
[pid=1518/tid=1519] ppid=1516 vsize=755996 CPUtime=1062.32 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 53258 0 0 0 106213 19 0 0 25 0 4 0 598082553 774139904 124620 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=755996 CPUtime=1062.31 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 129154 0 0 0 106181 50 0 0 25 0 4 0 598082553 774139904 124620 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=755996 CPUtime=1056.59 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 112709 0 0 0 105615 44 0 0 25 0 4 0 598082553 774139904 124620 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 755996

[startup+1122.3 s]
/proc/loadavg: 8.12 8.14 8.04 9/184 1583
/proc/meminfo: memFree=23924824/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=707784 CPUtime=4483.14 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 533401 0 0 0 448103 211 0 0 25 0 4 0 598082553 724770816 123618 33554432000 4194304 4627427 140737176321120 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 176946 123618 389 106 0 171917 0
[pid=1518/tid=1519] ppid=1516 vsize=707784 CPUtime=1122.33 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 54943 0 0 0 112213 20 0 0 25 0 4 0 598082553 724770816 123618 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=707784 CPUtime=1122.32 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 131980 0 0 0 112180 52 0 0 25 0 4 0 598082553 724770816 123618 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=707784 CPUtime=1116.27 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 116723 0 0 0 111581 46 0 0 25 0 4 0 598082553 724770816 123618 33554432000 4194304 4627427 140737176321120 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 707784

[startup+1182.3 s]
/proc/loadavg: 8.16 8.14 8.05 9/184 1585
/proc/meminfo: memFree=23842708/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=764088 CPUtime=4722.82 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 548896 0 0 0 472064 218 0 0 25 0 4 0 598082553 782426112 130597 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 191022 130597 389 106 0 185993 0
[pid=1518/tid=1519] ppid=1516 vsize=764088 CPUtime=1182.32 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 55769 0 0 0 118212 20 0 0 25 0 4 0 598082553 782426112 130597 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=764088 CPUtime=1182.32 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 137005 0 0 0 118178 54 0 0 25 0 4 0 598082553 782426112 130597 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=764088 CPUtime=1175.95 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 120592 0 0 0 117547 48 0 0 25 0 4 0 598082553 782426112 130597 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 764088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.13 8.05 9/184 1585
/proc/meminfo: memFree=23859692/32951124 swapFree=67111348/67111528
[pid=1518] ppid=1516 vsize=708660 CPUtime=4800.32 cores=0,2,4,6
/proc/1518/stat : 1518 (strangenight2-m) R 1516 1518 1375 0 -1 4202496 555469 0 0 0 479811 221 0 0 25 0 4 0 598082553 725667840 125550 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1518/statm: 177165 125550 389 106 0 172136 0
[pid=1518/tid=1519] ppid=1516 vsize=708660 CPUtime=1201.74 cores=0,2,4,6
/proc/1518/task/1519/stat : 1519 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 56195 0 0 0 120153 21 0 0 25 0 4 0 598082553 725667840 125550 33554432000 4194304 4627427 140737176321120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1518/tid=1520] ppid=1516 vsize=708660 CPUtime=1201.73 cores=0,2,4,6
/proc/1518/task/1520/stat : 1520 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 137940 0 0 0 120118 55 0 0 25 0 4 0 598082553 725667840 125550 33554432000 4194304 4627427 140737176321120 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1518/tid=1521] ppid=1516 vsize=708660 CPUtime=1195.24 cores=0,2,4,6
/proc/1518/task/1521/stat : 1521 (strangenight2-m) R 1516 1518 1375 0 -1 4202560 122806 0 0 0 119476 48 0 0 25 0 4 0 598082553 725667840 125550 33554432000 4194304 4627427 140737176321120 18446744073709551615 4330330 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 708660

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.38
CPU user time (s): 4798.14
CPU system time (s): 2.24166
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 823512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.14
system time used= 2.24166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555470
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= 239
involuntary context switches= 23844

runsolver used 1.9437 second user time and 4.55531 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 14:02:01
IDJOB=3174040
IDBENCH=82858
IDSOLVER=1586
FILE ID=node111/3174040-1304078521
RUNJOBID= node111-1304077317-1393
PBS_JOBID= 13170507
Free space on /tmp= 70892 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174040-1304078521/watcher-3174040-1304078521 -o /tmp/evaluation-result-3174040-1304078521/solver-3174040-1304078521 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174040-1304078521.cnf

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

MD5SUM BENCH= 957c55bb21add5f7b2abfbda860d1a95
RANDOM SEED=1212173870

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:      24464364 kB
Buffers:       1277284 kB
Cached:        6319960 kB
SwapCached:        124 kB
Active:        3507320 kB
Inactive:      4490652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24464364 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5860 kB
Writeback:           0 kB
AnonPages:      400980 kB
Mapped:          15496 kB
Slab:           424760 kB
PageTables:       5508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   623928 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-29 14:22:05