Trace number 3368959

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368959-1305407925.cnf'
0.00/0.01	c -- header says num vars:            450
0.00/0.01	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.57/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
3.57/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:     215 undec:      47 neg:     188
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       435      1905         0         0      5799         0   no data   no data  --
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4914       435      1905         0      4806      5799    101743   no data   no data  --
3.57/0.90	c  N st    10     11296       435      1905         0      4443      5799     69533   no data   no data  --
3.57/0.90	c  N st    11     17039       435      1905         0     10068      5799    188150   no data   no data  --
4.00/1.10	c  F st    12     25000       435      1905         0     12366      5799    238181   no data   no data  --
4.00/1.10	c  N st    12     25000       435      1905         0     12366      5799    238181   no data   no data  --
5.16/1.30	c Decided on static restart strategy
5.16/1.30	c  N st    18     30001       435      1905         0     10638      5799    181130   no data   no data  --
5.16/1.30	c  S st    18     30001       435      1905         0     10638      5799    181130   no data   no data  --
5.16/1.30	c  S st    18     30502       435      1905         0     11135      5799    191265   no data   no data  --
5.16/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
5.16/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
5.16/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.96/1.50	c lits-rem:       203  cl-subs:      621  v-elim:      0  v-fix:    0  time:  0.67 s
5.96/1.50	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.03
5.96/1.50	c calculated reachability. Time: 0.00
5.96/1.50	c  N st    18     30502       435      1905         0     10514      5799    177287   no data   no data  --
7.15/1.85	c  N st    20     37612       435      1905         0      9773      5799    147322   no data   no data  --
8.80/2.23	c  N st    21     44011       435      1905         0     16027      5799    284736   no data   no data  --
9.14/2.35	c  S st    22     45753       435      1905         0      9009      5799    115451   no data   no data  --
9.14/2.38	c  S st    22     46256       435      1905         0      9512      5799    125975   no data   no data  --
9.14/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.14/2.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
9.14/2.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
9.14/2.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.54/2.46	c lits-rem:        27  cl-subs:       51  v-elim:      0  v-fix:    0  time:  0.28 s
9.54/2.46	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
9.54/2.46	c vivif2 --  cl tried     9461 cl shrink        0 lits rem          0 time: 0.00
9.54/2.46	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.02
9.54/2.46	c calculated reachability. Time: 0.00
9.54/2.46	c  N st    22     46256       435      1905         0      9461      5799    124790   no data   no data  --
13.18/3.37	c  N st    23     60655       435      1905         0     13736      5799    206795   no data   no data  --
15.92/4.02	c  N st    24     69385       435      1905         0     11540      5799    153646   no data   no data  --
15.92/4.02	c  S st    24     69385       435      1905         0     11540      5799    153646   no data   no data  --
15.92/4.05	c  S st    24     69889       435      1905         0     12039      5799    163979   no data   no data  --
15.92/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.92/4.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.92/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
15.92/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
15.92/4.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.72/4.22	c lits-rem:        55  cl-subs:      247  v-elim:      0  v-fix:    0  time:  0.61 s
16.72/4.22	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
16.72/4.22	c vivif2 --  cl tried    11792 cl shrink        0 lits rem          0 time: 0.00
16.72/4.23	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.04
16.72/4.23	c calculated reachability. Time: 0.00
16.72/4.23	c  N st    24     69889       435      1905         0     11792      5799    158430   no data   no data  --
21.54/5.48	c  F st    25     87500       435      1905         0     17256      5799    270765   no data   no data  --
21.54/5.48	c  N st    25     87500       435      1905         0     17256      5799    270765   no data   no data  --
23.09/5.88	c Decided on static restart strategy
24.30/6.14	c  N st    32     95537       435      1905         0     25111      5799    430890   no data   no data  --
26.68/6.78	c  N st    34    104833       435      1905         0     21511      5799    351816   no data   no data  --
26.68/6.78	c  S st    34    104833       435      1905         0     21511      5799    351816   no data   no data  --
27.08/6.84	c  S st    34    105338       435      1905         0     22016      5799    362994   no data   no data  --
27.08/6.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.08/6.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.08/6.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
27.08/6.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.08/6.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.08/6.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
27.08/6.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.31/7.65	c lits-rem:       334  cl-subs:     1115  v-elim:      0  v-fix:    0  time:  3.12 s
30.31/7.65	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
30.31/7.65	c vivif2 --  cl tried    20901 cl shrink        0 lits rem          0 time: 0.02
30.31/7.66	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.06
30.31/7.67	c calculated reachability. Time: 0.00
30.31/7.67	c  N st    34    105338       435      1905         0     20901      5799    336764   no data   no data  --
33.47/8.48	c  N st    35    114937       435      1905         0     16613      5799    222316   no data   no data  --
38.66/9.72	c  N st    36    129335       435      1905         0     16090      5799    196634   no data   no data  --
45.42/11.48	c  N st    37    150930       435      1905         0     21553      5799    302356   no data   no data  --
47.85/12.09	c  S st    38    158007       435      1905         0     28468      5799    461524   no data   no data  --
48.27/12.16	c  S st    38    158508       435      1905         0     28968      5799    472775   no data   no data  --
48.27/12.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.27/12.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
48.27/12.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
48.27/12.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.27/12.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.27/12.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
48.27/12.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
53.80/13.57	c lits-rem:       451  cl-subs:     1401  v-elim:      0  v-fix:    0  time:  5.50 s
53.80/13.57	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
53.80/13.57	c vivif2 --  cl tried    27567 cl shrink        0 lits rem          0 time: 0.02
53.80/13.59	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.08
53.80/13.59	c calculated reachability. Time: 0.00
53.80/13.59	c  N st    38    158508       435      1905         0     27567      5799    441829   no data   no data  --
73.75/18.57	c  N st    39    207096       435      1905         0     22229      5799    297199   no data   no data  --
87.32/21.95	c  N st    40    237762       435      1905         0     32487      5799    475650   no data   no data  --
87.32/21.95	c  S st    40    237762       435      1905         0     32487      5799    475650   no data   no data  --
87.74/22.03	c  S st    40    238264       435      1905         0     32989      5799    486657   no data   no data  --
87.74/22.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
87.74/22.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
87.74/22.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
87.74/22.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.74/22.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.74/22.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
87.74/22.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
93.67/23.59	c lits-rem:      1171  cl-subs:     2743  v-elim:      0  v-fix:    0  time:  6.09 s
93.67/23.59	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
93.67/23.59	c vivif2 --  cl tried    30246 cl shrink        0 lits rem          0 time: 0.02
94.08/23.62	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.10
94.08/23.62	c calculated reachability. Time: 0.00
94.08/23.62	c  N st    40    238264       435      1905         0     30246      5799    436440   no data   no data  --
123.58/31.07	c  F st    41    306250       435      1905         0     32171      5799    445909   no data   no data  --
123.58/31.07	c  N st    41    306250       435      1905         0     32171      5799    445909   no data   no data  --
126.37/31.75	c Decided on static restart strategy
137.53/34.55	c  N st    51    334555       435      1905         0     36503      5799    551633   no data   no data  --
149.15/37.48	c  N st    53    357396       435      1905         0     34418      5799    471568   no data   no data  --
149.15/37.48	c  S st    53    357396       435      1905         0     34418      5799    471568   no data   no data  --
149.49/37.57	c  S st    53    357902       435      1905         0     34922      5799    482362   no data   no data  --
149.49/37.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
149.49/37.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
149.49/37.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
149.90/37.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.90/37.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.90/37.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
149.90/37.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
155.48/39.06	c lits-rem:       737  cl-subs:     1447  v-elim:      0  v-fix:    0  time:  5.81 s
155.48/39.06	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
155.48/39.06	c vivif2 --  cl tried    33475 cl shrink        0 lits rem          0 time: 0.02
155.48/39.09	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.11
155.48/39.09	c calculated reachability. Time: 0.00
155.48/39.09	c  N st    53    357902       435      1905         0     33475      5799    450893   no data   no data  --
173.83/43.67	c  N st    54    390294       435      1905         0     39512      5799    575959   no data   no data  --
200.95/50.41	c  N st    55    438884       435      1905         0     33369      5799    402497   no data   no data  --
239.22/60.01	c  N st    56    511769       435      1905         0     47063      5799    710160   no data   no data  --
252.38/63.37	c  N st    57    536853       435      1905         0     41246      5799    549734   no data   no data  --
252.38/63.37	c  S st    57    536853       435      1905         0     41246      5799    549734   no data   no data  --
252.78/63.49	c  S st    57    537360       435      1905         0     41751      5799    560442   no data   no data  --
252.78/63.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
252.78/63.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
253.19/63.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
253.19/63.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
253.19/63.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
253.19/63.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
253.19/63.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
259.95/65.29	c lits-rem:       910  cl-subs:     1867  v-elim:      0  v-fix:    0  time:  7.06 s
259.95/65.29	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
260.35/65.30	c vivif2 --  cl tried    39884 cl shrink        0 lits rem          0 time: 0.03
260.35/65.34	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.14
260.35/65.34	c calculated reachability. Time: 0.00
260.35/65.34	c  N st    57    537360       435      1905         0     39884      5799    520875   no data   no data  --
365.62/91.74	c  N st    58    701344       435      1905         0     68809      5799   1056577   no data   no data  --
433.84/108.87	c  N st    59    806040       435      1905         0     62736      5799    944492   no data   no data  --
433.84/108.87	c  S st    59    806040       435      1905         0     62736      5799    944492   no data   no data  --
434.60/109.06	c  S st    59    806546       435      1905         0     63241      5799    955626   no data   no data  --
434.60/109.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
434.60/109.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
434.60/109.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
435.00/109.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
435.00/109.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
435.00/109.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
435.00/109.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
448.16/112.43	c lits-rem:      1473  cl-subs:     3974  v-elim:      0  v-fix:    0  time: 13.20 s
448.16/112.43	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
448.16/112.44	c vivif2 --  cl tried    59267 cl shrink        0 lits rem          0 time: 0.05
448.56/112.50	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.24
448.56/112.50	c calculated reachability. Time: 0.00
448.56/112.50	c  N st    59    806546       435      1905         0     59267      5799    873431   no data   no data  --
649.52/162.92	c  F st    60   1071879       435      1905         0     75037      5799   1111512   no data   no data  --
649.52/162.92	c  N st    60   1071879       435      1905         0     75037      5799   1111512   no data   no data  --
655.11/164.31	c Decided on static restart strategy
672.65/168.75	c  N st    70   1100180       435      1905         0     58958      5799    738024   no data   no data  --
702.16/176.17	c  N st    72   1136173       435      1905         0     49297      5799    520043   no data   no data  --
727.29/182.49	c  N st    73   1168566       435      1905         0     80898      5799   1267078   no data   no data  --
762.80/191.40	c  N st    74   1209819       435      1905         0     75368      5799   1123304   no data   no data  --
762.80/191.40	c  S st    74   1209819       435      1905         0     75368      5799   1123304   no data   no data  --
763.96/191.65	c  S st    74   1210325       435      1905         0     75874      5799   1133960   no data   no data  --
763.96/191.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
763.96/191.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
763.96/191.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
764.36/191.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
764.36/191.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
764.36/191.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
764.36/191.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
783.91/196.60	c lits-rem:       445  cl-subs:     3760  v-elim:      0  v-fix:    0  time: 19.40 s
783.91/196.60	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
783.91/196.62	c vivif2 --  cl tried    72114 cl shrink        0 lits rem          0 time: 0.06
784.31/196.73	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.45
784.31/196.73	c calculated reachability. Time: 0.00
784.31/196.73	c  N st    74   1210325       435      1905         0     72114      5799   1053488   no data   no data  --
857.27/215.06	c  N st    75   1283208       435      1905         0     48691      5799    463159   no data   no data  --
966.53/242.44	c  N st    76   1392532       435      1905         0     56545      5799    610303   no data   no data  --
1115.25/279.73	c  N st    77   1556518       435      1905         0     61793      5799    709680   no data   no data  --
1269.16/318.38	c  N st    78   1710325       435      1905         0    102912      5799   1566327   no data   no data  --
1269.16/318.38	c  S st    78   1710325       435      1905         0    102912      5799   1566327   no data   no data  --
1270.76/318.72	c  S st    78   1710827       435      1905         0    103411      5799   1577646   no data   no data  --
1270.76/318.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1270.76/318.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1270.76/318.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
1271.16/318.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1271.16/318.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1271.16/318.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1271.16/318.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1313.02/329.38	c lits-rem:       418  cl-subs:    10165  v-elim:      0  v-fix:    0  time: 42.05 s
1313.02/329.38	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
1313.42/329.40	c vivif2 --  cl tried    93246 cl shrink        0 lits rem          0 time: 0.07
1313.82/329.53	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.51
1313.82/329.53	c calculated reachability. Time: 0.00
1313.82/329.53	c  N st    78   1710827       435      1905         0     93246      5799   1388203   no data   no data  --
1722.12/431.95	c  N st    79   2079792       435      1905         0    104803      5799   1494241   no data   no data  --
1848.92/463.71	c  N st    80   2210827       435      1905         0    108925      5799   1575964   no data   no data  --
1848.92/463.71	c  S st    80   2210827       435      1905         0    108925      5799   1575964   no data   no data  --
1850.54/464.15	c  S st    80   2211330       435      1905         0    109428      5799   1587605   no data   no data  --
1850.54/464.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1850.54/464.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1850.96/464.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
1850.96/464.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1850.96/464.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1850.96/464.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1850.96/464.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1891.18/474.32	c lits-rem:       611  cl-subs:     9269  v-elim:      0  v-fix:    0  time: 40.07 s
1891.18/474.32	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
1891.18/474.34	c vivif2 --  cl tried   100159 cl shrink        0 lits rem          0 time: 0.08
1891.58/474.48	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.56
1891.58/474.48	c calculated reachability. Time: 0.00
1891.58/474.48	c  N st    80   2211330       435      1905         0    100159      5799   1416228   no data   no data  --
2520.40/632.19	c  N st    81   2711330       435      1905         0    123339      5799   1804649   no data   no data  --
2520.40/632.19	c  S st    81   2711330       435      1905         0    123339      5799   1804649   no data   no data  --
2522.38/632.60	c  S st    81   2711832       435      1905         0    123840      5799   1815957   no data   no data  --
2522.38/632.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2522.38/632.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2522.38/632.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
2522.78/632.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2522.78/632.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2522.78/632.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
2522.78/632.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2589.37/649.45	c lits-rem:      1913  cl-subs:    12783  v-elim:      0  v-fix:    0  time: 66.64 s
2589.37/649.45	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
2589.37/649.47	c vivif2 --  cl tried   111057 cl shrink        0 lits rem          0 time: 0.08
2590.17/649.61	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.58
2590.17/649.62	c calculated reachability. Time: 0.00
2590.17/649.62	c  N st    81   2711832       435      1905         0    111057      5799   1567792   no data   no data  --
3257.64/817.07	c  N st    82   3211832       435      1905         0     87267      5799    919210   no data   no data  --
3257.64/817.07	c  S st    82   3211832       435      1905         0     87267      5799    919210   no data   no data  --
3258.88/817.33	c  S st    82   3212335       435      1905         0     87769      5799    931035   no data   no data  --
3258.88/817.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3258.88/817.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3258.88/817.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
3259.23/817.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3259.23/817.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3259.23/817.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
3259.23/817.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3271.63/820.53	c lits-rem:      1355  cl-subs:     3072  v-elim:      0  v-fix:    0  time: 12.46 s
3271.63/820.53	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
3271.63/820.55	c vivif2 --  cl tried    84697 cl shrink        0 lits rem          0 time: 0.06
3272.05/820.65	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.41
3272.05/820.65	c calculated reachability. Time: 0.00
3272.05/820.65	c  N st    82   3212335       435      1905         0     84697      5799    879469   no data   no data  --
3976.96/997.41	c  N st    83   3712336       435      1905         0     95966      5799   1061456   no data   no data  --
3976.96/997.41	c  S st    83   3712336       435      1905         0     95966      5799   1061456   no data   no data  --
3977.79/997.71	c  S st    83   3712838       435      1905         0     96465      5799   1072376   no data   no data  --
3978.20/997.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3978.20/997.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3978.20/997.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
3978.20/997.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3978.20/997.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3978.20/997.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
3978.20/997.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3987.73/1000.15	c lits-rem:        43  cl-subs:     2461  v-elim:      0  v-fix:    0  time:  9.39 s
3987.73/1000.15	c vivif2 --  cl tried     1905 cl shrink        0 lits rem          0 time: 0.00
3987.73/1000.16	c vivif2 --  cl tried    94004 cl shrink        0 lits rem          0 time: 0.06
3988.13/1000.28	c asymm  cl-useful: 0/1905/1905 lits-rem:0 time: 0.49
3988.13/1000.29	c calculated reachability. Time: 0.00
3988.13/1000.29	c  N st    83   3712838       435      1905         0     94004      5799   1027051   no data   no data  --
4034.81/1011.93	c  F st    84   3751562       435      1905         0    131937      5799   1989385   no data   no data  --
4034.81/1011.93	c  N st    84   3751562       435      1905         0    131937      5799   1989385   no data   no data  --
4044.00/1014.28	c Decided on static restart strategy
4082.62/1024.01	c  N st    94   3779864       435      1905         0    159511      5799   2623995   no data   no data  --
4134.46/1036.97	c  N st    96   3815857       435      1905         0    111934      5799   1396075   no data   no data  --
4179.54/1048.25	c  N st    97   3848249       435      1905         0    143327      5799   2086210   no data   no data  --
4255.67/1067.33	c  N st    98   3896838       435      1905         0    106897      5799   1288096   no data   no data  --
4378.07/1098.04	c  N st    99   3969722       435      1905         0     93106      5799    938798   no data   no data  --
4553.93/1142.11	c  N st   100   4079046       435      1905         0    113236      5799   1372586   no data   no data  --
4770.04/1196.31	c  N st   101   4212838       435      1905         0    156578      5799   2282080   no data   no data  --
4770.04/1196.31	c  S st   101   4212838       435      1905         0    156578      5799   2282080   no data   no data  --
4772.08/1196.82	c  S st   101   4213344       435      1905         0    157083      5799   2293666   no data   no data  --
4772.08/1196.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4772.08/1196.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4772.42/1196.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.32
4772.42/1196.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4772.42/1196.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4772.42/1196.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
4772.42/1196.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368959-1305407925/watcher-3368959-1305407925 -o /tmp/evaluation-result-3368959-1305407925/solver-3368959-1305407925 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368959-1305407925.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.16 8.14 8.10 5/386 12058
/proc/meminfo: memFree=14495868/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 4 0 731023118 52465664 353 33554432000 4194304 4650419 140736534360896 18446744073709551615 47993671083954 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 12809 353 303 112 0 7774 0
[pid=12058/tid=12059] ppid=12056 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 4 0 731023118 52465664 353 33554432000 4194304 4650419 140736534360896 18446744073709551615 47993671083948 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731023118 52465664 353 33554432000 4194304 4650419 140736534360896 18446744073709551615 47993671083954 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 731023118 52465664 353 33554432000 4194304 4650419 140736534360896 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.065214 s]
/proc/loadavg: 8.16 8.14 8.10 5/386 12058
/proc/meminfo: memFree=14495868/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=282072 CPUtime=0.23 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 1409 0 0 0 23 0 0 0 18 0 4 0 731023118 288841728 1279 33554432000 4194304 4650419 140736534360896 18446744073709551615 4333209 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 70518 1279 390 112 0 65483 0
[pid=12058/tid=12059] ppid=12056 vsize=282072 CPUtime=0.06 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 255 0 0 0 6 0 0 0 18 0 4 0 731023118 288841728 1279 33554432000 4194304 4650419 140736534360896 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=282072 CPUtime=0.05 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 284 0 0 0 5 0 0 0 18 0 4 0 731023118 288841728 1279 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=282072 CPUtime=0.04 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 194 0 0 0 4 0 0 0 25 0 4 0 731023118 288841728 1279 33554432000 4194304 4650419 140736534360896 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 282072

