Trace number 3175440

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf
MD5SUM010b9faa30750ce3440cb9a8110ebefe
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.095984
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
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 52662
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-3175440-1304123912.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/2662/2662 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:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.40/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.40/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.40/0.14	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.40/0.14	c calculated reachability. Time: 0.00
0.40/0.14	c Calc default polars -  time:   0.00 s pos:      62 undec:       6 neg:      57
0.40/0.14	c =========================================================================================
0.40/0.14	c types(t): F = full restart, N = normal restart
0.40/0.14	c types(t): S = simplification begin/end, E = solution found
0.40/0.14	c restart types(rt): st = static, dy = dynamic
0.40/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.40/0.14	c  B st     0         0       125      2662         0         0     13310         0   no data   no data  --
0.40/0.14	c Decided on static restart strategy
0.40/0.14	c  N st     8      4916       125      2662         0      4675     13310    121093   no data   no data  --
1.97/0.58	c  N st    10     11299       125      2662         0      4301     13310     87724   no data   no data  --
1.97/0.58	c  N st    11     17043       125      2662         0      9691     13310    234790   no data   no data  --
3.57/0.90	c  F st    12     25000       125      2662         0     11876     13310    283438   no data   no data  --
3.57/0.90	c  N st    12     25000       125      2662         0     11876     13310    283438   no data   no data  --
3.97/1.10	c Decided on static restart strategy
3.97/1.10	c  N st    18     30002       125      2662         0     10199     13310    225995   no data   no data  --
3.97/1.10	c  S st    18     30002       125      2662         0     10199     13310    225995   no data   no data  --
4.38/1.20	c  S st    18     30504       125      2662         0     10685     13310    238817   no data   no data  --
4.38/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.38/1.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.38/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.38/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.38/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.38/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.76/1.76	c lits-rem:      2417  cl-subs:     1429  v-elim:      0  v-fix:    0  time:  2.53 s
7.17/1.80	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.17
7.17/1.80	c calculated reachability. Time: 0.00
7.17/1.80	c  N st    18     30504       125      2662         0      9256     13310    197098   no data   no data  --
8.37/2.11	c  N st    20     37615       125      2662         0      8539     13310    164716   no data   no data  --
9.56/2.41	c  N st    21     44015       125      2662         0     14541     13310    321219   no data   no data  --
9.96/2.51	c  S st    22     45756       125      2662         0     16183     13310    363621   no data   no data  --
9.96/2.55	c  S st    22     46259       125      2662         0     16672     13310    375872   no data   no data  --
9.96/2.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.96/2.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
9.96/2.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
9.96/2.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.96	c lits-rem:      4758  cl-subs:     1774  v-elim:      0  v-fix:    0  time:  5.57 s
15.55/3.96	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
15.55/3.97	c vivif2 --  cl tried    14898 cl shrink        0 lits rem          0 time: 0.01
15.95/4.03	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.26
15.95/4.03	c calculated reachability. Time: 0.00
15.95/4.03	c  N st    22     46259       125      2662         0     14898     13310    322516   no data   no data  --
19.14/4.88	c  N st    23     60657       125      2662         0     10716     13310    190091   no data   no data  --
21.14/5.37	c  N st    24     69388       125      2662         0     18917     13310    401590   no data   no data  --
21.14/5.37	c  S st    24     69388       125      2662         0     18917     13310    401590   no data   no data  --
21.54/5.42	c  S st    24     69891       125      2662         0     19407     13310    414235   no data   no data  --
21.54/5.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.54/5.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.54/5.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
21.54/5.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.54/5.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.54/5.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
21.54/5.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.53/6.92	c lits-rem:      3929  cl-subs:     2198  v-elim:      0  v-fix:    0  time:  5.91 s
27.53/6.92	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.53/6.92	c vivif2 --  cl tried    17209 cl shrink        0 lits rem          0 time: 0.02
27.93/7.00	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.33
27.93/7.00	c calculated reachability. Time: 0.00
27.93/7.00	c  N st    24     69891       125      2662         0     17209     13310    353217   no data   no data  --
32.33/8.15	c  F st    25     87502       125      2662         0     12291     13310    211550   no data   no data  --
32.33/8.15	c  N st    25     87502       125      2662         0     12291     13310    211550   no data   no data  --
33.53/8.43	c Decided on static restart strategy
34.33/8.60	c  N st    32     95545       125      2662         0     19904     13310    405745   no data   no data  --
36.72/9.28	c  N st    34    104836       125      2662         0     16409     13310    307256   no data   no data  --
36.72/9.28	c  S st    34    104836       125      2662         0     16409     13310    307256   no data   no data  --
37.12/9.32	c  S st    34    105342       125      2662         0     16903     13310    319721   no data   no data  --
37.12/9.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.12/9.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.12/9.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
37.12/9.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.12/9.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.12/9.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
37.12/9.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.51/10.44	c lits-rem:      2719  cl-subs:     1134  v-elim:      0  v-fix:    0  time:  4.39 s
41.51/10.44	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
41.51/10.44	c vivif2 --  cl tried    15769 cl shrink        0 lits rem          0 time: 0.01
41.91/10.51	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.28
41.91/10.51	c calculated reachability. Time: 0.00
41.91/10.51	c  N st    34    105342       125      2662         0     15769     13310    288148   no data   no data  --
44.71/11.27	c  N st    35    114941       125      2662         0     24724     13310    514025   no data   no data  --
49.10/12.36	c  N st    36    129340       125      2662         0     25076     13310    514064   no data   no data  --
56.30/14.11	c  N st    37    150937       125      2662         0     16253     13310    257657   no data   no data  --
57.89/14.59	c  S st    38    158014       125      2662         0     22848     13310    427123   no data   no data  --
58.29/14.66	c  S st    38    158519       125      2662         0     23334     13310    439875   no data   no data  --
58.29/14.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.29/14.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.29/14.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
58.29/14.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.29/14.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.29/14.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
58.29/14.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.49/16.40	c lits-rem:      2846  cl-subs:     2104  v-elim:      0  v-fix:    0  time:  6.87 s
65.49/16.40	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
65.49/16.40	c vivif2 --  cl tried    21230 cl shrink        0 lits rem          0 time: 0.02
65.91/16.52	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.46
65.91/16.52	c calculated reachability. Time: 0.00
65.91/16.52	c  N st    38    158519       125      2662         0     21230     13310    384065   no data   no data  --
83.47/20.94	c  N st    39    207107       125      2662         0     33963     13310    672636   no data   no data  --
95.04/23.88	c  N st    40    237778       125      2662         0     26197     13310    462145   no data   no data  --
95.04/23.88	c  S st    40    237778       125      2662         0     26197     13310    462145   no data   no data  --
95.44/23.95	c  S st    40    238283       125      2662         0     26687     13310    474707   no data   no data  --
95.44/23.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
95.44/23.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.44/23.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
95.44/23.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.44/23.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.44/23.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
95.44/23.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.83/25.54	c lits-rem:      3846  cl-subs:     2230  v-elim:      0  v-fix:    0  time:  6.26 s
101.83/25.54	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
101.83/25.54	c vivif2 --  cl tried    24457 cl shrink        0 lits rem          0 time: 0.02
102.23/25.66	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.45
102.23/25.66	c calculated reachability. Time: 0.00
102.23/25.66	c  N st    40    238283       125      2662         0     24457     13310    417708   no data   no data  --
130.59/32.74	c  F st    41    306254       125      2662         0     26544     13310    434171   no data   no data  --
130.59/32.74	c  N st    41    306254       125      2662         0     26544     13310    434171   no data   no data  --
132.58/33.28	c Decided on static restart strategy
143.77/36.06	c  N st    51    334560       125      2662         0     30553     13310    514075   no data   no data  --
153.77/38.53	c  N st    53    357424       125      2662         0     28613     13310    454070   no data   no data  --
153.77/38.53	c  S st    53    357424       125      2662         0     28613     13310    454070   no data   no data  --
154.17/38.62	c  S st    53    357933       125      2662         0     29105     13310    466713   no data   no data  --
154.17/38.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
154.17/38.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.17/38.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
154.17/38.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.17/38.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.17/38.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
154.17/38.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
162.97/40.89	c lits-rem:      2187  cl-subs:     1163  v-elim:      0  v-fix:    0  time:  8.98 s
162.97/40.89	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
163.34/40.90	c vivif2 --  cl tried    27942 cl shrink        0 lits rem          0 time: 0.02
164.14/41.12	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.89
164.14/41.12	c calculated reachability. Time: 0.00
164.14/41.12	c  N st    53    357933       125      2662         0     27942     13310    434023   no data   no data  --
180.14/45.18	c  N st    54    390328       125      2662         0     33913     13310    571019   no data   no data  --
201.70/50.56	c  N st    55    438916       125      2662         0     27991     13310    400167   no data   no data  --
233.64/58.53	c  N st    56    511798       125      2662         0     41054     13310    720080   no data   no data  --
245.63/61.54	c  N st    57    536900       125      2662         0     35526     13310    551007   no data   no data  --
245.63/61.54	c  S st    57    536900       125      2662         0     35526     13310    551007   no data   no data  --
246.05/61.63	c  S st    57    537407       125      2662         0     36017     13310    563984   no data   no data  --
246.05/61.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
246.05/61.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
246.05/61.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
246.05/61.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
246.05/61.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.05/61.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
246.05/61.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
253.62/63.58	c lits-rem:      2568  cl-subs:     1373  v-elim:      0  v-fix:    0  time:  7.67 s
253.62/63.58	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
253.62/63.58	c vivif2 --  cl tried    34644 cl shrink        0 lits rem          0 time: 0.02
254.42/63.75	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.69
254.42/63.76	c calculated reachability. Time: 0.00
254.42/63.76	c  N st    57    537407       125      2662         0     34644     13310    526423   no data   no data  --
347.89/87.10	c  N st    58    701392       125      2662         0     62353     13310   1227867   no data   no data  --
412.60/103.37	c  N st    59    806111       125      2662         0     56739     13310   1015471   no data   no data  --
412.60/103.37	c  S st    59    806111       125      2662         0     56739     13310   1015471   no data   no data  --
413.42/103.57	c  S st    59    806613       125      2662         0     57223     13310   1028478   no data   no data  --
413.42/103.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
413.42/103.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
413.79/103.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
413.79/103.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
413.79/103.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
413.79/103.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
413.79/103.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
438.17/109.77	c lits-rem:       443  cl-subs:     4677  v-elim:      0  v-fix:    0  time: 24.52 s
438.17/109.77	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
438.17/109.78	c vivif2 --  cl tried    52546 cl shrink        0 lits rem          0 time: 0.04
439.78/110.13	c asymm  cl-useful: 0/2243/2662 lits-rem:0 time: 1.39
439.78/110.13	c calculated reachability. Time: 0.00
439.78/110.13	c  N st    59    806613       125      2662         0     52546     13310    909054   no data   no data  --
611.93/153.26	c  F st    60   1071876       125      2662         0     67906     13310   1227671   no data   no data  --
611.93/153.26	c  N st    60   1071876       125      2662         0     67906     13310   1227671   no data   no data  --
617.12/154.53	c Decided on static restart strategy
633.50/158.61	c  N st    70   1100181       125      2662         0     52494     13310    802143   no data   no data  --
661.86/165.70	c  N st    72   1136176       125      2662         0     43132     13310    532660   no data   no data  --
681.45/170.62	c  N st    73   1168568       125      2662         0     73471     13310   1295219   no data   no data  --
713.79/178.76	c  N st    74   1209921       125      2662         0     68434     13310   1191799   no data   no data  --
713.79/178.76	c  S st    74   1209921       125      2662         0     68434     13310   1191799   no data   no data  --
714.99/179.05	c  S st    74   1210428       125      2662         0     68928     13310   1204837   no data   no data  --
714.99/179.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
714.99/179.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
714.99/179.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
715.38/179.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
715.38/179.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
715.38/179.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
715.38/179.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
764.54/191.45	c lits-rem:      1933  cl-subs:     4357  v-elim:      0  v-fix:    0  time: 49.15 s
764.54/191.45	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
764.54/191.46	c vivif2 --  cl tried    64571 cl shrink        0 lits rem          0 time: 0.06
766.12/191.83	c asymm  cl-useful: 0/2021/2662 lits-rem:0 time: 1.46
766.12/191.83	c calculated reachability. Time: 0.00
766.12/191.83	c  N st    74   1210428       125      2662         0     64571     13310   1090020   no data   no data  --
819.24/205.14	c  N st    75   1283313       125      2662         0     87598     13310   1693805   no data   no data  --
916.31/229.40	c  N st    76   1392636       125      2662         0     49519     13310    625333   no data   no data  --
1055.71/264.35	c  N st    77   1556620       125      2662         0     54378     13310    708194   no data   no data  --
1175.95/294.45	c  N st    78   1710429       125      2662         0     94608     13310   1791703   no data   no data  --
1175.95/294.45	c  S st    78   1710429       125      2662         0     94608     13310   1791703   no data   no data  --
1177.15/294.78	c  S st    78   1710931       125      2662         0     95099     13310   1804754   no data   no data  --
1177.15/294.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1177.15/294.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1177.56/294.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1177.56/294.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1177.56/294.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1177.56/294.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1177.56/294.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1301.78/325.93	c lits-rem:      2286  cl-subs:     8506  v-elim:      0  v-fix:    0  time: 123.90 s
1301.78/325.93	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1301.78/325.95	c vivif2 --  cl tried    86593 cl shrink        0 lits rem          0 time: 0.09
1302.98/326.21	c asymm  cl-useful: 0/641/2662 lits-rem:0 time: 1.04
1302.98/326.21	c calculated reachability. Time: 0.00
1302.98/326.21	c  N st    78   1710931       125      2662         0     86593     13310   1578649   no data   no data  --
1652.90/413.84	c  N st    79   2079895       125      2662         0     97747     13310   1771355   no data   no data  --
1778.73/445.36	c  N st    80   2210931       125      2662         0    101772     13310   1841253   no data   no data  --
1778.73/445.36	c  S st    80   2210931       125      2662         0    101772     13310   1841253   no data   no data  --
1779.95/445.67	c  S st    80   2211434       125      2662         0    102264     13310   1854352   no data   no data  --
1779.95/445.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1779.95/445.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1780.33/445.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1780.33/445.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1780.33/445.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1780.33/445.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1780.33/445.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1899.76/475.63	c lits-rem:      3248  cl-subs:     9007  v-elim:      0  v-fix:    0  time: 119.18 s
1899.76/475.63	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1899.76/475.65	c vivif2 --  cl tried    93257 cl shrink        0 lits rem          0 time: 0.09
1901.76/476.11	c asymm  cl-useful: 0/1247/2662 lits-rem:0 time: 1.86
1901.76/476.12	c calculated reachability. Time: 0.00
1901.76/476.12	c  N st    80   2211434       125      2662         0     93257     13310   1620111   no data   no data  --
2395.48/599.77	c  N st    81   2711434       125      2662         0    115695     13310   2096858   no data   no data  --
2395.48/599.77	c  S st    81   2711434       125      2662         0    115695     13310   2096858   no data   no data  --
2397.08/600.17	c  S st    81   2711936       125      2662         0    116180     13310   2109679   no data   no data  --
2397.08/600.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2397.08/600.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2397.48/600.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
2397.88/600.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2397.88/600.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2397.88/600.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2397.88/600.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2574.45/644.59	c lits-rem:      3500  cl-subs:    12493  v-elim:      0  v-fix:    0  time: 176.87 s
2574.45/644.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2574.86/644.62	c vivif2 --  cl tried   103687 cl shrink        0 lits rem          0 time: 0.12
2576.84/645.11	c asymm  cl-useful: 0/981/2662 lits-rem:0 time: 1.97
2576.84/645.12	c calculated reachability. Time: 0.00
2576.84/645.12	c  N st    81   2711936       125      2662         0    103687     13310   1800446   no data   no data  --
3120.50/781.22	c  N st    82   3211936       125      2662         0     80884     13310   1049316   no data   no data  --
3120.50/781.22	c  S st    82   3211936       125      2662         0     80884     13310   1049316   no data   no data  --
3121.30/781.46	c  S st    82   3212438       125      2662         0     81371     13310   1062567   no data   no data  --
3121.30/781.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3121.30/781.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3121.69/781.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
3121.69/781.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3121.69/781.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3121.69/781.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3121.69/781.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3149.25/788.45	c lits-rem:      1796  cl-subs:     2544  v-elim:      0  v-fix:    0  time: 27.63 s
3149.25/788.45	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3149.25/788.46	c vivif2 --  cl tried    78827 cl shrink        0 lits rem          0 time: 0.06
3150.47/788.77	c asymm  cl-useful: 0/1484/2662 lits-rem:0 time: 1.22
3150.47/788.77	c calculated reachability. Time: 0.00
3150.47/788.77	c  N st    82   3212438       125      2662         0     78827     13310   1004658   no data   no data  --
3779.59/946.24	c  N st    83   3712441       125      2662         0     89548     13310   1203437   no data   no data  --
3779.59/946.24	c  S st    83   3712441       125      2662         0     89548     13310   1203437   no data   no data  --
3780.79/946.51	c  S st    83   3712946       125      2662         0     90042     13310   1216781   no data   no data  --
3780.79/946.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3780.79/946.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3780.79/946.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
3781.19/946.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3781.19/946.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3781.19/946.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3781.19/946.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3808.75/953.57	c lits-rem:      1633  cl-subs:     2802  v-elim:      0  v-fix:    0  time: 27.87 s
3808.75/953.58	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3808.75/953.59	c vivif2 --  cl tried    87240 cl shrink        0 lits rem          0 time: 0.06
3810.35/953.93	c asymm  cl-useful: 0/1138/2662 lits-rem:0 time: 1.35
3810.35/953.93	c calculated reachability. Time: 0.00
3810.35/953.93	c  N st    83   3712946       125      2662         0     87240     13310   1148470   no data   no data  --
3852.70/964.59	c  F st    84   3751564       125      2662         0    123249     13310   2084791   no data   no data  --
3852.70/964.59	c  N st    84   3751564       125      2662         0    123249     13310   2084791   no data   no data  --
3862.70/967.06	c Decided on static restart strategy
3899.82/976.39	c  N st    94   3779867       125      2662         0    149781     13310   2801832   no data   no data  --
3944.56/987.50	c  N st    96   3815862       125      2662         0    104360     13310   1573499   no data   no data  --
3985.73/997.87	c  N st    97   3848255       125      2662         0    134584     13310   2367058   no data   no data  --
4050.42/1014.03	c  N st    98   3896845       125      2662         0     99876     13310   1447469   no data   no data  --
4160.27/1041.53	c  N st    99   3969727       125      2662         0     86701     13310   1074608   no data   no data  --
4318.86/1081.20	c  N st   100   4079053       125      2662         0    106462     13310   1580195   no data   no data  --
4510.59/1129.28	c  N st   101   4212946       125      2662         0    148237     13310   2618569   no data   no data  --
4510.59/1129.28	c  S st   101   4212946       125      2662         0    148237     13310   2618569   no data   no data  --
4512.61/1129.77	c  S st   101   4213449       125      2662         0    148721     13310   2631441   no data   no data  --
4512.61/1129.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4512.61/1129.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4513.01/1129.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4513.38/1129.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4513.38/1129.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4513.38/1129.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4513.38/1129.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175440-1304123912/watcher-3175440-1304123912 -o /tmp/evaluation-result-3175440-1304123912/solver-3175440-1304123912 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175440-1304123912.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: 8.13 8.07 8.01 7/180 28151
/proc/meminfo: memFree=30927312/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 523989165 52465664 356 33554432000 4194304 4650419 140735108692112 18446744073709551615 47599342155692 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28151/statm: 12809 356 306 112 0 7774 0
[pid=28151/tid=28152] ppid=28149 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 523989165 52465664 356 33554432000 4194304 4650419 140735108692112 18446744073709551615 228122714043 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523989165 52465664 356 33554432000 4194304 4650419 140735108692112 18446744073709551615 47599342155688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523989165 52465664 366 33554432000 4194304 4650419 140735108692112 18446744073709551615 47599342155289 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.106241 s]
/proc/loadavg: 8.13 8.07 8.01 7/180 28151
/proc/meminfo: memFree=30927312/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=282772 CPUtime=0.4 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 1905 0 0 0 40 0 0 0 25 0 4 0 523989165 289558528 1735 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 70693 1735 389 112 0 65658 0
[pid=28151/tid=28152] ppid=28149 vsize=282772 CPUtime=0.1 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 399 0 0 0 10 0 0 0 18 0 4 0 523989165 289558528 1735 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=282772 CPUtime=0.09 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 389 0 0 0 9 0 0 0 18 0 4 0 523989165 289558528 1735 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366698 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=282772 CPUtime=0.1 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 280 0 0 0 10 0 0 0 18 0 4 0 523989165 289558528 1736 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282772

