Trace number 3368752

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.33 1203.54

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf
MD5SUM7790a3f63c0c8a2b2a87d89aa5f80b99
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.080987
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-3368752-1305402180.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	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.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      76 undec:       4 neg:      70
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       150      3195         0         0     15975         0   no data   no data  --
0.00/0.06	c Decided on static restart strategy
0.37/0.14	c  N st     8      4921       150      3195         0      4692     15975    140701   no data   no data  --
1.17/0.36	c  N st    10     11304       150      3195         0      4324     15975     98063   no data   no data  --
1.97/0.59	c  N st    11     17047       150      3195         0      9782     15975    259617   no data   no data  --
3.57/0.93	c  F st    12     25000       150      3195         0     12031     15975    326993   no data   no data  --
3.57/0.93	c  N st    12     25000       150      3195         0     12031     15975    326993   no data   no data  --
4.41/1.15	c Decided on static restart strategy
4.41/1.15	c  N st    18     30001       150      3195         0     10327     15975    265280   no data   no data  --
4.41/1.15	c  S st    18     30001       150      3195         0     10327     15975    265280   no data   no data  --
4.41/1.18	c  S st    18     30506       150      3195         0     10828     15975    279888   no data   no data  --
4.41/1.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.41/1.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.41/1.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.41/1.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.41/1.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.41/1.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.41/1.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.95/2.06	c lits-rem:      3003  cl-subs:     1316  v-elim:      0  v-fix:    0  time:  3.44 s
7.95/2.11	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.19
7.95/2.11	c calculated reachability. Time: 0.00
7.95/2.11	c  N st    18     30506       150      3195         0      9512     15975    232575   no data   no data  --
9.95/2.53	c  N st    20     37617       150      3195         0      8768     15975    191997   no data   no data  --
11.15/2.84	c  N st    21     44016       150      3195         0     14856     15975    373951   no data   no data  --
11.55/2.94	c  S st    22     45759       150      3195         0     16514     15975    423063   no data   no data  --
11.55/2.99	c  S st    22     46265       150      3195         0     17006     15975    437401   no data   no data  --
11.55/2.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.55/2.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.55/2.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
11.95/3.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.95/3.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.95/3.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
11.95/3.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.92/4.53	c lits-rem:      3761  cl-subs:     1452  v-elim:      0  v-fix:    0  time:  6.08 s
17.92/4.53	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
17.92/4.54	c vivif2 --  cl tried    15554 cl shrink        0 lits rem          0 time: 0.02
18.32/4.62	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.32
18.32/4.62	c calculated reachability. Time: 0.00
18.32/4.62	c  N st    22     46265       150      3195         0     15554     15975    386668   no data   no data  --
21.55/5.41	c  N st    23     60662       150      3195         0     11215     15975    226760   no data   no data  --
23.51/5.94	c  N st    24     69397       150      3195         0     19528     15975    479132   no data   no data  --
23.51/5.94	c  S st    24     69397       150      3195         0     19528     15975    479132   no data   no data  --
23.51/5.99	c  S st    24     69901       150      3195         0     20029     15975    493967   no data   no data  --
23.51/5.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.51/5.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.91/6.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.91/6.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.91/6.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.91/6.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.91/6.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.48/7.96	c lits-rem:      5099  cl-subs:     1856  v-elim:      0  v-fix:    0  time:  7.78 s
31.48/7.96	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
31.48/7.97	c vivif2 --  cl tried    18173 cl shrink        0 lits rem          0 time: 0.02
31.88/8.08	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.47
31.88/8.08	c calculated reachability. Time: 0.00
31.88/8.08	c  N st    24     69901       150      3195         0     18173     15975    429877   no data   no data  --
36.67/9.27	c  F st    25     87500       150      3195         0     13148     15975    260879   no data   no data  --
36.67/9.27	c  N st    25     87500       150      3195         0     13148     15975    260879   no data   no data  --
37.87/9.56	c Decided on static restart strategy
38.67/9.75	c  N st    32     95540       150      3195         0     20819     15975    491128   no data   no data  --
41.46/10.42	c  N st    34    104851       150      3195         0     17356     15975    374635   no data   no data  --
41.46/10.42	c  S st    34    104851       150      3195         0     17356     15975    374635   no data   no data  --
41.46/10.47	c  S st    34    105352       150      3195         0     17849     15975    389237   no data   no data  --
41.46/10.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.46/10.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.46/10.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
41.46/10.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.46/10.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.46/10.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
41.46/10.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.05/11.83	c lits-rem:      2459  cl-subs:     1078  v-elim:      0  v-fix:    0  time:  5.36 s
47.05/11.83	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
47.05/11.83	c vivif2 --  cl tried    16771 cl shrink        0 lits rem          0 time: 0.01
47.45/11.92	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.33
47.45/11.92	c calculated reachability. Time: 0.00
47.45/11.92	c  N st    34    105352       150      3195         0     16771     15975    353461   no data   no data  --
49.83/12.58	c  N st    35    114950       150      3195         0     25892     15975    629855   no data   no data  --
54.23/13.64	c  N st    36    129348       150      3195         0     26301     15975    637072   no data   no data  --
60.62/15.22	c  N st    37    150944       150      3195         0     17339     15975    320244   no data   no data  --
62.20/15.68	c  S st    38    158030       150      3195         0     24109     15975    525450   no data   no data  --
62.60/15.74	c  S st    38    158531       150      3195         0     24597     15975    540253   no data   no data  --
62.60/15.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.60/15.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.60/15.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
62.60/15.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.60/15.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.60/15.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
62.60/15.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.81/17.56	c lits-rem:      3122  cl-subs:     1396  v-elim:      0  v-fix:    0  time:  7.18 s
69.81/17.56	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
69.81/17.57	c vivif2 --  cl tried    23201 cl shrink        0 lits rem          0 time: 0.02
70.57/17.72	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.59
70.57/17.72	c calculated reachability. Time: 0.00
70.57/17.72	c  N st    38    158531       150      3195         0     23201     15975    491704   no data   no data  --
89.73/22.53	c  N st    39    207119       150      3195         0     17985     15975    290568   no data   no data  --
100.09/25.19	c  N st    40    237796       150      3195         0     28156     15975    592833   no data   no data  --
100.09/25.19	c  S st    40    237796       150      3195         0     28156     15975    592833   no data   no data  --
100.52/25.26	c  S st    40    238298       150      3195         0     28648     15975    607473   no data   no data  --
100.52/25.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
100.52/25.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.52/25.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
100.52/25.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.52/25.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.52/25.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
100.52/25.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
108.07/27.19	c lits-rem:      3462  cl-subs:     1766  v-elim:      0  v-fix:    0  time:  7.61 s
108.07/27.19	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
108.47/27.20	c vivif2 --  cl tried    26882 cl shrink        0 lits rem          0 time: 0.02
108.87/27.34	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.56
108.87/27.34	c calculated reachability. Time: 0.00
108.87/27.34	c  N st    40    238298       150      3195         0     26882     15975    549620   no data   no data  --
137.99/34.60	c  F st    41    306250       150      3195         0     28751     15975    557135   no data   no data  --
137.99/34.60	c  N st    41    306250       150      3195         0     28751     15975    557135   no data   no data  --
139.59/35.07	c Decided on static restart strategy
148.36/37.28	c  N st    51    334556       150      3195         0     32902     15975    663811   no data   no data  --
158.72/39.88	c  N st    53    357447       150      3195         0     30916     15975    579229   no data   no data  --
158.72/39.88	c  S st    53    357447       150      3195         0     30916     15975    579229   no data   no data  --
159.12/39.95	c  S st    53    357951       150      3195         0     31409     15975    593517   no data   no data  --
159.12/39.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
159.12/39.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.12/39.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
159.12/39.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
159.12/39.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
159.12/39.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
159.12/39.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
167.50/42.04	c lits-rem:      2512  cl-subs:     1313  v-elim:      0  v-fix:    0  time:  8.21 s
167.50/42.04	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
167.50/42.05	c vivif2 --  cl tried    30096 cl shrink        0 lits rem          0 time: 0.03
168.30/42.25	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.82
168.30/42.26	c calculated reachability. Time: 0.00
168.30/42.26	c  N st    53    357951       150      3195         0     30096     15975    547457   no data   no data  --
184.65/46.37	c  N st    54    390343       150      3195         0     36113     15975    717008   no data   no data  --
208.19/52.26	c  N st    55    438931       150      3195         0     29980     15975    505612   no data   no data  --
245.32/61.53	c  N st    56    511814       150      3195         0     42866     15975    849171   no data   no data  --
256.85/64.46	c  N st    57    536926       150      3195         0     37380     15975    675895   no data   no data  --
256.85/64.46	c  S st    57    536926       150      3195         0     37380     15975    675895   no data   no data  --
257.25/64.56	c  S st    57    537429       150      3195         0     37877     15975    690912   no data   no data  --
257.25/64.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
257.25/64.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
257.25/64.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
257.25/64.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.25/64.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.25/64.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
257.25/64.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
266.03/66.73	c lits-rem:      2628  cl-subs:     1615  v-elim:      0  v-fix:    0  time:  8.52 s
266.03/66.73	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
266.03/66.74	c vivif2 --  cl tried    36262 cl shrink        0 lits rem          0 time: 0.03
266.83/66.94	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.83
266.83/66.94	c calculated reachability. Time: 0.00
266.83/66.94	c  N st    57    537429       150      3195         0     36262     15975    635541   no data   no data  --
351.79/88.25	c  N st    58    701413       150      3195         0     64623     15975   1456274   no data   no data  --
412.82/103.58	c  N st    59    806143       150      3195         0     59002     15975   1248423   no data   no data  --
412.82/103.58	c  S st    59    806143       150      3195         0     59002     15975   1248423   no data   no data  --
413.61/103.75	c  S st    59    806646       150      3195         0     59489     15975   1263101   no data   no data  --
413.61/103.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
413.61/103.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
413.61/103.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
414.01/103.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
414.01/103.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
414.01/103.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
414.01/103.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
447.91/112.39	c lits-rem:      1326  cl-subs:     3982  v-elim:      0  v-fix:    0  time: 34.15 s
447.91/112.39	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
448.31/112.40	c vivif2 --  cl tried    55507 cl shrink        0 lits rem          0 time: 0.06
449.50/112.71	c asymm  cl-useful: 0/2378/3195 lits-rem:0 time: 1.22
449.50/112.71	c calculated reachability. Time: 0.00
449.50/112.71	c  N st    59    806646       150      3195         0     55507     15975   1134803   no data   no data  --
614.30/154.06	c  F st    60   1071875       150      3195         0     70832     15975   1514112   no data   no data  --
614.30/154.06	c  N st    60   1071875       150      3195         0     70832     15975   1514112   no data   no data  --
619.84/155.46	c Decided on static restart strategy
637.79/159.91	c  N st    70   1100185       150      3195         0     55329     15975    976543   no data   no data  --
666.11/167.09	c  N st    72   1136177       150      3195         0     45878     15975    663245   no data   no data  --
688.06/172.60	c  N st    73   1168569       150      3195         0     76634     15975   1665431   no data   no data  --
727.14/182.30	c  N st    74   1209970       150      3195         0     71180     15975   1415782   no data   no data  --
727.14/182.30	c  S st    74   1209970       150      3195         0     71180     15975   1415782   no data   no data  --
727.97/182.57	c  S st    74   1210471       150      3195         0     71674     15975   1430171   no data   no data  --
727.97/182.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
727.97/182.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
728.38/182.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
728.38/182.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
728.38/182.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
728.38/182.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
728.38/182.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
787.76/197.55	c lits-rem:      1350  cl-subs:     5297  v-elim:      0  v-fix:    0  time: 59.33 s
787.76/197.55	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
787.76/197.57	c vivif2 --  cl tried    66377 cl shrink        0 lits rem          0 time: 0.07
788.56/197.76	c asymm  cl-useful: 0/817/3195 lits-rem:0 time: 0.78
788.56/197.76	c calculated reachability. Time: 0.00
788.56/197.76	c  N st    74   1210471       150      3195         0     66377     15975   1263507   no data   no data  --
844.79/211.89	c  N st    75   1283353       150      3195         0     89909     15975   1983801   no data   no data  --
942.51/236.40	c  N st    76   1392678       150      3195         0     51692     15975    741431   no data   no data  --
1066.95/267.59	c  N st    77   1556663       150      3195         0     56184     15975    834787   no data   no data  --
1193.45/299.25	c  N st    78   1710471       150      3195         0     96103     15975   2017760   no data   no data  --
1193.45/299.25	c  S st    78   1710471       150      3195         0     96103     15975   2017760   no data   no data  --
1194.60/299.57	c  S st    78   1710978       150      3195         0     96602     15975   2032923   no data   no data  --
1194.60/299.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1194.60/299.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1195.01/299.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1195.01/299.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1195.01/299.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1195.01/299.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1195.01/299.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1308.26/328.00	c lits-rem:      3011  cl-subs:     9760  v-elim:      0  v-fix:    0  time: 112.85 s
1308.26/328.00	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1308.26/328.03	c vivif2 --  cl tried    86842 cl shrink        0 lits rem          0 time: 0.09
1309.46/328.38	c asymm  cl-useful: 0/1434/3195 lits-rem:0 time: 1.42
1309.46/328.38	c calculated reachability. Time: 0.00
1309.46/328.38	c  N st    78   1710978       150      3195         0     86842     15975   1740016   no data   no data  --
1658.53/415.85	c  N st    79   2079944       150      3195         0     98574     15975   1995677   no data   no data  --
1788.51/448.46	c  N st    80   2210979       150      3195         0    102706     15975   2082532   no data   no data  --
1788.51/448.46	c  S st    80   2210979       150      3195         0    102706     15975   2082532   no data   no data  --
1789.74/448.76	c  S st    80   2211482       150      3195         0    103202     15975   2097781   no data   no data  --
1789.74/448.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1789.74/448.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1790.15/448.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1790.15/448.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1790.15/448.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1790.15/448.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1790.15/448.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1914.53/480.04	c lits-rem:      1823  cl-subs:     9315  v-elim:      0  v-fix:    0  time: 124.20 s
1914.53/480.04	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1914.53/480.07	c vivif2 --  cl tried    93887 cl shrink        0 lits rem          0 time: 0.10
1916.53/480.52	c asymm  cl-useful: 0/1167/3195 lits-rem:0 time: 1.81
1916.53/480.52	c calculated reachability. Time: 0.00
1916.53/480.52	c  N st    80   2211482       150      3195         0     93887     15975   1821350   no data   no data  --
2409.55/604.14	c  N st    81   2711482       150      3195         0    116975     15975   2450155   no data   no data  --
2409.55/604.14	c  S st    81   2711482       150      3195         0    116975     15975   2450155   no data   no data  --
2411.15/604.51	c  S st    81   2711988       150      3195         0    117467     15975   2465512   no data   no data  --
2411.15/604.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2411.15/604.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2411.15/604.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2411.55/604.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2411.55/604.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2411.55/604.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2411.55/604.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2596.20/650.96	c lits-rem:      4618  cl-subs:    10665  v-elim:      0  v-fix:    0  time: 184.63 s
2596.20/650.96	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2596.20/650.99	c vivif2 --  cl tried   106802 cl shrink        0 lits rem          0 time: 0.11
2597.03/651.20	c asymm  cl-useful: 0/594/3195 lits-rem:0 time: 0.83
2597.03/651.21	c calculated reachability. Time: 0.00
2597.03/651.21	c  N st    81   2711988       150      3195         0    106802     15975   2128434   no data   no data  --
3206.44/803.91	c  N st    82   3211988       150      3195         0     84045     15975   1260549   no data   no data  --
3206.44/803.91	c  S st    82   3211988       150      3195         0     84045     15975   1260549   no data   no data  --
3207.64/804.20	c  S st    82   3212495       150      3195         0     84545     15975   1275440   no data   no data  --
3207.64/804.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3207.64/804.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3207.64/804.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
3208.04/804.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3208.04/804.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3208.04/804.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3208.04/804.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3242.73/813.02	c lits-rem:       537  cl-subs:     2095  v-elim:      0  v-fix:    0  time: 34.76 s
3242.73/813.02	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3242.73/813.04	c vivif2 --  cl tried    82450 cl shrink        0 lits rem          0 time: 0.07
3244.33/813.43	c asymm  cl-useful: 0/1557/3195 lits-rem:0 time: 1.58
3244.33/813.44	c calculated reachability. Time: 0.00
3244.33/813.44	c  N st    82   3212495       150      3195         0     82450     15975   1211788   no data   no data  --
3894.86/976.56	c  N st    83   3712495       150      3195         0     93007     15975   1426321   no data   no data  --
3894.86/976.56	c  S st    83   3712495       150      3195         0     93007     15975   1426321   no data   no data  --
3896.10/976.83	c  S st    83   3713001       150      3195         0     93497     15975   1441108   no data   no data  --
3896.10/976.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3896.10/976.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3896.10/976.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
3896.45/976.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3896.45/976.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3896.45/976.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3896.45/976.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3927.57/984.78	c lits-rem:       444  cl-subs:     2489  v-elim:      0  v-fix:    0  time: 31.30 s
3927.57/984.78	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3927.57/984.80	c vivif2 --  cl tried    91008 cl shrink        0 lits rem          0 time: 0.08
3929.17/985.15	c asymm  cl-useful: 0/1238/3195 lits-rem:0 time: 1.41
3929.17/985.15	c calculated reachability. Time: 0.00
3929.17/985.15	c  N st    83   3713001       150      3195         0     91008     15975   1366220   no data   no data  --
3985.00/999.14	c  F st    84   3751565       150      3195         0    127389     15975   2466387   no data   no data  --
3985.00/999.14	c  N st    84   3751565       150      3195         0    127389     15975   2466387   no data   no data  --
3997.76/1002.39	c Decided on static restart strategy
4041.22/1013.20	c  N st    94   3779865       150      3195         0    154308     15975   3290797   no data   no data  --
4087.51/1024.81	c  N st    96   3815860       150      3195         0    108226     15975   1872431   no data   no data  --
4134.58/1036.62	c  N st    97   3848255       150      3195         0    138922     15975   2826981   no data   no data  --
4212.36/1056.17	c  N st    98   3896843       150      3195         0    103614     15975   1714535   no data   no data  --
4319.63/1083.08	c  N st    99   3969725       150      3195         0     90253     15975   1271853   no data   no data  --
4480.78/1123.42	c  N st   100   4079050       150      3195         0    109903     15975   1862132   no data   no data  --
4683.00/1174.13	c  N st   101   4213001       150      3195         0    152316     15975   3149773   no data   no data  --
4683.00/1174.13	c  S st   101   4213001       150      3195         0    152316     15975   3149773   no data   no data  --
4685.00/1174.66	c  S st   101   4213504       150      3195         0    152804     15975   3165036   no data   no data  --
4685.00/1174.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4685.00/1174.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4685.43/1174.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4685.83/1174.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4685.83/1174.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4685.83/1174.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4685.83/1174.86	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-3368752-1305402180/watcher-3368752-1305402180 -o /tmp/evaluation-result-3368752-1305402180/solver-3368752-1305402180 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368752-1305402180.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.43 7.93 8.00 3/346 15832
/proc/meminfo: memFree=25804204/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=281776 CPUtime=0.02 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 849 0 0 0 2 0 0 0 22 0 4 0 651818491 288538624 765 33554432000 4194304 4650419 140734714448864 18446744073709551615 230808826177 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 70444 765 359 112 0 65409 0
[pid=15832/tid=15836] ppid=15830 vsize=281776 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 101 0 0 0 0 0 0 0 22 0 4 0 651818491 288538624 770 33554432000 4194304 4650419 140734714448864 18446744073709551615 4370432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=281776 CPUtime=0.01 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 114 0 0 0 1 0 0 0 22 0 4 0 651818491 288538624 770 33554432000 4194304 4650419 140734714448864 18446744073709551615 4370532 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=281776 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 86 0 0 0 0 0 0 0 23 0 4 0 651818491 288538624 770 33554432000 4194304 4650419 140734714448864 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.081521 s]
/proc/loadavg: 7.43 7.93 8.00 3/346 15832
/proc/meminfo: memFree=25804204/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=282264 CPUtime=0.3 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 1941 0 0 0 30 0 0 0 22 0 4 0 651818491 289038336 1776 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 70566 1776 389 112 0 65531 0
[pid=15832/tid=15836] ppid=15830 vsize=282264 CPUtime=0.07 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 394 0 0 0 7 0 0 0 18 0 4 0 651818491 289038336 1777 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=282264 CPUtime=0.07 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 431 0 0 0 7 0 0 0 22 0 4 0 651818491 289038336 1777 33554432000 4194304 4650419 140734714448864 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=282264 CPUtime=0.06 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 264 0 0 0 6 0 0 0 23 0 4 0 651818491 289038336 1777 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 282264

