Trace number 3368768

Some explanations

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

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

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

Solver answer on this benchmark

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

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.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-3368768-1305402616.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.11	c calculated reachability. Time: 0.00
0.00/0.11	c Calc default polars -  time:   0.00 s pos:      80 undec:       5 neg:      65
0.00/0.11	c =========================================================================================
0.00/0.11	c types(t): F = full restart, N = normal restart
0.00/0.11	c types(t): S = simplification begin/end, E = solution found
0.00/0.11	c restart types(rt): st = static, dy = dynamic
0.00/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.11	c  B st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.00/0.11	c Decided on static restart strategy
0.77/0.21	c  N st     8      4919       150      3195         0      4713     15975    142071   no data   no data  --
1.17/0.37	c  N st    10     11301       150      3195         0      4351     15975     99791   no data   no data  --
1.96/0.59	c  N st    11     17044       150      3195         0      9851     15975    271915   no data   no data  --
3.56/0.93	c  F st    12     25000       150      3195         0     12009     15975    319109   no data   no data  --
3.56/0.93	c  N st    12     25000       150      3195         0     12009     15975    319109   no data   no data  --
4.39/1.14	c Decided on static restart strategy
4.39/1.14	c  N st    18     30001       150      3195         0     10300     15975    260687   no data   no data  --
4.39/1.14	c  S st    18     30001       150      3195         0     10300     15975    260687   no data   no data  --
4.39/1.18	c  S st    18     30504       150      3195         0     10792     15975    275714   no data   no data  --
4.39/1.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.39/1.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.39/1.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.39/1.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.96/2.08	c lits-rem:      2841  cl-subs:     1162  v-elim:      0  v-fix:    0  time:  3.57 s
8.36/2.13	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.19
8.36/2.13	c calculated reachability. Time: 0.00
8.36/2.13	c  N st    18     30504       150      3195         0      9630     15975    234434   no data   no data  --
9.94/2.50	c  N st    20     37616       150      3195         0      8891     15975    195905   no data   no data  --
11.14/2.84	c  N st    21     44016       150      3195         0     14978     15975    379401   no data   no data  --
11.54/2.95	c  S st    22     45758       150      3195         0     16614     15975    429407   no data   no data  --
11.94/3.00	c  S st    22     46268       150      3195         0      8614     15975    167868   no data   no data  --
11.94/3.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.94/3.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.94/3.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
11.94/3.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.94/3.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.94/3.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
11.94/3.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.16/3.32	c lits-rem:       312  cl-subs:      172  v-elim:      0  v-fix:    0  time:  1.22 s
13.16/3.32	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
13.16/3.32	c vivif2 --  cl tried     8442 cl shrink        0 lits rem          0 time: 0.00
13.16/3.36	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
13.16/3.36	c calculated reachability. Time: 0.00
13.16/3.36	c  N st    22     46268       150      3195         0      8442     15975    162206   no data   no data  --
16.72/4.26	c  N st    23     60667       150      3195         0     12652     15975    275118   no data   no data  --
19.12/4.83	c  N st    24     69402       150      3195         0     10513     15975    193947   no data   no data  --
19.12/4.83	c  S st    24     69402       150      3195         0     10513     15975    193947   no data   no data  --
19.12/4.86	c  S st    24     69903       150      3195         0     11010     15975    208296   no data   no data  --
19.12/4.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.12/4.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.12/4.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
19.12/4.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.12/4.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.12/4.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
19.12/4.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.51/5.51	c lits-rem:       678  cl-subs:      231  v-elim:      0  v-fix:    0  time:  2.54 s
21.51/5.51	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
21.51/5.51	c vivif2 --  cl tried    10779 cl shrink        0 lits rem          0 time: 0.01
21.94/5.56	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.22
21.94/5.56	c calculated reachability. Time: 0.00
21.94/5.56	c  N st    24     69903       150      3195         0     10779     15975    200062   no data   no data  --
26.33/6.70	c  F st    25     87501       150      3195         0     16104     15975    347589   no data   no data  --
26.33/6.70	c  N st    25     87501       150      3195         0     16104     15975    347589   no data   no data  --
27.89/7.02	c Decided on static restart strategy
28.69/7.25	c  N st    32     95540       150      3195         0     23753     15975    574709   no data   no data  --
31.13/7.82	c  N st    34    104854       150      3195         0     20262     15975    468276   no data   no data  --
31.13/7.82	c  S st    34    104854       150      3195         0     20262     15975    468276   no data   no data  --
31.13/7.87	c  S st    34    105358       150      3195         0     20756     15975    482984   no data   no data  --
31.13/7.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.13/7.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.13/7.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
31.13/7.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
31.13/7.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.13/7.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
31.13/7.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.47/9.48	c lits-rem:      3394  cl-subs:     1567  v-elim:      0  v-fix:    0  time:  6.30 s
37.47/9.48	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
37.47/9.48	c vivif2 --  cl tried    19189 cl shrink        0 lits rem          0 time: 0.02
38.27/9.60	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.47
38.27/9.60	c calculated reachability. Time: 0.00
38.27/9.60	c  N st    34    105358       150      3195         0     19189     15975    426983   no data   no data  --
40.65/10.28	c  N st    35    114956       150      3195         0     15044     15975    295527   no data   no data  --
45.45/11.43	c  N st    36    129353       150      3195         0     14480     15975    252595   no data   no data  --
51.83/13.03	c  N st    37    150948       150      3195         0     19762     15975    394418   no data   no data  --
53.81/13.54	c  S st    38    158037       150      3195         0     26502     15975    606678   no data   no data  --
54.21/13.61	c  S st    38    158539       150      3195         0     26998     15975    620829   no data   no data  --
54.21/13.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
54.21/13.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.21/13.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
54.21/13.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.21/13.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.21/13.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
54.21/13.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
61.43/15.46	c lits-rem:      6079  cl-subs:     1807  v-elim:      0  v-fix:    0  time:  7.27 s
61.43/15.46	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
61.43/15.47	c vivif2 --  cl tried    25191 cl shrink        0 lits rem          0 time: 0.02
61.84/15.59	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.48
61.84/15.59	c calculated reachability. Time: 0.00
61.84/15.59	c  N st    38    158539       150      3195         0     25191     15975    553903   no data   no data  --
79.75/20.06	c  N st    39    207127       150      3195         0     20032     15975    348973   no data   no data  --
92.15/23.15	c  N st    40    237810       150      3195         0     30093     15975    641727   no data   no data  --
92.15/23.15	c  S st    40    237810       150      3195         0     30093     15975    641727   no data   no data  --
92.56/23.23	c  S st    40    238317       150      3195         0     30589     15975    656353   no data   no data  --
92.56/23.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
92.56/23.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.56/23.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
92.56/23.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.56/23.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.56/23.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
92.56/23.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.69/25.58	c lits-rem:      3935  cl-subs:     2377  v-elim:      0  v-fix:    0  time:  9.26 s
101.69/25.58	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
101.69/25.59	c vivif2 --  cl tried    28212 cl shrink        0 lits rem          0 time: 0.03
102.49/25.74	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.60
102.49/25.74	c calculated reachability. Time: 0.00
102.49/25.74	c  N st    40    238317       150      3195         0     28212     15975    581731   no data   no data  --
130.02/32.68	c  F st    41    306250       150      3195         0     30290     15975    597186   no data   no data  --
130.02/32.68	c  N st    41    306250       150      3195         0     30290     15975    597186   no data   no data  --
132.05/33.18	c Decided on static restart strategy
141.58/35.58	c  N st    51    334557       150      3195         0     34426     15975    689087   no data   no data  --
151.55/38.07	c  N st    53    357475       150      3195         0     32446     15975    624364   no data   no data  --
151.55/38.07	c  S st    53    357475       150      3195         0     32446     15975    624364   no data   no data  --
151.95/38.15	c  S st    53    357981       150      3195         0     32942     15975    639020   no data   no data  --
151.95/38.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
151.95/38.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.95/38.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
151.95/38.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.95/38.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.95/38.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
151.95/38.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.32/40.24	c lits-rem:      2822  cl-subs:     1278  v-elim:      0  v-fix:    0  time:  8.19 s
160.32/40.24	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
160.32/40.24	c vivif2 --  cl tried    31664 cl shrink        0 lits rem          0 time: 0.03
161.12/40.42	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.70
161.12/40.42	c calculated reachability. Time: 0.00
161.12/40.42	c  N st    53    357981       150      3195         0     31664     15975    593748   no data   no data  --
179.48/45.08	c  N st    54    390373       150      3195         0     37601     15975    745487   no data   no data  --
203.00/50.93	c  N st    55    438961       150      3195         0     31652     15975    551651   no data   no data  --
236.11/59.28	c  N st    56    511843       150      3195         0     44625     15975    920359   no data   no data  --
249.68/62.64	c  N st    57    536972       150      3195         0     39065     15975    713807   no data   no data  --
249.68/62.64	c  S st    57    536972       150      3195         0     39065     15975    713807   no data   no data  --
250.10/62.73	c  S st    57    537477       150      3195         0     39559     15975    728379   no data   no data  --
250.10/62.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
250.10/62.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.10/62.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
250.10/62.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
250.10/62.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.10/62.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
250.10/62.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
259.29/65.07	c lits-rem:      3525  cl-subs:     1977  v-elim:      0  v-fix:    0  time:  9.18 s
259.29/65.07	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
259.29/65.08	c vivif2 --  cl tried    37582 cl shrink        0 lits rem          0 time: 0.03
260.05/65.29	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.83
260.05/65.29	c calculated reachability. Time: 0.00
260.05/65.29	c  N st    57    537477       150      3195         0     37582     15975    663833   no data   no data  --
351.79/88.27	c  N st    58    701461       150      3195         0     65649     15975   1451698   no data   no data  --
421.23/105.64	c  N st    59    806217       150      3195         0     59958     15975   1217481   no data   no data  --
421.23/105.64	c  S st    59    806217       150      3195         0     59958     15975   1217481   no data   no data  --
421.64/105.80	c  S st    59    806721       150      3195         0     60454     15975   1231714   no data   no data  --
422.00/105.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
422.00/105.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
422.00/105.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
422.00/105.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
422.00/105.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
422.00/105.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
422.00/105.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
452.35/113.45	c lits-rem:       637  cl-subs:     4928  v-elim:      0  v-fix:    0  time: 30.22 s
452.35/113.45	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
452.35/113.46	c vivif2 --  cl tried    55526 cl shrink        0 lits rem          0 time: 0.06
453.90/113.82	c asymm  cl-useful: 0/2600/3195 lits-rem:0 time: 1.45
453.90/113.82	c calculated reachability. Time: 0.00
453.90/113.82	c  N st    59    806721       150      3195         0     55526     15975   1090147   no data   no data  --
630.22/158.03	c  F st    60   1071875       150      3195         0     70852     15975   1499600   no data   no data  --
630.22/158.03	c  N st    60   1071875       150      3195         0     70852     15975   1499600   no data   no data  --
634.60/159.18	c Decided on static restart strategy
651.36/163.36	c  N st    70   1100177       150      3195         0     55309     15975    949410   no data   no data  --
679.69/170.46	c  N st    72   1136171       150      3195         0     45912     15975    654649   no data   no data  --
703.61/176.41	c  N st    73   1168567       150      3195         0     76481     15975   1581327   no data   no data  --
735.11/184.37	c  N st    74   1210082       150      3195         0     71313     15975   1406404   no data   no data  --
735.11/184.37	c  S st    74   1210082       150      3195         0     71313     15975   1406404   no data   no data  --
736.31/184.65	c  S st    74   1210589       150      3195         0     71807     15975   1421190   no data   no data  --
736.31/184.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
736.31/184.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
736.71/184.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
736.71/184.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
736.71/184.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
736.71/184.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
736.71/184.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
804.11/201.68	c lits-rem:      1417  cl-subs:     5347  v-elim:      0  v-fix:    0  time: 67.50 s
804.11/201.68	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
804.51/201.70	c vivif2 --  cl tried    66460 cl shrink        0 lits rem          0 time: 0.06
804.91/201.84	c asymm  cl-useful: 0/595/3195 lits-rem:0 time: 0.54
804.91/201.84	c calculated reachability. Time: 0.00
804.91/201.84	c  N st    74   1210589       150      3195         0     66460     15975   1257916   no data   no data  --
865.14/216.97	c  N st    75   1283472       150      3195         0     89960     15975   1945261   no data   no data  --
976.41/244.89	c  N st    76   1392795       150      3195         0     51867     15975    739233   no data   no data  --
1107.65/277.76	c  N st    77   1556780       150      3195         0     56474     15975    837656   no data   no data  --
1243.68/311.84	c  N st    78   1710589       150      3195         0     96681     15975   2086098   no data   no data  --
1243.68/311.84	c  S st    78   1710589       150      3195         0     96681     15975   2086098   no data   no data  --
1244.88/312.13	c  S st    78   1711094       150      3195         0     97173     15975   2101212   no data   no data  --
1244.88/312.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1244.88/312.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1244.88/312.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1245.28/312.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1245.28/312.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1245.28/312.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1245.28/312.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1365.32/342.38	c lits-rem:      3950  cl-subs:     8751  v-elim:      0  v-fix:    0  time: 120.07 s
1365.32/342.38	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1365.72/342.40	c vivif2 --  cl tried    88422 cl shrink        0 lits rem          0 time: 0.09
1366.92/342.74	c asymm  cl-useful: 0/1711/3195 lits-rem:0 time: 1.34
1366.92/342.74	c calculated reachability. Time: 0.00
1366.92/342.74	c  N st    78   1711094       150      3195         0     88422     15975   1824043   no data   no data  --
1751.85/439.22	c  N st    79   2080061       150      3195         0    100054     15975   2050154   no data   no data  --
1880.69/471.59	c  N st    80   2211096       150      3195         0    103981     15975   2117741   no data   no data  --
1880.69/471.59	c  S st    80   2211096       150      3195         0    103981     15975   2117741   no data   no data  --
1882.32/471.93	c  S st    80   2211598       150      3195         0    104472     15975   2132747   no data   no data  --
1882.32/471.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1882.32/471.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1882.32/471.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
1882.73/472.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1882.73/472.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1882.73/472.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1882.73/472.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2001.93/501.96	c lits-rem:      2370  cl-subs:     9031  v-elim:      0  v-fix:    0  time: 119.27 s
2001.93/501.96	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2001.93/501.99	c vivif2 --  cl tried    95441 cl shrink        0 lits rem          0 time: 0.09
2003.53/502.37	c asymm  cl-useful: 0/1183/3195 lits-rem:0 time: 1.52
2003.53/502.37	c calculated reachability. Time: 0.00
2003.53/502.37	c  N st    80   2211598       150      3195         0     95441     15975   1857898   no data   no data  --
2522.92/632.52	c  N st    81   2711598       150      3195         0    118362     15975   2473238   no data   no data  --
2522.92/632.52	c  S st    81   2711598       150      3195         0    118362     15975   2473238   no data   no data  --
2524.48/632.90	c  S st    81   2712101       150      3195         0    118857     15975   2488752   no data   no data  --
2524.48/632.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2524.48/632.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2524.48/632.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2524.88/633.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2524.88/633.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2524.88/633.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2524.88/633.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2708.32/679.06	c lits-rem:      6537  cl-subs:     9756  v-elim:      0  v-fix:    0  time: 183.39 s
2708.32/679.06	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2708.32/679.09	c vivif2 --  cl tried   109101 cl shrink        0 lits rem          0 time: 0.11
2709.93/679.47	c asymm  cl-useful: 0/1269/3195 lits-rem:0 time: 1.51
2709.93/679.47	c calculated reachability. Time: 0.00
2709.93/679.47	c  N st    81   2712101       150      3195         0    109101     15975   2185406   no data   no data  --
3341.72/837.89	c  N st    82   3212102       150      3195         0     85952     15975   1300107   no data   no data  --
3341.72/837.89	c  S st    82   3212102       150      3195         0     85952     15975   1300107   no data   no data  --
3342.92/838.18	c  S st    82   3212608       150      3195         0     86443     15975   1314758   no data   no data  --
3342.92/838.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3342.92/838.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3343.34/838.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
3343.34/838.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3343.34/838.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3343.34/838.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3343.34/838.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3375.22/846.23	c lits-rem:       954  cl-subs:     2943  v-elim:      0  v-fix:    0  time: 31.75 s
3375.22/846.23	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3375.22/846.25	c vivif2 --  cl tried    83500 cl shrink        0 lits rem          0 time: 0.06
3376.42/846.59	c asymm  cl-useful: 0/1361/3195 lits-rem:0 time: 1.38
3376.82/846.60	c calculated reachability. Time: 0.00
3376.82/846.60	c  N st    82   3212608       150      3195         0     83500     15975   1231965   no data   no data  --
4021.80/1008.34	c  N st    83   3712609       150      3195         0     93860     15975   1433547   no data   no data  --
4021.80/1008.34	c  S st    83   3712609       150      3195         0     93860     15975   1433547   no data   no data  --
4023.00/1008.64	c  S st    83   3713112       150      3195         0     94347     15975   1448639   no data   no data  --
4023.00/1008.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4023.00/1008.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4023.00/1008.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
4023.43/1008.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4023.43/1008.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4023.43/1008.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4023.43/1008.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4060.89/1018.20	c lits-rem:       901  cl-subs:     3573  v-elim:      0  v-fix:    0  time: 37.72 s
4061.28/1018.20	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
4061.28/1018.21	c vivif2 --  cl tried    90774 cl shrink        0 lits rem          0 time: 0.07
4061.68/1018.37	c asymm  cl-useful: 0/565/3195 lits-rem:0 time: 0.64
4061.68/1018.38	c calculated reachability. Time: 0.00
4061.68/1018.38	c  N st    83   3713112       150      3195         0     90774     15975   1345980   no data   no data  --
4119.51/1032.81	c  F st    84   3751563       150      3195         0    127171     15975   2490675   no data   no data  --
4119.51/1032.82	c  N st    84   3751563       150      3195         0    127171     15975   2490675   no data   no data  --
4129.87/1035.43	c Decided on static restart strategy
4180.54/1048.12	c  N st    94   3779873       150      3195         0    153979     15975   3303331   no data   no data  --
4233.20/1061.38	c  N st    96   3815868       150      3195         0    108255     15975   1866972   no data   no data  --
4280.67/1073.28	c  N st    97   3848262       150      3195         0    138952     15975   2817493   no data   no data  --
4347.69/1090.10	c  N st    98   3896850       150      3195         0    103808     15975   1704284   no data   no data  --
4441.02/1113.42	c  N st    99   3969732       150      3195         0     90534     15975   1279464   no data   no data  --
4571.08/1146.07	c  N st   100   4079058       150      3195         0    110470     15975   1886543   no data   no data  --
4751.79/1191.39	c  N st   101   4213113       150      3195         0    152447     15975   3066914   no data   no data  --
4751.79/1191.39	c  S st   101   4213113       150      3195         0    152447     15975   3066914   no data   no data  --
4754.16/1191.95	c  S st   101   4213614       150      3195         0    152932     15975   3081491   no data   no data  --
4754.16/1191.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4754.16/1191.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4754.56/1192.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.35
4754.96/1192.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4754.96/1192.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4754.96/1192.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4754.96/1192.15	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: 961)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.82 8.05 8.01 6/353 21223
/proc/meminfo: memFree=24021732/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=273564 CPUtime=0.01 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 809 0 0 0 1 0 0 0 25 0 4 0 651858290 280129536 726 33554432000 4194304 4650419 140735163530960 18446744073709551615 254500716439 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 68391 726 359 112 0 63356 0
[pid=21223/tid=21224] ppid=21221 vsize=273564 CPUtime=0 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 121 0 0 0 0 0 0 0 25 0 4 0 651858290 280129536 734 33554432000 4194304 4650419 140735163530960 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=273564 CPUtime=0 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 129 0 0 0 0 0 0 0 25 0 4 0 651858290 280129536 734 33554432000 4194304 4650419 140735163530960 18446744073709551615 4371123 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=273564 CPUtime=0 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 30 0 0 0 0 0 0 0 25 0 4 0 651858290 280129536 734 33554432000 4194304 4650419 140735163530960 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.114122 s]
/proc/loadavg: 7.82 8.05 8.01 6/353 21223
/proc/meminfo: memFree=24021732/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=282956 CPUtime=0.42 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 2123 0 0 0 42 0 0 0 25 0 4 0 651858290 289746944 1952 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 70739 1952 389 112 0 65704 0
[pid=21223/tid=21224] ppid=21221 vsize=282956 CPUtime=0.11 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 460 0 0 0 11 0 0 0 25 0 4 0 651858290 289746944 1952 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=282956 CPUtime=0.1 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 481 0 0 0 10 0 0 0 25 0 4 0 651858290 289746944 1952 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=282956 CPUtime=0.09 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 307 0 0 0 9 0 0 0 25 0 4 0 651858290 289746944 1952 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282956