[startup+0.165197 s]
/proc/loadavg: 8.16 8.14 8.10 5/386 12058
/proc/meminfo: memFree=14495868/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=283024 CPUtime=0.63 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 2106 0 0 0 63 0 0 0 18 0 4 0 731023118 289816576 1597 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 70756 1597 393 112 0 65721 0
[pid=12058/tid=12059] ppid=12056 vsize=283024 CPUtime=0.16 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 373 0 0 0 16 0 0 0 18 0 4 0 731023118 289816576 1598 33554432000 4194304 4650419 140736534360896 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=283024 CPUtime=0.15 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 478 0 0 0 15 0 0 0 18 0 4 0 731023118 289816576 1598 33554432000 4194304 4650419 140736534360896 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=283024 CPUtime=0.14 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 387 0 0 0 14 0 0 0 25 0 4 0 731023118 289816576 1598 33554432000 4194304 4650419 140736534360896 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 283024

[startup+0.300174 s]
/proc/loadavg: 8.16 8.14 8.10 5/386 12058
/proc/meminfo: memFree=14495868/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=283432 CPUtime=1.17 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 2661 0 0 0 117 0 0 0 18 0 4 0 731023118 290234368 2022 33554432000 4194304 4650419 140736534360896 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 70858 2022 393 112 0 65823 0
[pid=12058/tid=12059] ppid=12056 vsize=283432 CPUtime=0.29 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 565 0 0 0 29 0 0 0 18 0 4 0 731023118 290234368 2022 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=283432 CPUtime=0.29 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 598 0 0 0 29 0 0 0 18 0 4 0 731023118 290234368 2022 33554432000 4194304 4650419 140736534360896 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=283432 CPUtime=0.28 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 508 0 0 0 28 0 0 0 25 0 4 0 731023118 290234368 2022 33554432000 4194304 4650419 140736534360896 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283432

