Trace number 3175353

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.39 1201.74

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175353-1304120607.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.01	c -- vars added        800
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       800      3408         0         0     10224         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.39/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.01 s
3.39/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.39/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.39/0.90	c calculated reachability. Time: 0.00
3.39/0.90	c Calc default polars -  time:   0.00 s pos:     354 undec:      84 neg:     362
3.39/0.90	c =========================================================================================
3.39/0.90	c types(t): F = full restart, N = normal restart
3.39/0.90	c types(t): S = simplification begin/end, E = solution found
3.39/0.90	c restart types(rt): st = static, dy = dynamic
3.39/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.39/0.90	c  B st     0         0       782      3381         0         0     10238         0   no data   no data  --
3.39/0.90	c Decided on static restart strategy
3.39/0.90	c  N st     8      4916       782      3381         0      4890     10238    162673   no data   no data  --
3.39/0.90	c  N st    10     11299       782      3381         0      4526     10238    100694   no data   no data  --
3.39/0.90	c  N st    11     17042       782      3381         0     10200     10238    299766   no data   no data  --
5.17/1.30	c  F st    12     25001       782      3381         0     12552     10238    379806   no data   no data  --
5.17/1.30	c  N st    12     25001       782      3381         0     12552     10238    379806   no data   no data  --
5.97/1.50	c Decided on static restart strategy
5.97/1.50	c  N st    18     30000       782      3381         0     10777     10238    273122   no data   no data  --
5.97/1.50	c  S st    18     30000       782      3381         0     10777     10238    273122   no data   no data  --
5.97/1.53	c  S st    18     30505       782      3381         0     11282     10238    288106   no data   no data  --
5.97/1.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.97/1.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
5.97/1.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.19/1.89	c lits-rem:       108  cl-subs:      196  v-elim:      0  v-fix:    0  time:  1.34 s
7.19/1.90	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.04
7.56/1.90	c calculated reachability. Time: 0.00
7.56/1.90	c  N st    18     30505       782      3381         0     11086     10238    280276   no data   no data  --
9.17/2.32	c  N st    20     37618       782      3381         0     10321     10238    235371   no data   no data  --
10.76/2.74	c  N st    21     44017       782      3381         0     16663     10238    463415   no data   no data  --
11.18/2.86	c  S st    22     45759       782      3381         0      9537     10238    183514   no data   no data  --
11.18/2.89	c  S st    22     46264       782      3381         0     10042     10238    198297   no data   no data  --
11.18/2.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.18/2.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.18/2.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
11.18/2.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.18/2.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.18/2.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
11.18/2.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.96/3.07	c lits-rem:        34  cl-subs:       28  v-elim:      0  v-fix:    0  time:  0.71 s
11.96/3.07	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
11.96/3.08	c vivif2 --  cl tried    10014 cl shrink        0 lits rem          0 time: 0.01
11.96/3.08	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.03
11.96/3.08	c calculated reachability. Time: 0.00
11.96/3.08	c  N st    22     46264       782      3381         0     10014     10238    197124   no data   no data  --
16.35/4.11	c  N st    23     60661       782      3381         0     14407     10238    338918   no data   no data  --
19.16/4.80	c  N st    24     69397       782      3381         0     12194     10238    243986   no data   no data  --
19.16/4.80	c  S st    24     69397       782      3381         0     12194     10238    243986   no data   no data  --
19.16/4.84	c  S st    24     69901       782      3381         0     12697     10238    259928   no data   no data  --
19.16/4.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.16/4.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.16/4.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.16/4.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.16/4.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.16/4.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
19.16/4.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
20.74/5.21	c lits-rem:        19  cl-subs:       74  v-elim:      0  v-fix:    0  time:  1.44 s
20.74/5.21	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
20.74/5.22	c vivif2 --  cl tried    12623 cl shrink        0 lits rem          0 time: 0.01
20.74/5.23	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.04
20.74/5.23	c calculated reachability. Time: 0.00
20.74/5.23	c  N st    24     69901       782      3381         0     12623     10238    257168   no data   no data  --
25.94/6.58	c  F st    25     87500       782      3381         0     18208     10238    449584   no data   no data  --
25.94/6.58	c  N st    25     87500       782      3381         0     18208     10238    449584   no data   no data  --
28.33/7.11	c  N dy    35     93895       782      3381         0     24554     10238    667265     23.61     25.11  --
30.33/7.60	c  N dy    49    100262       782      3381         0     17898     10238    328025     20.77     21.93  --
31.53/7.97	c  S st    75    104852       782      3381         0     22471     10238    469829     21.02   no data  --
31.94/8.03	c  S st    75    105356       782      3381         0     22975     10238    485393     21.02   no data  --
31.94/8.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.94/8.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.94/8.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
31.94/8.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.94/8.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.94/8.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
31.94/8.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
37.94/9.56	c lits-rem:       222  cl-subs:      219  v-elim:      0  v-fix:    0  time:  5.98 s
37.94/9.56	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
37.94/9.56	c vivif2 --  cl tried    22756 cl shrink        0 lits rem          0 time: 0.02
37.94/9.58	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.09
37.94/9.58	c calculated reachability. Time: 0.00
37.94/9.58	c  N dy    75    105356       782      3381         0     22756     10238    477547     21.02   no data  --
40.72/10.24	c  N dy   109    112243       782      3381         0     15666     10238    219214     21.17     22.54  --
43.11/10.85	c  N dy   125    119792       782      3381         0     23184     10238    448407     20.73     22.08  --
46.32/11.63	c  N dy   163    127506       782      3381         0     15919     10238    193941     20.84     22.55  --
48.70/12.29	c  N dy   194    135686       782      3381         0     24062     10238    445723     20.77     22.14  --
52.31/13.18	c  N dy   231    144850       782      3381         0     17247     10238    204019     20.75     21.98  --
55.52/13.97	c  N dy   252    154190       782      3381         0     26521     10238    490320     20.63     21.72  --
57.10/14.37	c  S st   275    158034       782      3381         0     30346     10238    607946     20.66   no data  --
57.50/14.43	c  S st   275    158539       782      3381         0     30851     10238    623131     20.66   no data  --
57.50/14.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.50/14.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.50/14.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
57.50/14.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.50/14.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.50/14.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
57.50/14.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
65.49/16.49	c lits-rem:       329  cl-subs:      345  v-elim:      0  v-fix:    0  time:  8.11 s
65.49/16.49	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
65.88/16.50	c vivif2 --  cl tried    30506 cl shrink        0 lits rem          0 time: 0.03
65.88/16.53	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.11
65.88/16.53	c calculated reachability. Time: 0.00
65.88/16.53	c  N dy   275    158539       782      3381         0     30506     10238    610777     20.66   no data  --
69.48/17.48	c  N dy   340    168743       782      3381         0     23756     10238    379562     20.78     23.58  --
74.27/18.67	c  N dy   418    179719       782      3381         0     34694     10238    724472     20.92     22.09  --
78.67/19.78	c  N dy   491    191288       782      3381         0     28288     10238    494297     21.03     22.20  --
85.06/21.31	c  N dy   563    203756       782      3381         0     21792     10238    263694     21.12     22.28  --
90.68/22.73	c  N dy   610    216880       782      3381         0     34831     10238    664590     21.10     22.22  --
96.65/24.25	c  N dy   685    230783       782      3381         0     28752     10238    462851     21.17     25.24  --
99.84/25.04	c  S st   711    237809       782      3381         0     35728     10238    682089     21.15   no data  --
100.23/25.12	c  S st   711    238314       782      3381         0     36232     10238    697107     21.15   no data  --
100.23/25.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.23/25.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.23/25.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
100.23/25.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.23/25.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.23/25.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
100.23/25.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
109.83/27.57	c lits-rem:       705  cl-subs:      261  v-elim:      0  v-fix:    0  time:  9.61 s
109.83/27.57	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
109.83/27.57	c vivif2 --  cl tried    35971 cl shrink        0 lits rem          0 time: 0.03
110.23/27.61	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.14
110.23/27.61	c calculated reachability. Time: 0.00
110.23/27.61	c  N dy   711    238314       782      3381         0     35971     10238    685891     21.15   no data  --
117.04/29.32	c  N dy   801    253546       782      3381         0     30263     10238    476066     21.22     22.36  --
125.42/31.44	c  N dy   870    269751       782      3381         0     24489     10238    269077     21.20     22.41  --
133.40/33.46	c  N dy   932    287028       782      3381         0     41630     10238    805160     21.15     22.57  --
142.19/35.65	c  N dy  1038    305383       782      3381         0     37046     10238    643501     21.23     22.53  --
142.59/35.78	c  F st  1046    306250       782      3381         0     37910     10238    671065     21.24   no data  --
145.78/36.53	c Decided on static restart strategy
152.19/38.13	c  N st  1055    324953       782      3381         0     32565     10238    714178     21.24   no data  --
165.75/41.50	c  N st  1057    348949       782      3381         0     31538     10238    694184     21.24   no data  --
170.15/42.63	c  S st  1058    357471       782      3381         0     39947     10238    989127     21.24   no data  --
170.55/42.73	c  S st  1058    357973       782      3381         0     40448     10238   1004096     21.24   no data  --
170.55/42.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
170.55/42.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
170.55/42.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.07
170.55/42.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
170.55/42.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.55/42.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
170.55/42.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
175.74/44.05	c lits-rem:       316  cl-subs:     1090  v-elim:      0  v-fix:    0  time:  5.06 s
175.74/44.05	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
175.74/44.06	c vivif2 --  cl tried    39358 cl shrink        0 lits rem          0 time: 0.04
176.14/44.10	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.18
176.14/44.11	c calculated reachability. Time: 0.00
176.14/44.11	c  N st  1058    357973       782      3381         0     39358     10238    959494     21.24   no data  --
196.13/49.13	c  N st  1059    390365       782      3381         0     45608     10238   1150854     21.24   no data  --
227.27/56.91	c  N st  1060    438953       782      3381         0     39269     10238    835856     21.24   no data  --
272.41/68.27	c  N st  1061    511835       782      3381         0     52789     10238   1207307     21.24   no data  --
287.19/71.94	c  N st  1062    536959       782      3381         0     47107     10238    995966     21.24   no data  --
287.19/71.94	c  S st  1062    536959       782      3381         0     47107     10238    995966     21.24   no data  --
287.59/72.05	c  S st  1062    537463       782      3381         0     47611     10238   1010100     21.24   no data  --
287.59/72.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
287.59/72.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.59/72.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
288.01/72.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
288.01/72.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
288.01/72.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
288.01/72.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
293.58/73.51	c lits-rem:       436  cl-subs:     1381  v-elim:      0  v-fix:    0  time:  5.61 s
293.58/73.51	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
293.58/73.53	c vivif2 --  cl tried    46230 cl shrink        0 lits rem          0 time: 0.05
293.58/73.58	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.21
293.58/73.58	c calculated reachability. Time: 0.00
293.58/73.58	c  N st  1062    537463       782      3381         0     46230     10238    965085     21.24   no data  --
417.81/104.65	c  N st  1063    701447       782      3381         0     40249     10238    642975     21.24   no data  --
499.70/125.18	c  N st  1064    806195       782      3381         0     69618     10238   1638381     21.24   no data  --
499.70/125.18	c  S st  1064    806195       782      3381         0     69618     10238   1638381     21.24   no data  --
500.50/125.36	c  S st  1064    806705       782      3381         0     70127     10238   1653726     21.24   no data  --
500.50/125.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
500.50/125.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
500.90/125.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
500.90/125.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
500.90/125.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
500.90/125.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
500.90/125.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
523.67/131.17	c lits-rem:      9392  cl-subs:     2520  v-elim:      0  v-fix:    0  time: 22.82 s
523.67/131.17	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
523.67/131.19	c vivif2 --  cl tried    67607 cl shrink        0 lits rem          0 time: 0.07
524.07/131.28	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.37
524.07/131.29	c calculated reachability. Time: 0.00
524.07/131.29	c  N st  1064    806705       782      3381         0     67607     10238   1553612     21.24   no data  --
758.17/189.90	c  F st  1065   1071876       782      3381         0     83598     10238   2074067     21.24   no data  --
758.58/189.90	c  N st  1065   1071876       782      3381         0     83598     10238   2074067     21.24   no data  --
764.55/191.49	c Decided on static restart strategy
782.12/195.90	c  N st  1075   1100175       782      3381         0     67232     10238   1337805     21.24   no data  --
813.68/203.77	c  N st  1077   1136167       782      3381         0     57494     10238   1003883     21.24   no data  --
846.83/212.06	c  N st  1078   1168559       782      3381         0     89545     10238   2135392     21.24   no data  --
886.01/221.90	c  N st  1079   1210057       782      3381         0     84193     10238   1996138     21.24   no data  --
886.01/221.90	c  S st  1079   1210057       782      3381         0     84193     10238   1996138     21.24   no data  --
887.18/222.17	c  S st  1079   1210561       782      3381         0     84696     10238   2011318     21.24   no data  --
887.18/222.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
887.18/222.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
887.58/222.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.18
887.58/222.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
887.58/222.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
887.58/222.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
887.58/222.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
911.96/228.33	c lits-rem:        46  cl-subs:     2000  v-elim:      0  v-fix:    0  time: 24.08 s
911.96/228.33	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
911.96/228.35	c vivif2 --  cl tried    82696 cl shrink        0 lits rem          0 time: 0.09
912.36/228.46	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.44
912.36/228.46	c calculated reachability. Time: 0.00
912.36/228.46	c  N st  1079   1210561       782      3381         0     82696     10238   1920899     21.24   no data  --
977.46/244.76	c  N st  1080   1283444       782      3381         0     58788     10238    989336     21.24   no data  --
1083.34/271.23	c  N st  1081   1392769       782      3381         0     66809     10238   1145744     21.24   no data  --
1257.88/314.96	c  N st  1082   1556753       782      3381         0     71495     10238   1244439     21.24   no data  --
1428.86/357.70	c  N st  1083   1710563       782      3381         0     57734     10238    701730     21.24   no data  --
1428.86/357.70	c  S st  1083   1710563       782      3381         0     57734     10238    701730     21.24   no data  --
1429.26/357.85	c  S st  1083   1711066       782      3381         0     58236     10238    716673     21.24   no data  --
1429.26/357.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1429.26/357.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1429.26/357.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1429.65/357.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1429.65/357.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1429.65/357.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
1429.65/357.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1438.04/360.00	c lits-rem:       423  cl-subs:      185  v-elim:      0  v-fix:    0  time:  8.37 s
1438.04/360.00	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
1438.04/360.01	c vivif2 --  cl tried    58051 cl shrink        0 lits rem          0 time: 0.04
1438.04/360.08	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.27
1438.04/360.08	c calculated reachability. Time: 0.00
1438.04/360.08	c  N st  1083   1711066       782      3381         0     58051     10238    710070     21.24   no data  --
1931.40/483.57	c  N st  1084   2080033       782      3381         0     63680     10238    761004     21.24   no data  --
2086.37/522.36	c  N st  1085   2211068       782      3381         0     65798     10238    782770     21.24   no data  --
2086.37/522.37	c  S st  1085   2211068       782      3381         0     65798     10238    782770     21.24   no data  --
2087.17/522.53	c  S st  1085   2211576       782      3381         0     66306     10238    797871     21.24   no data  --
2087.17/522.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2087.17/522.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2087.17/522.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
2087.57/522.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2087.57/522.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2087.57/522.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
2087.57/522.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2096.76/524.97	c lits-rem:       261  cl-subs:      130  v-elim:      0  v-fix:    0  time:  9.50 s
2096.76/524.97	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
2096.76/524.99	c vivif2 --  cl tried    66176 cl shrink        0 lits rem          0 time: 0.04
2097.16/525.06	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.32
2097.16/525.07	c calculated reachability. Time: 0.00
2097.16/525.07	c  N st  1085   2211576       782      3381         0     66176     10238    793784     21.24   no data  --
2759.86/690.90	c  N st  1086   2711576       782      3381         0     83055     10238   1238021     21.24   no data  --
2759.86/690.90	c  S st  1086   2711576       782      3381         0     83055     10238   1238021     21.24   no data  --
2760.66/691.12	c  S st  1086   2712080       782      3381         0     83559     10238   1253865     21.24   no data  --
2760.66/691.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2760.66/691.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2760.66/691.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
2761.06/691.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2761.06/691.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2761.06/691.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
2761.06/691.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2769.85/693.42	c lits-rem:       198  cl-subs:     1050  v-elim:      0  v-fix:    0  time:  8.82 s
2769.85/693.42	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
2769.85/693.44	c vivif2 --  cl tried    82509 cl shrink        0 lits rem          0 time: 0.07
2770.25/693.55	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.45
2770.25/693.56	c calculated reachability. Time: 0.00
2770.25/693.56	c  N st  1086   2712080       782      3381         0     82509     10238   1218418     21.24   no data  --
3466.92/867.92	c  N st  1087   3212081       782      3381         0    128842     10238   2811349     21.24   no data  --
3466.92/867.92	c  S st  1087   3212081       782      3381         0    128842     10238   2811349     21.24   no data  --
3468.51/868.34	c  S st  1087   3212583       782      3381         0    129344     10238   2826875     21.24   no data  --
3468.51/868.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3468.51/868.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3468.91/868.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
3469.33/868.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3469.33/868.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3469.33/868.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
3469.33/868.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3532.02/884.25	c lits-rem:        17  cl-subs:     3513  v-elim:      0  v-fix:    0  time: 62.84 s
3532.02/884.25	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
3532.02/884.29	c vivif2 --  cl tried   125831 cl shrink        0 lits rem          0 time: 0.13
3532.82/884.49	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.82
3533.22/884.50	c calculated reachability. Time: 0.00
3533.22/884.50	c  N st  1087   3212583       782      3381         0    125831     10238   2688284     21.24   no data  --
4349.32/1088.80	c  N st  1088   3712583       782      3381         0    136567     10238   2860471     21.24   no data  --
4349.32/1088.80	c  S st  1088   3712583       782      3381         0    136567     10238   2860471     21.24   no data  --
4350.92/1089.20	c  S st  1088   3713087       782      3381         0    137071     10238   2874754     21.24   no data  --
4350.92/1089.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4350.92/1089.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4350.92/1089.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.30
4351.31/1089.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4351.31/1089.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4351.31/1089.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.00 s
4351.31/1089.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4431.21/1109.39	c lits-rem:        39  cl-subs:     4674  v-elim:      0  v-fix:    0  time: 79.92 s
4431.21/1109.39	c vivif2 --  cl tried     3381 cl shrink        0 lits rem          0 time: 0.00
4431.63/1109.43	c vivif2 --  cl tried   132397 cl shrink        0 lits rem          0 time: 0.13
4432.41/1109.65	c asymm  cl-useful: 0/3381/3381 lits-rem:0 time: 0.90
4432.41/1109.66	c calculated reachability. Time: 0.00
4432.41/1109.66	c  N st  1088   3713087       782      3381         0    132397     10238   2712798     21.24   no data  --
4509.90/1129.01	c  F st  1089   3751563       782      3381         0     86683     10238   1022335     21.24   no data  --
4509.90/1129.02	c  N st  1089   3751563       782      3381         0     86683     10238   1022335     21.24   no data  --
4516.30/1130.60	c Decided on static restart strategy
4545.06/1137.84	c  N st  1099   3779869       782      3381         0    114688     10238   1987647     21.24   no data  --
4613.37/1154.98	c  N st  1101   3815863       782      3381         0    150185     10238   3195380     21.24   no data  --
4665.69/1168.07	c  N st  1102   3848255       782      3381         0     97396     10238   1365135     21.24   no data  --
4739.62/1186.50	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: 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-3175353-1304120607/watcher-3175353-1304120607 -o /tmp/evaluation-result-3175353-1304120607/solver-3175353-1304120607 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175353-1304120607.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: 8.11 8.10 8.02 5/180 22284
/proc/meminfo: memFree=17392320/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 523663333 52465664 353 33554432000 4194304 4650419 140737258168128 18446744073709551615 47322623575986 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 12809 353 303 112 0 7774 0
[pid=22284/tid=22285] ppid=22282 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523663333 52465664 353 33554432000 4194304 4650419 140737258168128 18446744073709551615 47322623575980 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523663333 52465664 353 33554432000 4194304 4650419 140737258168128 18446744073709551615 47322623575986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523663333 52465664 353 33554432000 4194304 4650419 140737258168128 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.461767 s]
/proc/loadavg: 8.11 8.10 8.02 5/180 22284
/proc/meminfo: memFree=17392320/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=285744 CPUtime=2.99 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 5580 0 0 0 299 0 0 0 18 0 4 0 523663333 292601856 3169 33554432000 4194304 4650419 140737258168128 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 71436 3169 393 112 0 66401 0
[pid=22284/tid=22285] ppid=22282 vsize=285744 CPUtime=0.75 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1303 0 0 0 75 0 0 0 18 0 4 0 523663333 292601856 3169 33554432000 4194304 4650419 140737258168128 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=285744 CPUtime=0.74 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1371 0 0 0 74 0 0 0 18 0 4 0 523663333 292601856 3169 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=285744 CPUtime=0.74 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1196 0 0 0 74 0 0 0 19 0 4 0 523663333 292601856 3169 33554432000 4194304 4650419 140737258168128 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 285744

