Trace number 3368962

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.22 1203.46

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf
MD5SUM17e7946cc73ece994e4c474e2407ffbb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.06099
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368962-1305408016.cnf'
0.00/0.01	c -- header says num vars:            800
0.00/0.01	c -- header says num clauses:        3408
0.04/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.04/0.01	c -- vars added        800
0.04/0.01	c Parsing time:  0.01 s
0.04/0.01	c  N st     0         0       800      3408         0         0     10224         0   no data   no data  --
0.04/0.01	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.00
0.04/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1.57/0.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.57/0.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.57/0.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
1.57/0.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1.57/0.49	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.01 s
1.57/0.49	c Finding binary XORs  T:     0.00 s  found:       0
1.57/0.49	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.57/0.49	c calculated reachability. Time: 0.00
1.57/0.49	c Calc default polars -  time:   0.00 s pos:     354 undec:      84 neg:     362
1.57/0.49	c =========================================================================================
1.57/0.49	c types(t): F = full restart, N = normal restart
1.57/0.49	c types(t): S = simplification begin/end, E = solution found
1.57/0.49	c restart types(rt): st = static, dy = dynamic
1.57/0.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.57/0.49	c  B st     0         0       782      3381         0         0     10238         0   no data   no data  --
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4916       782      3381         0      4890     10238    162673   no data   no data  --
3.18/0.80	c  N st    10     11299       782      3381         0      4526     10238    100694   no data   no data  --
3.57/0.90	c  N st    11     17042       782      3381         0     10200     10238    299766   no data   no data  --
5.16/1.30	c  F st    12     25001       782      3381         0     12552     10238    379806   no data   no data  --
5.16/1.30	c  N st    12     25001       782      3381         0     12552     10238    379806   no data   no data  --
5.96/1.52	c Decided on static restart strategy
5.96/1.52	c  N st    18     30000       782      3381         0     10777     10238    273122   no data   no data  --
5.96/1.52	c  S st    18     30000       782      3381         0     10777     10238    273122   no data   no data  --
5.96/1.55	c  S st    18     30505       782      3381         0     11282     10238    288106   no data   no data  --
5.96/1.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.96/1.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
5.96/1.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.56/1.90	c lits-rem:       108  cl-subs:      196  v-elim:      0  v-fix:    0  time:  1.36 s
7.56/1.91	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.04
7.56/1.91	c calculated reachability. Time: 0.00
7.56/1.91	c  N st    18     30505       782      3381         0     11086     10238    280276   no data   no data  --
9.15/2.34	c  N st    20     37618       782      3381         0     10321     10238    235371   no data   no data  --
10.74/2.76	c  N st    21     44017       782      3381         0     16663     10238    463415   no data   no data  --
11.15/2.88	c  S st    22     45759       782      3381         0      9537     10238    183514   no data   no data  --
11.55/2.91	c  S st    22     46264       782      3381         0     10042     10238    198297   no data   no data  --
11.55/2.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.55/2.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.55/2.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.55/2.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.55/2.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.55/2.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
11.55/2.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.95/3.09	c lits-rem:        34  cl-subs:       28  v-elim:      0  v-fix:    0  time:  0.71 s
11.95/3.09	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
12.35/3.10	c vivif2 --  cl tried    10014 cl shrink        0 lits rem          0 time: 0.01
12.35/3.11	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.03
12.35/3.11	c calculated reachability. Time: 0.00
12.35/3.11	c  N st    22     46264       782      3381         0     10014     10238    197124   no data   no data  --
16.34/4.14	c  N st    23     60661       782      3381         0     14407     10238    338918   no data   no data  --
19.13/4.83	c  N st    24     69397       782      3381         0     12194     10238    243986   no data   no data  --
19.13/4.83	c  S st    24     69397       782      3381         0     12194     10238    243986   no data   no data  --
19.13/4.86	c  S st    24     69901       782      3381         0     12697     10238    259928   no data   no data  --
19.13/4.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.13/4.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.13/4.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.13/4.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.13/4.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.13/4.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
19.13/4.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
20.72/5.23	c lits-rem:        19  cl-subs:       74  v-elim:      0  v-fix:    0  time:  1.43 s
20.72/5.23	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
20.72/5.24	c vivif2 --  cl tried    12623 cl shrink        0 lits rem          0 time: 0.01
20.72/5.25	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.04
20.72/5.25	c calculated reachability. Time: 0.00
20.72/5.25	c  N st    24     69901       782      3381         0     12623     10238    257168   no data   no data  --
25.93/6.60	c  F st    25     87500       782      3381         0     18208     10238    449584   no data   no data  --
25.93/6.60	c  N st    25     87500       782      3381         0     18208     10238    449584   no data   no data  --
28.30/7.14	c  N dy    35     93895       782      3381         0     24554     10238    667265     23.61     25.11  --
30.31/7.64	c  N dy    49    100262       782      3381         0     17898     10238    328025     20.77     21.93  --
31.89/8.01	c  S st    75    104852       782      3381         0     22471     10238    469829     21.02   no data  --
31.89/8.07	c  S st    75    105356       782      3381         0     22975     10238    485393     21.02   no data  --
31.89/8.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.89/8.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.89/8.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
31.89/8.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.89/8.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.89/8.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
31.89/8.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
37.87/9.57	c lits-rem:       222  cl-subs:      219  v-elim:      0  v-fix:    0  time:  5.89 s
37.87/9.57	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
37.87/9.58	c vivif2 --  cl tried    22756 cl shrink        0 lits rem          0 time: 0.02
38.27/9.60	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.09
38.27/9.60	c calculated reachability. Time: 0.00
38.27/9.60	c  N dy    75    105356       782      3381         0     22756     10238    477547     21.02   no data  --
40.67/10.27	c  N dy   109    112243       782      3381         0     15666     10238    219214     21.17     22.54  --
43.07/10.88	c  N dy   125    119792       782      3381         0     23184     10238    448407     20.73     22.08  --
46.25/11.66	c  N dy   163    127506       782      3381         0     15919     10238    193941     20.84     22.55  --
49.04/12.32	c  N dy   194    135686       782      3381         0     24062     10238    445723     20.77     22.14  --
52.68/13.22	c  N dy   231    144850       782      3381         0     17247     10238    204019     20.75     21.98  --
55.83/14.02	c  N dy   252    154190       782      3381         0     26521     10238    490320     20.63     21.72  --
57.41/14.41	c  S st   275    158034       782      3381         0     30346     10238    607946     20.66   no data  --
57.41/14.48	c  S st   275    158539       782      3381         0     30851     10238    623131     20.66   no data  --
57.41/14.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.41/14.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.41/14.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
57.81/14.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.81/14.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.81/14.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
57.81/14.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
65.84/16.56	c lits-rem:       329  cl-subs:      345  v-elim:      0  v-fix:    0  time:  8.15 s
65.84/16.56	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
65.84/16.56	c vivif2 --  cl tried    30506 cl shrink        0 lits rem          0 time: 0.03
65.84/16.59	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.11
65.84/16.59	c calculated reachability. Time: 0.00
65.84/16.59	c  N dy   275    158539       782      3381         0     30506     10238    610777     20.66   no data  --
69.81/17.55	c  N dy   340    168743       782      3381         0     23756     10238    379562     20.78     23.58  --
74.62/18.75	c  N dy   418    179719       782      3381         0     34694     10238    724472     20.92     22.09  --
79.01/19.87	c  N dy   491    191288       782      3381         0     28288     10238    494297     21.03     22.20  --
85.35/21.41	c  N dy   563    203756       782      3381         0     21792     10238    263694     21.12     22.28  --
90.93/22.84	c  N dy   610    216880       782      3381         0     34831     10238    664590     21.10     22.22  --
96.90/24.37	c  N dy   685    230783       782      3381         0     28752     10238    462851     21.17     25.24  --
100.10/25.16	c  S st   711    237809       782      3381         0     35728     10238    682089     21.15   no data  --
100.53/25.24	c  S st   711    238314       782      3381         0     36232     10238    697107     21.15   no data  --
100.53/25.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.53/25.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.53/25.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
100.53/25.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.53/25.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.53/25.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
100.53/25.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
110.47/27.70	c lits-rem:       705  cl-subs:      261  v-elim:      0  v-fix:    0  time:  9.66 s
110.47/27.70	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
110.47/27.71	c vivif2 --  cl tried    35971 cl shrink        0 lits rem          0 time: 0.03
110.47/27.74	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.14
110.47/27.74	c calculated reachability. Time: 0.00
110.47/27.74	c  N dy   711    238314       782      3381         0     35971     10238    685891     21.15   no data  --
117.26/29.48	c  N dy   801    253546       782      3381         0     30263     10238    476066     21.22     22.36  --
126.03/31.60	c  N dy   870    269751       782      3381         0     24489     10238    269077     21.20     22.41  --
134.01/33.64	c  N dy   932    287028       782      3381         0     41630     10238    805160     21.15     22.57  --
142.79/35.86	c  N dy  1038    305383       782      3381         0     37046     10238    643501     21.23     22.53  --
143.19/35.98	c  F st  1046    306250       782      3381         0     37910     10238    671065     21.24   no data  --
146.37/36.74	c Decided on static restart strategy
152.76/38.35	c  N st  1055    324953       782      3381         0     32565     10238    714178     21.24   no data  --
166.34/41.74	c  N st  1057    348949       782      3381         0     31538     10238    694184     21.24   no data  --
170.73/42.88	c  S st  1058    357471       782      3381         0     39947     10238    989127     21.24   no data  --
171.16/42.98	c  S st  1058    357973       782      3381         0     40448     10238   1004096     21.24   no data  --
171.16/42.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
171.16/42.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.50/43.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
171.50/43.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
171.50/43.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
171.50/43.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
171.50/43.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
176.69/44.31	c lits-rem:       316  cl-subs:     1090  v-elim:      0  v-fix:    0  time:  5.07 s
176.69/44.31	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
176.69/44.32	c vivif2 --  cl tried    39358 cl shrink        0 lits rem          0 time: 0.04
176.69/44.36	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.18
176.69/44.36	c calculated reachability. Time: 0.00
176.69/44.36	c  N st  1058    357973       782      3381         0     39358     10238    959494     21.24   no data  --
196.64/49.41	c  N st  1059    390365       782      3381         0     45608     10238   1150854     21.24   no data  --
228.19/57.21	c  N st  1060    438953       782      3381         0     39269     10238    835856     21.24   no data  --
273.62/68.65	c  N st  1061    511835       782      3381         0     52789     10238   1207307     21.24   no data  --
288.38/72.34	c  N st  1062    536959       782      3381         0     47107     10238    995966     21.24   no data  --
288.38/72.34	c  S st  1062    536959       782      3381         0     47107     10238    995966     21.24   no data  --
288.78/72.45	c  S st  1062    537463       782      3381         0     47611     10238   1010100     21.24   no data  --
288.78/72.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
288.78/72.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
288.78/72.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
288.78/72.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
288.78/72.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
288.78/72.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
288.78/72.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
294.76/73.93	c lits-rem:       436  cl-subs:     1381  v-elim:      0  v-fix:    0  time:  5.69 s
294.76/73.93	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
294.76/73.95	c vivif2 --  cl tried    46230 cl shrink        0 lits rem          0 time: 0.05
295.16/74.00	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.22
295.16/74.00	c calculated reachability. Time: 0.00
295.16/74.00	c  N st  1062    537463       782      3381         0     46230     10238    965085     21.24   no data  --
419.22/105.15	c  N st  1063    701447       782      3381         0     40249     10238    642975     21.24   no data  --
501.39/125.71	c  N st  1064    806195       782      3381         0     69618     10238   1638381     21.24   no data  --
501.39/125.71	c  S st  1064    806195       782      3381         0     69618     10238   1638381     21.24   no data  --
502.19/125.90	c  S st  1064    806705       782      3381         0     70127     10238   1653726     21.24   no data  --
502.19/125.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
502.19/125.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
502.19/125.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
502.19/125.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
502.19/125.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
502.19/125.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
502.19/125.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
525.33/131.72	c lits-rem:      9392  cl-subs:     2520  v-elim:      0  v-fix:    0  time: 22.81 s
525.33/131.72	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
525.33/131.74	c vivif2 --  cl tried    67607 cl shrink        0 lits rem          0 time: 0.07
525.73/131.83	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.37
525.73/131.83	c calculated reachability. Time: 0.00
525.73/131.83	c  N st  1064    806705       782      3381         0     67607     10238   1553612     21.24   no data  --
760.69/190.78	c  F st  1065   1071876       782      3381         0     83598     10238   2074067     21.24   no data  --
760.69/190.78	c  N st  1065   1071876       782      3381         0     83598     10238   2074067     21.24   no data  --
767.07/192.38	c Decided on static restart strategy
785.04/196.81	c  N st  1075   1100175       782      3381         0     67232     10238   1337805     21.24   no data  --
816.52/204.77	c  N st  1077   1136167       782      3381         0     57494     10238   1003883     21.24   no data  --
850.04/213.14	c  N st  1078   1168559       782      3381         0     89545     10238   2135392     21.24   no data  --
889.52/223.08	c  N st  1079   1210057       782      3381         0     84193     10238   1996138     21.24   no data  --
889.52/223.08	c  S st  1079   1210057       782      3381         0     84193     10238   1996138     21.24   no data  --
890.77/223.34	c  S st  1079   1210561       782      3381         0     84696     10238   2011318     21.24   no data  --
890.77/223.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
890.77/223.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
890.77/223.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
891.12/223.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
891.12/223.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
891.12/223.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
891.12/223.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
915.05/229.45	c lits-rem:        46  cl-subs:     2000  v-elim:      0  v-fix:    0  time: 23.90 s
915.05/229.45	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
915.05/229.47	c vivif2 --  cl tried    82696 cl shrink        0 lits rem          0 time: 0.09
915.45/229.58	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.45
915.45/229.59	c calculated reachability. Time: 0.00
915.45/229.59	c  N st  1079   1210561       782      3381         0     82696     10238   1920899     21.24   no data  --
981.27/246.00	c  N st  1080   1283444       782      3381         0     58788     10238    989336     21.24   no data  --
1086.98/272.54	c  N st  1081   1392769       782      3381         0     66809     10238   1145744     21.24   no data  --
1262.09/316.41	c  N st  1082   1556753       782      3381         0     71495     10238   1244439     21.24   no data  --
1433.61/359.41	c  N st  1083   1710563       782      3381         0     57734     10238    701730     21.24   no data  --
1433.61/359.41	c  S st  1083   1710563       782      3381         0     57734     10238    701730     21.24   no data  --
1434.01/359.56	c  S st  1083   1711066       782      3381         0     58236     10238    716673     21.24   no data  --
1434.01/359.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1434.01/359.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1434.01/359.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1434.43/359.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1434.43/359.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1434.43/359.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
1434.43/359.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1442.78/361.76	c lits-rem:       423  cl-subs:      185  v-elim:      0  v-fix:    0  time:  8.55 s
1442.78/361.76	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
1442.78/361.77	c vivif2 --  cl tried    58051 cl shrink        0 lits rem          0 time: 0.04
1443.20/361.84	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.25
1443.20/361.84	c calculated reachability. Time: 0.00
1443.20/361.84	c  N st  1083   1711066       782      3381         0     58051     10238    710070     21.24   no data  --
1936.98/485.70	c  N st  1084   2080033       782      3381         0     63680     10238    761004     21.24   no data  --
2092.58/524.69	c  N st  1085   2211068       782      3381         0     65798     10238    782770     21.24   no data  --
2092.58/524.69	c  S st  1085   2211068       782      3381         0     65798     10238    782770     21.24   no data  --
2093.34/524.86	c  S st  1085   2211576       782      3381         0     66306     10238    797871     21.24   no data  --
2093.34/524.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2093.34/524.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2093.74/524.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
2093.74/524.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2093.74/524.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2093.74/524.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
2093.74/524.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2103.31/527.33	c lits-rem:       261  cl-subs:      130  v-elim:      0  v-fix:    0  time:  9.60 s
2103.31/527.33	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
2103.31/527.35	c vivif2 --  cl tried    66176 cl shrink        0 lits rem          0 time: 0.04
2103.71/527.42	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.32
2103.71/527.43	c calculated reachability. Time: 0.00
2103.71/527.43	c  N st  1085   2211576       782      3381         0     66176     10238    793784     21.24   no data  --
2766.24/693.55	c  N st  1086   2711576       782      3381         0     83055     10238   1238021     21.24   no data  --
2766.24/693.55	c  S st  1086   2711576       782      3381         0     83055     10238   1238021     21.24   no data  --
2767.04/693.77	c  S st  1086   2712080       782      3381         0     83559     10238   1253865     21.24   no data  --
2767.04/693.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2767.04/693.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2767.44/693.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
2767.44/693.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2767.44/693.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2767.44/693.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
2767.44/693.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2776.22/696.05	c lits-rem:       198  cl-subs:     1050  v-elim:      0  v-fix:    0  time:  8.77 s
2776.22/696.05	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
2776.22/696.07	c vivif2 --  cl tried    82509 cl shrink        0 lits rem          0 time: 0.07
2776.62/696.19	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.45
2776.62/696.19	c calculated reachability. Time: 0.00
2776.62/696.19	c  N st  1086   2712080       782      3381         0     82509     10238   1218418     21.24   no data  --
3475.81/871.42	c  N st  1087   3212081       782      3381         0    128842     10238   2811349     21.24   no data  --
3475.81/871.42	c  S st  1087   3212081       782      3381         0    128842     10238   2811349     21.24   no data  --
3477.41/871.84	c  S st  1087   3212583       782      3381         0    129344     10238   2826875     21.24   no data  --
3477.41/871.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3477.41/871.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3477.81/871.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.28
3478.21/872.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3478.21/872.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3478.21/872.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
3478.21/872.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3541.62/887.94	c lits-rem:        17  cl-subs:     3513  v-elim:      0  v-fix:    0  time: 63.44 s
3541.62/887.94	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
3541.62/887.97	c vivif2 --  cl tried   125831 cl shrink        0 lits rem          0 time: 0.14
3542.42/888.18	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.82
3542.42/888.18	c calculated reachability. Time: 0.00
3542.42/888.18	c  N st  1087   3212583       782      3381         0    125831     10238   2688284     21.24   no data  --
4359.73/1093.01	c  N st  1088   3712583       782      3381         0    136567     10238   2860471     21.24   no data  --
4359.73/1093.01	c  S st  1088   3712583       782      3381         0    136567     10238   2860471     21.24   no data  --
4361.37/1093.41	c  S st  1088   3713087       782      3381         0    137071     10238   2874754     21.24   no data  --
4361.37/1093.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4361.37/1093.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4361.72/1093.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.30
4362.12/1093.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4362.12/1093.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4362.12/1093.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
4362.12/1093.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4441.49/1113.52	c lits-rem:        39  cl-subs:     4674  v-elim:      0  v-fix:    0  time: 79.41 s
4441.49/1113.52	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
4441.49/1113.56	c vivif2 --  cl tried   132397 cl shrink        0 lits rem          0 time: 0.14
4442.29/1113.78	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.90
4442.29/1113.79	c calculated reachability. Time: 0.00
4442.29/1113.79	c  N st  1088   3713087       782      3381         0    132397     10238   2712798     21.24   no data  --
4520.07/1133.20	c  F st  1089   3751563       782      3381         0     86683     10238   1022335     21.24   no data  --
4520.07/1133.20	c  N st  1089   3751563       782      3381         0     86683     10238   1022335     21.24   no data  --
4526.46/1134.80	c Decided on static restart strategy
4555.16/1142.03	c  N st  1099   3779869       782      3381         0    114688     10238   1987647     21.24   no data  --
4623.38/1159.18	c  N st  1101   3815863       782      3381         0    150185     10238   3195380     21.24   no data  --
4676.03/1172.32	c  N st  1102   3848255       782      3381         0     97396     10238   1365135     21.24   no data  --
4751.02/1191.19	c  N st  1103   3896843       782      3381         0    145157     10238   2993075     21.24   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368962-1305408016/watcher-3368962-1305408016 -o /tmp/evaluation-result-3368962-1305408016/solver-3368962-1305408016 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368962-1305408016.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.77 8.04 8.07 6/354 8470
/proc/meminfo: memFree=17783824/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 731032227 52465664 352 33554432000 4194304 4650419 140735063431968 18446744073709551615 47507793508274 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 12809 352 303 112 0 7774 0
[pid=8470/tid=8471] ppid=8468 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731032228 52465664 352 33554432000 4194304 4650419 140735063431968 18446744073709551615 47507793508268 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731032228 52465664 352 33554432000 4194304 4650419 140735063431968 18446744073709551615 47507793508274 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731032228 52465664 352 33554432000 4194304 4650419 140735063431968 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0179241 s]
/proc/loadavg: 7.77 8.04 8.07 6/354 8470
/proc/meminfo: memFree=17783824/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=298748 CPUtime=0.04 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 1156 0 0 0 4 0 0 0 18 0 4 0 731032227 305917952 1053 33554432000 4194304 4650419 140735063431968 18446744073709551615 4518134 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 74687 1068 370 112 0 69652 0
[pid=8470/tid=8471] ppid=8468 vsize=298748 CPUtime=0.01 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 222 0 0 0 1 0 0 0 18 0 4 0 731032228 305917952 1080 33554432000 4194304 4650419 140735063431968 18446744073709551615 4464912 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=298748 CPUtime=0.01 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 186 0 0 0 1 0 0 0 18 0 4 0 731032228 305917952 1091 33554432000 4194304 4650419 140735063431968 18446744073709551615 4511549 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=298748 CPUtime=0 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 176 0 0 0 0 0 0 0 25 0 4 0 731032228 305917952 1097 33554432000 4194304 4650419 140735063431968 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 298748