[startup+0.701106 s]
/proc/loadavg: 8.16 8.14 8.10 5/386 12058
/proc/meminfo: memFree=14495868/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=284660 CPUtime=2.77 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 4413 0 0 0 277 0 0 0 18 0 4 0 731023118 291491840 2516 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365692 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 71165 2516 393 112 0 66130 0
[pid=12058/tid=12059] ppid=12056 vsize=284660 CPUtime=0.69 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 941 0 0 0 69 0 0 0 18 0 4 0 731023118 291491840 2516 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=284660 CPUtime=0.69 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 984 0 0 0 69 0 0 0 18 0 4 0 731023118 291491840 2516 33554432000 4194304 4650419 140736534360896 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=284660 CPUtime=0.68 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 979 0 0 0 68 0 0 0 25 0 4 0 731023118 291491840 2516 33554432000 4194304 4650419 140736534360896 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284660

[startup+1.50097 s]
/proc/loadavg: 8.16 8.14 8.10 9/390 12062
/proc/meminfo: memFree=14484428/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=285480 CPUtime=5.96 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 8129 0 0 0 596 0 0 0 20 0 4 0 731023118 292331520 4516 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 71370 4516 395 112 0 66335 0
[pid=12058/tid=12059] ppid=12056 vsize=285480 CPUtime=1.49 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 1683 0 0 0 149 0 0 0 19 0 4 0 731023118 292331520 4517 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=285480 CPUtime=1.49 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 1750 0 0 0 149 0 0 0 19 0 4 0 731023118 292331520 4517 33554432000 4194304 4650419 140736534360896 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=285480 CPUtime=1.47 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 1497 0 0 0 147 0 0 0 25 0 4 0 731023118 292331520 4517 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366308 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285480

