Trace number 3366406

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf
MD5SUM4731d8739f39a82190bbff45268a7d21
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.043992
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-3366406-1305403450.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
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:    100 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:         0  cl-subs:        0  v-elim:      0  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:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:      49 undec:       1 neg:      50
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       100      2130         0         0     10650         0   no data   no data
0.00/0.05	c Decided on static restart strategy
0.37/0.11	c  N st     8      4919       100      2130         0      4596     10650    101911   no data   no data
0.77/0.29	c  N st    10     11301       100      2130         0      4226     10650     74228   no data   no data
1.97/0.50	c  N st    11     17045       100      2130         0      9541     10650    186727   no data   no data
2.77/0.80	c  F st    12     25000       100      2130         0     11684     10650    228199   no data   no data
2.77/0.80	c  N st    12     25000       100      2130         0     11684     10650    228199   no data   no data
3.57/1.00	c Decided on static restart strategy
3.57/1.00	c  N st    18     30002       100      2130         0     10018     10650    184730   no data   no data
3.57/1.00	c  S st    18     30002       100      2130         0     10018     10650    184730   no data   no data
3.98/1.02	c  S st    18     30506       100      2130         0     10501     10650    195606   no data   no data
3.98/1.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.98/1.03	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.98/1.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.98/1.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.98/1.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.98/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.22	c lits-rem:       216  cl-subs:     1945  v-elim:      0  v-fix:    0  time:  0.18 s
4.77/1.25	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.77/1.25	c calculated reachability. Time: 0.00
4.77/1.25	c  N st    18     30506       100      2130         0      8556     10650    154239   no data   no data
5.97/1.59	c  N st    20     37617       100      2130         0      7881     10650    126484   no data   no data
7.16/1.87	c  N st    21     44016       100      2130         0     13810     10650    252734   no data   no data
7.56/1.96	c  S st    22     45759       100      2130         0     15424     10650    289468   no data   no data
7.97/2.00	c  S st    22     46265       100      2130         0     15912     10650    300902   no data   no data
7.97/2.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.97/2.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.97/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.97/2.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.97/2.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.39	c lits-rem:       561  cl-subs:     2132  v-elim:      0  v-fix:    0  time:  0.38 s
9.16/2.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.56/2.40	c vivif2 --  cl tried    13780 cl shrink        0 lits rem          0 time: 0.00
9.56/2.45	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.56/2.45	c calculated reachability. Time: 0.00
9.56/2.45	c  N st    22     46265       100      2130         0     13780     10650    255166   no data   no data
12.76/3.21	c  N st    23     60664       100      2130         0      9745     10650    145662   no data   no data
14.34/3.61	c  N st    24     69397       100      2130         0     17830     10650    325504   no data   no data
14.34/3.61	c  S st    24     69397       100      2130         0     17830     10650    325504   no data   no data
14.34/3.66	c  S st    24     69900       100      2130         0     18312     10650    336251   no data   no data
14.34/3.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.34/3.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.34/3.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.34/3.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.34/3.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.34/3.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.34/3.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.34/3.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.34/3.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.13	c lits-rem:       352  cl-subs:     2116  v-elim:      0  v-fix:    0  time:  0.45 s
16.34/4.13	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.34/4.13	c vivif2 --  cl tried    16196 cl shrink        0 lits rem          0 time: 0.00
16.34/4.19	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.34/4.19	c calculated reachability. Time: 0.00
16.34/4.19	c  N st    24     69900       100      2130         0     16196     10650    289925   no data   no data
20.33/5.19	c  F st    25     87501       100      2130         0     11342     10650    163803   no data   no data
20.33/5.19	c  N st    25     87501       100      2130         0     11342     10650    163803   no data   no data
21.54/5.48	c Decided on static restart strategy
22.32/5.66	c  N st    32     95536       100      2130         0     18773     10650    322527   no data   no data
24.73/6.23	c  N st    34    104850       100      2130         0     15396     10650    247633   no data   no data
24.73/6.23	c  S st    34    104850       100      2130         0     15396     10650    247633   no data   no data
24.73/6.27	c  S st    34    105351       100      2130         0     15879     10650    258300   no data   no data
24.73/6.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.73/6.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
24.73/6.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.73/6.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.73/6.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.73/6.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
24.73/6.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.73/6.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.73/6.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.53/6.43	c lits-rem:       151  cl-subs:     1257  v-elim:      0  v-fix:    0  time:  0.15 s
25.53/6.43	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.53/6.43	c vivif2 --  cl tried    14622 cl shrink        0 lits rem          0 time: 0.00
25.53/6.49	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.53/6.49	c calculated reachability. Time: 0.00
25.53/6.49	c  N st    34    105351       100      2130         0     14622     10650    231734   no data   no data
28.31/7.11	c  N st    35    114951       100      2130         0     23518     10650    423302   no data   no data
32.30/8.11	c  N st    36    129349       100      2130         0     24020     10650    427911   no data   no data
38.69/9.71	c  N st    37    150945       100      2130         0     15228     10650    203254   no data   no data
40.28/10.17	c  S st    38    158027       100      2130         0     21788     10650    341051   no data   no data
40.68/10.23	c  S st    38    158535       100      2130         0     22277     10650    351932   no data   no data
40.68/10.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.68/10.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
40.68/10.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.68/10.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.68/10.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.68/10.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.68/10.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.68/10.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.68/10.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.28/10.61	c lits-rem:       203  cl-subs:     1996  v-elim:      0  v-fix:    0  time:  0.36 s
42.28/10.61	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
42.28/10.61	c vivif2 --  cl tried    20281 cl shrink        0 lits rem          0 time: 0.00
42.28/10.69	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
42.28/10.69	c calculated reachability. Time: 0.00
42.28/10.69	c  N st    38    158535       100      2130         0     20281     10650    313169   no data   no data
57.45/14.40	c  N st    39    207124       100      2130         0     32860     10650    565453   no data   no data
67.43/16.98	c  N st    40    237804       100      2130         0     25175     10650    380005   no data   no data
67.43/16.98	c  S st    40    237804       100      2130         0     25175     10650    380005   no data   no data
67.83/17.05	c  S st    40    238310       100      2130         0     25655     10650    390318   no data   no data
67.83/17.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.83/17.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
67.83/17.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.83/17.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.83/17.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.83/17.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
67.83/17.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.83/17.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
67.83/17.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.83/17.54	c lits-rem:       434  cl-subs:     2171  v-elim:      0  v-fix:    0  time:  0.47 s
69.83/17.54	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
69.83/17.55	c vivif2 --  cl tried    23484 cl shrink        0 lits rem          0 time: 0.00
70.25/17.63	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.09
70.25/17.63	c calculated reachability. Time: 0.00
70.25/17.63	c  N st    40    238310       100      2130         0     23484     10650    346714   no data   no data
94.97/23.82	c  F st    41    306250       100      2130         0     25092     10650    334183   no data   no data
94.97/23.82	c  N st    41    306250       100      2130         0     25092     10650    334183   no data   no data
96.61/24.27	c Decided on static restart strategy
106.54/26.72	c  N st    51    334558       100      2130         0     29347     10650    425941   no data   no data
117.32/29.43	c  N st    53    357466       100      2130         0     27462     10650    369444   no data   no data
117.32/29.43	c  S st    53    357466       100      2130         0     27462     10650    369444   no data   no data
117.72/29.50	c  S st    53    357970       100      2130         0     27943     10650    380192   no data   no data
117.72/29.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
117.72/29.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
117.72/29.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
117.72/29.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
117.72/29.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
117.72/29.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
117.72/29.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.72/29.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
117.72/29.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
118.91/29.82	c lits-rem:       162  cl-subs:     1563  v-elim:      0  v-fix:    0  time:  0.29 s
118.91/29.82	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
118.91/29.82	c vivif2 --  cl tried    26380 cl shrink        0 lits rem          0 time: 0.01
119.31/29.92	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
119.31/29.92	c calculated reachability. Time: 0.00
119.31/29.92	c  N st    53    357970       100      2130         0     26380     10650    350832   no data   no data
133.28/33.41	c  N st    54    390363       100      2130         0     32353     10650    463943   no data   no data
154.83/38.82	c  N st    55    438951       100      2130         0     26617     10650    323880   no data   no data
186.36/46.71	c  N st    56    511834       100      2130         0     39383     10650    581382   no data   no data
197.93/49.63	c  N st    57    536956       100      2130         0     33964     10650    448990   no data   no data
197.93/49.63	c  S st    57    536956       100      2130         0     33964     10650    448990   no data   no data
198.33/49.72	c  S st    57    537461       100      2130         0     34447     10650    459478   no data   no data
198.33/49.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
198.33/49.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
198.33/49.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.33/49.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
198.33/49.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.33/49.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
198.33/49.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
198.33/49.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
198.33/49.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
200.33/50.20	c lits-rem:       367  cl-subs:     1756  v-elim:      0  v-fix:    0  time:  0.46 s
200.33/50.21	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
200.33/50.21	c vivif2 --  cl tried    32691 cl shrink        0 lits rem          0 time: 0.01
200.73/50.34	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.13
200.73/50.34	c calculated reachability. Time: 0.00
200.73/50.34	c  N st    57    537461       100      2130         0     32691     10650    423197   no data   no data
281.35/70.56	c  N st    58    701446       100      2130         0     60095     10650    971586   no data   no data
341.22/85.50	c  N st    59    806191       100      2130         0     54177     10650    802325   no data   no data
341.22/85.50	c  S st    59    806191       100      2130         0     54177     10650    802325   no data   no data
341.62/85.66	c  S st    59    806693       100      2130         0     54656     10650    813275   no data   no data
341.62/85.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
341.62/85.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
341.62/85.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
341.62/85.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
341.62/85.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
341.62/85.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
341.62/85.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
341.62/85.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
342.03/85.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
354.78/88.95	c lits-rem:      1460  cl-subs:     6722  v-elim:      0  v-fix:    0  time:  3.24 s
354.78/88.95	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
354.78/88.96	c vivif2 --  cl tried    47934 cl shrink        0 lits rem          0 time: 0.01
355.62/89.19	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
355.62/89.19	c calculated reachability. Time: 0.00
355.62/89.19	c  N st    59    806693       100      2130         0     47934     10650    688340   no data   no data
514.82/129.05	c  F st    60   1071877       100      2130         0     63253     10650    940288   no data   no data
514.82/129.05	c  N st    60   1071877       100      2130         0     63253     10650    940288   no data   no data
519.21/130.15	c Decided on static restart strategy
537.17/134.62	c  N st    70   1100184       100      2130         0     48151     10650    608049   no data   no data
565.51/141.80	c  N st    72   1136179       100      2130         0     81260     10650   1314199   no data   no data
587.87/147.35	c  N st    73   1168574       100      2130         0     68697     10650   1025730   no data   no data
616.59/154.56	c  N st    74   1210039       100      2130         0     63792     10650    912267   no data   no data
616.59/154.56	c  S st    74   1210039       100      2130         0     63792     10650    912267   no data   no data
617.79/154.80	c  S st    74   1210544       100      2130         0     64280     10650    923154   no data   no data
617.79/154.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
617.79/154.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
617.79/154.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
617.79/154.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
617.79/154.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
617.79/154.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
617.79/154.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
617.79/154.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
617.79/154.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
640.14/160.40	c lits-rem:       622  cl-subs:     6282  v-elim:      0  v-fix:    0  time:  5.51 s
640.14/160.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
640.14/160.41	c vivif2 --  cl tried    57998 cl shrink        0 lits rem          0 time: 0.01
641.33/160.78	c asymm  cl-useful: 0/1881/2130 lits-rem:0 time: 0.36
641.33/160.78	c calculated reachability. Time: 0.00
641.33/160.78	c  N st    74   1210544       100      2130         0     57998     10650    803097   no data   no data
699.20/175.22	c  N st    75   1283426       100      2130         0     81053     10650   1259421   no data   no data
796.57/199.60	c  N st    76   1392750       100      2130         0     90561     10650   1440582   no data   no data
927.47/232.46	c  N st    77   1556736       100      2130         0     97406     10650   1552288   no data   no data
1050.40/263.24	c  N st    78   1710546       100      2130         0     87498     10650   1320795   no data   no data
1050.40/263.24	c  S st    78   1710546       100      2130         0     87498     10650   1320795   no data   no data
1051.60/263.53	c  S st    78   1711050       100      2130         0     87984     10650   1331834   no data   no data
1051.60/263.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1051.60/263.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1051.60/263.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1051.60/263.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1051.60/263.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1051.60/263.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1051.60/263.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1051.60/263.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1052.00/263.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1147.36/287.50	c lits-rem:      2768  cl-subs:    11752  v-elim:      0  v-fix:    0  time: 23.87 s
1147.36/287.50	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1147.36/287.52	c vivif2 --  cl tried    76232 cl shrink        0 lits rem          0 time: 0.02
1149.36/288.08	c asymm  cl-useful: 0/1492/2130 lits-rem:0 time: 0.56
1149.36/288.08	c calculated reachability. Time: 0.00
1149.36/288.08	c  N st    78   1711050       100      2130         0     76232     10650   1104998   no data   no data
1499.77/375.85	c  N st    79   2080015       100      2130         0     87758     10650   1258389   no data   no data
1627.48/407.88	c  N st    80   2211050       100      2130         0     91557     10650   1339275   no data   no data
1627.48/407.88	c  S st    80   2211050       100      2130         0     91557     10650   1339275   no data   no data
1628.71/408.18	c  S st    80   2211551       100      2130         0     92034     10650   1350067   no data   no data
1628.71/408.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1629.07/408.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1629.07/408.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1629.07/408.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1629.07/408.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1629.07/408.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1629.07/408.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1629.07/408.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1629.07/408.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1717.65/430.46	c lits-rem:      1623  cl-subs:    10577  v-elim:      0  v-fix:    0  time: 22.17 s
1717.65/430.46	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1717.65/430.48	c vivif2 --  cl tried    81457 cl shrink        0 lits rem          0 time: 0.02
1718.85/430.78	c asymm  cl-useful: 0/638/2130 lits-rem:0 time: 0.30
1718.85/430.78	c calculated reachability. Time: 0.00
1718.85/430.78	c  N st    80   2211551       100      2130         0     81457     10650   1139156   no data   no data
2229.30/558.62	c  N st    81   2711555       100      2130         0    104314     10650   1511201   no data   no data
2229.30/558.62	c  S st    81   2711555       100      2130         0    104314     10650   1511201   no data   no data
2231.29/559.11	c  S st    81   2712056       100      2130         0    104799     10650   1522518   no data   no data
2231.29/559.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2231.29/559.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
2231.29/559.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2231.29/559.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2231.29/559.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2231.29/559.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2231.29/559.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2231.69/559.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2231.69/559.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2338.23/585.98	c lits-rem:      1872  cl-subs:    13693  v-elim:      0  v-fix:    0  time: 26.72 s
2338.23/585.98	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2338.63/586.00	c vivif2 --  cl tried    91106 cl shrink        0 lits rem          0 time: 0.02
2340.63/586.57	c asymm  cl-useful: 0/1236/2130 lits-rem:0 time: 0.57
2340.63/586.57	c calculated reachability. Time: 0.00
2340.63/586.57	c  N st    81   2712056       100      2130         0     91106     10650   1279047   no data   no data
2902.14/727.26	c  N st    82   3212056       100      2130         0    140615     10650   2244300   no data   no data
2902.14/727.26	c  S st    82   3212056       100      2130         0    140615     10650   2244300   no data   no data
2904.53/727.82	c  S st    82   3212562       100      2130         0    141093     10650   2255243   no data   no data
2904.53/727.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2904.93/727.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
2904.93/727.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2904.93/727.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2904.93/727.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2904.93/727.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2904.93/727.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2904.93/727.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2905.34/728.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3079.71/771.79	c lits-rem:      2922  cl-subs:    23451  v-elim:      0  v-fix:    0  time: 43.78 s
3079.71/771.79	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3080.11/771.82	c vivif2 --  cl tried   117642 cl shrink        0 lits rem          0 time: 0.03
3081.32/772.19	c asymm  cl-useful: 0/878/2130 lits-rem:0 time: 0.37
3081.32/772.19	c calculated reachability. Time: 0.00
3081.32/772.19	c  N st    82   3212562       100      2130         0    117642     10650   1806697   no data   no data
3673.98/920.61	c  N st    83   3712562       100      2130         0    134884     10650   2036798   no data   no data
3673.98/920.61	c  S st    83   3712562       100      2130         0    134884     10650   2036798   no data   no data
3675.56/921.02	c  S st    83   3713063       100      2130         0    135366     10650   2048246   no data   no data
3675.56/921.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3675.56/921.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
3675.56/921.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3675.56/921.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3675.56/921.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3675.56/921.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3675.56/921.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3675.97/921.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3675.97/921.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3799.66/952.15	c lits-rem:      2564  cl-subs:    20148  v-elim:      0  v-fix:    0  time: 30.97 s
3799.66/952.15	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3799.66/952.17	c vivif2 --  cl tried   115218 cl shrink        0 lits rem          0 time: 0.02
3801.27/952.54	c asymm  cl-useful: 0/965/2130 lits-rem:0 time: 0.37
3801.27/952.55	c calculated reachability. Time: 0.00
3801.27/952.55	c  N st    83   3713063       100      2130         0    115218     10650   1680327   no data   no data
3857.53/966.68	c  F st    84   3751562       100      2130         0    150358     10650   2459936   no data   no data
3857.53/966.69	c  N st    84   3751562       100      2130         0    150358     10650   2459936   no data   no data
3865.91/968.70	c Decided on static restart strategy
3889.85/974.78	c  N st    94   3779870       100      2130         0    100914     10650   1350519   no data   no data
3936.55/986.44	c  N st    96   3815866       100      2130         0    134019     10650   2082880   no data   no data
3984.04/998.39	c  N st    97   3848259       100      2130         0     86325     10650   1013952   no data   no data
4049.10/1014.67	c  N st    98   3896847       100      2130         0    130923     10650   2006806   no data   no data
4131.31/1035.21	c  N st    99   3969729       100      2130         0    119638     10650   1760945   no data   no data
4288.14/1074.56	c  N st   100   4079052       100      2130         0    140153     10650   2197522   no data   no data
4535.55/1136.51	c  N st   101   4213063       100      2130         0    100355     10650   1260050   no data   no data
4535.55/1136.51	c  S st   101   4213063       100      2130         0    100355     10650   1260050   no data   no data
4536.75/1136.84	c  S st   101   4213568       100      2130         0    100847     10650   1271559   no data   no data
4536.75/1136.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4536.75/1136.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4536.75/1136.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4536.75/1136.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4536.75/1136.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4536.75/1136.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4536.75/1136.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4537.15/1136.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4537.15/1136.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4553.91/1141.20	c lits-rem:       573  cl-subs:     5433  v-elim:      0  v-fix:    0  time:  4.24 s
4553.91/1141.20	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4554.30/1141.21	c vivif2 --  cl tried    95414 cl shrink        0 lits rem          0 time: 0.02
4555.50/1141.56	c asymm  cl-useful: 0/1078/2130 lits-rem:0 time: 0.34
4555.50/1141.56	c calculated reachability. Time: 0.00
4555.50/1141.56	c  N st   101   4213568       100      2130         0     95414     10650   1166900   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366406-1305403450/watcher-3366406-1305403450 -o /tmp/evaluation-result-3366406-1305403450/solver-3366406-1305403450 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366406-1305403450.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: 3.49 5.30 6.82 7/298 2181
/proc/meminfo: memFree=13123072/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 411 0 0 0 0 0 0 0 23 0 4 0 651944701 52396032 352 33554432000 4194304 4580107 140734207371488 18446744073709551615 208080232379 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 12792 352 302 95 0 7774 0
[pid=2181/tid=2182] ppid=2179 vsize=216292 CPUtime=0 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 73 0 0 0 0 0 0 0 25 0 4 0 651944701 221483008 693 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=216292 CPUtime=0 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 83 0 0 0 0 0 0 0 25 0 4 0 651944701 221483008 693 33554432000 4194304 4580107 140734207371488 18446744073709551615 208079893189 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=216292 CPUtime=0 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 102 0 0 0 0 0 0 0 25 0 4 0 651944701 221483008 693 33554432000 4194304 4580107 140734207371488 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0842391 s]
/proc/loadavg: 3.49 5.30 6.82 7/298 2181
/proc/meminfo: memFree=13123072/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=217372 CPUtime=0.31 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 1575 0 0 0 31 0 0 0 18 0 4 0 651944701 222588928 1479 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 54343 1479 376 95 0 49325 0
[pid=2181/tid=2182] ppid=2179 vsize=217372 CPUtime=0.07 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 259 0 0 0 7 0 0 0 25 0 4 0 651944701 222588928 1479 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=217372 CPUtime=0.07 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 320 0 0 0 7 0 0 0 25 0 4 0 651944701 222588928 1479 33554432000 4194304 4580107 140734207371488 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=217372 CPUtime=0.08 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 232 0 0 0 8 0 0 0 25 0 4 0 651944701 222588928 1480 33554432000 4194304 4580107 140734207371488 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 217372