[startup+0.100908 s]
/proc/loadavg: 7.77 8.04 8.07 6/354 8470
/proc/meminfo: memFree=17783824/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=282620 CPUtime=0.37 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 2098 0 0 0 37 0 0 0 18 0 4 0 731032227 289402880 1872 33554432000 4194304 4650419 140735063431968 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 70655 1872 391 112 0 65620 0
[pid=8470/tid=8471] ppid=8468 vsize=282620 CPUtime=0.09 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 490 0 0 0 9 0 0 0 18 0 4 0 731032228 289402880 1872 33554432000 4194304 4650419 140735063431968 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=282620 CPUtime=0.09 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 440 0 0 0 9 0 0 0 18 0 4 0 731032228 289402880 1872 33554432000 4194304 4650419 140735063431968 18446744073709551615 4307245 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=282620 CPUtime=0.08 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 297 0 0 0 8 0 0 0 25 0 4 0 731032228 289402880 1872 33554432000 4194304 4650419 140735063431968 18446744073709551615 4333978 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282620

[startup+0.300871 s]
/proc/loadavg: 7.77 8.04 8.07 6/354 8470
/proc/meminfo: memFree=17783824/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=284256 CPUtime=1.17 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 3383 0 0 0 117 0 0 0 18 0 4 0 731032227 291078144 2391 33554432000 4194304 4650419 140735063431968 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 71064 2391 393 112 0 66029 0
[pid=8470/tid=8471] ppid=8468 vsize=284256 CPUtime=0.29 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 821 0 0 0 29 0 0 0 18 0 4 0 731032228 291078144 2391 33554432000 4194304 4650419 140735063431968 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=284256 CPUtime=0.29 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 745 0 0 0 29 0 0 0 18 0 4 0 731032228 291078144 2391 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=284256 CPUtime=0.28 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 611 0 0 0 28 0 0 0 25 0 4 0 731032228 291078144 2391 33554432000 4194304 4650419 140735063431968 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284256

