Trace number 3174047

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.27 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf
MD5SUM9ba35b45d3c5bc2de5bf2217a9a677d5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.055991
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174047-1304079204.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.00	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.00	c -- vars added        600
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     275 undec:      61 neg:     264
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       589      2545         0         0      7697         0   no data   no data
0.00/0.07	c Decided on static restart strategy
0.37/0.17	c  N st     8      4918       589      2545         0      4853      7697    128383   no data   no data
1.57/0.44	c  N st    10     11302       589      2545         0      4507      7697     83972   no data   no data
2.77/0.74	c  N st    11     17047       589      2545         0     10200      7697    241718   no data   no data
4.39/1.16	c  F st    12     25001       589      2545         0     12430      7697    297379   no data   no data
4.39/1.16	c  N st    12     25001       589      2545         0     12430      7697    297379   no data   no data
5.57/1.43	c Decided on static restart strategy
5.57/1.43	c  N st    18     30000       589      2545         0     10711      7697    224035   no data   no data
5.57/1.43	c  S st    18     30000       589      2545         0     10711      7697    224035   no data   no data
5.57/1.46	c  S st    18     30506       589      2545         0     11216      7697    237055   no data   no data
5.57/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.46	c blocked clauses removed:       12 vars:      2 tried:         589 T: 0.00 s
5.57/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
5.57/1.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.52	c lits-rem:       144  cl-subs:      371  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.53	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
5.97/1.53	c calculated reachability. Time: 0.00
5.97/1.53	c  N st    18     30506       587      2533         0     10839      7661    225746   no data   no data
7.57/1.93	c  N st    20     37616       587      2533         0     10104      7661    190212   no data   no data
9.16/2.33	c  N st    21     44016       587      2533         0     16414      7661    373073   no data   no data
9.56/2.46	c  S st    22     45759       587      2533         0      9335      7661    148610   no data   no data
9.56/2.48	c  S st    22     46259       587      2533         0      9834      7661    160006   no data   no data
9.56/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
9.56/2.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.50	c lits-rem:        27  cl-subs:       25  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.50	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
9.96/2.51	c vivif2 --  cl tried     9809 cl shrink        0 lits rem          0 time: 0.00
9.96/2.51	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
9.96/2.51	c calculated reachability. Time: 0.00
9.96/2.51	c  N st    22     46259       587      2533         0      9809      7661    159224   no data   no data
13.56/3.48	c  N st    23     60658       587      2533         0     14213      7661    273000   no data   no data
16.35/4.11	c  N st    24     69388       587      2533         0     11967      7661    194116   no data   no data
16.35/4.11	c  S st    24     69388       587      2533         0     11967      7661    194116   no data   no data
16.35/4.14	c  S st    24     69893       587      2533         0     12471      7661    206818   no data   no data
16.35/4.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.35/4.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.35/4.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
16.35/4.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.35/4.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.35/4.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.18	c lits-rem:        57  cl-subs:      100  v-elim:      0  v-fix:    0  time:  0.02 s
16.35/4.18	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
16.35/4.18	c vivif2 --  cl tried    12371 cl shrink        0 lits rem          0 time: 0.00
16.35/4.19	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
16.35/4.19	c calculated reachability. Time: 0.00
16.35/4.19	c  N st    24     69893       587      2533         0     12371      7661    203936   no data   no data
21.96/5.57	c  F st    25     87500       587      2533         0     17861      7661    344453   no data   no data
21.96/5.57	c  N st    25     87500       587      2533         0     17861      7661    344453   no data   no data
23.94/6.00	c Decided on static restart strategy
24.74/6.27	c  N st    32     95543       587      2533         0     13009      7661    193408   no data   no data
27.53/6.94	c  N st    34    104839       587      2533         0     22153      7661    446275   no data   no data
27.53/6.94	c  S st    34    104839       587      2533         0     22153      7661    446275   no data   no data
27.93/7.00	c  S st    34    105343       587      2533         0     22657      7661    459236   no data   no data
27.93/7.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.93/7.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.93/7.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.93/7.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.93/7.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.93/7.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
27.93/7.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.93/7.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.93/7.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.17	c lits-rem:       153  cl-subs:      592  v-elim:      0  v-fix:    0  time:  0.15 s
28.34/7.17	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
28.34/7.18	c vivif2 --  cl tried    22065 cl shrink        0 lits rem          0 time: 0.00
28.34/7.19	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
28.34/7.19	c calculated reachability. Time: 0.00
28.34/7.19	c  N st    34    105343       587      2533         0     22065      7661    440550   no data   no data
31.93/8.02	c  N st    35    114941       587      2533         0     17742      7661    302350   no data   no data
37.11/9.38	c  N st    36    129339       587      2533         0     17127      7661    259665   no data   no data
44.70/11.24	c  N st    37    150937       587      2533         0     22604      7661    408230   no data   no data
47.50/11.99	c  S st    38    158015       587      2533         0     29524      7661    598077   no data   no data
47.91/12.06	c  S st    38    158517       587      2533         0     30026      7661    610481   no data   no data
47.91/12.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.91/12.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.91/12.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.91/12.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.91/12.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.91/12.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
47.91/12.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.91/12.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.91/12.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.90/12.54	c lits-rem:       380  cl-subs:     1434  v-elim:      0  v-fix:    0  time:  0.45 s
49.90/12.54	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
49.90/12.55	c vivif2 --  cl tried    28592 cl shrink        0 lits rem          0 time: 0.01
49.90/12.57	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
49.90/12.57	c calculated reachability. Time: 0.00
49.90/12.57	c  N st    38    158517       587      2533         0     28592      7661    566076   no data   no data
70.67/17.71	c  N st    39    207105       587      2533         0     23361      7661    372066   no data   no data
83.85/21.06	c  N st    40    237776       587      2533         0     33826      7661    657513   no data   no data
83.85/21.06	c  S st    40    237776       587      2533         0     33826      7661    657513   no data   no data
84.25/21.14	c  S st    40    238287       587      2533         0     34337      7661    670882   no data   no data
84.25/21.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.25/21.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.25/21.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.25/21.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.25/21.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.25/21.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
84.25/21.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.25/21.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.25/21.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.05/21.89	c lits-rem:       419  cl-subs:     1727  v-elim:      0  v-fix:    0  time:  0.71 s
87.05/21.89	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
87.46/21.90	c vivif2 --  cl tried    32610 cl shrink        0 lits rem          0 time: 0.01
87.46/21.92	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
87.46/21.93	c calculated reachability. Time: 0.00
87.46/21.93	c  N st    40    238287       587      2533         0     32610      7661    618439   no data   no data
122.21/30.63	c  F st    41    306251       587      2533         0     34448      7661    636927   no data   no data
122.21/30.63	c  N st    41    306251       587      2533         0     34448      7661    636927   no data   no data
125.00/31.31	c Decided on static restart strategy
136.58/34.21	c  N st    51    334554       587      2533         0     38710      7661    724737   no data   no data
148.97/37.33	c  N st    53    357431       587      2533         0     36656      7661    635601   no data   no data
148.97/37.33	c  S st    53    357431       587      2533         0     36656      7661    635601   no data   no data
149.38/37.42	c  S st    53    357935       587      2533         0     37160      7661    647612   no data   no data
149.38/37.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.38/37.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.38/37.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.38/37.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.38/37.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.38/37.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
149.38/37.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.38/37.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.38/37.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.55/37.73	c lits-rem:       266  cl-subs:      768  v-elim:      0  v-fix:    0  time:  0.26 s
150.55/37.73	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
150.55/37.74	c vivif2 --  cl tried    36392 cl shrink        0 lits rem          0 time: 0.01
150.55/37.77	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
150.55/37.77	c calculated reachability. Time: 0.00
150.55/37.77	c  N st    53    357935       587      2533         0     36392      7661    624179   no data   no data
167.73/42.02	c  N st    54    390328       587      2533         0     42684      7661    795882   no data   no data
195.70/49.07	c  N st    55    438916       587      2533         0     36508      7661    569159   no data   no data
240.84/60.40	c  N st    56    511798       587      2533         0     50015      7661    924238   no data   no data
257.21/64.47	c  N st    57    536902       587      2533         0     44280      7661    718520   no data   no data
257.21/64.47	c  S st    57    536902       587      2533         0     44280      7661    718520   no data   no data
257.61/64.59	c  S st    57    537404       587      2533         0     44781      7661    731836   no data   no data
257.61/64.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
258.01/64.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
258.01/64.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
258.01/64.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.01/64.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.01/64.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
258.01/64.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
258.01/64.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
258.01/64.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.81/65.34	c lits-rem:       279  cl-subs:     1795  v-elim:      0  v-fix:    0  time:  0.70 s
260.81/65.34	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
260.81/65.35	c vivif2 --  cl tried    42986 cl shrink        0 lits rem          0 time: 0.01
260.81/65.38	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.03
260.81/65.38	c calculated reachability. Time: 0.00
260.81/65.38	c  N st    57    537404       587      2533         0     42986      7661    684490   no data   no data
374.25/93.72	c  N st    58    701390       587      2533         0     37046      7661    431741   no data   no data
452.57/113.35	c  N st    59    806106       587      2533         0     65893      7661   1179480   no data   no data
452.57/113.35	c  S st    59    806106       587      2533         0     65893      7661   1179480   no data   no data
453.35/113.56	c  S st    59    806610       587      2533         0     66396      7661   1192398   no data   no data
453.35/113.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
453.35/113.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
453.75/113.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
453.75/113.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
453.75/113.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
453.75/113.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
453.75/113.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
453.75/113.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
453.75/113.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
466.53/116.82	c lits-rem:       541  cl-subs:     4594  v-elim:      0  v-fix:    0  time:  3.17 s
466.53/116.82	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
466.53/116.84	c vivif2 --  cl tried    61802 cl shrink        0 lits rem          0 time: 0.02
466.53/116.89	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.06
466.53/116.89	c calculated reachability. Time: 0.00
466.53/116.89	c  N st    59    806610       587      2533         0     61802      7661   1085131   no data   no data
686.63/171.91	c  F st    60   1071875       587      2533         0     77982      7661   1437720   no data   no data
686.63/171.91	c  N st    60   1071875       587      2533         0     77982      7661   1437720   no data   no data
691.41/173.17	c Decided on static restart strategy
708.59/177.46	c  N st    70   1100180       587      2533         0     61795      7661    962655   no data   no data
739.34/185.18	c  N st    72   1136172       587      2533         0     52034      7661    670946   no data   no data
771.31/193.16	c  N st    73   1168564       587      2533         0     83852      7661   1607893   no data   no data
813.64/203.73	c  N st    74   1209915       587      2533         0     78209      7661   1377818   no data   no data
813.64/203.73	c  S st    74   1209915       587      2533         0     78209      7661   1377818   no data   no data
814.84/204.01	c  S st    74   1210421       587      2533         0     78715      7661   1391160   no data   no data
814.84/204.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
814.84/204.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
814.84/204.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
814.84/204.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
814.84/204.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
814.84/204.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
814.84/204.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
814.84/204.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
815.24/204.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
834.84/209.04	c lits-rem:       302  cl-subs:     3425  v-elim:      0  v-fix:    0  time:  4.90 s
834.84/209.04	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
834.84/209.06	c vivif2 --  cl tried    75290 cl shrink        0 lits rem          0 time: 0.02
835.21/209.13	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.07
835.21/209.13	c calculated reachability. Time: 0.00
835.21/209.13	c  N st    74   1210421       587      2533         0     75290      7661   1296667   no data   no data
910.71/228.01	c  N st    75   1283303       587      2533         0     51669      7661    586948   no data   no data
1018.56/255.03	c  N st    76   1392626       587      2533         0     59836      7661    775123   no data   no data
1191.53/298.38	c  N st    77   1556611       587      2533         0     64742      7661    863449   no data   no data
1351.31/338.33	c  N st    78   1710426       587      2533         0    106963      7661   2163404   no data   no data
1351.31/338.33	c  S st    78   1710426       587      2533         0    106963      7661   2163404   no data   no data
1352.51/338.67	c  S st    78   1710930       587      2533         0    107467      7661   2176729   no data   no data
1352.51/338.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1352.92/338.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1352.92/338.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1352.92/338.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1352.92/338.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1352.92/338.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1352.92/338.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1352.92/338.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1353.33/338.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1399.65/350.41	c lits-rem:       894  cl-subs:     5190  v-elim:      0  v-fix:    0  time: 11.58 s
1399.65/350.41	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
1399.65/350.44	c vivif2 --  cl tried   102277 cl shrink        0 lits rem          0 time: 0.03
1400.05/350.56	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.11
1400.05/350.56	c calculated reachability. Time: 0.00
1400.05/350.56	c  N st    78   1710930       587      2533         0    102277      7661   2018546   no data   no data
1795.50/449.54	c  N st    79   2079894       587      2533         0    113787      7661   2250740   no data   no data
1965.27/492.02	c  N st    80   2210931       587      2533         0    117591      7661   2286601   no data   no data
1965.27/492.02	c  S st    80   2210931       587      2533         0    117591      7661   2286601   no data   no data
1966.87/492.41	c  S st    80   2211436       587      2533         0    118096      7661   2299476   no data   no data
1966.87/492.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1966.87/492.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1966.87/492.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1966.87/492.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1966.87/492.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1966.87/492.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1966.87/492.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1967.27/492.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1967.27/492.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2023.20/506.59	c lits-rem:      1411  cl-subs:     5704  v-elim:      0  v-fix:    0  time: 14.01 s
2023.20/506.59	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2023.60/506.62	c vivif2 --  cl tried   112392 cl shrink        0 lits rem          0 time: 0.03
2024.00/506.75	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.13
2024.00/506.76	c calculated reachability. Time: 0.00
2024.00/506.76	c  N st    80   2211436       587      2533         0    112392      7661   2123923   no data   no data
2697.90/675.49	c  N st    81   2711439       587      2533         0    135906      7661   2653989   no data   no data
2697.90/675.49	c  S st    81   2711439       587      2533         0    135906      7661   2653989   no data   no data
2699.88/675.98	c  S st    81   2711941       587      2533         0    136408      7661   2666996   no data   no data
2699.88/675.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2700.28/676.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2700.28/676.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2700.28/676.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2700.28/676.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2700.28/676.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2700.28/676.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2700.68/676.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2700.68/676.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2797.34/700.32	c lits-rem:       984  cl-subs:     8558  v-elim:      0  v-fix:    0  time: 24.14 s
2797.34/700.32	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2797.34/700.36	c vivif2 --  cl tried   127850 cl shrink        0 lits rem          0 time: 0.03
2798.14/700.51	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.15
2798.14/700.51	c calculated reachability. Time: 0.00
2798.14/700.51	c  N st    81   2711941       587      2533         0    127850      7661   2425142   no data   no data
3534.32/884.86	c  N st    82   3211941       587      2533         0    102911      7661   1497875   no data   no data
3534.32/884.86	c  S st    82   3211941       587      2533         0    102911      7661   1497875   no data   no data
3535.52/885.19	c  S st    82   3212443       587      2533         0    103412      7661   1511391   no data   no data
3535.92/885.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3535.92/885.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3535.92/885.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3535.92/885.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3535.92/885.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3535.92/885.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
3535.92/885.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3535.92/885.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3536.32/885.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3554.31/889.89	c lits-rem:       569  cl-subs:     4401  v-elim:      0  v-fix:    0  time:  4.56 s
3554.31/889.89	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
3554.72/889.91	c vivif2 --  cl tried    99011 cl shrink        0 lits rem          0 time: 0.02
3555.10/890.02	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.11
3555.10/890.02	c calculated reachability. Time: 0.00
3555.10/890.02	c  N st    82   3212443       587      2533         0     99011      7661   1397754   no data   no data
4326.04/1083.09	c  N st    83   3712444       587      2533         0    110081      7661   1578075   no data   no data
4326.04/1083.09	c  S st    83   3712444       587      2533         0    110081      7661   1578075   no data   no data
4327.65/1083.42	c  S st    83   3712952       587      2533         0    110587      7661   1592031   no data   no data
4327.65/1083.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4327.65/1083.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4327.65/1083.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4327.65/1083.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4327.65/1083.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4327.65/1083.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
4327.65/1083.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4328.07/1083.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4328.07/1083.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4347.62/1088.41	c lits-rem:       387  cl-subs:     4703  v-elim:      0  v-fix:    0  time:  4.84 s
4347.62/1088.41	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
4347.62/1088.43	c vivif2 --  cl tried   105884 cl shrink        0 lits rem          0 time: 0.02
4348.02/1088.55	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.12
4348.02/1088.55	c calculated reachability. Time: 0.00
4348.02/1088.55	c  N st    83   3712952       587      2533         0    105884      7661   1472190   no data   no data
4408.34/1103.61	c  F st    84   3751562       587      2533         0    143492      7661   2485832   no data   no data
4408.34/1103.61	c  N st    84   3751562       587      2533         0    143492      7661   2485832   no data   no data
4419.93/1106.51	c Decided on static restart strategy
4466.25/1118.14	c  N st    94   3779867       587      2533         0     88281      7661    934015   no data   no data
4518.58/1131.29	c  N st    96   3815861       587      2533         0    123324      7661   1848991   no data   no data
4584.90/1147.84	c  N st    97   3848255       587      2533         0    154793      7661   2641799   no data   no data
4660.79/1166.89	c  N st    98   3896845       587      2533         0    118470      7661   1729347   no data   no data
4783.03/1197.40	c  N st    99   3969729       587      2533         0    104896      7661   1363046   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174047-1304079204/watcher-3174047-1304079204 -o /tmp/evaluation-result-3174047-1304079204/solver-3174047-1304079204 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174047-1304079204.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: 6.66 7.80 7.92 3/176 889
/proc/meminfo: memFree=19212188/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=40968 CPUtime=0 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 3 0 519520097 41951232 346 33554432000 4194304 4627427 140733444437472 18446744073709551615 274474023921 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/887/statm: 10242 346 299 106 0 5213 0
[pid=887/tid=890] ppid=884 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 4 0 519520098 52441088 352 33554432000 4194304 4627427 140733444437472 18446744073709551615 274473967547 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 519520098 52441088 352 33554432000 4194304 4627427 140733444437472 18446744073709551615 46999996225458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=895] ppid=884 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 519520098 52441088 352 33554432000 4194304 4627427 140733444437472 18446744073709551615 274469014614 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0961439 s]
/proc/loadavg: 6.66 7.80 7.92 3/176 889
/proc/meminfo: memFree=19212188/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=282516 CPUtime=0.35 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 1821 0 0 0 35 0 0 0 23 0 4 0 519520097 289296384 1661 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 70629 1661 384 106 0 65600 0
[pid=887/tid=890] ppid=884 vsize=282516 CPUtime=0.08 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 403 0 0 0 8 0 0 0 23 0 4 0 519520098 289296384 1661 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=282516 CPUtime=0.08 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 337 0 0 0 8 0 0 0 23 0 4 0 519520098 289296384 1661 33554432000 4194304 4627427 140733444437472 18446744073709551615 4348160 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=282516 CPUtime=0.08 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 262 0 0 0 8 0 0 0 24 0 4 0 519520098 289296384 1661 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 282516