[startup+0.201046 s]
/proc/loadavg: 7.82 8.05 8.01 6/353 21223
/proc/meminfo: memFree=24021732/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=284436 CPUtime=0.77 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 2990 0 0 0 77 0 0 0 25 0 4 0 651858290 291262464 2092 33554432000 4194304 4650419 140735163530960 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 71109 2092 391 112 0 66074 0
[pid=21223/tid=21224] ppid=21221 vsize=284436 CPUtime=0.19 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 682 0 0 0 19 0 0 0 25 0 4 0 651858290 291262464 2092 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=284436 CPUtime=0.19 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 696 0 0 0 19 0 0 0 25 0 4 0 651858290 291262464 2092 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=284436 CPUtime=0.18 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 521 0 0 0 18 0 0 0 25 0 4 0 651858290 291262464 2092 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284436

[startup+0.301025 s]
/proc/loadavg: 7.82 8.05 8.01 6/353 21223
/proc/meminfo: memFree=24021732/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=284436 CPUtime=1.17 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 3431 0 0 0 117 0 0 0 25 0 4 0 651858290 291262464 2533 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 71109 2533 391 112 0 66074 0
[pid=21223/tid=21224] ppid=21221 vsize=284436 CPUtime=0.29 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 790 0 0 0 29 0 0 0 25 0 4 0 651858290 291262464 2533 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=284436 CPUtime=0.29 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 801 0 0 0 29 0 0 0 25 0 4 0 651858290 291262464 2533 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=284436 CPUtime=0.28 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 637 0 0 0 28 0 0 0 25 0 4 0 651858290 291262464 2533 33554432000 4194304 4650419 140735163530960 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284436

