Trace number 3369535

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

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_1_keyfind_1.cnf
MD5SUM9e18e0ee8a56ea2c59fe8e682ff6c747
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.783
Satisfiable
(Un)Satisfiability was proved
Number of variables596
Number of clauses2780
Sum of the clauses size10460
Maximum clause length5
Minimum clause length1
Number of clauses of size 1132
Number of clauses of size 280
Number of clauses of size 31168
Number of clauses of size 4336
Number of clauses of size 51064
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369535-1305414728.cnf'
0.00/0.00	c -- header says num vars:            596
0.00/0.00	c -- header says num clauses:        2780
0.00/0.01	c -- clauses added:            0 learnts,         2780 normals,            0 xors
0.00/0.01	c -- vars added        596
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       596      2552        80         0     10248         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/2040/2040 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  160 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c Replacing      160 vars Replaced     3688 lits Time:     0.00 s 
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    304 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:     160, avg size: 3.8)
0.00/0.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     28 locsubst:     0 time:   0.00
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       2 undec:     320 neg:     274
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       276       632        16         0      2864         0   no data   no data  --
0.18/0.05	c Decided on static restart strategy
0.37/0.12	c  N st     8      4916       276       632        26      4589      2864     99828   no data   no data  --
1.17/0.37	c  N st    10     11299       276       632        28      4289      2864     70032   no data   no data  --
2.37/0.60	c  N st    11     17042       276       632        28      9804      2864    205466   no data   no data  --
3.16/0.90	c  F st    12     25001       276       632        42     11902      2864    231249   no data   no data  --
3.16/0.90	c  N st    12     25001       276       632        42     11902      2864    231249   no data   no data  --
3.99/1.11	c Decided on static restart strategy
3.99/1.11	c  N st    18     30001       276       632        44     10195      2864    192329   no data   no data  --
3.99/1.11	c  S st    18     30001       276       632        44     10195      2864    192329   no data   no data  --
3.99/1.11	c Finding binary XORs  T:     0.00 s  found:      21
4.41/1.11	c Replacing       21 vars Replaced    11304 lits Time:     0.03 s 
4.41/1.14	c  S st    18     30502       255       632         3     10653      2836    199481   no data   no data  --
4.41/1.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      4 locsubst:     0 time:   0.00
4.41/1.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.41/1.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.41/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.41/1.15	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  0.00 s
4.41/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    251 time:  0.00 s
4.41/1.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.37	c lits-rem:      2118  cl-subs:     1318  v-elim:      0  v-fix:    0  time:  0.87 s
5.16/1.37	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.02
5.16/1.37	c calculated reachability. Time: 0.00
5.16/1.37	c  N st    18     30502       251       632         3      8316      2828    150296   no data   no data  --
6.75/1.75	c  N st    20     37613       251       632         6      8176      2828    129929   no data   no data  --
7.95/2.05	c  N st    21     44012       251       632         6     14020      2828    252159   no data   no data  --
8.38/2.15	c  S st    22     45754       251       632         7     15695      2828    293461   no data   no data  --
8.38/2.19	c  S st    22     46255       251       632         7     16179      2828    302164   no data   no data  --
8.38/2.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.38/2.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.38/2.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.38/2.20	c Replacing        2 vars Replaced     1814 lits Time:     0.01 s 
8.38/2.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.38/2.21	c subs with bin:        1  lits-rem:       170  v-fix:    0  time:  0.00 s
8.38/2.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    249 time:  0.00 s
8.38/2.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.53/3.46	c lits-rem:      2016  cl-subs:     3173  v-elim:      0  v-fix:    0  time:  5.01 s
13.53/3.46	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
13.53/3.46	c vivif2 --  cl tried    13005 cl shrink        0 lits rem          0 time: 0.01
13.53/3.47	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.02
13.53/3.47	c calculated reachability. Time: 0.00
13.53/3.47	c  N st    22     46255       249       632         3     13005      2824    230851   no data   no data  --
16.73/4.26	c  N st    23     60652       249       632         3      9617      2824    135001   no data   no data  --
16.73/4.26	c Finding binary XORs  T:     0.00 s  found:       8
16.73/4.27	c Replacing        8 vars Replaced     3241 lits Time:     0.02 s 
19.12/4.82	c  N st    24     69382       241       632         1     17711      2824    329020   no data   no data  --
19.12/4.82	c  S st    24     69382       241       632         1     17711      2824    329020   no data   no data  --
19.12/4.86	c  S st    24     69883       241       632         1     18198      2824    337407   no data   no data  --
19.12/4.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.12/4.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.12/4.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
19.12/4.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.12/4.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.12/4.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    241 time:  0.00 s
19.12/4.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.69/6.71	c lits-rem:      2191  cl-subs:     2572  v-elim:      0  v-fix:    0  time:  7.30 s
26.69/6.71	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
26.69/6.71	c vivif2 --  cl tried    15626 cl shrink        0 lits rem          0 time: 0.01
26.69/6.71	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.02
26.69/6.72	c calculated reachability. Time: 0.00
26.69/6.72	c  N st    24     69883       241       632         1     15626      2824    287622   no data   no data  --
32.29/8.10	c  F st    25     87501       241       632         1     21958      2824    401849   no data   no data  --
32.29/8.10	c  N st    25     87501       241       632         1     21958      2824    401849   no data   no data  --
33.88/8.50	c Decided on static restart strategy
34.28/8.65	c  N st    32     95540       241       632         1     18397      2824    313106   no data   no data  --
36.67/9.26	c  N st    34    104826       241       632         2     15151      2824    240739   no data   no data  --
36.67/9.26	c  S st    34    104826       241       632         2     15151      2824    240739   no data   no data  --
37.07/9.31	c  S st    34    105330       241       632         2     15645      2824    249287   no data   no data  --
37.07/9.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.07/9.31	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
37.07/9.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
37.07/9.31	c Replacing        1 vars Replaced      144 lits Time:     0.00 s 
37.07/9.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.07/9.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.07/9.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
37.07/9.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.66/10.71	c lits-rem:      1131  cl-subs:      403  v-elim:      0  v-fix:    0  time:  5.56 s
42.66/10.71	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
42.66/10.71	c vivif2 --  cl tried    15242 cl shrink        0 lits rem          0 time: 0.01
42.66/10.72	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.02
42.66/10.72	c calculated reachability. Time: 0.00
42.66/10.72	c  N st    34    105330       240       632         0     15242      2824    240690   no data   no data  --
45.85/11.50	c  N st    35    114928       240       632         0     24219      2824    469727   no data   no data  --
50.63/12.76	c  N st    36    129325       240       632         0     24452      2824    452763   no data   no data  --
58.21/14.69	c  N st    37    150921       240       632         0     15806      2824    219859   no data   no data  --
60.21/15.10	c  S st    38    157996       240       632         0     22512      2824    374187   no data   no data  --
60.21/15.15	c  S st    38    158501       240       632         0     23002      2824    382780   no data   no data  --
60.21/15.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.21/15.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.21/15.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
60.21/15.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.21/15.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.21/15.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
60.21/15.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.58/17.21	c lits-rem:      1729  cl-subs:     1993  v-elim:      0  v-fix:    0  time:  8.14 s
68.58/17.21	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
68.58/17.21	c vivif2 --  cl tried    21009 cl shrink        0 lits rem          0 time: 0.02
68.58/17.22	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.04
68.58/17.22	c calculated reachability. Time: 0.00
68.58/17.22	c  N st    38    158501       240       632         0     21009      2824    340238   no data   no data  --
85.34/21.45	c  N st    39    207090       240       632         0     33862      2824    591408   no data   no data  --
97.31/24.44	c  N st    40    237752       240       632         0     26064      2824    414180   no data   no data  --
97.31/24.44	c  S st    40    237752       240       632         0     26064      2824    414180   no data   no data  --
97.31/24.49	c  S st    40    238258       240       632         0     26557      2824    423111   no data   no data  --
97.31/24.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
97.31/24.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.71/24.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
97.71/24.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.71/24.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.71/24.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
97.71/24.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.88/26.82	c lits-rem:      1894  cl-subs:     3767  v-elim:      0  v-fix:    0  time:  9.20 s
106.88/26.82	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
106.88/26.82	c vivif2 --  cl tried    22790 cl shrink        0 lits rem          0 time: 0.02
106.88/26.83	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.04
106.88/26.83	c calculated reachability. Time: 0.00
106.88/26.83	c  N st    40    238258       240       632         0     22790      2824    346881   no data   no data  --
140.02/35.16	c  F st    41    306250       240       632         0     24788      2824    365812   no data   no data  --
140.02/35.16	c  N st    41    306250       240       632         0     24788      2824    365812   no data   no data  --
141.97/35.69	c Decided on static restart strategy
150.74/37.84	c  N st    51    334552       240       632         0     28922      2824    445521   no data   no data  --
160.73/40.37	c  N st    53    357388       240       632         0     26835      2824    396793   no data   no data  --
160.73/40.37	c  S st    53    357388       240       632         0     26835      2824    396793   no data   no data  --
161.13/40.44	c  S st    53    357891       240       632         0     27321      2824    405924   no data   no data  --
161.13/40.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
161.13/40.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.13/40.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
161.13/40.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
161.13/40.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
161.13/40.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
161.13/40.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
169.50/42.59	c lits-rem:      1468  cl-subs:     1538  v-elim:      0  v-fix:    0  time:  8.49 s
169.50/42.59	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
169.50/42.59	c vivif2 --  cl tried    25783 cl shrink        0 lits rem          0 time: 0.02
169.90/42.61	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.05
169.90/42.61	c calculated reachability. Time: 0.00
169.90/42.61	c  N st    53    357891       240       632         0     25783      2824    376867   no data   no data  --
181.46/45.54	c  N st    54    390284       240       632         0     31874      2824    493939   no data   no data  --
204.61/51.37	c  N st    55    438873       240       632         0     52739      2824   1002761   no data   no data  --
240.50/60.32	c  N st    56    511755       240       632         0     39058      2824    617631   no data   no data  --
253.67/63.61	c  N st    57    536838       240       632         0     33300      2824    485869   no data   no data  --
253.67/63.61	c  S st    57    536838       240       632         0     33300      2824    485869   no data   no data  --
253.67/63.68	c  S st    57    537342       240       632         0     33790      2824    495323   no data   no data  --
253.67/63.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
253.67/63.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
253.67/63.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
253.67/63.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
253.67/63.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
253.67/63.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
253.67/63.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
262.88/66.00	c lits-rem:      1328  cl-subs:     1798  v-elim:      0  v-fix:    0  time:  9.15 s
262.88/66.00	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
262.88/66.01	c vivif2 --  cl tried    31992 cl shrink        0 lits rem          0 time: 0.02
263.29/66.02	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.07
263.29/66.02	c calculated reachability. Time: 0.00
263.29/66.02	c  N st    57    537342       240       632         0     31992      2824    462130   no data   no data  --
357.38/89.64	c  N st    58    701327       240       632         0     59520      2824    998618   no data   no data  --
425.22/106.63	c  N st    59    806014       240       632         0     53700      2824    864362   no data   no data  --
425.22/106.63	c  S st    59    806014       240       632         0     53700      2824    864362   no data   no data  --
425.62/106.78	c  S st    59    806525       240       632         0     54198      2824    873423   no data   no data  --
425.62/106.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
425.62/106.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
425.98/106.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
425.98/106.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
425.98/106.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
425.98/106.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
425.98/106.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
455.94/114.36	c lits-rem:      4283  cl-subs:    12194  v-elim:      0  v-fix:    0  time: 30.02 s
455.94/114.36	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
455.94/114.37	c vivif2 --  cl tried    42004 cl shrink        0 lits rem          0 time: 0.03
455.94/114.39	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.10
455.94/114.40	c calculated reachability. Time: 0.00
455.94/114.40	c  N st    59    806525       240       632         0     42004      2824    657796   no data   no data  --
604.28/151.55	c  F st    60   1071875       240       632         0     57712      2824    911053   no data   no data  --
604.28/151.55	c  N st    60   1071875       240       632         0     57712      2824    911053   no data   no data  --
607.47/152.31	c Decided on static restart strategy
625.43/156.82	c  N st    70   1100178       240       632         0     42588      2824    588570   no data   no data  --
646.96/162.28	c  N st    72   1136171       240       632         0     76170      2824   1322088   no data   no data  --
669.29/167.84	c  N st    73   1168563       240       632         0     63444      2824   1036403   no data   no data  --
694.02/174.07	c  N st    74   1209787       240       632         0     58240      2824    925573   no data   no data  --
694.02/174.07	c  S st    74   1209787       240       632         0     58240      2824    925573   no data   no data  --
694.82/174.24	c  S st    74   1210294       240       632         0     58731      2824    935097   no data   no data  --
694.82/174.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
694.82/174.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
694.82/174.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
694.82/174.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
694.82/174.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
694.82/174.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
694.82/174.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
716.76/179.73	c lits-rem:      1515  cl-subs:     6410  v-elim:      0  v-fix:    0  time: 21.69 s
716.76/179.73	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
716.76/179.74	c vivif2 --  cl tried    52321 cl shrink        0 lits rem          0 time: 0.04
716.76/179.78	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.14
716.76/179.78	c calculated reachability. Time: 0.00
716.76/179.78	c  N st    74   1210294       240       632         0     52321      2824    813127   no data   no data  --
755.45/189.48	c  N st    75   1283176       240       632         0     76231      2824   1318728   no data   no data  --
843.19/211.45	c  N st    76   1392500       240       632         0     85178      2824   1470087   no data   no data  --
972.43/243.88	c  N st    77   1556485       240       632         0     92034      2824   1558069   no data   no data  --
1081.72/271.29	c  N st    78   1710295       240       632         0     81369      2824   1319342   no data   no data  --
1081.72/271.29	c  S st    78   1710295       240       632         0     81369      2824   1319342   no data   no data  --
1082.92/271.52	c  S st    78   1710796       240       632         0     81855      2824   1329154   no data   no data  --
1082.92/271.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1082.92/271.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1082.92/271.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
1082.92/271.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1082.92/271.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1082.92/271.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
1082.92/271.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1149.57/288.29	c lits-rem:      1976  cl-subs:    20307  v-elim:      0  v-fix:    0  time: 66.51 s
1149.57/288.29	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
1149.92/288.30	c vivif2 --  cl tried    61548 cl shrink        0 lits rem          0 time: 0.05
1149.92/288.35	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.19
1149.92/288.35	c calculated reachability. Time: 0.00
1149.92/288.35	c  N st    78   1710796       240       632         0     61548      2824    968208   no data   no data  --
1446.67/362.78	c  N st    79   2079761       240       632         0     74957      2824   1154952   no data   no data  --
1560.34/391.21	c  N st    80   2210796       240       632         0     78379      2824   1224043   no data   no data  --
1560.34/391.21	c  S st    80   2210796       240       632         0     78379      2824   1224043   no data   no data  --
1561.14/391.41	c  S st    80   2211296       240       632         0     78870      2824   1233357   no data   no data  --
1561.14/391.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1561.14/391.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1561.14/391.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.12
1561.14/391.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1561.14/391.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1561.14/391.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
1561.14/391.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1607.39/403.05	c lits-rem:      2537  cl-subs:    13445  v-elim:      0  v-fix:    0  time: 46.12 s
1607.39/403.05	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
1607.39/403.06	c vivif2 --  cl tried    65425 cl shrink        0 lits rem          0 time: 0.05
1607.79/403.11	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.20
1607.79/403.11	c calculated reachability. Time: 0.00
1607.79/403.11	c  N st    80   2211296       240       632         0     65425      2824    991504   no data   no data  --
2099.58/526.41	c  N st    81   2711296       240       632         0     87788      2824   1394092   no data   no data  --
2099.58/526.41	c  S st    81   2711296       240       632         0     87788      2824   1394092   no data   no data  --
2100.38/526.68	c  S st    81   2711800       240       632         0     88279      2824   1403832   no data   no data  --
2100.38/526.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2100.38/526.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2100.78/526.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
2100.78/526.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2100.78/526.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2100.78/526.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
2100.78/526.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2164.97/542.87	c lits-rem:      2162  cl-subs:    12886  v-elim:      0  v-fix:    0  time: 64.20 s
2164.97/542.87	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
2164.97/542.88	c vivif2 --  cl tried    75393 cl shrink        0 lits rem          0 time: 0.06
2165.37/542.94	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.25
2165.37/542.95	c calculated reachability. Time: 0.00
2165.37/542.95	c  N st    81   2711800       240       632         0     75393      2824   1175354   no data   no data  --
2697.90/676.44	c  N st    82   3211800       240       632         0    125726      2824   2129847   no data   no data  --
2697.90/676.44	c  S st    82   3211800       240       632         0    125726      2824   2129847   no data   no data  --
2699.46/676.87	c  S st    82   3212306       240       632         0    126213      2824   2139771   no data   no data  --
2699.46/676.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2699.46/676.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2699.86/676.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.23
2700.26/677.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2700.26/677.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2700.26/677.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
2700.26/677.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2962.28/742.73	c lits-rem:      4343  cl-subs:    37154  v-elim:      0  v-fix:    0  time: 262.11 s
2962.28/742.73	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
2962.28/742.75	c vivif2 --  cl tried    89059 cl shrink        0 lits rem          0 time: 0.08
2962.68/742.85	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.38
2962.68/742.85	c calculated reachability. Time: 0.00
2962.68/742.85	c  N st    82   3212306       240       632         0     89059      2824   1460363   no data   no data  --
3528.27/884.69	c  N st    83   3712309       240       632         0    107450      2824   1682788   no data   no data  --
3528.27/884.69	c  S st    83   3712309       240       632         0    107450      2824   1682788   no data   no data  --
3529.47/884.96	c  S st    83   3712814       240       632         0    107944      2824   1691913   no data   no data  --
3529.47/884.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3529.47/884.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3529.87/885.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
3529.87/885.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3529.87/885.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3529.87/885.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
3529.87/885.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3645.56/914.07	c lits-rem:      3722  cl-subs:    22075  v-elim:      0  v-fix:    0  time: 115.65 s
3645.56/914.07	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
3645.56/914.09	c vivif2 --  cl tried    85869 cl shrink        0 lits rem          0 time: 0.07
3645.96/914.17	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.32
3645.96/914.17	c calculated reachability. Time: 0.00
3645.96/914.17	c  N st    83   3712814       240       632         0     85869      2824   1313542   no data   no data  --
3683.82/923.62	c  F st    84   3751564       240       632         0    121481      2824   2051981   no data   no data  --
3683.82/923.62	c  N st    84   3751564       240       632         0    121481      2824   2051981   no data   no data  --
3690.19/925.20	c Decided on static restart strategy
3717.70/932.17	c  N st    94   3779866       240       632         0    147674      2824   2662143   no data   no data  --
3760.37/942.88	c  N st    96   3815859       240       632         0    104694      2824   1729897   no data   no data  --
3794.71/951.48	c  N st    97   3848251       240       632         0    134593      2824   2396211   no data   no data  --
3839.00/962.54	c  N st    98   3896841       240       632         0    101676      2824   1613716   no data   no data  --
3921.12/983.11	c  N st    99   3969723       240       632         0     90063      2824   1354193   no data   no data  --
4051.93/1015.98	c  N st   100   4079047       240       632         0    110662      2824   1759866   no data   no data  --
4222.25/1058.61	c  N st   101   4212815       240       632         0    152852      2824   2646048   no data   no data  --
4222.25/1058.61	c  S st   101   4212815       240       632         0    152852      2824   2646048   no data   no data  --
4224.25/1059.16	c  S st   101   4213316       240       632         0    153337      2824   2656069   no data   no data  --
4224.25/1059.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4224.25/1059.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4224.68/1059.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.29
4225.09/1059.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4225.09/1059.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4225.09/1059.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
4225.09/1059.33	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-3369535-1305414728/watcher-3369535-1305414728 -o /tmp/evaluation-result-3369535-1305414728/solver-3369535-1305414728 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369535-1305414728.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: 6.85 7.83 7.57 2/347 19336
/proc/meminfo: memFree=24746828/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=282672 CPUtime=0.02 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 1181 0 0 0 2 0 0 0 18 0 4 0 653069856 289456128 1061 33554432000 4194304 4650419 140733370475504 18446744073709551615 4426459 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 70668 1069 387 112 0 65633 0
[pid=19336/tid=19337] ppid=19334 vsize=282672 CPUtime=0 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 89 0 0 0 0 0 0 0 24 0 4 0 653069856 289456128 1115 33554432000 4194304 4650419 140733370475504 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=282672 CPUtime=0 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 302 0 0 0 0 0 0 0 18 0 4 0 653069856 289456128 1115 33554432000 4194304 4650419 140733370475504 18446744073709551615 4439413 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=282672 CPUtime=0 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 137 0 0 0 0 0 0 0 18 0 4 0 653069856 289456128 1115 33554432000 4194304 4650419 140733370475504 18446744073709551615 4333467 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0527011 s]
/proc/loadavg: 6.85 7.83 7.57 2/347 19336
/proc/meminfo: memFree=24746828/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=283276 CPUtime=0.18 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 1613 0 0 0 18 0 0 0 18 0 4 0 653069856 290074624 1474 33554432000 4194304 4650419 140733370475504 18446744073709551615 4332287 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 70819 1474 392 112 0 65784 0
[pid=19336/tid=19337] ppid=19334 vsize=283276 CPUtime=0.03 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 301 0 0 0 3 0 0 0 24 0 4 0 653069856 290074624 1474 33554432000 4194304 4650419 140733370475504 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=283276 CPUtime=0.04 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 369 0 0 0 4 0 0 0 18 0 4 0 653069856 290074624 1474 33554432000 4194304 4650419 140733370475504 18446744073709551615 4310883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=283276 CPUtime=0.04 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 187 0 0 0 4 0 0 0 18 0 4 0 653069856 290074624 1475 33554432000 4194304 4650419 140733370475504 18446744073709551615 4316014 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 283276

