Trace number 3175350

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.41 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf
MD5SUM07e93672799a66cb8290b6b816b1a83d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3175350-1304120289.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.35/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.01 s
0.35/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.35/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.35/0.10	c calculated reachability. Time: 0.00
0.35/0.10	c Calc default polars -  time:   0.00 s pos:     215 undec:      47 neg:     188
0.35/0.10	c =========================================================================================
0.35/0.10	c types(t): F = full restart, N = normal restart
0.35/0.10	c types(t): S = simplification begin/end, E = solution found
0.35/0.10	c restart types(rt): st = static, dy = dynamic
0.35/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.35/0.10	c  B st     0         0       435      1905         0         0      5799         0   no data   no data  --
0.35/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4914       435      1905         0      4806      5799    101743   no data   no data  --
1.17/0.39	c  N st    10     11296       435      1905         0      4443      5799     69533   no data   no data  --
2.37/0.62	c  N st    11     17039       435      1905         0     10068      5799    188150   no data   no data  --
3.57/1.00	c  F st    12     25000       435      1905         0     12366      5799    238181   no data   no data  --
3.57/1.00	c  N st    12     25000       435      1905         0     12366      5799    238181   no data   no data  --
4.76/1.24	c Decided on static restart strategy
4.76/1.24	c  N st    18     30001       435      1905         0     10638      5799    181130   no data   no data  --
4.76/1.24	c  S st    18     30001       435      1905         0     10638      5799    181130   no data   no data  --
4.76/1.27	c  S st    18     30502       435      1905         0     11135      5799    191265   no data   no data  --
4.76/1.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.76/1.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.76/1.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
4.76/1.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.45	c lits-rem:       203  cl-subs:      621  v-elim:      0  v-fix:    0  time:  0.67 s
5.57/1.46	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.03
5.57/1.46	c calculated reachability. Time: 0.00
5.57/1.46	c  N st    18     30502       435      1905         0     10514      5799    177287   no data   no data  --
7.16/1.84	c  N st    20     37612       435      1905         0      9773      5799    147322   no data   no data  --
8.79/2.22	c  N st    21     44011       435      1905         0     16027      5799    284736   no data   no data  --
9.16/2.35	c  S st    22     45753       435      1905         0      9009      5799    115451   no data   no data  --
9.16/2.37	c  S st    22     46256       435      1905         0      9512      5799    125975   no data   no data  --
9.16/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.16/2.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.16/2.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
9.16/2.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.45	c lits-rem:        27  cl-subs:       51  v-elim:      0  v-fix:    0  time:  0.28 s
9.56/2.45	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
9.56/2.45	c vivif2 --  cl tried     9461 cl shrink        0 lits rem          0 time: 0.00
9.56/2.46	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.03
9.56/2.46	c calculated reachability. Time: 0.00
9.56/2.46	c  N st    22     46256       435      1905         0      9461      5799    124790   no data   no data  --
13.18/3.36	c  N st    23     60655       435      1905         0     13736      5799    206795   no data   no data  --
15.95/4.02	c  N st    24     69385       435      1905         0     11540      5799    153646   no data   no data  --
15.95/4.02	c  S st    24     69385       435      1905         0     11540      5799    153646   no data   no data  --
15.95/4.05	c  S st    24     69889       435      1905         0     12039      5799    163979   no data   no data  --
15.95/4.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.95/4.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.95/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
15.95/4.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.76/4.21	c lits-rem:        55  cl-subs:      247  v-elim:      0  v-fix:    0  time:  0.61 s
16.76/4.21	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
16.76/4.21	c vivif2 --  cl tried    11792 cl shrink        0 lits rem          0 time: 0.01
16.76/4.22	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.03
16.76/4.22	c calculated reachability. Time: 0.00
16.76/4.22	c  N st    24     69889       435      1905         0     11792      5799    158430   no data   no data  --
21.56/5.48	c  F st    25     87500       435      1905         0     17256      5799    270765   no data   no data  --
21.56/5.48	c  N st    25     87500       435      1905         0     17256      5799    270765   no data   no data  --
23.14/5.88	c Decided on static restart strategy
24.35/6.13	c  N st    32     95537       435      1905         0     25111      5799    430890   no data   no data  --
26.74/6.78	c  N st    34    104833       435      1905         0     21511      5799    351816   no data   no data  --
26.74/6.78	c  S st    34    104833       435      1905         0     21511      5799    351816   no data   no data  --
27.14/6.84	c  S st    34    105338       435      1905         0     22016      5799    362994   no data   no data  --
27.14/6.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.14/6.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
27.14/6.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
27.14/6.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.35/7.64	c lits-rem:       334  cl-subs:     1115  v-elim:      0  v-fix:    0  time:  3.13 s
30.35/7.64	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
30.35/7.64	c vivif2 --  cl tried    20901 cl shrink        0 lits rem          0 time: 0.01
30.35/7.66	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.06
30.35/7.66	c calculated reachability. Time: 0.00
30.35/7.66	c  N st    34    105338       435      1905         0     20901      5799    336764   no data   no data  --
33.53/8.48	c  N st    35    114937       435      1905         0     16613      5799    222316   no data   no data  --
38.73/9.72	c  N st    36    129335       435      1905         0     16090      5799    196634   no data   no data  --
45.52/11.48	c  N st    37    150930       435      1905         0     21553      5799    302356   no data   no data  --
47.93/12.09	c  S st    38    158007       435      1905         0     28468      5799    461524   no data   no data  --
48.33/12.16	c  S st    38    158508       435      1905         0     28968      5799    472775   no data   no data  --
48.33/12.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.33/12.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.33/12.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
48.33/12.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.33/12.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.33/12.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
48.33/12.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.91/13.56	c lits-rem:       451  cl-subs:     1401  v-elim:      0  v-fix:    0  time:  5.51 s
53.91/13.56	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
53.91/13.57	c vivif2 --  cl tried    27567 cl shrink        0 lits rem          0 time: 0.02
53.91/13.59	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.08
53.91/13.59	c calculated reachability. Time: 0.00
53.91/13.59	c  N st    38    158508       435      1905         0     27567      5799    441829   no data   no data  --
73.88/18.57	c  N st    39    207096       435      1905         0     22229      5799    297199   no data   no data  --
87.48/21.94	c  N st    40    237762       435      1905         0     32487      5799    475650   no data   no data  --
87.48/21.94	c  S st    40    237762       435      1905         0     32487      5799    475650   no data   no data  --
87.88/22.03	c  S st    40    238264       435      1905         0     32989      5799    486657   no data   no data  --
87.88/22.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
87.88/22.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
87.88/22.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
87.88/22.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.88/22.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.88/22.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
87.88/22.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
93.84/23.58	c lits-rem:      1171  cl-subs:     2743  v-elim:      0  v-fix:    0  time:  6.10 s
93.84/23.58	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
93.84/23.58	c vivif2 --  cl tried    30246 cl shrink        0 lits rem          0 time: 0.02
94.25/23.61	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.10
94.25/23.61	c calculated reachability. Time: 0.00
94.25/23.61	c  N st    40    238264       435      1905         0     30246      5799    436440   no data   no data  --
123.81/31.07	c  F st    41    306250       435      1905         0     32171      5799    445909   no data   no data  --
123.81/31.07	c  N st    41    306250       435      1905         0     32171      5799    445909   no data   no data  --
126.61/31.75	c Decided on static restart strategy
137.79/34.53	c  N st    51    334555       435      1905         0     36503      5799    551633   no data   no data  --
149.39/37.46	c  N st    53    357396       435      1905         0     34418      5799    471568   no data   no data  --
149.39/37.46	c  S st    53    357396       435      1905         0     34418      5799    471568   no data   no data  --
149.77/37.55	c  S st    53    357902       435      1905         0     34922      5799    482362   no data   no data  --
149.77/37.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
149.77/37.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
149.77/37.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
149.77/37.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.77/37.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.77/37.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
149.77/37.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
155.76/39.02	c lits-rem:       737  cl-subs:     1447  v-elim:      0  v-fix:    0  time:  5.77 s
155.76/39.02	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
155.76/39.03	c vivif2 --  cl tried    33475 cl shrink        0 lits rem          0 time: 0.02
155.76/39.05	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.10
155.76/39.06	c calculated reachability. Time: 0.00
155.76/39.06	c  N st    53    357902       435      1905         0     33475      5799    450893   no data   no data  --
173.74/43.59	c  N st    54    390294       435      1905         0     39512      5799    575959   no data   no data  --
200.90/50.36	c  N st    55    438884       435      1905         0     33369      5799    402497   no data   no data  --
239.25/59.97	c  N st    56    511769       435      1905         0     47063      5799    710160   no data   no data  --
252.84/63.35	c  N st    57    536853       435      1905         0     41246      5799    549734   no data   no data  --
252.84/63.35	c  S st    57    536853       435      1905         0     41246      5799    549734   no data   no data  --
253.24/63.46	c  S st    57    537360       435      1905         0     41751      5799    560442   no data   no data  --
253.24/63.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
253.24/63.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
253.24/63.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
253.24/63.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
253.24/63.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
253.24/63.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
253.24/63.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
260.42/65.24	c lits-rem:       910  cl-subs:     1867  v-elim:      0  v-fix:    0  time:  6.97 s
260.42/65.24	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
260.42/65.25	c vivif2 --  cl tried    39884 cl shrink        0 lits rem          0 time: 0.02
260.42/65.28	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.14
260.42/65.28	c calculated reachability. Time: 0.00
260.42/65.28	c  N st    57    537360       435      1905         0     39884      5799    520875   no data   no data  --
366.68/91.81	c  N st    58    701344       435      1905         0     68809      5799   1056577   no data   no data  --
435.01/108.97	c  N st    59    806040       435      1905         0     62736      5799    944492   no data   no data  --
435.01/108.97	c  S st    59    806040       435      1905         0     62736      5799    944492   no data   no data  --
435.78/109.15	c  S st    59    806546       435      1905         0     63241      5799    955626   no data   no data  --
435.78/109.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
435.78/109.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
435.78/109.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
436.18/109.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
436.18/109.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
436.18/109.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
436.18/109.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
449.37/112.55	c lits-rem:      1473  cl-subs:     3974  v-elim:      0  v-fix:    0  time: 13.32 s
449.37/112.55	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
449.37/112.56	c vivif2 --  cl tried    59267 cl shrink        0 lits rem          0 time: 0.04
449.77/112.62	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.24
449.77/112.62	c calculated reachability. Time: 0.00
449.77/112.62	c  N st    59    806546       435      1905         0     59267      5799    873431   no data   no data  --
651.50/163.13	c  F st    60   1071879       435      1905         0     75037      5799   1111512   no data   no data  --
651.50/163.13	c  N st    60   1071879       435      1905         0     75037      5799   1111512   no data   no data  --
657.09/164.50	c Decided on static restart strategy
674.67/168.92	c  N st    70   1100180       435      1905         0     58958      5799    738024   no data   no data  --
704.23/176.38	c  N st    72   1136173       435      1905         0     49297      5799    520043   no data   no data  --
729.79/182.75	c  N st    73   1168566       435      1905         0     80898      5799   1267078   no data   no data  --
765.35/191.62	c  N st    74   1209819       435      1905         0     75368      5799   1123304   no data   no data  --
765.35/191.62	c  S st    74   1209819       435      1905         0     75368      5799   1123304   no data   no data  --
766.15/191.85	c  S st    74   1210325       435      1905         0     75874      5799   1133960   no data   no data  --
766.15/191.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
766.15/191.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
766.15/191.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
766.55/191.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
766.55/191.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
766.55/191.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
766.55/191.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
786.13/196.87	c lits-rem:       445  cl-subs:     3760  v-elim:      0  v-fix:    0  time: 19.73 s
786.13/196.87	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
786.13/196.88	c vivif2 --  cl tried    72114 cl shrink        0 lits rem          0 time: 0.06
786.53/196.99	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.44
786.53/196.99	c calculated reachability. Time: 0.00
786.53/196.99	c  N st    74   1210325       435      1905         0     72114      5799   1053488   no data   no data  --
860.42/215.40	c  N st    75   1283208       435      1905         0     48691      5799    463159   no data   no data  --
969.07/242.61	c  N st    76   1392532       435      1905         0     56545      5799    610303   no data   no data  --
1118.07/279.91	c  N st    77   1556518       435      1905         0     61793      5799    709680   no data   no data  --
1272.27/318.50	c  N st    78   1710325       435      1905         0    102912      5799   1566327   no data   no data  --
1272.27/318.50	c  S st    78   1710325       435      1905         0    102912      5799   1566327   no data   no data  --
1273.47/318.84	c  S st    78   1710827       435      1905         0    103411      5799   1577646   no data   no data  --
1273.47/318.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1273.47/318.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1273.47/318.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
1273.89/318.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1273.89/318.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1273.89/318.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1273.89/318.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1317.01/329.78	c lits-rem:       418  cl-subs:    10165  v-elim:      0  v-fix:    0  time: 43.27 s
1317.01/329.78	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
1317.40/329.80	c vivif2 --  cl tried    93246 cl shrink        0 lits rem          0 time: 0.07
1317.82/329.93	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.50
1317.82/329.93	c calculated reachability. Time: 0.00
1317.82/329.93	c  N st    78   1710827       435      1905         0     93246      5799   1388203   no data   no data  --
1728.45/432.70	c  N st    79   2079792       435      1905         0    104803      5799   1494241   no data   no data  --
1855.08/464.44	c  N st    80   2210827       435      1905         0    108925      5799   1575964   no data   no data  --
1855.08/464.44	c  S st    80   2210827       435      1905         0    108925      5799   1575964   no data   no data  --
1856.68/464.88	c  S st    80   2211330       435      1905         0    109428      5799   1587605   no data   no data  --
1856.68/464.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1856.68/464.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1857.08/464.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1857.49/465.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1857.49/465.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1857.49/465.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1857.49/465.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1897.85/475.20	c lits-rem:       611  cl-subs:     9269  v-elim:      0  v-fix:    0  time: 40.71 s
1897.85/475.20	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
1898.26/475.21	c vivif2 --  cl tried   100159 cl shrink        0 lits rem          0 time: 0.08
1898.63/475.35	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.56
1898.63/475.36	c calculated reachability. Time: 0.00
1898.63/475.36	c  N st    80   2211330       435      1905         0    100159      5799   1416228   no data   no data  --
2530.60/633.52	c  N st    81   2711330       435      1905         0    123339      5799   1804649   no data   no data  --
2530.60/633.52	c  S st    81   2711330       435      1905         0    123339      5799   1804649   no data   no data  --
2532.18/633.93	c  S st    81   2711832       435      1905         0    123840      5799   1815957   no data   no data  --
2532.18/633.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2532.18/633.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2532.58/634.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
2532.58/634.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2532.58/634.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2532.58/634.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
2532.58/634.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2599.29/650.78	c lits-rem:      1913  cl-subs:    12783  v-elim:      0  v-fix:    0  time: 66.75 s
2599.29/650.78	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
2599.69/650.80	c vivif2 --  cl tried   111057 cl shrink        0 lits rem          0 time: 0.08
2600.09/650.95	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.58
2600.09/650.95	c calculated reachability. Time: 0.00
2600.09/650.95	c  N st    81   2711832       435      1905         0    111057      5799   1567792   no data   no data  --
3269.22/818.47	c  N st    82   3211832       435      1905         0     87267      5799    919210   no data   no data  --
3269.22/818.47	c  S st    82   3211832       435      1905         0     87267      5799    919210   no data   no data  --
3270.40/818.74	c  S st    82   3212335       435      1905         0     87769      5799    931035   no data   no data  --
3270.40/818.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3270.40/818.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3270.40/818.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3270.80/818.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3270.80/818.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3270.80/818.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
3270.80/818.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3283.18/821.95	c lits-rem:      1355  cl-subs:     3072  v-elim:      0  v-fix:    0  time: 12.53 s
3283.18/821.95	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
3283.18/821.97	c vivif2 --  cl tried    84697 cl shrink        0 lits rem          0 time: 0.05
3283.58/822.07	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.41
3283.58/822.07	c calculated reachability. Time: 0.00
3283.58/822.07	c  N st    82   3212335       435      1905         0     84697      5799    879469   no data   no data  --
3989.04/998.69	c  N st    83   3712336       435      1905         0     95966      5799   1061456   no data   no data  --
3989.04/998.69	c  S st    83   3712336       435      1905         0     95966      5799   1061456   no data   no data  --
3990.23/998.99	c  S st    83   3712838       435      1905         0     96465      5799   1072376   no data   no data  --
3990.23/998.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3990.23/998.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3990.63/999.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
3990.63/999.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3990.63/999.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3990.63/999.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
3990.63/999.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4000.22/1001.41	c lits-rem:        43  cl-subs:     2461  v-elim:      0  v-fix:    0  time:  9.34 s
4000.22/1001.41	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
4000.22/1001.43	c vivif2 --  cl tried    94004 cl shrink        0 lits rem          0 time: 0.06
4000.62/1001.55	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.48
4000.62/1001.55	c calculated reachability. Time: 0.00
4000.62/1001.55	c  N st    83   3712838       435      1905         0     94004      5799   1027051   no data   no data  --
4047.35/1013.27	c  F st    84   3751562       435      1905         0    131937      5799   1989385   no data   no data  --
4047.35/1013.27	c  N st    84   3751562       435      1905         0    131937      5799   1989385   no data   no data  --
4056.95/1015.63	c Decided on static restart strategy
4095.32/1025.29	c  N st    94   3779864       435      1905         0    159511      5799   2623995   no data   no data  --
4147.23/1038.29	c  N st    96   3815857       435      1905         0    111934      5799   1396075   no data   no data  --
4193.56/1049.80	c  N st    97   3848249       435      1905         0    143327      5799   2086210   no data   no data  --
4269.06/1068.75	c  N st    98   3896838       435      1905         0    106897      5799   1288096   no data   no data  --
4391.70/1099.43	c  N st    99   3969722       435      1905         0     93106      5799    938798   no data   no data  --
4567.46/1143.47	c  N st   100   4079046       435      1905         0    113236      5799   1372586   no data   no data  --
4784.37/1197.77	c  N st   101   4212838       435      1905         0    156578      5799   2282080   no data   no data  --
4784.37/1197.77	c  S st   101   4212838       435      1905         0    156578      5799   2282080   no data   no data  --
4786.36/1198.29	c  S st   101   4213344       435      1905         0    157083      5799   2293666   no data   no data  --
4786.76/1198.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4786.76/1198.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4786.76/1198.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4787.16/1198.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4787.16/1198.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4787.16/1198.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
4787.16/1198.46	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-3175350-1304120289/watcher-3175350-1304120289 -o /tmp/evaluation-result-3175350-1304120289/solver-3175350-1304120289 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175350-1304120289.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.13 7.64 5.86 5/184 5540
/proc/meminfo: memFree=30587608/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 523626781 52465664 352 33554432000 4194304 4650419 140735008048416 18446744073709551615 271550594033 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 12809 352 303 112 0 7774 0
[pid=5540/tid=5541] ppid=5538 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523626781 52465664 352 33554432000 4194304 4650419 140735008048416 18446744073709551615 47426963687346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523626781 52465664 352 33554432000 4194304 4650419 140735008048416 18446744073709551615 47426963687346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523626781 52465664 352 33554432000 4194304 4650419 140735008048416 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.095958 s]
/proc/loadavg: 8.13 7.64 5.86 5/184 5540
/proc/meminfo: memFree=30587608/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=282640 CPUtime=0.35 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 1575 0 0 0 35 0 0 0 25 0 4 0 523626781 289423360 1452 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366062 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 70660 1452 391 112 0 65625 0
[pid=5540/tid=5541] ppid=5538 vsize=282640 CPUtime=0.08 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 311 0 0 0 8 0 0 0 25 0 4 0 523626781 289423360 1452 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=282640 CPUtime=0.08 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 310 0 0 0 8 0 0 0 25 0 4 0 523626781 289423360 1452 33554432000 4194304 4650419 140735008048416 18446744073709551615 271550642670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=282640 CPUtime=0.08 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 221 0 0 0 8 0 0 0 25 0 4 0 523626781 289423360 1452 33554432000 4194304 4650419 140735008048416 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 282640