[startup+0.100235 s]
/proc/loadavg: 3.49 5.30 6.82 7/298 2181
/proc/meminfo: memFree=13123072/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=217520 CPUtime=0.37 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 1662 0 0 0 37 0 0 0 18 0 4 0 651944701 222740480 1566 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 54380 1566 376 95 0 49362 0
[pid=2181/tid=2182] ppid=2179 vsize=217520 CPUtime=0.09 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 283 0 0 0 9 0 0 0 25 0 4 0 651944701 222740480 1566 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=217520 CPUtime=0.09 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 343 0 0 0 9 0 0 0 25 0 4 0 651944701 222740480 1566 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=217520 CPUtime=0.09 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 246 0 0 0 9 0 0 0 25 0 4 0 651944701 222740480 1566 33554432000 4194304 4580107 140734207371488 18446744073709551615 4489278 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 217520

[startup+0.300197 s]
/proc/loadavg: 3.49 5.30 6.82 7/298 2181
/proc/meminfo: memFree=13123072/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=219532 CPUtime=1.17 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 3081 0 0 0 117 0 0 0 18 0 4 0 651944701 224800768 1860 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 54883 1860 377 95 0 49865 0
[pid=2181/tid=2182] ppid=2179 vsize=219532 CPUtime=0.29 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 659 0 0 0 29 0 0 0 25 0 4 0 651944701 224800768 1860 33554432000 4194304 4580107 140734207371488 18446744073709551615 4320793 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=219532 CPUtime=0.29 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 630 0 0 0 29 0 0 0 25 0 4 0 651944701 224800768 1860 33554432000 4194304 4580107 140734207371488 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=219532 CPUtime=0.29 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 625 0 0 0 29 0 0 0 25 0 4 0 651944701 224800768 1861 33554432000 4194304 4580107 140734207371488 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 219532