[startup+0.100692 s]
/proc/loadavg: 6.85 7.83 7.57 2/347 19336
/proc/meminfo: memFree=24746828/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=283548 CPUtime=0.37 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 1849 0 0 0 37 0 0 0 18 0 4 0 653069856 290353152 1710 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 70887 1710 393 112 0 65852 0
[pid=19336/tid=19337] ppid=19334 vsize=283548 CPUtime=0.08 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 366 0 0 0 8 0 0 0 24 0 4 0 653069856 290353152 1710 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=283548 CPUtime=0.09 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 422 0 0 0 9 0 0 0 18 0 4 0 653069856 290353152 1710 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364724 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=283548 CPUtime=0.09 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 248 0 0 0 9 0 0 0 18 0 4 0 653069856 290353152 1710 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 283548

[startup+0.300653 s]
/proc/loadavg: 6.85 7.83 7.57 2/347 19336
/proc/meminfo: memFree=24746828/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=284616 CPUtime=1.17 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 2833 0 0 0 117 0 0 0 18 0 4 0 653069856 291446784 2161 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 71154 2161 394 112 0 66119 0
[pid=19336/tid=19337] ppid=19334 vsize=284616 CPUtime=0.28 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 614 0 0 0 28 0 0 0 25 0 4 0 653069856 291446784 2161 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=284616 CPUtime=0.29 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 668 0 0 0 29 0 0 0 18 0 4 0 653069856 291446784 2161 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=284616 CPUtime=0.29 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 496 0 0 0 29 0 0 0 18 0 4 0 653069856 291446784 2161 33554432000 4194304 4650419 140733370475504 18446744073709551615 4355007 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284616

