Trace number 3175241

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-1-mt? (TO) 4800.14 1201.63

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf
MD5SUMcd0b1f588aad9c4aef9bf4b7912f7c0d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.004999
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175241-1304103167.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
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.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.37	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.37	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.37	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.37	c calculated reachability. Time: 0.00
0.00/0.37	c Calc default polars -  time:   0.00 s pos:     184 undec:      46 neg:     170
0.00/0.37	c =========================================================================================
0.00/0.37	c types(t): F = full restart, N = normal restart
0.00/0.37	c types(t): S = simplification begin/end, E = solution found
0.00/0.37	c restart types(rt): st = static, dy = dynamic
0.00/0.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.37	c  B st     0         0       388      1684         0         0      5119         0   no data   no data  --
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4919       388      1684         0      4797      5119     90065   no data   no data  --
0.00/0.80	c  N st    10     11302       388      1684         0      4438      5119     62589   no data   no data  --
0.00/0.80	c  N st    11     17046       388      1684         0     10032      5119    168468   no data   no data  --
3.79/0.97	c  F st    12     25000       388      1684         0     12263      5119    211315   no data   no data  --
3.79/0.97	c  N st    12     25000       388      1684         0     12263      5119    211315   no data   no data  --
4.76/1.21	c Decided on static restart strategy
4.76/1.21	c  N st    18     30002       388      1684         0     10568      5119    163844   no data   no data  --
4.76/1.21	c  S st    18     30002       388      1684         0     10568      5119    163844   no data   no data  --
4.76/1.24	c  S st    18     30504       388      1684         0     11069      5119    173495   no data   no data  --
4.76/1.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.76/1.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.76/1.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
4.76/1.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.41	c lits-rem:       204  cl-subs:      874  v-elim:      0  v-fix:    0  time:  0.63 s
5.57/1.41	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.03
5.57/1.41	c calculated reachability. Time: 0.00
5.57/1.41	c  N st    18     30504       388      1684         0     10195      5119    157175   no data   no data  --
7.18/1.84	c  N st    20     37618       388      1684         0      9435      5119    126843   no data   no data  --
8.76/2.20	c  N st    21     44018       388      1684         0     15621      5119    241775   no data   no data  --
9.16/2.32	c  S st    22     45756       388      1684         0     17302      5119    273941   no data   no data  --
9.16/2.35	c  S st    22     46257       388      1684         0      9148      5119    111950   no data   no data  --
9.16/2.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.16/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.16/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
9.16/2.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.42	c lits-rem:        43  cl-subs:      252  v-elim:      0  v-fix:    0  time:  0.22 s
9.56/2.42	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
9.56/2.42	c vivif2 --  cl tried     8896 cl shrink        0 lits rem          0 time: 0.01
9.56/2.42	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.02
9.56/2.42	c calculated reachability. Time: 0.00
9.56/2.42	c  N st    22     46257       388      1684         0      8896      5119    108188   no data   no data  --
13.16/3.33	c  N st    23     60655       388      1684         0     13182      5119    179167   no data   no data  --
15.55/3.98	c  N st    24     69385       388      1684         0     11011      5119    131927   no data   no data  --
15.55/3.98	c  S st    24     69385       388      1684         0     11011      5119    131927   no data   no data  --
15.96/4.02	c  S st    24     69886       388      1684         0     11511      5119    142058   no data   no data  --
15.96/4.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.96/4.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.96/4.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
15.96/4.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.38/4.15	c lits-rem:        82  cl-subs:      204  v-elim:      0  v-fix:    0  time:  0.51 s
16.38/4.15	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
16.38/4.15	c vivif2 --  cl tried    11307 cl shrink        0 lits rem          0 time: 0.00
16.38/4.16	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.03
16.38/4.16	c calculated reachability. Time: 0.00
16.38/4.16	c  N st    24     69886       388      1684         0     11307      5119    138315   no data   no data  --
21.54/5.43	c  F st    25     87500       388      1684         0     16779      5119    245978   no data   no data  --
21.54/5.43	c  N st    25     87500       388      1684         0     16779      5119    245978   no data   no data  --
23.14/5.83	c Decided on static restart strategy
23.94/6.09	c  N st    32     95539       388      1684         0     24618      5119    406226   no data   no data  --
26.74/6.77	c  N st    34    104829       388      1684         0     21024      5119    322124   no data   no data  --
26.74/6.77	c  S st    34    104829       388      1684         0     21024      5119    322124   no data   no data  --
27.14/6.83	c  S st    34    105331       388      1684         0     21526      5119    332187   no data   no data  --
27.14/6.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.14/6.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
27.14/6.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
27.14/6.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.33/7.60	c lits-rem:       420  cl-subs:     1048  v-elim:      0  v-fix:    0  time:  3.01 s
30.33/7.60	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
30.33/7.60	c vivif2 --  cl tried    20478 cl shrink        0 lits rem          0 time: 0.01
30.33/7.62	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.06
30.33/7.62	c calculated reachability. Time: 0.00
30.33/7.62	c  N st    34    105331       388      1684         0     20478      5119    309771   no data   no data  --
33.55/8.48	c  N st    35    114929       388      1684         0     16227      5119    200866   no data   no data  --
38.35/9.66	c  N st    36    129327       388      1684         0     15672      5119    176421   no data   no data  --
44.71/11.29	c  N st    37    150922       388      1684         0     21121      5119    279313   no data   no data  --
47.13/11.89	c  S st    38    157996       388      1684         0     27967      5119    411745   no data   no data  --
47.50/11.96	c  S st    38    158498       388      1684         0     28468      5119    422778   no data   no data  --
47.50/11.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.50/11.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.50/11.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
47.50/11.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.50/11.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.50/11.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
47.50/11.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.10/13.33	c lits-rem:       648  cl-subs:     2271  v-elim:      0  v-fix:    0  time:  5.37 s
53.10/13.33	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
53.10/13.33	c vivif2 --  cl tried    26197 cl shrink        0 lits rem          0 time: 0.02
53.10/13.35	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.08
53.10/13.35	c calculated reachability. Time: 0.00
53.10/13.35	c  N st    38    158498       388      1684         0     26197      5119    379377   no data   no data  --
73.10/18.36	c  N st    39    207088       388      1684         0     20901      5119    241739   no data   no data  --
86.68/21.73	c  N st    40    237747       388      1684         0     31252      5119    441708   no data   no data  --
86.68/21.73	c  S st    40    237747       388      1684         0     31252      5119    441708   no data   no data  --
87.06/21.80	c  S st    40    238250       388      1684         0     31754      5119    452334   no data   no data  --
87.06/21.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
87.06/21.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
87.06/21.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
87.06/21.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.06/21.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.06/21.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
87.06/21.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
92.66/23.27	c lits-rem:       735  cl-subs:     1902  v-elim:      0  v-fix:    0  time:  5.75 s
92.66/23.27	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
92.66/23.27	c vivif2 --  cl tried    29852 cl shrink        0 lits rem          0 time: 0.02
92.66/23.29	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.09
93.06/23.30	c calculated reachability. Time: 0.00
93.06/23.30	c  N st    40    238250       388      1684         0     29852      5119    416344   no data   no data  --
121.44/30.44	c  F st    41    306250       388      1684         0     31867      5119    409526   no data   no data  --
121.44/30.44	c  N st    41    306250       388      1684         0     31867      5119    409526   no data   no data  --
123.82/31.02	c Decided on static restart strategy
135.03/33.88	c  N st    51    334556       388      1684         0     36023      5119    485534   no data   no data  --
148.98/37.35	c  N st    53    357376       388      1684         0     33821      5119    427270   no data   no data  --
148.98/37.35	c  S st    53    357376       388      1684         0     33821      5119    427270   no data   no data  --
149.38/37.45	c  S st    53    357883       388      1684         0     34325      5119    437830   no data   no data  --
149.38/37.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
149.38/37.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
149.38/37.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
149.38/37.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.38/37.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.38/37.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
149.38/37.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
154.98/38.88	c lits-rem:      1142  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  5.60 s
154.98/38.88	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
154.98/38.88	c vivif2 --  cl tried    32531 cl shrink        0 lits rem          0 time: 0.02
155.37/38.91	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.10
155.37/38.91	c calculated reachability. Time: 0.00
155.37/38.91	c  N st    53    357883       388      1684         0     32531      5119    405594   no data   no data  --
171.75/43.01	c  N st    54    390276       388      1684         0     38549      5119    478721   no data   no data  --
197.32/49.49	c  N st    55    438864       388      1684         0     32537      5119    360119   no data   no data  --
237.28/59.44	c  N st    56    511746       388      1684         0     45794      5119    570106   no data   no data  --
251.26/62.97	c  N st    57    536824       388      1684         0     40155      5119    476850   no data   no data  --
251.26/62.97	c  S st    57    536824       388      1684         0     40155      5119    476850   no data   no data  --
251.66/63.08	c  S st    57    537329       388      1684         0     40659      5119    487312   no data   no data  --
251.66/63.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
251.66/63.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
251.66/63.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
252.06/63.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.06/63.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.06/63.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
252.06/63.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
258.45/64.70	c lits-rem:       842  cl-subs:     2285  v-elim:      0  v-fix:    0  time:  6.37 s
258.45/64.70	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
258.45/64.71	c vivif2 --  cl tried    38374 cl shrink        0 lits rem          0 time: 0.02
258.45/64.74	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.14
258.45/64.74	c calculated reachability. Time: 0.00
258.45/64.74	c  N st    57    537329       388      1684         0     38374      5119    446865   no data   no data  --
356.32/89.22	c  N st    58    701313       388      1684         0     67179      5119    991330   no data   no data  --
428.24/107.20	c  N st    59    805999       388      1684         0     61329      5119    863211   no data   no data  --
428.24/107.20	c  S st    59    805999       388      1684         0     61329      5119    863211   no data   no data  --
428.64/107.39	c  S st    59    806501       388      1684         0     61830      5119    873660   no data   no data  --
428.64/107.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
428.64/107.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
429.05/107.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
429.05/107.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
429.05/107.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
429.05/107.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
429.05/107.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
442.64/110.86	c lits-rem:      1285  cl-subs:     4800  v-elim:      0  v-fix:    0  time: 13.61 s
442.64/110.86	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
442.64/110.87	c vivif2 --  cl tried    57030 cl shrink        0 lits rem          0 time: 0.04
443.02/110.93	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.24
443.02/110.93	c calculated reachability. Time: 0.00
443.02/110.93	c  N st    59    806501       388      1684         0     57030      5119    779195   no data   no data  --
649.95/162.75	c  F st    60   1071875       388      1684         0     72817      5119   1002166   no data   no data  --
649.95/162.75	c  N st    60   1071875       388      1684         0     72817      5119   1002166   no data   no data  --
656.75/164.41	c Decided on static restart strategy
675.53/169.14	c  N st    70   1100178       388      1684         0     56896      5119    661529   no data   no data  --
706.67/176.97	c  N st    72   1136170       388      1684         0     47181      5119    450007   no data   no data  --
731.85/183.29	c  N st    73   1168563       388      1684         0     78625      5119   1071590   no data   no data  --
770.19/192.89	c  N st    74   1209751       388      1684         0     72726      5119    911383   no data   no data  --
770.19/192.89	c  S st    74   1209751       388      1684         0     72726      5119    911383   no data   no data  --
771.39/193.13	c  S st    74   1210253       388      1684         0     73226      5119    921357   no data   no data  --
771.39/193.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
771.39/193.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
771.39/193.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
771.39/193.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
771.39/193.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
771.39/193.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
771.39/193.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
787.37/197.12	c lits-rem:      1756  cl-subs:     8176  v-elim:      0  v-fix:    0  time: 15.65 s
787.37/197.12	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
787.37/197.13	c vivif2 --  cl tried    65050 cl shrink        0 lits rem          0 time: 0.04
787.77/197.20	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.31
787.77/197.21	c calculated reachability. Time: 0.00
787.77/197.21	c  N st    74   1210253       388      1684         0     65050      5119    790775   no data   no data  --
854.48/213.96	c  N st    75   1283136       388      1684         0     88929      5119   1211687   no data   no data  --
956.77/239.52	c  N st    76   1392460       388      1684         0     49805      5119    451728   no data   no data  --
1094.18/273.94	c  N st    77   1556447       388      1684         0     54905      5119    523312   no data   no data  --
1238.38/310.05	c  N st    78   1710253       388      1684         0     95952      5119   1311476   no data   no data  --
1238.38/310.05	c  S st    78   1710253       388      1684         0     95952      5119   1311476   no data   no data  --
1239.98/310.43	c  S st    78   1710759       388      1684         0     96457      5119   1322336   no data   no data  --
1239.98/310.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1239.98/310.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1239.98/310.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
1240.38/310.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1240.38/310.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1240.38/310.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
1240.38/310.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1285.93/321.98	c lits-rem:       638  cl-subs:    11785  v-elim:      0  v-fix:    0  time: 45.71 s
1285.93/321.98	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
1285.93/322.00	c vivif2 --  cl tried    84672 cl shrink        0 lits rem          0 time: 0.06
1286.71/322.11	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.47
1286.71/322.12	c calculated reachability. Time: 0.00
1286.71/322.12	c  N st    78   1710759       388      1684         0     84672      5119   1119002   no data   no data  --
1678.22/420.11	c  N st    79   2079723       388      1684         0     96542      5119   1259129   no data   no data  --
1821.23/455.95	c  N st    80   2210759       388      1684         0    100853      5119   1344374   no data   no data  --
1821.23/455.95	c  S st    80   2210759       388      1684         0    100853      5119   1344374   no data   no data  --
1822.82/456.34	c  S st    80   2211261       388      1684         0    101353      5119   1354887   no data   no data  --
1822.82/456.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1822.82/456.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1823.22/456.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.23
1823.22/456.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1823.22/456.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1823.22/456.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
1823.22/456.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1856.38/464.77	c lits-rem:       209  cl-subs:     8594  v-elim:      0  v-fix:    0  time: 33.23 s
1856.38/464.77	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
1856.38/464.79	c vivif2 --  cl tried    92759 cl shrink        0 lits rem          0 time: 0.06
1856.78/464.90	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.45
1857.19/464.90	c calculated reachability. Time: 0.00
1857.19/464.90	c  N st    80   2211261       388      1684         0     92759      5119   1205721   no data   no data  --
2441.21/611.18	c  N st    81   2711261       388      1684         0    116067      5119   1569721   no data   no data  --
2441.21/611.18	c  S st    81   2711261       388      1684         0    116067      5119   1569721   no data   no data  --
2443.20/611.64	c  S st    81   2711764       388      1684         0    116566      5119   1580432   no data   no data  --
2443.20/611.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2443.20/611.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2443.60/611.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2443.60/611.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2443.60/611.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2443.60/611.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
2443.60/611.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2494.35/624.46	c lits-rem:       899  cl-subs:    11962  v-elim:      0  v-fix:    0  time: 50.71 s
2494.35/624.46	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
2494.35/624.48	c vivif2 --  cl tried   104604 cl shrink        0 lits rem          0 time: 0.08
2495.13/624.61	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.54
2495.13/624.62	c calculated reachability. Time: 0.00
2495.13/624.62	c  N st    81   2711764       388      1684         0    104604      5119   1373580   no data   no data  --
3119.90/781.05	c  N st    82   3211765       388      1684         0     80784      5119    767108   no data   no data  --
3119.90/781.05	c  S st    82   3211765       388      1684         0     80784      5119    767108   no data   no data  --
3121.10/781.31	c  S st    82   3212266       388      1684         0     81282      5119    777670   no data   no data  --
3121.10/781.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3121.10/781.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3121.10/781.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
3121.10/781.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3121.10/781.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3121.10/781.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
3121.10/781.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3131.51/783.92	c lits-rem:       960  cl-subs:     1486  v-elim:      0  v-fix:    0  time: 10.15 s
3131.51/783.92	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
3131.51/783.93	c vivif2 --  cl tried    79796 cl shrink        0 lits rem          0 time: 0.04
3131.91/784.02	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.36
3131.91/784.02	c calculated reachability. Time: 0.00
3131.91/784.02	c  N st    82   3212266       388      1684         0     79796      5119    753505   no data   no data  --
3765.85/942.75	c  N st    83   3712269       388      1684         0     90561      5119    899725   no data   no data  --
3765.85/942.75	c  S st    83   3712269       388      1684         0     90561      5119    899725   no data   no data  --
3767.06/943.02	c  S st    83   3712770       388      1684         0     91059      5119    910342   no data   no data  --
3767.06/943.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3767.06/943.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3767.06/943.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3767.46/943.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3767.46/943.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3767.46/943.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
3767.46/943.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3780.64/946.48	c lits-rem:       770  cl-subs:     2167  v-elim:      0  v-fix:    0  time: 13.48 s
3780.64/946.48	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
3780.64/946.49	c vivif2 --  cl tried    88892 cl shrink        0 lits rem          0 time: 0.06
3781.44/946.61	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.46
3781.44/946.61	c calculated reachability. Time: 0.00
3781.44/946.61	c  N st    83   3712770       388      1684         0     88892      5119    875881   no data   no data  --
3832.97/959.57	c  F st    84   3751563       388      1684         0    126125      5119   1590740   no data   no data  --
3832.97/959.57	c  N st    84   3751563       388      1684         0    126125      5119   1590740   no data   no data  --
3841.75/961.76	c Decided on static restart strategy
3875.71/970.24	c  N st    94   3779875       388      1684         0    153432      5119   2151083   no data   no data  --
3920.45/981.43	c  N st    96   3815867       388      1684         0    106574      5119   1247007   no data   no data  --
3969.98/993.85	c  N st    97   3848259       388      1684         0    137749      5119   1853921   no data   no data  --
4042.28/1011.92	c  N st    98   3896847       388      1684         0    101643      5119   1106515   no data   no data  --
4126.58/1033.06	c  N st    99   3969729       388      1684         0     88166      5119    822340   no data   no data  --
4261.59/1066.86	c  N st   100   4079054       388      1684         0    109195      5119   1268836   no data   no data  --
4461.33/1116.90	c  N st   101   4212770       388      1684         0    151366      5119   1987803   no data   no data  --
4461.33/1116.90	c  S st   101   4212770       388      1684         0    151366      5119   1987803   no data   no data  --
4464.52/1117.68	c  S st   101   4213274       388      1684         0    151868      5119   1998074   no data   no data  --
4464.52/1117.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4464.52/1117.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4464.92/1117.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.38
4465.32/1117.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4465.32/1117.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4465.32/1117.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
4465.32/1117.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4598.34/1151.10	c lits-rem:       582  cl-subs:    20360  v-elim:      0  v-fix:    0  time: 132.73 s
4598.34/1151.10	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
4598.34/1151.12	c vivif2 --  cl tried   131508 cl shrink        0 lits rem          0 time: 0.09
4599.16/1151.32	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.78
4599.16/1151.33	c calculated reachability. Time: 0.00
4599.16/1151.33	c  N st   101   4213274       388      1684         0    131508      5119   1659769   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: 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-3175241-1304103167/watcher-3175241-1304103167 -o /tmp/evaluation-result-3175241-1304103167/solver-3175241-1304103167 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175241-1304103167.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: 7.37 7.93 7.97 2/176 2812
/proc/meminfo: memFree=30907408/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 412 0 0 0 0 0 0 0 19 0 4 0 502732609 52465664 352 33554432000 4194304 4650419 140736702325008 18446744073709551615 220816292849 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 12809 352 303 112 0 7774 0
[pid=2810/tid=2815] ppid=2807 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 502732610 52465664 352 33554432000 4194304 4650419 140736702325008 18446744073709551615 47067254036396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 502732610 52465664 352 33554432000 4194304 4650419 140736702325008 18446744073709551615 47067254036402 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 502732610 52465664 352 33554432000 4194304 4650419 140736702325008 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.102197 s]
/proc/loadavg: 7.37 7.93 7.97 2/176 2812
/proc/meminfo: memFree=30907408/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=284884 CPUtime=3.39 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 4798 0 0 0 339 0 0 0 19 0 4 0 502732609 291721216 2555 33554432000 4194304 4650419 140736702325008 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 71221 2555 393 112 0 66186 0
[pid=2810/tid=2815] ppid=2807 vsize=284884 CPUtime=0.84 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1139 0 0 0 84 0 0 0 19 0 4 0 502732610 291721216 2555 33554432000 4194304 4650419 140736702325008 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=284884 CPUtime=0.84 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1067 0 0 0 84 0 0 0 19 0 4 0 502732610 291721216 2555 33554432000 4194304 4650419 140736702325008 18446744073709551615 4333542 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=284884 CPUtime=0.84 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1070 0 0 0 84 0 0 0 19 0 4 0 502732610 291721216 2556 33554432000 4194304 4650419 140736702325008 18446744073709551615 4303912 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 284884