[startup+0.700947 s]
/proc/loadavg: 7.82 8.05 8.01 6/353 21223
/proc/meminfo: memFree=24021732/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=286504 CPUtime=2.76 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 6292 0 0 0 276 0 0 0 25 0 4 0 651858290 293380096 2944 33554432000 4194304 4650419 140735163530960 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 71626 2944 391 112 0 66591 0
[pid=21223/tid=21224] ppid=21221 vsize=286504 CPUtime=0.69 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 1504 0 0 0 69 0 0 0 25 0 4 0 651858290 293380096 2944 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=286504 CPUtime=0.69 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 1552 0 0 0 69 0 0 0 25 0 4 0 651858290 293380096 2944 33554432000 4194304 4650419 140735163530960 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=286504 CPUtime=0.68 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 1300 0 0 0 68 0 0 0 25 0 4 0 651858290 293380096 2944 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 286504

[startup+1.50079 s]
/proc/loadavg: 7.83 8.04 8.01 9/357 21227
/proc/meminfo: memFree=24012028/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=278540 CPUtime=5.96 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 12645 0 0 0 595 1 0 0 25 0 4 0 651858290 285224960 6770 33554432000 4194304 4650419 140735163530960 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 69635 6770 393 112 0 64600 0
[pid=21223/tid=21224] ppid=21221 vsize=278540 CPUtime=1.49 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 3788 0 0 0 149 0 0 0 25 0 4 0 651858290 285224960 6770 33554432000 4194304 4650419 140735163530960 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=278540 CPUtime=1.49 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 2560 0 0 0 149 0 0 0 25 0 4 0 651858290 285224960 6770 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=278540 CPUtime=1.47 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 2220 0 0 0 147 0 0 0 25 0 4 0 651858290 285224960 6770 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 278540