[startup+0.700578 s]
/proc/loadavg: 6.85 7.83 7.57 2/347 19336
/proc/meminfo: memFree=24746828/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=286188 CPUtime=2.76 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 4826 0 0 0 276 0 0 0 18 0 4 0 653069856 293056512 2623 33554432000 4194304 4650419 140733370475504 18446744073709551615 4304183 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 71547 2623 394 112 0 66512 0
[pid=19336/tid=19337] ppid=19334 vsize=286188 CPUtime=0.68 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 1140 0 0 0 68 0 0 0 25 0 4 0 653069856 293056512 2623 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363927 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=286188 CPUtime=0.69 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 1032 0 0 0 69 0 0 0 18 0 4 0 653069856 293056512 2623 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=286188 CPUtime=0.69 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 1048 0 0 0 69 0 0 0 18 0 4 0 653069856 293056512 2623 33554432000 4194304 4650419 140733370475504 18446744073709551615 4328302 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 286188

[startup+1.50042 s]
/proc/loadavg: 6.85 7.83 7.57 9/359 19348
/proc/meminfo: memFree=24720188/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=287312 CPUtime=5.96 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 8180 0 0 0 595 1 0 0 19 0 4 0 653069856 294207488 4406 33554432000 4194304 4650419 140733370475504 18446744073709551615 4229482 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 71828 4406 395 112 0 66793 0
[pid=19336/tid=19337] ppid=19334 vsize=287312 CPUtime=1.47 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 1660 0 0 0 147 0 0 0 25 0 4 0 653069856 294207488 4406 33554432000 4194304 4650419 140733370475504 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=287312 CPUtime=1.49 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 1736 0 0 0 149 0 0 0 20 0 4 0 653069856 294207488 4406 33554432000 4194304 4650419 140733370475504 18446744073709551615 4360479 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=287312 CPUtime=1.49 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 1573 0 0 0 149 0 0 0 19 0 4 0 653069856 294207488 4406 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287312

