Trace number 3175251

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.44 1201.64

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-3175251-1304103951.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.01	c Parsing time:  0.00 s
0.00/0.01	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.04
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.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.13	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.13	c calculated reachability. Time: 0.00
0.00/0.13	c Calc default polars -  time:   0.00 s pos:      58 undec:       5 neg:      62
0.00/0.13	c =========================================================================================
0.00/0.13	c types(t): F = full restart, N = normal restart
0.00/0.13	c types(t): S = simplification begin/end, E = solution found
0.00/0.13	c restart types(rt): st = static, dy = dynamic
0.00/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.13	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.13	c Decided on static restart strategy
0.00/0.13	c  N st     8      4915       125      2662         0      4676     13310    122132   no data   no data  --
3.17/0.80	c  N st    10     11299       125      2662         0      4315     13310     86803   no data   no data  --
3.17/0.80	c  N st    11     17042       125      2662         0      9725     13310    232836   no data   no data  --
3.57/0.90	c  F st    12     25001       125      2662         0     11937     13310    287864   no data   no data  --
3.57/0.90	c  N st    12     25001       125      2662         0     11937     13310    287864   no data   no data  --
4.38/1.11	c Decided on static restart strategy
4.38/1.11	c  N st    18     30002       125      2662         0     10214     13310    226933   no data   no data  --
4.38/1.11	c  S st    18     30002       125      2662         0     10214     13310    226933   no data   no data  --
4.38/1.11	c  S st    18     30505       125      2662         0     10703     13310    239636   no data   no data  --
4.38/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.38/1.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.38/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.38/1.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.38/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.38/1.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.77/1.72	c lits-rem:      2221  cl-subs:     1377  v-elim:      0  v-fix:    0  time:  2.48 s
6.77/1.76	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.16
6.77/1.76	c calculated reachability. Time: 0.00
6.77/1.76	c  N st    18     30505       125      2662         0      9326     13310    199058   no data   no data  --
7.96/2.09	c  N st    20     37615       125      2662         0      8647     13310    168168   no data   no data  --
9.18/2.39	c  N st    21     44015       125      2662         0     14654     13310    323144   no data   no data  --
9.56/2.49	c  S st    22     45758       125      2662         0     16277     13310    365755   no data   no data  --
9.96/2.54	c  S st    22     46262       125      2662         0     16767     13310    378587   no data   no data  --
9.96/2.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.96/2.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.96/2.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.96/2.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.84	c lits-rem:      3373  cl-subs:     1634  v-elim:      0  v-fix:    0  time:  5.13 s
15.16/3.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.16/3.84	c vivif2 --  cl tried    15133 cl shrink        0 lits rem          0 time: 0.02
15.56/3.92	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.31
15.56/3.92	c calculated reachability. Time: 0.00
15.56/3.92	c  N st    22     46262       125      2662         0     15133     13310    330919   no data   no data  --
18.76/4.74	c  N st    23     60659       125      2662         0     10922     13310    196265   no data   no data  --
20.75/5.26	c  N st    24     69393       125      2662         0     19126     13310    404867   no data   no data  --
20.75/5.26	c  S st    24     69393       125      2662         0     19126     13310    404867   no data   no data  --
21.15/5.30	c  S st    24     69896       125      2662         0     19616     13310    417842   no data   no data  --
21.15/5.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.15/5.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.15/5.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.15/5.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.15/5.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.15/5.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
21.15/5.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.14/6.82	c lits-rem:      4009  cl-subs:     2188  v-elim:      0  v-fix:    0  time:  5.96 s
27.14/6.82	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.14/6.82	c vivif2 --  cl tried    17428 cl shrink        0 lits rem          0 time: 0.02
27.54/6.90	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.31
27.54/6.90	c calculated reachability. Time: 0.00
27.54/6.90	c  N st    24     69896       125      2662         0     17428     13310    357116   no data   no data  --
31.94/8.02	c  F st    25     87501       125      2662         0     12464     13310    214627   no data   no data  --
31.94/8.02	c  N st    25     87501       125      2662         0     12464     13310    214627   no data   no data  --
33.14/8.32	c Decided on static restart strategy
33.94/8.51	c  N st    32     95542       125      2662         0     20093     13310    409014   no data   no data  --
36.33/9.19	c  N st    34    104844       125      2662         0     16579     13310    309591   no data   no data  --
36.33/9.19	c  S st    34    104844       125      2662         0     16579     13310    309591   no data   no data  --
36.73/9.24	c  S st    34    105350       125      2662         0     17073     13310    322620   no data   no data  --
36.73/9.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.73/9.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.73/9.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
36.73/9.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.73/9.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.73/9.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
36.73/9.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.53/10.41	c lits-rem:      1994  cl-subs:     1246  v-elim:      0  v-fix:    0  time:  4.63 s
41.53/10.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.53/10.41	c vivif2 --  cl tried    15827 cl shrink        0 lits rem          0 time: 0.01
41.53/10.48	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
41.53/10.48	c calculated reachability. Time: 0.00
41.53/10.48	c  N st    34    105350       125      2662         0     15827     13310    289306   no data   no data  --
44.34/11.15	c  N st    35    114948       125      2662         0     24821     13310    531621   no data   no data  --
47.92/12.09	c  N st    36    129347       125      2662         0     25187     13310    528813   no data   no data  --
55.12/13.82	c  N st    37    150942       125      2662         0     16452     13310    263656   no data   no data  --
56.72/14.28	c  S st    38    158026       125      2662         0     23126     13310    438918   no data   no data  --
57.13/14.34	c  S st    38    158528       125      2662         0     23610     13310    451875   no data   no data  --
57.13/14.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.13/14.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.13/14.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
57.13/14.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.13/14.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.13/14.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
57.13/14.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.10/15.82	c lits-rem:      3112  cl-subs:     1710  v-elim:      0  v-fix:    0  time:  5.81 s
63.10/15.82	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
63.10/15.82	c vivif2 --  cl tried    21900 cl shrink        0 lits rem          0 time: 0.02
63.50/15.94	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.47
63.50/15.94	c calculated reachability. Time: 0.00
63.50/15.94	c  N st    38    158528       125      2662         0     21900     13310    402922   no data   no data  --
79.51/19.94	c  N st    39    207117       125      2662         0     34747     13310    735726   no data   no data  --
90.27/22.62	c  N st    40    237793       125      2662         0     26869     13310    488865   no data   no data  --
90.27/22.62	c  S st    40    237793       125      2662         0     26869     13310    488865   no data   no data  --
90.27/22.69	c  S st    40    238295       125      2662         0     27353     13310    501441   no data   no data  --
90.27/22.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
90.27/22.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.27/22.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
90.67/22.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.67/22.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.67/22.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
90.67/22.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
97.46/24.42	c lits-rem:      3655  cl-subs:     2020  v-elim:      0  v-fix:    0  time:  6.81 s
97.46/24.42	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
97.46/24.42	c vivif2 --  cl tried    25333 cl shrink        0 lits rem          0 time: 0.02
97.86/24.54	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.47
97.86/24.54	c calculated reachability. Time: 0.00
97.86/24.54	c  N st    40    238295       125      2662         0     25333     13310    447301   no data   no data  --
123.05/30.88	c  F st    41    306253       125      2662         0     27128     13310    450622   no data   no data  --
123.05/30.88	c  N st    41    306253       125      2662         0     27128     13310    450622   no data   no data  --
125.03/31.37	c Decided on static restart strategy
135.02/33.83	c  N st    51    334555       125      2662         0     31295     13310    541633   no data   no data  --
145.02/36.34	c  N st    53    357442       125      2662         0     29310     13310    473668   no data   no data  --
145.02/36.34	c  S st    53    357442       125      2662         0     29310     13310    473668   no data   no data  --
145.43/36.41	c  S st    53    357948       125      2662         0     29802     13310    486659   no data   no data  --
145.43/36.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
145.43/36.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
145.43/36.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
145.43/36.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.43/36.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.43/36.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
145.43/36.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
151.40/37.97	c lits-rem:      2634  cl-subs:     1267  v-elim:      0  v-fix:    0  time:  6.11 s
151.40/37.97	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
151.40/37.97	c vivif2 --  cl tried    28535 cl shrink        0 lits rem          0 time: 0.02
152.19/38.11	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.55
152.19/38.11	c calculated reachability. Time: 0.00
152.19/38.11	c  N st    53    357948       125      2662         0     28535     13310    450371   no data   no data  --
170.58/42.79	c  N st    54    390342       125      2662         0     34597     13310    594171   no data   no data  --
196.14/49.13	c  N st    55    438930       125      2662         0     28464     13310    414242   no data   no data  --
231.30/57.91	c  N st    56    511812       125      2662         0     41443     13310    725457   no data   no data  --
244.48/61.25	c  N st    57    536924       125      2662         0     35988     13310    566254   no data   no data  --
244.48/61.25	c  S st    57    536924       125      2662         0     35988     13310    566254   no data   no data  --
244.88/61.34	c  S st    57    537427       125      2662         0     36483     13310    579289   no data   no data  --
244.88/61.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
244.88/61.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
244.88/61.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
244.88/61.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
244.88/61.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.88/61.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
244.88/61.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
251.68/63.06	c lits-rem:      2225  cl-subs:     1475  v-elim:      0  v-fix:    0  time:  6.72 s
251.68/63.06	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
251.68/63.06	c vivif2 --  cl tried    35008 cl shrink        0 lits rem          0 time: 0.03
252.48/63.25	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.72
252.48/63.25	c calculated reachability. Time: 0.00
252.48/63.25	c  N st    57    537427       125      2662         0     35008     13310    537880   no data   no data  --
335.18/83.93	c  N st    58    701412       125      2662         0     63239     13310   1269817   no data   no data  --
399.50/100.01	c  N st    59    806140       125      2662         0     57288     13310   1048521   no data   no data  --
399.50/100.01	c  S st    59    806140       125      2662         0     57288     13310   1048521   no data   no data  --
399.92/100.19	c  S st    59    806642       125      2662         0     57776     13310   1061974   no data   no data  --
399.92/100.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
399.92/100.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
400.32/100.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
400.32/100.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
400.32/100.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
400.32/100.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
400.32/100.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
423.47/106.05	c lits-rem:      1058  cl-subs:     4599  v-elim:      0  v-fix:    0  time: 23.13 s
423.47/106.05	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
423.47/106.06	c vivif2 --  cl tried    53177 cl shrink        0 lits rem          0 time: 0.04
424.67/106.32	c asymm  cl-useful: 0/2214/2662 lits-rem:0 time: 1.05
424.67/106.32	c calculated reachability. Time: 0.00
424.67/106.32	c  N st    59    806642       125      2662         0     53177     13310    942916   no data   no data  --
591.67/148.12	c  F st    60   1071875       125      2662         0     68212     13310   1221905   no data   no data  --
591.67/148.12	c  N st    60   1071875       125      2662         0     68212     13310   1221905   no data   no data  --
595.67/149.15	c Decided on static restart strategy
615.67/154.13	c  N st    70   1100182       125      2662         0     52962     13310    819529   no data   no data  --
644.81/161.49	c  N st    72   1136175       125      2662         0     43670     13310    547859   no data   no data  --
665.59/166.66	c  N st    73   1168568       125      2662         0     74063     13310   1345792   no data   no data  --
697.15/174.59	c  N st    74   1209965       125      2662         0     68902     13310   1202440   no data   no data  --
697.15/174.59	c  S st    74   1209965       125      2662         0     68902     13310   1202440   no data   no data  --
698.35/174.80	c  S st    74   1210466       125      2662         0     69392     13310   1215225   no data   no data  --
698.35/174.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
698.35/174.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
698.35/174.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
698.35/174.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
698.35/174.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
698.35/174.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
698.35/174.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
733.10/183.50	c lits-rem:       933  cl-subs:     4804  v-elim:      0  v-fix:    0  time: 34.46 s
733.10/183.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
733.10/183.51	c vivif2 --  cl tried    64588 cl shrink        0 lits rem          0 time: 0.06
734.69/183.94	c asymm  cl-useful: 0/1725/2662 lits-rem:0 time: 1.70
734.69/183.94	c calculated reachability. Time: 0.00
734.69/183.94	c  N st    74   1210466       125      2662         0     64588     13310   1090874   no data   no data  --
805.41/201.62	c  N st    75   1283348       125      2662         0     87589     13310   1667654   no data   no data  --
905.70/226.72	c  N st    76   1392672       125      2662         0     49838     13310    634324   no data   no data  --
1051.10/263.10	c  N st    77   1556656       125      2662         0     54251     13310    704611   no data   no data  --
1174.55/294.03	c  N st    78   1710468       125      2662         0     94077     13310   1705923   no data   no data  --
1174.55/294.03	c  S st    78   1710468       125      2662         0     94077     13310   1705923   no data   no data  --
1175.75/294.33	c  S st    78   1710974       125      2662         0     94571     13310   1719294   no data   no data  --
1175.75/294.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1175.75/294.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1175.75/294.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1176.15/294.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1176.15/294.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1176.15/294.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1176.15/294.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1312.37/328.55	c lits-rem:      1336  cl-subs:    11411  v-elim:      0  v-fix:    0  time: 136.18 s
1312.37/328.55	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1312.37/328.57	c vivif2 --  cl tried    83160 cl shrink        0 lits rem          0 time: 0.08
1313.98/328.94	c asymm  cl-useful: 0/937/2662 lits-rem:0 time: 1.46
1313.98/328.94	c calculated reachability. Time: 0.00
1313.98/328.94	c  N st    78   1710974       125      2662         0     83160     13310   1452489   no data   no data  --
1663.14/416.37	c  N st    79   2079940       125      2662         0     94851     13310   1635397   no data   no data  --
1779.41/445.48	c  N st    80   2210974       125      2662         0     99165     13310   1731576   no data   no data  --
1779.41/445.48	c  S st    80   2210974       125      2662         0     99165     13310   1731576   no data   no data  --
1781.00/445.81	c  S st    80   2211477       125      2662         0     99652     13310   1744487   no data   no data  --
1781.00/445.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1781.00/445.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1781.00/445.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1781.40/445.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1781.40/445.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1781.40/445.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1781.40/445.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1881.29/470.94	c lits-rem:      2538  cl-subs:     9940  v-elim:      0  v-fix:    0  time: 99.92 s
1881.29/470.94	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1881.29/470.97	c vivif2 --  cl tried    89712 cl shrink        0 lits rem          0 time: 0.09
1883.26/471.43	c asymm  cl-useful: 0/1399/2662 lits-rem:0 time: 1.87
1883.26/471.44	c calculated reachability. Time: 0.00
1883.26/471.44	c  N st    80   2211477       125      2662         0     89712     13310   1501665   no data   no data  --
2384.23/596.88	c  N st    81   2711480       125      2662         0    112108     13310   2011953   no data   no data  --
2384.23/596.88	c  S st    81   2711480       125      2662         0    112108     13310   2011953   no data   no data  --
2385.83/597.24	c  S st    81   2711982       125      2662         0    112597     13310   2024998   no data   no data  --
2385.83/597.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2385.83/597.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2386.24/597.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
2386.24/597.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2386.24/597.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2386.24/597.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2386.24/597.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2525.24/632.15	c lits-rem:      1416  cl-subs:    12944  v-elim:      0  v-fix:    0  time: 138.91 s
2525.24/632.15	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2525.24/632.17	c vivif2 --  cl tried    99653 cl shrink        0 lits rem          0 time: 0.09
2526.86/632.53	c asymm  cl-useful: 0/981/2662 lits-rem:0 time: 1.46
2526.86/632.54	c calculated reachability. Time: 0.00
2526.86/632.54	c  N st    81   2711982       125      2662         0     99653     13310   1711992   no data   no data  --
3111.33/778.83	c  N st    82   3211985       125      2662         0     77264     13310    965785   no data   no data  --
3111.33/778.83	c  S st    82   3211985       125      2662         0     77264     13310    965785   no data   no data  --
3112.12/779.08	c  S st    82   3212490       125      2662         0     77750     13310    979150   no data   no data  --
3112.12/779.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3112.12/779.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3112.52/779.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
3112.52/779.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3112.52/779.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3112.52/779.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3112.52/779.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3136.08/785.05	c lits-rem:       602  cl-subs:     1499  v-elim:      0  v-fix:    0  time: 23.56 s
3136.08/785.05	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3136.08/785.06	c vivif2 --  cl tried    76251 cl shrink        0 lits rem          0 time: 0.05
3137.28/785.37	c asymm  cl-useful: 0/1492/2662 lits-rem:0 time: 1.21
3137.28/785.37	c calculated reachability. Time: 0.00
3137.28/785.37	c  N st    82   3212490       125      2662         0     76251     13310    945709   no data   no data  --
3734.96/934.94	c  N st    83   3712490       125      2662         0     86523     13310   1134551   no data   no data  --
3734.96/934.94	c  S st    83   3712490       125      2662         0     86523     13310   1134551   no data   no data  --
3736.16/935.21	c  S st    83   3712996       125      2662         0     87020     13310   1147924   no data   no data  --
3736.16/935.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3736.16/935.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3736.16/935.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3736.56/935.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3736.56/935.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3736.56/935.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3736.56/935.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3762.14/941.77	c lits-rem:      1074  cl-subs:     1870  v-elim:      0  v-fix:    0  time: 25.88 s
3762.14/941.78	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3762.14/941.79	c vivif2 --  cl tried    85150 cl shrink        0 lits rem          0 time: 0.06
3763.72/942.13	c asymm  cl-useful: 0/1149/2662 lits-rem:0 time: 1.35
3763.72/942.13	c calculated reachability. Time: 0.00
3763.72/942.13	c  N st    83   3712996       125      2662         0     85150     13310   1099834   no data   no data  --
3805.69/952.67	c  F st    84   3751562       125      2662         0    121266     13310   2086582   no data   no data  --
3805.69/952.67	c  N st    84   3751562       125      2662         0    121266     13310   2086582   no data   no data  --
3815.26/955.04	c Decided on static restart strategy
3854.03/964.79	c  N st    94   3779865       125      2662         0    147877     13310   2789790   no data   no data  --
3901.57/976.64	c  N st    96   3815857       125      2662         0    102411     13310   1535157   no data   no data  --
3941.51/986.68	c  N st    97   3848250       125      2662         0    132787     13310   2371735   no data   no data  --
4017.41/1005.60	c  N st    98   3896838       125      2662         0     97977     13310   1409838   no data   no data  --
4124.48/1032.46	c  N st    99   3969720       125      2662         0     84801     13310   1027935   no data   no data  --
4289.48/1073.74	c  N st   100   4079043       125      2662         0    104620     13310   1538966   no data   no data  --
4468.43/1118.55	c  N st   101   4212996       125      2662         0    146923     13310   2706831   no data   no data  --
4468.43/1118.55	c  S st   101   4212996       125      2662         0    146923     13310   2706831   no data   no data  --
4470.42/1119.04	c  S st   101   4213501       125      2662         0    147404     13310   2719877   no data   no data  --
4470.42/1119.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4470.42/1119.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4470.82/1119.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.31
4471.22/1119.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4471.22/1119.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4471.22/1119.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4471.22/1119.22	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175251-1304103951/watcher-3175251-1304103951 -o /tmp/evaluation-result-3175251-1304103951/solver-3175251-1304103951 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175251-1304103951.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.13 8.12 8.17 1/175 2911
/proc/meminfo: memFree=30762520/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=40992 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 3 0 521995819 41975808 350 33554432000 4194304 4650419 140736611429472 18446744073709551615 222921833457 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 12809 352 303 112 0 7774 0
[pid=2911/tid=2912] ppid=2909 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521995819 52465664 357 33554432000 4194304 4650419 140736611429472 18446744073709551615 47788328052652 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521995819 52465664 357 33554432000 4194304 4650419 140736611429472 18446744073709551615 222916824150 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521995819 52465664 357 33554432000 4194304 4650419 140736611429472 18446744073709551615 222916824150 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.138882 s]
/proc/loadavg: 8.13 8.12 8.17 1/175 2911
/proc/meminfo: memFree=30762520/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=292244 CPUtime=0.52 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 2358 0 0 0 52 0 0 0 18 0 4 0 521995819 299257856 1878 33554432000 4194304 4650419 140736611429472 18446744073709551615 222921820295 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 73061 1878 391 112 0 68026 0
[pid=2911/tid=2912] ppid=2909 vsize=292244 CPUtime=0.13 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 504 0 0 0 13 0 0 0 18 0 4 0 521995819 299257856 1878 33554432000 4194304 4650419 140736611429472 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=292244 CPUtime=0.13 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) D 2909 2911 2052 0 -1 4202560 433 0 0 0 13 0 0 0 18 0 4 0 521995819 299257856 1878 33554432000 4194304 4650419 140736611429472 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=292244 CPUtime=0.12 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 434 0 0 0 12 0 0 0 18 0 4 0 521995819 299257856 1878 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 292244