[startup+3.10047 s]
/proc/loadavg: 7.83 8.04 8.01 9/357 21227
/proc/meminfo: memFree=23990020/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=288424 CPUtime=12.34 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 19443 0 0 0 1232 2 0 0 25 0 4 0 651858290 295346176 11378 33554432000 4194304 4650419 140735163530960 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 72106 11378 393 112 0 67071 0
[pid=21223/tid=21224] ppid=21221 vsize=288424 CPUtime=3.09 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 4595 0 0 0 309 0 0 0 25 0 4 0 651858290 295346176 11378 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=288424 CPUtime=3.08 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 5100 0 0 0 308 0 0 0 25 0 4 0 651858290 295346176 11378 33554432000 4194304 4650419 140735163530960 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=288424 CPUtime=3.05 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 4563 0 0 0 305 0 0 0 25 0 4 0 651858290 295346176 11378 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 288424

[startup+6.30083 s]
/proc/loadavg: 7.85 8.04 8.01 9/357 21227
/proc/meminfo: memFree=23965468/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=289292 CPUtime=25.11 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 28358 0 0 0 2506 5 0 0 25 0 4 0 651858290 296235008 13931 33554432000 4194304 4650419 140735163530960 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 72323 13931 393 112 0 67288 0
[pid=21223/tid=21224] ppid=21221 vsize=289292 CPUtime=6.29 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 7756 0 0 0 628 1 0 0 25 0 4 0 651858290 296235008 13932 33554432000 4194304 4650419 140735163530960 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=289292 CPUtime=6.29 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 7546 0 0 0 628 1 0 0 25 0 4 0 651858290 296235008 13932 33554432000 4194304 4650419 140735163530960 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=289292 CPUtime=6.21 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 5853 0 0 0 621 0 0 0 25 0 4 0 651858290 296235008 13932 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 289292

