Trace number 3369046

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.1 1203.44

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf
MD5SUMc2b69177f59f5d1d2093247dc6de56f3
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369046-1305410853.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.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.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.01 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:     232 undec:      70 neg:     248
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       531      2333         0         0      7129         0   no data   no data  --
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4919       531      2333         0      4829      7129    116188   no data   no data  --
0.00/0.80	c  N st    10     11302       531      2333         0      4480      7129     80328   no data   no data  --
0.00/0.80	c  N st    11     17045       531      2333         0     10112      7129    220070   no data   no data  --
4.63/1.20	c  F st    12     25000       531      2333         0     12390      7129    278674   no data   no data  --
4.63/1.20	c  N st    12     25000       531      2333         0     12390      7129    278674   no data   no data  --
5.02/1.36	c Decided on static restart strategy
5.02/1.36	c  N st    18     30001       531      2333         0     10682      7129    215883   no data   no data  --
5.02/1.36	c  S st    18     30001       531      2333         0     10682      7129    215883   no data   no data  --
5.42/1.39	c  S st    18     30503       531      2333         0     11182      7129    227515   no data   no data  --
5.42/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.42/1.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.42/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.56/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
5.56/1.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.62	c lits-rem:       135  cl-subs:      438  v-elim:      0  v-fix:    0  time:  0.89 s
6.37/1.63	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.03
6.37/1.63	c calculated reachability. Time: 0.00
6.37/1.63	c  N st    18     30503       531      2333         0     10744      7129    215063   no data   no data  --
7.96/2.06	c  N st    20     37617       531      2333         0      9977      7129    175698   no data   no data  --
9.55/2.49	c  N st    21     44019       531      2333         0     16239      7129    325311   no data   no data  --
10.36/2.61	c  S st    22     45754       531      2333         0      9203      7129    139402   no data   no data  --
10.36/2.64	c  S st    22     46257       531      2333         0      9705      7129    151165   no data   no data  --
10.36/2.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
10.36/2.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
10.36/2.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
10.36/2.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.76/2.75	c lits-rem:        32  cl-subs:       64  v-elim:      0  v-fix:    0  time:  0.41 s
10.76/2.75	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
10.76/2.75	c vivif2 --  cl tried     9641 cl shrink        0 lits rem          0 time: 0.00
10.76/2.76	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.03
10.76/2.76	c calculated reachability. Time: 0.00
10.76/2.76	c  N st    22     46257       531      2333         0      9641      7129    149563   no data   no data  --
14.34/3.68	c  N st    23     60654       531      2333         0     13984      7129    250008   no data   no data  --
17.13/4.35	c  N st    24     69386       531      2333         0     11785      7129    182905   no data   no data  --
17.13/4.35	c  S st    24     69386       531      2333         0     11785      7129    182905   no data   no data  --
17.13/4.38	c  S st    24     69890       531      2333         0     12289      7129    194733   no data   no data  --
17.13/4.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.13/4.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.13/4.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
17.13/4.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.13/4.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.13/4.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
17.13/4.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.93/4.60	c lits-rem:        82  cl-subs:      129  v-elim:      0  v-fix:    0  time:  0.81 s
17.93/4.60	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
18.33/4.60	c vivif2 --  cl tried    12160 cl shrink        0 lits rem          0 time: 0.01
18.33/4.61	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.04
18.33/4.61	c calculated reachability. Time: 0.00
18.33/4.61	c  N st    24     69890       531      2333         0     12160      7129    191250   no data   no data  --
23.52/5.99	c  F st    25     87500       531      2333         0     17629      7129    316649   no data   no data  --
23.52/5.99	c  N st    25     87500       531      2333         0     17629      7129    316649   no data   no data  --
25.16/6.38	c Decided on static restart strategy
26.31/6.68	c  N st    32     95536       531      2333         0     25513      7129    510755   no data   no data  --
29.54/7.43	c  N st    34    104835       531      2333         0     21894      7129    399898   no data   no data  --
29.54/7.43	c  S st    34    104835       531      2333         0     21894      7129    399898   no data   no data  --
29.54/7.48	c  S st    34    105339       531      2333         0     22398      7129    411461   no data   no data  --
29.54/7.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
29.54/7.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
29.54/7.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
29.89/7.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.89/7.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.89/7.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
29.89/7.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.52/8.42	c lits-rem:       164  cl-subs:      834  v-elim:      0  v-fix:    0  time:  3.66 s
33.52/8.43	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
33.52/8.43	c vivif2 --  cl tried    21564 cl shrink        0 lits rem          0 time: 0.02
33.52/8.45	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.07
33.52/8.45	c calculated reachability. Time: 0.00
33.52/8.45	c  N st    34    105339       531      2333         0     21564      7129    388993   no data   no data  --
37.09/9.36	c  N st    35    114941       531      2333         0     17252      7129    260421   no data   no data  --
42.29/10.64	c  N st    36    129339       531      2333         0     16690      7129    232981   no data   no data  --
49.85/12.51	c  N st    37    150934       531      2333         0     22124      7129    348058   no data   no data  --
52.24/13.12	c  S st    38    158009       531      2333         0     29056      7129    516593   no data   no data  --
52.24/13.19	c  S st    38    158511       531      2333         0     29558      7129    528829   no data   no data  --
52.24/13.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
52.24/13.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
52.64/13.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
52.64/13.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
52.64/13.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.64/13.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
52.64/13.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
58.62/14.73	c lits-rem:       505  cl-subs:     1343  v-elim:      0  v-fix:    0  time:  6.02 s
58.62/14.73	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
58.62/14.74	c vivif2 --  cl tried    28215 cl shrink        0 lits rem          0 time: 0.02
58.62/14.76	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.09
58.62/14.76	c calculated reachability. Time: 0.00
58.62/14.76	c  N st    38    158511       531      2333         0     28215      7129    497251   no data   no data  --
78.57/19.77	c  N st    39    207102       531      2333         0     22921      7129    346709   no data   no data  --
92.53/23.23	c  N st    40    237766       531      2333         0     33440      7129    609419   no data   no data  --
92.53/23.23	c  S st    40    237766       531      2333         0     33440      7129    609419   no data   no data  --
92.93/23.32	c  S st    40    238273       531      2333         0     33947      7129    621896   no data   no data  --
92.93/23.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
92.93/23.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.93/23.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
92.93/23.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
92.93/23.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
92.93/23.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
92.93/23.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
100.50/25.25	c lits-rem:       547  cl-subs:     1431  v-elim:      0  v-fix:    0  time:  7.58 s
100.50/25.25	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
100.50/25.26	c vivif2 --  cl tried    32516 cl shrink        0 lits rem          0 time: 0.02
100.50/25.29	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.10
100.50/25.29	c calculated reachability. Time: 0.00
100.50/25.29	c  N st    40    238273       531      2333         0     32516      7129    582184   no data   no data  --
131.22/32.98	c  F st    41    306251       531      2333         0     34283      7129    551600   no data   no data  --
131.22/32.98	c  N st    41    306251       531      2333         0     34283      7129    551600   no data   no data  --
134.02/33.70	c Decided on static restart strategy
145.58/36.50	c  N st    51    334559       531      2333         0     38533      7129    622223   no data   no data  --
155.96/39.16	c  N st    53    357410       531      2333         0     36549      7129    578029   no data   no data  --
155.96/39.16	c  S st    53    357410       531      2333         0     36549      7129    578029   no data   no data  --
156.38/39.25	c  S st    53    357913       531      2333         0     37052      7129    589960   no data   no data  --
156.38/39.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
156.38/39.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
156.38/39.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
156.38/39.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
156.38/39.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
156.38/39.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
156.38/39.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
163.53/41.00	c lits-rem:       670  cl-subs:     1013  v-elim:      0  v-fix:    0  time:  6.82 s
163.53/41.00	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
163.53/41.00	c vivif2 --  cl tried    36039 cl shrink        0 lits rem          0 time: 0.03
163.53/41.03	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.12
163.53/41.03	c calculated reachability. Time: 0.00
163.53/41.03	c  N st    53    357913       531      2333         0     36039      7129    564412   no data   no data  --
178.32/44.81	c  N st    54    390305       531      2333         0     42302      7129    705546   no data   no data  --
205.41/51.60	c  N st    55    438893       531      2333         0     36092      7129    516987   no data   no data  --
245.31/61.52	c  N st    56    511775       531      2333         0     49342      7129    794571   no data   no data  --
260.07/65.29	c  N st    57    536870       531      2333         0     43626      7129    647101   no data   no data  --
260.07/65.29	c  S st    57    536870       531      2333         0     43626      7129    647101   no data   no data  --
260.87/65.41	c  S st    57    537377       531      2333         0     44133      7129    658996   no data   no data  --
260.87/65.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
260.87/65.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
260.87/65.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
260.87/65.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.87/65.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.87/65.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
260.87/65.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
269.25/67.55	c lits-rem:       717  cl-subs:     2307  v-elim:      0  v-fix:    0  time:  8.40 s
269.25/67.55	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
269.25/67.56	c vivif2 --  cl tried    41826 cl shrink        0 lits rem          0 time: 0.03
269.65/67.60	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.16
269.65/67.60	c calculated reachability. Time: 0.00
269.65/67.60	c  N st    57    537377       531      2333         0     41826      7129    609335   no data   no data  --
372.17/93.30	c  N st    58    701361       531      2333         0     36043      7129    383386   no data   no data  --
446.00/111.81	c  N st    59    806065       531      2333         0     65240      7129   1123033   no data   no data  --
446.00/111.81	c  S st    59    806065       531      2333         0     65240      7129   1123033   no data   no data  --
446.76/112.04	c  S st    59    806574       531      2333         0     65749      7129   1135730   no data   no data  --
446.76/112.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
446.76/112.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
446.76/112.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
447.16/112.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
447.16/112.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
447.16/112.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
447.16/112.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
460.31/115.41	c lits-rem:       317  cl-subs:     3601  v-elim:      0  v-fix:    0  time: 13.18 s
460.31/115.41	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
460.31/115.43	c vivif2 --  cl tried    62148 cl shrink        0 lits rem          0 time: 0.05
460.71/115.50	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.30
460.71/115.51	c calculated reachability. Time: 0.00
460.71/115.51	c  N st    59    806574       531      2333         0     62148      7129   1049060   no data   no data  --
658.57/165.12	c  F st    60   1071875       531      2333         0     77732      7129   1355407   no data   no data  --
658.57/165.12	c  N st    60   1071875       531      2333         0     77732      7129   1355407   no data   no data  --
663.77/166.42	c Decided on static restart strategy
680.52/170.66	c  N st    70   1100179       531      2333         0     61587      7129    879227   no data   no data  --
710.83/178.21	c  N st    72   1136172       531      2333         0     51891      7129    627451   no data   no data  --
742.34/186.17	c  N st    73   1168567       531      2333         0     83584      7129   1429295   no data   no data  --
775.85/194.59	c  N st    74   1209861       531      2333         0     78200      7129   1264345   no data   no data  --
775.85/194.59	c  S st    74   1209861       531      2333         0     78200      7129   1264345   no data   no data  --
777.05/194.85	c  S st    74   1210363       531      2333         0     78700      7129   1276879   no data   no data  --
777.05/194.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
777.05/194.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
777.45/194.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
777.45/194.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
777.45/194.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
777.45/194.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
777.45/194.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
791.81/198.57	c lits-rem:       410  cl-subs:     3950  v-elim:      0  v-fix:    0  time: 14.45 s
791.81/198.57	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
791.81/198.58	c vivif2 --  cl tried    74750 cl shrink        0 lits rem          0 time: 0.06
792.21/198.68	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.38
792.21/198.68	c calculated reachability. Time: 0.00
792.21/198.68	c  N st    74   1210363       531      2333         0     74750      7129   1190471   no data   no data  --
863.26/216.43	c  N st    75   1283245       531      2333         0     51159      7129    554790   no data   no data  --
965.32/242.05	c  N st    76   1392568       531      2333         0     59451      7129    732782   no data   no data  --
1112.94/279.04	c  N st    77   1556553       531      2333         0     63942      7129    797493   no data   no data  --
1261.68/316.38	c  N st    78   1710366       531      2333         0    105804      7129   1861850   no data   no data  --
1261.68/316.38	c  S st    78   1710366       531      2333         0    105804      7129   1861850   no data   no data  --
1263.27/316.78	c  S st    78   1710871       531      2333         0    106309      7129   1875375   no data   no data  --
1263.27/316.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1263.27/316.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1263.67/316.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
1264.07/316.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1264.07/316.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1264.07/316.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
1264.07/316.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1316.72/330.12	c lits-rem:       186  cl-subs:     7514  v-elim:      0  v-fix:    0  time: 52.67 s
1316.72/330.12	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
1316.72/330.14	c vivif2 --  cl tried    98795 cl shrink        0 lits rem          0 time: 0.08
1317.12/330.29	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.60
1317.12/330.29	c calculated reachability. Time: 0.00
1317.12/330.29	c  N st    78   1710871       531      2333         0     98795      7129   1698766   no data   no data  --
1697.25/425.54	c  N st    79   2079835       531      2333         0    110253      7129   1872569   no data   no data  --
1847.23/463.17	c  N st    80   2210871       531      2333         0    114271      7129   1929045   no data   no data  --
1847.23/463.17	c  S st    80   2210871       531      2333         0    114271      7129   1929045   no data   no data  --
1848.83/463.54	c  S st    80   2211372       531      2333         0    114771      7129   1941162   no data   no data  --
1848.83/463.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1848.83/463.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1849.23/463.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.23
1849.23/463.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1849.23/463.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1849.23/463.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
1849.23/463.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1899.87/476.32	c lits-rem:       492  cl-subs:     7601  v-elim:      0  v-fix:    0  time: 50.44 s
1899.87/476.32	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
1899.87/476.34	c vivif2 --  cl tried   107170 cl shrink        0 lits rem          0 time: 0.09
1900.67/476.51	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.66
1900.67/476.51	c calculated reachability. Time: 0.00
1900.67/476.51	c  N st    80   2211372       531      2333         0    107170      7129   1772024   no data   no data  --
2480.25/621.81	c  N st    81   2711372       531      2333         0    131909      7129   2342679   no data   no data  --
2480.25/621.81	c  S st    81   2711372       531      2333         0    131909      7129   2342679   no data   no data  --
2481.87/622.27	c  S st    81   2711876       531      2333         0    132410      7129   2354911   no data   no data  --
2481.87/622.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2481.87/622.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2482.29/622.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.28
2482.63/622.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2482.63/622.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2482.63/622.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
2482.63/622.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2551.24/639.65	c lits-rem:       516  cl-subs:     6614  v-elim:      0  v-fix:    0  time: 68.65 s
2551.24/639.65	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
2551.24/639.68	c vivif2 --  cl tried   125796 cl shrink        0 lits rem          0 time: 0.11
2552.06/639.88	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.79
2552.06/639.88	c calculated reachability. Time: 0.00
2552.06/639.88	c  N st    81   2711876       531      2333         0    125796      7129   2195493   no data   no data  --
3221.36/807.66	c  N st    82   3211878       531      2333         0    100701      7129   1373320   no data   no data  --
3221.36/807.66	c  S st    82   3211878       531      2333         0    100701      7129   1373320   no data   no data  --
3222.56/807.98	c  S st    82   3212380       531      2333         0    101203      7129   1386699   no data   no data  --
3222.56/807.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3222.56/807.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3222.96/808.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
3222.96/808.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3222.96/808.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3222.96/808.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
3222.96/808.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3239.71/812.23	c lits-rem:       173  cl-subs:     3278  v-elim:      0  v-fix:    0  time: 16.55 s
3239.71/812.23	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
3239.71/812.24	c vivif2 --  cl tried    97925 cl shrink        0 lits rem          0 time: 0.07
3240.11/812.38	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.55
3240.11/812.39	c calculated reachability. Time: 0.00
3240.11/812.39	c  N st    82   3212380       531      2333         0     97925      7129   1306424   no data   no data  --
3930.94/985.53	c  N st    83   3712381       531      2333         0    108854      7129   1456367   no data   no data  --
3930.94/985.53	c  S st    83   3712381       531      2333         0    108854      7129   1456367   no data   no data  --
3932.54/985.93	c  S st    83   3712882       531      2333         0    109355      7129   1468913   no data   no data  --
3932.54/985.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3932.54/985.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3932.54/985.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
3932.94/986.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3932.94/986.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3932.94/986.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
3932.94/986.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3953.27/991.16	c lits-rem:       273  cl-subs:     3792  v-elim:      0  v-fix:    0  time: 20.40 s
3953.27/991.16	c vivif2 --  cl tried     2333 cl shrink        0 lits rem          0 time: 0.00
3953.27/991.18	c vivif2 --  cl tried   105563 cl shrink        0 lits rem          0 time: 0.08
3954.08/991.34	c asymm  cl-useful: 0/2333/2333 lits-rem:0 time: 0.63
3954.08/991.34	c calculated reachability. Time: 0.00
3954.08/991.34	c  N st    83   3712882       531      2333         0    105563      7129   1377121   no data   no data  --
4023.48/1008.72	c  F st    84   3751564       531      2333         0    143436      7129   2368935   no data   no data  --
4023.48/1008.72	c  N st    84   3751564       531      2333         0    143436      7129   2368935   no data   no data  --
4035.84/1011.80	c Decided on static restart strategy
4083.75/1023.86	c  N st    94   3779870       531      2333         0     88098      7129    903563   no data   no data  --
4131.18/1035.75	c  N st    96   3815862       531      2333         0    123140      7129   1749119   no data   no data  --
4181.02/1048.24	c  N st    97   3848254       531      2333         0    154728      7129   2542546   no data   no data  --
4243.24/1063.83	c  N st    98   3896843       531      2333         0    118504      7129   1738155   no data   no data  --
4357.71/1092.56	c  N st    99   3969726       531      2333         0    104668      7129   1284568   no data   no data  --
4514.05/1131.74	c  N st   100   4079050       531      2333         0    125307      7129   1830065   no data   no data  --
4714.67/1182.03	c  N st   101   4212885       531      2333         0    169527      7129   2931859   no data   no data  --
4714.67/1182.03	c  S st   101   4212885       531      2333         0    169527      7129   2931859   no data   no data  --
4717.05/1182.69	c  S st   101   4213388       531      2333         0    170030      7129   2945075   no data   no data  --
4717.45/1182.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4717.45/1182.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4717.85/1182.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.37
4718.26/1182.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4718.26/1182.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4718.26/1182.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    531 time:  0.00 s
4718.26/1182.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  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-3369046-1305410853/watcher-3369046-1305410853 -o /tmp/evaluation-result-3369046-1305410853/solver-3369046-1305410853 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369046-1305410853.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: 0.00 0.00 0.08 1/342 16430
/proc/meminfo: memFree=25808084/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 413 0 0 0 2 0 0 0 22 0 4 0 652685718 52465664 353 33554432000 4194304 4650419 140736221450832 18446744073709551615 47122489046962 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 12809 353 303 112 0 7774 0
[pid=16430/tid=16431] ppid=16428 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652685718 52465664 353 33554432000 4194304 4650419 140736221450832 18446744073709551615 47122489046962 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 4 0 652685718 52465664 353 33554432000 4194304 4650419 140736221450832 18446744073709551615 47122489046962 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652685718 52465664 353 33554432000 4194304 4650419 140736221450832 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.105779 s]
/proc/loadavg: 0.00 0.00 0.08 1/342 16430
/proc/meminfo: memFree=25808084/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=285944 CPUtime=3.43 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 5481 0 0 0 342 1 0 0 19 0 4 0 652685718 292806656 2728 33554432000 4194304 4650419 140736221450832 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 71486 2728 393 112 0 66451 0
[pid=16430/tid=16431] ppid=16428 vsize=285944 CPUtime=0.85 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1340 0 0 0 85 0 0 0 18 0 4 0 652685718 292806656 2728 33554432000 4194304 4650419 140736221450832 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=285944 CPUtime=0.85 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1310 0 0 0 85 0 0 0 19 0 4 0 652685718 292806656 2728 33554432000 4194304 4650419 140736221450832 18446744073709551615 4333957 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=285944 CPUtime=0.84 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1164 0 0 0 84 0 0 0 19 0 4 0 652685718 292806656 2728 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 285944