[startup+0.207462 s]
/proc/loadavg: 8.13 8.12 8.17 1/175 2911
/proc/meminfo: memFree=30762520/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=284204 CPUtime=0.8 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 2816 0 0 0 80 0 0 0 18 0 4 0 521995819 291024896 2018 33554432000 4194304 4650419 140736611429472 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 71051 2018 391 112 0 66016 0
[pid=2911/tid=2912] ppid=2909 vsize=284204 CPUtime=0.2 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 651 0 0 0 20 0 0 0 18 0 4 0 521995819 291024896 2018 33554432000 4194304 4650419 140736611429472 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=284204 CPUtime=0.2 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 616 0 0 0 20 0 0 0 18 0 4 0 521995819 291024896 2018 33554432000 4194304 4650419 140736611429472 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=284204 CPUtime=0.19 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 496 0 0 0 19 0 0 0 18 0 4 0 521995819 291024896 2018 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 284204

[startup+0.300469 s]
/proc/loadavg: 8.13 8.12 8.17 1/175 2911
/proc/meminfo: memFree=30762520/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=284204 CPUtime=1.18 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 3197 0 0 0 117 1 0 0 18 0 4 0 521995819 291024896 2399 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 71051 2399 391 112 0 66016 0
[pid=2911/tid=2912] ppid=2909 vsize=284204 CPUtime=0.29 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 743 0 0 0 29 0 0 0 18 0 4 0 521995819 291024896 2399 33554432000 4194304 4650419 140736611429472 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=284204 CPUtime=0.29 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 705 0 0 0 29 0 0 0 18 0 4 0 521995819 291024896 2399 33554432000 4194304 4650419 140736611429472 18446744073709551615 4328251 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=284204 CPUtime=0.29 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 599 0 0 0 29 0 0 0 18 0 4 0 521995819 291024896 2399 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284204