[startup+0.101142 s]
/proc/loadavg: 6.66 7.80 7.92 3/176 889
/proc/meminfo: memFree=19212188/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=282516 CPUtime=0.37 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 1846 0 0 0 37 0 0 0 23 0 4 0 519520097 289296384 1686 33554432000 4194304 4627427 140733444437472 18446744073709551615 4308752 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 70629 1686 384 106 0 65600 0
[pid=887/tid=890] ppid=884 vsize=282516 CPUtime=0.09 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 407 0 0 0 9 0 0 0 23 0 4 0 519520098 289296384 1686 33554432000 4194304 4627427 140733444437472 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=282516 CPUtime=0.09 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 342 0 0 0 9 0 0 0 23 0 4 0 519520098 289296384 1686 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=282516 CPUtime=0.09 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 267 0 0 0 9 0 0 0 24 0 4 0 519520098 289296384 1686 33554432000 4194304 4627427 140733444437472 18446744073709551615 4327752 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282516

[startup+0.301107 s]
/proc/loadavg: 6.66 7.80 7.92 3/176 889
/proc/meminfo: memFree=19212188/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=284080 CPUtime=1.17 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 2983 0 0 0 117 0 0 0 24 0 4 0 519520097 290897920 2182 33554432000 4194304 4627427 140733444437472 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 71020 2182 385 106 0 65991 0
[pid=887/tid=890] ppid=884 vsize=284080 CPUtime=0.29 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 675 0 0 0 29 0 0 0 23 0 4 0 519520098 290897920 2182 33554432000 4194304 4627427 140733444437472 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=284080 CPUtime=0.29 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 628 0 0 0 29 0 0 0 23 0 4 0 519520098 290897920 2182 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=284080 CPUtime=0.29 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 572 0 0 0 29 0 0 0 25 0 4 0 519520098 290897920 2182 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284080

