Trace number 3175159

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.43 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf
MD5SUM55b0e04e9e653549cf2eabcc194b78ff
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.142977
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.01/0.00	c Using 4 threads
0.01/0.00	c This is CryptoMiniSat 2.9.0
0.01/0.00	c compiled with gcc version 4.4.5
0.01/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.01/0.00	c Reading file 'HOME/instance-3175159-1304093757.cnf'
0.01/0.00	c -- header says num vars:            150
0.01/0.00	c -- header says num clauses:        3195
0.01/0.02	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.01/0.02	c -- vars added        150
0.01/0.02	c Parsing time:  0.01 s
0.01/0.02	c  N st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.01/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
0.01/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.01/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.01/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.38/0.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2.38/0.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.38/0.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
2.38/0.63	c Finding binary XORs  T:     0.00 s  found:       0
2.38/0.63	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.38/0.63	c calculated reachability. Time: 0.00
2.38/0.63	c Calc default polars -  time:   0.00 s pos:      80 undec:       5 neg:      65
2.38/0.63	c =========================================================================================
2.38/0.63	c types(t): F = full restart, N = normal restart
2.38/0.63	c types(t): S = simplification begin/end, E = solution found
2.38/0.63	c restart types(rt): st = static, dy = dynamic
2.38/0.63	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.38/0.63	c  B st     0         0       150      3195         0         0     15975         0   no data   no data  --
2.38/0.63	c Decided on static restart strategy
2.38/0.63	c  N st     8      4919       150      3195         0      4713     15975    142071   no data   no data  --
3.57/0.90	c  N st    10     11301       150      3195         0      4351     15975     99791   no data   no data  --
3.57/0.90	c  N st    11     17044       150      3195         0      9851     15975    271915   no data   no data  --
3.57/1.00	c  F st    12     25000       150      3195         0     12009     15975    319109   no data   no data  --
3.57/1.00	c  N st    12     25000       150      3195         0     12009     15975    319109   no data   no data  --
4.77/1.20	c Decided on static restart strategy
4.77/1.20	c  N st    18     30001       150      3195         0     10300     15975    260687   no data   no data  --
4.77/1.20	c  S st    18     30001       150      3195         0     10300     15975    260687   no data   no data  --
4.77/1.20	c  S st    18     30504       150      3195         0     10792     15975    275714   no data   no data  --
4.77/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.77/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.77/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.77/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.08	c lits-rem:      2841  cl-subs:     1162  v-elim:      0  v-fix:    0  time:  3.56 s
8.39/2.13	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.19
8.39/2.13	c calculated reachability. Time: 0.00
8.39/2.13	c  N st    18     30504       150      3195         0      9630     15975    234434   no data   no data  --
9.56/2.49	c  N st    20     37616       150      3195         0      8891     15975    195905   no data   no data  --
11.16/2.83	c  N st    21     44016       150      3195         0     14978     15975    379401   no data   no data  --
11.56/2.94	c  S st    22     45758       150      3195         0     16614     15975    429407   no data   no data  --
11.56/2.99	c  S st    22     46268       150      3195         0      8614     15975    167868   no data   no data  --
11.56/2.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.56/2.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.56/2.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.97/3.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.97/3.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.97/3.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
11.97/3.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.18/3.31	c lits-rem:       312  cl-subs:      172  v-elim:      0  v-fix:    0  time:  1.24 s
13.18/3.31	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
13.18/3.31	c vivif2 --  cl tried     8442 cl shrink        0 lits rem          0 time: 0.00
13.18/3.35	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
13.18/3.36	c calculated reachability. Time: 0.00
13.18/3.36	c  N st    22     46268       150      3195         0      8442     15975    162206   no data   no data  --
16.76/4.25	c  N st    23     60667       150      3195         0     12652     15975    275118   no data   no data  --
19.15/4.83	c  N st    24     69402       150      3195         0     10513     15975    193947   no data   no data  --
19.15/4.83	c  S st    24     69402       150      3195         0     10513     15975    193947   no data   no data  --
19.15/4.86	c  S st    24     69903       150      3195         0     11010     15975    208296   no data   no data  --
19.15/4.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.15/4.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.15/4.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
19.15/4.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.15/4.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.15/4.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
19.15/4.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.57/5.50	c lits-rem:       678  cl-subs:      231  v-elim:      0  v-fix:    0  time:  2.52 s
21.57/5.50	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
21.97/5.50	c vivif2 --  cl tried    10779 cl shrink        0 lits rem          0 time: 0.01
21.97/5.56	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.21
21.97/5.56	c calculated reachability. Time: 0.00
21.97/5.56	c  N st    24     69903       150      3195         0     10779     15975    200062   no data   no data  --
26.37/6.69	c  F st    25     87501       150      3195         0     16104     15975    347589   no data   no data  --
26.37/6.69	c  N st    25     87501       150      3195         0     16104     15975    347589   no data   no data  --
27.94/7.01	c Decided on static restart strategy
28.74/7.24	c  N st    32     95540       150      3195         0     23753     15975    574709   no data   no data  --
31.14/7.80	c  N st    34    104854       150      3195         0     20262     15975    468276   no data   no data  --
31.14/7.80	c  S st    34    104854       150      3195         0     20262     15975    468276   no data   no data  --
31.14/7.86	c  S st    34    105358       150      3195         0     20756     15975    482984   no data   no data  --
31.14/7.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.14/7.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.14/7.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
31.14/7.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.14/7.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.14/7.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
31.14/7.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.53/9.49	c lits-rem:      3394  cl-subs:     1567  v-elim:      0  v-fix:    0  time:  6.40 s
37.53/9.49	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
37.53/9.50	c vivif2 --  cl tried    19189 cl shrink        0 lits rem          0 time: 0.02
38.33/9.61	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.44
38.33/9.61	c calculated reachability. Time: 0.00
38.33/9.61	c  N st    34    105358       150      3195         0     19189     15975    426983   no data   no data  --
40.72/10.29	c  N st    35    114956       150      3195         0     15044     15975    295527   no data   no data  --
45.52/11.44	c  N st    36    129353       150      3195         0     14480     15975    252595   no data   no data  --
51.92/13.03	c  N st    37    150948       150      3195         0     19762     15975    394418   no data   no data  --
53.90/13.54	c  S st    38    158037       150      3195         0     26502     15975    606678   no data   no data  --
54.30/13.61	c  S st    38    158539       150      3195         0     26998     15975    620829   no data   no data  --
54.30/13.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
54.30/13.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.30/13.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
54.30/13.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.30/13.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.30/13.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
54.30/13.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
61.52/15.45	c lits-rem:      6079  cl-subs:     1807  v-elim:      0  v-fix:    0  time:  7.22 s
61.52/15.45	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
61.52/15.45	c vivif2 --  cl tried    25191 cl shrink        0 lits rem          0 time: 0.02
61.90/15.57	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.49
61.90/15.58	c calculated reachability. Time: 0.00
61.90/15.58	c  N st    38    158539       150      3195         0     25191     15975    553903   no data   no data  --
79.87/20.04	c  N st    39    207127       150      3195         0     20032     15975    348973   no data   no data  --
92.28/23.12	c  N st    40    237810       150      3195         0     30093     15975    641727   no data   no data  --
92.28/23.12	c  S st    40    237810       150      3195         0     30093     15975    641727   no data   no data  --
92.28/23.19	c  S st    40    238317       150      3195         0     30589     15975    656353   no data   no data  --
92.65/23.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
92.65/23.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.65/23.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
92.65/23.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.65/23.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.65/23.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
92.65/23.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.84/25.53	c lits-rem:      3935  cl-subs:     2377  v-elim:      0  v-fix:    0  time:  9.19 s
101.84/25.53	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
101.84/25.53	c vivif2 --  cl tried    28212 cl shrink        0 lits rem          0 time: 0.02
102.24/25.68	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.59
102.24/25.68	c calculated reachability. Time: 0.00
102.24/25.68	c  N st    40    238317       150      3195         0     28212     15975    581731   no data   no data  --
130.21/32.60	c  F st    41    306250       150      3195         0     30290     15975    597186   no data   no data  --
130.21/32.60	c  N st    41    306250       150      3195         0     30290     15975    597186   no data   no data  --
132.19/33.10	c Decided on static restart strategy
141.39/35.49	c  N st    51    334557       150      3195         0     34426     15975    689087   no data   no data  --
151.37/37.97	c  N st    53    357475       150      3195         0     32446     15975    624364   no data   no data  --
151.37/37.97	c  S st    53    357475       150      3195         0     32446     15975    624364   no data   no data  --
151.77/38.05	c  S st    53    357981       150      3195         0     32942     15975    639020   no data   no data  --
151.77/38.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
151.77/38.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.77/38.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
151.77/38.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.77/38.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.77/38.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
151.77/38.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.16/40.13	c lits-rem:      2822  cl-subs:     1278  v-elim:      0  v-fix:    0  time:  8.16 s
160.16/40.13	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
160.16/40.14	c vivif2 --  cl tried    31664 cl shrink        0 lits rem          0 time: 0.02
160.96/40.31	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.71
160.96/40.31	c calculated reachability. Time: 0.00
160.96/40.31	c  N st    53    357981       150      3195         0     31664     15975    593748   no data   no data  --
178.93/44.82	c  N st    54    390373       150      3195         0     37601     15975    745487   no data   no data  --
202.90/50.81	c  N st    55    438961       150      3195         0     31652     15975    551651   no data   no data  --
236.06/59.14	c  N st    56    511843       150      3195         0     44625     15975    920359   no data   no data  --
249.24/62.49	c  N st    57    536972       150      3195         0     39065     15975    713807   no data   no data  --
249.24/62.49	c  S st    57    536972       150      3195         0     39065     15975    713807   no data   no data  --
249.64/62.59	c  S st    57    537477       150      3195         0     39559     15975    728379   no data   no data  --
249.64/62.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
249.64/62.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
249.64/62.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
250.06/62.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
250.06/62.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.06/62.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
250.06/62.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
259.25/64.91	c lits-rem:      3525  cl-subs:     1977  v-elim:      0  v-fix:    0  time:  9.14 s
259.25/64.91	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
259.25/64.92	c vivif2 --  cl tried    37582 cl shrink        0 lits rem          0 time: 0.03
260.02/65.12	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.82
260.02/65.13	c calculated reachability. Time: 0.00
260.02/65.13	c  N st    57    537477       150      3195         0     37582     15975    663833   no data   no data  --
351.53/88.03	c  N st    58    701461       150      3195         0     65649     15975   1451698   no data   no data  --
420.62/105.39	c  N st    59    806217       150      3195         0     59958     15975   1217481   no data   no data  --
420.62/105.39	c  S st    59    806217       150      3195         0     59958     15975   1217481   no data   no data  --
421.43/105.55	c  S st    59    806721       150      3195         0     60454     15975   1231714   no data   no data  --
421.43/105.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
421.43/105.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
421.43/105.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
421.84/105.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
421.84/105.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
421.84/105.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
421.84/105.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
450.97/112.99	c lits-rem:       637  cl-subs:     4928  v-elim:      0  v-fix:    0  time: 29.43 s
450.97/112.99	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
451.37/113.01	c vivif2 --  cl tried    55526 cl shrink        0 lits rem          0 time: 0.05
452.19/113.30	c asymm  cl-useful: 0/2600/3195 lits-rem:0 time: 1.17
452.59/113.30	c calculated reachability. Time: 0.00
452.59/113.30	c  N st    59    806721       150      3195         0     55526     15975   1090147   no data   no data  --
629.13/157.53	c  F st    60   1071875       150      3195         0     70852     15975   1499600   no data   no data  --
629.13/157.53	c  N st    60   1071875       150      3195         0     70852     15975   1499600   no data   no data  --
633.53/158.67	c Decided on static restart strategy
650.33/162.85	c  N st    70   1100177       150      3195         0     55309     15975    949410   no data   no data  --
678.67/169.94	c  N st    72   1136171       150      3195         0     45912     15975    654649   no data   no data  --
702.24/175.86	c  N st    73   1168567       150      3195         0     76481     15975   1581327   no data   no data  --
733.00/183.60	c  N st    74   1210082       150      3195         0     71313     15975   1406404   no data   no data  --
733.00/183.60	c  S st    74   1210082       150      3195         0     71313     15975   1406404   no data   no data  --
734.20/183.88	c  S st    74   1210589       150      3195         0     71807     15975   1421190   no data   no data  --
734.20/183.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
734.20/183.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
734.60/183.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
734.60/183.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
734.60/183.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
734.60/183.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
734.60/183.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
803.72/201.22	c lits-rem:      1417  cl-subs:     5347  v-elim:      0  v-fix:    0  time: 68.83 s
803.72/201.22	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
803.72/201.24	c vivif2 --  cl tried    66460 cl shrink        0 lits rem          0 time: 0.06
804.12/201.37	c asymm  cl-useful: 0/595/3195 lits-rem:0 time: 0.53
804.12/201.37	c calculated reachability. Time: 0.00
804.12/201.37	c  N st    74   1210589       150      3195         0     66460     15975   1257916   no data   no data  --
863.63/216.24	c  N st    75   1283472       150      3195         0     89960     15975   1945261   no data   no data  --
977.07/244.60	c  N st    76   1392795       150      3195         0     51867     15975    739233   no data   no data  --
1108.09/277.44	c  N st    77   1556780       150      3195         0     56474     15975    837656   no data   no data  --
1244.31/311.52	c  N st    78   1710589       150      3195         0     96681     15975   2086098   no data   no data  --
1244.31/311.52	c  S st    78   1710589       150      3195         0     96681     15975   2086098   no data   no data  --
1245.51/311.82	c  S st    78   1711094       150      3195         0     97173     15975   2101212   no data   no data  --
1245.51/311.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1245.51/311.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1245.51/311.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1245.91/311.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1245.91/311.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1245.91/311.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1245.91/311.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1366.94/342.27	c lits-rem:      3950  cl-subs:     8751  v-elim:      0  v-fix:    0  time: 121.12 s
1366.94/342.27	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1367.34/342.30	c vivif2 --  cl tried    88422 cl shrink        0 lits rem          0 time: 0.09
1368.55/342.63	c asymm  cl-useful: 0/1711/3195 lits-rem:0 time: 1.34
1368.55/342.63	c calculated reachability. Time: 0.00
1368.55/342.63	c  N st    78   1711094       150      3195         0     88422     15975   1824043   no data   no data  --
1754.83/439.35	c  N st    79   2080061       150      3195         0    100054     15975   2050154   no data   no data  --
1884.26/471.71	c  N st    80   2211096       150      3195         0    103981     15975   2117741   no data   no data  --
1884.26/471.71	c  S st    80   2211096       150      3195         0    103981     15975   2117741   no data   no data  --
1885.45/472.04	c  S st    80   2211598       150      3195         0    104472     15975   2132747   no data   no data  --
1885.45/472.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1885.45/472.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1885.85/472.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1885.85/472.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1885.85/472.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1885.85/472.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1885.85/472.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2007.30/502.51	c lits-rem:      2370  cl-subs:     9031  v-elim:      0  v-fix:    0  time: 121.19 s
2007.30/502.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2007.30/502.54	c vivif2 --  cl tried    95441 cl shrink        0 lits rem          0 time: 0.10
2008.89/502.91	c asymm  cl-useful: 0/1183/3195 lits-rem:0 time: 1.49
2008.89/502.91	c calculated reachability. Time: 0.00
2008.89/502.91	c  N st    80   2211598       150      3195         0     95441     15975   1857898   no data   no data  --
2528.59/633.09	c  N st    81   2711598       150      3195         0    118362     15975   2473238   no data   no data  --
2528.59/633.09	c  S st    81   2711598       150      3195         0    118362     15975   2473238   no data   no data  --
2530.19/633.47	c  S st    81   2712101       150      3195         0    118857     15975   2488752   no data   no data  --
2530.19/633.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2530.19/633.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2530.61/633.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2531.01/633.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2531.01/633.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2531.01/633.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2531.01/633.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2716.34/680.05	c lits-rem:      6537  cl-subs:     9756  v-elim:      0  v-fix:    0  time: 185.40 s
2716.34/680.05	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2716.34/680.07	c vivif2 --  cl tried   109101 cl shrink        0 lits rem          0 time: 0.11
2717.94/680.45	c asymm  cl-useful: 0/1269/3195 lits-rem:0 time: 1.51
2717.94/680.46	c calculated reachability. Time: 0.00
2717.94/680.46	c  N st    81   2712101       150      3195         0    109101     15975   2185406   no data   no data  --
3349.90/838.65	c  N st    82   3212102       150      3195         0     85952     15975   1300107   no data   no data  --
3349.90/838.65	c  S st    82   3212102       150      3195         0     85952     15975   1300107   no data   no data  --
3351.10/838.95	c  S st    82   3212608       150      3195         0     86443     15975   1314758   no data   no data  --
3351.10/838.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3351.10/838.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3351.50/839.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
3351.50/839.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3351.50/839.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3351.50/839.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3351.50/839.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3387.47/848.08	c lits-rem:       954  cl-subs:     2943  v-elim:      0  v-fix:    0  time: 36.07 s
3387.47/848.08	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3387.47/848.10	c vivif2 --  cl tried    83500 cl shrink        0 lits rem          0 time: 0.07
3389.05/848.44	c asymm  cl-useful: 0/1361/3195 lits-rem:0 time: 1.38
3389.05/848.45	c calculated reachability. Time: 0.00
3389.05/848.45	c  N st    82   3212608       150      3195         0     83500     15975   1231965   no data   no data  --
4035.78/1010.39	c  N st    83   3712609       150      3195         0     93860     15975   1433547   no data   no data  --
4035.78/1010.39	c  S st    83   3712609       150      3195         0     93860     15975   1433547   no data   no data  --
4036.98/1010.68	c  S st    83   3713112       150      3195         0     94347     15975   1448639   no data   no data  --
4036.98/1010.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4036.98/1010.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4037.38/1010.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
4037.38/1010.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4037.38/1010.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4037.38/1010.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4037.38/1010.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4075.73/1020.32	c lits-rem:       901  cl-subs:     3573  v-elim:      0  v-fix:    0  time: 38.09 s
4075.73/1020.32	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4075.73/1020.34	c vivif2 --  cl tried    90774 cl shrink        0 lits rem          0 time: 0.07
4076.13/1020.50	c asymm  cl-useful: 0/565/3195 lits-rem:0 time: 0.64
4076.53/1020.50	c calculated reachability. Time: 0.00
4076.53/1020.50	c  N st    83   3713112       150      3195         0     90774     15975   1345980   no data   no data  --
4132.05/1034.44	c  F st    84   3751563       150      3195         0    127171     15975   2490675   no data   no data  --
4132.05/1034.44	c  N st    84   3751563       150      3195         0    127171     15975   2490675   no data   no data  --
4142.43/1037.07	c Decided on static restart strategy
4197.96/1050.91	c  N st    94   3779873       150      3195         0    153979     15975   3303331   no data   no data  --
4250.29/1064.04	c  N st    96   3815868       150      3195         0    108255     15975   1866972   no data   no data  --
4296.23/1075.51	c  N st    97   3848262       150      3195         0    138952     15975   2817493   no data   no data  --
4362.97/1092.28	c  N st    98   3896850       150      3195         0    103808     15975   1704284   no data   no data  --
4456.41/1115.61	c  N st    99   3969732       150      3195         0     90534     15975   1279464   no data   no data  --
4586.64/1148.27	c  N st   100   4079058       150      3195         0    110470     15975   1886543   no data   no data  --
4765.21/1192.97	c  N st   101   4213113       150      3195         0    152447     15975   3066914   no data   no data  --
4765.21/1192.97	c  S st   101   4213113       150      3195         0    152447     15975   3066914   no data   no data  --
4767.22/1193.50	c  S st   101   4213614       150      3195         0    152932     15975   3081491   no data   no data  --
4767.62/1193.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4767.62/1193.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4767.62/1193.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.33
4768.00/1193.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4768.00/1193.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4768.00/1193.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4768.00/1193.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175159-1304093757/watcher-3175159-1304093757 -o /tmp/evaluation-result-3175159-1304093757/solver-3175159-1304093757 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175159-1304093757.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: 6.64 7.78 7.95 8/180 24998
/proc/meminfo: memFree=29745916/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 599606537 52465664 352 33554432000 4194304 4650419 140736178699152 18446744073709551615 46914236090284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 12809 352 303 112 0 7774 0
[pid=24998/tid=24999] ppid=24996 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 599606537 52465664 352 33554432000 4194304 4650419 140736178699152 18446744073709551615 46914236090290 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 599606537 52465664 352 33554432000 4194304 4650419 140736178699152 18446744073709551615 46914236090290 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 599606537 52465664 352 33554432000 4194304 4650419 140736178699152 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.00681893 s]
/proc/loadavg: 6.64 7.78 7.95 8/180 24998
/proc/meminfo: memFree=29745916/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 413 0 0 0 1 0 0 0 22 0 4 0 599606537 52465664 352 33554432000 4194304 4650419 140736178699152 18446744073709551615 46914236090290 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 12809 352 303 112 0 7774 0
[pid=24998/tid=24999] ppid=24996 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 599606537 52465664 352 33554432000 4194304 4650419 140736178699152 18446744073709551615 46914236090290 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 599606537 52465664 352 33554432000 4194304 4650419 140736178699152 18446744073709551615 46914236090290 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 599606537 52465664 352 33554432000 4194304 4650419 140736178699152 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 51236