[startup+0.965237 s]
/proc/loadavg: 0.00 0.00 0.08 1/342 16430
/proc/meminfo: memFree=25808084/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=285944 CPUtime=3.83 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 5710 0 0 0 382 1 0 0 19 0 4 0 652685718 292806656 2957 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 71486 2957 393 112 0 66451 0
[pid=16430/tid=16431] ppid=16428 vsize=285944 CPUtime=0.95 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1404 0 0 0 95 0 0 0 19 0 4 0 652685718 292806656 2957 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=285944 CPUtime=0.95 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1364 0 0 0 95 0 0 0 19 0 4 0 652685718 292806656 2957 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=285944 CPUtime=0.94 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1216 0 0 0 94 0 0 0 19 0 4 0 652685718 292806656 2957 33554432000 4194304 4650419 140736221450832 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 285944

[startup+1.06522 s]
/proc/loadavg: 0.00 0.00 0.08 1/342 16430
/proc/meminfo: memFree=25808084/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=285944 CPUtime=4.23 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 5959 0 0 0 422 1 0 0 19 0 4 0 652685718 292806656 3206 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 71486 3206 394 112 0 66451 0
[pid=16430/tid=16431] ppid=16428 vsize=285944 CPUtime=1.05 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1461 0 0 0 105 0 0 0 19 0 4 0 652685718 292806656 3206 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=285944 CPUtime=1.05 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1411 0 0 0 105 0 0 0 19 0 4 0 652685718 292806656 3206 33554432000 4194304 4650419 140736221450832 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=285944 CPUtime=1.04 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1287 0 0 0 104 0 0 0 19 0 4 0 652685718 292806656 3207 33554432000 4194304 4650419 140736221450832 18446744073709551615 4329332 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 285944