[startup+0.70112 s]
/proc/loadavg: 3.49 5.30 6.82 7/298 2181
/proc/meminfo: memFree=13123072/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=220756 CPUtime=2.77 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 4947 0 0 0 277 0 0 0 18 0 4 0 651944701 226054144 2507 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 55189 2507 377 95 0 50171 0
[pid=2181/tid=2182] ppid=2179 vsize=220756 CPUtime=0.69 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 1083 0 0 0 69 0 0 0 25 0 4 0 651944701 226054144 2507 33554432000 4194304 4580107 140734207371488 18446744073709551615 4322741 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=220756 CPUtime=0.69 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 1190 0 0 0 69 0 0 0 25 0 4 0 651944701 226054144 2507 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=220756 CPUtime=0.69 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 1060 0 0 0 69 0 0 0 25 0 4 0 651944701 226054144 2507 33554432000 4194304 4580107 140734207371488 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220756

[startup+1.50097 s]
/proc/loadavg: 3.49 5.30 6.82 10/302 2186
/proc/meminfo: memFree=13105184/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=226576 CPUtime=5.97 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 10111 0 0 0 596 1 0 0 19 0 4 0 651944701 232013824 5235 33554432000 4194304 4580107 140734207371488 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 56644 5235 379 95 0 51626 0
[pid=2181/tid=2182] ppid=2179 vsize=226576 CPUtime=1.47 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 2838 0 0 0 147 0 0 0 25 0 4 0 651944701 232013824 5235 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=226576 CPUtime=1.49 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 2005 0 0 0 149 0 0 0 25 0 4 0 651944701 232013824 5235 33554432000 4194304 4580107 140734207371488 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=226576 CPUtime=1.49 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 1872 0 0 0 149 0 0 0 25 0 4 0 651944701 232013824 5235 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 226576