[startup+0.857579 s]
/proc/loadavg: 8.11 8.10 8.02 5/180 22284
/proc/meminfo: memFree=17392320/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=286676 CPUtime=3.39 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 6510 0 0 0 339 0 0 0 19 0 4 0 523663333 293556224 2976 33554432000 4194304 4650419 140737258168128 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 71669 2976 393 112 0 66634 0
[pid=22284/tid=22285] ppid=22282 vsize=286676 CPUtime=0.85 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1587 0 0 0 85 0 0 0 19 0 4 0 523663333 293556224 2976 33554432000 4194304 4650419 140737258168128 18446744073709551615 4334276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=286676 CPUtime=0.84 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1655 0 0 0 84 0 0 0 18 0 4 0 523663333 293556224 2976 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=286676 CPUtime=0.84 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1269 0 0 0 84 0 0 0 19 0 4 0 523663333 293556224 2976 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 286676

[startup+0.957559 s]
/proc/loadavg: 8.11 8.10 8.02 5/180 22284
/proc/meminfo: memFree=17392320/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=286676 CPUtime=3.79 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 6805 0 0 0 379 0 0 0 19 0 4 0 523663333 293556224 3271 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 71669 3271 393 112 0 66634 0
[pid=22284/tid=22285] ppid=22282 vsize=286676 CPUtime=0.95 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1659 0 0 0 95 0 0 0 19 0 4 0 523663333 293556224 3271 33554432000 4194304 4650419 140737258168128 18446744073709551615 4304233 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=286676 CPUtime=0.94 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1731 0 0 0 94 0 0 0 19 0 4 0 523663333 293556224 3271 33554432000 4194304 4650419 140737258168128 18446744073709551615 4332033 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=286676 CPUtime=0.94 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1335 0 0 0 94 0 0 0 19 0 4 0 523663333 293556224 3271 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 286676

