Trace number 3368739

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.11 1203.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf
MD5SUM8d71ad1b25bd6c4021d51959610734bb
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 variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-3368739-1305401932.cnf'
0.00/0.01	c -- header says num vars:            100
0.00/0.01	c -- header says num clauses:        2130
0.00/0.02	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.02	c -- vars added        100
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       100      2130         0         0     10650         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.18/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.18/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:      54 undec:       5 neg:      41
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       100      2130         0         0     10650         0   no data   no data  --
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4915       100      2130         0      4579     10650    101263   no data   no data  --
3.18/0.80	c  N st    10     11298       100      2130         0      4238     10650     74183   no data   no data  --
3.18/0.80	c  N st    11     17043       100      2130         0      9559     10650    188427   no data   no data  --
3.18/0.80	c  F st    12     25000       100      2130         0     11772     10650    240390   no data   no data  --
3.18/0.80	c  N st    12     25000       100      2130         0     11772     10650    240390   no data   no data  --
3.58/1.00	c Decided on static restart strategy
3.58/1.00	c  N st    18     30002       100      2130         0     10102     10650    190224   no data   no data  --
3.58/1.00	c  S st    18     30002       100      2130         0     10102     10650    190224   no data   no data  --
3.99/1.10	c  S st    18     30505       100      2130         0     10592     10650    201044   no data   no data  --
3.99/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.99/1.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.99/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
3.99/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.99/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.97/1.50	c lits-rem:      2195  cl-subs:     1709  v-elim:      0  v-fix:    0  time:  1.83 s
5.97/1.52	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.15
5.97/1.52	c calculated reachability. Time: 0.00
5.97/1.52	c  N st    18     30505       100      2130         0      8883     10650    161534   no data   no data  --
7.16/1.84	c  N st    20     37616       100      2130         0      8190     10650    135972   no data   no data  --
8.38/2.14	c  N st    21     44018       100      2130         0     14094     10650    263566   no data   no data  --
8.79/2.22	c  S st    22     45761       100      2130         0     15713     10650    296655   no data   no data  --
8.79/2.27	c  S st    22     46264       100      2130         0     16193     10650    306885   no data   no data  --
8.79/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.79/2.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.79/2.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
8.79/2.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.53/3.47	c lits-rem:      3192  cl-subs:     2133  v-elim:      0  v-fix:    0  time:  4.72 s
13.53/3.47	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
13.53/3.47	c vivif2 --  cl tried    14060 cl shrink        0 lits rem          0 time: 0.01
13.93/3.54	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
13.93/3.54	c calculated reachability. Time: 0.00
13.93/3.54	c  N st    22     46264       100      2130         0     14060     10650    257738   no data   no data  --
17.15/4.34	c  N st    23     60662       100      2130         0      9929     10650    147360   no data   no data  --
18.72/4.78	c  N st    24     69396       100      2130         0     18003     10650    320535   no data   no data  --
18.72/4.78	c  S st    24     69396       100      2130         0     18003     10650    320535   no data   no data  --
19.12/4.82	c  S st    24     69898       100      2130         0     18488     10650    331367   no data   no data  --
19.12/4.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.12/4.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.12/4.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.12/4.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.12/4.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.12/4.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
19.12/4.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.31/6.16	c lits-rem:      3450  cl-subs:     2667  v-elim:      0  v-fix:    0  time:  5.29 s
24.31/6.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
24.31/6.16	c vivif2 --  cl tried    15821 cl shrink        0 lits rem          0 time: 0.01
24.71/6.23	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.29
24.71/6.23	c calculated reachability. Time: 0.00
24.71/6.23	c  N st    24     69898       100      2130         0     15821     10650    274011   no data   no data  --
29.10/7.33	c  F st    25     87500       100      2130         0     22030     10650    399477   no data   no data  --
29.10/7.33	c  N st    25     87500       100      2130         0     22030     10650    399477   no data   no data  --
29.90/7.60	c Decided on static restart strategy
30.74/7.75	c  N st    32     95539       100      2130         0     18472     10650    319816   no data   no data  --
33.06/8.32	c  N st    34    104847       100      2130         0     15079     10650    240903   no data   no data  --
33.06/8.32	c  S st    34    104847       100      2130         0     15079     10650    240903   no data   no data  --
33.06/8.36	c  S st    34    105348       100      2130         0     15564     10650    251571   no data   no data  --
33.06/8.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.06/8.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.06/8.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
33.06/8.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.06/8.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
33.06/8.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
33.06/8.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.40/9.41	c lits-rem:      1665  cl-subs:     1297  v-elim:      0  v-fix:    0  time:  4.09 s
37.40/9.41	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
37.40/9.41	c vivif2 --  cl tried    14267 cl shrink        0 lits rem          0 time: 0.01
37.40/9.47	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
37.40/9.47	c calculated reachability. Time: 0.00
37.40/9.47	c  N st    34    105348       100      2130         0     14267     10650    222260   no data   no data  --
39.75/10.05	c  N st    35    114947       100      2130         0     23173     10650    421361   no data   no data  --
43.34/10.98	c  N st    36    129344       100      2130         0     23575     10650    417229   no data   no data  --
49.68/12.54	c  N st    37    150939       100      2130         0     14948     10650    198896   no data   no data  --
51.28/12.96	c  S st    38    158023       100      2130         0     21570     10650    346773   no data   no data  --
51.67/13.02	c  S st    38    158528       100      2130         0     22057     10650    357595   no data   no data  --
51.67/13.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
51.67/13.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.67/13.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
51.67/13.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.67/13.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.67/13.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
51.67/13.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
56.83/14.36	c lits-rem:      3016  cl-subs:     1701  v-elim:      0  v-fix:    0  time:  5.18 s
56.83/14.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
56.83/14.36	c vivif2 --  cl tried    20356 cl shrink        0 lits rem          0 time: 0.01
57.17/14.46	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.41
57.17/14.46	c calculated reachability. Time: 0.00
57.17/14.46	c  N st    38    158528       100      2130         0     20356     10650    317929   no data   no data  --
72.95/18.40	c  N st    39    207119       100      2130         0     32758     10650    565434   no data   no data  --
83.59/21.11	c  N st    40    237794       100      2130         0     25141     10650    381313   no data   no data  --
83.59/21.11	c  S st    40    237794       100      2130         0     25141     10650    381313   no data   no data  --
83.59/21.19	c  S st    40    238302       100      2130         0     25626     10650    392104   no data   no data  --
83.59/21.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.59/21.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.98/21.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
83.98/21.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.98/21.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.98/21.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
83.98/21.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
89.11/22.59	c lits-rem:      2813  cl-subs:     2341  v-elim:      0  v-fix:    0  time:  5.46 s
89.11/22.59	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
89.50/22.60	c vivif2 --  cl tried    23285 cl shrink        0 lits rem          0 time: 0.01
89.90/22.70	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.42
89.90/22.71	c calculated reachability. Time: 0.00
89.90/22.71	c  N st    40    238302       100      2130         0     23285     10650    342583   no data   no data  --
112.88/28.53	c  F st    41    306250       100      2130         0     25045     10650    342721   no data   no data  --
112.88/28.53	c  N st    41    306250       100      2130         0     25045     10650    342721   no data   no data  --
114.46/28.99	c Decided on static restart strategy
123.63/31.23	c  N st    51    334555       100      2130         0     29186     10650    424139   no data   no data  --
132.81/33.53	c  N st    53    357453       100      2130         0     27270     10650    365874   no data   no data  --
132.81/33.53	c  S st    53    357453       100      2130         0     27270     10650    365874   no data   no data  --
133.21/33.60	c  S st    53    357958       100      2130         0     27746     10650    376490   no data   no data  --
133.21/33.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
133.21/33.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
133.21/33.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
133.21/33.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
133.21/33.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.21/33.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
133.21/33.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.60/34.78	c lits-rem:      1614  cl-subs:     1535  v-elim:      0  v-fix:    0  time:  4.64 s
137.60/34.78	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
137.60/34.78	c vivif2 --  cl tried    26211 cl shrink        0 lits rem          0 time: 0.02
138.40/34.90	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.48
138.40/34.90	c calculated reachability. Time: 0.00
138.40/34.90	c  N st    53    357958       100      2130         0     26211     10650    346049   no data   no data  --
153.95/38.84	c  N st    54    390351       100      2130         0     32062     10650    450142   no data   no data  --
175.08/44.14	c  N st    55    438942       100      2130         0     26168     10650    315586   no data   no data  --
206.59/52.02	c  N st    56    511825       100      2130         0     38839     10650    561881   no data   no data  --
217.77/54.82	c  N st    57    536939       100      2130         0     33479     10650    437088   no data   no data  --
217.77/54.82	c  S st    57    536939       100      2130         0     33479     10650    437088   no data   no data  --
218.19/54.92	c  S st    57    537442       100      2130         0     33962     10650    447860   no data   no data  --
218.19/54.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
218.19/54.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
218.19/54.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
218.19/54.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
218.19/54.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
218.19/54.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
218.19/54.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
224.14/56.40	c lits-rem:      2788  cl-subs:     1943  v-elim:      0  v-fix:    0  time:  5.82 s
224.14/56.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
224.14/56.40	c vivif2 --  cl tried    32019 cl shrink        0 lits rem          0 time: 0.02
224.54/56.55	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.57
224.54/56.55	c calculated reachability. Time: 0.00
224.54/56.55	c  N st    57    537442       100      2130         0     32019     10650    409414   no data   no data  --
297.94/74.95	c  N st    58    701427       100      2130         0     59594     10650    973164   no data   no data  --
351.79/88.41	c  N st    59    806163       100      2130         0     53658     10650    793169   no data   no data  --
351.79/88.41	c  S st    59    806163       100      2130         0     53658     10650    793169   no data   no data  --
352.19/88.54	c  S st    59    806665       100      2130         0     54147     10650    804023   no data   no data  --
352.19/88.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
352.19/88.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
352.19/88.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
352.19/88.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
352.19/88.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
352.19/88.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
352.19/88.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
372.52/93.63	c lits-rem:      3732  cl-subs:     6680  v-elim:      0  v-fix:    0  time: 20.08 s
372.52/93.63	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
372.52/93.64	c vivif2 --  cl tried    47467 cl shrink        0 lits rem          0 time: 0.03
373.33/93.88	c asymm  cl-useful: 0/1927/2130 lits-rem:0 time: 0.95
373.33/93.88	c calculated reachability. Time: 0.00
373.33/93.88	c  N st    59    806665       100      2130         0     47467     10650    677371   no data   no data  --
528.10/132.68	c  F st    60   1071878       100      2130         0     62752     10650    928198   no data   no data  --
528.10/132.68	c  N st    60   1071878       100      2130         0     62752     10650    928198   no data   no data  --
532.09/133.68	c Decided on static restart strategy
549.64/138.03	c  N st    70   1100183       100      2130         0     47740     10650    610217   no data   no data  --
572.38/143.73	c  N st    72   1136179       100      2130         0     80893     10650   1348751   no data   no data  --
590.73/148.31	c  N st    73   1168571       100      2130         0     68479     10650   1051222   no data   no data  --
616.66/154.88	c  N st    74   1210000       100      2130         0     63410     10650    913485   no data   no data  --
616.66/154.88	c  S st    74   1210000       100      2130         0     63410     10650    913485   no data   no data  --
617.47/155.10	c  S st    74   1210503       100      2130         0     63887     10650    924387   no data   no data  --
617.47/155.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
617.47/155.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
617.89/155.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
617.89/155.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
617.89/155.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
617.89/155.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
617.89/155.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
654.54/164.32	c lits-rem:      3774  cl-subs:     5954  v-elim:      0  v-fix:    0  time: 36.49 s
654.54/164.32	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
654.54/164.33	c vivif2 --  cl tried    57933 cl shrink        0 lits rem          0 time: 0.04
655.74/164.68	c asymm  cl-useful: 0/1526/2130 lits-rem:0 time: 1.39
655.74/164.69	c calculated reachability. Time: 0.00
655.74/164.69	c  N st    74   1210503       100      2130         0     57933     10650    807300   no data   no data  --
704.40/176.86	c  N st    75   1283386       100      2130         0     80774     10650   1263327   no data   no data  --
780.22/195.84	c  N st    76   1392709       100      2130         0     90662     10650   1499286   no data   no data  --
907.81/227.90	c  N st    77   1556694       100      2130         0     97417     10650   1573971   no data   no data  --
1026.28/257.58	c  N st    78   1710503       100      2130         0     87683     10650   1359313   no data   no data  --
1026.28/257.58	c  S st    78   1710503       100      2130         0     87683     10650   1359313   no data   no data  --
1027.47/257.86	c  S st    78   1711007       100      2130         0     88164     10650   1370289   no data   no data  --
1027.47/257.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1027.47/257.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1027.87/257.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
1027.87/257.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1027.87/257.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1027.87/257.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1027.87/257.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1094.87/274.76	c lits-rem:      3922  cl-subs:    10204  v-elim:      0  v-fix:    0  time: 67.05 s
1094.87/274.76	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1094.87/274.78	c vivif2 --  cl tried    77960 cl shrink        0 lits rem          0 time: 0.06
1096.12/275.04	c asymm  cl-useful: 0/604/2130 lits-rem:0 time: 1.05
1096.12/275.05	c calculated reachability. Time: 0.00
1096.12/275.05	c  N st    78   1711007       100      2130         0     77960     10650   1169947   no data   no data  --
1405.97/352.72	c  N st    79   2079973       100      2130         0     89863     10650   1347212   no data   no data  --
1516.87/380.52	c  N st    80   2211009       100      2130         0     93850     10650   1439549   no data   no data  --
1516.87/380.52	c  S st    80   2211009       100      2130         0     93850     10650   1439549   no data   no data  --
1518.04/380.80	c  S st    80   2211513       100      2130         0     94337     10650   1450796   no data   no data  --
1518.04/380.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1518.04/380.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1518.04/380.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1518.04/380.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1518.04/380.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1518.04/380.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1518.04/380.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1585.85/397.83	c lits-rem:      2345  cl-subs:     8667  v-elim:      0  v-fix:    0  time: 67.53 s
1585.85/397.83	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1585.85/397.85	c vivif2 --  cl tried    85670 cl shrink        0 lits rem          0 time: 0.07
1587.07/398.20	c asymm  cl-useful: 0/1152/2130 lits-rem:0 time: 1.40
1587.07/398.21	c calculated reachability. Time: 0.00
1587.07/398.21	c  N st    80   2211513       100      2130         0     85670     10650   1266898   no data   no data  --
2098.37/526.39	c  N st    81   2711513       100      2130         0    107778     10650   1626330   no data   no data  --
2098.37/526.39	c  S st    81   2711513       100      2130         0    107778     10650   1626330   no data   no data  --
2099.97/526.76	c  S st    81   2712016       100      2130         0    108263     10650   1637232   no data   no data  --
2099.97/526.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2099.97/526.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2100.38/526.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
2100.38/526.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2100.38/526.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2100.38/526.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2100.38/526.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2203.25/552.69	c lits-rem:      6430  cl-subs:    12940  v-elim:      0  v-fix:    0  time: 102.92 s
2203.25/552.69	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2203.65/552.71	c vivif2 --  cl tried    95323 cl shrink        0 lits rem          0 time: 0.08
2205.25/553.17	c asymm  cl-useful: 0/850/2130 lits-rem:0 time: 1.82
2205.25/553.17	c calculated reachability. Time: 0.00
2205.25/553.17	c  N st    81   2712016       100      2130         0     95323     10650   1383990   no data   no data  --
2778.39/696.86	c  N st    82   3212018       100      2130         0     73067     10650    793777   no data   no data  --
2778.39/696.86	c  S st    82   3212018       100      2130         0     73067     10650    793777   no data   no data  --
2779.59/697.12	c  S st    82   3212520       100      2130         0     73542     10650    804438   no data   no data  --
2779.59/697.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2779.59/697.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2779.59/697.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
2779.59/697.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2779.59/697.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2779.59/697.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2779.59/697.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2801.13/702.51	c lits-rem:       519  cl-subs:      680  v-elim:      0  v-fix:    0  time: 21.19 s
2801.13/702.51	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2801.13/702.52	c vivif2 --  cl tried    72862 cl shrink        0 lits rem          0 time: 0.05
2801.93/702.79	c asymm  cl-useful: 0/1298/2130 lits-rem:0 time: 1.10
2801.93/702.80	c calculated reachability. Time: 0.00
2801.93/702.80	c  N st    82   3212520       100      2130         0     72862     10650    792127   no data   no data  --
3363.10/843.43	c  N st    83   3712522       100      2130         0     83295     10650    945104   no data   no data  --
3363.10/843.43	c  S st    83   3712522       100      2130         0     83295     10650    945104   no data   no data  --
3364.34/843.77	c  S st    83   3713030       100      2130         0     83775     10650    956047   no data   no data  --
3364.34/843.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3364.34/843.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3364.69/843.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
3364.69/843.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3364.69/843.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3364.69/843.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3364.69/843.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3391.79/850.66	c lits-rem:      1169  cl-subs:     2040  v-elim:      0  v-fix:    0  time: 27.16 s
3391.79/850.66	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3391.79/850.67	c vivif2 --  cl tried    81735 cl shrink        0 lits rem          0 time: 0.05
3393.00/850.94	c asymm  cl-useful: 0/832/2130 lits-rem:0 time: 1.05
3393.00/850.94	c calculated reachability. Time: 0.00
3393.00/850.94	c  N st    83   3713030       100      2130         0     81735     10650    917940   no data   no data  --
3436.48/861.85	c  F st    84   3751562       100      2130         0    116961     10650   1667953   no data   no data  --
3436.48/861.85	c  N st    84   3751562       100      2130         0    116961     10650   1667953   no data   no data  --
3444.45/863.83	c Decided on static restart strategy
3477.16/872.02	c  N st    94   3779868       100      2130         0    143070     10650   2251160   no data   no data  --
3517.89/882.26	c  N st    96   3815860       100      2130         0     98266     10650   1259304   no data   no data  --
3554.54/891.49	c  N st    97   3848253       100      2130         0    127879     10650   1908658   no data   no data  --
3620.73/908.07	c  N st    98   3896841       100      2130         0     93597     10650   1151191   no data   no data  --
3717.25/932.21	c  N st    99   3969726       100      2130         0     80960     10650    864295   no data   no data  --
3842.52/963.67	c  N st   100   4079052       100      2130         0    100255     10650   1265495   no data   no data  --
4006.00/1004.64	c  N st   101   4213031       100      2130         0    141194     10650   2129393   no data   no data  --
4006.00/1004.64	c  S st   101   4213031       100      2130         0    141194     10650   2129393   no data   no data  --
4007.99/1005.10	c  S st   101   4213535       100      2130         0    141668     10650   2140465   no data   no data  --
4007.99/1005.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4007.99/1005.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4007.99/1005.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.29
4008.39/1005.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4008.39/1005.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4008.39/1005.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4008.39/1005.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4579.87/1148.56	c lits-rem:      5424  cl-subs:    18968  v-elim:      0  v-fix:    0  time: 571.36 s
4579.87/1148.56	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4579.87/1148.59	c vivif2 --  cl tried   122700 cl shrink        0 lits rem          0 time: 0.12
4582.26/1149.15	c asymm  cl-useful: 0/835/2130 lits-rem:0 time: 2.23
4582.26/1149.15	c calculated reachability. Time: 0.00
4582.26/1149.15	c  N st   101   4213535       100      2130         0    122700     10650   1772328   no data   no data  --

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-3368739-1305401932/watcher-3368739-1305401932 -o /tmp/evaluation-result-3368739-1305401932/solver-3368739-1305401932 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368739-1305401932.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.57 8.03 8.03 6/354 7886
/proc/meminfo: memFree=17792396/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 730423859 52465664 353 33554432000 4194304 4650419 140734485205664 18446744073709551615 47852323153842 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 12809 353 303 112 0 7774 0
[pid=7886/tid=7887] ppid=7884 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730423860 52465664 353 33554432000 4194304 4650419 140734485205664 18446744073709551615 47852323153842 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730423860 52465664 353 33554432000 4194304 4650419 140734485205664 18446744073709551615 47852323153840 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730423860 52465664 353 33554432000 4194304 4650419 140734485205664 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.063227 s]
/proc/loadavg: 7.57 8.03 8.03 6/354 7886
/proc/meminfo: memFree=17792396/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=282452 CPUtime=0.22 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 1495 0 0 0 22 0 0 0 18 0 4 0 730423859 289230848 1353 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 70613 1353 389 112 0 65578 0
[pid=7886/tid=7887] ppid=7884 vsize=282452 CPUtime=0.06 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 320 0 0 0 6 0 0 0 18 0 4 0 730423860 289230848 1353 33554432000 4194304 4650419 140734485205664 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=282452 CPUtime=0.05 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 311 0 0 0 5 0 0 0 18 0 4 0 730423860 289230848 1353 33554432000 4194304 4650419 140734485205664 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=282452 CPUtime=0.04 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 167 0 0 0 4 0 0 0 25 0 4 0 730423860 289230848 1353 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 282452