[startup+0.100517 s]
/proc/loadavg: 7.43 7.93 8.00 3/346 15832
/proc/meminfo: memFree=25804204/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=282396 CPUtime=0.37 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 2030 0 0 0 37 0 0 0 22 0 4 0 651818491 289173504 1865 33554432000 4194304 4650419 140734714448864 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 70599 1866 389 112 0 65564 0
[pid=15832/tid=15836] ppid=15830 vsize=282396 CPUtime=0.09 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 415 0 0 0 9 0 0 0 18 0 4 0 651818491 289173504 1866 33554432000 4194304 4650419 140734714448864 18446744073709551615 230808834258 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=282396 CPUtime=0.09 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 452 0 0 0 9 0 0 0 22 0 4 0 651818491 289173504 1866 33554432000 4194304 4650419 140734714448864 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=282396 CPUtime=0.08 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 289 0 0 0 8 0 0 0 23 0 4 0 651818491 289173504 1866 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282396

[startup+0.30048 s]
/proc/loadavg: 7.43 7.93 8.00 3/346 15832
/proc/meminfo: memFree=25804204/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=284016 CPUtime=1.17 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 3410 0 0 0 117 0 0 0 22 0 4 0 651818491 290832384 2532 33554432000 4194304 4650419 140734714448864 18446744073709551615 4334468 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 71004 2532 391 112 0 65969 0
[pid=15832/tid=15836] ppid=15830 vsize=284016 CPUtime=0.29 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 762 0 0 0 29 0 0 0 18 0 4 0 651818491 290832384 2532 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=284016 CPUtime=0.29 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 805 0 0 0 29 0 0 0 22 0 4 0 651818491 290832384 2532 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=284016 CPUtime=0.28 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 633 0 0 0 28 0 0 0 23 0 4 0 651818491 290832384 2533 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365276 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) 284016