[startup+3.10112 s]
/proc/loadavg: 6.85 7.83 7.57 9/359 19348
/proc/meminfo: memFree=24702456/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=297728 CPUtime=12.34 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 15544 0 0 0 1232 2 0 0 25 0 4 0 653069856 304873472 9258 33554432000 4194304 4650419 140733370475504 18446744073709551615 4438449 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 74432 9258 395 112 0 69397 0
[pid=19336/tid=19337] ppid=19334 vsize=297728 CPUtime=3.05 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 3468 0 0 0 305 0 0 0 25 0 4 0 653069856 304873472 9258 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=297728 CPUtime=3.09 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 3609 0 0 0 309 0 0 0 25 0 4 0 653069856 304873472 9258 33554432000 4194304 4650419 140733370475504 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=297728 CPUtime=3.08 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 3922 0 0 0 308 0 0 0 25 0 4 0 653069856 304873472 9258 33554432000 4194304 4650419 140733370475504 18446744073709551615 4333347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 297728

[startup+6.30051 s]
/proc/loadavg: 6.94 7.83 7.58 9/359 19348
/proc/meminfo: memFree=24650136/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=295536 CPUtime=25.11 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 22545 0 0 0 2508 3 0 0 25 0 4 0 653069856 302628864 11645 33554432000 4194304 4650419 140733370475504 18446744073709551615 4439568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 73884 11645 395 112 0 68849 0
[pid=19336/tid=19337] ppid=19334 vsize=295536 CPUtime=6.22 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 5352 0 0 0 622 0 0 0 25 0 4 0 653069856 302628864 11645 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=295536 CPUtime=6.29 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 5573 0 0 0 629 0 0 0 25 0 4 0 653069856 302628864 11645 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=295536 CPUtime=6.29 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 5390 0 0 0 628 1 0 0 25 0 4 0 653069856 302628864 11645 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 295536