[startup+3.10069 s]
/proc/loadavg: 8.15 8.14 8.09 9/390 12062
/proc/meminfo: memFree=14464596/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=303384 CPUtime=12.34 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 15664 0 0 0 1233 1 0 0 25 0 4 0 731023118 310665216 9225 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 75846 9225 395 112 0 70811 0
[pid=12058/tid=12059] ppid=12056 vsize=303384 CPUtime=3.09 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 3815 0 0 0 309 0 0 0 25 0 4 0 731023118 310665216 9225 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=303384 CPUtime=3.08 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 4204 0 0 0 308 0 0 0 25 0 4 0 731023118 310665216 9225 33554432000 4194304 4650419 140736534360896 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=303384 CPUtime=3.05 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 3398 0 0 0 305 0 0 0 25 0 4 0 731023118 310665216 9225 33554432000 4194304 4650419 140736534360896 18446744073709551615 4336694 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 303384

[startup+6.30113 s]
/proc/loadavg: 8.15 8.14 8.09 9/390 12062
/proc/meminfo: memFree=14445456/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=312992 CPUtime=25.1 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 23618 0 0 0 2507 3 0 0 25 0 4 0 731023118 320503808 12753 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 78248 12753 395 112 0 73213 0
[pid=12058/tid=12059] ppid=12056 vsize=312992 CPUtime=6.29 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 6457 0 0 0 629 0 0 0 25 0 4 0 731023118 320503808 12753 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=312992 CPUtime=6.29 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 6733 0 0 0 628 1 0 0 25 0 4 0 731023118 320503808 12753 33554432000 4194304 4650419 140736534360896 18446744073709551615 4439120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=312992 CPUtime=6.21 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 3988 0 0 0 621 0 0 0 25 0 4 0 731023118 320503808 12753 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 312992