[startup+0.200224 s]
/proc/loadavg: 8.13 8.07 8.01 7/180 28151
/proc/meminfo: memFree=30927312/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=284100 CPUtime=0.77 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 2763 0 0 0 77 0 0 0 25 0 4 0 523989165 290918400 1972 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 71025 1974 391 112 0 65990 0
[pid=28151/tid=28152] ppid=28149 vsize=284100 CPUtime=0.19 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 608 0 0 0 19 0 0 0 18 0 4 0 523989165 290918400 1974 33554432000 4194304 4650419 140735108692112 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=284100 CPUtime=0.19 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 602 0 0 0 19 0 0 0 18 0 4 0 523989165 290918400 1974 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=284100 CPUtime=0.19 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 497 0 0 0 19 0 0 0 18 0 4 0 523989165 290918400 1974 33554432000 4194304 4650419 140735108692112 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284100

[startup+0.300205 s]
/proc/loadavg: 8.13 8.07 8.01 7/180 28151
/proc/meminfo: memFree=30927312/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=284100 CPUtime=1.17 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 3153 0 0 0 117 0 0 0 25 0 4 0 523989165 290918400 2362 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 71025 2362 391 112 0 65990 0
[pid=28151/tid=28152] ppid=28149 vsize=284100 CPUtime=0.29 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 700 0 0 0 29 0 0 0 18 0 4 0 523989165 290918400 2362 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366015 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=284100 CPUtime=0.29 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 697 0 0 0 29 0 0 0 18 0 4 0 523989165 290918400 2362 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=284100 CPUtime=0.29 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 598 0 0 0 29 0 0 0 18 0 4 0 523989165 290918400 2362 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284100