[startup+0.100745 s]
/proc/loadavg: 6.64 7.78 7.95 8/180 24998
/proc/meminfo: memFree=29745916/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=282872 CPUtime=0.38 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 2068 0 0 0 38 0 0 0 18 0 4 0 599606537 289660928 1893 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 70718 1893 389 112 0 65683 0
[pid=24998/tid=24999] ppid=24996 vsize=282872 CPUtime=0.09 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 435 0 0 0 9 0 0 0 18 0 4 0 599606537 289660928 1893 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=282872 CPUtime=0.09 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 462 0 0 0 9 0 0 0 18 0 4 0 599606537 289660928 1894 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=282872 CPUtime=0.09 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 304 0 0 0 9 0 0 0 25 0 4 0 599606537 289660928 1894 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282872

[startup+0.300707 s]
/proc/loadavg: 6.64 7.78 7.95 8/180 24998
/proc/meminfo: memFree=29745916/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=284476 CPUtime=1.18 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 3434 0 0 0 118 0 0 0 18 0 4 0 599606537 291303424 2532 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 71119 2532 391 112 0 66084 0
[pid=24998/tid=24999] ppid=24996 vsize=284476 CPUtime=0.29 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 781 0 0 0 29 0 0 0 18 0 4 0 599606537 291303424 2532 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=284476 CPUtime=0.29 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 796 0 0 0 29 0 0 0 18 0 4 0 599606537 291303424 2532 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=284476 CPUtime=0.29 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 648 0 0 0 29 0 0 0 25 0 4 0 599606537 291303424 2532 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284476