[startup+1.05754 s]
/proc/loadavg: 8.11 8.10 8.02 5/180 22284
/proc/meminfo: memFree=17392320/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=286676 CPUtime=4.2 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 7063 0 0 0 419 1 0 0 19 0 4 0 523663333 293556224 3529 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363493 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 71669 3529 393 112 0 66634 0
[pid=22284/tid=22285] ppid=22282 vsize=286676 CPUtime=1.05 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1719 0 0 0 105 0 0 0 19 0 4 0 523663333 293556224 3529 33554432000 4194304 4650419 140737258168128 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=286676 CPUtime=1.04 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1797 0 0 0 104 0 0 0 19 0 4 0 523663333 293556224 3529 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=286676 CPUtime=1.04 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1398 0 0 0 104 0 0 0 19 0 4 0 523663333 293556224 3530 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 286676

[startup+1.50047 s]
/proc/loadavg: 8.11 8.10 8.02 5/180 22284
/proc/meminfo: memFree=17392320/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=287212 CPUtime=5.97 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 9141 0 0 0 596 1 0 0 20 0 4 0 523663333 294105088 3850 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 71803 3850 394 112 0 66768 0
[pid=22284/tid=22285] ppid=22282 vsize=287212 CPUtime=1.49 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 2268 0 0 0 149 0 0 0 20 0 4 0 523663333 294105088 3850 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=287212 CPUtime=1.48 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 2337 0 0 0 148 0 0 0 20 0 4 0 523663333 294105088 3850 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=287212 CPUtime=1.49 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 1850 0 0 0 149 0 0 0 20 0 4 0 523663333 294105088 3851 33554432000 4194304 4650419 140737258168128 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287212