[startup+12.7006 s]
/proc/loadavg: 7.86 8.04 8.01 9/357 21227
/proc/meminfo: memFree=23926264/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=304836 CPUtime=50.63 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 45941 0 0 0 5054 9 0 0 25 0 4 0 651858290 312152064 21687 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 76209 21687 393 112 0 71174 0
[pid=21223/tid=21224] ppid=21221 vsize=304836 CPUtime=12.68 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 12631 0 0 0 1266 2 0 0 25 0 4 0 651858290 312152064 21687 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=304836 CPUtime=12.69 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 11925 0 0 0 1267 2 0 0 25 0 4 0 651858290 312152064 21687 33554432000 4194304 4650419 140735163530960 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=304836 CPUtime=12.54 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 9088 0 0 0 1253 1 0 0 25 0 4 0 651858290 312152064 21687 33554432000 4194304 4650419 140735163530960 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 304836

[startup+25.501 s]
/proc/loadavg: 7.89 8.04 8.01 9/357 21227
/proc/meminfo: memFree=23875540/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=305920 CPUtime=101.69 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 72006 0 0 0 10152 17 0 0 25 0 4 0 651858290 313262080 28935 33554432000 4194304 4650419 140735163530960 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 76480 28935 393 112 0 71445 0
[pid=21223/tid=21224] ppid=21221 vsize=305920 CPUtime=25.48 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 20591 0 0 0 2544 4 0 0 25 0 4 0 651858290 313262080 28935 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=305920 CPUtime=25.48 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 18611 0 0 0 2545 3 0 0 25 0 4 0 651858290 313262080 28935 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=305920 CPUtime=25.19 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 12735 0 0 0 2516 3 0 0 25 0 4 0 651858290 313262080 28935 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 305920