[startup+0.700797 s]
/proc/loadavg: 7.77 8.04 8.07 6/354 8470
/proc/meminfo: memFree=17783824/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=285284 CPUtime=2.78 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 5299 0 0 0 277 1 0 0 18 0 4 0 731032227 292130816 3163 33554432000 4194304 4650419 140735063431968 18446744073709551615 4363444 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 71321 3164 393 112 0 66286 0
[pid=8470/tid=8471] ppid=8468 vsize=285284 CPUtime=0.69 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 1290 0 0 0 69 0 0 0 18 0 4 0 731032228 292130816 3164 33554432000 4194304 4650419 140735063431968 18446744073709551615 4315177 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=285284 CPUtime=0.69 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 1236 0 0 0 69 0 0 0 18 0 4 0 731032228 292130816 3164 33554432000 4194304 4650419 140735063431968 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=285284 CPUtime=0.68 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 1060 0 0 0 68 0 0 0 25 0 4 0 731032228 292130816 3164 33554432000 4194304 4650419 140735063431968 18446744073709551615 4367351 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285284

[startup+1.50065 s]
/proc/loadavg: 7.77 8.04 8.07 9/358 8474
/proc/meminfo: memFree=17758000/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=286776 CPUtime=5.96 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 9177 0 0 0 594 2 0 0 20 0 4 0 731032227 293658624 3825 33554432000 4194304 4650419 140735063431968 18446744073709551615 4360435 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 71694 3825 394 112 0 66659 0
[pid=8470/tid=8471] ppid=8468 vsize=286776 CPUtime=1.49 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 2300 0 0 0 149 0 0 0 19 0 4 0 731032228 293658624 3825 33554432000 4194304 4650419 140735063431968 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=286776 CPUtime=1.49 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 2204 0 0 0 149 0 0 0 20 0 4 0 731032228 293658624 3825 33554432000 4194304 4650419 140735063431968 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=286776 CPUtime=1.47 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 1907 0 0 0 147 0 0 0 25 0 4 0 731032228 293658624 3825 33554432000 4194304 4650419 140735063431968 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286776