[startup+0.700343 s]
/proc/loadavg: 8.13 8.12 8.17 1/175 2911
/proc/meminfo: memFree=30762520/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=285844 CPUtime=2.77 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 5719 0 0 0 276 1 0 0 18 0 4 0 521995819 292704256 2773 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365398 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 71461 2773 391 112 0 66426 0
[pid=2911/tid=2912] ppid=2909 vsize=285844 CPUtime=0.69 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 1401 0 0 0 69 0 0 0 18 0 4 0 521995819 292704256 2773 33554432000 4194304 4650419 140736611429472 18446744073709551615 4520372 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=285844 CPUtime=0.69 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 1343 0 0 0 69 0 0 0 18 0 4 0 521995819 292704256 2773 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=285844 CPUtime=0.68 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 1185 0 0 0 68 0 0 0 18 0 4 0 521995819 292704256 2774 33554432000 4194304 4650419 140736611429472 18446744073709551615 4330898 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285844

[startup+1.5002 s]
/proc/loadavg: 7.96 8.08 8.16 11/184 2948
/proc/meminfo: memFree=30738848/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=282584 CPUtime=5.97 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 11478 0 0 0 594 3 0 0 20 0 4 0 521995819 289366016 6305 33554432000 4194304 4650419 140736611429472 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 70646 6305 393 112 0 65611 0
[pid=2911/tid=2912] ppid=2909 vsize=282584 CPUtime=1.48 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 3435 0 0 0 148 0 0 0 20 0 4 0 521995819 289366016 6305 33554432000 4194304 4650419 140736611429472 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=282584 CPUtime=1.49 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 2273 0 0 0 149 0 0 0 19 0 4 0 521995819 289366016 6305 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=282584 CPUtime=1.48 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 2050 0 0 0 148 0 0 0 20 0 4 0 521995819 289366016 6305 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 282584

