Trace number 3368850

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 (fixed)? (TO) 4800.35 1203.24

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-3368850-1305404475.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.01	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.01	c -- vars added        400
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	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.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:    400 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.35/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.01 s
0.35/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.35/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.35/0.10	c calculated reachability. Time: 0.00
0.35/0.10	c Calc default polars -  time:   0.00 s pos:     184 undec:      46 neg:     170
0.35/0.10	c =========================================================================================
0.35/0.10	c types(t): F = full restart, N = normal restart
0.35/0.10	c types(t): S = simplification begin/end, E = solution found
0.35/0.10	c restart types(rt): st = static, dy = dynamic
0.35/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.35/0.10	c  B st     0         0       388      1684         0         0      5119         0   no data   no data  --
0.35/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4919       388      1684         0      4797      5119     90065   no data   no data  --
1.17/0.39	c  N st    10     11302       388      1684         0      4438      5119     62589   no data   no data  --
2.37/0.62	c  N st    11     17046       388      1684         0     10032      5119    168468   no data   no data  --
3.56/0.98	c  F st    12     25000       388      1684         0     12263      5119    211315   no data   no data  --
3.56/0.98	c  N st    12     25000       388      1684         0     12263      5119    211315   no data   no data  --
4.75/1.23	c Decided on static restart strategy
4.75/1.23	c  N st    18     30002       388      1684         0     10568      5119    163844   no data   no data  --
4.75/1.23	c  S st    18     30002       388      1684         0     10568      5119    163844   no data   no data  --
4.75/1.26	c  S st    18     30504       388      1684         0     11069      5119    173495   no data   no data  --
4.75/1.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.75/1.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.75/1.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.75/1.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.75/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.75/1.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
4.75/1.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.55/1.42	c lits-rem:       204  cl-subs:      874  v-elim:      0  v-fix:    0  time:  0.63 s
5.55/1.43	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.03
5.55/1.43	c calculated reachability. Time: 0.00
5.55/1.43	c  N st    18     30504       388      1684         0     10195      5119    157175   no data   no data  --
7.15/1.86	c  N st    20     37618       388      1684         0      9435      5119    126843   no data   no data  --
8.79/2.23	c  N st    21     44018       388      1684         0     15621      5119    241775   no data   no data  --
9.14/2.34	c  S st    22     45756       388      1684         0     17302      5119    273941   no data   no data  --
9.14/2.38	c  S st    22     46257       388      1684         0      9148      5119    111950   no data   no data  --
9.14/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.14/2.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.14/2.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
9.14/2.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.45	c lits-rem:        43  cl-subs:      252  v-elim:      0  v-fix:    0  time:  0.22 s
9.55/2.45	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
9.55/2.45	c vivif2 --  cl tried     8896 cl shrink        0 lits rem          0 time: 0.00
9.55/2.45	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.02
9.55/2.45	c calculated reachability. Time: 0.00
9.55/2.45	c  N st    22     46257       388      1684         0      8896      5119    108188   no data   no data  --
13.18/3.37	c  N st    23     60655       388      1684         0     13182      5119    179167   no data   no data  --
15.94/4.02	c  N st    24     69385       388      1684         0     11011      5119    131927   no data   no data  --
15.94/4.02	c  S st    24     69385       388      1684         0     11011      5119    131927   no data   no data  --
15.94/4.05	c  S st    24     69886       388      1684         0     11511      5119    142058   no data   no data  --
15.94/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.94/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.94/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
15.94/4.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.34/4.19	c lits-rem:        82  cl-subs:      204  v-elim:      0  v-fix:    0  time:  0.51 s
16.34/4.19	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
16.34/4.19	c vivif2 --  cl tried    11307 cl shrink        0 lits rem          0 time: 0.00
16.74/4.20	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.03
16.74/4.20	c calculated reachability. Time: 0.00
16.74/4.20	c  N st    24     69886       388      1684         0     11307      5119    138315   no data   no data  --
21.54/5.49	c  F st    25     87500       388      1684         0     16779      5119    245978   no data   no data  --
21.54/5.49	c  N st    25     87500       388      1684         0     16779      5119    245978   no data   no data  --
23.11/5.89	c Decided on static restart strategy
24.30/6.16	c  N st    32     95539       388      1684         0     24618      5119    406226   no data   no data  --
27.10/6.85	c  N st    34    104829       388      1684         0     21024      5119    322124   no data   no data  --
27.10/6.85	c  S st    34    104829       388      1684         0     21024      5119    322124   no data   no data  --
27.50/6.90	c  S st    34    105331       388      1684         0     21526      5119    332187   no data   no data  --
27.50/6.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.50/6.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.50/6.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
27.50/6.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.50/6.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.50/6.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
27.50/6.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.32/7.68	c lits-rem:       420  cl-subs:     1048  v-elim:      0  v-fix:    0  time:  3.04 s
30.32/7.68	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
30.32/7.68	c vivif2 --  cl tried    20478 cl shrink        0 lits rem          0 time: 0.01
30.32/7.70	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.06
30.32/7.70	c calculated reachability. Time: 0.00
30.32/7.70	c  N st    34    105331       388      1684         0     20478      5119    309771   no data   no data  --
33.89/8.57	c  N st    35    114929       388      1684         0     16227      5119    200866   no data   no data  --
38.67/9.76	c  N st    36    129327       388      1684         0     15672      5119    176421   no data   no data  --
45.45/11.41	c  N st    37    150922       388      1684         0     21121      5119    279313   no data   no data  --
47.87/12.03	c  S st    38    157996       388      1684         0     27967      5119    411745   no data   no data  --
47.87/12.10	c  S st    38    158498       388      1684         0     28468      5119    422778   no data   no data  --
47.87/12.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.87/12.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.28/12.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
48.28/12.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.28/12.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.28/12.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
48.28/12.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.43/13.48	c lits-rem:       648  cl-subs:     2271  v-elim:      0  v-fix:    0  time:  5.41 s
53.43/13.48	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
53.43/13.48	c vivif2 --  cl tried    26197 cl shrink        0 lits rem          0 time: 0.02
53.83/13.50	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.08
53.83/13.50	c calculated reachability. Time: 0.00
53.83/13.50	c  N st    38    158498       388      1684         0     26197      5119    379377   no data   no data  --
73.79/18.58	c  N st    39    207088       388      1684         0     20901      5119    241739   no data   no data  --
87.37/21.99	c  N st    40    237747       388      1684         0     31252      5119    441708   no data   no data  --
87.37/21.99	c  S st    40    237747       388      1684         0     31252      5119    441708   no data   no data  --
87.78/22.06	c  S st    40    238250       388      1684         0     31754      5119    452334   no data   no data  --
87.78/22.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
87.78/22.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
87.78/22.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
87.78/22.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.78/22.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.78/22.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
87.78/22.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
93.72/23.53	c lits-rem:       735  cl-subs:     1902  v-elim:      0  v-fix:    0  time:  5.79 s
93.72/23.53	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
93.72/23.54	c vivif2 --  cl tried    29852 cl shrink        0 lits rem          0 time: 0.02
93.72/23.56	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.09
93.72/23.56	c calculated reachability. Time: 0.00
93.72/23.56	c  N st    40    238250       388      1684         0     29852      5119    416344   no data   no data  --
122.47/30.78	c  F st    41    306250       388      1684         0     31867      5119    409526   no data   no data  --
122.47/30.78	c  N st    41    306250       388      1684         0     31867      5119    409526   no data   no data  --
124.84/31.36	c Decided on static restart strategy
136.40/34.24	c  N st    51    334556       388      1684         0     36023      5119    485534   no data   no data  --
150.37/37.73	c  N st    53    357376       388      1684         0     33821      5119    427270   no data   no data  --
150.37/37.73	c  S st    53    357376       388      1684         0     33821      5119    427270   no data   no data  --
150.77/37.82	c  S st    53    357883       388      1684         0     34325      5119    437830   no data   no data  --
150.77/37.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.77/37.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.77/37.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
150.77/37.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.77/37.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.77/37.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
150.77/37.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
156.36/39.26	c lits-rem:      1142  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  5.63 s
156.36/39.26	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
156.36/39.26	c vivif2 --  cl tried    32531 cl shrink        0 lits rem          0 time: 0.02
156.36/39.29	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.10
156.36/39.29	c calculated reachability. Time: 0.00
156.36/39.29	c  N st    53    357883       388      1684         0     32531      5119    405594   no data   no data  --
173.51/43.57	c  N st    54    390276       388      1684         0     38549      5119    478721   no data   no data  --
199.04/49.96	c  N st    55    438864       388      1684         0     32537      5119    360119   no data   no data  --
239.34/60.04	c  N st    56    511746       388      1684         0     45794      5119    570106   no data   no data  --
253.70/63.62	c  N st    57    536824       388      1684         0     40155      5119    476850   no data   no data  --
253.70/63.62	c  S st    57    536824       388      1684         0     40155      5119    476850   no data   no data  --
254.12/63.75	c  S st    57    537329       388      1684         0     40659      5119    487312   no data   no data  --
254.12/63.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
254.12/63.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
254.12/63.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
254.12/63.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
254.12/63.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.12/63.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
254.12/63.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
260.48/65.39	c lits-rem:       842  cl-subs:     2285  v-elim:      0  v-fix:    0  time:  6.42 s
260.48/65.39	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
260.48/65.40	c vivif2 --  cl tried    38374 cl shrink        0 lits rem          0 time: 0.02
260.88/65.43	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.13
260.88/65.43	c calculated reachability. Time: 0.00
260.88/65.43	c  N st    57    537329       388      1684         0     38374      5119    446865   no data   no data  --
359.43/90.21	c  N st    58    701313       388      1684         0     67179      5119    991330   no data   no data  --
432.01/108.35	c  N st    59    805999       388      1684         0     61329      5119    863211   no data   no data  --
432.01/108.35	c  S st    59    805999       388      1684         0     61329      5119    863211   no data   no data  --
432.81/108.54	c  S st    59    806501       388      1684         0     61830      5119    873660   no data   no data  --
432.81/108.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
432.81/108.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
432.81/108.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
432.81/108.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
432.81/108.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.81/108.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
432.81/108.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
446.77/112.04	c lits-rem:      1285  cl-subs:     4800  v-elim:      0  v-fix:    0  time: 13.74 s
446.77/112.04	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
446.77/112.05	c vivif2 --  cl tried    57030 cl shrink        0 lits rem          0 time: 0.04
447.19/112.13	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.30
447.19/112.13	c calculated reachability. Time: 0.00
447.19/112.13	c  N st    59    806501       388      1684         0     57030      5119    779195   no data   no data  --
656.20/164.56	c  F st    60   1071875       388      1684         0     72817      5119   1002166   no data   no data  --
656.20/164.56	c  N st    60   1071875       388      1684         0     72817      5119   1002166   no data   no data  --
662.97/166.23	c Decided on static restart strategy
681.73/170.99	c  N st    70   1100178       388      1684         0     56896      5119    661529   no data   no data  --
713.64/178.91	c  N st    72   1136170       388      1684         0     47181      5119    450007   no data   no data  --
740.77/185.73	c  N st    73   1168563       388      1684         0     78625      5119   1071590   no data   no data  --
777.47/194.97	c  N st    74   1209751       388      1684         0     72726      5119    911383   no data   no data  --
777.47/194.97	c  S st    74   1209751       388      1684         0     72726      5119    911383   no data   no data  --
778.67/195.20	c  S st    74   1210253       388      1684         0     73226      5119    921357   no data   no data  --
778.67/195.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
778.67/195.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
778.67/195.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
778.67/195.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
778.67/195.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
778.67/195.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
778.67/195.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
794.62/199.22	c lits-rem:      1756  cl-subs:     8176  v-elim:      0  v-fix:    0  time: 15.75 s
794.62/199.22	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
794.62/199.23	c vivif2 --  cl tried    65050 cl shrink        0 lits rem          0 time: 0.04
795.02/199.30	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.30
795.02/199.31	c calculated reachability. Time: 0.00
795.02/199.31	c  N st    74   1210253       388      1684         0     65050      5119    790775   no data   no data  --
862.44/216.21	c  N st    75   1283136       388      1684         0     88929      5119   1211687   no data   no data  --
964.98/241.95	c  N st    76   1392460       388      1684         0     49805      5119    451728   no data   no data  --
1104.18/276.86	c  N st    77   1556447       388      1684         0     54905      5119    523312   no data   no data  --
1252.57/314.08	c  N st    78   1710253       388      1684         0     95952      5119   1311476   no data   no data  --
1252.57/314.08	c  S st    78   1710253       388      1684         0     95952      5119   1311476   no data   no data  --
1254.17/314.44	c  S st    78   1710759       388      1684         0     96457      5119   1322336   no data   no data  --
1254.17/314.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1254.17/314.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1254.60/314.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.24
1254.60/314.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1254.60/314.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1254.60/314.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
1254.60/314.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1288.88/323.16	c lits-rem:       638  cl-subs:    11785  v-elim:      0  v-fix:    0  time: 34.32 s
1288.88/323.16	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
1288.88/323.18	c vivif2 --  cl tried    84672 cl shrink        0 lits rem          0 time: 0.06
1289.28/323.29	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.47
1289.70/323.31	c calculated reachability. Time: 0.00
1289.70/323.31	c  N st    78   1710759       388      1684         0     84672      5119   1119002   no data   no data  --
1683.81/422.18	c  N st    79   2079723       388      1684         0     96542      5119   1259129   no data   no data  --
1830.19/458.81	c  N st    80   2210759       388      1684         0    100853      5119   1344374   no data   no data  --
1830.19/458.81	c  S st    80   2210759       388      1684         0    100853      5119   1344374   no data   no data  --
1831.39/459.13	c  S st    80   2211261       388      1684         0    101353      5119   1354887   no data   no data  --
1831.39/459.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1831.39/459.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1831.39/459.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1831.79/459.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1831.79/459.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1831.79/459.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
1831.79/459.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1859.32/466.17	c lits-rem:       209  cl-subs:     8594  v-elim:      0  v-fix:    0  time: 27.66 s
1859.32/466.17	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
1859.32/466.19	c vivif2 --  cl tried    92759 cl shrink        0 lits rem          0 time: 0.06
1860.15/466.31	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.50
1860.15/466.32	c calculated reachability. Time: 0.00
1860.15/466.32	c  N st    80   2211261       388      1684         0     92759      5119   1205721   no data   no data  --
2447.74/613.60	c  N st    81   2711261       388      1684         0    116067      5119   1569721   no data   no data  --
2447.74/613.60	c  S st    81   2711261       388      1684         0    116067      5119   1569721   no data   no data  --
2449.33/614.07	c  S st    81   2711764       388      1684         0    116566      5119   1580432   no data   no data  --
2449.33/614.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2449.33/614.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2449.73/614.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2449.73/614.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2449.73/614.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2449.73/614.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
2449.73/614.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2498.81/626.46	c lits-rem:       899  cl-subs:    11962  v-elim:      0  v-fix:    0  time: 48.94 s
2498.81/626.46	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
2498.81/626.47	c vivif2 --  cl tried   104604 cl shrink        0 lits rem          0 time: 0.07
2499.61/626.61	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.55
2499.61/626.61	c calculated reachability. Time: 0.00
2499.61/626.61	c  N st    81   2711764       388      1684         0    104604      5119   1373580   no data   no data  --
3127.23/783.95	c  N st    82   3211765       388      1684         0     80784      5119    767108   no data   no data  --
3127.23/783.95	c  S st    82   3211765       388      1684         0     80784      5119    767108   no data   no data  --
3128.45/784.21	c  S st    82   3212266       388      1684         0     81282      5119    777670   no data   no data  --
3128.45/784.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3128.45/784.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3128.45/784.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
3128.45/784.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3128.45/784.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3128.45/784.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
3128.45/784.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3138.80/786.81	c lits-rem:       960  cl-subs:     1486  v-elim:      0  v-fix:    0  time: 10.12 s
3138.80/786.81	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
3138.80/786.82	c vivif2 --  cl tried    79796 cl shrink        0 lits rem          0 time: 0.04
3139.20/786.91	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.35
3139.20/786.91	c calculated reachability. Time: 0.00
3139.20/786.91	c  N st    82   3212266       388      1684         0     79796      5119    753505   no data   no data  --
3775.22/946.31	c  N st    83   3712269       388      1684         0     90561      5119    899725   no data   no data  --
3775.22/946.31	c  S st    83   3712269       388      1684         0     90561      5119    899725   no data   no data  --
3776.02/946.59	c  S st    83   3712770       388      1684         0     91059      5119    910342   no data   no data  --
3776.02/946.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3776.02/946.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3776.42/946.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3776.42/946.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3776.42/946.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3776.42/946.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
3776.42/946.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3789.98/950.08	c lits-rem:       770  cl-subs:     2167  v-elim:      0  v-fix:    0  time: 13.64 s
3789.98/950.08	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
3789.98/950.10	c vivif2 --  cl tried    88892 cl shrink        0 lits rem          0 time: 0.05
3790.78/950.21	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.47
3790.78/950.22	c calculated reachability. Time: 0.00
3790.78/950.22	c  N st    83   3712770       388      1684         0     88892      5119    875881   no data   no data  --
3842.65/963.21	c  F st    84   3751563       388      1684         0    126125      5119   1590740   no data   no data  --
3842.65/963.22	c  N st    84   3751563       388      1684         0    126125      5119   1590740   no data   no data  --
3851.43/965.41	c Decided on static restart strategy
3884.94/973.83	c  N st    94   3779875       388      1684         0    153432      5119   2151083   no data   no data  --
3928.83/984.85	c  N st    96   3815867       388      1684         0    106574      5119   1247007   no data   no data  --
3977.91/997.17	c  N st    97   3848259       388      1684         0    137749      5119   1853921   no data   no data  --
4051.32/1015.52	c  N st    98   3896847       388      1684         0    101643      5119   1106515   no data   no data  --
4139.11/1037.58	c  N st    99   3969729       388      1684         0     88166      5119    822340   no data   no data  --
4271.18/1070.65	c  N st   100   4079054       388      1684         0    109195      5119   1268836   no data   no data  --
4483.85/1123.96	c  N st   101   4212770       388      1684         0    151366      5119   1987803   no data   no data  --
4483.85/1123.96	c  S st   101   4212770       388      1684         0    151366      5119   1987803   no data   no data  --
4486.64/1124.69	c  S st   101   4213274       388      1684         0    151868      5119   1998074   no data   no data  --
4487.04/1124.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4487.04/1124.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4487.04/1124.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.34
4487.44/1124.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4487.44/1124.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4487.44/1124.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    388 time:  0.00 s
4487.44/1124.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4576.42/1147.16	c lits-rem:       582  cl-subs:    20360  v-elim:      0  v-fix:    0  time: 88.97 s
4576.42/1147.16	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
4576.42/1147.19	c vivif2 --  cl tried   131508 cl shrink        0 lits rem          0 time: 0.09
4577.25/1147.39	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.81
4577.25/1147.40	c calculated reachability. Time: 0.00
4577.25/1147.40	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: 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-3368850-1305404475/watcher-3368850-1305404475 -o /tmp/evaluation-result-3368850-1305404475/solver-3368850-1305404475 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368850-1305404475.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.10 7.84 7.56 6/333 20708
/proc/meminfo: memFree=23091872/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=281936 CPUtime=0.01 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 727 0 0 0 1 0 0 0 25 0 4 0 632863089 288702464 642 33554432000 4194304 4650419 140734792423200 18446744073709551615 270338488814 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20708/statm: 70484 642 343 112 0 65449 0
[pid=20708/tid=20709] ppid=20706 vsize=282284 CPUtime=0 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 203 0 0 0 0 0 0 0 25 0 4 0 632863090 289058816 904 33554432000 4194304 4650419 140734792423200 18446744073709551615 4229392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=282284 CPUtime=0 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 184 0 0 0 0 0 0 0 25 0 4 0 632863090 289058816 904 33554432000 4194304 4650419 140734792423200 18446744073709551615 270338488863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=282284 CPUtime=0 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 120 0 0 0 0 0 0 0 25 0 4 0 632863090 289058816 904 33554432000 4194304 4650419 140734792423200 18446744073709551615 270338488863 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0965211 s]
/proc/loadavg: 8.10 7.84 7.56 6/333 20708
/proc/meminfo: memFree=23091872/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=282464 CPUtime=0.35 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 1554 0 0 0 35 0 0 0 25 0 4 0 632863089 289243136 1436 33554432000 4194304 4650419 140734792423200 18446744073709551615 270338488814 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 70616 1436 391 112 0 65581 0
[pid=20708/tid=20709] ppid=20706 vsize=282464 CPUtime=0.09 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 312 0 0 0 9 0 0 0 18 0 4 0 632863090 289243136 1436 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=282464 CPUtime=0.08 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 275 0 0 0 8 0 0 0 25 0 4 0 632863090 289243136 1436 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=282464 CPUtime=0.09 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 221 0 0 0 9 0 0 0 25 0 4 0 632863090 289243136 1436 33554432000 4194304 4650419 140734792423200 18446744073709551615 4328318 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 282464