[startup+1.1652 s]
/proc/loadavg: 0.00 0.00 0.08 1/342 16430
/proc/meminfo: memFree=25808084/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=286300 CPUtime=4.63 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 6580 0 0 0 462 1 0 0 19 0 4 0 652685718 293171200 3168 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 71575 3168 394 112 0 66540 0
[pid=16430/tid=16431] ppid=16428 vsize=286300 CPUtime=1.15 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1518 0 0 0 115 0 0 0 19 0 4 0 652685718 293171200 3168 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=286300 CPUtime=1.15 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1681 0 0 0 115 0 0 0 19 0 4 0 652685718 293171200 3168 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=286300 CPUtime=1.14 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1498 0 0 0 114 0 0 0 19 0 4 0 652685718 293171200 3168 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 286300

[startup+1.50115 s]
/proc/loadavg: 0.00 0.00 0.08 1/342 16430
/proc/meminfo: memFree=25808084/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=291976 CPUtime=5.97 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 8921 0 0 0 596 1 0 0 20 0 4 0 652685718 298983424 4798 33554432000 4194304 4650419 140736221450832 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 72994 4798 395 112 0 67959 0
[pid=16430/tid=16431] ppid=16428 vsize=291976 CPUtime=1.48 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1895 0 0 0 148 0 0 0 20 0 4 0 652685718 298983424 4798 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=291976 CPUtime=1.49 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1844 0 0 0 149 0 0 0 20 0 4 0 652685718 298983424 4798 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=291976 CPUtime=1.48 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 1661 0 0 0 148 0 0 0 20 0 4 0 652685718 298983424 4798 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364340 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) 291976