[startup+3.10119 s]
/proc/loadavg: 8.10 8.10 8.02 9/184 22288
/proc/meminfo: memFree=17346036/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=277056 CPUtime=12.36 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 19828 0 0 0 1232 4 0 0 25 0 4 0 523663333 283705344 11845 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 69264 11845 395 112 0 64229 0
[pid=22284/tid=22285] ppid=22282 vsize=277056 CPUtime=3.08 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 4600 0 0 0 308 0 0 0 25 0 4 0 523663333 283705344 11845 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=277056 CPUtime=3.08 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 5432 0 0 0 307 1 0 0 25 0 4 0 523663333 283705344 11845 33554432000 4194304 4650419 140737258168128 18446744073709551615 4438951 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=277056 CPUtime=3.07 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 4259 0 0 0 307 0 0 0 25 0 4 0 523663333 283705344 11845 33554432000 4194304 4650419 140737258168128 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 277056

[startup+6.30063 s]
/proc/loadavg: 8.10 8.10 8.02 9/184 22288
/proc/meminfo: memFree=17329396/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=279604 CPUtime=25.14 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 28784 0 0 0 2508 6 0 0 25 0 4 0 523663333 286314496 14986 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 69901 14986 395 112 0 64866 0
[pid=22284/tid=22285] ppid=22282 vsize=279604 CPUtime=6.29 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 6744 0 0 0 628 1 0 0 25 0 4 0 523663333 286314496 14986 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=279604 CPUtime=6.28 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 8118 0 0 0 627 1 0 0 25 0 4 0 523663333 286314496 14986 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=279604 CPUtime=6.25 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 5819 0 0 0 624 1 0 0 25 0 4 0 523663333 286314496 14986 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 279604