[startup+0.110618 s]
/proc/loadavg: 8.10 7.84 7.56 6/333 20708
/proc/meminfo: memFree=23091872/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=282612 CPUtime=0.41 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 1649 0 0 0 41 0 0 0 25 0 4 0 632863089 289394688 1531 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 70653 1531 391 112 0 65618 0
[pid=20708/tid=20709] ppid=20706 vsize=282612 CPUtime=0.1 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 338 0 0 0 10 0 0 0 18 0 4 0 632863090 289394688 1531 33554432000 4194304 4650419 140734792423200 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=282612 CPUtime=0.1 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 299 0 0 0 10 0 0 0 25 0 4 0 632863090 289394688 1531 33554432000 4194304 4650419 140734792423200 18446744073709551615 4331227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=282612 CPUtime=0.1 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 247 0 0 0 10 0 0 0 25 0 4 0 632863090 289394688 1531 33554432000 4194304 4650419 140734792423200 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282612

[startup+0.30058 s]
/proc/loadavg: 8.10 7.84 7.56 6/333 20708
/proc/meminfo: memFree=23091872/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=283604 CPUtime=1.17 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 2558 0 0 0 117 0 0 0 25 0 4 0 632863089 290410496 1962 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364352 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 70901 1962 393 112 0 65866 0
[pid=20708/tid=20709] ppid=20706 vsize=283604 CPUtime=0.29 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 569 0 0 0 29 0 0 0 18 0 4 0 632863090 290410496 1962 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=283604 CPUtime=0.29 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 523 0 0 0 29 0 0 0 25 0 4 0 632863090 290410496 1962 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=283604 CPUtime=0.29 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 481 0 0 0 29 0 0 0 25 0 4 0 632863090 290410496 1962 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283604