[startup+3.10091 s]
/proc/loadavg: 7.96 8.08 8.16 9/184 2948
/proc/meminfo: memFree=30694580/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=282976 CPUtime=12.37 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 18978 0 0 0 1232 5 0 0 25 0 4 0 521995819 289767424 12168 33554432000 4194304 4650419 140736611429472 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 70744 12168 393 112 0 65709 0
[pid=2911/tid=2912] ppid=2909 vsize=282976 CPUtime=3.08 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 4568 0 0 0 307 1 0 0 25 0 4 0 521995819 289767424 12168 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=282976 CPUtime=3.08 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 4583 0 0 0 308 0 0 0 25 0 4 0 521995819 289767424 12168 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=282976 CPUtime=3.09 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 4368 0 0 0 308 1 0 0 25 0 4 0 521995819 289767424 12168 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 282976

[startup+6.30032 s]
/proc/loadavg: 7.96 8.08 8.16 9/184 2949
/proc/meminfo: memFree=30652088/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=290956 CPUtime=25.15 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 28482 0 0 0 2508 7 0 0 25 0 4 0 521995819 297938944 15677 33554432000 4194304 4650419 140736611429472 18446744073709551615 4438727 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 72739 15677 393 112 0 67704 0
[pid=2911/tid=2912] ppid=2909 vsize=290956 CPUtime=6.26 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 7503 0 0 0 625 1 0 0 25 0 4 0 521995819 297938944 15677 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=290956 CPUtime=6.28 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 8115 0 0 0 627 1 0 0 25 0 4 0 521995819 297938944 15677 33554432000 4194304 4650419 140736611429472 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=290956 CPUtime=6.28 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 5714 0 0 0 627 1 0 0 25 0 4 0 521995819 297938944 15677 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 290956

