Trace number 3368860

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.32 1203.14

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf
MD5SUM10f0c0c20b1ddb1f4561bcd231d72d23
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.043992
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
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-3368860-1305404657.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.03
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      58 undec:       5 neg:      62
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.06	c Decided on static restart strategy
0.36/0.13	c  N st     8      4915       125      2662         0      4676     13310    122132   no data   no data  --
1.16/0.33	c  N st    10     11299       125      2662         0      4315     13310     86803   no data   no data  --
1.97/0.54	c  N st    11     17042       125      2662         0      9725     13310    232836   no data   no data  --
3.16/0.84	c  F st    12     25001       125      2662         0     11937     13310    287864   no data   no data  --
3.16/0.84	c  N st    12     25001       125      2662         0     11937     13310    287864   no data   no data  --
3.98/1.06	c Decided on static restart strategy
3.98/1.06	c  N st    18     30002       125      2662         0     10214     13310    226933   no data   no data  --
3.98/1.06	c  S st    18     30002       125      2662         0     10214     13310    226933   no data   no data  --
3.98/1.09	c  S st    18     30505       125      2662         0     10703     13310    239636   no data   no data  --
3.98/1.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.98/1.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.98/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3.98/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.75/1.72	c lits-rem:      2221  cl-subs:     1377  v-elim:      0  v-fix:    0  time:  2.48 s
6.75/1.76	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.16
6.75/1.76	c calculated reachability. Time: 0.00
6.75/1.76	c  N st    18     30505       125      2662         0      9326     13310    199058   no data   no data  --
7.95/2.09	c  N st    20     37615       125      2662         0      8647     13310    168168   no data   no data  --
9.14/2.39	c  N st    21     44015       125      2662         0     14654     13310    323144   no data   no data  --
9.54/2.49	c  S st    22     45758       125      2662         0     16277     13310    365755   no data   no data  --
9.94/2.54	c  S st    22     46262       125      2662         0     16767     13310    378587   no data   no data  --
9.94/2.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.94/2.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.94/2.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.94/2.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.13/3.84	c lits-rem:      3373  cl-subs:     1634  v-elim:      0  v-fix:    0  time:  5.15 s
15.13/3.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.13/3.85	c vivif2 --  cl tried    15133 cl shrink        0 lits rem          0 time: 0.01
15.53/3.93	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.32
15.53/3.93	c calculated reachability. Time: 0.00
15.53/3.93	c  N st    22     46262       125      2662         0     15133     13310    330919   no data   no data  --
18.71/4.75	c  N st    23     60659       125      2662         0     10922     13310    196265   no data   no data  --
20.72/5.27	c  N st    24     69393       125      2662         0     19126     13310    404867   no data   no data  --
20.72/5.27	c  S st    24     69393       125      2662         0     19126     13310    404867   no data   no data  --
21.12/5.31	c  S st    24     69896       125      2662         0     19616     13310    417842   no data   no data  --
21.12/5.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.12/5.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.12/5.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.12/5.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.12/5.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.12/5.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
21.12/5.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.09/6.83	c lits-rem:      4009  cl-subs:     2188  v-elim:      0  v-fix:    0  time:  5.97 s
27.09/6.83	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.09/6.83	c vivif2 --  cl tried    17428 cl shrink        0 lits rem          0 time: 0.02
27.50/6.91	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.31
27.50/6.91	c calculated reachability. Time: 0.00
27.50/6.91	c  N st    24     69896       125      2662         0     17428     13310    357116   no data   no data  --
31.89/8.04	c  F st    25     87501       125      2662         0     12464     13310    214627   no data   no data  --
31.89/8.04	c  N st    25     87501       125      2662         0     12464     13310    214627   no data   no data  --
33.09/8.33	c Decided on static restart strategy
33.89/8.52	c  N st    32     95542       125      2662         0     20093     13310    409014   no data   no data  --
36.27/9.20	c  N st    34    104844       125      2662         0     16579     13310    309591   no data   no data  --
36.27/9.20	c  S st    34    104844       125      2662         0     16579     13310    309591   no data   no data  --
36.67/9.24	c  S st    34    105350       125      2662         0     17073     13310    322620   no data   no data  --
36.67/9.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.67/9.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.67/9.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
36.67/9.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.67/9.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.67/9.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.67/9.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.46/10.43	c lits-rem:      1994  cl-subs:     1246  v-elim:      0  v-fix:    0  time:  4.65 s
41.46/10.43	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.46/10.43	c vivif2 --  cl tried    15827 cl shrink        0 lits rem          0 time: 0.01
41.86/10.50	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
41.86/10.50	c calculated reachability. Time: 0.00
41.86/10.50	c  N st    34    105350       125      2662         0     15827     13310    289306   no data   no data  --
44.25/11.17	c  N st    35    114948       125      2662         0     24821     13310    531621   no data   no data  --
48.28/12.11	c  N st    36    129347       125      2662         0     25187     13310    528813   no data   no data  --
55.03/13.84	c  N st    37    150942       125      2662         0     16452     13310    263656   no data   no data  --
56.66/14.29	c  S st    38    158026       125      2662         0     23126     13310    438918   no data   no data  --
57.07/14.35	c  S st    38    158528       125      2662         0     23610     13310    451875   no data   no data  --
57.07/14.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.07/14.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.07/14.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
57.07/14.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.07/14.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.07/14.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.07/14.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.01/15.82	c lits-rem:      3112  cl-subs:     1710  v-elim:      0  v-fix:    0  time:  5.79 s
63.01/15.82	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
63.01/15.83	c vivif2 --  cl tried    21900 cl shrink        0 lits rem          0 time: 0.02
63.41/15.94	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.45
63.41/15.94	c calculated reachability. Time: 0.00
63.41/15.94	c  N st    38    158528       125      2662         0     21900     13310    402922   no data   no data  --
79.36/19.92	c  N st    39    207117       125      2662         0     34747     13310    735726   no data   no data  --
90.13/22.60	c  N st    40    237793       125      2662         0     26869     13310    488865   no data   no data  --
90.13/22.60	c  S st    40    237793       125      2662         0     26869     13310    488865   no data   no data  --
90.13/22.67	c  S st    40    238295       125      2662         0     27353     13310    501441   no data   no data  --
90.13/22.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.13/22.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.13/22.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
90.13/22.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.13/22.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.13/22.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
90.13/22.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
97.31/24.41	c lits-rem:      3655  cl-subs:     2020  v-elim:      0  v-fix:    0  time:  6.85 s
97.31/24.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
97.31/24.42	c vivif2 --  cl tried    25333 cl shrink        0 lits rem          0 time: 0.02
97.71/24.53	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.46
97.71/24.53	c calculated reachability. Time: 0.00
97.71/24.53	c  N st    40    238295       125      2662         0     25333     13310    447301   no data   no data  --
122.90/30.86	c  F st    41    306253       125      2662         0     27128     13310    450622   no data   no data  --
122.90/30.86	c  N st    41    306253       125      2662         0     27128     13310    450622   no data   no data  --
124.85/31.35	c Decided on static restart strategy
134.83/33.80	c  N st    51    334555       125      2662         0     31295     13310    541633   no data   no data  --
144.84/36.31	c  N st    53    357442       125      2662         0     29310     13310    473668   no data   no data  --
144.84/36.31	c  S st    53    357442       125      2662         0     29310     13310    473668   no data   no data  --
144.84/36.38	c  S st    53    357948       125      2662         0     29802     13310    486659   no data   no data  --
144.84/36.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.84/36.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
144.84/36.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
145.19/36.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.19/36.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.19/36.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
145.19/36.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
151.18/37.94	c lits-rem:      2634  cl-subs:     1267  v-elim:      0  v-fix:    0  time:  6.11 s
151.18/37.94	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
151.18/37.94	c vivif2 --  cl tried    28535 cl shrink        0 lits rem          0 time: 0.02
151.57/38.08	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.54
151.57/38.08	c calculated reachability. Time: 0.00
151.57/38.08	c  N st    53    357948       125      2662         0     28535     13310    450371   no data   no data  --
170.34/42.73	c  N st    54    390342       125      2662         0     34597     13310    594171   no data   no data  --
195.87/49.13	c  N st    55    438930       125      2662         0     28464     13310    414242   no data   no data  --
230.99/57.92	c  N st    56    511812       125      2662         0     41443     13310    725457   no data   no data  --
244.16/61.28	c  N st    57    536924       125      2662         0     35988     13310    566254   no data   no data  --
244.16/61.28	c  S st    57    536924       125      2662         0     35988     13310    566254   no data   no data  --
244.56/61.37	c  S st    57    537427       125      2662         0     36483     13310    579289   no data   no data  --
244.56/61.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
244.56/61.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
244.56/61.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
244.96/61.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
244.96/61.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.96/61.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
244.96/61.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
251.33/63.09	c lits-rem:      2225  cl-subs:     1475  v-elim:      0  v-fix:    0  time:  6.74 s
251.33/63.09	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
251.33/63.09	c vivif2 --  cl tried    35008 cl shrink        0 lits rem          0 time: 0.03
252.13/63.27	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.71
252.13/63.27	c calculated reachability. Time: 0.00
252.13/63.27	c  N st    57    537427       125      2662         0     35008     13310    537880   no data   no data  --
334.72/83.98	c  N st    58    701412       125      2662         0     63239     13310   1269817   no data   no data  --
398.98/100.08	c  N st    59    806140       125      2662         0     57288     13310   1048521   no data   no data  --
398.98/100.08	c  S st    59    806140       125      2662         0     57288     13310   1048521   no data   no data  --
399.75/100.26	c  S st    59    806642       125      2662         0     57776     13310   1061974   no data   no data  --
399.75/100.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
399.75/100.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
399.75/100.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
400.15/100.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
400.15/100.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
400.15/100.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
400.15/100.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
423.30/106.18	c lits-rem:      1058  cl-subs:     4599  v-elim:      0  v-fix:    0  time: 23.35 s
423.30/106.18	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
423.30/106.19	c vivif2 --  cl tried    53177 cl shrink        0 lits rem          0 time: 0.04
424.49/106.45	c asymm  cl-useful: 0/2214/2662 lits-rem:0 time: 1.04
424.49/106.45	c calculated reachability. Time: 0.00
424.49/106.45	c  N st    59    806642       125      2662         0     53177     13310    942916   no data   no data  --
591.67/148.32	c  F st    60   1071875       125      2662         0     68212     13310   1221905   no data   no data  --
591.67/148.32	c  N st    60   1071875       125      2662         0     68212     13310   1221905   no data   no data  --
595.67/149.35	c Decided on static restart strategy
615.61/154.33	c  N st    70   1100182       125      2662         0     52962     13310    819529   no data   no data  --
644.76/161.70	c  N st    72   1136175       125      2662         0     43670     13310    547859   no data   no data  --
665.48/166.88	c  N st    73   1168568       125      2662         0     74063     13310   1345792   no data   no data  --
697.43/174.84	c  N st    74   1209965       125      2662         0     68902     13310   1202440   no data   no data  --
697.43/174.84	c  S st    74   1209965       125      2662         0     68902     13310   1202440   no data   no data  --
698.20/175.05	c  S st    74   1210466       125      2662         0     69392     13310   1215225   no data   no data  --
698.20/175.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
698.20/175.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
698.20/175.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
698.60/175.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
698.60/175.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
698.60/175.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
698.60/175.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
730.52/183.14	c lits-rem:       933  cl-subs:     4804  v-elim:      0  v-fix:    0  time: 31.99 s
730.52/183.14	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
730.52/183.16	c vivif2 --  cl tried    64588 cl shrink        0 lits rem          0 time: 0.06
732.12/183.58	c asymm  cl-useful: 0/1725/2662 lits-rem:0 time: 1.71
732.12/183.59	c calculated reachability. Time: 0.00
732.12/183.59	c  N st    74   1210466       125      2662         0     64588     13310   1090874   no data   no data  --
803.93/201.59	c  N st    75   1283348       125      2662         0     87589     13310   1667654   no data   no data  --
903.71/226.55	c  N st    76   1392672       125      2662         0     49838     13310    634324   no data   no data  --
1049.71/263.17	c  N st    77   1556656       125      2662         0     54251     13310    704611   no data   no data  --
1173.41/294.16	c  N st    78   1710468       125      2662         0     94077     13310   1705923   no data   no data  --
1173.41/294.16	c  S st    78   1710468       125      2662         0     94077     13310   1705923   no data   no data  --
1174.61/294.46	c  S st    78   1710974       125      2662         0     94571     13310   1719294   no data   no data  --
1174.61/294.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1174.61/294.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1175.01/294.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1175.01/294.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1175.01/294.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1175.01/294.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1175.01/294.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1307.48/327.77	c lits-rem:      1336  cl-subs:    11411  v-elim:      0  v-fix:    0  time: 132.43 s
1307.48/327.77	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1307.48/327.79	c vivif2 --  cl tried    83160 cl shrink        0 lits rem          0 time: 0.08
1309.05/328.16	c asymm  cl-useful: 0/937/2662 lits-rem:0 time: 1.47
1309.05/328.16	c calculated reachability. Time: 0.00
1309.05/328.16	c  N st    78   1710974       125      2662         0     83160     13310   1452489   no data   no data  --
1660.97/416.40	c  N st    79   2079940       125      2662         0     94851     13310   1635397   no data   no data  --
1777.51/445.52	c  N st    80   2210974       125      2662         0     99165     13310   1731576   no data   no data  --
1777.51/445.52	c  S st    80   2210974       125      2662         0     99165     13310   1731576   no data   no data  --
1778.67/445.85	c  S st    80   2211477       125      2662         0     99652     13310   1744487   no data   no data  --
1778.67/445.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1778.67/445.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1779.07/445.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1779.07/445.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1779.07/445.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1779.07/445.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1779.07/445.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1874.42/469.81	c lits-rem:      2538  cl-subs:     9940  v-elim:      0  v-fix:    0  time: 95.13 s
1874.42/469.81	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1874.42/469.83	c vivif2 --  cl tried    89712 cl shrink        0 lits rem          0 time: 0.07
1875.62/470.18	c asymm  cl-useful: 0/1399/2662 lits-rem:0 time: 1.37
1875.62/470.18	c calculated reachability. Time: 0.00
1875.62/470.18	c  N st    80   2211477       125      2662         0     89712     13310   1501665   no data   no data  --
2381.15/596.81	c  N st    81   2711480       125      2662         0    112108     13310   2011953   no data   no data  --
2381.15/596.81	c  S st    81   2711480       125      2662         0    112108     13310   2011953   no data   no data  --
2382.35/597.17	c  S st    81   2711982       125      2662         0    112597     13310   2024998   no data   no data  --
2382.35/597.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2382.35/597.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2382.77/597.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
2382.77/597.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2382.77/597.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2382.77/597.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2382.77/597.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2524.78/632.88	c lits-rem:      1416  cl-subs:    12944  v-elim:      0  v-fix:    0  time: 141.91 s
2524.78/632.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2525.18/632.90	c vivif2 --  cl tried    99653 cl shrink        0 lits rem          0 time: 0.09
2526.38/633.27	c asymm  cl-useful: 0/981/2662 lits-rem:0 time: 1.47
2526.38/633.27	c calculated reachability. Time: 0.00
2526.38/633.27	c  N st    81   2711982       125      2662         0     99653     13310   1711992   no data   no data  --
3112.10/780.05	c  N st    82   3211985       125      2662         0     77264     13310    965785   no data   no data  --
3112.10/780.05	c  S st    82   3211985       125      2662         0     77264     13310    965785   no data   no data  --
3113.30/780.30	c  S st    82   3212490       125      2662         0     77750     13310    979150   no data   no data  --
3113.30/780.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3113.30/780.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3113.30/780.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
3113.30/780.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3113.30/780.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3113.30/780.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3113.30/780.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3137.24/786.32	c lits-rem:       602  cl-subs:     1499  v-elim:      0  v-fix:    0  time: 23.74 s
3137.24/786.32	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3137.24/786.33	c vivif2 --  cl tried    76251 cl shrink        0 lits rem          0 time: 0.06
3138.43/786.63	c asymm  cl-useful: 0/1492/2662 lits-rem:0 time: 1.19
3138.43/786.64	c calculated reachability. Time: 0.00
3138.43/786.64	c  N st    82   3212490       125      2662         0     76251     13310    945709   no data   no data  --
3736.53/936.52	c  N st    83   3712490       125      2662         0     86523     13310   1134551   no data   no data  --
3736.53/936.52	c  S st    83   3712490       125      2662         0     86523     13310   1134551   no data   no data  --
3737.73/936.80	c  S st    83   3712996       125      2662         0     87020     13310   1147924   no data   no data  --
3737.73/936.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3737.73/936.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3737.73/936.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3737.73/936.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3737.73/936.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3737.73/936.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3737.73/936.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3764.06/943.43	c lits-rem:      1074  cl-subs:     1870  v-elim:      0  v-fix:    0  time: 26.12 s
3764.06/943.43	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3764.06/943.44	c vivif2 --  cl tried    85150 cl shrink        0 lits rem          0 time: 0.06
3765.28/943.77	c asymm  cl-useful: 0/1149/2662 lits-rem:0 time: 1.31
3765.28/943.78	c calculated reachability. Time: 0.00
3765.28/943.78	c  N st    83   3712996       125      2662         0     85150     13310   1099834   no data   no data  --
3807.55/954.39	c  F st    84   3751562       125      2662         0    121266     13310   2086582   no data   no data  --
3807.55/954.39	c  N st    84   3751562       125      2662         0    121266     13310   2086582   no data   no data  --
3817.13/956.77	c Decided on static restart strategy
3856.23/966.52	c  N st    94   3779865       125      2662         0    147877     13310   2789790   no data   no data  --
3903.30/978.39	c  N st    96   3815857       125      2662         0    102411     13310   1535157   no data   no data  --
3943.61/988.46	c  N st    97   3848250       125      2662         0    132787     13310   2371735   no data   no data  --
4019.43/1007.49	c  N st    98   3896838       125      2662         0     97977     13310   1409838   no data   no data  --
4126.75/1034.38	c  N st    99   3969720       125      2662         0     84801     13310   1027935   no data   no data  --
4292.37/1075.82	c  N st   100   4079043       125      2662         0    104620     13310   1538966   no data   no data  --
4471.49/1120.76	c  N st   101   4212996       125      2662         0    146923     13310   2706831   no data   no data  --
4471.49/1120.76	c  S st   101   4212996       125      2662         0    146923     13310   2706831   no data   no data  --
4473.48/1121.26	c  S st   101   4213501       125      2662         0    147404     13310   2719877   no data   no data  --
4473.48/1121.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4473.48/1121.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4473.88/1121.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4474.28/1121.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4474.28/1121.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4474.28/1121.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4474.28/1121.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3368860-1305404657/watcher-3368860-1305404657 -o /tmp/evaluation-result-3368860-1305404657/solver-3368860-1305404657 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368860-1305404657.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: 7.41 7.95 7.99 2/314 7874
/proc/meminfo: memFree=11167900/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=216248 CPUtime=0 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 666 0 0 0 0 0 0 0 18 0 4 0 652068068 221437952 594 33554432000 4194304 4650419 140736947832704 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 54062 597 343 112 0 49027 0
[pid=7874/tid=7876] ppid=7872 vsize=216376 CPUtime=0 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 110 0 0 0 0 0 0 0 21 0 4 0 652068069 221569024 757 33554432000 4194304 4650419 140736947832704 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=216376 CPUtime=0 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 4 0 652068069 221569024 758 33554432000 4194304 4650419 140736947832704 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=216376 CPUtime=0 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 107 0 0 0 0 0 0 0 18 0 4 0 652068069 221569024 758 33554432000 4194304 4650419 140736947832704 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.096491 s]
/proc/loadavg: 7.41 7.95 7.99 2/314 7874
/proc/meminfo: memFree=11167900/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=217832 CPUtime=0.35 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 1812 0 0 0 35 0 0 0 18 0 4 0 652068068 223059968 1674 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 54458 1674 389 112 0 49423 0
[pid=7874/tid=7876] ppid=7872 vsize=217832 CPUtime=0.08 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 413 0 0 0 8 0 0 0 21 0 4 0 652068069 223059968 1674 33554432000 4194304 4650419 140736947832704 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=217832 CPUtime=0.08 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 316 0 0 0 8 0 0 0 21 0 4 0 652068069 223059968 1674 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=217832 CPUtime=0.08 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 227 0 0 0 8 0 0 0 18 0 4 0 652068069 223059968 1674 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366920 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) 217832