[startup+0.956344 s]
/proc/loadavg: 7.37 7.93 7.97 2/176 2812
/proc/meminfo: memFree=30907408/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=284884 CPUtime=3.79 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 5008 0 0 0 379 0 0 0 19 0 4 0 502732609 291721216 2765 33554432000 4194304 4650419 140736702325008 18446744073709551615 4329570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 71221 2765 393 112 0 66186 0
[pid=2810/tid=2815] ppid=2807 vsize=284884 CPUtime=0.94 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1185 0 0 0 94 0 0 0 19 0 4 0 502732610 291721216 2765 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=284884 CPUtime=0.94 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1120 0 0 0 94 0 0 0 19 0 4 0 502732610 291721216 2765 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=284884 CPUtime=0.94 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1129 0 0 0 94 0 0 0 19 0 4 0 502732610 291721216 2765 33554432000 4194304 4650419 140736702325008 18446744073709551615 4255712 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 284884

[startup+1.00034 s]
/proc/loadavg: 7.37 7.93 7.97 2/176 2812
/proc/meminfo: memFree=30907408/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=285208 CPUtime=3.96 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 5174 0 0 0 396 0 0 0 19 0 4 0 502732609 292052992 2931 33554432000 4194304 4650419 140736702325008 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 71302 2931 394 112 0 66267 0
[pid=2810/tid=2815] ppid=2807 vsize=285208 CPUtime=0.99 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1206 0 0 0 99 0 0 0 19 0 4 0 502732610 292052992 2931 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=285208 CPUtime=0.99 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1170 0 0 0 99 0 0 0 19 0 4 0 502732610 292052992 2931 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=285208 CPUtime=0.98 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1175 0 0 0 98 0 0 0 19 0 4 0 502732610 292052992 2931 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 285208