[startup+0.701038 s]
/proc/loadavg: 6.66 7.80 7.92 3/176 889
/proc/meminfo: memFree=19212188/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=285196 CPUtime=2.77 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 4672 0 0 0 276 1 0 0 25 0 4 0 519520097 292040704 2900 33554432000 4194304 4627427 140733444437472 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 71299 2900 385 106 0 66270 0
[pid=887/tid=890] ppid=884 vsize=285196 CPUtime=0.69 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 1092 0 0 0 69 0 0 0 25 0 4 0 519520098 292040704 2900 33554432000 4194304 4627427 140733444437472 18446744073709551615 4330056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=285196 CPUtime=0.69 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 1039 0 0 0 69 0 0 0 25 0 4 0 519520098 292040704 2900 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=285196 CPUtime=0.69 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 1045 0 0 0 69 0 0 0 25 0 4 0 519520098 292040704 2900 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309340 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) 285196

[startup+1.5009 s]
/proc/loadavg: 6.66 7.80 7.92 10/184 897
/proc/meminfo: memFree=19184844/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=292460 CPUtime=5.97 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 9390 0 0 0 595 2 0 0 25 0 4 0 519520097 299479040 4885 33554432000 4194304 4627427 140733444437472 18446744073709551615 4420146 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 73115 4885 390 106 0 68086 0
[pid=887/tid=890] ppid=884 vsize=292460 CPUtime=1.49 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 1908 0 0 0 149 0 0 0 25 0 4 0 519520098 299479040 4885 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=292460 CPUtime=1.48 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 1848 0 0 0 148 0 0 0 25 0 4 0 519520098 299479040 4885 33554432000 4194304 4627427 140733444437472 18446744073709551615 4332749 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=292460 CPUtime=1.48 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 1879 0 0 0 148 0 0 0 25 0 4 0 519520098 299479040 4885 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 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) 292460