[startup+0.10049 s]
/proc/loadavg: 7.41 7.95 7.99 2/314 7874
/proc/meminfo: memFree=11167900/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=217964 CPUtime=0.36 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 1836 0 0 0 36 0 0 0 18 0 4 0 652068068 223195136 1698 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 54491 1698 389 112 0 49456 0
[pid=7874/tid=7876] ppid=7872 vsize=217964 CPUtime=0.08 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 418 0 0 0 8 0 0 0 21 0 4 0 652068069 223195136 1698 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=217964 CPUtime=0.08 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 320 0 0 0 8 0 0 0 21 0 4 0 652068069 223195136 1698 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=217964 CPUtime=0.09 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 236 0 0 0 9 0 0 0 18 0 4 0 652068069 223195136 1699 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 217964

[startup+0.300452 s]
/proc/loadavg: 7.41 7.95 7.99 2/314 7874
/proc/meminfo: memFree=11167900/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=219592 CPUtime=1.16 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 3150 0 0 0 116 0 0 0 18 0 4 0 652068068 224862208 2382 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 54898 2382 391 112 0 49863 0
[pid=7874/tid=7876] ppid=7872 vsize=219592 CPUtime=0.28 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 746 0 0 0 28 0 0 0 21 0 4 0 652068069 224862208 2382 33554432000 4194304 4650419 140736947832704 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=219592 CPUtime=0.28 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 639 0 0 0 28 0 0 0 21 0 4 0 652068069 224862208 2382 33554432000 4194304 4650419 140736947832704 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=219592 CPUtime=0.29 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 554 0 0 0 29 0 0 0 18 0 4 0 652068069 224862208 2382 33554432000 4194304 4650419 140736947832704 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 219592