[startup+0.700503 s]
/proc/loadavg: 8.10 7.84 7.56 6/333 20708
/proc/meminfo: memFree=23091872/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=285188 CPUtime=2.77 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 4461 0 0 0 277 0 0 0 25 0 4 0 632863089 292032512 2245 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 71297 2245 393 112 0 66262 0
[pid=20708/tid=20709] ppid=20706 vsize=285188 CPUtime=0.69 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 1013 0 0 0 69 0 0 0 18 0 4 0 632863090 292032512 2245 33554432000 4194304 4650419 140734792423200 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=285188 CPUtime=0.69 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 1011 0 0 0 69 0 0 0 25 0 4 0 632863090 292032512 2245 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=285188 CPUtime=0.69 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 964 0 0 0 69 0 0 0 25 0 4 0 632863090 292032512 2245 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285188

[startup+1.50034 s]
/proc/loadavg: 8.10 7.84 7.56 10/337 20712
/proc/meminfo: memFree=23079688/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=285880 CPUtime=5.95 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 7859 0 0 0 595 0 0 0 25 0 4 0 632863089 292741120 4055 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 71470 4055 395 112 0 66435 0
[pid=20708/tid=20709] ppid=20706 vsize=285880 CPUtime=1.49 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 1550 0 0 0 149 0 0 0 19 0 4 0 632863090 292741120 4055 33554432000 4194304 4650419 140734792423200 18446744073709551615 4310813 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=285880 CPUtime=1.49 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 1767 0 0 0 149 0 0 0 25 0 4 0 632863090 292741120 4056 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=285880 CPUtime=1.48 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 1489 0 0 0 148 0 0 0 25 0 4 0 632863090 292741120 4056 33554432000 4194304 4650419 140734792423200 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 285880