[startup+12.7003 s]
/proc/loadavg: 7.02 7.83 7.58 9/359 19348
/proc/meminfo: memFree=24574436/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=292448 CPUtime=50.63 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 32579 0 0 0 5058 5 0 0 25 0 4 0 653069856 299466752 15239 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 73112 15239 395 112 0 68077 0
[pid=19336/tid=19337] ppid=19334 vsize=292448 CPUtime=12.55 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 7713 0 0 0 1254 1 0 0 25 0 4 0 653069856 299466752 15239 33554432000 4194304 4650419 140733370475504 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=292448 CPUtime=12.69 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 8019 0 0 0 1268 1 0 0 25 0 4 0 653069856 299466752 15239 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=292448 CPUtime=12.68 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 8057 0 0 0 1267 1 0 0 25 0 4 0 653069856 299466752 15239 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 292448

[startup+25.5008 s]
/proc/loadavg: 7.39 7.87 7.59 9/359 19349
/proc/meminfo: memFree=24513224/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=330888 CPUtime=101.69 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 48482 0 0 0 10159 10 0 0 25 0 4 0 653069856 338829312 22110 33554432000 4194304 4650419 140733370475504 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 82722 22110 395 112 0 77687 0
[pid=19336/tid=19337] ppid=19334 vsize=330888 CPUtime=25.2 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 11579 0 0 0 2519 1 0 0 25 0 4 0 653069856 338829312 22110 33554432000 4194304 4650419 140733370475504 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=330888 CPUtime=25.49 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 12055 0 0 0 2547 2 0 0 25 0 4 0 653069856 338829312 22110 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=330888 CPUtime=25.49 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 10715 0 0 0 2546 3 0 0 25 0 4 0 653069856 338829312 22110 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 330888