[startup+0.701134 s]
/proc/loadavg: 8.13 8.07 8.01 7/180 28151
/proc/meminfo: memFree=30927312/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=285792 CPUtime=2.77 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 5686 0 0 0 277 0 0 0 25 0 4 0 523989165 292651008 2763 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 71448 2763 391 112 0 66413 0
[pid=28151/tid=28152] ppid=28149 vsize=285792 CPUtime=0.69 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 1358 0 0 0 69 0 0 0 18 0 4 0 523989165 292651008 2763 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=285792 CPUtime=0.69 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 1318 0 0 0 69 0 0 0 18 0 4 0 523989165 292651008 2763 33554432000 4194304 4650419 140735108692112 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=285792 CPUtime=0.69 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 1198 0 0 0 69 0 0 0 18 0 4 0 523989165 292651008 2763 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285792

[startup+1.50099 s]
/proc/loadavg: 8.28 8.11 8.02 10/184 28155
/proc/meminfo: memFree=30908764/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=282768 CPUtime=5.96 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 11487 0 0 0 595 1 0 0 25 0 4 0 523989165 289554432 6347 33554432000 4194304 4650419 140735108692112 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 70692 6348 393 112 0 65657 0
[pid=28151/tid=28152] ppid=28149 vsize=282768 CPUtime=1.49 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 3393 0 0 0 149 0 0 0 19 0 4 0 523989165 289554432 6348 33554432000 4194304 4650419 140735108692112 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=282768 CPUtime=1.48 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 2278 0 0 0 148 0 0 0 20 0 4 0 523989165 289554432 6348 33554432000 4194304 4650419 140735108692112 18446744073709551615 4315640 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=282768 CPUtime=1.49 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 2074 0 0 0 149 0 0 0 20 0 4 0 523989165 289554432 6348 33554432000 4194304 4650419 140735108692112 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 282768