[startup+12.7012 s]
/proc/loadavg: 7.96 8.08 8.16 9/184 2949
/proc/meminfo: memFree=30612392/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=286312 CPUtime=50.72 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 41289 0 0 0 5062 10 0 0 25 0 4 0 521995819 293183488 20123 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 71578 20123 393 112 0 66543 0
[pid=2911/tid=2912] ppid=2909 vsize=286312 CPUtime=12.63 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 11288 0 0 0 1261 2 0 0 25 0 4 0 521995819 293183488 20123 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=286312 CPUtime=12.69 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 11340 0 0 0 1267 2 0 0 25 0 4 0 521995819 293183488 20123 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=286312 CPUtime=12.68 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 8647 0 0 0 1266 2 0 0 25 0 4 0 521995819 293183488 20123 33554432000 4194304 4650419 140736611429472 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 286312

[startup+25.5008 s]
/proc/loadavg: 7.97 8.07 8.16 9/184 2949
/proc/meminfo: memFree=30554840/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=306300 CPUtime=101.85 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 63836 0 0 0 10170 15 0 0 25 0 4 0 521995819 313651200 26950 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 76575 26950 393 112 0 71540 0
[pid=2911/tid=2912] ppid=2909 vsize=306300 CPUtime=25.36 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 18250 0 0 0 2533 3 0 0 25 0 4 0 521995819 313651200 26950 33554432000 4194304 4650419 140736611429472 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=306300 CPUtime=25.49 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 17914 0 0 0 2546 3 0 0 25 0 4 0 521995819 313651200 26950 33554432000 4194304 4650419 140736611429472 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=306300 CPUtime=25.48 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 12118 0 0 0 2545 3 0 0 25 0 4 0 521995819 313651200 26950 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 306300