[startup+51.1009 s]
/proc/loadavg: 7.65 7.90 7.61 9/359 19350
/proc/meminfo: memFree=24437932/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=351592 CPUtime=203.81 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 69083 0 0 0 20366 15 0 0 25 0 4 0 653069856 360030208 28138 33554432000 4194304 4650419 140733370475504 18446744073709551615 4333481 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 87898 28138 395 112 0 82863 0
[pid=19336/tid=19337] ppid=19334 vsize=351592 CPUtime=50.52 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 16083 0 0 0 5050 2 0 0 25 0 4 0 653069856 360030208 28138 33554432000 4194304 4650419 140733370475504 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=351592 CPUtime=51.08 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 18360 0 0 0 5105 3 0 0 25 0 4 0 653069856 360030208 28138 33554432000 4194304 4650419 140733370475504 18446744073709551615 4360212 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=351592 CPUtime=51.08 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 13583 0 0 0 5105 3 0 0 25 0 4 0 653069856 360030208 28138 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 351592

[startup+102.313 s]
/proc/loadavg: 7.91 7.93 7.63 9/359 19351
/proc/meminfo: memFree=24374296/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=354820 CPUtime=408.07 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 97713 0 0 0 40786 21 0 0 25 0 4 0 653069856 363335680 35541 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 88705 35541 395 112 0 83670 0
[pid=19336/tid=19337] ppid=19334 vsize=354820 CPUtime=101.15 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 19021 0 0 0 10113 2 0 0 25 0 4 0 653069856 363335680 35541 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=354820 CPUtime=102.28 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 25681 0 0 0 10223 5 0 0 25 0 4 0 653069856 363335680 35541 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=354820 CPUtime=102.3 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 20881 0 0 0 10225 5 0 0 25 0 4 0 653069856 363335680 35541 33554432000 4194304 4650419 140733370475504 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 354820

[startup+162.301 s]

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

[pid=19336] ppid=19334 vsize=573060 CPUtime=2801.16 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 305538 0 0 0 280027 89 0 0 25 0 4 0 653069856 586813440 85785 33554432000 4194304 4650419 140733370475504 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 143265 85785 395 112 0 138230 0
[pid=19336/tid=19337] ppid=19334 vsize=573060 CPUtime=694.32 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 45098 0 0 0 69421 11 0 0 25 0 4 0 653069856 586813440 85785 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=573060 CPUtime=702.19 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 63858 0 0 0 70203 16 0 0 25 0 4 0 653069856 586813440 85785 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=573060 CPUtime=702.31 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 62513 0 0 0 70210 21 0 0 25 0 4 0 653069856 586813440 85785 33554432000 4194304 4650419 140733370475504 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.16
Current children cumulated vsize (KiB) 573060