[startup+0.106522 s]
/proc/loadavg: 8.13 7.64 5.86 5/184 5540
/proc/meminfo: memFree=30587608/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=282640 CPUtime=0.4 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 1646 0 0 0 40 0 0 0 25 0 4 0 523626781 289423360 1523 33554432000 4194304 4650419 140735008048416 18446744073709551615 4363444 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 70660 1523 391 112 0 65625 0
[pid=5540/tid=5541] ppid=5538 vsize=282640 CPUtime=0.09 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 328 0 0 0 9 0 0 0 25 0 4 0 523626781 289423360 1523 33554432000 4194304 4650419 140735008048416 18446744073709551615 4310421 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=282640 CPUtime=0.09 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 325 0 0 0 9 0 0 0 25 0 4 0 523626781 289423360 1523 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=282640 CPUtime=0.09 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 244 0 0 0 9 0 0 0 25 0 4 0 523626781 289423360 1523 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282640

[startup+0.300487 s]
/proc/loadavg: 8.13 7.64 5.86 5/184 5540
/proc/meminfo: memFree=30587608/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=283880 CPUtime=1.17 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 2671 0 0 0 117 0 0 0 25 0 4 0 523626781 290693120 2039 33554432000 4194304 4650419 140735008048416 18446744073709551615 4363484 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 70970 2040 393 112 0 65935 0
[pid=5540/tid=5541] ppid=5538 vsize=283880 CPUtime=0.29 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 575 0 0 0 29 0 0 0 25 0 4 0 523626781 290693120 2040 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=283880 CPUtime=0.29 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 593 0 0 0 29 0 0 0 25 0 4 0 523626781 290693120 2040 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=283880 CPUtime=0.29 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 506 0 0 0 29 0 0 0 25 0 4 0 523626781 290693120 2040 33554432000 4194304 4650419 140735008048416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283880