[startup+12.701 s]
/proc/loadavg: 8.20 8.15 8.10 9/390 12062
/proc/meminfo: memFree=14418568/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=313828 CPUtime=50.61 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 36067 0 0 0 5055 6 0 0 25 0 4 0 731023118 321359872 17757 33554432000 4194304 4650419 140736534360896 18446744073709551615 4476207 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 78457 17757 395 112 0 73422 0
[pid=12058/tid=12059] ppid=12056 vsize=313828 CPUtime=12.69 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 10010 0 0 0 1268 1 0 0 25 0 4 0 731023118 321359872 17757 33554432000 4194304 4650419 140736534360896 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=313828 CPUtime=12.69 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 9579 0 0 0 1267 2 0 0 25 0 4 0 731023118 321359872 17757 33554432000 4194304 4650419 140736534360896 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=313828 CPUtime=12.52 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 5387 0 0 0 1252 0 0 0 25 0 4 0 731023118 321359872 17757 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 313828

[startup+25.5008 s]
/proc/loadavg: 8.25 8.16 8.10 9/390 12062
/proc/meminfo: memFree=14393272/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=317144 CPUtime=101.65 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 54422 0 0 0 10155 10 0 0 25 0 4 0 731023118 324755456 23385 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 79286 23385 395 112 0 74251 0
[pid=12058/tid=12059] ppid=12056 vsize=317144 CPUtime=25.49 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 16234 0 0 0 2547 2 0 0 25 0 4 0 731023118 324755456 23385 33554432000 4194304 4650419 140736534360896 18446744073709551615 4334343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=317144 CPUtime=25.48 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 15025 0 0 0 2545 3 0 0 25 0 4 0 731023118 324755456 23385 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=317144 CPUtime=25.16 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 6795 0 0 0 2515 1 0 0 25 0 4 0 731023118 324755456 23386 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 317144