[startup+762.314 s]
/proc/loadavg: 8.07 8.07 7.85 9/359 19368
/proc/meminfo: memFree=23849084/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=641788 CPUtime=3040.5 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 317999 0 0 0 303954 96 0 0 25 0 4 0 653069856 657190912 83114 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 160447 83114 395 112 0 155412 0
[pid=19336/tid=19337] ppid=19334 vsize=641788 CPUtime=753.63 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 48916 0 0 0 75350 13 0 0 25 0 4 0 653069856 657190912 83114 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=641788 CPUtime=762.19 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 67527 0 0 0 76201 18 0 0 25 0 4 0 653069856 657190912 83114 33554432000 4194304 4650419 140733370475504 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=641788 CPUtime=762.32 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 65454 0 0 0 76209 23 0 0 25 0 4 0 653069856 657190912 83114 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.5
Current children cumulated vsize (KiB) 641788

[startup+822.3 s]
/proc/loadavg: 8.16 8.09 7.87 9/359 19370
/proc/meminfo: memFree=23789056/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=599444 CPUtime=3279.77 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 335762 0 0 0 327874 103 0 0 25 0 4 0 653069856 613830656 91267 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 149861 91267 395 112 0 144826 0
[pid=19336/tid=19337] ppid=19334 vsize=599444 CPUtime=812.95 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 52640 0 0 0 81280 15 0 0 25 0 4 0 653069856 613830656 91267 33554432000 4194304 4650419 140733370475504 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=599444 CPUtime=822.17 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 68957 0 0 0 82198 19 0 0 25 0 4 0 653069856 613830656 91267 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=599444 CPUtime=822.31 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 69929 0 0 0 82207 24 0 0 25 0 4 0 653069856 613830656 91267 33554432000 4194304 4650419 140733370475504 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.77
Current children cumulated vsize (KiB) 599444

[startup+882.301 s]
/proc/loadavg: 8.12 8.09 7.88 9/359 19372
/proc/meminfo: memFree=23785580/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=582172 CPUtime=3519.1 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 351795 0 0 0 351800 110 0 0 25 0 4 0 653069856 596144128 85193 33554432000 4194304 4650419 140733370475504 18446744073709551615 4334321 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 145543 85193 395 112 0 140508 0
[pid=19336/tid=19337] ppid=19334 vsize=582172 CPUtime=872.27 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 54200 0 0 0 87211 16 0 0 25 0 4 0 653069856 596144128 85193 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=582172 CPUtime=882.16 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 72277 0 0 0 88196 20 0 0 25 0 4 0 653069856 596144128 85193 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=582172 CPUtime=882.31 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 72540 0 0 0 88206 25 0 0 25 0 4 0 653069856 596144128 85193 33554432000 4194304 4650419 140733370475504 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.1
Current children cumulated vsize (KiB) 582172

[startup+942.3 s]
/proc/loadavg: 8.16 8.10 7.89 9/359 19373
/proc/meminfo: memFree=23713640/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=599344 CPUtime=3758.39 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 365066 0 0 0 375723 116 0 0 25 0 4 0 653069856 613728256 93578 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 149836 93578 395 112 0 144801 0
[pid=19336/tid=19337] ppid=19334 vsize=599344 CPUtime=931.57 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 54477 0 0 0 93141 16 0 0 25 0 4 0 653069856 613728256 93578 33554432000 4194304 4650419 140733370475504 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=599344 CPUtime=942.15 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 75390 0 0 0 94194 21 0 0 25 0 4 0 653069856 613728256 93578 33554432000 4194304 4650419 140733370475504 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=599344 CPUtime=942.32 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 76931 0 0 0 94204 28 0 0 25 0 4 0 653069856 613728256 93578 33554432000 4194304 4650419 140733370475504 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.39
Current children cumulated vsize (KiB) 599344

[startup+1002.3 s]
/proc/loadavg: 8.16 8.11 7.91 9/359 19375
/proc/meminfo: memFree=23711384/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=612424 CPUtime=3997.69 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 384158 0 0 0 399645 124 0 0 25 0 4 0 653069856 627122176 99470 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 153106 99470 395 112 0 148071 0
[pid=19336/tid=19337] ppid=19334 vsize=612424 CPUtime=990.87 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 59694 0 0 0 99069 18 0 0 25 0 4 0 653069856 627122176 99470 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=612424 CPUtime=1002.15 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 75729 0 0 0 100193 22 0 0 25 0 4 0 653069856 627122176 99470 33554432000 4194304 4650419 140733370475504 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=612424 CPUtime=1002.32 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 82166 0 0 0 100203 29 0 0 25 0 4 0 653069856 627122176 99470 33554432000 4194304 4650419 140733370475504 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.69
Current children cumulated vsize (KiB) 612424

[startup+1062.3 s]
/proc/loadavg: 8.15 8.12 7.92 9/359 19376
/proc/meminfo: memFree=23649612/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=613352 CPUtime=4237.01 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 396602 0 0 0 423573 128 0 0 25 0 4 0 653069856 628072448 105394 33554432000 4194304 4650419 140733370475504 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 153338 105394 395 112 0 148303 0
[pid=19336/tid=19337] ppid=19334 vsize=613352 CPUtime=1050.2 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 60937 0 0 0 105001 19 0 0 25 0 4 0 653069856 628072448 105394 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=613352 CPUtime=1062.14 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 75764 0 0 0 106192 22 0 0 25 0 4 0 653069856 628072448 105394 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=613352 CPUtime=1062.31 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 85357 0 0 0 106201 30 0 0 25 0 4 0 653069856 628072448 105394 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4237.01
Current children cumulated vsize (KiB) 613352