[startup+0.700632 s]
/proc/loadavg: 6.64 7.78 7.95 8/180 24998
/proc/meminfo: memFree=29745916/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=286344 CPUtime=2.78 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 6305 0 0 0 278 0 0 0 18 0 4 0 599606537 293216256 2953 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 71586 2953 391 112 0 66551 0
[pid=24998/tid=24999] ppid=24996 vsize=286344 CPUtime=0.69 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 1503 0 0 0 69 0 0 0 18 0 4 0 599606537 293216256 2953 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=286344 CPUtime=0.69 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 1546 0 0 0 69 0 0 0 18 0 4 0 599606537 293216256 2953 33554432000 4194304 4650419 140736178699152 18446744073709551615 4520102 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=286344 CPUtime=0.69 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 1311 0 0 0 69 0 0 0 25 0 4 0 599606537 293216256 2953 33554432000 4194304 4650419 140736178699152 18446744073709551615 4360413 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) 286344

[startup+1.50049 s]
/proc/loadavg: 6.64 7.78 7.95 10/184 25002
/proc/meminfo: memFree=29719988/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=278520 CPUtime=5.97 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 12703 0 0 0 596 1 0 0 20 0 4 0 599606537 285204480 6809 33554432000 4194304 4650419 140736178699152 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 69630 6809 393 112 0 64595 0
[pid=24998/tid=24999] ppid=24996 vsize=278520 CPUtime=1.49 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 3808 0 0 0 149 0 0 0 20 0 4 0 599606537 285204480 6809 33554432000 4194304 4650419 140736178699152 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=278520 CPUtime=1.49 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 2555 0 0 0 149 0 0 0 19 0 4 0 599606537 285204480 6809 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=278520 CPUtime=1.48 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 2236 0 0 0 148 0 0 0 25 0 4 0 599606537 285204480 6809 33554432000 4194304 4650419 140736178699152 18446744073709551615 4315210 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) 278520