[startup+51.1003 s]
/proc/loadavg: 8.16 8.15 8.10 9/390 12063
/proc/meminfo: memFree=14339640/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=337220 CPUtime=203.73 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 82959 0 0 0 20354 19 0 0 25 0 4 0 731023118 345313280 31064 33554432000 4194304 4650419 140736534360896 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 84305 31064 395 112 0 79270 0
[pid=12058/tid=12059] ppid=12056 vsize=337220 CPUtime=51.09 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 25820 0 0 0 5105 4 0 0 25 0 4 0 731023118 345313280 31064 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=337220 CPUtime=51.09 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 23493 0 0 0 5103 6 0 0 25 0 4 0 731023118 345313280 31064 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=337220 CPUtime=50.44 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 8904 0 0 0 5042 2 0 0 25 0 4 0 731023118 345313280 31064 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 337220

[startup+102.314 s]
/proc/loadavg: 8.11 8.14 8.09 9/390 12064
/proc/meminfo: memFree=14324988/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=339820 CPUtime=407.94 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 123437 0 0 0 40760 34 0 0 25 0 4 0 731023118 347975680 37140 33554432000 4194304 4650419 140736534360896 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 84955 37141 395 112 0 79920 0
[pid=12058/tid=12059] ppid=12056 vsize=339820 CPUtime=102.3 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 39625 0 0 0 10222 8 0 0 25 0 4 0 731023118 347975680 37141 33554432000 4194304 4650419 140736534360896 18446744073709551615 4316029 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=339820 CPUtime=102.3 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 35809 0 0 0 10219 11 0 0 25 0 4 0 731023118 347975680 37141 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=339820 CPUtime=101.01 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 11056 0 0 0 10099 2 0 0 25 0 4 0 731023118 347975680 37141 33554432000 4194304 4650419 140736534360896 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.94
Current children cumulated vsize (KiB) 339820

[startup+162.301 s]

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

[pid=12058] ppid=12056 vsize=502916 CPUtime=2800.3 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 404010 0 0 0 279865 165 0 0 25 0 4 0 731023118 514985984 81386 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 125729 81386 395 112 0 120694 0
[pid=12058/tid=12059] ppid=12056 vsize=502916 CPUtime=702.29 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 130407 0 0 0 70176 53 0 0 25 0 4 0 731023118 514985984 81386 33554432000 4194304 4650419 140736534360896 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=502916 CPUtime=702.28 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 121968 0 0 0 70177 51 0 0 25 0 4 0 731023118 514985984 81386 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=502916 CPUtime=693.39 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 20938 0 0 0 69332 7 0 0 25 0 4 0 731023118 514985984 81386 33554432000 4194304 4650419 140736534360896 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.3
Current children cumulated vsize (KiB) 502916