[startup+12.7005 s]
/proc/loadavg: 8.33 8.15 8.04 9/184 22319
/proc/meminfo: memFree=17789232/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=293888 CPUtime=50.73 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 41501 0 0 0 5063 10 0 0 25 0 4 0 523663333 300941312 22143 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 73472 22143 395 112 0 68437 0
[pid=22284/tid=22285] ppid=22282 vsize=293888 CPUtime=12.69 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 8908 0 0 0 1268 1 0 0 25 0 4 0 523663333 300941312 22145 33554432000 4194304 4650419 140737258168128 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=293888 CPUtime=12.68 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 12995 0 0 0 1266 2 0 0 25 0 4 0 523663333 300941312 22145 33554432000 4194304 4650419 140737258168128 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=293888 CPUtime=12.62 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 8351 0 0 0 1260 2 0 0 25 0 4 0 523663333 300941312 22145 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 293888

[startup+25.5003 s]
/proc/loadavg: 8.27 8.14 8.04 9/184 22320
/proc/meminfo: memFree=17711896/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=303508 CPUtime=101.83 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 59334 0 0 0 10167 16 0 0 25 0 4 0 523663333 310792192 27472 33554432000 4194304 4650419 140737258168128 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 75877 27472 395 112 0 70842 0
[pid=22284/tid=22285] ppid=22282 vsize=303508 CPUtime=25.49 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 12616 0 0 0 2546 3 0 0 25 0 4 0 523663333 310792192 27472 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=303508 CPUtime=25.48 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 21157 0 0 0 2543 5 0 0 25 0 4 0 523663333 310792192 27472 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=303508 CPUtime=25.35 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 11758 0 0 0 2531 4 0 0 25 0 4 0 523663333 310792192 27472 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 303508