[startup+0.70042 s]
/proc/loadavg: 8.13 7.64 5.86 5/184 5540
/proc/meminfo: memFree=30587608/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=293724 CPUtime=2.77 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 4548 0 0 0 277 0 0 0 25 0 4 0 523626781 300773376 2658 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 73431 2666 393 112 0 68396 0
[pid=5540/tid=5541] ppid=5538 vsize=293724 CPUtime=0.69 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 1068 0 0 0 69 0 0 0 25 0 4 0 523626781 300773376 2666 33554432000 4194304 4650419 140735008048416 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=293724 CPUtime=0.69 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 987 0 0 0 69 0 0 0 25 0 4 0 523626781 300773376 2666 33554432000 4194304 4650419 140735008048416 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=293724 CPUtime=0.69 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 986 0 0 0 69 0 0 0 25 0 4 0 523626781 300773376 2666 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 293724

[startup+1.50027 s]
/proc/loadavg: 8.13 7.64 5.86 10/188 5544
/proc/meminfo: memFree=30576416/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=290660 CPUtime=5.97 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 8148 0 0 0 596 1 0 0 25 0 4 0 523626781 297635840 4537 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 72665 4538 395 112 0 67630 0
[pid=5540/tid=5541] ppid=5538 vsize=290660 CPUtime=1.48 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 1682 0 0 0 148 0 0 0 25 0 4 0 523626781 297635840 4538 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=290660 CPUtime=1.48 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 1751 0 0 0 148 0 0 0 25 0 4 0 523626781 297635840 4538 33554432000 4194304 4650419 140735008048416 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=290660 CPUtime=1.49 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 1515 0 0 0 149 0 0 0 25 0 4 0 523626781 297635840 4538 33554432000 4194304 4650419 140735008048416 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 290660