[startup+3.10034 s]
/proc/loadavg: 7.77 8.04 8.07 9/358 8474
/proc/meminfo: memFree=17725480/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=287180 CPUtime=12.35 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 19908 0 0 0 1231 4 0 0 25 0 4 0 731032227 294072320 11687 33554432000 4194304 4650419 140735063431968 18446744073709551615 4533771 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 71795 11687 395 112 0 66760 0
[pid=8470/tid=8471] ppid=8468 vsize=287180 CPUtime=3.09 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 4560 0 0 0 308 1 0 0 25 0 4 0 731032228 294072320 11687 33554432000 4194304 4650419 140735063431968 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=287180 CPUtime=3.08 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 5279 0 0 0 308 0 0 0 25 0 4 0 731032228 294072320 11687 33554432000 4194304 4650419 140735063431968 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=287180 CPUtime=3.05 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 4315 0 0 0 305 0 0 0 25 0 4 0 731032228 294072320 11687 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 287180

[startup+6.30074 s]
/proc/loadavg: 7.79 8.03 8.07 9/358 8474
/proc/meminfo: memFree=17671432/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=306112 CPUtime=25.11 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 28891 0 0 0 2505 6 0 0 25 0 4 0 731032227 313458688 15912 33554432000 4194304 4650419 140735063431968 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 76528 15912 395 112 0 71493 0
[pid=8470/tid=8471] ppid=8468 vsize=306112 CPUtime=6.29 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 7212 0 0 0 628 1 0 0 25 0 4 0 731032228 313458688 15912 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=306112 CPUtime=6.29 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 7822 0 0 0 628 1 0 0 25 0 4 0 731032228 313458688 15912 33554432000 4194304 4650419 140735063431968 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=306112 CPUtime=6.22 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 5388 0 0 0 621 1 0 0 25 0 4 0 731032228 313458688 15912 33554432000 4194304 4650419 140735063431968 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 306112