[startup+51.1009 s]
/proc/loadavg: 7.99 8.05 8.01 9/357 21228
/proc/meminfo: memFree=23847216/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=314500 CPUtime=203.8 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 108282 0 0 0 20354 26 0 0 25 0 4 0 651858290 322048000 36546 33554432000 4194304 4650419 140735163530960 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 78625 36546 393 112 0 73590 0
[pid=21223/tid=21224] ppid=21221 vsize=314500 CPUtime=51.09 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 32552 0 0 0 5102 7 0 0 25 0 4 0 651858290 322048000 36546 33554432000 4194304 4650419 140735163530960 18446744073709551615 4310752 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=314500 CPUtime=51.09 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 29335 0 0 0 5103 6 0 0 25 0 4 0 651858290 322048000 36546 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=314500 CPUtime=50.52 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 17372 0 0 0 5047 5 0 0 25 0 4 0 651858290 322048000 36546 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 314500

[startup+102.301 s]
/proc/loadavg: 8.11 8.07 8.02 9/357 21230
/proc/meminfo: memFree=23756628/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=316788 CPUtime=408.06 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 169084 0 0 0 40760 46 0 0 25 0 4 0 651858290 324390912 45597 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 79197 45597 393 112 0 74162 0
[pid=21223/tid=21224] ppid=21221 vsize=316788 CPUtime=102.3 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 50884 0 0 0 10218 12 0 0 25 0 4 0 651858290 324390912 45600 33554432000 4194304 4650419 140735163530960 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=316788 CPUtime=102.3 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 46634 0 0 0 10217 13 0 0 25 0 4 0 651858290 324390912 45600 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=316788 CPUtime=101.17 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 27084 0 0 0 10109 8 0 0 25 0 4 0 651858290 324390912 45600 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 316788

[startup+162.301 s]

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

[pid=21223] ppid=21221 vsize=709176 CPUtime=2801.27 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 512739 0 0 0 279946 181 0 0 25 0 4 0 651858290 726196224 105380 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 177294 105380 393 112 0 172259 0
[pid=21223/tid=21224] ppid=21221 vsize=709176 CPUtime=702.29 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 163119 0 0 0 70174 55 0 0 25 0 4 0 651858290 726196224 105380 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=709176 CPUtime=702.31 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 133483 0 0 0 70188 43 0 0 25 0 4 0 651858290 726196224 105380 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=709176 CPUtime=694.46 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 83476 0 0 0 69414 32 0 0 25 0 4 0 651858290 726196224 105380 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.27
Current children cumulated vsize (KiB) 709176