[startup+3.10119 s]
/proc/loadavg: 6.75 7.78 7.95 9/184 25002
/proc/meminfo: memFree=29673116/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=288484 CPUtime=12.37 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 19469 0 0 0 1234 3 0 0 25 0 4 0 599606537 295407616 11416 33554432000 4194304 4650419 140736178699152 18446744073709551615 4439086 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 72121 11416 393 112 0 67086 0
[pid=24998/tid=24999] ppid=24996 vsize=288484 CPUtime=3.09 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 4613 0 0 0 309 0 0 0 25 0 4 0 599606537 295407616 11416 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=288484 CPUtime=3.09 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 5119 0 0 0 309 0 0 0 25 0 4 0 599606537 295407616 11416 33554432000 4194304 4650419 140736178699152 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=288484 CPUtime=3.07 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 4555 0 0 0 307 0 0 0 25 0 4 0 599606537 295407616 11416 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 288484

[startup+6.30058 s]
/proc/loadavg: 6.75 7.78 7.95 9/184 25002
/proc/meminfo: memFree=29638512/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=289352 CPUtime=25.15 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 28243 0 0 0 2510 5 0 0 25 0 4 0 599606537 296296448 13826 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366698 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 72338 13826 393 112 0 67303 0
[pid=24998/tid=24999] ppid=24996 vsize=289352 CPUtime=6.29 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 7732 0 0 0 628 1 0 0 25 0 4 0 599606537 296296448 13826 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365387 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=289352 CPUtime=6.29 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 7476 0 0 0 628 1 0 0 25 0 4 0 599606537 296296448 13826 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=289352 CPUtime=6.25 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 5843 0 0 0 625 0 0 0 25 0 4 0 599606537 296296448 13826 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 289352