[startup+12.7005 s]
/proc/loadavg: 7.80 8.03 8.07 9/358 8474
/proc/meminfo: memFree=17623332/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=305752 CPUtime=50.64 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 41725 0 0 0 5054 10 0 0 25 0 4 0 731032227 313090048 21643 33554432000 4194304 4650419 140735063431968 18446744073709551615 4367245 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 76438 21643 395 112 0 71403 0
[pid=8470/tid=8471] ppid=8468 vsize=305752 CPUtime=12.69 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 9226 0 0 0 1267 2 0 0 25 0 4 0 731032228 313090048 21643 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=305752 CPUtime=12.69 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 12507 0 0 0 1266 3 0 0 25 0 4 0 731032228 313090048 21643 33554432000 4194304 4650419 140735063431968 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=305752 CPUtime=12.54 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 7548 0 0 0 1253 1 0 0 25 0 4 0 731032228 313090048 21643 33554432000 4194304 4650419 140735063431968 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 305752

[startup+25.5011 s]
/proc/loadavg: 7.92 8.05 8.07 9/358 8475
/proc/meminfo: memFree=17558852/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=296900 CPUtime=101.7 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 58559 0 0 0 10155 15 0 0 25 0 4 0 731032227 304025600 29644 33554432000 4194304 4650419 140735063431968 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 74225 29644 395 112 0 69190 0
[pid=8470/tid=8471] ppid=8468 vsize=296900 CPUtime=25.49 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 11537 0 0 0 2547 2 0 0 25 0 4 0 731032228 304025600 29645 33554432000 4194304 4650419 140735063431968 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=296900 CPUtime=25.49 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 20514 0 0 0 2544 5 0 0 25 0 4 0 731032228 304025600 29645 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=296900 CPUtime=25.2 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 8596 0 0 0 2518 2 0 0 25 0 4 0 731032228 304025600 29645 33554432000 4194304 4650419 140735063431968 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 296900