[startup+0.700408 s]
/proc/loadavg: 7.43 7.93 8.00 3/346 15832
/proc/meminfo: memFree=25804204/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=285904 CPUtime=2.77 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 6316 0 0 0 277 0 0 0 24 0 4 0 651818491 292765696 3002 33554432000 4194304 4650419 140734714448864 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 71476 3002 391 112 0 66441 0
[pid=15832/tid=15836] ppid=15830 vsize=285904 CPUtime=0.69 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 1493 0 0 0 69 0 0 0 18 0 4 0 651818491 292765696 3002 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=285904 CPUtime=0.69 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 1549 0 0 0 69 0 0 0 24 0 4 0 651818491 292765696 3002 33554432000 4194304 4650419 140734714448864 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=285904 CPUtime=0.68 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 1326 0 0 0 68 0 0 0 25 0 4 0 651818491 292765696 3002 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285904

[startup+1.50026 s]
/proc/loadavg: 7.55 7.95 8.01 10/354 15841
/proc/meminfo: memFree=25778340/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=295972 CPUtime=5.96 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 11498 0 0 0 595 1 0 0 25 0 4 0 651818491 303075328 5620 33554432000 4194304 4650419 140734714448864 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 73993 5620 393 112 0 68958 0
[pid=15832/tid=15836] ppid=15830 vsize=295972 CPUtime=1.49 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 2500 0 0 0 149 0 0 0 19 0 4 0 651818491 303075328 5620 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=295972 CPUtime=1.49 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 2563 0 0 0 149 0 0 0 25 0 4 0 651818491 303075328 5620 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=295972 CPUtime=1.47 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 2246 0 0 0 147 0 0 0 25 0 4 0 651818491 303075328 5620 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365195 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) 295972