[startup+12.7004 s]
/proc/loadavg: 6.94 7.79 7.95 9/184 25002
/proc/meminfo: memFree=29590300/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=304920 CPUtime=50.71 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 45625 0 0 0 5063 8 0 0 25 0 4 0 599606537 312238080 21550 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 76230 21550 393 112 0 71195 0
[pid=24998/tid=24999] ppid=24996 vsize=304920 CPUtime=12.68 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 12489 0 0 0 1266 2 0 0 25 0 4 0 599606537 312238080 21550 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=304920 CPUtime=12.69 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 11777 0 0 0 1267 2 0 0 25 0 4 0 599606537 312238080 21550 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=304920 CPUtime=12.62 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 9096 0 0 0 1261 1 0 0 25 0 4 0 599606537 312238080 21550 33554432000 4194304 4650419 140736178699152 18446744073709551615 4315280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 304920

[startup+25.501 s]
/proc/loadavg: 7.10 7.79 7.95 9/184 25003
/proc/meminfo: memFree=29540812/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=306004 CPUtime=101.84 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 71950 0 0 0 10169 15 0 0 25 0 4 0 599606537 313348096 28327 33554432000 4194304 4650419 140736178699152 18446744073709551615 4422572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 76501 28327 393 112 0 71466 0
[pid=24998/tid=24999] ppid=24996 vsize=306004 CPUtime=25.49 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 20363 0 0 0 2544 5 0 0 25 0 4 0 599606537 313348096 28327 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=306004 CPUtime=25.49 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 18438 0 0 0 2546 3 0 0 25 0 4 0 599606537 313348096 28327 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=306004 CPUtime=25.34 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 12743 0 0 0 2532 2 0 0 25 0 4 0 599606537 313348096 28327 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 306004