[startup+51.1003 s]
/proc/loadavg: 7.95 8.04 8.07 9/358 8475
/proc/meminfo: memFree=17467644/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=437836 CPUtime=203.81 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 87025 0 0 0 20358 23 0 0 25 0 4 0 731032227 448344064 42174 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 109459 42174 395 112 0 104424 0
[pid=8470/tid=8471] ppid=8468 vsize=437836 CPUtime=51.09 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 17299 0 0 0 5105 4 0 0 25 0 4 0 731032228 448344064 42175 33554432000 4194304 4650419 140735063431968 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=437836 CPUtime=51.09 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 30217 0 0 0 5102 7 0 0 25 0 4 0 731032228 448344064 42175 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=437836 CPUtime=50.52 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 10730 0 0 0 5049 3 0 0 25 0 4 0 731032228 448344064 42175 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 437836

[startup+102.314 s]
/proc/loadavg: 7.97 8.03 8.06 9/358 8477
/proc/meminfo: memFree=17343364/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=449664 CPUtime=408.09 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 124018 0 0 0 40770 39 0 0 25 0 4 0 731032227 460455936 53697 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 112416 53697 395 112 0 107381 0
[pid=8470/tid=8471] ppid=8468 vsize=449664 CPUtime=102.3 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 26226 0 0 0 10222 8 0 0 25 0 4 0 731032228 460455936 53697 33554432000 4194304 4650419 140735063431968 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=449664 CPUtime=102.3 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 41692 0 0 0 10217 13 0 0 25 0 4 0 731032228 460455936 53697 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=449664 CPUtime=101.16 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 14375 0 0 0 10112 4 0 0 25 0 4 0 731032228 460455936 53697 33554432000 4194304 4650419 140735063431968 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 449664

[startup+162.3 s]

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

[pid=8470] ppid=8468 vsize=631340 CPUtime=2562.03 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 397743 0 0 0 256036 167 0 0 25 0 4 0 731032227 646492160 101092 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 157835 101092 395 112 0 152800 0
[pid=8470/tid=8471] ppid=8468 vsize=631340 CPUtime=642.32 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 79232 0 0 0 64195 37 0 0 25 0 4 0 731032228 646492160 101095 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=631340 CPUtime=642.32 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 136313 0 0 0 64179 53 0 0 25 0 4 0 731032228 646492160 101095 33554432000 4194304 4650419 140735063431968 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=631340 CPUtime=635.08 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 30420 0 0 0 63494 14 0 0 25 0 4 0 731032228 646492160 101095 33554432000 4194304 4650419 140735063431968 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.03
Current children cumulated vsize (KiB) 631340