[startup+3.10098 s]
/proc/loadavg: 8.13 7.64 5.86 10/188 5545
/proc/meminfo: memFree=30558808/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=286100 CPUtime=12.37 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 15750 0 0 0 1234 3 0 0 25 0 4 0 523626781 292966400 8934 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 71525 8934 395 112 0 66490 0
[pid=5540/tid=5541] ppid=5538 vsize=286100 CPUtime=3.09 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 3820 0 0 0 308 1 0 0 25 0 4 0 523626781 292966400 8934 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=286100 CPUtime=3.07 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 4128 0 0 0 307 0 0 0 25 0 4 0 523626781 292966400 8934 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=286100 CPUtime=3.08 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 3518 0 0 0 308 0 0 0 25 0 4 0 523626781 292966400 8934 33554432000 4194304 4650419 140735008048416 18446744073709551615 4328361 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 286100

[startup+6.3004 s]
/proc/loadavg: 8.20 7.66 5.88 10/188 5545
/proc/meminfo: memFree=30530908/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=289544 CPUtime=25.15 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 24522 0 0 0 2510 5 0 0 25 0 4 0 523626781 296493056 13111 33554432000 4194304 4650419 140735008048416 18446744073709551615 4364406 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 72386 13111 395 112 0 67351 0
[pid=5540/tid=5541] ppid=5538 vsize=289544 CPUtime=6.28 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 6400 0 0 0 627 1 0 0 25 0 4 0 523626781 296493056 13111 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=289544 CPUtime=6.26 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 6757 0 0 0 625 1 0 0 25 0 4 0 523626781 296493056 13111 33554432000 4194304 4650419 140735008048416 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=289544 CPUtime=6.28 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 4987 0 0 0 628 0 0 0 25 0 4 0 523626781 296493056 13111 33554432000 4194304 4650419 140735008048416 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 289544