[startup+3.10097 s]
/proc/loadavg: 7.55 7.95 8.01 10/354 15841
/proc/meminfo: memFree=25738288/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=305020 CPUtime=12.35 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 20694 0 0 0 1233 2 0 0 25 0 4 0 651818491 312340480 13598 33554432000 4194304 4650419 140734714448864 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 76255 13598 393 112 0 71220 0
[pid=15832/tid=15836] ppid=15830 vsize=305020 CPUtime=3.08 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 4563 0 0 0 308 0 0 0 25 0 4 0 651818491 312340480 13598 33554432000 4194304 4650419 140734714448864 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=305020 CPUtime=3.09 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 5072 0 0 0 309 0 0 0 25 0 4 0 651818491 312340480 13598 33554432000 4194304 4650419 140734714448864 18446744073709551615 4439607 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=305020 CPUtime=3.06 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 4762 0 0 0 306 0 0 0 25 0 4 0 651818491 312340480 13598 33554432000 4194304 4650419 140734714448864 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 305020

[startup+6.30039 s]
/proc/loadavg: 7.55 7.95 8.01 10/354 15841
/proc/meminfo: memFree=25670916/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=295240 CPUtime=25.11 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 28976 0 0 0 2507 4 0 0 25 0 4 0 651818491 302325760 17120 33554432000 4194304 4650419 140734714448864 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 73810 17120 393 112 0 68775 0
[pid=15832/tid=15836] ppid=15830 vsize=295240 CPUtime=6.28 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 7685 0 0 0 628 0 0 0 25 0 4 0 651818491 302325760 17120 33554432000 4194304 4650419 140734714448864 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=295240 CPUtime=6.28 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 7559 0 0 0 628 0 0 0 25 0 4 0 651818491 302325760 17120 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=295240 CPUtime=6.21 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 5614 0 0 0 621 0 0 0 25 0 4 0 651818491 302325760 17120 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365327 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) 295240