[startup+51.1011 s]
/proc/loadavg: 7.98 8.07 8.15 9/184 2950
/proc/meminfo: memFree=30495808/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=318232 CPUtime=204.13 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 97613 0 0 0 20388 25 0 0 25 0 4 0 521995819 325869568 31701 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 79558 31701 393 112 0 74523 0
[pid=2911/tid=2912] ppid=2909 vsize=318232 CPUtime=50.85 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 28612 0 0 0 5078 7 0 0 25 0 4 0 521995819 325869568 31701 33554432000 4194304 4650419 140736611429472 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=318232 CPUtime=51.08 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 28611 0 0 0 5102 6 0 0 25 0 4 0 521995819 325869568 31701 33554432000 4194304 4650419 140736611429472 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=318232 CPUtime=51.08 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 16686 0 0 0 5103 5 0 0 25 0 4 0 521995819 325869568 31701 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 318232

[startup+102.301 s]
/proc/loadavg: 8.04 8.07 8.15 9/184 2951
/proc/meminfo: memFree=30423564/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=323452 CPUtime=408.7 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 152712 0 0 0 40830 40 0 0 25 0 4 0 521995819 331214848 41104 33554432000 4194304 4650419 140736611429472 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 80863 41104 393 112 0 75828 0
[pid=2911/tid=2912] ppid=2909 vsize=323452 CPUtime=101.8 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 42666 0 0 0 10170 10 0 0 25 0 4 0 521995819 331214848 41104 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=323452 CPUtime=102.28 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 43674 0 0 0 10218 10 0 0 25 0 4 0 521995819 331214848 41104 33554432000 4194304 4650419 140736611429472 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=323452 CPUtime=102.29 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 23718 0 0 0 10222 7 0 0 25 0 4 0 521995819 331214848 41104 33554432000 4194304 4650419 140736611429472 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.7
Current children cumulated vsize (KiB) 323452

[startup+162.301 s]

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

[pid=2911] ppid=2909 vsize=524196 CPUtime=2805.69 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 466232 0 0 0 280408 161 0 0 25 0 4 0 521995819 536776704 93057 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 131049 93057 393 112 0 126014 0
[pid=2911/tid=2912] ppid=2909 vsize=524196 CPUtime=698.8 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 100024 0 0 0 69849 31 0 0 25 0 4 0 521995819 536776704 93057 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=524196 CPUtime=702.24 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 154762 0 0 0 70171 53 0 0 25 0 4 0 521995819 536776704 93057 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=524196 CPUtime=702.31 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 71012 0 0 0 70203 28 0 0 25 0 4 0 521995819 536776704 93057 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.69
Current children cumulated vsize (KiB) 524196