[startup+0.126484 s]
/proc/loadavg: 7.57 8.03 8.03 6/354 7886
/proc/meminfo: memFree=17792396/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=299488 CPUtime=0.48 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 1874 0 0 0 48 0 0 0 18 0 4 0 730423859 306675712 1732 33554432000 4194304 4650419 140734485205664 18446744073709551615 4334040 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 74872 1732 391 112 0 69837 0
[pid=7886/tid=7887] ppid=7884 vsize=299488 CPUtime=0.12 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) D 7884 7886 7452 0 -1 4202560 404 0 0 0 12 0 0 0 18 0 4 0 730423860 306675712 1732 33554432000 4194304 4650419 140734485205664 18446744073709551615 256415435111 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=299488 CPUtime=0.12 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 404 0 0 0 12 0 0 0 18 0 4 0 730423860 306675712 1732 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=299488 CPUtime=0.11 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 292 0 0 0 11 0 0 0 25 0 4 0 730423860 306675712 1732 33554432000 4194304 4650419 140734485205664 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 299488

[startup+0.300182 s]
/proc/loadavg: 7.57 8.03 8.03 6/354 7886
/proc/meminfo: memFree=17792396/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=283604 CPUtime=1.17 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 2985 0 0 0 117 0 0 0 18 0 4 0 730423859 290410496 2112 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 70901 2112 391 112 0 65866 0
[pid=7886/tid=7887] ppid=7884 vsize=283604 CPUtime=0.29 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 782 0 0 0 29 0 0 0 18 0 4 0 730423860 290410496 2112 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=283604 CPUtime=0.29 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 675 0 0 0 29 0 0 0 18 0 4 0 730423860 290410496 2112 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=283604 CPUtime=0.28 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 502 0 0 0 28 0 0 0 25 0 4 0 730423860 290410496 2112 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283604