[startup+12.7002 s]
/proc/loadavg: 7.62 7.95 8.01 10/354 15841
/proc/meminfo: memFree=25629424/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=296276 CPUtime=50.64 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 42445 0 0 0 5057 7 0 0 25 0 4 0 651818491 303386624 22770 33554432000 4194304 4650419 140734714448864 18446744073709551615 4311206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 74069 22771 393 112 0 69034 0
[pid=15832/tid=15836] ppid=15830 vsize=296276 CPUtime=12.68 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 12291 0 0 0 1267 1 0 0 25 0 4 0 651818491 303386624 22771 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=296276 CPUtime=12.69 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 12231 0 0 0 1267 2 0 0 25 0 4 0 651818491 303386624 22771 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=296276 CPUtime=12.54 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 7358 0 0 0 1254 0 0 0 25 0 4 0 651818491 303386624 22771 33554432000 4194304 4650419 140734714448864 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 296276

[startup+25.5009 s]
/proc/loadavg: 7.68 7.95 8.01 10/354 15841
/proc/meminfo: memFree=25592220/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=306876 CPUtime=101.69 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 64130 0 0 0 10157 12 0 0 25 0 4 0 651818491 314241024 29919 33554432000 4194304 4650419 140734714448864 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 76719 29919 393 112 0 71684 0
[pid=15832/tid=15836] ppid=15830 vsize=306876 CPUtime=25.48 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 20074 0 0 0 2545 3 0 0 25 0 4 0 651818491 314241024 29919 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=306876 CPUtime=25.49 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 19732 0 0 0 2545 4 0 0 25 0 4 0 651818491 314241024 29919 33554432000 4194304 4650419 140734714448864 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=306876 CPUtime=25.21 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 7706 0 0 0 2520 1 0 0 25 0 4 0 651818491 314241024 29919 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 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) 306876