[startup+3.10067 s]
/proc/loadavg: 3.49 5.30 6.82 9/302 2186
/proc/meminfo: memFree=13065380/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=225440 CPUtime=12.36 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 18227 0 0 0 1234 2 0 0 25 0 4 0 651944701 230850560 10031 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 56360 10031 379 95 0 51342 0
[pid=2181/tid=2182] ppid=2179 vsize=225440 CPUtime=3.06 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 3987 0 0 0 306 0 0 0 25 0 4 0 651944701 230850560 10031 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=225440 CPUtime=3.09 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 4679 0 0 0 309 0 0 0 25 0 4 0 651944701 230850560 10031 33554432000 4194304 4580107 140734207371488 18446744073709551615 4319892 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=225440 CPUtime=3.08 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 4488 0 0 0 308 0 0 0 25 0 4 0 651944701 230850560 10031 33554432000 4194304 4580107 140734207371488 18446744073709551615 4296082 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 225440

[startup+6.30106 s]
/proc/loadavg: 3.85 5.35 6.83 9/302 2186
/proc/meminfo: memFree=13029776/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=251244 CPUtime=25.13 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 27691 0 0 0 2509 4 0 0 25 0 4 0 651944701 257273856 13342 33554432000 4194304 4580107 140734207371488 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 62811 13342 379 95 0 57793 0
[pid=2181/tid=2182] ppid=2179 vsize=251244 CPUtime=6.23 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 6579 0 0 0 623 0 0 0 25 0 4 0 651944701 257273856 13342 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=251244 CPUtime=6.29 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 7061 0 0 0 629 0 0 0 25 0 4 0 651944701 257273856 13342 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=251244 CPUtime=6.28 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 6524 0 0 0 628 0 0 0 25 0 4 0 651944701 257273856 13342 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 251244