[startup+3.10103 s]
/proc/loadavg: 8.10 7.84 7.56 10/337 20712
/proc/meminfo: memFree=23061700/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=281048 CPUtime=12.35 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 14926 0 0 0 1233 2 0 0 25 0 4 0 632863089 287793152 8551 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 70262 8551 395 112 0 65227 0
[pid=20708/tid=20709] ppid=20706 vsize=281048 CPUtime=3.09 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 3424 0 0 0 309 0 0 0 25 0 4 0 632863090 287793152 8551 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=281048 CPUtime=3.08 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 3975 0 0 0 308 0 0 0 25 0 4 0 632863090 287793152 8551 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=281048 CPUtime=3.08 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 3582 0 0 0 308 0 0 0 25 0 4 0 632863090 287793152 8551 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 281048

[startup+6.3004 s]
/proc/loadavg: 8.09 7.84 7.57 9/337 20712
/proc/meminfo: memFree=23041396/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=286288 CPUtime=25.11 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 22419 0 0 0 2507 4 0 0 25 0 4 0 632863089 293158912 11315 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 71572 11315 395 112 0 66537 0
[pid=20708/tid=20709] ppid=20706 vsize=286288 CPUtime=6.28 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 5770 0 0 0 628 0 0 0 25 0 4 0 632863090 293158912 11315 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=286288 CPUtime=6.29 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 6088 0 0 0 628 1 0 0 25 0 4 0 632863090 293158912 11315 33554432000 4194304 4650419 140734792423200 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=286288 CPUtime=6.28 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 4924 0 0 0 628 0 0 0 25 0 4 0 632863090 293158912 11315 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 286288