[startup+3.10085 s]
/proc/loadavg: 0.64 0.13 0.13 9/354 16447
/proc/meminfo: memFree=25721520/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=284316 CPUtime=12.35 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 17043 0 0 0 1232 3 0 0 25 0 4 0 652685718 291139584 10049 33554432000 4194304 4650419 140736221450832 18446744073709551615 4331084 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 71079 10049 395 112 0 66044 0
[pid=16430/tid=16431] ppid=16428 vsize=284316 CPUtime=3.09 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 3896 0 0 0 308 1 0 0 25 0 4 0 652685718 291139584 10049 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=284316 CPUtime=3.08 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 4608 0 0 0 308 0 0 0 25 0 4 0 652685718 291139584 10049 33554432000 4194304 4650419 140736221450832 18446744073709551615 4315147 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=284316 CPUtime=3.05 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 3874 0 0 0 305 0 0 0 25 0 4 0 652685718 291139584 10049 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364412 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 284316

[startup+6.31326 s]
/proc/loadavg: 0.64 0.13 0.13 9/354 16447
/proc/meminfo: memFree=25699820/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=286708 CPUtime=25.16 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 25399 0 0 0 2512 4 0 0 25 0 4 0 652685718 293588992 12686 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 71677 12686 395 112 0 66642 0
[pid=16430/tid=16431] ppid=16428 vsize=286708 CPUtime=6.3 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 7046 0 0 0 629 1 0 0 25 0 4 0 652685718 293588992 12686 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=286708 CPUtime=6.3 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 6476 0 0 0 629 1 0 0 25 0 4 0 652685718 293588992 12686 33554432000 4194304 4650419 140736221450832 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=286708 CPUtime=6.23 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 5201 0 0 0 623 0 0 0 25 0 4 0 652685718 293588992 12686 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365390 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 286708