[startup+762.3 s]
/proc/loadavg: 8.30 8.15 8.06 9/357 21258
/proc/meminfo: memFree=23227080/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=655212 CPUtime=3040.62 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 546321 0 0 0 303867 195 0 0 25 0 4 0 651858290 670937088 117028 33554432000 4194304 4650419 140735163530960 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 163803 117028 393 112 0 158768 0
[pid=21223/tid=21224] ppid=21221 vsize=655212 CPUtime=762.3 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 176696 0 0 0 76172 58 0 0 25 0 4 0 651858290 670937088 117028 33554432000 4194304 4650419 140735163530960 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=655212 CPUtime=762.33 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 141536 0 0 0 76186 47 0 0 25 0 4 0 651858290 670937088 117028 33554432000 4194304 4650419 140735163530960 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=655212 CPUtime=753.79 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 87734 0 0 0 75345 34 0 0 25 0 4 0 651858290 670937088 117028 33554432000 4194304 4650419 140735163530960 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.62
Current children cumulated vsize (KiB) 655212

[startup+822.3 s]
/proc/loadavg: 8.18 8.13 8.06 9/357 21260
/proc/meminfo: memFree=23231400/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=655440 CPUtime=3279.9 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 569410 0 0 0 327785 205 0 0 25 0 4 0 651858290 671170560 116751 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 163860 116751 393 112 0 158825 0
[pid=21223/tid=21224] ppid=21221 vsize=655440 CPUtime=822.29 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 184492 0 0 0 82169 60 0 0 25 0 4 0 651858290 671170560 116751 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=655440 CPUtime=822.32 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 148804 0 0 0 82180 52 0 0 25 0 4 0 651858290 671170560 116751 33554432000 4194304 4650419 140735163530960 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=655440 CPUtime=813.1 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 89574 0 0 0 81275 35 0 0 25 0 4 0 651858290 671170560 116751 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.9
Current children cumulated vsize (KiB) 655440

[startup+882.314 s]
/proc/loadavg: 8.42 8.19 8.08 9/357 21264
/proc/meminfo: memFree=23212992/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=655644 CPUtime=3519.26 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 592071 0 0 0 351711 215 0 0 25 0 4 0 651858290 671379456 120161 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 163911 120162 393 112 0 158876 0
[pid=21223/tid=21224] ppid=21221 vsize=655644 CPUtime=882.3 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 193593 0 0 0 88166 64 0 0 25 0 4 0 651858290 671379456 120162 33554432000 4194304 4650419 140735163530960 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=655644 CPUtime=882.34 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 153563 0 0 0 88179 55 0 0 25 0 4 0 651858290 671379456 120162 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=655644 CPUtime=872.43 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 94751 0 0 0 87206 37 0 0 25 0 4 0 651858290 671379456 120162 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.26
Current children cumulated vsize (KiB) 655644

[startup+942.301 s]
/proc/loadavg: 8.21 8.17 8.08 9/357 21266
/proc/meminfo: memFree=23208280/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=712032 CPUtime=3758.55 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 619314 0 0 0 375629 226 0 0 25 0 4 0 651858290 729120768 118008 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 178008 118008 393 112 0 172973 0
[pid=21223/tid=21224] ppid=21221 vsize=712032 CPUtime=942.29 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 205582 0 0 0 94162 67 0 0 25 0 4 0 651858290 729120768 118008 33554432000 4194304 4650419 140735163530960 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=712032 CPUtime=942.32 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 161568 0 0 0 94174 58 0 0 25 0 4 0 651858290 729120768 118008 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=712032 CPUtime=931.77 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 97315 0 0 0 93139 38 0 0 25 0 4 0 651858290 729120768 118008 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.55
Current children cumulated vsize (KiB) 712032

[startup+1002.3 s]
/proc/loadavg: 8.19 8.16 8.09 9/357 21267
/proc/meminfo: memFree=23170924/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=711964 CPUtime=3997.86 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 643212 0 0 0 399550 236 0 0 25 0 4 0 651858290 729051136 127357 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 177991 127357 393 112 0 172956 0
[pid=21223/tid=21224] ppid=21221 vsize=711964 CPUtime=1002.29 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 210016 0 0 0 100161 68 0 0 25 0 4 0 651858290 729051136 127357 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=711964 CPUtime=1002.33 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 168842 0 0 0 100171 62 0 0 25 0 4 0 651858290 729051136 127357 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=711964 CPUtime=991.09 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 101973 0 0 0 99068 41 0 0 25 0 4 0 651858290 729051136 127357 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.86
Current children cumulated vsize (KiB) 711964

[startup+1062.3 s]
/proc/loadavg: 8.07 8.13 8.08 9/357 21269
/proc/meminfo: memFree=23132096/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=713056 CPUtime=4237.19 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 664298 0 0 0 423473 246 0 0 25 0 4 0 651858290 730169344 122102 33554432000 4194304 4650419 140735163530960 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 178264 122102 393 112 0 173229 0
[pid=21223/tid=21224] ppid=21221 vsize=713056 CPUtime=1062.29 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 216344 0 0 0 106157 72 0 0 25 0 4 0 651858290 730169344 122102 33554432000 4194304 4650419 140735163530960 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=713056 CPUtime=1062.33 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 175165 0 0 0 106169 64 0 0 25 0 4 0 651858290 730169344 122102 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=713056 CPUtime=1050.41 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 107521 0 0 0 104999 42 0 0 25 0 4 0 651858290 730169344 122102 33554432000 4194304 4650419 140735163530960 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.19
Current children cumulated vsize (KiB) 713056