[startup+0.700376 s]
/proc/loadavg: 7.41 7.95 7.99 2/314 7874
/proc/meminfo: memFree=11167900/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=221392 CPUtime=2.76 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 5653 0 0 0 275 1 0 0 18 0 4 0 652068068 226705408 2736 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 55348 2736 391 112 0 50313 0
[pid=7874/tid=7876] ppid=7872 vsize=221392 CPUtime=0.68 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 1401 0 0 0 68 0 0 0 22 0 4 0 652068069 226705408 2736 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=221392 CPUtime=0.68 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 1244 0 0 0 68 0 0 0 22 0 4 0 652068069 226705408 2736 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=221392 CPUtime=0.69 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 1140 0 0 0 69 0 0 0 18 0 4 0 652068069 226705408 2736 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 221392

[startup+1.50023 s]
/proc/loadavg: 7.41 7.95 7.99 9/324 7887
/proc/meminfo: memFree=11136200/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=219516 CPUtime=5.95 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 11052 0 0 0 593 2 0 0 20 0 4 0 652068068 224784384 5873 33554432000 4194304 4650419 140736947832704 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 54879 5873 393 112 0 49844 0
[pid=7874/tid=7876] ppid=7872 vsize=219516 CPUtime=1.47 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 3108 0 0 0 146 1 0 0 25 0 4 0 652068069 224784384 5873 33554432000 4194304 4650419 140736947832704 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=219516 CPUtime=1.48 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 2168 0 0 0 148 0 0 0 25 0 4 0 652068069 224784384 5873 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=219516 CPUtime=1.49 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 1982 0 0 0 149 0 0 0 20 0 4 0 652068069 224784384 5873 33554432000 4194304 4650419 140736947832704 18446744073709551615 4334120 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) 219516