[startup+0.701107 s]
/proc/loadavg: 7.57 8.03 8.03 6/354 7886
/proc/meminfo: memFree=17792396/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=284800 CPUtime=2.78 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 5080 0 0 0 277 1 0 0 18 0 4 0 730423859 291635200 2608 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 71200 2608 391 112 0 66165 0
[pid=7886/tid=7887] ppid=7884 vsize=284800 CPUtime=0.69 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 1228 0 0 0 69 0 0 0 18 0 4 0 730423860 291635200 2608 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=284800 CPUtime=0.69 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 1230 0 0 0 69 0 0 0 18 0 4 0 730423860 291635200 2608 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=284800 CPUtime=0.68 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 1024 0 0 0 68 0 0 0 25 0 4 0 730423860 291635200 2608 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284800

[startup+1.50096 s]
/proc/loadavg: 7.57 8.03 8.03 10/358 7890
/proc/meminfo: memFree=17771532/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=276444 CPUtime=5.97 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 10025 0 0 0 595 2 0 0 20 0 4 0 730423859 283078656 5662 33554432000 4194304 4650419 140734485205664 18446744073709551615 4370693 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 69111 5662 393 112 0 64076 0
[pid=7886/tid=7887] ppid=7884 vsize=276444 CPUtime=1.49 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 2954 0 0 0 149 0 0 0 20 0 4 0 730423860 283078656 5662 33554432000 4194304 4650419 140734485205664 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=276444 CPUtime=1.49 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 2068 0 0 0 149 0 0 0 19 0 4 0 730423860 283078656 5662 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365453 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=276444 CPUtime=1.47 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 1785 0 0 0 147 0 0 0 25 0 4 0 730423860 283078656 5662 33554432000 4194304 4650419 140734485205664 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 276444