[startup+1.10032 s]
/proc/loadavg: 7.37 7.93 7.97 2/176 2812
/proc/meminfo: memFree=30907408/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=285632 CPUtime=4.36 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 5981 0 0 0 436 0 0 0 19 0 4 0 502732609 292487168 2635 33554432000 4194304 4650419 140736702325008 18446744073709551615 4334208 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 71408 2635 394 112 0 66373 0
[pid=2810/tid=2815] ppid=2807 vsize=285632 CPUtime=1.09 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1401 0 0 0 109 0 0 0 19 0 4 0 502732610 292487168 2635 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=285632 CPUtime=1.09 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1381 0 0 0 109 0 0 0 19 0 4 0 502732610 292487168 2635 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=285632 CPUtime=1.08 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1373 0 0 0 108 0 0 0 19 0 4 0 502732610 292487168 2635 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 285632

[startup+1.50025 s]
/proc/loadavg: 7.37 7.93 7.97 2/176 2812
/proc/meminfo: memFree=30907408/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=285680 CPUtime=5.97 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 7868 0 0 0 596 1 0 0 20 0 4 0 502732609 292536320 4089 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 71420 4089 395 112 0 66385 0
[pid=2810/tid=2815] ppid=2807 vsize=285680 CPUtime=1.49 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1581 0 0 0 149 0 0 0 20 0 4 0 502732610 292536320 4089 33554432000 4194304 4650419 140736702325008 18446744073709551615 4360525 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=285680 CPUtime=1.48 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1690 0 0 0 148 0 0 0 20 0 4 0 502732610 292536320 4089 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=285680 CPUtime=1.48 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 1543 0 0 0 148 0 0 0 20 0 4 0 502732610 292536320 4089 33554432000 4194304 4650419 140736702325008 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285680