[startup+3.10092 s]
/proc/loadavg: 7.41 7.95 7.99 9/324 7887
/proc/meminfo: memFree=11091684/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=233256 CPUtime=12.34 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 18432 0 0 0 1231 3 0 0 25 0 4 0 652068068 238854144 11821 33554432000 4194304 4650419 140736947832704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 58314 11821 393 112 0 53279 0
[pid=7874/tid=7876] ppid=7872 vsize=233256 CPUtime=3.06 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 4254 0 0 0 305 1 0 0 25 0 4 0 652068069 238854144 11821 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=233256 CPUtime=3.08 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 4269 0 0 0 308 0 0 0 25 0 4 0 652068069 238854144 11821 33554432000 4194304 4650419 140736947832704 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=233256 CPUtime=3.08 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 4304 0 0 0 308 0 0 0 25 0 4 0 652068069 238854144 11821 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 233256

[startup+6.30032 s]
/proc/loadavg: 7.45 7.95 7.99 9/324 7887
/proc/meminfo: memFree=11044824/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=241776 CPUtime=25.1 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 27713 0 0 0 2505 5 0 0 25 0 4 0 652068068 247578624 15142 33554432000 4194304 4650419 140736947832704 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 60444 15142 393 112 0 55409 0
[pid=7874/tid=7876] ppid=7872 vsize=241776 CPUtime=6.22 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 7133 0 0 0 621 1 0 0 25 0 4 0 652068069 247578624 15142 33554432000 4194304 4650419 140736947832704 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=241776 CPUtime=6.28 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 7500 0 0 0 627 1 0 0 25 0 4 0 652068069 247578624 15142 33554432000 4194304 4650419 140736947832704 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=241776 CPUtime=6.28 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 6070 0 0 0 627 1 0 0 25 0 4 0 652068069 247578624 15142 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 241776