[startup+3.10066 s]
/proc/loadavg: 7.57 8.03 8.03 9/358 7890
/proc/meminfo: memFree=17738672/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=284792 CPUtime=12.35 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 16772 0 0 0 1232 3 0 0 25 0 4 0 730423859 291627008 9862 33554432000 4194304 4650419 140734485205664 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 71198 9862 393 112 0 66163 0
[pid=7886/tid=7887] ppid=7884 vsize=284792 CPUtime=3.09 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 3972 0 0 0 309 0 0 0 25 0 4 0 730423860 291627008 9862 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=284792 CPUtime=3.08 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 4324 0 0 0 308 0 0 0 25 0 4 0 730423860 291627008 9862 33554432000 4194304 4650419 140734485205664 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=284792 CPUtime=3.05 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 3784 0 0 0 305 0 0 0 25 0 4 0 730423860 291627008 9862 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 284792

[startup+6.30105 s]
/proc/loadavg: 7.60 8.03 8.03 9/358 7890
/proc/meminfo: memFree=17709080/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=288236 CPUtime=25.11 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 24815 0 0 0 2507 4 0 0 25 0 4 0 730423859 295153664 12817 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365216 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 72059 12817 393 112 0 67024 0
[pid=7886/tid=7887] ppid=7884 vsize=288236 CPUtime=6.29 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 6380 0 0 0 628 1 0 0 25 0 4 0 730423860 295153664 12817 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=288236 CPUtime=6.29 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 6894 0 0 0 628 1 0 0 25 0 4 0 730423860 295153664 12817 33554432000 4194304 4650419 140734485205664 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=288236 CPUtime=6.22 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 5415 0 0 0 621 1 0 0 25 0 4 0 730423860 295153664 12817 33554432000 4194304 4650419 140734485205664 18446744073709551615 4363871 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 288236