[startup+12.7011 s]
/proc/loadavg: 1.77 0.39 0.21 9/354 16447
/proc/meminfo: memFree=25661352/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=292084 CPUtime=50.65 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 39089 0 0 0 5058 7 0 0 25 0 4 0 652685718 299094016 17567 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 73021 17567 395 112 0 67986 0
[pid=16430/tid=16431] ppid=16428 vsize=292084 CPUtime=12.69 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 10908 0 0 0 1267 2 0 0 25 0 4 0 652685718 299094016 17567 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=292084 CPUtime=12.68 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 10185 0 0 0 1267 1 0 0 25 0 4 0 652685718 299094016 17567 33554432000 4194304 4650419 140736221450832 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=292084 CPUtime=12.56 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 7434 0 0 0 1255 1 0 0 25 0 4 0 652685718 299094016 17567 33554432000 4194304 4650419 140736221450832 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 292084

[startup+25.5008 s]
/proc/loadavg: 2.73 0.64 0.29 9/354 16447
/proc/meminfo: memFree=25609532/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=307040 CPUtime=101.7 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 59240 0 0 0 10157 13 0 0 25 0 4 0 652685718 314408960 27081 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 76760 27081 395 112 0 71725 0
[pid=16430/tid=16431] ppid=16428 vsize=307040 CPUtime=25.49 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 16872 0 0 0 2546 3 0 0 25 0 4 0 652685718 314408960 27081 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=307040 CPUtime=25.49 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 14623 0 0 0 2546 3 0 0 25 0 4 0 652685718 314408960 27081 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=307040 CPUtime=25.22 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 10725 0 0 0 2519 3 0 0 25 0 4 0 652685718 314408960 27081 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 307040