[startup+3.10071 s]
/proc/loadavg: 8.28 8.11 8.02 9/184 28155
/proc/meminfo: memFree=30860156/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=283140 CPUtime=12.36 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 18990 0 0 0 1233 3 0 0 25 0 4 0 523989165 289935360 12326 33554432000 4194304 4650419 140735108692112 18446744073709551615 4438387 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 70785 12326 393 112 0 65750 0
[pid=28151/tid=28152] ppid=28149 vsize=283140 CPUtime=3.09 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 4509 0 0 0 309 0 0 0 25 0 4 0 523989165 289935360 12326 33554432000 4194304 4650419 140735108692112 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=283140 CPUtime=3.08 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 4476 0 0 0 308 0 0 0 25 0 4 0 523989165 289935360 12327 33554432000 4194304 4650419 140735108692112 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=283140 CPUtime=3.08 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 4394 0 0 0 308 0 0 0 25 0 4 0 523989165 289935360 12327 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 283140

[startup+6.30113 s]
/proc/loadavg: 8.28 8.11 8.02 9/184 28155
/proc/meminfo: memFree=30827056/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=281448 CPUtime=25.14 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 27882 0 0 0 2509 5 0 0 25 0 4 0 523989165 288202752 15280 33554432000 4194304 4650419 140735108692112 18446744073709551615 4476840 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 70362 15280 393 112 0 65327 0
[pid=28151/tid=28152] ppid=28149 vsize=281448 CPUtime=6.29 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 7305 0 0 0 629 0 0 0 25 0 4 0 523989165 288202752 15280 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=281448 CPUtime=6.29 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 7643 0 0 0 628 1 0 0 25 0 4 0 523989165 288202752 15280 33554432000 4194304 4650419 140735108692112 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=281448 CPUtime=6.28 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 5732 0 0 0 627 1 0 0 25 0 4 0 523989165 288202752 15280 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 281448