[startup+702.3 s]
/proc/loadavg: 8.13 8.11 8.09 9/358 8493
/proc/meminfo: memFree=16990548/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=557336 CPUtime=2801.34 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 424418 0 0 0 279953 181 0 0 25 0 4 0 731032227 570712064 94495 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 139334 94495 395 112 0 134299 0
[pid=8470/tid=8471] ppid=8468 vsize=557336 CPUtime=702.31 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 83659 0 0 0 70192 39 0 0 25 0 4 0 731032228 570712064 94495 33554432000 4194304 4650419 140735063431968 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=557336 CPUtime=702.31 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 145466 0 0 0 70173 58 0 0 25 0 4 0 731032228 570712064 94495 33554432000 4194304 4650419 140735063431968 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=557336 CPUtime=694.4 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 33628 0 0 0 69424 16 0 0 25 0 4 0 731032228 570712064 94495 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.34
Current children cumulated vsize (KiB) 557336

[startup+762.314 s]
/proc/loadavg: 8.08 8.10 8.09 9/358 8494
/proc/meminfo: memFree=16950360/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=614180 CPUtime=3040.71 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 452372 0 0 0 303873 198 0 0 25 0 4 0 731032227 628920320 105491 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 153545 105491 395 112 0 148510 0
[pid=8470/tid=8471] ppid=8468 vsize=614180 CPUtime=762.32 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 89617 0 0 0 76189 43 0 0 25 0 4 0 731032228 628920320 105491 33554432000 4194304 4650419 140735063431968 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=614180 CPUtime=762.32 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 155616 0 0 0 76169 63 0 0 25 0 4 0 731032228 628920320 105491 33554432000 4194304 4650419 140735063431968 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=614180 CPUtime=753.72 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 39859 0 0 0 75353 19 0 0 25 0 4 0 731032228 628920320 105491 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.71
Current children cumulated vsize (KiB) 614180

[startup+822.301 s]
/proc/loadavg: 8.11 8.10 8.09 9/358 8496
/proc/meminfo: memFree=16920308/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=680636 CPUtime=3279.98 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 476361 0 0 0 327786 212 0 0 25 0 4 0 731032227 696971264 103754 33554432000 4194304 4650419 140735063431968 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 170159 103754 395 112 0 165124 0
[pid=8470/tid=8471] ppid=8468 vsize=680636 CPUtime=822.31 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 93120 0 0 0 82185 46 0 0 25 0 4 0 731032228 696971264 103754 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=680636 CPUtime=822.31 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 165655 0 0 0 82163 68 0 0 25 0 4 0 731032228 696971264 103754 33554432000 4194304 4650419 140735063431968 18446744073709551615 4328130 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=680636 CPUtime=813.03 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 41160 0 0 0 81282 21 0 0 25 0 4 0 731032228 696971264 103754 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.98
Current children cumulated vsize (KiB) 680636

[startup+882.3 s]
/proc/loadavg: 8.17 8.11 8.09 9/358 8498
/proc/meminfo: memFree=16851448/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=647196 CPUtime=3519.28 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 508986 0 0 0 351703 225 0 0 25 0 4 0 731032227 662728704 116735 33554432000 4194304 4650419 140735063431968 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 161799 116735 395 112 0 156764 0
[pid=8470/tid=8471] ppid=8468 vsize=647196 CPUtime=882.32 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 99367 0 0 0 88182 50 0 0 25 0 4 0 731032228 662728704 116735 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=647196 CPUtime=882.31 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 175152 0 0 0 88158 73 0 0 25 0 4 0 731032228 662728704 116735 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=647196 CPUtime=872.33 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 42071 0 0 0 87212 21 0 0 25 0 4 0 731032228 662728704 116735 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.28
Current children cumulated vsize (KiB) 647196

[startup+942.301 s]
/proc/loadavg: 8.15 8.11 8.09 9/358 8499
/proc/meminfo: memFree=16838040/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=647828 CPUtime=3758.61 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 531246 0 0 0 375625 236 0 0 25 0 4 0 731032227 663375872 111777 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 161957 111777 395 112 0 156922 0
[pid=8470/tid=8471] ppid=8468 vsize=647828 CPUtime=942.32 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 102507 0 0 0 94181 51 0 0 25 0 4 0 731032228 663375872 111777 33554432000 4194304 4650419 140735063431968 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=647828 CPUtime=942.31 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 183775 0 0 0 94154 77 0 0 25 0 4 0 731032228 663375872 111777 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=647828 CPUtime=931.65 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 43042 0 0 0 93143 22 0 0 25 0 4 0 731032228 663375872 111777 33554432000 4194304 4650419 140735063431968 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.61
Current children cumulated vsize (KiB) 647828

[startup+1002.3 s]
/proc/loadavg: 8.05 8.09 8.08 9/358 8501
/proc/meminfo: memFree=16786696/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=779400 CPUtime=3997.93 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 560880 0 0 0 399544 249 0 0 25 0 4 0 731032227 798105600 129079 33554432000 4194304 4650419 140735063431968 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 194850 129079 395 112 0 189815 0
[pid=8470/tid=8471] ppid=8468 vsize=779400 CPUtime=1002.32 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 110152 0 0 0 100178 54 0 0 25 0 4 0 731032228 798105600 129079 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=779400 CPUtime=1002.31 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 196287 0 0 0 100150 81 0 0 25 0 4 0 731032228 798105600 129079 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=779400 CPUtime=990.96 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 45618 0 0 0 99073 23 0 0 25 0 4 0 731032228 798105600 129079 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.93
Current children cumulated vsize (KiB) 779400