[startup+12.7002 s]
/proc/loadavg: 8.26 7.69 5.89 9/188 5545
/proc/meminfo: memFree=30513556/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=299236 CPUtime=50.71 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 37379 0 0 0 5063 8 0 0 25 0 4 0 523626781 306417664 17945 33554432000 4194304 4650419 140735008048416 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 74809 17945 395 112 0 69774 0
[pid=5540/tid=5541] ppid=5538 vsize=299236 CPUtime=12.68 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 9849 0 0 0 1266 2 0 0 25 0 4 0 523626781 306417664 17945 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=299236 CPUtime=12.62 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 9614 0 0 0 1261 1 0 0 25 0 4 0 523626781 306417664 17945 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=299236 CPUtime=12.68 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 7219 0 0 0 1268 0 0 0 25 0 4 0 523626781 306417664 17945 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 299236

[startup+25.5009 s]
/proc/loadavg: 8.20 7.70 5.93 10/188 5545
/proc/meminfo: memFree=30500260/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=307520 CPUtime=101.84 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 56218 0 0 0 10171 13 0 0 25 0 4 0 523626781 314900480 21452 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 76880 21452 395 112 0 71845 0
[pid=5540/tid=5541] ppid=5538 vsize=307520 CPUtime=25.48 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 15936 0 0 0 2544 4 0 0 25 0 4 0 523626781 314900480 21452 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=307520 CPUtime=25.35 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 14313 0 0 0 2533 2 0 0 25 0 4 0 523626781 314900480 21452 33554432000 4194304 4650419 140735008048416 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=307520 CPUtime=25.48 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 10674 0 0 0 2547 1 0 0 25 0 4 0 523626781 314900480 21452 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 307520