[startup+12.701 s]
/proc/loadavg: 8.24 8.10 8.02 9/184 28155
/proc/meminfo: memFree=30783092/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=285740 CPUtime=50.7 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 40953 0 0 0 5063 7 0 0 25 0 4 0 523989165 292597760 20160 33554432000 4194304 4650419 140735108692112 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 71435 20160 393 112 0 66400 0
[pid=28151/tid=28152] ppid=28149 vsize=285740 CPUtime=12.69 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 11188 0 0 0 1268 1 0 0 25 0 4 0 523989165 292597760 20160 33554432000 4194304 4650419 140735108692112 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=285740 CPUtime=12.69 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 11241 0 0 0 1267 2 0 0 25 0 4 0 523989165 292597760 20160 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=285740 CPUtime=12.69 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 8726 0 0 0 1267 2 0 0 25 0 4 0 523989165 292597760 20160 33554432000 4194304 4650419 140735108692112 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 285740

[startup+25.5007 s]
/proc/loadavg: 8.20 8.10 8.02 9/184 28156
/proc/meminfo: memFree=30730028/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=295560 CPUtime=101.83 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 61603 0 0 0 10171 12 0 0 25 0 4 0 523989165 302653440 25656 33554432000 4194304 4650419 140735108692112 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 73890 25656 393 112 0 68855 0
[pid=28151/tid=28152] ppid=28149 vsize=295560 CPUtime=25.49 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 17785 0 0 0 2546 3 0 0 25 0 4 0 523989165 302653440 25656 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=295560 CPUtime=25.49 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 18179 0 0 0 2546 3 0 0 25 0 4 0 523989165 302653440 25656 33554432000 4194304 4650419 140735108692112 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=295560 CPUtime=25.48 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 12137 0 0 0 2545 3 0 0 25 0 4 0 523989165 302653440 25656 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 295560