[startup+3.10095 s]
/proc/loadavg: 7.50 7.95 7.97 10/184 2820
/proc/meminfo: memFree=30826860/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=283688 CPUtime=12.36 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 14862 0 0 0 1234 2 0 0 25 0 4 0 502732609 290496512 8500 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 70922 8500 395 112 0 65887 0
[pid=2810/tid=2815] ppid=2807 vsize=283688 CPUtime=3.09 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 3532 0 0 0 309 0 0 0 25 0 4 0 502732610 290496512 8500 33554432000 4194304 4650419 140736702325008 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=283688 CPUtime=3.08 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 3840 0 0 0 308 0 0 0 25 0 4 0 502732610 290496512 8500 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=283688 CPUtime=3.07 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 3485 0 0 0 307 0 0 0 25 0 4 0 502732610 290496512 8500 33554432000 4194304 4650419 140736702325008 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 283688

[startup+6.30636 s]
/proc/loadavg: 7.50 7.95 7.97 10/184 2820
/proc/meminfo: memFree=30796520/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=288516 CPUtime=25.16 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 23058 0 0 0 2513 3 0 0 25 0 4 0 502732609 295440384 12119 33554432000 4194304 4650419 140736702325008 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 72129 12119 395 112 0 67094 0
[pid=2810/tid=2815] ppid=2807 vsize=288516 CPUtime=6.29 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 5932 0 0 0 629 0 0 0 25 0 4 0 502732610 295440384 12119 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=288516 CPUtime=6.29 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 6269 0 0 0 629 0 0 0 25 0 4 0 502732610 295440384 12119 33554432000 4194304 4650419 140736702325008 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=288516 CPUtime=6.26 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 4910 0 0 0 625 1 0 0 25 0 4 0 502732610 295440384 12119 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 288516