[startup+51.1008 s]
/proc/loadavg: 8.18 8.13 8.03 9/184 22320
/proc/meminfo: memFree=17643732/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=297248 CPUtime=204.1 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 88554 0 0 0 20386 24 0 0 25 0 4 0 523663333 304381952 36577 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 74312 36577 395 112 0 69277 0
[pid=22284/tid=22285] ppid=22282 vsize=297248 CPUtime=51.08 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 18953 0 0 0 5104 4 0 0 25 0 4 0 523663333 304381952 36577 33554432000 4194304 4650419 140737258168128 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=297248 CPUtime=51.08 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 31734 0 0 0 5099 9 0 0 25 0 4 0 523663333 304381952 36577 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=297248 CPUtime=50.82 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 17754 0 0 0 5077 5 0 0 25 0 4 0 523663333 304381952 36577 33554432000 4194304 4650419 140737258168128 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 297248

[startup+102.301 s]
/proc/loadavg: 8.13 8.12 8.04 9/184 22322
/proc/meminfo: memFree=17576976/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=375584 CPUtime=408.62 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 133343 0 0 0 40823 39 0 0 25 0 4 0 523663333 384598016 47680 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 93896 47681 395 112 0 88861 0
[pid=22284/tid=22285] ppid=22282 vsize=375584 CPUtime=102.29 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 29095 0 0 0 10221 8 0 0 25 0 4 0 523663333 384598016 47681 33554432000 4194304 4650419 140737258168128 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=375584 CPUtime=102.28 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 44178 0 0 0 10215 13 0 0 25 0 4 0 523663333 384598016 47681 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=375584 CPUtime=101.74 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 28459 0 0 0 10165 9 0 0 25 0 4 0 523663333 384598016 47681 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 375584

[startup+162.3 s]

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

[pid=22284] ppid=22282 vsize=574016 CPUtime=2565.72 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 448802 0 0 0 256383 189 0 0 25 0 4 0 523663333 587792384 93897 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 143504 93897 395 112 0 138469 0
[pid=22284/tid=22285] ppid=22282 vsize=574016 CPUtime=642.3 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 77563 0 0 0 64197 33 0 0 25 0 4 0 523663333 587792384 93897 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=574016 CPUtime=642.29 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 149836 0 0 0 64169 60 0 0 25 0 4 0 523663333 587792384 93897 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=574016 CPUtime=638.81 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 85609 0 0 0 63844 37 0 0 25 0 4 0 523663333 587792384 93897 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 574016