[startup+51.1003 s]
/proc/loadavg: 8.13 7.72 5.98 9/188 5546
/proc/meminfo: memFree=30465992/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=313832 CPUtime=204.09 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 86222 0 0 0 20387 22 0 0 25 0 4 0 523626781 321363968 28514 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 78458 28514 395 112 0 73423 0
[pid=5540/tid=5541] ppid=5538 vsize=313832 CPUtime=51.08 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 25365 0 0 0 5101 7 0 0 25 0 4 0 523626781 321363968 28514 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=313832 CPUtime=50.81 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 22665 0 0 0 5077 4 0 0 25 0 4 0 523626781 321363968 28514 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=313832 CPUtime=51.08 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 16410 0 0 0 5105 3 0 0 25 0 4 0 523626781 321363968 28514 33554432000 4194304 4650419 140735008048416 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 313832

[startup+102.307 s]
/proc/loadavg: 8.15 7.79 6.10 9/188 5547
/proc/meminfo: memFree=30436900/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=325152 CPUtime=408.65 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 132793 0 0 0 40828 37 0 0 25 0 4 0 523626781 332955648 33565 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 81288 33565 395 112 0 76253 0
[pid=5540/tid=5541] ppid=5538 vsize=325152 CPUtime=102.29 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 38642 0 0 0 10218 11 0 0 25 0 4 0 523626781 332955648 33565 33554432000 4194304 4650419 140735008048416 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=325152 CPUtime=101.74 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 34423 0 0 0 10165 9 0 0 25 0 4 0 523626781 332955648 33565 33554432000 4194304 4650419 140735008048416 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=325152 CPUtime=102.3 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 26378 0 0 0 10223 7 0 0 25 0 4 0 523626781 332955648 33565 33554432000 4194304 4650419 140735008048416 18446744073709551615 4370500 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 325152

[startup+162.301 s]

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

[pid=5540] ppid=5538 vsize=530144 CPUtime=2805.42 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 431556 0 0 0 280376 166 0 0 25 0 4 0 523626781 542867456 77768 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 132536 77768 395 112 0 127501 0
[pid=5540/tid=5541] ppid=5538 vsize=530144 CPUtime=702.3 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 132625 0 0 0 70179 51 0 0 25 0 4 0 523626781 542867456 77768 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=530144 CPUtime=698.48 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 105383 0 0 0 69808 40 0 0 25 0 4 0 523626781 542867456 77768 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=530144 CPUtime=702.3 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 70133 0 0 0 70204 26 0 0 25 0 4 0 523626781 542867456 77768 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 530144