[startup+762.301 s]
/proc/loadavg: 8.11 8.09 8.09 9/184 2970
/proc/meminfo: memFree=30004000/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=524888 CPUtime=3045.41 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 490965 0 0 0 304370 171 0 0 25 0 4 0 521995819 537485312 90280 33554432000 4194304 4650419 140736611429472 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 131222 90280 393 112 0 126187 0
[pid=2911/tid=2912] ppid=2909 vsize=524888 CPUtime=758.52 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 103960 0 0 0 75818 34 0 0 25 0 4 0 521995819 537485312 90280 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=524888 CPUtime=762.25 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 163678 0 0 0 76168 57 0 0 25 0 4 0 521995819 537485312 90280 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=524888 CPUtime=762.31 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 74067 0 0 0 76202 29 0 0 25 0 4 0 521995819 537485312 90280 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.41
Current children cumulated vsize (KiB) 524888

[startup+822.301 s]
/proc/loadavg: 8.13 8.10 8.09 9/184 2971
/proc/meminfo: memFree=29928164/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=603548 CPUtime=3285.09 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 517524 0 0 0 328328 181 0 0 25 0 4 0 521995819 618033152 105592 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 150887 105592 393 112 0 145852 0
[pid=2911/tid=2912] ppid=2909 vsize=603548 CPUtime=818.2 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 110247 0 0 0 81783 37 0 0 25 0 4 0 521995819 618033152 105592 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=603548 CPUtime=822.23 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 172564 0 0 0 82164 59 0 0 25 0 4 0 521995819 618033152 105592 33554432000 4194304 4650419 140736611429472 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=603548 CPUtime=822.31 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 78721 0 0 0 82200 31 0 0 25 0 4 0 521995819 618033152 105592 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3285.09
Current children cumulated vsize (KiB) 603548

[startup+882.306 s]
/proc/loadavg: 8.08 8.10 8.09 9/184 2973
/proc/meminfo: memFree=29904552/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=617712 CPUtime=3524.84 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 536408 0 0 0 352293 191 0 0 25 0 4 0 521995819 632537088 105466 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 154428 105466 393 112 0 149393 0
[pid=2911/tid=2912] ppid=2909 vsize=617712 CPUtime=877.93 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 110413 0 0 0 87756 37 0 0 25 0 4 0 521995819 632537088 105466 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=617712 CPUtime=882.23 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 179856 0 0 0 88161 62 0 0 25 0 4 0 521995819 632537088 105466 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=617712 CPUtime=882.32 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 82703 0 0 0 88199 33 0 0 25 0 4 0 521995819 632537088 105466 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.84
Current children cumulated vsize (KiB) 617712

[startup+942.301 s]
/proc/loadavg: 8.16 8.11 8.09 9/184 2974
/proc/meminfo: memFree=29900744/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=617992 CPUtime=3764.52 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 556143 0 0 0 376254 198 0 0 25 0 4 0 521995819 632823808 108245 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 154498 108245 393 112 0 149463 0
[pid=2911/tid=2912] ppid=2909 vsize=617992 CPUtime=937.64 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 110544 0 0 0 93726 38 0 0 25 0 4 0 521995819 632823808 108245 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=617992 CPUtime=942.22 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 187475 0 0 0 94157 65 0 0 25 0 4 0 521995819 632823808 108245 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=617992 CPUtime=942.31 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 86610 0 0 0 94197 34 0 0 25 0 4 0 521995819 632823808 108245 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.52
Current children cumulated vsize (KiB) 617992

[startup+1002.3 s]
/proc/loadavg: 8.18 8.12 8.09 9/184 2977
/proc/meminfo: memFree=29926436/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=618296 CPUtime=4004.23 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 574500 0 0 0 400216 207 0 0 25 0 4 0 521995819 633135104 104139 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 154574 104139 393 112 0 149539 0
[pid=2911/tid=2912] ppid=2909 vsize=618296 CPUtime=997.34 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 110544 0 0 0 99696 38 0 0 25 0 4 0 521995819 633135104 104139 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=618296 CPUtime=1002.22 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 196704 0 0 0 100153 69 0 0 25 0 4 0 521995819 633135104 104139 33554432000 4194304 4650419 140736611429472 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=618296 CPUtime=1002.32 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 88723 0 0 0 100196 36 0 0 25 0 4 0 521995819 633135104 104139 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4004.23
Current children cumulated vsize (KiB) 618296

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 8.09 9/184 2979
/proc/meminfo: memFree=29879260/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=621788 CPUtime=4243.92 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 591798 0 0 0 424176 216 0 0 25 0 4 0 521995819 636710912 109764 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 155447 109764 393 112 0 150412 0
[pid=2911/tid=2912] ppid=2909 vsize=621788 CPUtime=1057.03 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 110718 0 0 0 105665 38 0 0 25 0 4 0 521995819 636710912 109764 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=621788 CPUtime=1062.22 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 204841 0 0 0 106149 73 0 0 25 0 4 0 521995819 636710912 109764 33554432000 4194304 4650419 140736611429472 18446744073709551615 4304010 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=621788 CPUtime=1062.32 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 91996 0 0 0 106195 37 0 0 25 0 4 0 521995819 636710912 109764 33554432000 4194304 4650419 140736611429472 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.92
Current children cumulated vsize (KiB) 621788