[startup+12.7008 s]
/proc/loadavg: 4.18 5.39 6.84 9/302 2186
/proc/meminfo: memFree=12987036/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=253660 CPUtime=50.67 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 42123 0 0 0 5060 7 0 0 25 0 4 0 651944701 259747840 17815 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 63415 17815 380 95 0 58397 0
[pid=2181/tid=2182] ppid=2179 vsize=253660 CPUtime=12.57 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 9529 0 0 0 1256 1 0 0 25 0 4 0 651944701 259747840 17815 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=253660 CPUtime=12.69 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 11790 0 0 0 1268 1 0 0 25 0 4 0 651944701 259747840 17815 33554432000 4194304 4580107 140734207371488 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=253660 CPUtime=12.68 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 10505 0 0 0 1267 1 0 0 25 0 4 0 651944701 259747840 17815 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 253660

[startup+25.5004 s]
/proc/loadavg: 5.03 5.52 6.85 9/302 2186
/proc/meminfo: memFree=12945624/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=271816 CPUtime=101.75 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 62605 0 0 0 10163 12 0 0 25 0 4 0 651944701 278339584 21585 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 67954 21585 379 95 0 62936 0
[pid=2181/tid=2182] ppid=2179 vsize=271816 CPUtime=25.25 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 14201 0 0 0 2523 2 0 0 25 0 4 0 651944701 278339584 21585 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=271816 CPUtime=25.49 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 16282 0 0 0 2547 2 0 0 25 0 4 0 651944701 278339584 21585 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=271816 CPUtime=25.48 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 16283 0 0 0 2546 2 0 0 25 0 4 0 651944701 278339584 21585 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 271816