[startup+762.315 s]
/proc/loadavg: 8.17 8.14 8.09 9/390 12113
/proc/meminfo: memFree=14278940/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=569232 CPUtime=3039.59 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 425164 0 0 0 303783 176 0 0 25 0 4 0 731023118 582893568 80232 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 142308 80232 395 112 0 137273 0
[pid=12058/tid=12059] ppid=12056 vsize=569232 CPUtime=762.31 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 137408 0 0 0 76175 56 0 0 25 0 4 0 731023118 582893568 80232 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=569232 CPUtime=762.29 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 128723 0 0 0 76174 55 0 0 25 0 4 0 731023118 582893568 80232 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=569232 CPUtime=752.63 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 21197 0 0 0 75256 7 0 0 25 0 4 0 731023118 582893568 80232 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.59
Current children cumulated vsize (KiB) 569232

[startup+822.301 s]
/proc/loadavg: 8.19 8.14 8.09 9/390 12115
/proc/meminfo: memFree=14242332/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=569932 CPUtime=3278.78 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 448702 0 0 0 327690 188 0 0 25 0 4 0 731023118 583610368 83705 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 142483 83705 395 112 0 137448 0
[pid=12058/tid=12059] ppid=12056 vsize=569932 CPUtime=822.3 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 147888 0 0 0 82171 59 0 0 25 0 4 0 731023118 583610368 83705 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=569932 CPUtime=822.28 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 134335 0 0 0 82168 60 0 0 25 0 4 0 731023118 583610368 83705 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=569932 CPUtime=811.87 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 21616 0 0 0 81179 8 0 0 25 0 4 0 731023118 583610368 83705 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3278.78
Current children cumulated vsize (KiB) 569932

[startup+882.3 s]
/proc/loadavg: 8.13 8.13 8.09 9/390 12116
/proc/meminfo: memFree=14220740/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=570236 CPUtime=3518.01 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 467908 0 0 0 351604 197 0 0 25 0 4 0 731023118 583921664 86334 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 142559 86334 395 112 0 137524 0
[pid=12058/tid=12059] ppid=12056 vsize=570236 CPUtime=882.3 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 153832 0 0 0 88168 62 0 0 25 0 4 0 731023118 583921664 86334 33554432000 4194304 4650419 140736534360896 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=570236 CPUtime=882.28 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 140771 0 0 0 88166 62 0 0 25 0 4 0 731023118 583921664 86334 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=570236 CPUtime=871.1 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 21863 0 0 0 87102 8 0 0 25 0 4 0 731023118 583921664 86334 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.01
Current children cumulated vsize (KiB) 570236

[startup+942.301 s]
/proc/loadavg: 8.11 8.12 8.09 9/390 12118
/proc/meminfo: memFree=14184392/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=570944 CPUtime=3757.27 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 487105 0 0 0 375517 210 0 0 25 0 4 0 731023118 584646656 86793 33554432000 4194304 4650419 140736534360896 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 142736 86793 395 112 0 137701 0
[pid=12058/tid=12059] ppid=12056 vsize=570944 CPUtime=942.3 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 160161 0 0 0 94164 66 0 0 25 0 4 0 731023118 584646656 86793 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=570944 CPUtime=942.27 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 146984 0 0 0 94161 66 0 0 25 0 4 0 731023118 584646656 86793 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=570944 CPUtime=930.34 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 21981 0 0 0 93026 8 0 0 25 0 4 0 731023118 584646656 86793 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.27
Current children cumulated vsize (KiB) 570944

[startup+1002.3 s]
/proc/loadavg: 8.04 8.10 8.08 9/390 12119
/proc/meminfo: memFree=14175436/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=571212 CPUtime=3996.49 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 509849 0 0 0 399429 220 0 0 25 0 4 0 731023118 584921088 89747 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 142803 89747 395 112 0 137768 0
[pid=12058/tid=12059] ppid=12056 vsize=571212 CPUtime=1002.3 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 168096 0 0 0 100162 68 0 0 25 0 4 0 731023118 584921088 89747 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=571212 CPUtime=1002.28 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 153140 0 0 0 100157 71 0 0 25 0 4 0 731023118 584921088 89747 33554432000 4194304 4650419 140736534360896 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=571212 CPUtime=989.57 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 22082 0 0 0 98949 8 0 0 25 0 4 0 731023118 584921088 89747 33554432000 4194304 4650419 140736534360896 18446744073709551615 4329742 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3996.49
Current children cumulated vsize (KiB) 571212