[startup+51.1002 s]
/proc/loadavg: 7.79 7.96 8.00 10/354 15842
/proc/meminfo: memFree=25521340/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=308220 CPUtime=203.79 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 95459 0 0 0 20361 18 0 0 25 0 4 0 651818491 315617280 36202 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 77055 36202 393 112 0 72020 0
[pid=15832/tid=15836] ppid=15830 vsize=308220 CPUtime=51.08 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 31302 0 0 0 5103 5 0 0 25 0 4 0 651818491 315617280 36202 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=308220 CPUtime=51.09 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 32143 0 0 0 5102 7 0 0 25 0 4 0 651818491 315617280 36202 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=308220 CPUtime=50.52 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 8266 0 0 0 5051 1 0 0 25 0 4 0 651818491 315617280 36202 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 308220

[startup+102.314 s]
/proc/loadavg: 7.98 7.99 8.01 10/354 15843
/proc/meminfo: memFree=25402152/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=452452 CPUtime=408.08 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 146555 0 0 0 40778 30 0 0 25 0 4 0 651818491 463310848 51953 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 113113 51953 393 112 0 108078 0
[pid=15832/tid=15836] ppid=15830 vsize=452452 CPUtime=102.3 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 45112 0 0 0 10222 8 0 0 25 0 4 0 651818491 463310848 51953 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=452452 CPUtime=102.29 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 51009 0 0 0 10218 11 0 0 25 0 4 0 651818491 463310848 51953 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=452452 CPUtime=101.17 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 11466 0 0 0 10115 2 0 0 25 0 4 0 651818491 463310848 51953 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 452452

[startup+162.301 s]

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

[pid=15832] ppid=15830 vsize=634876 CPUtime=2801.22 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 475395 0 0 0 279964 158 0 0 25 0 4 0 651818491 650113024 109052 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 158719 109052 393 112 0 153684 0
[pid=15832/tid=15836] ppid=15830 vsize=634876 CPUtime=702.3 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 163405 0 0 0 70170 60 0 0 25 0 4 0 651818491 650113024 109052 33554432000 4194304 4650419 140734714448864 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=634876 CPUtime=702.29 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 164757 0 0 0 70179 50 0 0 25 0 4 0 651818491 650113024 109052 33554432000 4194304 4650419 140734714448864 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=634876 CPUtime=694.43 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 24263 0 0 0 69434 9 0 0 25 0 4 0 651818491 650113024 109052 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.22
Current children cumulated vsize (KiB) 634876