[startup+51.1011 s]
/proc/loadavg: 4.58 1.25 0.50 9/354 16448
/proc/meminfo: memFree=25547456/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=330940 CPUtime=203.83 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 86589 0 0 0 20361 22 0 0 25 0 4 0 652685718 338882560 36699 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 82735 36699 395 112 0 77700 0
[pid=16430/tid=16431] ppid=16428 vsize=330940 CPUtime=51.08 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 23987 0 0 0 5103 5 0 0 25 0 4 0 652685718 338882560 36699 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=330940 CPUtime=51.08 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 23015 0 0 0 5103 5 0 0 25 0 4 0 652685718 338882560 36699 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=330940 CPUtime=50.53 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 15632 0 0 0 5049 4 0 0 25 0 4 0 652685718 338882560 36699 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 330940

[startup+102.301 s]
/proc/loadavg: 6.74 2.41 0.94 9/354 16449
/proc/meminfo: memFree=25483080/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=332044 CPUtime=408.06 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 115903 0 0 0 40772 34 0 0 25 0 4 0 652685718 340013056 44887 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 83011 44887 395 112 0 77976 0
[pid=16430/tid=16431] ppid=16428 vsize=332044 CPUtime=102.29 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 31119 0 0 0 10220 9 0 0 25 0 4 0 652685718 340013056 44887 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=332044 CPUtime=102.28 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 30618 0 0 0 10220 8 0 0 25 0 4 0 652685718 340013056 44887 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=332044 CPUtime=101.17 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 23068 0 0 0 10110 7 0 0 25 0 4 0 652685718 340013056 44887 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 332044

[startup+162.301 s]

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

[pid=16430] ppid=16428 vsize=551080 CPUtime=2562 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 383032 0 0 0 256050 150 0 0 25 0 4 0 652685718 564305920 93724 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 137770 93724 395 112 0 132735 0
[pid=16430/tid=16431] ppid=16428 vsize=551080 CPUtime=642.3 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 104861 0 0 0 64192 38 0 0 25 0 4 0 652685718 564305920 93724 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364461 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=551080 CPUtime=642.3 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 109973 0 0 0 64187 43 0 0 25 0 4 0 652685718 564305920 93724 33554432000 4194304 4650419 140736221450832 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=551080 CPUtime=635.06 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 63633 0 0 0 63478 28 0 0 25 0 4 0 652685718 564305920 93724 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562
Current children cumulated vsize (KiB) 551080

[startup+702.301 s]
/proc/loadavg: 8.13 7.34 4.33 9/354 16465
/proc/meminfo: memFree=25087672/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=530808 CPUtime=2801.34 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 406115 0 0 0 279971 163 0 0 25 0 4 0 652685718 543547392 93677 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 132702 93677 395 112 0 127667 0
[pid=16430/tid=16431] ppid=16428 vsize=530808 CPUtime=702.3 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 112040 0 0 0 70188 42 0 0 25 0 4 0 652685718 543547392 93677 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=530808 CPUtime=702.31 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 117138 0 0 0 70184 47 0 0 25 0 4 0 652685718 543547392 93677 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=530808 CPUtime=694.39 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 66377 0 0 0 69409 30 0 0 25 0 4 0 652685718 543547392 93677 33554432000 4194304 4650419 140736221450832 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.34
Current children cumulated vsize (KiB) 530808