[startup+12.7011 s]
/proc/loadavg: 7.50 7.95 7.99 9/324 7887
/proc/meminfo: memFree=10991844/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=260232 CPUtime=50.64 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 40668 0 0 0 5057 7 0 0 25 0 4 0 652068068 266477568 21710 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 65058 21710 393 112 0 60023 0
[pid=7874/tid=7876] ppid=7872 vsize=260232 CPUtime=12.56 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 10820 0 0 0 1254 2 0 0 25 0 4 0 652068069 266477568 21710 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=260232 CPUtime=12.68 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 10529 0 0 0 1266 2 0 0 25 0 4 0 652068069 266477568 21710 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=260232 CPUtime=12.68 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 9932 0 0 0 1267 1 0 0 25 0 4 0 652068069 266477568 21710 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365357 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) 260232

[startup+25.5007 s]
/proc/loadavg: 7.68 7.97 8.00 9/324 7887
/proc/meminfo: memFree=10947700/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=265888 CPUtime=101.71 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 59443 0 0 0 10160 11 0 0 25 0 4 0 652068068 272269312 26886 33554432000 4194304 4650419 140736947832704 18446744073709551615 4367241 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 66472 26886 393 112 0 61437 0
[pid=7874/tid=7876] ppid=7872 vsize=265888 CPUtime=25.23 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 17184 0 0 0 2520 3 0 0 25 0 4 0 652068069 272269312 26886 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=265888 CPUtime=25.48 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 16017 0 0 0 2545 3 0 0 25 0 4 0 652068069 272269312 26886 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=265888 CPUtime=25.48 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 12925 0 0 0 2547 1 0 0 25 0 4 0 652068069 272269312 26886 33554432000 4194304 4650419 140736947832704 18446744073709551615 4364775 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) 265888