[startup+12.7008 s]
/proc/loadavg: 7.79 8.06 8.04 11/359 7891
/proc/meminfo: memFree=17658936/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=296980 CPUtime=50.48 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 38085 0 0 0 5040 8 0 0 25 0 4 0 730423859 304107520 18531 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 74245 18531 393 112 0 69210 0
[pid=7886/tid=7887] ppid=7884 vsize=296980 CPUtime=12.69 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 9977 0 0 0 1267 2 0 0 25 0 4 0 730423860 304107520 18531 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=296980 CPUtime=12.69 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 10413 0 0 0 1267 2 0 0 25 0 4 0 730423860 304107520 18531 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=296980 CPUtime=12.42 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 8279 0 0 0 1241 1 0 0 25 0 4 0 730423860 304107520 18531 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 296980

[startup+25.5004 s]
/proc/loadavg: 8.13 8.12 8.06 10/359 7892
/proc/meminfo: memFree=17607972/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=307800 CPUtime=100.92 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 58152 0 0 0 10081 11 0 0 25 0 4 0 730423859 315187200 21560 33554432000 4194304 4650419 140734485205664 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 76950 21560 393 112 0 71915 0
[pid=7886/tid=7887] ppid=7884 vsize=307800 CPUtime=25.49 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 16004 0 0 0 2546 3 0 0 25 0 4 0 730423860 315187200 21560 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=307800 CPUtime=25.49 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 15975 0 0 0 2546 3 0 0 25 0 4 0 730423860 315187200 21560 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=307800 CPUtime=25.07 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 11963 0 0 0 2505 2 0 0 25 0 4 0 730423860 315187200 21560 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.92
Current children cumulated vsize (KiB) 307800