[startup+12.7011 s]
/proc/loadavg: 8.08 7.84 7.57 10/337 20712
/proc/meminfo: memFree=23017252/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=289956 CPUtime=50.64 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 33876 0 0 0 5058 6 0 0 25 0 4 0 632863089 296914944 15697 33554432000 4194304 4650419 140734792423200 18446744073709551615 4443741 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 72489 15697 395 112 0 67454 0
[pid=20708/tid=20709] ppid=20706 vsize=289956 CPUtime=12.69 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 8706 0 0 0 1268 1 0 0 25 0 4 0 632863090 296914944 15697 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=289956 CPUtime=12.69 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 8708 0 0 0 1267 2 0 0 25 0 4 0 632863090 296914944 15697 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=289956 CPUtime=12.68 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 7662 0 0 0 1267 1 0 0 25 0 4 0 632863090 296914944 15697 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 289956

[startup+25.5006 s]
/proc/loadavg: 8.06 7.85 7.57 9/337 20713
/proc/meminfo: memFree=23026032/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=297848 CPUtime=101.71 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 53046 0 0 0 10160 11 0 0 25 0 4 0 632863089 304996352 19895 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 74462 19895 395 112 0 69427 0
[pid=20708/tid=20709] ppid=20706 vsize=297848 CPUtime=25.49 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 14171 0 0 0 2547 2 0 0 25 0 4 0 632863090 304996352 19895 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=297848 CPUtime=25.49 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 14663 0 0 0 2546 3 0 0 25 0 4 0 632863090 304996352 19895 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=297848 CPUtime=25.48 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 10778 0 0 0 2546 2 0 0 25 0 4 0 632863090 304996352 19895 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 297848