[startup+762.314 s]
/proc/loadavg: 8.13 8.10 8.04 10/354 15861
/proc/meminfo: memFree=24966288/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=639160 CPUtime=3040.57 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 500695 0 0 0 303886 171 0 0 25 0 4 0 651818491 654499840 112765 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 159790 112765 393 112 0 154755 0
[pid=15832/tid=15836] ppid=15830 vsize=639160 CPUtime=762.31 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 172298 0 0 0 76169 62 0 0 25 0 4 0 651818491 654499840 112765 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=639160 CPUtime=762.3 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 174302 0 0 0 76174 56 0 0 25 0 4 0 651818491 654499840 112765 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=639160 CPUtime=753.75 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 27213 0 0 0 75364 11 0 0 25 0 4 0 651818491 654499840 112765 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.57
Current children cumulated vsize (KiB) 639160

[startup+822.301 s]
/proc/loadavg: 8.12 8.11 8.04 10/354 15862
/proc/meminfo: memFree=24963116/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=641744 CPUtime=3279.83 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 518233 0 0 0 327806 177 0 0 25 0 4 0 651818491 657145856 117762 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 160436 117762 393 112 0 155401 0
[pid=15832/tid=15836] ppid=15830 vsize=641744 CPUtime=822.31 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 180269 0 0 0 82165 66 0 0 25 0 4 0 651818491 657145856 117762 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=641744 CPUtime=822.28 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 183343 0 0 0 82170 58 0 0 25 0 4 0 651818491 657145856 117762 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=641744 CPUtime=813.06 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 27253 0 0 0 81295 11 0 0 25 0 4 0 651818491 657145856 117762 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.83
Current children cumulated vsize (KiB) 641744

[startup+882.301 s]
/proc/loadavg: 8.04 8.09 8.03 10/354 15864
/proc/meminfo: memFree=24965668/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=642128 CPUtime=3519.15 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 537616 0 0 0 351729 186 0 0 25 0 4 0 651818491 657539072 116839 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 160532 116839 393 112 0 155497 0
[pid=15832/tid=15836] ppid=15830 vsize=642128 CPUtime=882.31 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 190420 0 0 0 88161 70 0 0 25 0 4 0 651818491 657539072 116839 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=642128 CPUtime=882.28 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 191141 0 0 0 88166 62 0 0 25 0 4 0 651818491 657539072 116839 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=642128 CPUtime=872.38 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 27414 0 0 0 87227 11 0 0 25 0 4 0 651818491 657539072 116839 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.15
Current children cumulated vsize (KiB) 642128

[startup+942.301 s]
/proc/loadavg: 8.01 8.07 8.03 10/354 15866
/proc/meminfo: memFree=24946636/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=586396 CPUtime=3758.46 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 561474 0 0 0 375649 197 0 0 25 0 4 0 651818491 600469504 117945 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 146599 117945 393 112 0 141564 0
[pid=15832/tid=15836] ppid=15830 vsize=586396 CPUtime=942.31 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 198833 0 0 0 94158 73 0 0 25 0 4 0 651818491 600469504 117945 33554432000 4194304 4650419 140734714448864 18446744073709551615 4433096 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=586396 CPUtime=942.28 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 198858 0 0 0 94162 66 0 0 25 0 4 0 651818491 600469504 117945 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=586396 CPUtime=931.7 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 29720 0 0 0 93157 13 0 0 25 0 4 0 651818491 600469504 117945 33554432000 4194304 4650419 140734714448864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.46
Current children cumulated vsize (KiB) 586396

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 8.03 10/354 15867
/proc/meminfo: memFree=24931300/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=610480 CPUtime=3997.76 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 582232 0 0 0 399569 207 0 0 25 0 4 0 651818491 625131520 113243 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 152620 113243 393 112 0 147585 0
[pid=15832/tid=15836] ppid=15830 vsize=610480 CPUtime=1002.3 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 204909 0 0 0 100155 75 0 0 25 0 4 0 651818491 625131520 113243 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=610480 CPUtime=1002.28 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 206307 0 0 0 100159 69 0 0 25 0 4 0 651818491 625131520 113243 33554432000 4194304 4650419 140734714448864 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=610480 CPUtime=991 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 31006 0 0 0 99086 14 0 0 25 0 4 0 651818491 625131520 113243 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.76
Current children cumulated vsize (KiB) 610480

[startup+1062.3 s]
/proc/loadavg: 8.10 8.08 8.03 10/354 15869
/proc/meminfo: memFree=24913864/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=647460 CPUtime=4237.09 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 611309 0 0 0 423489 220 0 0 25 0 4 0 651818491 662999040 119449 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 161865 119449 393 112 0 156830 0
[pid=15832/tid=15836] ppid=15830 vsize=647460 CPUtime=1062.31 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 212901 0 0 0 106152 79 0 0 25 0 4 0 651818491 662999040 119450 33554432000 4194304 4650419 140734714448864 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=647460 CPUtime=1062.28 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 213434 0 0 0 106155 73 0 0 25 0 4 0 651818491 662999040 119450 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=647460 CPUtime=1050.35 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 37385 0 0 0 105019 16 0 0 25 0 4 0 651818491 662999040 119450 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.09
Current children cumulated vsize (KiB) 647460