[startup+3.10062 s]
/proc/loadavg: 6.66 7.80 7.92 10/184 897
/proc/meminfo: memFree=19159424/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=299972 CPUtime=12.36 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 18602 0 0 0 1232 4 0 0 25 0 4 0 519520097 307171328 11023 33554432000 4194304 4627427 140733444437472 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 74993 11023 390 106 0 69964 0
[pid=887/tid=890] ppid=884 vsize=299972 CPUtime=3.08 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 3987 0 0 0 308 0 0 0 25 0 4 0 519520098 307171328 11023 33554432000 4194304 4627427 140733444437472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=299972 CPUtime=3.07 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 4888 0 0 0 307 0 0 0 25 0 4 0 519520098 307171328 11023 33554432000 4194304 4627427 140733444437472 18446744073709551615 4308668 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=299972 CPUtime=3.09 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 4566 0 0 0 308 1 0 0 25 0 4 0 519520098 307171328 11023 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 299972

[startup+6.30105 s]
/proc/loadavg: 6.76 7.80 7.92 10/184 897
/proc/meminfo: memFree=19105216/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=310048 CPUtime=25.14 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 28776 0 0 0 2508 6 0 0 25 0 4 0 519520097 317489152 14155 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 77512 14155 389 106 0 72483 0
[pid=887/tid=890] ppid=884 vsize=310048 CPUtime=6.29 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 7094 0 0 0 628 1 0 0 25 0 4 0 519520098 317489152 14156 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=310048 CPUtime=6.25 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 7660 0 0 0 624 1 0 0 25 0 4 0 519520098 317489152 14156 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=310048 CPUtime=6.28 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 6760 0 0 0 627 1 0 0 25 0 4 0 519520098 317489152 14156 33554432000 4194304 4627427 140733444437472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 310048