[startup+51.1011 s]
/proc/loadavg: 7.46 7.83 7.96 9/184 25003
/proc/meminfo: memFree=29486168/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=314776 CPUtime=204.11 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 110992 0 0 0 20385 26 0 0 25 0 4 0 599606537 322330624 34942 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 78694 34942 393 112 0 73659 0
[pid=24998/tid=24999] ppid=24996 vsize=314776 CPUtime=51.09 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 32458 0 0 0 5101 8 0 0 25 0 4 0 599606537 322330624 34942 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=314776 CPUtime=51.09 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 29219 0 0 0 5104 5 0 0 25 0 4 0 599606537 322330624 34942 33554432000 4194304 4650419 140736178699152 18446744073709551615 4329469 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=314776 CPUtime=50.81 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 17391 0 0 0 5077 4 0 0 25 0 4 0 599606537 322330624 34942 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 314776

[startup+102.307 s]
/proc/loadavg: 7.84 7.87 7.97 9/184 25005
/proc/meminfo: memFree=29393764/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=316856 CPUtime=408.65 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 174136 0 0 0 40819 46 0 0 25 0 4 0 599606537 324460544 43821 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 79214 43821 393 112 0 74179 0
[pid=24998/tid=24999] ppid=24996 vsize=316856 CPUtime=102.29 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 50720 0 0 0 10215 14 0 0 25 0 4 0 599606537 324460544 43821 33554432000 4194304 4650419 140736178699152 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=316856 CPUtime=102.3 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 46495 0 0 0 10219 11 0 0 25 0 4 0 599606537 324460544 43821 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=316856 CPUtime=101.74 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 27193 0 0 0 10167 7 0 0 25 0 4 0 599606537 324460544 43821 33554432000 4194304 4650419 140736178699152 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 316856

[startup+162.3 s]

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

[pid=24998] ppid=24996 vsize=555632 CPUtime=2805.43 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 473929 0 0 0 280362 181 0 0 25 0 4 0 599606537 568967168 108152 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 138908 108152 393 112 0 133873 0
[pid=24998/tid=24999] ppid=24996 vsize=555632 CPUtime=702.32 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 167238 0 0 0 70161 71 0 0 25 0 4 0 599606537 568967168 108152 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=555632 CPUtime=702.31 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 113940 0 0 0 70192 39 0 0 25 0 4 0 599606537 568967168 108152 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=555632 CPUtime=698.48 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 58086 0 0 0 69826 22 0 0 25 0 4 0 599606537 568967168 108152 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 555632