[startup+51.1005 s]
/proc/loadavg: 6.11 5.73 6.89 9/302 2187
/proc/meminfo: memFree=12895828/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=304788 CPUtime=203.93 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 96388 0 0 0 20371 22 0 0 25 0 4 0 651944701 312102912 28128 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 76197 28128 379 95 0 71179 0
[pid=2181/tid=2182] ppid=2179 vsize=304788 CPUtime=50.62 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 22112 0 0 0 5058 4 0 0 25 0 4 0 651944701 312102912 28128 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=304788 CPUtime=51.09 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 23984 0 0 0 5104 5 0 0 25 0 4 0 651944701 312102912 28128 33554432000 4194304 4580107 140734207371488 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=304788 CPUtime=51.09 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 24772 0 0 0 5104 5 0 0 25 0 4 0 651944701 312102912 28128 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 304788

[startup+102.311 s]
/proc/loadavg: 7.25 6.10 6.95 9/302 2188
/proc/meminfo: memFree=12834176/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=307960 CPUtime=408.3 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 150943 0 0 0 40791 39 0 0 25 0 4 0 651944701 315351040 36385 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 76990 36385 379 95 0 71972 0
[pid=2181/tid=2182] ppid=2179 vsize=307960 CPUtime=101.36 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 33987 0 0 0 10128 8 0 0 25 0 4 0 651944701 315351040 36385 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=307960 CPUtime=102.3 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 36984 0 0 0 10221 9 0 0 25 0 4 0 651944701 315351040 36385 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=307960 CPUtime=102.29 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 39455 0 0 0 10220 9 0 0 25 0 4 0 651944701 315351040 36385 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.3
Current children cumulated vsize (KiB) 307960

[startup+162.3 s]

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

[pid=2181] ppid=2179 vsize=512948 CPUtime=2563.33 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 378828 0 0 0 256202 131 0 0 25 0 4 0 651944701 525258752 89571 33554432000 4194304 4580107 140734207371488 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 128237 89571 379 95 0 123219 0
[pid=2181/tid=2182] ppid=2179 vsize=512948 CPUtime=636.36 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 81155 0 0 0 63609 27 0 0 25 0 4 0 651944701 525258752 89574 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=512948 CPUtime=642.32 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 88720 0 0 0 64201 31 0 0 25 0 4 0 651944701 525258752 89574 33554432000 4194304 4580107 140734207371488 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=512948 CPUtime=642.31 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 110054 0 0 0 64193 38 0 0 25 0 4 0 651944701 525258752 89574 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2563.33
Current children cumulated vsize (KiB) 512948

[startup+702.3 s]
/proc/loadavg: 8.15 7.86 7.49 9/302 2204
/proc/meminfo: memFree=12372848/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=578352 CPUtime=2802.77 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 396795 0 0 0 280137 140 0 0 25 0 4 0 651944701 592232448 99816 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 144588 99816 379 95 0 139570 0
[pid=2181/tid=2182] ppid=2179 vsize=578352 CPUtime=695.8 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 88818 0 0 0 69550 30 0 0 25 0 4 0 651944701 592232448 99816 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=578352 CPUtime=702.32 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 90403 0 0 0 70199 33 0 0 25 0 4 0 651944701 592232448 99816 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=578352 CPUtime=702.31 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 114489 0 0 0 70190 41 0 0 25 0 4 0 651944701 592232448 99816 33554432000 4194304 4580107 140734207371488 18446744073709551615 4304887 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.77
Current children cumulated vsize (KiB) 578352