[startup+762.307 s]
/proc/loadavg: 8.09 8.08 7.11 9/188 5656
/proc/meminfo: memFree=30414212/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=525496 CPUtime=3045.12 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 453225 0 0 0 304336 176 0 0 25 0 4 0 523626781 538107904 82612 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 131374 82612 395 112 0 126339 0
[pid=5540/tid=5541] ppid=5538 vsize=525496 CPUtime=762.3 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 139322 0 0 0 76176 54 0 0 25 0 4 0 523626781 538107904 82612 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=525496 CPUtime=758.16 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 111171 0 0 0 75773 43 0 0 25 0 4 0 523626781 538107904 82612 33554432000 4194304 4650419 140735008048416 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=525496 CPUtime=762.31 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 74608 0 0 0 76203 28 0 0 25 0 4 0 523626781 538107904 82612 33554432000 4194304 4650419 140735008048416 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 525496

[startup+822.3 s]
/proc/loadavg: 8.14 8.09 7.18 9/188 5657
/proc/meminfo: memFree=30411436/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=531312 CPUtime=3284.78 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 476894 0 0 0 328291 187 0 0 25 0 4 0 523626781 544063488 83371 33554432000 4194304 4650419 140735008048416 18446744073709551615 4333957 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 132828 83371 395 112 0 127793 0
[pid=5540/tid=5541] ppid=5538 vsize=531312 CPUtime=822.3 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 149739 0 0 0 82173 57 0 0 25 0 4 0 523626781 544063488 83371 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=531312 CPUtime=817.83 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 116658 0 0 0 81736 47 0 0 25 0 4 0 523626781 544063488 83371 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=531312 CPUtime=822.31 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 78408 0 0 0 82200 31 0 0 25 0 4 0 523626781 544063488 83371 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 531312

[startup+882.3 s]
/proc/loadavg: 8.10 8.08 7.23 9/188 5659
/proc/meminfo: memFree=30372080/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=539056 CPUtime=3524.45 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 496628 0 0 0 352247 198 0 0 25 0 4 0 523626781 551993344 84863 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 134764 84863 395 112 0 129729 0
[pid=5540/tid=5541] ppid=5538 vsize=539056 CPUtime=882.31 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 155696 0 0 0 88170 61 0 0 25 0 4 0 523626781 551993344 84863 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=539056 CPUtime=877.5 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 123639 0 0 0 87700 50 0 0 25 0 4 0 523626781 551993344 84863 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=539056 CPUtime=882.31 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 81875 0 0 0 88198 33 0 0 25 0 4 0 523626781 551993344 84863 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 539056

[startup+942.3 s]
/proc/loadavg: 8.08 8.08 7.28 9/188 5661
/proc/meminfo: memFree=30344612/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=539240 CPUtime=3764.14 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 516193 0 0 0 376205 209 0 0 25 0 4 0 523626781 552181760 84450 33554432000 4194304 4650419 140735008048416 18446744073709551615 4334674 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 134810 84450 395 112 0 129775 0
[pid=5540/tid=5541] ppid=5538 vsize=539240 CPUtime=942.31 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 162026 0 0 0 94167 64 0 0 25 0 4 0 523626781 552181760 84450 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=539240 CPUtime=937.18 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 129500 0 0 0 93664 54 0 0 25 0 4 0 523626781 552181760 84450 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=539240 CPUtime=942.31 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 86201 0 0 0 94196 35 0 0 25 0 4 0 523626781 552181760 84450 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 539240

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 7.33 9/188 5662
/proc/meminfo: memFree=30340828/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=539392 CPUtime=4003.81 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 537115 0 0 0 400163 218 0 0 25 0 4 0 523626781 552337408 88866 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 134848 88866 395 112 0 129813 0
[pid=5540/tid=5541] ppid=5538 vsize=539392 CPUtime=1002.3 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 169990 0 0 0 100164 66 0 0 25 0 4 0 523626781 552337408 88866 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=539392 CPUtime=996.84 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 135503 0 0 0 99627 57 0 0 25 0 4 0 523626781 552337408 88866 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=539392 CPUtime=1002.31 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 89810 0 0 0 100194 37 0 0 25 0 4 0 523626781 552337408 88866 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 539392

[startup+1062.3 s]
/proc/loadavg: 8.13 8.09 7.38 9/188 5664
/proc/meminfo: memFree=30313012/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=539616 CPUtime=4243.5 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 557885 0 0 0 424122 228 0 0 25 0 4 0 523626781 552566784 89525 33554432000 4194304 4650419 140735008048416 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 134904 89526 395 112 0 129869 0
[pid=5540/tid=5541] ppid=5538 vsize=539616 CPUtime=1062.3 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 176133 0 0 0 106161 69 0 0 25 0 4 0 523626781 552566784 89526 33554432000 4194304 4650419 140735008048416 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=539616 CPUtime=1056.53 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 141094 0 0 0 105593 60 0 0 25 0 4 0 523626781 552566784 89526 33554432000 4194304 4650419 140735008048416 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=539616 CPUtime=1062.31 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 95723 0 0 0 106192 39 0 0 25 0 4 0 523626781 552566784 89526 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 539616