[startup+762.301 s]
/proc/loadavg: 8.18 7.50 4.58 9/354 16467
/proc/meminfo: memFree=25076616/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=609192 CPUtime=3040.67 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 427652 0 0 0 303892 175 0 0 25 0 4 0 652685718 623812608 94957 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 152298 94957 395 112 0 147263 0
[pid=16430/tid=16431] ppid=16428 vsize=609192 CPUtime=762.31 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 122712 0 0 0 76183 48 0 0 25 0 4 0 652685718 623812608 94957 33554432000 4194304 4650419 140736221450832 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=609192 CPUtime=762.3 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 120849 0 0 0 76181 49 0 0 25 0 4 0 652685718 623812608 94957 33554432000 4194304 4650419 140736221450832 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=609192 CPUtime=753.71 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 70442 0 0 0 75338 33 0 0 25 0 4 0 652685718 623812608 94957 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.67
Current children cumulated vsize (KiB) 609192

[startup+822.3 s]
/proc/loadavg: 8.13 7.60 4.78 9/354 16469
/proc/meminfo: memFree=25052048/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=596836 CPUtime=3280 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 452575 0 0 0 327811 189 0 0 25 0 4 0 652685718 611160064 96679 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 149209 96679 395 112 0 144174 0
[pid=16430/tid=16431] ppid=16428 vsize=596836 CPUtime=822.31 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 130047 0 0 0 82180 51 0 0 25 0 4 0 652685718 611160064 96679 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=596836 CPUtime=822.3 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 128609 0 0 0 82176 54 0 0 25 0 4 0 652685718 611160064 96679 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=596836 CPUtime=813.04 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 73554 0 0 0 81270 34 0 0 25 0 4 0 652685718 611160064 96679 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280
Current children cumulated vsize (KiB) 596836

[startup+882.3 s]
/proc/loadavg: 8.10 7.69 5.00 9/354 16470
/proc/meminfo: memFree=25044088/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=609844 CPUtime=3519.31 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 477010 0 0 0 351730 201 0 0 25 0 4 0 652685718 624480256 101496 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366068 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 152461 101496 395 112 0 147426 0
[pid=16430/tid=16431] ppid=16428 vsize=609844 CPUtime=882.31 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 137201 0 0 0 88176 55 0 0 25 0 4 0 652685718 624480256 101496 33554432000 4194304 4650419 140736221450832 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=609844 CPUtime=882.31 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 136147 0 0 0 88173 58 0 0 25 0 4 0 652685718 624480256 101496 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=609844 CPUtime=872.34 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 76511 0 0 0 87198 36 0 0 25 0 4 0 652685718 624480256 101496 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.31
Current children cumulated vsize (KiB) 609844

[startup+942.3 s]
/proc/loadavg: 8.08 7.76 5.19 9/354 16472
/proc/meminfo: memFree=24993852/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=610196 CPUtime=3758.67 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 505223 0 0 0 375652 215 0 0 25 0 4 0 652685718 624840704 109483 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 152549 109483 395 112 0 147514 0
[pid=16430/tid=16431] ppid=16428 vsize=610196 CPUtime=942.33 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 147456 0 0 0 94174 59 0 0 25 0 4 0 652685718 624840704 109483 33554432000 4194304 4650419 140736221450832 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=610196 CPUtime=942.32 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 142789 0 0 0 94170 62 0 0 25 0 4 0 652685718 624840704 109483 33554432000 4194304 4650419 140736221450832 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=610196 CPUtime=931.67 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 81005 0 0 0 93129 38 0 0 25 0 4 0 652685718 624840704 109483 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.67
Current children cumulated vsize (KiB) 610196

[startup+1002.3 s]
/proc/loadavg: 8.07 7.81 5.37 9/354 16473
/proc/meminfo: memFree=25005112/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=603884 CPUtime=3997.95 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 529488 0 0 0 399568 227 0 0 25 0 4 0 652685718 618377216 107329 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 150971 107329 395 112 0 145936 0
[pid=16430/tid=16431] ppid=16428 vsize=603884 CPUtime=1002.32 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 152979 0 0 0 100170 62 0 0 25 0 4 0 652685718 618377216 107329 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=603884 CPUtime=1002.31 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 148988 0 0 0 100165 66 0 0 25 0 4 0 652685718 618377216 107329 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=603884 CPUtime=990.98 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 86334 0 0 0 99058 40 0 0 25 0 4 0 652685718 618377216 107329 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.95
Current children cumulated vsize (KiB) 603884