[startup+762.312 s]
/proc/loadavg: 8.11 7.89 7.53 9/302 2206
/proc/meminfo: memFree=12389332/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=515296 CPUtime=3042.24 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 417129 0 0 0 304073 151 0 0 25 0 4 0 651944701 527663104 93143 33554432000 4194304 4580107 140734207371488 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 128824 93143 379 95 0 123806 0
[pid=2181/tid=2182] ppid=2179 vsize=515296 CPUtime=755.23 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 94653 0 0 0 75490 33 0 0 25 0 4 0 651944701 527663104 93143 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=515296 CPUtime=762.33 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 95822 0 0 0 76198 35 0 0 25 0 4 0 651944701 527663104 93143 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=515296 CPUtime=762.32 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 121440 0 0 0 76186 46 0 0 25 0 4 0 651944701 527663104 93143 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3042.24
Current children cumulated vsize (KiB) 515296

[startup+822.301 s]
/proc/loadavg: 8.09 7.93 7.56 9/302 2207
/proc/meminfo: memFree=12297052/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=565828 CPUtime=3281.65 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 439532 0 0 0 328002 163 0 0 25 0 4 0 651944701 579407872 101163 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 141457 101163 379 95 0 136439 0
[pid=2181/tid=2182] ppid=2179 vsize=565828 CPUtime=814.67 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 101908 0 0 0 81430 37 0 0 25 0 4 0 651944701 579407872 101163 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=565828 CPUtime=822.32 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 99156 0 0 0 82195 37 0 0 25 0 4 0 651944701 579407872 101163 33554432000 4194304 4580107 140734207371488 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=565828 CPUtime=822.31 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 128084 0 0 0 82181 50 0 0 25 0 4 0 651944701 579407872 101163 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3281.65
Current children cumulated vsize (KiB) 565828

[startup+882.301 s]
/proc/loadavg: 8.07 7.95 7.59 9/302 2209
/proc/meminfo: memFree=12298528/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=502244 CPUtime=3521.11 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 462079 0 0 0 351936 175 0 0 25 0 4 0 651944701 514297856 93197 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 125561 93197 379 95 0 120543 0
[pid=2181/tid=2182] ppid=2179 vsize=502244 CPUtime=874.13 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 106018 0 0 0 87373 40 0 0 25 0 4 0 651944701 514297856 93197 33554432000 4194304 4580107 140734207371488 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=502244 CPUtime=882.32 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 105362 0 0 0 88192 40 0 0 25 0 4 0 651944701 514297856 93197 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=502244 CPUtime=882.31 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 135860 0 0 0 88177 54 0 0 25 0 4 0 651944701 514297856 93197 33554432000 4194304 4580107 140734207371488 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3521.11
Current children cumulated vsize (KiB) 502244

[startup+942.301 s]
/proc/loadavg: 8.11 7.97 7.62 9/302 2211
/proc/meminfo: memFree=12271360/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=612500 CPUtime=3760.55 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 484125 0 0 0 375868 187 0 0 25 0 4 0 651944701 627200000 99860 33554432000 4194304 4580107 140734207371488 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 153125 99860 379 95 0 148107 0
[pid=2181/tid=2182] ppid=2179 vsize=612500 CPUtime=933.56 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 111379 0 0 0 93313 43 0 0 25 0 4 0 651944701 627200000 99860 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=612500 CPUtime=942.32 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 112109 0 0 0 94189 43 0 0 25 0 4 0 651944701 627200000 99860 33554432000 4194304 4580107 140734207371488 18446744073709551615 4320793 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=612500 CPUtime=942.31 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 141900 0 0 0 94173 58 0 0 25 0 4 0 651944701 627200000 99860 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3760.55
Current children cumulated vsize (KiB) 612500

[startup+1002.3 s]
/proc/loadavg: 8.11 7.99 7.64 9/302 2212
/proc/meminfo: memFree=12267508/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=536080 CPUtime=4000 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 506349 0 0 0 399799 201 0 0 25 0 4 0 651944701 548945920 100058 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 134020 100058 379 95 0 129002 0
[pid=2181/tid=2182] ppid=2179 vsize=536080 CPUtime=993 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 117441 0 0 0 99255 45 0 0 25 0 4 0 651944701 548945920 100058 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=536080 CPUtime=1002.33 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 118672 0 0 0 100185 48 0 0 25 0 4 0 651944701 548945920 100058 33554432000 4194304 4580107 140734207371488 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=536080 CPUtime=1002.32 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 147623 0 0 0 100171 61 0 0 25 0 4 0 651944701 548945920 100058 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4000
Current children cumulated vsize (KiB) 536080

[startup+1062.3 s]
/proc/loadavg: 8.11 8.01 7.67 9/302 2214
/proc/meminfo: memFree=12230660/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=573328 CPUtime=4239.46 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 526360 0 0 0 423737 209 0 0 25 0 4 0 651944701 587087872 107340 33554432000 4194304 4580107 140734207371488 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 143332 107340 379 95 0 138314 0
[pid=2181/tid=2182] ppid=2179 vsize=573328 CPUtime=1052.45 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 121663 0 0 0 105198 47 0 0 25 0 4 0 651944701 587087872 107340 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=573328 CPUtime=1062.32 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 124435 0 0 0 106182 50 0 0 25 0 4 0 651944701 587087872 107340 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=573328 CPUtime=1062.31 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 155688 0 0 0 106168 63 0 0 25 0 4 0 651944701 587087872 107340 33554432000 4194304 4580107 140734207371488 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4239.46
Current children cumulated vsize (KiB) 573328