[startup+51.1005 s]
/proc/loadavg: 8.11 7.88 7.59 10/337 20713
/proc/meminfo: memFree=23013248/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=308612 CPUtime=203.83 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 82829 0 0 0 20365 18 0 0 25 0 4 0 632863089 316018688 25018 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364406 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 77153 25018 395 112 0 72118 0
[pid=20708/tid=20709] ppid=20706 vsize=308612 CPUtime=51.09 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 22838 0 0 0 5105 4 0 0 25 0 4 0 632863090 316018688 25018 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=308612 CPUtime=51.09 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 23564 0 0 0 5104 5 0 0 25 0 4 0 632863090 316018688 25018 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=308612 CPUtime=51.08 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 15902 0 0 0 5104 4 0 0 25 0 4 0 632863090 316018688 25018 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 308612

[startup+102.312 s]
/proc/loadavg: 8.19 7.92 7.62 9/337 20715
/proc/meminfo: memFree=22945500/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=370152 CPUtime=408.11 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 122359 0 0 0 40782 29 0 0 25 0 4 0 632863089 379035648 35014 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 92538 35014 395 112 0 87503 0
[pid=20708/tid=20709] ppid=20706 vsize=370152 CPUtime=102.3 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 34275 0 0 0 10222 8 0 0 25 0 4 0 632863090 379035648 35014 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=370152 CPUtime=102.3 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 36356 0 0 0 10222 8 0 0 25 0 4 0 632863090 379035648 35014 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=370152 CPUtime=102.28 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 23411 0 0 0 10222 6 0 0 25 0 4 0 632863090 379035648 35014 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 370152

[startup+162.3 s]

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

[pid=20708] ppid=20706 vsize=492908 CPUtime=2562.28 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 389783 0 0 0 256098 130 0 0 25 0 4 0 632863089 504737792 70062 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 123227 70062 395 112 0 118192 0
[pid=20708/tid=20709] ppid=20706 vsize=492908 CPUtime=642.33 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 107429 0 0 0 64200 33 0 0 25 0 4 0 632863090 504737792 70062 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=492908 CPUtime=642.33 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 108440 0 0 0 64198 35 0 0 25 0 4 0 632863090 504737792 70062 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=492908 CPUtime=642.19 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 74452 0 0 0 64193 26 0 0 25 0 4 0 632863090 504737792 70062 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2562.28
Current children cumulated vsize (KiB) 492908

[startup+702.3 s]
/proc/loadavg: 4.42 6.56 7.28 5/328 20752
/proc/meminfo: memFree=23122676/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=494960 CPUtime=2801.64 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 414292 0 0 0 280023 141 0 0 25 0 4 0 632863089 506839040 70337 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 123740 70337 395 112 0 118705 0
[pid=20708/tid=20709] ppid=20706 vsize=494960 CPUtime=702.31 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 114620 0 0 0 70196 35 0 0 25 0 4 0 632863090 506839040 70337 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=494960 CPUtime=702.32 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 114942 0 0 0 70195 37 0 0 25 0 4 0 632863090 506839040 70337 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=494960 CPUtime=702.16 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 79041 0 0 0 70188 28 0 0 25 0 4 0 632863090 506839040 70337 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.64
Current children cumulated vsize (KiB) 494960