[startup+1062.31 s]
/proc/loadavg: 8.07 7.86 5.54 9/354 16475
/proc/meminfo: memFree=24964308/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=617208 CPUtime=4237.3 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 553399 0 0 0 423490 240 0 0 25 0 4 0 652685718 632020992 110070 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 154302 110070 395 112 0 149267 0
[pid=16430/tid=16431] ppid=16428 vsize=617208 CPUtime=1062.33 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 159530 0 0 0 106168 65 0 0 25 0 4 0 652685718 632020992 110070 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=617208 CPUtime=1062.33 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 155376 0 0 0 106162 71 0 0 25 0 4 0 652685718 632020992 110070 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=617208 CPUtime=1050.29 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 90713 0 0 0 104987 42 0 0 25 0 4 0 652685718 632020992 110070 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.3
Current children cumulated vsize (KiB) 617208

[startup+1122.3 s]
/proc/loadavg: 8.02 7.88 5.69 9/354 16477
/proc/meminfo: memFree=24946812/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=617500 CPUtime=4476.56 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 577185 0 0 0 447402 254 0 0 25 0 4 0 652685718 632320000 115402 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 154375 115402 395 112 0 149340 0
[pid=16430/tid=16431] ppid=16428 vsize=617500 CPUtime=1122.32 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 166753 0 0 0 112162 70 0 0 25 0 4 0 652685718 632320000 115402 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=617500 CPUtime=1122.31 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 160860 0 0 0 112157 74 0 0 25 0 4 0 652685718 632320000 115402 33554432000 4194304 4650419 140736221450832 18446744073709551615 4330369 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=617500 CPUtime=1109.58 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 94723 0 0 0 110914 44 0 0 25 0 4 0 652685718 632320000 115402 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.56
Current children cumulated vsize (KiB) 617500

[startup+1182.3 s]
/proc/loadavg: 8.05 7.92 5.84 9/354 16478
/proc/meminfo: memFree=24926080/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=671056 CPUtime=4715.85 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 600371 0 0 0 471318 267 0 0 25 0 4 0 652685718 687161344 111945 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 167764 111945 395 112 0 162729 0
[pid=16430/tid=16431] ppid=16428 vsize=671056 CPUtime=1182.32 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 175887 0 0 0 118157 75 0 0 25 0 4 0 652685718 687161344 111945 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=671056 CPUtime=1182.32 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 167316 0 0 0 118153 79 0 0 25 0 4 0 652685718 687161344 111945 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=671056 CPUtime=1168.86 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 96719 0 0 0 116841 45 0 0 25 0 4 0 652685718 687161344 111945 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.85
Current children cumulated vsize (KiB) 671056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.12 7.94 5.89 9/354 16479
/proc/meminfo: memFree=24909204/32951124 swapFree=40554400/67111528
[pid=16430] ppid=16428 vsize=689868 CPUtime=4800.04 cores=1,3,5,7
/proc/16430/stat : 16430 (strangenight1-m) R 16428 16430 16402 0 -1 4202496 609514 0 0 0 479733 271 0 0 25 0 4 0 652685718 706424832 117443 33554432000 4194304 4650419 140736221450832 18446744073709551615 4433053 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16430/statm: 172467 117443 395 112 0 167432 0
[pid=16430/tid=16431] ppid=16428 vsize=689868 CPUtime=1203.43 cores=1,3,5,7
/proc/16430/task/16431/stat : 16431 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 177447 0 0 0 120267 76 0 0 25 0 4 0 652685718 706424832 117443 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16430/tid=16432] ppid=16428 vsize=689868 CPUtime=1203.43 cores=1,3,5,7
/proc/16430/task/16432/stat : 16432 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 169846 0 0 0 120263 80 0 0 25 0 4 0 652685718 706424832 117443 33554432000 4194304 4650419 140736221450832 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16430/tid=16433] ppid=16428 vsize=689868 CPUtime=1189.72 cores=1,3,5,7
/proc/16430/task/16433/stat : 16433 (strangenight1-m) R 16428 16430 16402 0 -1 4202560 97629 0 0 0 118926 46 0 0 25 0 4 0 652685718 706424832 117443 33554432000 4194304 4650419 140736221450832 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 689868

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.44
CPU time (s): 4800.1
CPU user time (s): 4797.37
CPU system time (s): 2.73158
CPU usage (%): 398.865
Max. virtual memory (cumulated for all children) (KiB): 756548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.37
system time used= 2.73158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 609515
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= 340
involuntary context switches= 32196

runsolver used 3.68744 second user time and 10.0425 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-15 00:07:33
IDJOB=3369046
IDBENCH=83055
IDSOLVER=1846
FILE ID=node104/3369046-1305410853
RUNJOBID= node104-1305410852-16421
PBS_JOBID= 13324539
Free space on /tmp= 73396 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369046-1305410853/watcher-3369046-1305410853 -o /tmp/evaluation-result-3369046-1305410853/solver-3369046-1305410853 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369046-1305410853.cnf

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

MD5SUM BENCH= c2b69177f59f5d1d2093247dc6de56f3
RANDOM SEED=187629669

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.83
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25808488 kB
Buffers:        295924 kB
Cached:        2372000 kB
SwapCached:     122128 kB
Active:         923604 kB
Inactive:      5952612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25808488 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:     4099328 kB
Mapped:          10392 kB
Slab:           117272 kB
PageTables:      84364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74804984 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= 73384 MiB
End job on node104 at 2011-05-15 00:27:38