[startup+12.7012 s]
/proc/loadavg: 7.54 7.95 7.97 10/184 2820
/proc/meminfo: memFree=30760972/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=306816 CPUtime=50.71 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 34663 0 0 0 5064 7 0 0 25 0 4 0 502732609 314179584 16149 33554432000 4194304 4650419 140736702325008 18446744073709551615 4438839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 76704 16149 395 112 0 71669 0
[pid=2810/tid=2815] ppid=2807 vsize=306816 CPUtime=12.69 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 8976 0 0 0 1268 1 0 0 25 0 4 0 502732610 314179584 16149 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=306816 CPUtime=12.68 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 8777 0 0 0 1268 0 0 0 25 0 4 0 502732610 314179584 16149 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=306816 CPUtime=12.63 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 7338 0 0 0 1261 2 0 0 25 0 4 0 502732610 314179584 16150 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 306816

[startup+25.5008 s]
/proc/loadavg: 7.64 7.95 7.97 10/184 2820
/proc/meminfo: memFree=30698336/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=307844 CPUtime=101.84 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 52745 0 0 0 10174 10 0 0 25 0 4 0 502732609 315232256 20533 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 76961 20533 395 112 0 71926 0
[pid=2810/tid=2815] ppid=2807 vsize=307844 CPUtime=25.48 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 14266 0 0 0 2546 2 0 0 25 0 4 0 502732610 315232256 20533 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=307844 CPUtime=25.48 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 13927 0 0 0 2547 1 0 0 25 0 4 0 502732610 315232256 20533 33554432000 4194304 4650419 140736702325008 18446744073709551615 4328352 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=307844 CPUtime=25.36 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 10394 0 0 0 2534 2 0 0 25 0 4 0 502732610 315232256 20533 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 307844