[startup+1122.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/184 2980
/proc/meminfo: memFree=29815180/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=635796 CPUtime=4483.59 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 619701 0 0 0 448132 227 0 0 25 0 4 0 521995819 651055104 121139 33554432000 4194304 4650419 140736611429472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 158949 121139 393 112 0 153914 0
[pid=2911/tid=2912] ppid=2909 vsize=635796 CPUtime=1116.71 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 115142 0 0 0 111631 40 0 0 25 0 4 0 521995819 651055104 121139 33554432000 4194304 4650419 140736611429472 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=635796 CPUtime=1122.22 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 213397 0 0 0 112144 78 0 0 25 0 4 0 521995819 651055104 121139 33554432000 4194304 4650419 140736611429472 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=635796 CPUtime=1122.31 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 96208 0 0 0 112193 38 0 0 25 0 4 0 521995819 651055104 121139 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.59
Current children cumulated vsize (KiB) 635796

[startup+1182.3 s]
/proc/loadavg: 8.09 8.11 8.09 9/184 2983
/proc/meminfo: memFree=29769988/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=635852 CPUtime=4723.27 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 634771 0 0 0 472094 233 0 0 25 0 4 0 521995819 651112448 126554 33554432000 4194304 4650419 140736611429472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 158963 126554 393 112 0 153928 0
[pid=2911/tid=2912] ppid=2909 vsize=635852 CPUtime=1176.39 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 115249 0 0 0 117599 40 0 0 25 0 4 0 521995819 651112448 126554 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=635852 CPUtime=1182.21 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 225066 0 0 0 118139 82 0 0 25 0 4 0 521995819 651112448 126554 33554432000 4194304 4650419 140736611429472 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=635852 CPUtime=1182.32 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 97892 0 0 0 118193 39 0 0 25 0 4 0 521995819 651112448 126554 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.27
Current children cumulated vsize (KiB) 635852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.14 8.12 8.09 10/184 2983
/proc/meminfo: memFree=29750372/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=635852 CPUtime=4800.38 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 637005 0 0 0 479803 235 0 0 25 0 4 0 521995819 651112448 127270 33554432000 4194304 4650419 140736611429472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 158963 127270 393 112 0 153928 0
[pid=2911/tid=2912] ppid=2909 vsize=635852 CPUtime=1195.58 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 115317 0 0 0 119518 40 0 0 25 0 4 0 521995819 651112448 127270 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=635852 CPUtime=1201.52 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 225066 0 0 0 120070 82 0 0 25 0 4 0 521995819 651112448 127270 33554432000 4194304 4650419 140736611429472 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=635852 CPUtime=1201.62 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 98750 0 0 0 120122 40 0 0 25 0 4 0 521995819 651112448 127270 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 635852

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

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

[startup+1201.6 s]
/proc/loadavg: 8.14 8.12 8.09 10/184 2983
/proc/meminfo: memFree=29750372/32951124 swapFree=67110188/67111528
[pid=2911] ppid=2909 vsize=635852 CPUtime=4800.38 cores=0,2,4,6
/proc/2911/stat : 2911 (strangenight1-m) R 2909 2911 2052 0 -1 4202496 637005 0 0 0 479803 235 0 0 25 0 4 0 521995819 651112448 127270 33554432000 4194304 4650419 140736611429472 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2911/statm: 158963 127270 393 112 0 153928 0
[pid=2911/tid=2912] ppid=2909 vsize=635852 CPUtime=1195.58 cores=0,2,4,6
/proc/2911/task/2912/stat : 2912 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 115317 0 0 0 119518 40 0 0 25 0 4 0 521995819 651112448 127270 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2911/tid=2913] ppid=2909 vsize=635852 CPUtime=1201.52 cores=0,2,4,6
/proc/2911/task/2913/stat : 2913 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 225066 0 0 0 120070 82 0 0 25 0 4 0 521995819 651112448 127270 33554432000 4194304 4650419 140736611429472 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2911/tid=2914] ppid=2909 vsize=635852 CPUtime=1201.62 cores=0,2,4,6
/proc/2911/task/2914/stat : 2914 (strangenight1-m) R 2909 2911 2052 0 -1 4202560 98750 0 0 0 120122 40 0 0 25 0 4 0 521995819 651112448 127270 33554432000 4194304 4650419 140736611429472 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 635852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.44
CPU user time (s): 4798.07
CPU system time (s): 2.37564
CPU usage (%): 399.492
Max. virtual memory (cumulated for all children) (KiB): 747224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.07
system time used= 2.37564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637005
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= 275
involuntary context switches= 21526

runsolver used 1.88671 second user time and 4.16137 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-29 21:05:51
IDJOB=3175251
IDBENCH=82869
IDSOLVER=1588
FILE ID=node109/3175251-1304103951
RUNJOBID= node109-1304101543-2700
PBS_JOBID= 13170607
Free space on /tmp= 72380 MiB

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

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

MD5SUM BENCH= 10f0c0c20b1ddb1f4561bcd231d72d23
RANDOM SEED=969692162

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.809
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30762800 kB
Buffers:        731700 kB
Cached:        1003300 kB
SwapCached:        712 kB
Active:         148608 kB
Inactive:      1651884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30762800 kB
SwapTotal:    67111528 kB
SwapFree:     67110188 kB
Dirty:            6240 kB
Writeback:          20 kB
AnonPages:       64968 kB
Mapped:          15060 kB
Slab:           324592 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   223132 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= 72372 MiB
End job on node109 at 2011-04-29 21:25:54