[startup+1062.3 s]
/proc/loadavg: 8.13 8.10 8.09 9/358 8502
/proc/meminfo: memFree=16752420/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=905608 CPUtime=4237.27 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 585154 0 0 0 423468 259 0 0 25 0 4 0 731032227 927342592 136658 33554432000 4194304 4650419 140735063431968 18446744073709551615 4367249 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 226402 136658 395 112 0 221367 0
[pid=8470/tid=8471] ppid=8468 vsize=905608 CPUtime=1062.32 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 116181 0 0 0 106176 56 0 0 25 0 4 0 731032228 927342592 136658 33554432000 4194304 4650419 140735063431968 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=905608 CPUtime=1062.32 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 200454 0 0 0 106149 83 0 0 25 0 4 0 731032228 927342592 136658 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=905608 CPUtime=1050.31 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 50750 0 0 0 105005 26 0 0 25 0 4 0 731032228 927342592 136658 33554432000 4194304 4650419 140735063431968 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.27
Current children cumulated vsize (KiB) 905608

[startup+1122.3 s]
/proc/loadavg: 8.09 8.10 8.09 9/358 8506
/proc/meminfo: memFree=16696332/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=837480 CPUtime=4476.59 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 611080 0 0 0 447388 271 0 0 25 0 4 0 731032227 857579520 140663 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 209370 140663 395 112 0 204335 0
[pid=8470/tid=8471] ppid=8468 vsize=837480 CPUtime=1122.33 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 121240 0 0 0 112173 60 0 0 25 0 4 0 731032228 857579520 140663 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=837480 CPUtime=1122.31 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 207335 0 0 0 112145 86 0 0 25 0 4 0 731032228 857579520 140663 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=837480 CPUtime=1109.62 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 53682 0 0 0 110935 27 0 0 25 0 4 0 731032228 857579520 140663 33554432000 4194304 4650419 140735063431968 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.59
Current children cumulated vsize (KiB) 837480

[startup+1182.3 s]
/proc/loadavg: 8.24 8.15 8.10 9/358 8509
/proc/meminfo: memFree=16724236/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=843392 CPUtime=4715.92 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 635729 0 0 0 471305 287 0 0 25 0 4 0 731032227 863633408 138409 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 210848 138409 395 112 0 205813 0
[pid=8470/tid=8471] ppid=8468 vsize=843392 CPUtime=1182.33 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 123979 0 0 0 118172 61 0 0 25 0 4 0 731032228 863633408 138409 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=843392 CPUtime=1182.32 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 216023 0 0 0 118140 92 0 0 25 0 4 0 731032228 863633408 138409 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=843392 CPUtime=1168.95 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 58694 0 0 0 116865 30 0 0 25 0 4 0 731032228 863633408 138409 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.92
Current children cumulated vsize (KiB) 843392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.17 8.14 8.10 5/353 8510
/proc/meminfo: memFree=17206996/32950928 swapFree=67111200/67111528
[pid=8470] ppid=8468 vsize=850204 CPUtime=4800.14 cores=1,3,5,7
/proc/8470/stat : 8470 (strangenight1-m) R 8468 8470 8202 0 -1 4202496 646083 0 0 0 479722 292 0 0 25 0 4 0 731032227 870608896 145983 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 212551 145983 395 112 0 207516 0
[pid=8470/tid=8471] ppid=8468 vsize=850204 CPUtime=1203.46 cores=1,3,5,7
/proc/8470/task/8471/stat : 8471 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 125575 0 0 0 120283 63 0 0 25 0 4 0 731032228 870608896 145986 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8472] ppid=8468 vsize=850204 CPUtime=1203.45 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 222789 0 0 0 120251 94 0 0 25 0 4 0 731032228 870608896 145986 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=850204 CPUtime=1189.81 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (strangenight1-m) R 8468 8470 8202 0 -1 4202560 59087 0 0 0 118951 30 0 0 25 0 4 0 731032228 870608896 145986 33554432000 4194304 4650419 140735063431968 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 850204

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.22
CPU user time (s): 4797.27
CPU system time (s): 2.95055
CPU usage (%): 398.869
Max. virtual memory (cumulated for all children) (KiB): 953380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.27
system time used= 2.95055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646086
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= 296
involuntary context switches= 32788

runsolver used 3.73543 second user time and 9.92249 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-14 23:20:16
IDJOB=3368962
IDBENCH=82971
IDSOLVER=1846
FILE ID=node115/3368962-1305408016
RUNJOBID= node115-1305405603-8221
PBS_JOBID= 13324497
Free space on /tmp= 73228 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368962-1305408016/watcher-3368962-1305408016 -o /tmp/evaluation-result-3368962-1305408016/solver-3368962-1305408016 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368962-1305408016.cnf

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

MD5SUM BENCH= 17e7946cc73ece994e4c474e2407ffbb
RANDOM SEED=827916107

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.75
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.811
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.811
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.77
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.811
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.811
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.811
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:     32950928 kB
MemFree:      17784104 kB
Buffers:        287624 kB
Cached:        4525212 kB
SwapCached:          0 kB
Active:       11975964 kB
Inactive:      2873396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17784104 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:           12488 kB
Writeback:           0 kB
AnonPages:    10036216 kB
Mapped:          28636 kB
Slab:           211456 kB
PageTables:      40664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 69750292 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= 73228 MiB
End job on node115 at 2011-05-14 23:40:21