[startup+51.1011 s]
/proc/loadavg: 7.84 7.97 7.98 10/184 2821
/proc/meminfo: memFree=30629388/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=308868 CPUtime=204.12 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 81335 0 0 0 20394 18 0 0 25 0 4 0 502732609 316280832 26627 33554432000 4194304 4650419 140736702325008 18446744073709551615 4330601 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 77217 26627 395 112 0 72182 0
[pid=2810/tid=2815] ppid=2807 vsize=308868 CPUtime=51.08 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 22889 0 0 0 5104 4 0 0 25 0 4 0 502732610 316280832 26627 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=308868 CPUtime=51.08 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 21727 0 0 0 5105 3 0 0 25 0 4 0 502732610 316280832 26627 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=308868 CPUtime=50.83 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 15124 0 0 0 5080 3 0 0 25 0 4 0 502732610 316280832 26627 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 308868

[startup+102.301 s]
/proc/loadavg: 7.93 7.97 7.98 10/184 2822
/proc/meminfo: memFree=30549492/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=299960 CPUtime=408.66 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 121862 0 0 0 40836 30 0 0 25 0 4 0 502732609 307159040 32344 33554432000 4194304 4650419 140736702325008 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 74990 32344 395 112 0 69955 0
[pid=2810/tid=2815] ppid=2807 vsize=299960 CPUtime=102.28 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 32152 0 0 0 10221 7 0 0 25 0 4 0 502732610 307159040 32344 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=299960 CPUtime=102.28 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 33337 0 0 0 10222 6 0 0 25 0 4 0 502732610 307159040 32344 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=299960 CPUtime=101.77 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 23560 0 0 0 10171 6 0 0 25 0 4 0 502732610 307159040 32344 33554432000 4194304 4650419 140736702325008 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 299960

[startup+162.301 s]

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

[pid=2810] ppid=2807 vsize=550336 CPUtime=2565.84 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 388123 0 0 0 256442 142 0 0 25 0 4 0 502732609 563544064 75818 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 137584 75818 395 112 0 132549 0
[pid=2810/tid=2815] ppid=2807 vsize=550336 CPUtime=642.3 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 107525 0 0 0 64191 39 0 0 25 0 4 0 502732610 563544064 75818 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=550336 CPUtime=642.29 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 103795 0 0 0 64191 38 0 0 25 0 4 0 502732610 563544064 75818 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=550336 CPUtime=638.9 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 64769 0 0 0 63868 22 0 0 25 0 4 0 502732610 563544064 75818 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.84
Current children cumulated vsize (KiB) 550336

[startup+702.301 s]
/proc/loadavg: 8.14 8.09 8.02 10/184 2855
/proc/meminfo: memFree=30199828/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=542936 CPUtime=2805.52 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 410418 0 0 0 280400 152 0 0 25 0 4 0 502732609 555966464 78475 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 135734 78475 395 112 0 130699 0
[pid=2810/tid=2815] ppid=2807 vsize=542936 CPUtime=702.31 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 114722 0 0 0 70188 43 0 0 25 0 4 0 502732610 555966464 78475 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=542936 CPUtime=702.29 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 109807 0 0 0 70189 40 0 0 25 0 4 0 502732610 555966464 78475 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=542936 CPUtime=698.59 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 67761 0 0 0 69835 24 0 0 25 0 4 0 502732610 555966464 78475 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.52
Current children cumulated vsize (KiB) 542936