[startup+51.1006 s]
/proc/loadavg: 7.90 8.06 8.04 9/358 7922
/proc/meminfo: memFree=17593544/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=309076 CPUtime=203.01 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 88036 0 0 0 20281 20 0 0 25 0 4 0 730423859 316493824 27398 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 77269 27398 393 112 0 72234 0
[pid=7886/tid=7887] ppid=7884 vsize=309076 CPUtime=51.09 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 25916 0 0 0 5104 5 0 0 25 0 4 0 730423860 316493824 27398 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=309076 CPUtime=51.08 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 24042 0 0 0 5103 5 0 0 25 0 4 0 730423860 316493824 27398 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=309076 CPUtime=50.39 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 16167 0 0 0 5036 3 0 0 25 0 4 0 730423860 316493824 27398 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.01
Current children cumulated vsize (KiB) 309076

[startup+102.313 s]
/proc/loadavg: 8.03 8.07 8.04 9/358 7924
/proc/meminfo: memFree=17481736/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=365508 CPUtime=407.27 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 133949 0 0 0 40693 34 0 0 25 0 4 0 730423859 374280192 36689 33554432000 4194304 4650419 140734485205664 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 91377 36689 393 112 0 86342 0
[pid=7886/tid=7887] ppid=7884 vsize=365508 CPUtime=102.3 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 39263 0 0 0 10221 9 0 0 25 0 4 0 730423860 374280192 36689 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=365508 CPUtime=102.28 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 38899 0 0 0 10219 9 0 0 25 0 4 0 730423860 374280192 36689 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=365508 CPUtime=101.02 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 21860 0 0 0 10097 5 0 0 25 0 4 0 730423860 374280192 36689 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.27
Current children cumulated vsize (KiB) 365508

[startup+162.301 s]

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

[pid=7886] ppid=7884 vsize=481632 CPUtime=2800.33 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 425987 0 0 0 279889 144 0 0 25 0 4 0 730423859 493191168 76756 33554432000 4194304 4650419 140734485205664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 120408 76756 393 112 0 115373 0
[pid=7886/tid=7887] ppid=7884 vsize=481632 CPUtime=702.32 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 133292 0 0 0 70188 44 0 0 25 0 4 0 730423860 493191168 76756 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=481632 CPUtime=702.18 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 116123 0 0 0 70180 38 0 0 25 0 4 0 730423860 493191168 76756 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=481632 CPUtime=694.17 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 61273 0 0 0 69397 20 0 0 25 0 4 0 730423860 493191168 76756 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.33
Current children cumulated vsize (KiB) 481632