[startup+1122.3 s]
/proc/loadavg: 8.07 8.12 8.08 9/357 21271
/proc/meminfo: memFree=23155516/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=648852 CPUtime=4476.52 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 689133 0 0 0 447395 257 0 0 25 0 4 0 651858290 664424448 120677 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 162213 120677 393 112 0 157178 0
[pid=21223/tid=21224] ppid=21221 vsize=648852 CPUtime=1122.3 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 223038 0 0 0 112154 76 0 0 25 0 4 0 651858290 664424448 120677 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=648852 CPUtime=1122.33 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 183499 0 0 0 112166 67 0 0 25 0 4 0 651858290 664424448 120677 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=648852 CPUtime=1109.76 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 111560 0 0 0 110932 44 0 0 25 0 4 0 651858290 664424448 120677 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.52
Current children cumulated vsize (KiB) 648852

[startup+1182.3 s]
/proc/loadavg: 8.02 8.10 8.07 5/352 21274
/proc/meminfo: memFree=23588292/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=837844 CPUtime=4715.87 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 718298 0 0 0 471319 268 0 0 25 0 4 0 651858290 857952256 138002 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 209461 138002 393 112 0 204426 0
[pid=21223/tid=21224] ppid=21221 vsize=837844 CPUtime=1182.3 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 232283 0 0 0 118151 79 0 0 25 0 4 0 651858290 857952256 138002 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=837844 CPUtime=1182.33 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 190152 0 0 0 118164 69 0 0 25 0 4 0 651858290 857952256 138002 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=837844 CPUtime=1169.11 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 117509 0 0 0 116864 47 0 0 25 0 4 0 651858290 857952256 138002 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.87
Current children cumulated vsize (KiB) 837844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 6.88 7.83 7.99 6/348 21293
/proc/meminfo: memFree=23587044/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=837668 CPUtime=4800.1 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 724810 0 0 0 479738 272 0 0 25 0 4 0 651858290 857772032 140435 33554432000 4194304 4650419 140735163530960 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 209417 140435 393 112 0 204382 0
[pid=21223/tid=21224] ppid=21221 vsize=837668 CPUtime=1203.42 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 233644 0 0 0 120262 80 0 0 25 0 4 0 651858290 857772032 140436 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=837668 CPUtime=1203.46 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 193399 0 0 0 120275 71 0 0 25 0 4 0 651858290 857772032 140436 33554432000 4194304 4650419 140735163530960 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=837668 CPUtime=1189.97 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 118606 0 0 0 118949 48 0 0 25 0 4 0 651858290 857772032 140436 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 837668

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

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

[startup+1203.4 s]
/proc/loadavg: 6.88 7.83 7.99 6/348 21293
/proc/meminfo: memFree=23587044/32950928 swapFree=45937192/67111528
[pid=21223] ppid=21221 vsize=837668 CPUtime=4800.1 cores=0,2,4,6
/proc/21223/stat : 21223 (strangenight1-m) R 21221 21223 20738 0 -1 4202496 724810 0 0 0 479738 272 0 0 25 0 4 0 651858290 857772032 140435 33554432000 4194304 4650419 140735163530960 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21223/statm: 209417 140435 393 112 0 204382 0
[pid=21223/tid=21224] ppid=21221 vsize=837668 CPUtime=1203.42 cores=0,2,4,6
/proc/21223/task/21224/stat : 21224 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 233644 0 0 0 120262 80 0 0 25 0 4 0 651858290 857772032 140436 33554432000 4194304 4650419 140735163530960 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21223/tid=21225] ppid=21221 vsize=837668 CPUtime=1203.46 cores=0,2,4,6
/proc/21223/task/21225/stat : 21225 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 193399 0 0 0 120275 71 0 0 25 0 4 0 651858290 857772032 140436 33554432000 4194304 4650419 140735163530960 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21223/tid=21226] ppid=21221 vsize=837668 CPUtime=1189.97 cores=0,2,4,6
/proc/21223/task/21226/stat : 21226 (strangenight1-m) R 21221 21223 20738 0 -1 4202560 118606 0 0 0 118949 48 0 0 25 0 4 0 651858290 857772032 140436 33554432000 4194304 4650419 140735163530960 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 837668

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.17
CPU user time (s): 4797.42
CPU system time (s): 2.75058
CPU usage (%): 398.865
Max. virtual memory (cumulated for all children) (KiB): 843524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.42
system time used= 2.75058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 724812
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= 240
involuntary context switches= 22556

runsolver used 3.88141 second user time and 9.62354 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-14 21:50:16
IDJOB=3368768
IDBENCH=82777
IDSOLVER=1846
FILE ID=node149/3368768-1305402616
RUNJOBID= node149-1305401388-21068
PBS_JOBID= 13324466
Free space on /tmp= 73568 MiB

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

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

MD5SUM BENCH= 55b0e04e9e653549cf2eabcc194b78ff
RANDOM SEED=756334977

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24021888 kB
Buffers:        307824 kB
Cached:        3868236 kB
SwapCached:      19984 kB
Active:        6428856 kB
Inactive:      2205932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24021888 kB
SwapTotal:    67111528 kB
SwapFree:     45937192 kB
Dirty:           12688 kB
Writeback:          20 kB
AnonPages:     4451200 kB
Mapped:          14660 kB
Slab:           157412 kB
PageTables:      72176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 80454272 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= 73568 MiB
End job on node149 at 2011-05-14 22:10:22