[startup+702.3 s]
/proc/loadavg: 8.07 8.10 8.04 9/184 22338
/proc/meminfo: memFree=17171984/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=629196 CPUtime=2805.4 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 478764 0 0 0 280336 204 0 0 25 0 4 0 523663333 644296704 101733 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 157299 101733 395 112 0 152264 0
[pid=22284/tid=22285] ppid=22282 vsize=629196 CPUtime=702.3 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 81184 0 0 0 70195 35 0 0 25 0 4 0 523663333 644296704 101733 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=629196 CPUtime=702.29 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 159148 0 0 0 70164 65 0 0 25 0 4 0 523663333 644296704 101733 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=629196 CPUtime=698.48 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 91713 0 0 0 69808 40 0 0 25 0 4 0 523663333 644296704 101733 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 629196

[startup+762.301 s]
/proc/loadavg: 8.06 8.09 8.04 9/184 22339
/proc/meminfo: memFree=17178528/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=629812 CPUtime=3045.08 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 504309 0 0 0 304289 219 0 0 25 0 4 0 523663333 644927488 98639 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 157453 98639 395 112 0 152418 0
[pid=22284/tid=22285] ppid=22282 vsize=629812 CPUtime=762.31 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 84887 0 0 0 76194 37 0 0 25 0 4 0 523663333 644927488 98639 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=629812 CPUtime=762.29 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 169142 0 0 0 76160 69 0 0 25 0 4 0 523663333 644927488 98639 33554432000 4194304 4650419 140737258168128 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=629812 CPUtime=758.15 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 95280 0 0 0 75773 42 0 0 25 0 4 0 523663333 644927488 98639 33554432000 4194304 4650419 140737258168128 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 629812

[startup+822.301 s]
/proc/loadavg: 8.12 8.10 8.04 9/184 22341
/proc/meminfo: memFree=17146264/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=644000 CPUtime=3284.78 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 535967 0 0 0 328243 235 0 0 25 0 4 0 523663333 659456000 101222 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 161000 101223 395 112 0 155965 0
[pid=22284/tid=22285] ppid=22282 vsize=644000 CPUtime=822.31 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 91264 0 0 0 82191 40 0 0 25 0 4 0 523663333 659456000 101223 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=644000 CPUtime=822.3 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 179774 0 0 0 82156 74 0 0 25 0 4 0 523663333 659456000 101223 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=644000 CPUtime=817.83 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 101043 0 0 0 81737 46 0 0 25 0 4 0 523663333 659456000 101223 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 644000

[startup+882.301 s]
/proc/loadavg: 8.18 8.11 8.05 9/184 22343
/proc/meminfo: memFree=17123900/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=680012 CPUtime=3524.44 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 567884 0 0 0 352194 250 0 0 25 0 4 0 523663333 696332288 105524 33554432000 4194304 4650419 140737258168128 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 170003 105524 395 112 0 164968 0
[pid=22284/tid=22285] ppid=22282 vsize=680012 CPUtime=882.3 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 94484 0 0 0 88187 43 0 0 25 0 4 0 523663333 696332288 105524 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=680012 CPUtime=882.29 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 188891 0 0 0 88150 79 0 0 25 0 4 0 523663333 696332288 105524 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=680012 CPUtime=877.5 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 107717 0 0 0 87702 48 0 0 25 0 4 0 523663333 696332288 105524 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 680012

[startup+942.306 s]
/proc/loadavg: 8.17 8.12 8.05 9/184 22344
/proc/meminfo: memFree=17108620/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=684568 CPUtime=3764.13 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 595870 0 0 0 376149 264 0 0 25 0 4 0 523663333 700997632 108293 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 171142 108293 395 112 0 166107 0
[pid=22284/tid=22285] ppid=22282 vsize=684568 CPUtime=942.31 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 99058 0 0 0 94185 46 0 0 25 0 4 0 523663333 700997632 108293 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=684568 CPUtime=942.3 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 197821 0 0 0 94147 83 0 0 25 0 4 0 523663333 700997632 108293 33554432000 4194304 4650419 140737258168128 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=684568 CPUtime=937.17 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 113748 0 0 0 93666 51 0 0 25 0 4 0 523663333 700997632 108293 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 684568

[startup+1002.3 s]
/proc/loadavg: 8.18 8.13 8.06 9/184 22346
/proc/meminfo: memFree=17042628/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=684740 CPUtime=4003.8 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 630538 0 0 0 400103 277 0 0 25 0 4 0 523663333 701173760 123004 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 171185 123004 395 112 0 166150 0
[pid=22284/tid=22285] ppid=22282 vsize=684740 CPUtime=1002.31 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 108098 0 0 0 100182 49 0 0 25 0 4 0 523663333 701173760 123004 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=684740 CPUtime=1002.3 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 210414 0 0 0 100143 87 0 0 25 0 4 0 523663333 701173760 123004 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=684740 CPUtime=996.85 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 119323 0 0 0 99632 53 0 0 25 0 4 0 523663333 701173760 123004 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 684740