[startup+762.314 s]
/proc/loadavg: 8.16 8.14 8.07 9/358 7941
/proc/meminfo: memFree=17017544/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=551404 CPUtime=3039.66 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 450507 0 0 0 303811 155 0 0 25 0 4 0 730423859 564637696 84582 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 137851 84582 393 112 0 132816 0
[pid=7886/tid=7887] ppid=7884 vsize=551404 CPUtime=762.32 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 140128 0 0 0 76186 46 0 0 25 0 4 0 730423860 564637696 84582 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=551404 CPUtime=762.18 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 122824 0 0 0 76177 41 0 0 25 0 4 0 730423860 564637696 84582 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=551404 CPUtime=753.47 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 65591 0 0 0 75325 22 0 0 25 0 4 0 730423860 564637696 84582 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.66
Current children cumulated vsize (KiB) 551404

[startup+822.301 s]
/proc/loadavg: 8.14 8.14 8.07 9/358 7943
/proc/meminfo: memFree=17011184/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=492676 CPUtime=3278.94 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 476960 0 0 0 327729 165 0 0 25 0 4 0 730423859 504500224 80177 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 123169 80177 393 112 0 118134 0
[pid=7886/tid=7887] ppid=7884 vsize=492676 CPUtime=822.32 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 148852 0 0 0 82182 50 0 0 25 0 4 0 730423860 504500224 80177 33554432000 4194304 4650419 140734485205664 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=492676 CPUtime=822.16 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 130575 0 0 0 82172 44 0 0 25 0 4 0 730423860 504500224 80178 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=492676 CPUtime=812.79 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 67979 0 0 0 81256 23 0 0 25 0 4 0 730423860 504500224 80178 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.94
Current children cumulated vsize (KiB) 492676

[startup+882.3 s]
/proc/loadavg: 8.05 8.11 8.07 9/358 7944
/proc/meminfo: memFree=17008672/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=491920 CPUtime=3518.24 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 500042 0 0 0 351649 175 0 0 25 0 4 0 730423859 503726080 83967 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 122980 83967 393 112 0 117945 0
[pid=7886/tid=7887] ppid=7884 vsize=491920 CPUtime=882.32 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 156338 0 0 0 88179 53 0 0 25 0 4 0 730423860 503726080 83967 33554432000 4194304 4650419 140734485205664 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=491920 CPUtime=882.15 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 137080 0 0 0 88169 46 0 0 25 0 4 0 730423860 503726080 83967 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=491920 CPUtime=872.09 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 72590 0 0 0 87184 25 0 0 25 0 4 0 730423860 503726080 83967 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.24
Current children cumulated vsize (KiB) 491920

[startup+942.3 s]
/proc/loadavg: 8.10 8.10 8.07 9/358 7946
/proc/meminfo: memFree=17004064/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=495544 CPUtime=3757.53 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 518458 0 0 0 375569 184 0 0 25 0 4 0 730423859 507437056 83977 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 123886 83977 393 112 0 118851 0
[pid=7886/tid=7887] ppid=7884 vsize=495544 CPUtime=942.32 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 163712 0 0 0 94176 56 0 0 25 0 4 0 730423860 507437056 83977 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=495544 CPUtime=942.13 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 141708 0 0 0 94164 49 0 0 25 0 4 0 730423860 507437056 83977 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=495544 CPUtime=931.4 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 73553 0 0 0 93114 26 0 0 25 0 4 0 730423860 507437056 83977 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.53
Current children cumulated vsize (KiB) 495544

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.07 9/358 7948
/proc/meminfo: memFree=16978248/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=509232 CPUtime=3996.82 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 536956 0 0 0 399490 192 0 0 25 0 4 0 730423859 521453568 86455 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 127308 86455 393 112 0 122273 0
[pid=7886/tid=7887] ppid=7884 vsize=509232 CPUtime=1002.33 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 170603 0 0 0 100173 60 0 0 25 0 4 0 730423860 521453568 86455 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=509232 CPUtime=1002.13 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 146612 0 0 0 100162 51 0 0 25 0 4 0 730423860 521453568 86455 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=509232 CPUtime=990.69 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 73751 0 0 0 99043 26 0 0 25 0 4 0 730423860 521453568 86455 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.82
Current children cumulated vsize (KiB) 509232

[startup+1062.3 s]
/proc/loadavg: 8.15 8.11 8.07 9/358 7949
/proc/meminfo: memFree=16950560/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=547548 CPUtime=4236.12 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 554485 0 0 0 423413 199 0 0 25 0 4 0 730423859 560689152 93816 33554432000 4194304 4650419 140734485205664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 136887 93816 393 112 0 131852 0
[pid=7886/tid=7887] ppid=7884 vsize=547548 CPUtime=1062.32 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 175793 0 0 0 106172 60 0 0 25 0 4 0 730423860 560689152 93816 33554432000 4194304 4650419 140734485205664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=547548 CPUtime=1062.12 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 150265 0 0 0 106158 54 0 0 25 0 4 0 730423860 560689152 93816 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=547548 CPUtime=1049.99 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 79666 0 0 0 104971 28 0 0 25 0 4 0 730423860 560689152 93816 33554432000 4194304 4650419 140734485205664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.12
Current children cumulated vsize (KiB) 547548