[startup+51.1011 s]
/proc/loadavg: 8.21 8.11 8.02 9/184 28156
/proc/meminfo: memFree=30665128/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=317736 CPUtime=204.09 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 94376 0 0 0 20389 20 0 0 25 0 4 0 523989165 325361664 34185 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 79434 34185 393 112 0 74399 0
[pid=28151/tid=28152] ppid=28149 vsize=317736 CPUtime=51.09 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 28270 0 0 0 5104 5 0 0 25 0 4 0 523989165 325361664 34185 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=317736 CPUtime=51.08 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 28427 0 0 0 5103 5 0 0 25 0 4 0 523989165 325361664 34185 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=317736 CPUtime=51.08 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 16580 0 0 0 5104 4 0 0 25 0 4 0 523989165 325361664 34185 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 317736

[startup+102.301 s]
/proc/loadavg: 8.24 8.12 8.03 9/184 28158
/proc/meminfo: memFree=30586100/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=384408 CPUtime=408.62 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 147697 0 0 0 40828 34 0 0 25 0 4 0 523989165 393633792 43348 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 96102 43348 393 112 0 91067 0
[pid=28151/tid=28152] ppid=28149 vsize=384408 CPUtime=102.29 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 43691 0 0 0 10220 9 0 0 25 0 4 0 523989165 393633792 43348 33554432000 4194304 4650419 140735108692112 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=384408 CPUtime=102.29 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 44686 0 0 0 10219 10 0 0 25 0 4 0 523989165 393633792 43348 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=384408 CPUtime=102.27 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 24907 0 0 0 10222 5 0 0 25 0 4 0 523989165 393633792 43348 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 384408

[startup+162.301 s]

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

[pid=28151] ppid=28149 vsize=592028 CPUtime=2565.66 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 436371 0 0 0 256424 142 0 0 25 0 4 0 523989165 606236672 98779 33554432000 4194304 4650419 140735108692112 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 148007 98779 393 112 0 142972 0
[pid=28151/tid=28152] ppid=28149 vsize=592028 CPUtime=642.3 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 98463 0 0 0 64200 30 0 0 25 0 4 0 523989165 606236672 98779 33554432000 4194304 4650419 140735108692112 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=592028 CPUtime=642.3 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 144459 0 0 0 64184 46 0 0 25 0 4 0 523989165 606236672 98779 33554432000 4194304 4650419 140735108692112 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=592028 CPUtime=642.21 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 68149 0 0 0 64198 23 0 0 25 0 4 0 523989165 606236672 98779 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.66
Current children cumulated vsize (KiB) 592028