[startup+762.312 s]
/proc/loadavg: 4.17 6.07 7.06 5/328 20753
/proc/meminfo: memFree=23111204/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=498512 CPUtime=3041.09 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 438756 0 0 0 303958 151 0 0 25 0 4 0 632863089 510476288 76210 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 124628 76210 395 112 0 119593 0
[pid=20708/tid=20709] ppid=20706 vsize=498512 CPUtime=762.33 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 121632 0 0 0 76195 38 0 0 25 0 4 0 632863090 510476288 76210 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=498512 CPUtime=762.33 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 120682 0 0 0 76194 39 0 0 25 0 4 0 632863090 510476288 76210 33554432000 4194304 4650419 140734792423200 18446744073709551615 4331268 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=498512 CPUtime=762.17 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 83423 0 0 0 76187 30 0 0 25 0 4 0 632863090 510476288 76210 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.09
Current children cumulated vsize (KiB) 498512

[startup+822.301 s]
/proc/loadavg: 4.07 5.72 6.88 5/328 20755
/proc/meminfo: memFree=23079136/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=564324 CPUtime=3280.44 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 461060 0 0 0 327884 160 0 0 25 0 4 0 632863089 577867776 83566 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 141081 83566 395 112 0 136046 0
[pid=20708/tid=20709] ppid=20706 vsize=564324 CPUtime=822.32 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 127229 0 0 0 82192 40 0 0 25 0 4 0 632863090 577867776 83566 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=564324 CPUtime=822.32 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 128760 0 0 0 82189 43 0 0 25 0 4 0 632863090 577867776 83566 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=564324 CPUtime=822.16 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 88155 0 0 0 82184 32 0 0 25 0 4 0 632863090 577867776 83566 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.44
Current children cumulated vsize (KiB) 564324

[startup+882.301 s]
/proc/loadavg: 4.06 5.41 6.70 5/328 20757
/proc/meminfo: memFree=23084736/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=564696 CPUtime=3519.85 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 479074 0 0 0 351816 169 0 0 25 0 4 0 632863089 578248704 82818 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 141174 82818 395 112 0 136139 0
[pid=20708/tid=20709] ppid=20706 vsize=564696 CPUtime=882.32 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 132981 0 0 0 88190 42 0 0 25 0 4 0 632863090 578248704 82818 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=564696 CPUtime=882.33 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 134255 0 0 0 88187 46 0 0 25 0 4 0 632863090 578248704 82818 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=564696 CPUtime=882.15 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 88909 0 0 0 88183 32 0 0 25 0 4 0 632863090 578248704 82818 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.85
Current children cumulated vsize (KiB) 564696

[startup+942.301 s]
/proc/loadavg: 4.10 5.17 6.53 5/328 20758
/proc/meminfo: memFree=23079220/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=568564 CPUtime=3759.26 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 499325 0 0 0 375748 178 0 0 25 0 4 0 632863089 582209536 84176 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 142141 84176 395 112 0 137106 0
[pid=20708/tid=20709] ppid=20706 vsize=568564 CPUtime=942.32 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 138970 0 0 0 94188 44 0 0 25 0 4 0 632863090 582209536 84176 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=568564 CPUtime=942.32 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 139967 0 0 0 94183 49 0 0 25 0 4 0 632863090 582209536 84176 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=568564 CPUtime=942.16 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 91237 0 0 0 94183 33 0 0 25 0 4 0 632863090 582209536 84176 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.26
Current children cumulated vsize (KiB) 568564

[startup+1002.3 s]
/proc/loadavg: 4.03 4.96 6.37 5/328 20760
/proc/meminfo: memFree=23091272/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=543292 CPUtime=3998.65 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 513476 0 0 0 399680 185 0 0 25 0 4 0 632863089 556331008 80913 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 135823 80913 395 112 0 130788 0
[pid=20708/tid=20709] ppid=20706 vsize=543292 CPUtime=1002.33 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 142248 0 0 0 100187 46 0 0 25 0 4 0 632863090 556331008 80913 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=543292 CPUtime=1002.33 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 145203 0 0 0 100181 52 0 0 25 0 4 0 632863090 556331008 80913 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=543292 CPUtime=1002.16 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 93784 0 0 0 100182 34 0 0 25 0 4 0 632863090 556331008 80913 33554432000 4194304 4650419 140734792423200 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998.65
Current children cumulated vsize (KiB) 543292

[startup+1062.3 s]
/proc/loadavg: 4.08 4.80 6.23 5/328 20761
/proc/meminfo: memFree=23063532/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=556332 CPUtime=4238.07 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 537939 0 0 0 423612 195 0 0 25 0 4 0 632863089 569683968 88067 33554432000 4194304 4650419 140734792423200 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 139083 88067 395 112 0 134048 0
[pid=20708/tid=20709] ppid=20706 vsize=556332 CPUtime=1062.33 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 147292 0 0 0 106186 47 0 0 25 0 4 0 632863090 569683968 88067 33554432000 4194304 4650419 140734792423200 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=556332 CPUtime=1062.33 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 150739 0 0 0 106179 54 0 0 25 0 4 0 632863090 569683968 88067 33554432000 4194304 4650419 140734792423200 18446744073709551615 4364746 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=556332 CPUtime=1062.17 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 101198 0 0 0 106180 37 0 0 25 0 4 0 632863090 569683968 88067 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.07
Current children cumulated vsize (KiB) 556332