[startup+1062.3 s]
/proc/loadavg: 8.06 8.09 8.08 9/390 12121
/proc/meminfo: memFree=14183832/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=571956 CPUtime=4235.74 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 531422 0 0 0 423344 230 0 0 25 0 4 0 731023118 585682944 89096 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 142989 89096 395 112 0 137954 0
[pid=12058/tid=12059] ppid=12056 vsize=571956 CPUtime=1062.3 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 174310 0 0 0 106158 72 0 0 25 0 4 0 731023118 585682944 89096 33554432000 4194304 4650419 140736534360896 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=571956 CPUtime=1062.27 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 161427 0 0 0 106154 73 0 0 25 0 4 0 731023118 585682944 89096 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=571956 CPUtime=1048.83 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 22306 0 0 0 104874 9 0 0 25 0 4 0 731023118 585682944 89096 33554432000 4194304 4650419 140736534360896 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4235.74
Current children cumulated vsize (KiB) 571956

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.09 9/390 12123
/proc/meminfo: memFree=14159012/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=559268 CPUtime=4474.97 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 549434 0 0 0 447255 242 0 0 25 0 4 0 731023118 572690432 89774 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 139817 89774 395 112 0 134782 0
[pid=12058/tid=12059] ppid=12056 vsize=559268 CPUtime=1122.3 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 180670 0 0 0 112154 76 0 0 25 0 4 0 731023118 572690432 89774 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=559268 CPUtime=1122.27 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 167730 0 0 0 112150 77 0 0 25 0 4 0 731023118 572690432 89774 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=559268 CPUtime=1108.06 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 22630 0 0 0 110797 9 0 0 25 0 4 0 731023118 572690432 89774 33554432000 4194304 4650419 140736534360896 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4474.97
Current children cumulated vsize (KiB) 559268

[startup+1182.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/390 12124
/proc/meminfo: memFree=14122408/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=583020 CPUtime=4714.22 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 568995 0 0 0 471172 250 0 0 25 0 4 0 731023118 597012480 95385 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 145755 95385 395 112 0 140720 0
[pid=12058/tid=12059] ppid=12056 vsize=583020 CPUtime=1182.3 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 185959 0 0 0 118152 78 0 0 25 0 4 0 731023118 597012480 95385 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=583020 CPUtime=1182.27 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 173830 0 0 0 118147 80 0 0 25 0 4 0 731023118 597012480 95385 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=583020 CPUtime=1167.3 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 24270 0 0 0 116720 10 0 0 25 0 4 0 731023118 597012480 95385 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365453 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4714.22
Current children cumulated vsize (KiB) 583020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.12 8.10 8.09 9/390 12127
/proc/meminfo: memFree=14067972/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=583060 CPUtime=4800.37 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 579951 0 0 0 479783 254 0 0 25 0 4 0 731023118 597053440 101241 33554432000 4194304 4650419 140736534360896 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 145765 101241 395 112 0 140730 0
[pid=12058/tid=12059] ppid=12056 vsize=583060 CPUtime=1203.92 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 189960 0 0 0 120312 80 0 0 25 0 4 0 731023118 597053440 101242 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=583060 CPUtime=1203.89 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 175078 0 0 0 120308 81 0 0 25 0 4 0 731023118 597053440 101242 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=583060 CPUtime=1188.62 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 25036 0 0 0 118852 10 0 0 25 0 4 0 731023118 597053440 101242 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 583060

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

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

[startup+1203.9 s]
/proc/loadavg: 8.12 8.10 8.09 9/390 12127
/proc/meminfo: memFree=14067972/32951124 swapFree=65586204/67111528
[pid=12058] ppid=12056 vsize=583060 CPUtime=4800.37 cores=1,3,5,7
/proc/12058/stat : 12058 (strangenight1-m) R 12056 12058 11857 0 -1 4202496 579951 0 0 0 479783 254 0 0 25 0 4 0 731023118 597053440 101241 33554432000 4194304 4650419 140736534360896 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 145765 101241 395 112 0 140730 0
[pid=12058/tid=12059] ppid=12056 vsize=583060 CPUtime=1203.92 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 189960 0 0 0 120312 80 0 0 25 0 4 0 731023118 597053440 101242 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12058/tid=12060] ppid=12056 vsize=583060 CPUtime=1203.89 cores=1,3,5,7
/proc/12058/task/12060/stat : 12060 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 175078 0 0 0 120308 81 0 0 25 0 4 0 731023118 597053440 101242 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=583060 CPUtime=1188.62 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (strangenight1-m) R 12056 12058 11857 0 -1 4202560 25036 0 0 0 118852 10 0 0 25 0 4 0 731023118 597053440 101242 33554432000 4194304 4650419 140736534360896 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 583060

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.94
CPU time (s): 4800.43
CPU user time (s): 4797.87
CPU system time (s): 2.55961
CPU usage (%): 398.726
Max. virtual memory (cumulated for all children) (KiB): 622652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.55961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 579952
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= 184
involuntary context switches= 32377

runsolver used 4.12737 second user time and 11.1953 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 23:18:45
IDJOB=3368959
IDBENCH=82968
IDSOLVER=1846
FILE ID=node119/3368959-1305407925
RUNJOBID= node119-1305405968-11879
PBS_JOBID= 13324506
Free space on /tmp= 73188 MiB

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

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

MD5SUM BENCH= 07e93672799a66cb8290b6b816b1a83d
RANDOM SEED=1022044170

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14496148 kB
Buffers:        284816 kB
Cached:        4559828 kB
SwapCached:       4756 kB
Active:       15104828 kB
Inactive:      3017748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14496148 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:            6212 kB
Writeback:           0 kB
AnonPages:    13277180 kB
Mapped:          30624 kB
Slab:           210328 kB
PageTables:      57728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 103024120 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= 73184 MiB
End job on node119 at 2011-05-14 23:38:51