[startup+762.307 s]
/proc/loadavg: 8.07 8.06 8.01 9/184 25022
/proc/meminfo: memFree=28874288/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=569512 CPUtime=3045.13 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 492039 0 0 0 304325 188 0 0 25 0 4 0 599606537 583180288 117776 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 142378 117776 393 112 0 137343 0
[pid=24998/tid=24999] ppid=24996 vsize=569512 CPUtime=762.32 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 181057 0 0 0 76156 76 0 0 25 0 4 0 599606537 583180288 117776 33554432000 4194304 4650419 140736178699152 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=569512 CPUtime=762.32 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 116667 0 0 0 76192 40 0 0 25 0 4 0 599606537 583180288 117776 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=569512 CPUtime=758.16 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 59586 0 0 0 75793 23 0 0 25 0 4 0 599606537 583180288 117776 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 569512

[startup+822.301 s]
/proc/loadavg: 8.12 8.08 8.02 9/184 25024
/proc/meminfo: memFree=28853652/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=632392 CPUtime=3284.78 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 504790 0 0 0 328283 195 0 0 25 0 4 0 599606537 647569408 120257 33554432000 4194304 4650419 140736178699152 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 158098 120257 393 112 0 153063 0
[pid=24998/tid=24999] ppid=24996 vsize=632392 CPUtime=822.31 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 187630 0 0 0 82152 79 0 0 25 0 4 0 599606537 647569408 120257 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=632392 CPUtime=822.31 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 120713 0 0 0 82189 42 0 0 25 0 4 0 599606537 647569408 120257 33554432000 4194304 4650419 140736178699152 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=632392 CPUtime=817.83 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 59653 0 0 0 81760 23 0 0 25 0 4 0 599606537 647569408 120257 33554432000 4194304 4650419 140736178699152 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) 632392

[startup+882.301 s]
/proc/loadavg: 8.13 8.09 8.02 9/184 25026
/proc/meminfo: memFree=28844680/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=588728 CPUtime=3524.46 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 521367 0 0 0 352243 203 0 0 25 0 4 0 599606537 602857472 120233 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 147182 120233 393 112 0 142147 0
[pid=24998/tid=24999] ppid=24996 vsize=588728 CPUtime=882.31 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 197842 0 0 0 88147 84 0 0 25 0 4 0 599606537 602857472 120233 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=588728 CPUtime=882.31 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 122365 0 0 0 88188 43 0 0 25 0 4 0 599606537 602857472 120233 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=588728 CPUtime=877.51 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 61630 0 0 0 87727 24 0 0 25 0 4 0 599606537 602857472 120233 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 588728

[startup+942.3 s]
/proc/loadavg: 8.13 8.10 8.03 9/184 25027
/proc/meminfo: memFree=28835836/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=588844 CPUtime=3764.14 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 533711 0 0 0 376204 210 0 0 25 0 4 0 599606537 602976256 123113 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 147211 123113 393 112 0 142176 0
[pid=24998/tid=24999] ppid=24996 vsize=588844 CPUtime=942.32 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 206831 0 0 0 94142 90 0 0 25 0 4 0 599606537 602976256 123113 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=588844 CPUtime=942.31 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 122936 0 0 0 94188 43 0 0 25 0 4 0 599606537 602976256 123113 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=588844 CPUtime=937.18 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 62994 0 0 0 93694 24 0 0 25 0 4 0 599606537 602976256 123113 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 588844

[startup+1002.3 s]
/proc/loadavg: 8.10 8.10 8.03 9/184 25029
/proc/meminfo: memFree=28807776/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=648592 CPUtime=4003.82 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 541754 0 0 0 400168 214 0 0 25 0 4 0 599606537 664158208 127884 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 162148 127884 393 112 0 157113 0
[pid=24998/tid=24999] ppid=24996 vsize=648592 CPUtime=1002.33 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 212791 0 0 0 100140 93 0 0 25 0 4 0 599606537 664158208 127884 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=648592 CPUtime=1002.31 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 123542 0 0 0 100188 43 0 0 25 0 4 0 599606537 664158208 127884 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=648592 CPUtime=996.86 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 63160 0 0 0 99661 25 0 0 25 0 4 0 599606537 664158208 127884 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 648592

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 8.03 9/184 25030
/proc/meminfo: memFree=28808732/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=729232 CPUtime=4243.5 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 557552 0 0 0 424128 222 0 0 25 0 4 0 599606537 746733568 133506 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 182308 133506 393 112 0 177273 0
[pid=24998/tid=24999] ppid=24996 vsize=729232 CPUtime=1062.32 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 220723 0 0 0 106135 97 0 0 25 0 4 0 599606537 746733568 133506 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=729232 CPUtime=1062.32 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 124243 0 0 0 106188 44 0 0 25 0 4 0 599606537 746733568 133506 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=729232 CPUtime=1056.53 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 67483 0 0 0 105628 25 0 0 25 0 4 0 599606537 746733568 133507 33554432000 4194304 4650419 140736178699152 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 729232

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/184 25032
/proc/meminfo: memFree=28760088/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=729888 CPUtime=4483.18 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 579764 0 0 0 448085 233 0 0 25 0 4 0 599606537 747405312 136222 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 182472 136222 393 112 0 177437 0
[pid=24998/tid=24999] ppid=24996 vsize=729888 CPUtime=1122.32 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 229353 0 0 0 112131 101 0 0 25 0 4 0 599606537 747405312 136222 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=729888 CPUtime=1122.32 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 125314 0 0 0 112187 45 0 0 25 0 4 0 599606537 747405312 136222 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=729888 CPUtime=1116.21 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 71603 0 0 0 111594 27 0 0 25 0 4 0 599606537 747405312 136222 33554432000 4194304 4650419 140736178699152 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 729888