[startup+1122.3 s]
/proc/loadavg: 8.15 8.12 8.08 9/358 7951
/proc/meminfo: memFree=16899812/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=569648 CPUtime=4475.39 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 572323 0 0 0 447335 204 0 0 25 0 4 0 730423859 583319552 100095 33554432000 4194304 4650419 140734485205664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 142412 100095 393 112 0 137377 0
[pid=7886/tid=7887] ppid=7884 vsize=569648 CPUtime=1122.32 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 180364 0 0 0 112171 61 0 0 25 0 4 0 730423860 583319552 100095 33554432000 4194304 4650419 140734485205664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=569648 CPUtime=1122.1 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 158883 0 0 0 112153 57 0 0 25 0 4 0 730423860 583319552 100095 33554432000 4194304 4650419 140734485205664 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=569648 CPUtime=1109.27 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 82502 0 0 0 110898 29 0 0 25 0 4 0 730423860 583319552 100095 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.39
Current children cumulated vsize (KiB) 569648

[startup+1182.3 s]
/proc/loadavg: 8.15 8.12 8.08 9/358 7952
/proc/meminfo: memFree=16911180/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=611816 CPUtime=4714.68 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 584867 0 0 0 471259 209 0 0 25 0 4 0 730423859 626499584 102119 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 152954 102119 393 112 0 147919 0
[pid=7886/tid=7887] ppid=7884 vsize=611816 CPUtime=1182.33 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 186667 0 0 0 118170 63 0 0 25 0 4 0 730423860 626499584 102119 33554432000 4194304 4650419 140734485205664 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=611816 CPUtime=1182.1 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 159373 0 0 0 118153 57 0 0 25 0 4 0 730423860 626499584 102119 33554432000 4194304 4650419 140734485205664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=611816 CPUtime=1168.56 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 85332 0 0 0 116825 31 0 0 25 0 4 0 730423860 626499584 102119 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.68
Current children cumulated vsize (KiB) 611816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.17 8.13 8.09 9/358 7953
/proc/meminfo: memFree=16882164/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=611816 CPUtime=4800.04 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 588246 0 0 0 479793 211 0 0 25 0 4 0 730423859 626499584 105498 33554432000 4194304 4650419 140734485205664 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 152954 105498 393 112 0 147919 0
[pid=7886/tid=7887] ppid=7884 vsize=611816 CPUtime=1203.74 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 187918 0 0 0 120310 64 0 0 25 0 4 0 730423860 626499584 105498 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=611816 CPUtime=1203.51 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 159373 0 0 0 120294 57 0 0 25 0 4 0 730423860 626499584 105498 33554432000 4194304 4650419 140734485205664 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=611816 CPUtime=1189.7 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 86298 0 0 0 118939 31 0 0 25 0 4 0 730423860 626499584 105498 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 611816

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

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

[startup+1203.7 s]
/proc/loadavg: 8.17 8.13 8.09 9/358 7953
/proc/meminfo: memFree=16882164/32950928 swapFree=67111200/67111528
[pid=7886] ppid=7884 vsize=611816 CPUtime=4800.04 cores=0,2,4,6
/proc/7886/stat : 7886 (strangenight1-m) R 7884 7886 7452 0 -1 4202496 588246 0 0 0 479793 211 0 0 25 0 4 0 730423859 626499584 105498 33554432000 4194304 4650419 140734485205664 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7886/statm: 152954 105498 393 112 0 147919 0
[pid=7886/tid=7887] ppid=7884 vsize=611816 CPUtime=1203.74 cores=0,2,4,6
/proc/7886/task/7887/stat : 7887 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 187918 0 0 0 120310 64 0 0 25 0 4 0 730423860 626499584 105498 33554432000 4194304 4650419 140734485205664 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7886/tid=7888] ppid=7884 vsize=611816 CPUtime=1203.51 cores=0,2,4,6
/proc/7886/task/7888/stat : 7888 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 159373 0 0 0 120294 57 0 0 25 0 4 0 730423860 626499584 105498 33554432000 4194304 4650419 140734485205664 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7886/tid=7889] ppid=7884 vsize=611816 CPUtime=1189.7 cores=0,2,4,6
/proc/7886/task/7889/stat : 7889 (strangenight1-m) R 7884 7886 7452 0 -1 4202560 86298 0 0 0 118939 31 0 0 25 0 4 0 730423860 626499584 105498 33554432000 4194304 4650419 140734485205664 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 611816

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.74
CPU time (s): 4800.11
CPU user time (s): 4797.97
CPU system time (s): 2.13368
CPU usage (%): 398.766
Max. virtual memory (cumulated for all children) (KiB): 624924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.97
system time used= 2.13368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588246
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281
involuntary context switches= 23645

runsolver used 3.99839 second user time and 9.91749 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-14 21:38:52
IDJOB=3368739
IDBENCH=82748
IDSOLVER=1846
FILE ID=node115/3368739-1305401932
RUNJOBID= node115-1305400726-7767
PBS_JOBID= 13324450
Free space on /tmp= 73228 MiB

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

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

MD5SUM BENCH= 8d71ad1b25bd6c4021d51959610734bb
RANDOM SEED=422594589

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      17792676 kB
Buffers:        285828 kB
Cached:        4524388 kB
SwapCached:          0 kB
Active:       11966276 kB
Inactive:      2874416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17792676 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:           12432 kB
Writeback:           0 kB
AnonPages:    10029844 kB
Mapped:          28228 kB
Slab:           210912 kB
PageTables:      40928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 69742212 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= 73224 MiB
End job on node115 at 2011-05-14 21:58:58