[startup+51.1008 s]
/proc/loadavg: 7.79 7.97 8.00 9/324 7888
/proc/meminfo: memFree=10895812/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=264932 CPUtime=203.85 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 91154 0 0 0 20366 19 0 0 25 0 4 0 652068068 271290368 31590 33554432000 4194304 4650419 140736947832704 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 66233 31590 393 112 0 61198 0
[pid=7874/tid=7876] ppid=7872 vsize=264932 CPUtime=50.57 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 26391 0 0 0 5052 5 0 0 25 0 4 0 652068069 271290368 31590 33554432000 4194304 4650419 140736947832704 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=264932 CPUtime=51.07 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 24680 0 0 0 5102 5 0 0 25 0 4 0 652068069 271290368 31590 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=264932 CPUtime=51.09 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 18885 0 0 0 5106 3 0 0 25 0 4 0 652068069 271290368 31590 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 264932

[startup+102.312 s]
/proc/loadavg: 8.02 8.00 8.01 9/324 7889
/proc/meminfo: memFree=10813840/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=275980 CPUtime=408.17 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 147782 0 0 0 40782 35 0 0 25 0 4 0 652068068 282603520 42890 33554432000 4194304 4650419 140736947832704 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 68995 42890 393 112 0 63960 0
[pid=7874/tid=7876] ppid=7872 vsize=275980 CPUtime=101.27 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 39465 0 0 0 10119 8 0 0 25 0 4 0 652068069 282603520 42890 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=275980 CPUtime=102.28 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 38850 0 0 0 10218 10 0 0 25 0 4 0 652068069 282603520 42890 33554432000 4194304 4650419 140736947832704 18446744073709551615 4327629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=275980 CPUtime=102.3 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 29970 0 0 0 10223 7 0 0 25 0 4 0 652068069 282603520 42890 33554432000 4194304 4650419 140736947832704 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 275980

[startup+162.301 s]

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

[pid=7874] ppid=7872 vsize=538052 CPUtime=2802.08 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 438214 0 0 0 280055 153 0 0 25 0 4 0 652068068 550965248 102910 33554432000 4194304 4650419 140736947832704 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 134513 102910 393 112 0 129478 0
[pid=7874/tid=7876] ppid=7872 vsize=538052 CPUtime=695.26 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 117160 0 0 0 69487 39 0 0 25 0 4 0 652068069 550965248 102910 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=538052 CPUtime=702.19 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 123309 0 0 0 70177 42 0 0 25 0 4 0 652068069 550965248 102910 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=538052 CPUtime=702.31 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 72586 0 0 0 70205 26 0 0 25 0 4 0 652068069 550965248 102910 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.08
Current children cumulated vsize (KiB) 538052

[startup+762.312 s]
/proc/loadavg: 8.12 8.09 8.02 9/324 7907
/proc/meminfo: memFree=10373468/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=512512 CPUtime=3041.51 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 458586 0 0 0 303988 163 0 0 25 0 4 0 652068068 524812288 93293 33554432000 4194304 4650419 140736947832704 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 128128 93293 393 112 0 123093 0
[pid=7874/tid=7876] ppid=7872 vsize=512512 CPUtime=754.67 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 121995 0 0 0 75426 41 0 0 25 0 4 0 652068069 524812288 93293 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=512512 CPUtime=762.2 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 128833 0 0 0 76175 45 0 0 25 0 4 0 652068069 524812288 93293 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=512512 CPUtime=762.32 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 78304 0 0 0 76202 30 0 0 25 0 4 0 652068069 524812288 93293 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.51
Current children cumulated vsize (KiB) 512512