[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/184 25034
/proc/meminfo: memFree=28715776/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=687112 CPUtime=4722.87 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 604054 0 0 0 472039 248 0 0 25 0 4 0 599606537 703602688 144274 33554432000 4194304 4650419 140736178699152 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 171778 144274 393 112 0 166743 0
[pid=24998/tid=24999] ppid=24996 vsize=687112 CPUtime=1182.33 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 238458 0 0 0 118126 107 0 0 25 0 4 0 599606537 703602688 144274 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=687112 CPUtime=1182.33 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 129740 0 0 0 118185 48 0 0 25 0 4 0 599606537 703602688 144274 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=687112 CPUtime=1175.88 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 77590 0 0 0 117557 31 0 0 25 0 4 0 599606537 703602688 144274 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.87
Current children cumulated vsize (KiB) 687112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.73 8.01 8.00 5/179 25035
/proc/meminfo: memFree=29156848/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=795828 CPUtime=4800.37 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 612593 0 0 0 479786 251 0 0 25 0 4 0 599606537 814927872 148734 33554432000 4194304 4650419 140736178699152 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 198957 148734 393 112 0 193922 0
[pid=24998/tid=24999] ppid=24996 vsize=795828 CPUtime=1201.74 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 240064 0 0 0 120066 108 0 0 25 0 4 0 599606537 814927872 148734 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=795828 CPUtime=1201.73 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 130251 0 0 0 120125 48 0 0 25 0 4 0 599606537 814927872 148734 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=795828 CPUtime=1195.18 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 78591 0 0 0 119486 32 0 0 25 0 4 0 599606537 814927872 148734 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 795828

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

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

[startup+1201.7 s]
/proc/loadavg: 7.73 8.01 8.00 5/179 25035
/proc/meminfo: memFree=29156848/32950928 swapFree=67111364/67111528
[pid=24998] ppid=24996 vsize=795828 CPUtime=4800.37 cores=1,3,5,7
/proc/24998/stat : 24998 (strangenight1-m) R 24996 24998 24218 0 -1 4202496 612593 0 0 0 479786 251 0 0 25 0 4 0 599606537 814927872 148734 33554432000 4194304 4650419 140736178699152 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24998/statm: 198957 148734 393 112 0 193922 0
[pid=24998/tid=24999] ppid=24996 vsize=795828 CPUtime=1201.74 cores=1,3,5,7
/proc/24998/task/24999/stat : 24999 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 240064 0 0 0 120066 108 0 0 25 0 4 0 599606537 814927872 148734 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24998/tid=25000] ppid=24996 vsize=795828 CPUtime=1201.73 cores=1,3,5,7
/proc/24998/task/25000/stat : 25000 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 130251 0 0 0 120125 48 0 0 25 0 4 0 599606537 814927872 148734 33554432000 4194304 4650419 140736178699152 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24998/tid=25001] ppid=24996 vsize=795828 CPUtime=1195.18 cores=1,3,5,7
/proc/24998/task/25001/stat : 25001 (strangenight1-m) R 24996 24998 24218 0 -1 4202560 78591 0 0 0 119486 32 0 0 25 0 4 0 599606537 814927872 148734 33554432000 4194304 4650419 140736178699152 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 795828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.43
CPU user time (s): 4797.89
CPU system time (s): 2.54161
CPU usage (%): 399.458
Max. virtual memory (cumulated for all children) (KiB): 852716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.89
system time used= 2.54161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275
involuntary context switches= 29881

runsolver used 1.78873 second user time and 4.78027 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-29 18:15:59
IDJOB=3175159
IDBENCH=82777
IDSOLVER=1588
FILE ID=node115/3175159-1304093757
RUNJOBID= node115-1304093755-24976
PBS_JOBID= 13170560
Free space on /tmp= 72728 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175159-1304093757/watcher-3175159-1304093757 -o /tmp/evaluation-result-3175159-1304093757/solver-3175159-1304093757 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175159-1304093757.cnf

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

MD5SUM BENCH= 55b0e04e9e653549cf2eabcc194b78ff
RANDOM SEED=1301212886

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:      29746196 kB
Buffers:        792884 kB
Cached:        1913788 kB
SwapCached:          0 kB
Active:         169852 kB
Inactive:      2610156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29746196 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12572 kB
Writeback:           0 kB
AnonPages:       73168 kB
Mapped:          14824 kB
Slab:           362236 kB
PageTables:       4480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   280904 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= 72728 MiB
End job on node115 at 2011-04-29 18:36:02