[startup+1122.3 s]
/proc/loadavg: 8.10 8.11 7.93 9/359 19378
/proc/meminfo: memFree=23671920/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=613780 CPUtime=4476.3 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 403242 0 0 0 447498 132 0 0 25 0 4 0 653069856 628510720 108784 33554432000 4194304 4650419 140733370475504 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 153445 108784 395 112 0 148410 0
[pid=19336/tid=19337] ppid=19334 vsize=613780 CPUtime=1109.48 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 64441 0 0 0 110928 20 0 0 25 0 4 0 653069856 628510720 108784 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=613780 CPUtime=1122.13 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 75777 0 0 0 112191 22 0 0 25 0 4 0 653069856 628510720 108784 33554432000 4194304 4650419 140733370475504 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=613780 CPUtime=1122.32 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 88480 0 0 0 112200 32 0 0 25 0 4 0 653069856 628510720 108784 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.3
Current children cumulated vsize (KiB) 613780

[startup+1182.3 s]
/proc/loadavg: 8.04 8.08 7.93 9/359 19380
/proc/meminfo: memFree=23637808/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=627856 CPUtime=4715.58 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 407301 0 0 0 471424 134 0 0 25 0 4 0 653069856 642924544 109275 33554432000 4194304 4650419 140733370475504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 156964 109275 395 112 0 151929 0
[pid=19336/tid=19337] ppid=19334 vsize=627856 CPUtime=1168.78 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 66329 0 0 0 116856 22 0 0 25 0 4 0 653069856 642924544 109275 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=627856 CPUtime=1182.12 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 76081 0 0 0 118190 22 0 0 25 0 4 0 653069856 642924544 109275 33554432000 4194304 4650419 140733370475504 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=627856 CPUtime=1182.32 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 89921 0 0 0 118199 33 0 0 25 0 4 0 653069856 642924544 109275 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.58
Current children cumulated vsize (KiB) 627856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.10 8.09 7.93 9/359 19380
/proc/meminfo: memFree=23648592/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=627856 CPUtime=4800.15 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 409216 0 0 0 479879 136 0 0 25 0 4 0 653069856 642924544 111190 33554432000 4194304 4650419 140733370475504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 156964 111190 395 112 0 151929 0
[pid=19336/tid=19337] ppid=19334 vsize=627856 CPUtime=1189.72 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 67277 0 0 0 118949 23 0 0 25 0 4 0 653069856 642924544 111190 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=627856 CPUtime=1203.33 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 76081 0 0 0 120311 22 0 0 25 0 4 0 653069856 642924544 111190 33554432000 4194304 4650419 140733370475504 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=627856 CPUtime=1203.53 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 90888 0 0 0 120319 34 0 0 25 0 4 0 653069856 642924544 111190 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 627856

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

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

[startup+1203.5 s]
/proc/loadavg: 8.10 8.09 7.93 9/359 19380
/proc/meminfo: memFree=23648592/32950928 swapFree=67056568/67111528
[pid=19336] ppid=19334 vsize=627856 CPUtime=4800.15 cores=0,2,4,6
/proc/19336/stat : 19336 (strangenight1-m) R 19334 19336 19302 0 -1 4202496 409216 0 0 0 479879 136 0 0 25 0 4 0 653069856 642924544 111190 33554432000 4194304 4650419 140733370475504 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19336/statm: 156964 111190 395 112 0 151929 0
[pid=19336/tid=19337] ppid=19334 vsize=627856 CPUtime=1189.72 cores=0,2,4,6
/proc/19336/task/19337/stat : 19337 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 67277 0 0 0 118949 23 0 0 25 0 4 0 653069856 642924544 111190 33554432000 4194304 4650419 140733370475504 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19336/tid=19338] ppid=19334 vsize=627856 CPUtime=1203.33 cores=0,2,4,6
/proc/19336/task/19338/stat : 19338 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 76081 0 0 0 120311 22 0 0 25 0 4 0 653069856 642924544 111190 33554432000 4194304 4650419 140733370475504 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19336/tid=19339] ppid=19334 vsize=627856 CPUtime=1203.53 cores=0,2,4,6
/proc/19336/task/19339/stat : 19339 (strangenight1-m) R 19334 19336 19302 0 -1 4202560 90888 0 0 0 120319 34 0 0 25 0 4 0 653069856 642924544 111190 33554432000 4194304 4650419 140733370475504 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 627856

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.21
CPU user time (s): 4798.82
CPU system time (s): 1.38579
CPU usage (%): 398.839
Max. virtual memory (cumulated for all children) (KiB): 668212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.82
system time used= 1.38579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409216
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= 274
involuntary context switches= 24814

runsolver used 3.98239 second user time and 9.8555 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-15 01:12:08
IDJOB=3369535
IDBENCH=83420
IDSOLVER=1846
FILE ID=node148/3369535-1305414728
RUNJOBID= node148-1305414728-19321
PBS_JOBID= 13324551
Free space on /tmp= 72840 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369535-1305414728/watcher-3369535-1305414728 -o /tmp/evaluation-result-3369535-1305414728/solver-3369535-1305414728 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369535-1305414728.cnf

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

MD5SUM BENCH= 9e18e0ee8a56ea2c59fe8e682ff6c747
RANDOM SEED=361795579

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24747232 kB
Buffers:        318964 kB
Cached:        4596400 kB
SwapCached:       8488 kB
Active:        4555612 kB
Inactive:      3294248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24747232 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           12608 kB
Writeback:           0 kB
AnonPages:     2932928 kB
Mapped:          27096 kB
Slab:           259148 kB
PageTables:      29100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84643700 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= 72828 MiB
End job on node148 at 2011-05-15 01:32:13