[startup+12.7009 s]
/proc/loadavg: 6.86 7.80 7.92 10/184 898
/proc/meminfo: memFree=19050952/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=294164 CPUtime=50.7 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 43497 0 0 0 5060 10 0 0 25 0 4 0 519520097 301223936 20463 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 73541 20463 389 106 0 68512 0
[pid=887/tid=890] ppid=884 vsize=294164 CPUtime=12.68 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 9343 0 0 0 1267 1 0 0 25 0 4 0 519520098 301223936 20463 33554432000 4194304 4627427 140733444437472 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=294164 CPUtime=12.61 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 10775 0 0 0 1259 2 0 0 25 0 4 0 519520098 301223936 20463 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=294164 CPUtime=12.68 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 10925 0 0 0 1266 2 0 0 25 0 4 0 519520098 301223936 20463 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 294164

[startup+25.5007 s]
/proc/loadavg: 7.11 7.81 7.92 10/184 898
/proc/meminfo: memFree=18984008/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=332168 CPUtime=101.83 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 62389 0 0 0 10168 15 0 0 25 0 4 0 519520097 340140032 29057 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 83042 29057 389 106 0 78013 0
[pid=887/tid=890] ppid=884 vsize=332168 CPUtime=25.49 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 12680 0 0 0 2547 2 0 0 25 0 4 0 519520098 340140032 29057 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=332168 CPUtime=25.34 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 16733 0 0 0 2530 4 0 0 25 0 4 0 519520098 340140032 29057 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=332168 CPUtime=25.49 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 15106 0 0 0 2545 4 0 0 25 0 4 0 519520098 340140032 29057 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 332168