[startup+702.301 s]
/proc/loadavg: 8.06 8.08 8.04 9/184 28174
/proc/meminfo: memFree=30145872/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=594216 CPUtime=2805.32 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 454799 0 0 0 280382 150 0 0 25 0 4 0 523989165 608477184 104132 33554432000 4194304 4650419 140735108692112 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 148554 104132 393 112 0 143519 0
[pid=28151/tid=28152] ppid=28149 vsize=594216 CPUtime=702.3 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 99006 0 0 0 70200 30 0 0 25 0 4 0 523989165 608477184 104132 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=594216 CPUtime=702.31 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 151719 0 0 0 70181 50 0 0 25 0 4 0 523989165 608477184 104132 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=594216 CPUtime=702.2 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 73040 0 0 0 70195 25 0 0 25 0 4 0 523989165 608477184 104132 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 594216

[startup+762.301 s]
/proc/loadavg: 8.06 8.08 8.03 9/184 28175
/proc/meminfo: memFree=30136044/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=659048 CPUtime=3045.02 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 479976 0 0 0 304341 161 0 0 25 0 4 0 523989165 674865152 103147 33554432000 4194304 4650419 140735108692112 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 164762 103147 393 112 0 159727 0
[pid=28151/tid=28152] ppid=28149 vsize=659048 CPUtime=762.31 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 105172 0 0 0 76198 33 0 0 25 0 4 0 523989165 674865152 103147 33554432000 4194304 4650419 140735108692112 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=659048 CPUtime=762.32 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 159225 0 0 0 76179 53 0 0 25 0 4 0 523989165 674865152 103147 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=659048 CPUtime=762.21 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 75968 0 0 0 76194 27 0 0 25 0 4 0 523989165 674865152 103147 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 659048

[startup+822.3 s]
/proc/loadavg: 8.06 8.08 8.03 9/184 28177
/proc/meminfo: memFree=30124208/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=633304 CPUtime=3284.66 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 505975 0 0 0 328298 168 0 0 25 0 4 0 523989165 648503296 105814 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 158326 105814 393 112 0 153291 0
[pid=28151/tid=28152] ppid=28149 vsize=633304 CPUtime=822.31 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 111554 0 0 0 82195 36 0 0 25 0 4 0 523989165 648503296 105814 33554432000 4194304 4650419 140735108692112 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=633304 CPUtime=822.31 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 169316 0 0 0 82176 55 0 0 25 0 4 0 523989165 648503296 105814 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=633304 CPUtime=822.2 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 79145 0 0 0 82192 28 0 0 25 0 4 0 523989165 648503296 105814 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 633304

[startup+882.307 s]
/proc/loadavg: 8.02 8.06 8.03 9/184 28179
/proc/meminfo: memFree=30117104/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=607508 CPUtime=3524.36 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 528719 0 0 0 352257 179 0 0 25 0 4 0 523989165 622088192 105132 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 151877 105132 393 112 0 146842 0
[pid=28151/tid=28152] ppid=28149 vsize=607508 CPUtime=882.31 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 114632 0 0 0 88194 37 0 0 25 0 4 0 523989165 622088192 105132 33554432000 4194304 4650419 140735108692112 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=607508 CPUtime=882.32 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 177698 0 0 0 88173 59 0 0 25 0 4 0 523989165 622088192 105132 33554432000 4194304 4650419 140735108692112 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=607508 CPUtime=882.19 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 83103 0 0 0 88190 29 0 0 25 0 4 0 523989165 622088192 105132 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 607508

[startup+942.301 s]
/proc/loadavg: 8.04 8.06 8.03 9/184 28180
/proc/meminfo: memFree=30111604/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=607940 CPUtime=3764.01 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 554473 0 0 0 376212 189 0 0 25 0 4 0 523989165 622530560 101408 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 151985 101408 393 112 0 146950 0
[pid=28151/tid=28152] ppid=28149 vsize=607940 CPUtime=942.3 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 123272 0 0 0 94190 40 0 0 25 0 4 0 523989165 622530560 101408 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=607940 CPUtime=942.31 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 185595 0 0 0 94169 62 0 0 25 0 4 0 523989165 622530560 101408 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=607940 CPUtime=942.18 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 84977 0 0 0 94188 30 0 0 25 0 4 0 523989165 622530560 101408 33554432000 4194304 4650419 140735108692112 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 607940

[startup+1002.3 s]
/proc/loadavg: 8.19 8.09 8.04 9/184 28182
/proc/meminfo: memFree=30096688/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=621832 CPUtime=4003.69 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 581373 0 0 0 400167 202 0 0 25 0 4 0 523989165 636755968 111100 33554432000 4194304 4650419 140735108692112 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 155458 111100 393 112 0 150423 0
[pid=28151/tid=28152] ppid=28149 vsize=621832 CPUtime=1002.31 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 128160 0 0 0 100186 45 0 0 25 0 4 0 523989165 636755968 111100 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=621832 CPUtime=1002.31 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 194825 0 0 0 100166 65 0 0 25 0 4 0 523989165 636755968 111100 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=621832 CPUtime=1002.19 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 90092 0 0 0 100186 33 0 0 25 0 4 0 523989165 636755968 111100 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 621832