[startup+1122.3 s]
/proc/loadavg: 8.19 8.12 7.43 9/188 5665
/proc/meminfo: memFree=30289284/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=618252 CPUtime=4483.17 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 574498 0 0 0 448079 238 0 0 25 0 4 0 523626781 633090048 96799 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 154563 96799 395 112 0 149528 0
[pid=5540/tid=5541] ppid=5538 vsize=618252 CPUtime=1122.31 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 181179 0 0 0 112158 73 0 0 25 0 4 0 523626781 633090048 96799 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=618252 CPUtime=1116.19 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 145408 0 0 0 111556 63 0 0 25 0 4 0 523626781 633090048 96799 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=618252 CPUtime=1122.32 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 100439 0 0 0 112191 41 0 0 25 0 4 0 523626781 633090048 96799 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 618252

[startup+1182.3 s]
/proc/loadavg: 8.16 8.12 7.47 9/188 5667
/proc/meminfo: memFree=30287104/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=605516 CPUtime=4722.85 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 593112 0 0 0 472038 247 0 0 25 0 4 0 523626781 620048384 99240 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 151379 99240 395 112 0 146344 0
[pid=5540/tid=5541] ppid=5538 vsize=605516 CPUtime=1182.31 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 188003 0 0 0 118156 75 0 0 25 0 4 0 523626781 620048384 99240 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=605516 CPUtime=1175.87 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 151256 0 0 0 117520 67 0 0 25 0 4 0 523626781 620048384 99240 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=605516 CPUtime=1182.31 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 103898 0 0 0 118189 42 0 0 25 0 4 0 523626781 620048384 99240 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 605516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.11 7.48 9/188 5667
/proc/meminfo: memFree=30272328/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=618584 CPUtime=4800.37 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 601730 0 0 0 479786 251 0 0 25 0 4 0 523626781 633430016 99586 33554432000 4194304 4650419 140735008048416 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 154646 99586 395 112 0 149611 0
[pid=5540/tid=5541] ppid=5538 vsize=618584 CPUtime=1201.71 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 191817 0 0 0 120095 76 0 0 25 0 4 0 523626781 633430016 99586 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=618584 CPUtime=1195.16 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 153356 0 0 0 119448 68 0 0 25 0 4 0 523626781 633430016 99586 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=618584 CPUtime=1201.72 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 105515 0 0 0 120129 43 0 0 25 0 4 0 523626781 633430016 99586 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 618584

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

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

[startup+1201.7 s]
/proc/loadavg: 8.11 8.11 7.48 9/188 5667
/proc/meminfo: memFree=30272328/32951124 swapFree=67111336/67111528
[pid=5540] ppid=5538 vsize=618584 CPUtime=4800.37 cores=1,3,5,7
/proc/5540/stat : 5540 (strangenight1-m) R 5538 5540 4943 0 -1 4202496 601730 0 0 0 479786 251 0 0 25 0 4 0 523626781 633430016 99586 33554432000 4194304 4650419 140735008048416 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5540/statm: 154646 99586 395 112 0 149611 0
[pid=5540/tid=5541] ppid=5538 vsize=618584 CPUtime=1201.71 cores=1,3,5,7
/proc/5540/task/5541/stat : 5541 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 191817 0 0 0 120095 76 0 0 25 0 4 0 523626781 633430016 99586 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5540/tid=5542] ppid=5538 vsize=618584 CPUtime=1195.16 cores=1,3,5,7
/proc/5540/task/5542/stat : 5542 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 153356 0 0 0 119448 68 0 0 25 0 4 0 523626781 633430016 99586 33554432000 4194304 4650419 140735008048416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5540/tid=5543] ppid=5538 vsize=618584 CPUtime=1201.72 cores=1,3,5,7
/proc/5540/task/5543/stat : 5543 (strangenight1-m) R 5538 5540 4943 0 -1 4202560 105515 0 0 0 120129 43 0 0 25 0 4 0 523626781 633430016 99586 33554432000 4194304 4650419 140735008048416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 618584

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4797.88
CPU system time (s): 2.53161
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 618584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.88
system time used= 2.53161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601732
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= 320
involuntary context switches= 22982

runsolver used 1.76973 second user time and 4.80327 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-30 01:38:09
IDJOB=3175350
IDBENCH=82968
IDSOLVER=1588
FILE ID=node133/3175350-1304120289
RUNJOBID= node133-1304119540-5468
PBS_JOBID= 13170705
Free space on /tmp= 71892 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175350-1304120289/watcher-3175350-1304120289 -o /tmp/evaluation-result-3175350-1304120289/solver-3175350-1304120289 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175350-1304120289.cnf

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

MD5SUM BENCH= 07e93672799a66cb8290b6b816b1a83d
RANDOM SEED=777422593

node133.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.834
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.66
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.834
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.834
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.834
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	: 6741.12
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.834
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.74
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.834
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.834
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.74
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.834
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:      30587888 kB
Buffers:        504844 kB
Cached:        1058148 kB
SwapCached:        124 kB
Active:         527416 kB
Inactive:      1492672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30587888 kB
SwapTotal:    67111528 kB
SwapFree:     67111336 kB
Dirty:            6232 kB
Writeback:          32 kB
AnonPages:      457496 kB
Mapped:          15540 kB
Slab:           279872 kB
PageTables:       5616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   694760 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71884 MiB
End job on node133 at 2011-04-30 01:58:13