[startup+822.3 s]
/proc/loadavg: 8.11 8.08 8.02 9/324 7909
/proc/meminfo: memFree=10328300/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=525248 CPUtime=3280.88 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 476755 0 0 0 327916 172 0 0 25 0 4 0 652068068 537853952 101822 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 131312 101822 393 112 0 126277 0
[pid=7874/tid=7876] ppid=7872 vsize=525248 CPUtime=814.07 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 129293 0 0 0 81362 45 0 0 25 0 4 0 652068069 537853952 101822 33554432000 4194304 4650419 140736947832704 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=525248 CPUtime=822.18 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 133830 0 0 0 82171 47 0 0 25 0 4 0 652068069 537853952 101822 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=525248 CPUtime=822.31 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 83237 0 0 0 82199 32 0 0 25 0 4 0 652068069 537853952 101822 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.88
Current children cumulated vsize (KiB) 525248

[startup+882.301 s]
/proc/loadavg: 8.16 8.10 8.02 9/324 7910
/proc/meminfo: memFree=10316472/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=604376 CPUtime=3520.27 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 494009 0 0 0 351847 180 0 0 25 0 4 0 652068068 618881024 104067 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 151094 104067 393 112 0 146059 0
[pid=7874/tid=7876] ppid=7872 vsize=604376 CPUtime=873.47 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 129782 0 0 0 87302 45 0 0 25 0 4 0 652068069 618881024 104067 33554432000 4194304 4650419 140736947832704 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=604376 CPUtime=882.17 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 137581 0 0 0 88168 49 0 0 25 0 4 0 652068069 618881024 104067 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=604376 CPUtime=882.31 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 88743 0 0 0 88196 35 0 0 25 0 4 0 652068069 618881024 104067 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.27
Current children cumulated vsize (KiB) 604376

[startup+942.301 s]
/proc/loadavg: 8.12 8.09 8.02 9/324 7912
/proc/meminfo: memFree=10291256/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=538416 CPUtime=3759.67 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 511604 0 0 0 375779 188 0 0 25 0 4 0 652068068 551337984 105384 33554432000 4194304 4650419 140736947832704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 134604 105384 393 112 0 129569 0
[pid=7874/tid=7876] ppid=7872 vsize=538416 CPUtime=932.87 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 135286 0 0 0 93240 47 0 0 25 0 4 0 652068069 551337984 105384 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=538416 CPUtime=942.16 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 141837 0 0 0 94165 51 0 0 25 0 4 0 652068069 551337984 105384 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=538416 CPUtime=942.31 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 91105 0 0 0 94195 36 0 0 25 0 4 0 652068069 551337984 105384 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.67
Current children cumulated vsize (KiB) 538416

[startup+1002.3 s]
/proc/loadavg: 8.21 8.12 8.03 9/324 7913
/proc/meminfo: memFree=10279208/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=672764 CPUtime=3999.07 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 531562 0 0 0 399709 198 0 0 25 0 4 0 652068068 688910336 111513 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 168191 111513 393 112 0 163156 0
[pid=7874/tid=7876] ppid=7872 vsize=672764 CPUtime=992.27 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 139747 0 0 0 99178 49 0 0 25 0 4 0 652068069 688910336 111513 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=672764 CPUtime=1002.16 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 147135 0 0 0 100162 54 0 0 25 0 4 0 652068069 688910336 111513 33554432000 4194304 4650419 140736947832704 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=672764 CPUtime=1002.32 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 95590 0 0 0 100193 39 0 0 25 0 4 0 652068069 688910336 111513 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.07
Current children cumulated vsize (KiB) 672764