[startup+1062.3 s]
/proc/loadavg: 8.20 8.10 8.04 9/184 28183
/proc/meminfo: memFree=30073080/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=622048 CPUtime=4243.36 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 603806 0 0 0 424125 211 0 0 25 0 4 0 523989165 636977152 109391 33554432000 4194304 4650419 140735108692112 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 155512 109391 393 112 0 150477 0
[pid=28151/tid=28152] ppid=28149 vsize=622048 CPUtime=1062.31 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 131903 0 0 0 106184 47 0 0 25 0 4 0 523989165 636977152 109391 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=622048 CPUtime=1062.32 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 202254 0 0 0 106164 68 0 0 25 0 4 0 523989165 636977152 109391 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=622048 CPUtime=1062.17 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 94510 0 0 0 106184 33 0 0 25 0 4 0 523989165 636977152 109391 33554432000 4194304 4650419 140735108692112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 622048

[startup+1122.3 s]
/proc/loadavg: 8.19 8.11 8.05 9/184 28185
/proc/meminfo: memFree=30041796/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=622268 CPUtime=4483.02 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 627278 0 0 0 448085 217 0 0 25 0 4 0 523989165 637202432 112214 33554432000 4194304 4650419 140735108692112 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 155567 112214 393 112 0 150532 0
[pid=28151/tid=28152] ppid=28149 vsize=622268 CPUtime=1122.31 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 135578 0 0 0 112182 49 0 0 25 0 4 0 523989165 637202432 112214 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=622268 CPUtime=1122.31 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 209978 0 0 0 112162 69 0 0 25 0 4 0 523989165 637202432 112214 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=622268 CPUtime=1122.17 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 99507 0 0 0 112182 35 0 0 25 0 4 0 523989165 637202432 112214 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.02
Current children cumulated vsize (KiB) 622268

[startup+1182.3 s]
/proc/loadavg: 8.13 8.11 8.05 9/184 28187
/proc/meminfo: memFree=30004176/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=623884 CPUtime=4722.7 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 641897 0 0 0 472046 224 0 0 25 0 4 0 523989165 638857216 122698 33554432000 4194304 4650419 140735108692112 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 155971 122698 393 112 0 150936 0
[pid=28151/tid=28152] ppid=28149 vsize=623884 CPUtime=1182.31 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 136024 0 0 0 118182 49 0 0 25 0 4 0 523989165 638857216 122698 33554432000 4194304 4650419 140735108692112 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=623884 CPUtime=1182.32 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 214987 0 0 0 118159 73 0 0 25 0 4 0 523989165 638857216 122698 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=623884 CPUtime=1182.17 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 103140 0 0 0 118180 37 0 0 25 0 4 0 523989165 638857216 122698 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.7
Current children cumulated vsize (KiB) 623884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.10 8.05 5/179 28188
/proc/meminfo: memFree=30411668/32951124 swapFree=67111444/67111528
[pid=28151] ppid=28149 vsize=623884 CPUtime=4800.21 cores=0,2,4,6
/proc/28151/stat : 28151 (strangenight1-m) R 28149 28151 27910 0 -1 4202496 649007 0 0 0 479796 225 0 0 25 0 4 0 523989165 638857216 129801 33554432000 4194304 4650419 140735108692112 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28151/statm: 155971 129801 393 112 0 150936 0
[pid=28151/tid=28152] ppid=28149 vsize=623884 CPUtime=1201.72 cores=0,2,4,6
/proc/28151/task/28152/stat : 28152 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 136024 0 0 0 120123 49 0 0 25 0 4 0 523989165 638857216 129801 33554432000 4194304 4650419 140735108692112 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28151/tid=28153] ppid=28149 vsize=623884 CPUtime=1201.72 cores=0,2,4,6
/proc/28151/task/28153/stat : 28153 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 220918 0 0 0 120099 73 0 0 25 0 4 0 523989165 638857216 129801 33554432000 4194304 4650419 140735108692112 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28151/tid=28154] ppid=28149 vsize=623884 CPUtime=1201.57 cores=0,2,4,6
/proc/28151/task/28154/stat : 28154 (strangenight1-m) R 28149 28151 27910 0 -1 4202560 103833 0 0 0 120120 37 0 0 25 0 4 0 523989165 638857216 129801 33554432000 4194304 4650419 140735108692112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 623884

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.27
CPU user time (s): 4797.99
CPU system time (s): 2.28165
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 741448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.99
system time used= 2.28165
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649007
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= 281
involuntary context switches= 35046

runsolver used 1.88171 second user time and 4.68929 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-30 02:38:32
IDJOB=3175440
IDBENCH=83058
IDSOLVER=1588
FILE ID=node138/3175440-1304123912
RUNJOBID= node138-1304121504-27928
PBS_JOBID= 13170741
Free space on /tmp= 71808 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175440-1304123912/watcher-3175440-1304123912 -o /tmp/evaluation-result-3175440-1304123912/solver-3175440-1304123912 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175440-1304123912.cnf

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

MD5SUM BENCH= 010b9faa30750ce3440cb9a8110ebefe
RANDOM SEED=231895542

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30927468 kB
Buffers:        615788 kB
Cached:         949836 kB
SwapCached:         84 kB
Active:         103292 kB
Inactive:      1532332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30927468 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:           12492 kB
Writeback:           0 kB
AnonPages:       69316 kB
Mapped:          14708 kB
Slab:           324044 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   276688 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= 71808 MiB
End job on node138 at 2011-04-30 02:58:36