[startup+51.1012 s]
/proc/loadavg: 7.42 7.83 7.92 10/184 899
/proc/meminfo: memFree=18938680/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=346568 CPUtime=204.08 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 93077 0 0 0 20385 23 0 0 25 0 4 0 519520097 354885632 38484 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 86642 38484 389 106 0 81613 0
[pid=887/tid=890] ppid=884 vsize=346568 CPUtime=51.08 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 21524 0 0 0 5104 4 0 0 25 0 4 0 519520098 354885632 38484 33554432000 4194304 4627427 140733444437472 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=346568 CPUtime=50.81 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 24894 0 0 0 5075 6 0 0 25 0 4 0 519520098 354885632 38484 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=346568 CPUtime=51.09 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 22299 0 0 0 5102 7 0 0 25 0 4 0 519520098 354885632 38484 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 346568

[startup+102.307 s]
/proc/loadavg: 7.75 7.85 7.92 10/184 900
/proc/meminfo: memFree=18879636/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=337512 CPUtime=408.63 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 135536 0 0 0 40826 37 0 0 25 0 4 0 519520097 345612288 44922 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 84378 44922 389 106 0 79349 0
[pid=887/tid=890] ppid=884 vsize=337512 CPUtime=102.29 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 34631 0 0 0 10221 8 0 0 25 0 4 0 519520098 345612288 44922 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=337512 CPUtime=101.72 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 35183 0 0 0 10164 8 0 0 25 0 4 0 519520098 345612288 44922 33554432000 4194304 4627427 140733444437472 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=337512 CPUtime=102.29 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 32625 0 0 0 10218 11 0 0 25 0 4 0 519520098 345612288 44922 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 337512

[startup+162.301 s]

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

[pid=887] ppid=884 vsize=573936 CPUtime=2805.33 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 389089 0 0 0 280395 138 0 0 25 0 4 0 519520097 587710464 94355 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 143484 94355 389 106 0 138455 0
[pid=887/tid=890] ppid=884 vsize=573936 CPUtime=702.23 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 76046 0 0 0 70197 26 0 0 25 0 4 0 519520098 587710464 94355 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=573936 CPUtime=698.47 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 93973 0 0 0 69815 32 0 0 25 0 4 0 519520098 587710464 94355 33554432000 4194304 4627427 140733444437472 18446744073709551615 4330971 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=573936 CPUtime=702.3 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 100237 0 0 0 70192 38 0 0 25 0 4 0 519520098 587710464 94355 33554432000 4194304 4627427 140733444437472 18446744073709551615 4321457 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 573936