[startup+762.301 s]
/proc/loadavg: 8.12 8.10 8.02 10/184 2857
/proc/meminfo: memFree=30215532/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=543232 CPUtime=3045.21 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 430515 0 0 0 304360 161 0 0 25 0 4 0 502732609 556269568 76662 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 135808 76662 395 112 0 130773 0
[pid=2810/tid=2815] ppid=2807 vsize=543232 CPUtime=762.31 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 121373 0 0 0 76186 45 0 0 25 0 4 0 502732610 556269568 76662 33554432000 4194304 4650419 140736702325008 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=543232 CPUtime=762.29 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 112347 0 0 0 76188 41 0 0 25 0 4 0 502732610 556269568 76662 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=543232 CPUtime=758.27 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 72033 0 0 0 75801 26 0 0 25 0 4 0 502732610 556269568 76662 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.21
Current children cumulated vsize (KiB) 543232

[startup+822.301 s]
/proc/loadavg: 8.05 8.08 8.02 10/184 2858
/proc/meminfo: memFree=30171844/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=566600 CPUtime=3284.89 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 451704 0 0 0 328317 172 0 0 25 0 4 0 502732609 580198400 80724 33554432000 4194304 4650419 140736702325008 18446744073709551615 4364402 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 141650 80724 395 112 0 136615 0
[pid=2810/tid=2815] ppid=2807 vsize=566600 CPUtime=822.31 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 126698 0 0 0 82182 49 0 0 25 0 4 0 502732610 580198400 80724 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=566600 CPUtime=822.3 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 119520 0 0 0 82186 44 0 0 25 0 4 0 502732610 580198400 80724 33554432000 4194304 4650419 140736702325008 18446744073709551615 4363323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=566600 CPUtime=817.94 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 74923 0 0 0 81767 27 0 0 25 0 4 0 502732610 580198400 80724 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.89
Current children cumulated vsize (KiB) 566600

[startup+882.301 s]
/proc/loadavg: 8.06 8.08 8.02 10/184 2860
/proc/meminfo: memFree=30119824/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=566972 CPUtime=3524.58 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 472946 0 0 0 352274 184 0 0 25 0 4 0 502732609 580579328 85494 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 141743 85495 395 112 0 136708 0
[pid=2810/tid=2815] ppid=2807 vsize=566972 CPUtime=882.31 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 132592 0 0 0 88179 52 0 0 25 0 4 0 502732610 580579328 85495 33554432000 4194304 4650419 140736702325008 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=566972 CPUtime=882.3 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 125244 0 0 0 88183 47 0 0 25 0 4 0 502732610 580579328 85495 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=566972 CPUtime=877.62 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 78634 0 0 0 87733 29 0 0 25 0 4 0 502732610 580579328 85495 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.58
Current children cumulated vsize (KiB) 566972

[startup+942.301 s]
/proc/loadavg: 8.06 8.08 8.02 10/184 2863
/proc/meminfo: memFree=30137024/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=567328 CPUtime=3764.27 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 494431 0 0 0 376235 192 0 0 25 0 4 0 502732609 580943872 83281 33554432000 4194304 4650419 140736702325008 18446744073709551615 4333611 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 141832 83281 395 112 0 136797 0
[pid=2810/tid=2815] ppid=2807 vsize=567328 CPUtime=942.32 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 138267 0 0 0 94178 54 0 0 25 0 4 0 502732610 580943872 83281 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=567328 CPUtime=942.3 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 130725 0 0 0 94181 49 0 0 25 0 4 0 502732610 580943872 83281 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=567328 CPUtime=937.3 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 81875 0 0 0 93699 31 0 0 25 0 4 0 502732610 580943872 83281 33554432000 4194304 4650419 140736702325008 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.27
Current children cumulated vsize (KiB) 567328

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 8.02 10/184 2864
/proc/meminfo: memFree=30084648/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=567608 CPUtime=4003.94 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 514112 0 0 0 400191 203 0 0 25 0 4 0 502732609 581230592 86438 33554432000 4194304 4650419 140736702325008 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 141902 86438 395 112 0 136867 0
[pid=2810/tid=2815] ppid=2807 vsize=567608 CPUtime=1002.32 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 143778 0 0 0 100175 57 0 0 25 0 4 0 502732610 581230592 86438 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=567608 CPUtime=1002.3 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 136289 0 0 0 100178 52 0 0 25 0 4 0 502732610 581230592 86438 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=567608 CPUtime=996.97 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 86097 0 0 0 99664 33 0 0 25 0 4 0 502732610 581230592 86438 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.94
Current children cumulated vsize (KiB) 567608