[startup+1122.3 s]
/proc/loadavg: 4.03 4.65 6.08 5/328 20763
/proc/meminfo: memFree=23042512/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=586136 CPUtime=4477.46 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 555747 0 0 0 447545 201 0 0 25 0 4 0 632863089 600203264 93780 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 146534 93780 395 112 0 141499 0
[pid=20708/tid=20709] ppid=20706 vsize=586136 CPUtime=1122.34 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 154618 0 0 0 112184 50 0 0 25 0 4 0 632863090 600203264 93780 33554432000 4194304 4650419 140734792423200 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=586136 CPUtime=1122.34 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 156741 0 0 0 112177 57 0 0 25 0 4 0 632863090 600203264 93780 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=586136 CPUtime=1122.16 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 103109 0 0 0 112179 37 0 0 25 0 4 0 632863090 600203264 93780 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.46
Current children cumulated vsize (KiB) 586136

[startup+1182.3 s]
/proc/loadavg: 4.07 4.54 5.96 5/328 20765
/proc/meminfo: memFree=23042688/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=591100 CPUtime=4716.87 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 571778 0 0 0 471480 207 0 0 25 0 4 0 632863089 605286400 91223 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 147775 91223 395 112 0 142740 0
[pid=20708/tid=20709] ppid=20706 vsize=591100 CPUtime=1182.34 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 160870 0 0 0 118182 52 0 0 25 0 4 0 632863090 605286400 91223 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=591100 CPUtime=1182.33 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 162306 0 0 0 118175 58 0 0 25 0 4 0 632863090 605286400 91223 33554432000 4194304 4650419 140734792423200 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=591100 CPUtime=1182.17 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 103691 0 0 0 118179 38 0 0 25 0 4 0 632863090 605286400 91223 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.87
Current children cumulated vsize (KiB) 591100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 4.04 4.50 5.90 5/328 20765
/proc/meminfo: memFree=23035356/32951124 swapFree=59367104/67111528
[pid=20708] ppid=20706 vsize=591140 CPUtime=4800.29 cores=0,2,4,6
/proc/20708/stat : 20708 (strangenight1-m) R 20706 20708 20095 0 -1 4202496 578546 0 0 0 479818 211 0 0 25 0 4 0 632863089 605327360 94942 33554432000 4194304 4650419 140734792423200 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20708/statm: 147785 94942 395 112 0 142750 0
[pid=20708/tid=20709] ppid=20706 vsize=591140 CPUtime=1203.26 cores=0,2,4,6
/proc/20708/task/20709/stat : 20709 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 162394 0 0 0 120273 53 0 0 25 0 4 0 632863090 605327360 94942 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20708/tid=20710] ppid=20706 vsize=591140 CPUtime=1203.25 cores=0,2,4,6
/proc/20708/task/20710/stat : 20710 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 163626 0 0 0 120266 59 0 0 25 0 4 0 632863090 605327360 94942 33554432000 4194304 4650419 140734792423200 18446744073709551615 4334336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20708/tid=20711] ppid=20706 vsize=591140 CPUtime=1203.08 cores=0,2,4,6
/proc/20708/task/20711/stat : 20711 (strangenight1-m) R 20706 20708 20095 0 -1 4202560 105497 0 0 0 120270 38 0 0 25 0 4 0 632863090 605327360 94942 33554432000 4194304 4650419 140734792423200 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 591140

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): 1203.24
CPU time (s): 4800.35
CPU user time (s): 4798.22
CPU system time (s): 2.12968
CPU usage (%): 398.953
Max. virtual memory (cumulated for all children) (KiB): 642856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.22
system time used= 2.12968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578547
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= 278
involuntary context switches= 21175

runsolver used 3.82742 second user time and 8.76067 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-14 22:21:15
IDJOB=3368850
IDBENCH=82859
IDSOLVER=1846
FILE ID=node143/3368850-1305404475
RUNJOBID= node143-1305403827-20608
PBS_JOBID= 13324468
Free space on /tmp= 73412 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3368850-1305404475/watcher-3368850-1305404475 -o /tmp/evaluation-result-3368850-1305404475/solver-3368850-1305404475 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368850-1305404475.cnf

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

MD5SUM BENCH= cd0b1f588aad9c4aef9bf4b7912f7c0d
RANDOM SEED=1083175058

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23092036 kB
Buffers:        145636 kB
Cached:         651752 kB
SwapCached:      67336 kB
Active:         407868 kB
Inactive:      9228308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23092036 kB
SwapTotal:    67111528 kB
SwapFree:     59367104 kB
Dirty:            6276 kB
Writeback:           0 kB
AnonPages:     8771264 kB
Mapped:          22820 kB
Slab:           105088 kB
PageTables:      54132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70376884 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= 73412 MiB
End job on node143 at 2011-05-14 22:41:20