[startup+762.307 s]
/proc/loadavg: 8.01 8.01 7.95 10/184 919
/proc/meminfo: memFree=18545952/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=597900 CPUtime=3045.02 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 411963 0 0 0 304356 146 0 0 25 0 4 0 519520097 612249600 90702 33554432000 4194304 4627427 140733444437472 18446744073709551615 4333602 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 149475 90702 389 106 0 144446 0
[pid=887/tid=890] ppid=884 vsize=597900 CPUtime=762.24 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 81085 0 0 0 76195 29 0 0 25 0 4 0 519520098 612249600 90702 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=597900 CPUtime=758.15 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 97654 0 0 0 75782 33 0 0 25 0 4 0 519520098 612249600 90702 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=597900 CPUtime=762.3 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 106654 0 0 0 76190 40 0 0 25 0 4 0 519520098 612249600 90702 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 597900

[startup+822.3 s]
/proc/loadavg: 8.11 8.04 7.97 11/184 920
/proc/meminfo: memFree=18520528/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=585424 CPUtime=3284.67 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 433310 0 0 0 328312 155 0 0 25 0 4 0 519520097 599474176 99516 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 146356 99516 389 106 0 141327 0
[pid=887/tid=890] ppid=884 vsize=585424 CPUtime=822.23 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 86555 0 0 0 82192 31 0 0 25 0 4 0 519520098 599474176 99516 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=585424 CPUtime=817.81 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 101655 0 0 0 81747 34 0 0 25 0 4 0 519520098 599474176 99516 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=585424 CPUtime=822.31 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 113261 0 0 0 82187 44 0 0 25 0 4 0 519520098 599474176 99516 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 585424

[startup+882.301 s]
/proc/loadavg: 8.13 8.06 7.98 10/184 922
/proc/meminfo: memFree=18507004/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=623000 CPUtime=3524.35 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 454556 0 0 0 352268 167 0 0 25 0 4 0 519520097 637952000 97270 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 155750 97270 389 106 0 150721 0
[pid=887/tid=890] ppid=884 vsize=623000 CPUtime=882.22 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 90260 0 0 0 88189 33 0 0 25 0 4 0 519520098 637952000 97270 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=623000 CPUtime=877.48 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 106494 0 0 0 87711 37 0 0 25 0 4 0 519520098 637952000 97270 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=623000 CPUtime=882.3 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 120906 0 0 0 88183 47 0 0 25 0 4 0 519520098 637952000 97270 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 623000

[startup+942.3 s]
/proc/loadavg: 8.14 8.07 7.99 10/184 924
/proc/meminfo: memFree=18475132/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=609176 CPUtime=3764.01 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 472883 0 0 0 376224 177 0 0 25 0 4 0 519520097 623796224 98813 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 152294 98813 389 106 0 147265 0
[pid=887/tid=890] ppid=884 vsize=609176 CPUtime=942.22 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 93103 0 0 0 94188 34 0 0 25 0 4 0 519520098 623796224 98813 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=609176 CPUtime=937.15 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 111418 0 0 0 93676 39 0 0 25 0 4 0 519520098 623796224 98813 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=609176 CPUtime=942.31 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 124656 0 0 0 94181 50 0 0 25 0 4 0 519520098 623796224 98813 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 609176

[startup+1002.3 s]
/proc/loadavg: 8.13 8.09 8.00 10/184 925
/proc/meminfo: memFree=18487772/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=675088 CPUtime=4003.68 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 493737 0 0 0 400181 187 0 0 25 0 4 0 519520097 691290112 97409 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 168772 97409 389 106 0 163743 0
[pid=887/tid=890] ppid=884 vsize=675088 CPUtime=1002.21 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 95884 0 0 0 100186 35 0 0 25 0 4 0 519520098 691290112 97409 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=675088 CPUtime=996.83 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 116394 0 0 0 99641 42 0 0 25 0 4 0 519520098 691290112 97409 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=675088 CPUtime=1002.31 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 131799 0 0 0 100177 54 0 0 25 0 4 0 519520098 691290112 97409 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 675088