[startup+1062.3 s]
/proc/loadavg: 8.10 8.11 8.06 9/184 22356
/proc/meminfo: memFree=17015928/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=787376 CPUtime=4243.46 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 653111 0 0 0 424057 289 0 0 25 0 4 0 523663333 806273024 126447 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 196844 126447 395 112 0 191809 0
[pid=22284/tid=22285] ppid=22282 vsize=787376 CPUtime=1062.31 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 113899 0 0 0 106179 52 0 0 25 0 4 0 523663333 806273024 126447 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=787376 CPUtime=1062.3 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 218190 0 0 0 106139 91 0 0 25 0 4 0 523663333 806273024 126447 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=787376 CPUtime=1056.53 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 121373 0 0 0 105598 55 0 0 25 0 4 0 523663333 806273024 126447 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 787376

[startup+1122.3 s]
/proc/loadavg: 8.13 8.12 8.06 9/184 22358
/proc/meminfo: memFree=16984064/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=758300 CPUtime=4483.14 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 677662 0 0 0 448014 300 0 0 25 0 4 0 523663333 776499200 134085 33554432000 4194304 4650419 140737258168128 18446744073709551615 4331944 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 189575 134085 395 112 0 184540 0
[pid=22284/tid=22285] ppid=22282 vsize=758300 CPUtime=1122.31 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 116711 0 0 0 112177 54 0 0 25 0 4 0 523663333 776499200 134085 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=758300 CPUtime=1122.3 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 224820 0 0 0 112135 95 0 0 25 0 4 0 523663333 776499200 134085 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=758300 CPUtime=1116.2 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 127383 0 0 0 111563 57 0 0 25 0 4 0 523663333 776499200 134085 33554432000 4194304 4650419 140737258168128 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 758300

[startup+1182.3 s]
/proc/loadavg: 8.08 8.11 8.06 9/184 22360
/proc/meminfo: memFree=16980696/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=800548 CPUtime=4722.81 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 700199 0 0 0 471968 313 0 0 25 0 4 0 523663333 819761152 131079 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 200137 131080 395 112 0 195102 0
[pid=22284/tid=22285] ppid=22282 vsize=800548 CPUtime=1182.32 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 120929 0 0 0 118175 57 0 0 25 0 4 0 523663333 819761152 131080 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=800548 CPUtime=1182.3 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 233396 0 0 0 118131 99 0 0 25 0 4 0 523663333 819761152 131080 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=800548 CPUtime=1175.87 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 129325 0 0 0 117528 59 0 0 25 0 4 0 523663333 819761152 131080 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 800548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.10 8.06 9/184 22362
/proc/meminfo: memFree=16946720/32951124 swapFree=67111528/67111528
[pid=22284] ppid=22282 vsize=703712 CPUtime=4800.34 cores=1,3,5,7
/proc/22284/stat : 22284 (strangenight1-m) R 22282 22284 21853 0 -1 4202496 714161 0 0 0 479715 319 0 0 25 0 4 0 523663333 720601088 137058 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22284/statm: 175928 137058 395 112 0 170893 0
[pid=22284/tid=22285] ppid=22282 vsize=703712 CPUtime=1201.72 cores=1,3,5,7
/proc/22284/task/22285/stat : 22285 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 123299 0 0 0 120114 58 0 0 25 0 4 0 523663333 720601088 137058 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22284/tid=22286] ppid=22282 vsize=703712 CPUtime=1201.71 cores=1,3,5,7
/proc/22284/task/22286/stat : 22286 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 239833 0 0 0 120070 101 0 0 25 0 4 0 523663333 720601088 137058 33554432000 4194304 4650419 140737258168128 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22284/tid=22287] ppid=22282 vsize=703712 CPUtime=1195.16 cores=1,3,5,7
/proc/22284/task/22287/stat : 22287 (strangenight1-m) R 22282 22284 21853 0 -1 4202560 131785 0 0 0 119456 60 0 0 25 0 4 0 523663333 720601088 137058 33554432000 4194304 4650419 140737258168128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 703712

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): 1201.74
CPU time (s): 4800.39
CPU user time (s): 4797.17
CPU system time (s): 3.21451
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 889492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.17
system time used= 3.21451
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 714163
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= 358
involuntary context switches= 31437

runsolver used 1.9857 second user time and 4.5873 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-30 01:43:27
IDJOB=3175353
IDBENCH=82971
IDSOLVER=1588
FILE ID=node103/3175353-1304120607
RUNJOBID= node103-1304119403-22169
PBS_JOBID= 13170711
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 17e7946cc73ece994e4c474e2407ffbb
RANDOM SEED=577488494

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17392600 kB
Buffers:       2149632 kB
Cached:       12261128 kB
SwapCached:          0 kB
Active:        6103172 kB
Inactive:      8871592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17392600 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:      563540 kB
Mapped:          15508 kB
Slab:           519984 kB
PageTables:       5820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   788792 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= 71508 MiB
End job on node103 at 2011-04-30 02:03:31