[startup+1122.3 s]
/proc/loadavg: 8.04 8.06 8.03 10/354 15879
/proc/meminfo: memFree=24885980/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=664876 CPUtime=4476.38 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 640289 0 0 0 447404 234 0 0 25 0 4 0 651818491 680833024 122019 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 166219 122019 393 112 0 161184 0
[pid=15832/tid=15836] ppid=15830 vsize=664876 CPUtime=1122.28 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 221215 0 0 0 112145 83 0 0 25 0 4 0 651818491 680833024 122019 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=664876 CPUtime=1122.28 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 222342 0 0 0 112151 77 0 0 25 0 4 0 651818491 680833024 122019 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365369 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=664876 CPUtime=1109.67 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 41539 0 0 0 110949 18 0 0 25 0 4 0 651818491 680833024 122019 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.38
Current children cumulated vsize (KiB) 664876

[startup+1182.3 s]
/proc/loadavg: 8.08 8.07 8.03 10/354 15881
/proc/meminfo: memFree=24797720/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=810772 CPUtime=4715.7 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 675961 0 0 0 471323 247 0 0 25 0 4 0 651818491 830230528 141588 33554432000 4194304 4650419 140734714448864 18446744073709551615 4433087 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 202693 141588 393 112 0 197658 0
[pid=15832/tid=15836] ppid=15830 vsize=810772 CPUtime=1182.29 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 229091 0 0 0 118143 86 0 0 25 0 4 0 651818491 830230528 141588 33554432000 4194304 4650419 140734714448864 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=810772 CPUtime=1182.28 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 237614 0 0 0 118146 82 0 0 25 0 4 0 651818491 830230528 141588 33554432000 4194304 4650419 140734714448864 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=810772 CPUtime=1169 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 43294 0 0 0 116880 20 0 0 25 0 4 0 651818491 830230528 141588 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.7
Current children cumulated vsize (KiB) 810772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.06 8.06 8.02 9/354 15882
/proc/meminfo: memFree=24810460/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=753024 CPUtime=4800.26 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 679557 0 0 0 479777 249 0 0 25 0 4 0 651818491 771096576 140217 33554432000 4194304 4650419 140734714448864 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 188256 140217 393 112 0 183221 0
[pid=15832/tid=15836] ppid=15830 vsize=753024 CPUtime=1203.5 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 232075 0 0 0 120263 87 0 0 25 0 4 0 651818491 771096576 140218 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=753024 CPUtime=1203.5 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 237614 0 0 0 120268 82 0 0 25 0 4 0 651818491 771096576 140218 33554432000 4194304 4650419 140734714448864 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=753024 CPUtime=1189.94 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 43616 0 0 0 118973 21 0 0 25 0 4 0 651818491 771096576 140218 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 753024

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

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

[startup+1203.5 s]
/proc/loadavg: 8.06 8.06 8.02 9/354 15882
/proc/meminfo: memFree=24810460/32951124 swapFree=40554400/67111528
[pid=15832] ppid=15830 vsize=753024 CPUtime=4800.26 cores=0,2,4,6
/proc/15832/stat : 15832 (strangenight1-m) R 15830 15832 15499 0 -1 4202496 679557 0 0 0 479777 249 0 0 25 0 4 0 651818491 771096576 140217 33554432000 4194304 4650419 140734714448864 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15832/statm: 188256 140217 393 112 0 183221 0
[pid=15832/tid=15836] ppid=15830 vsize=753024 CPUtime=1203.5 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 232075 0 0 0 120263 87 0 0 25 0 4 0 651818491 771096576 140218 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15832/tid=15837] ppid=15830 vsize=753024 CPUtime=1203.5 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 237614 0 0 0 120268 82 0 0 25 0 4 0 651818491 771096576 140218 33554432000 4194304 4650419 140734714448864 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15832/tid=15838] ppid=15830 vsize=753024 CPUtime=1189.94 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (strangenight1-m) R 15830 15832 15499 0 -1 4202560 43616 0 0 0 118973 21 0 0 25 0 4 0 651818491 771096576 140218 33554432000 4194304 4650419 140734714448864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 753024

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.33
CPU user time (s): 4797.81
CPU system time (s): 2.51962
CPU usage (%): 398.85
Max. virtual memory (cumulated for all children) (KiB): 861908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.81
system time used= 2.51962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679558
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= 257
involuntary context switches= 33466

runsolver used 3.89341 second user time and 9.71752 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-14 21:43:00
IDJOB=3368752
IDBENCH=82761
IDSOLVER=1846
FILE ID=node104/3368752-1305402180
RUNJOBID= node104-1305402180-15813
PBS_JOBID= 13324492
Free space on /tmp= 73396 MiB

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

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

MD5SUM BENCH= 7790a3f63c0c8a2b2a87d89aa5f80b99
RANDOM SEED=1550461299

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:      25804632 kB
Buffers:        293476 kB
Cached:        2377700 kB
SwapCached:     122128 kB
Active:         926696 kB
Inactive:      5953140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25804632 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:           12520 kB
Writeback:           0 kB
AnonPages:     4099424 kB
Mapped:          10484 kB
Slab:           117644 kB
PageTables:      85056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74811476 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-14 22:03:06