[startup+1062.3 s]
/proc/loadavg: 8.12 8.10 8.00 10/184 927
/proc/meminfo: memFree=18438156/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=624416 CPUtime=4243.36 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 518535 0 0 0 424139 197 0 0 25 0 4 0 519520097 639401984 110244 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 156104 110244 389 106 0 151075 0
[pid=887/tid=890] ppid=884 vsize=624416 CPUtime=1062.2 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 104956 0 0 0 106183 37 0 0 25 0 4 0 519520098 639401984 110244 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=624416 CPUtime=1056.51 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 120901 0 0 0 105607 44 0 0 25 0 4 0 519520098 639401984 110244 33554432000 4194304 4627427 140733444437472 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=624416 CPUtime=1062.31 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 136643 0 0 0 106175 56 0 0 25 0 4 0 519520098 639401984 110244 33554432000 4194304 4627427 140733444437472 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 624416

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 8.00 10/184 928
/proc/meminfo: memFree=18424384/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=687144 CPUtime=4483.03 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 539336 0 0 0 448096 207 0 0 25 0 4 0 519520097 703635456 109083 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 171786 109083 389 106 0 166757 0
[pid=887/tid=890] ppid=884 vsize=687144 CPUtime=1122.2 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 107374 0 0 0 112181 39 0 0 25 0 4 0 519520098 703635456 109083 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=687144 CPUtime=1116.18 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 125080 0 0 0 111571 47 0 0 25 0 4 0 519520098 703635456 109083 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=687144 CPUtime=1122.31 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 143250 0 0 0 112172 59 0 0 25 0 4 0 519520098 703635456 109083 33554432000 4194304 4627427 140733444437472 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 687144

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 8.02 10/184 930
/proc/meminfo: memFree=18389532/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=648952 CPUtime=4722.71 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 559537 0 0 0 472055 216 0 0 25 0 4 0 519520097 664526848 117905 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 162238 117905 389 106 0 157209 0
[pid=887/tid=890] ppid=884 vsize=648952 CPUtime=1182.2 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 111470 0 0 0 118179 41 0 0 25 0 4 0 519520098 664526848 117905 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=648952 CPUtime=1175.86 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 129698 0 0 0 117537 49 0 0 25 0 4 0 519520098 664526848 117905 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=648952 CPUtime=1182.31 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 149785 0 0 0 118169 62 0 0 25 0 4 0 519520098 664526848 117905 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 648952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.25 8.15 8.03 10/184 930
/proc/meminfo: memFree=18386552/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=649004 CPUtime=4800.21 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 565195 0 0 0 479802 219 0 0 25 0 4 0 519520097 664580096 116599 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 162251 116599 389 106 0 157222 0
[pid=887/tid=890] ppid=884 vsize=649004 CPUtime=1201.6 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 111917 0 0 0 120119 41 0 0 25 0 4 0 519520098 664580096 116599 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=649004 CPUtime=1195.15 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 130647 0 0 0 119466 49 0 0 25 0 4 0 519520098 664580096 116599 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=649004 CPUtime=1201.71 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 151380 0 0 0 120108 63 0 0 25 0 4 0 519520098 664580096 116599 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 649004

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

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

[startup+1201.7 s]
/proc/loadavg: 8.25 8.15 8.03 10/184 930
/proc/meminfo: memFree=18386552/32950928 swapFree=67111528/67111528
[pid=887] ppid=884 vsize=649004 CPUtime=4800.21 cores=0,2,4,6
/proc/887/stat : 887 (strangenight2-m) R 884 887 499 0 -1 4202496 565195 0 0 0 479802 219 0 0 25 0 4 0 519520097 664580096 116599 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/887/statm: 162251 116599 389 106 0 157222 0
[pid=887/tid=890] ppid=884 vsize=649004 CPUtime=1201.6 cores=0,2,4,6
/proc/887/task/890/stat : 890 (strangenight2-m) R 884 887 499 0 -1 4202560 111917 0 0 0 120119 41 0 0 25 0 4 0 519520098 664580096 116599 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=887/tid=891] ppid=884 vsize=649004 CPUtime=1195.15 cores=0,2,4,6
/proc/887/task/891/stat : 891 (strangenight2-m) R 884 887 499 0 -1 4202560 130647 0 0 0 119466 49 0 0 25 0 4 0 519520098 664580096 116599 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=887/tid=895] ppid=884 vsize=649004 CPUtime=1201.71 cores=0,2,4,6
/proc/887/task/895/stat : 895 (strangenight2-m) R 884 887 499 0 -1 4202560 151380 0 0 0 120108 63 0 0 25 0 4 0 519520098 664580096 116599 33554432000 4194304 4627427 140733444437472 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 649004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.27
CPU user time (s): 4798.05
CPU system time (s): 2.21966
CPU usage (%): 399.445
Max. virtual memory (cumulated for all children) (KiB): 792352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.05
system time used= 2.21966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565196
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= 390
involuntary context switches= 52683

runsolver used 1.81572 second user time and 4.75228 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 14:13:24
IDJOB=3174047
IDBENCH=82865
IDSOLVER=1586
FILE ID=node125/3174047-1304079204
RUNJOBID= node125-1304079204-869
PBS_JOBID= 13170502
Free space on /tmp= 72764 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174047-1304079204/watcher-3174047-1304079204 -o /tmp/evaluation-result-3174047-1304079204/solver-3174047-1304079204 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174047-1304079204.cnf

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

MD5SUM BENCH= 9ba35b45d3c5bc2de5bf2217a9a677d5
RANDOM SEED=1000259609

node125.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	: 5266.55
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.84
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.74
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.74
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.75
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:     32950928 kB
MemFree:      19212764 kB
Buffers:       2217852 kB
Cached:       10925496 kB
SwapCached:          0 kB
Active:        8428000 kB
Inactive:      4779040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19212764 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11396 kB
Writeback:           0 kB
AnonPages:       62632 kB
Mapped:          14488 kB
Slab:           466980 kB
PageTables:       4708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   190420 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= 72752 MiB
End job on node125 at 2011-04-29 14:33:28