[startup+1122.3 s]
/proc/loadavg: 8.14 8.03 7.69 9/302 2215
/proc/meminfo: memFree=12216140/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=655276 CPUtime=4478.87 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 535116 0 0 0 447675 212 0 0 25 0 4 0 651944701 671002624 112147 33554432000 4194304 4580107 140734207371488 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 163819 112147 379 95 0 158801 0
[pid=2181/tid=2182] ppid=2179 vsize=655276 CPUtime=1111.86 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 126439 0 0 0 111138 48 0 0 25 0 4 0 651944701 671002624 112147 33554432000 4194304 4580107 140734207371488 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=655276 CPUtime=1122.33 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 126412 0 0 0 112182 51 0 0 25 0 4 0 651944701 671002624 112147 33554432000 4194304 4580107 140734207371488 18446744073709551615 4230142 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=655276 CPUtime=1122.32 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 156430 0 0 0 112168 64 0 0 25 0 4 0 651944701 671002624 112147 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4478.87
Current children cumulated vsize (KiB) 655276

[startup+1182.3 s]
/proc/loadavg: 8.05 8.02 7.71 9/302 2217
/proc/meminfo: memFree=12165140/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=589748 CPUtime=4718.33 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 556911 0 0 0 471610 223 0 0 25 0 4 0 651944701 603901952 116408 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 147437 116408 379 95 0 142419 0
[pid=2181/tid=2182] ppid=2179 vsize=589748 CPUtime=1171.31 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 131286 0 0 0 117080 51 0 0 25 0 4 0 651944701 603901952 116408 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=589748 CPUtime=1182.33 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 130935 0 0 0 118179 54 0 0 25 0 4 0 651944701 603901952 116408 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=589748 CPUtime=1182.33 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 162672 0 0 0 118165 68 0 0 25 0 4 0 651944701 603901952 116408 33554432000 4194304 4580107 140734207371488 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4718.33
Current children cumulated vsize (KiB) 589748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.03 8.02 7.72 6/301 2219
/proc/meminfo: memFree=12500312/32950928 swapFree=67083212/67111528
[pid=2181] ppid=2179 vsize=603372 CPUtime=4800.14 cores=1,3,5,7
/proc/2181/stat : 2181 (strangenight2-m) R 2179 2181 1603 0 -1 4202496 562066 0 0 0 479788 226 0 0 25 0 4 0 651944701 617852928 121562 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2181/statm: 150843 121562 379 95 0 145825 0
[pid=2181/tid=2182] ppid=2179 vsize=603372 CPUtime=1191.61 cores=1,3,5,7
/proc/2181/task/2182/stat : 2182 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 132666 0 0 0 119109 52 0 0 25 0 4 0 651944701 617852928 121562 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2181/tid=2183] ppid=2179 vsize=603372 CPUtime=1202.84 cores=1,3,5,7
/proc/2181/task/2183/stat : 2183 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 130935 0 0 0 120230 54 0 0 25 0 4 0 651944701 617852928 121562 33554432000 4194304 4580107 140734207371488 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2181/tid=2184] ppid=2179 vsize=603372 CPUtime=1202.84 cores=1,3,5,7
/proc/2181/task/2184/stat : 2184 (strangenight2-m) R 2179 2181 1603 0 -1 4202560 165184 0 0 0 120215 69 0 0 25 0 4 0 651944701 617852928 121562 33554432000 4194304 4580107 140734207371488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 603372

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): 1202.84
CPU time (s): 4800.21
CPU user time (s): 4797.93
CPU system time (s): 2.28265
CPU usage (%): 399.073
Max. virtual memory (cumulated for all children) (KiB): 655276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.93
system time used= 2.28265
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562066
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= 307
involuntary context switches= 31720

runsolver used 2.98255 second user time and 8.27274 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-14 22:04:10
IDJOB=3366406
IDBENCH=82815
IDSOLVER=1844
FILE ID=node127/3366406-1305403450
RUNJOBID= node127-1305403450-2159
PBS_JOBID= 13324449
Free space on /tmp= 73472 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366406-1305403450/watcher-3366406-1305403450 -o /tmp/evaluation-result-3366406-1305403450/solver-3366406-1305403450 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366406-1305403450.cnf

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

MD5SUM BENCH= 4731d8739f39a82190bbff45268a7d21
RANDOM SEED=1857691071

node127.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.823
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.64
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.823
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	: 5332.83
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.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.60
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.823
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:     32950928 kB
MemFree:      13123352 kB
Buffers:        288456 kB
Cached:        3364484 kB
SwapCached:       1620 kB
Active:       16824232 kB
Inactive:      2666936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13123352 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:           12328 kB
Writeback:           0 kB
AnonPages:    15836812 kB
Mapped:          26120 kB
Slab:           226140 kB
PageTables:      47136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44403968 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= 73468 MiB
End job on node127 at 2011-05-14 22:24:15