[startup+1062.3 s]
/proc/loadavg: 8.07 8.10 8.03 9/324 7915
/proc/meminfo: memFree=10275820/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=552536 CPUtime=4238.46 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 548852 0 0 0 423639 207 0 0 25 0 4 0 652068068 565796864 114477 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 138134 114477 393 112 0 133099 0
[pid=7874/tid=7876] ppid=7872 vsize=552536 CPUtime=1051.68 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 145209 0 0 0 105116 52 0 0 25 0 4 0 652068069 565796864 114477 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=552536 CPUtime=1062.15 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 150859 0 0 0 106159 56 0 0 25 0 4 0 652068069 565796864 114477 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=552536 CPUtime=1062.32 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 96791 0 0 0 106193 39 0 0 25 0 4 0 652068069 565796864 114477 33554432000 4194304 4650419 140736947832704 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.46
Current children cumulated vsize (KiB) 552536

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/324 7917
/proc/meminfo: memFree=10227288/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=618312 CPUtime=4477.87 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 567013 0 0 0 447570 217 0 0 25 0 4 0 652068068 633151488 117731 33554432000 4194304 4650419 140736947832704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 154578 117731 393 112 0 149543 0
[pid=7874/tid=7876] ppid=7872 vsize=618312 CPUtime=1111.08 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 148464 0 0 0 111054 54 0 0 25 0 4 0 652068069 633151488 117731 33554432000 4194304 4650419 140736947832704 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=618312 CPUtime=1122.15 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 158826 0 0 0 112155 60 0 0 25 0 4 0 652068069 633151488 117731 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=618312 CPUtime=1122.32 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 99798 0 0 0 112192 40 0 0 25 0 4 0 652068069 633151488 117731 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.87
Current children cumulated vsize (KiB) 618312

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.03 9/324 7918
/proc/meminfo: memFree=10181740/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=646180 CPUtime=4717.26 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 582974 0 0 0 471500 226 0 0 25 0 4 0 652068068 661688320 123389 33554432000 4194304 4650419 140736947832704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 161545 123389 393 112 0 156510 0
[pid=7874/tid=7876] ppid=7872 vsize=646180 CPUtime=1170.48 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 153262 0 0 0 116991 57 0 0 25 0 4 0 652068069 661688320 123389 33554432000 4194304 4650419 140736947832704 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=646180 CPUtime=1182.13 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 166596 0 0 0 118150 63 0 0 25 0 4 0 652068069 661688320 123389 33554432000 4194304 4650419 140736947832704 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=646180 CPUtime=1182.32 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 102370 0 0 0 118189 43 0 0 25 0 4 0 652068069 661688320 123389 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.26
Current children cumulated vsize (KiB) 646180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.05 8.09 8.03 9/324 7919
/proc/meminfo: memFree=10158672/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=646180 CPUtime=4800.25 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 585099 0 0 0 479798 227 0 0 25 0 4 0 652068068 661688320 125446 33554432000 4194304 4650419 140736947832704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 161545 125446 393 112 0 156510 0
[pid=7874/tid=7876] ppid=7872 vsize=646180 CPUtime=1191.05 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 155387 0 0 0 119048 57 0 0 25 0 4 0 652068069 661688320 125446 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=646180 CPUtime=1202.94 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 166596 0 0 0 120231 63 0 0 25 0 4 0 652068069 661688320 125446 33554432000 4194304 4650419 140736947832704 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=646180 CPUtime=1203.13 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 102370 0 0 0 120270 43 0 0 25 0 4 0 652068069 661688320 125446 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 646180

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

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

[startup+1203.1 s]
/proc/loadavg: 8.05 8.09 8.03 9/324 7919
/proc/meminfo: memFree=10158672/32951124 swapFree=67093864/67111528
[pid=7874] ppid=7872 vsize=646180 CPUtime=4800.25 cores=0,2,4,6
/proc/7874/stat : 7874 (strangenight1-m) R 7872 7874 7247 0 -1 4202496 585099 0 0 0 479798 227 0 0 25 0 4 0 652068068 661688320 125446 33554432000 4194304 4650419 140736947832704 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7874/statm: 161545 125446 393 112 0 156510 0
[pid=7874/tid=7876] ppid=7872 vsize=646180 CPUtime=1191.05 cores=0,2,4,6
/proc/7874/task/7876/stat : 7876 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 155387 0 0 0 119048 57 0 0 25 0 4 0 652068069 661688320 125446 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7874/tid=7877] ppid=7872 vsize=646180 CPUtime=1202.94 cores=0,2,4,6
/proc/7874/task/7877/stat : 7877 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 166596 0 0 0 120231 63 0 0 25 0 4 0 652068069 661688320 125446 33554432000 4194304 4650419 140736947832704 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7874/tid=7878] ppid=7872 vsize=646180 CPUtime=1203.13 cores=0,2,4,6
/proc/7874/task/7878/stat : 7878 (strangenight1-m) R 7872 7874 7247 0 -1 4202560 102370 0 0 0 120270 43 0 0 25 0 4 0 652068069 661688320 125446 33554432000 4194304 4650419 140736947832704 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 646180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.32
CPU user time (s): 4798.02
CPU system time (s): 2.29865
CPU usage (%): 398.982
Max. virtual memory (cumulated for all children) (KiB): 701620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.02
system time used= 2.29865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 335
involuntary context switches= 34609

runsolver used 3.35049 second user time and 8.74867 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-14 22:24:17
IDJOB=3368860
IDBENCH=82869
IDSOLVER=1846
FILE ID=node102/3368860-1305404657
RUNJOBID= node102-1305404657-7860
PBS_JOBID= 13324460
Free space on /tmp= 73536 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368860-1305404657/watcher-3368860-1305404657 -o /tmp/evaluation-result-3368860-1305404657/solver-3368860-1305404657 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368860-1305404657.cnf

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

MD5SUM BENCH= 10f0c0c20b1ddb1f4561bcd231d72d23
RANDOM SEED=926634272

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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:      11168444 kB
Buffers:        255560 kB
Cached:        2794052 kB
SwapCached:       1128 kB
Active:       19507728 kB
Inactive:      1981244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11168444 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:            6236 kB
Writeback:           0 kB
AnonPages:    18438280 kB
Mapped:          26132 kB
Slab:           176720 kB
PageTables:      52976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59039276 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= 73524 MiB
End job on node102 at 2011-05-14 22:44:22