[startup+1062.31 s]
/proc/loadavg: 8.05 8.07 8.01 10/184 2866
/proc/meminfo: memFree=30071460/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=567972 CPUtime=4243.64 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 536406 0 0 0 424150 214 0 0 25 0 4 0 502732609 581603328 87954 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 141993 87954 395 112 0 136958 0
[pid=2810/tid=2815] ppid=2807 vsize=567972 CPUtime=1062.32 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 149273 0 0 0 106172 60 0 0 25 0 4 0 502732610 581603328 87954 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=567972 CPUtime=1062.31 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 141862 0 0 0 106176 55 0 0 25 0 4 0 502732610 581603328 87954 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=567972 CPUtime=1056.65 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 89802 0 0 0 105630 35 0 0 25 0 4 0 502732610 581603328 87954 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.64
Current children cumulated vsize (KiB) 567972

[startup+1122.3 s]
/proc/loadavg: 8.06 8.07 8.01 10/184 2867
/proc/meminfo: memFree=30055552/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=568156 CPUtime=4483.3 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 556235 0 0 0 448107 223 0 0 25 0 4 0 502732609 581791744 92822 33554432000 4194304 4650419 140736702325008 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 142039 92822 395 112 0 137004 0
[pid=2810/tid=2815] ppid=2807 vsize=568156 CPUtime=1122.32 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 155687 0 0 0 112169 63 0 0 25 0 4 0 502732610 581791744 92822 33554432000 4194304 4650419 140736702325008 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=568156 CPUtime=1122.3 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 147312 0 0 0 112172 58 0 0 25 0 4 0 502732610 581791744 92822 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=568156 CPUtime=1116.32 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 91835 0 0 0 111596 36 0 0 25 0 4 0 502732610 581791744 92822 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.3
Current children cumulated vsize (KiB) 568156

[startup+1182.3 s]
/proc/loadavg: 8.12 8.09 8.02 10/184 2869
/proc/meminfo: memFree=30015216/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=556760 CPUtime=4722.98 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 572532 0 0 0 472067 231 0 0 25 0 4 0 502732609 570122240 93322 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 139190 93322 395 112 0 134155 0
[pid=2810/tid=2815] ppid=2807 vsize=556760 CPUtime=1182.32 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 160492 0 0 0 118167 65 0 0 25 0 4 0 502732610 570122240 93322 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=556760 CPUtime=1182.3 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 151736 0 0 0 118170 60 0 0 25 0 4 0 502732610 570122240 93322 33554432000 4194304 4650419 140736702325008 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=556760 CPUtime=1175.99 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 94655 0 0 0 117562 37 0 0 25 0 4 0 502732610 570122240 93322 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.98
Current children cumulated vsize (KiB) 556760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.09 8.08 8.02 9/184 2870
/proc/meminfo: memFree=30007640/32951124 swapFree=67105204/67111528
[pid=2810] ppid=2807 vsize=562340 CPUtime=4800.09 cores=1,3,5,7
/proc/2810/stat : 2810 (strangenight1-m) R 2807 2810 2468 0 -1 4202496 577621 0 0 0 479777 232 0 0 25 0 4 0 502732609 575836160 95291 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2810/statm: 140585 95291 395 112 0 135550 0
[pid=2810/tid=2815] ppid=2807 vsize=562340 CPUtime=1201.63 cores=1,3,5,7
/proc/2810/task/2815/stat : 2815 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 162497 0 0 0 120097 66 0 0 25 0 4 0 502732610 575836160 95292 33554432000 4194304 4650419 140736702325008 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2810/tid=2816] ppid=2807 vsize=562340 CPUtime=1201.61 cores=1,3,5,7
/proc/2810/task/2816/stat : 2816 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 153206 0 0 0 120101 60 0 0 25 0 4 0 502732610 575836160 95292 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2810/tid=2818] ppid=2807 vsize=562340 CPUtime=1195.2 cores=1,3,5,7
/proc/2810/task/2818/stat : 2818 (strangenight1-m) R 2807 2810 2468 0 -1 4202560 95318 0 0 0 119482 38 0 0 25 0 4 0 502732610 575836160 95292 33554432000 4194304 4650419 140736702325008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 562340

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.63
CPU time (s): 4800.14
CPU user time (s): 4797.8
CPU system time (s): 2.34264
CPU usage (%): 399.47
Max. virtual memory (cumulated for all children) (KiB): 620100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.8
system time used= 2.34264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 577622
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= 428
involuntary context switches= 36706

runsolver used 1.87971 second user time and 4.56331 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 20:52:47
IDJOB=3175241
IDBENCH=82859
IDSOLVER=1588
FILE ID=node147/3175241-1304103167
RUNJOBID= node147-1304103167-2793
PBS_JOBID= 13170622
Free space on /tmp= 72660 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175241-1304103167/watcher-3175241-1304103167 -o /tmp/evaluation-result-3175241-1304103167/solver-3175241-1304103167 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175241-1304103167.cnf

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

MD5SUM BENCH= cd0b1f588aad9c4aef9bf4b7912f7c0d
RANDOM SEED=1750723859

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30907596 kB
Buffers:        280380 kB
Cached:        1377604 kB
SwapCached:       3064 kB
Active:         148164 kB
Inactive:      1570816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30907596 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:       59196 kB
Mapped:          14400 kB
Slab:           260768 kB
PageTables:       4352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182424 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= 72648 MiB
End job on node147 at 2011-04-29 21:12:51