Trace number 3290118

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.07 1201.63

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-3290118-1304132958.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.00/0.05	c Decided on static restart strategy
0.38/0.12	c  N st     8      4916       276       632        26      4589      2864     99828   no data   no data  --
1.18/0.38	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.58/0.90	c  F st    12     25001       276       632        42     11902      2864    231249   no data   no data  --
3.58/0.90	c  N st    12     25001       276       632        42     11902      2864    231249   no data   no data  --
4.40/1.11	c Decided on static restart strategy
4.40/1.11	c  N st    18     30001       276       632        44     10195      2864    192329   no data   no data  --
4.40/1.11	c  S st    18     30001       276       632        44     10195      2864    192329   no data   no data  --
4.40/1.11	c Finding binary XORs  T:     0.00 s  found:      21
4.40/1.12	c Replacing       21 vars Replaced    11302 lits Time:     0.03 s 
4.40/1.14	c  S st    18     30503       255       632         4     10655      2834    200106   no data   no data  --
4.40/1.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      4 locsubst:     0 time:   0.00
4.40/1.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.40/1.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.40/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.15	c subs with bin:        3  lits-rem:        27  v-fix:    0  time:  0.00 s
4.40/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    251 time:  0.00 s
4.40/1.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.37	c lits-rem:      2150  cl-subs:     1315  v-elim:      0  v-fix:    0  time:  0.88 s
5.17/1.38	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.02
5.17/1.38	c calculated reachability. Time: 0.00
5.17/1.38	c  N st    18     30503       251       632         4      8323      2826    150866   no data   no data  --
6.77/1.73	c  N st    20     37615       251       632         7      8243      2826    132308   no data   no data  --
7.98/2.09	c  N st    21     44017       251       632         8     14225      2826    276293   no data   no data  --
8.39/2.20	c  S st    22     45754       251       632         8     15819      2826    310958   no data   no data  --
8.79/2.24	c  S st    22     46257       251       632        11     16296      2826    318894   no data   no data  --
8.79/2.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.79/2.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
8.79/2.25	c Replacing        3 vars Replaced     1414 lits Time:     0.01 s 
8.79/2.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.26	c subs with bin:        3  lits-rem:        84  v-fix:    0  time:  0.00 s
8.79/2.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    248 time:  0.00 s
8.79/2.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.77/4.27	c lits-rem:      2145  cl-subs:     1924  v-elim:      0  v-fix:    0  time:  8.06 s
16.77/4.27	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
16.77/4.28	c vivif2 --  cl tried    14365 cl shrink        0 lits rem          0 time: 0.01
16.77/4.28	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.02
16.77/4.28	c calculated reachability. Time: 0.00
16.77/4.28	c  N st    22     46257       248       632         5     14365      2826    273929   no data   no data  --
20.35/5.19	c  N st    23     60654       248       632         8     10718      2826    165621   no data   no data  --
20.35/5.19	c Finding binary XORs  T:     0.00 s  found:       5
20.35/5.19	c Replacing        5 vars Replaced     2453 lits Time:     0.01 s 
23.15/5.90	c  N st    24     69386       243       632         3     18903      2824    359696   no data   no data  --
23.15/5.90	c  S st    24     69386       243       632         3     18903      2824    359696   no data   no data  --
23.55/5.94	c  S st    24     69888       243       632         4     19388      2824    367877   no data   no data  --
23.55/5.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.55/5.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.55/5.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.55/5.95	c Replacing        1 vars Replaced       24 lits Time:     0.00 s 
23.55/5.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.55/5.96	c subs with bin:        0  lits-rem:        43  v-fix:    0  time:  0.00 s
23.55/5.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    242 time:  0.00 s
23.55/5.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.94/8.06	c lits-rem:      3794  cl-subs:     4677  v-elim:      0  v-fix:    0  time:  8.38 s
31.94/8.06	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
31.94/8.06	c vivif2 --  cl tried    14710 cl shrink        0 lits rem          0 time: 0.01
31.94/8.07	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.02
31.94/8.07	c calculated reachability. Time: 0.00
31.94/8.07	c  N st    24     69888       242       632         2     14710      2824    267816   no data   no data  --
38.74/9.79	c  F st    25     87502       242       632         2     21147      2824    383872   no data   no data  --
38.74/9.79	c  N st    25     87502       242       632         2     21147      2824    383872   no data   no data  --
40.34/10.13	c Decided on static restart strategy
40.73/10.29	c  N st    32     95543       242       632         3     17602      2824    305142   no data   no data  --
43.55/10.99	c  N st    34    104832       242       632         4     14235      2824    218921   no data   no data  --
43.55/10.99	c  S st    34    104832       242       632         4     14235      2824    218921   no data   no data  --
43.95/11.03	c  S st    34    105333       242       632         4     14713      2824    227386   no data   no data  --
43.95/11.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.95/11.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.95/11.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
43.95/11.04	c Replacing        2 vars Replaced      118 lits Time:     0.00 s 
43.95/11.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.95/11.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.95/11.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
43.95/11.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.94/12.10	c lits-rem:       869  cl-subs:      874  v-elim:      0  v-fix:    0  time:  4.22 s
47.94/12.10	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
47.94/12.10	c vivif2 --  cl tried    13839 cl shrink        0 lits rem          0 time: 0.01
48.34/12.11	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.02
48.34/12.11	c calculated reachability. Time: 0.00
48.34/12.11	c  N st    34    105333       240       632         0     13839      2824    209816   no data   no data  --
50.71/12.72	c  N st    35    114932       240       632         0     23191      2824    447103   no data   no data  --
55.51/13.92	c  N st    36    129329       240       632         0     23565      2824    412792   no data   no data  --
63.10/15.83	c  N st    37    150924       240       632         0     29309      2824    511879   no data   no data  --
66.29/16.68	c  S st    38    157999       240       632         0     20909      2824    333497   no data   no data  --
66.69/16.73	c  S st    38    158504       240       632         0     21402      2824    343266   no data   no data  --
66.69/16.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
66.69/16.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.69/16.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
66.69/16.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.69/16.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.69/16.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
66.69/16.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.89/18.60	c lits-rem:      1798  cl-subs:     3603  v-elim:      0  v-fix:    0  time:  7.39 s
73.89/18.60	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
74.31/18.60	c vivif2 --  cl tried    17799 cl shrink        0 lits rem          0 time: 0.01
74.31/18.61	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.03
74.31/18.61	c calculated reachability. Time: 0.00
74.31/18.61	c  N st    38    158504       240       632         0     17799      2824    272160   no data   no data  --
95.86/24.05	c  N st    39    207092       240       632         0     30560      2824    541426   no data   no data  --
107.85/27.02	c  N st    40    237757       240       632         0     23034      2824    355336   no data   no data  --
107.85/27.02	c  S st    40    237757       240       632         0     23034      2824    355336   no data   no data  --
107.85/27.07	c  S st    40    238260       240       632         0     23518      2824    364886   no data   no data  --
107.85/27.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
107.85/27.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.85/27.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
107.85/27.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
107.85/27.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
107.85/27.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
107.85/27.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
115.84/29.02	c lits-rem:      1210  cl-subs:     3202  v-elim:      0  v-fix:    0  time:  7.71 s
115.84/29.02	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
115.84/29.02	c vivif2 --  cl tried    20316 cl shrink        0 lits rem          0 time: 0.01
115.84/29.03	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.03
115.84/29.03	c calculated reachability. Time: 0.00
115.84/29.03	c  N st    40    238260       240       632         0     20316      2824    303660   no data   no data  --
145.40/36.41	c  F st    41    306251       240       632         0     22541      2824    325610   no data   no data  --
145.40/36.41	c  N st    41    306251       240       632         0     22541      2824    325610   no data   no data  --
146.99/36.86	c Decided on static restart strategy
155.78/39.02	c  N st    51    334551       240       632         0     26705      2824    414029   no data   no data  --
166.16/41.64	c  N st    53    357391       240       632         0     24604      2824    356377   no data   no data  --
166.16/41.64	c  S st    53    357391       240       632         0     24604      2824    356377   no data   no data  --
166.59/41.71	c  S st    53    357898       240       632         0     25095      2824    365173   no data   no data  --
166.59/41.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
166.59/41.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.59/41.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
166.59/41.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.59/41.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.59/41.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
166.59/41.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
173.34/43.45	c lits-rem:       848  cl-subs:      770  v-elim:      0  v-fix:    0  time:  6.86 s
173.34/43.45	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
173.34/43.46	c vivif2 --  cl tried    24325 cl shrink        0 lits rem          0 time: 0.01
173.34/43.47	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.04
173.34/43.47	c calculated reachability. Time: 0.00
173.34/43.47	c  N st    53    357898       240       632         0     24325      2824    351094   no data   no data  --
188.13/47.15	c  N st    54    390290       240       632         0     30269      2824    475944   no data   no data  --
211.28/52.93	c  N st    55    438879       240       632         0     50671      2824    930902   no data   no data  --
242.04/60.65	c  N st    56    511761       240       632         0     37404      2824    587119   no data   no data  --
254.85/63.89	c  N st    57    536848       240       632         0     31874      2824    468340   no data   no data  --
254.85/63.89	c  S st    57    536848       240       632         0     31874      2824    468340   no data   no data  --
255.23/63.97	c  S st    57    537349       240       632         0     32357      2824    477872   no data   no data  --
255.23/63.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
255.23/63.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
255.23/63.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
255.23/63.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
255.23/63.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.23/63.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
255.23/63.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
264.01/66.13	c lits-rem:      1120  cl-subs:     1531  v-elim:      0  v-fix:    0  time:  8.54 s
264.01/66.13	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
264.01/66.13	c vivif2 --  cl tried    30826 cl shrink        0 lits rem          0 time: 0.02
264.01/66.15	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.06
264.01/66.15	c calculated reachability. Time: 0.00
264.01/66.15	c  N st    57    537349       240       632         0     30826      2824    451477   no data   no data  --
352.70/88.32	c  N st    58    701333       240       632         0     58813      2824    994119   no data   no data  --
410.23/102.79	c  N st    59    806023       240       632         0     53182      2824    881503   no data   no data  --
410.23/102.79	c  S st    59    806023       240       632         0     53182      2824    881503   no data   no data  --
411.03/102.91	c  S st    59    806527       240       632         0     53667      2824    890496   no data   no data  --
411.03/102.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
411.03/102.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
411.03/102.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
411.03/102.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
411.03/102.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
411.03/102.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
411.03/102.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
438.19/109.72	c lits-rem:      1761  cl-subs:    10430  v-elim:      0  v-fix:    0  time: 26.98 s
438.19/109.72	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
438.19/109.73	c vivif2 --  cl tried    43237 cl shrink        0 lits rem          0 time: 0.04
438.19/109.77	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.14
438.19/109.77	c calculated reachability. Time: 0.00
438.19/109.77	c  N st    59    806527       240       632         0     43237      2824    694639   no data   no data  --
596.38/149.34	c  F st    60   1071875       240       632         0     58719      2824    940812   no data   no data  --
596.38/149.34	c  N st    60   1071875       240       632         0     58719      2824    940812   no data   no data  --
599.17/150.06	c Decided on static restart strategy
615.55/154.16	c  N st    70   1100175       240       632         0     43359      2824    623943   no data   no data  --
635.12/159.01	c  N st    72   1136167       240       632         0     76946      2824   1389239   no data   no data  --
655.88/164.24	c  N st    73   1168559       240       632         0     64333      2824   1097967   no data   no data  --
683.45/171.12	c  N st    74   1209791       240       632         0     59023      2824    954209   no data   no data  --
683.45/171.12	c  S st    74   1209791       240       632         0     59023      2824    954209   no data   no data  --
683.85/171.27	c  S st    74   1210295       240       632         0     59510      2824    963487   no data   no data  --
683.85/171.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
683.85/171.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
684.25/171.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
684.25/171.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
684.25/171.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
684.25/171.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
684.25/171.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
720.99/180.52	c lits-rem:      3683  cl-subs:     8256  v-elim:      0  v-fix:    0  time: 36.70 s
720.99/180.52	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
720.99/180.53	c vivif2 --  cl tried    51254 cl shrink        0 lits rem          0 time: 0.04
720.99/180.57	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.18
720.99/180.58	c calculated reachability. Time: 0.00
720.99/180.58	c  N st    74   1210295       240       632         0     51254      2824    808318   no data   no data  --
766.13/191.89	c  N st    75   1283177       240       632         0     74820      2824   1296516   no data   no data  --
837.64/209.78	c  N st    76   1392502       240       632         0     84576      2824   1489866   no data   no data  --
966.26/241.96	c  N st    77   1556487       240       632         0     91687      2824   1615410   no data   no data  --
1084.09/271.44	c  N st    78   1710296       240       632         0     81474      2824   1367543   no data   no data  --
1084.09/271.44	c  S st    78   1710296       240       632         0     81474      2824   1367543   no data   no data  --
1084.90/271.65	c  S st    78   1710797       240       632         0     81961      2824   1378359   no data   no data  --
1084.90/271.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1084.90/271.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1084.90/271.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
1085.31/271.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1085.31/271.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1085.31/271.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
1085.31/271.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1180.35/295.52	c lits-rem:      1985  cl-subs:    16707  v-elim:      0  v-fix:    0  time: 94.99 s
1180.35/295.52	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
1180.35/295.53	c vivif2 --  cl tried    65254 cl shrink        0 lits rem          0 time: 0.06
1180.75/295.61	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.30
1180.75/295.61	c calculated reachability. Time: 0.00
1180.75/295.61	c  N st    78   1710797       240       632         0     65254      2824   1073237   no data   no data  --
1460.78/365.74	c  N st    79   2079762       240       632         0     76682      2824   1209157   no data   no data  --
1560.24/390.67	c  N st    80   2210797       240       632         0     80566      2824   1283983   no data   no data  --
1560.24/390.67	c  S st    80   2210797       240       632         0     80566      2824   1283983   no data   no data  --
1561.04/390.86	c  S st    80   2211298       240       632         0     81048      2824   1292928   no data   no data  --
1561.04/390.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1561.04/390.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1561.04/390.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
1561.44/390.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1561.44/390.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1561.44/390.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
1561.44/390.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1622.96/406.30	c lits-rem:      2258  cl-subs:    13386  v-elim:      0  v-fix:    0  time: 61.37 s
1622.96/406.30	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
1622.96/406.31	c vivif2 --  cl tried    67662 cl shrink        0 lits rem          0 time: 0.06
1622.96/406.37	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.24
1622.96/406.37	c calculated reachability. Time: 0.00
1622.96/406.37	c  N st    80   2211298       240       632         0     67662      2824   1063356   no data   no data  --
2043.24/511.56	c  N st    81   2711299       240       632         0     90107      2824   1451898   no data   no data  --
2043.24/511.56	c  S st    81   2711299       240       632         0     90107      2824   1451898   no data   no data  --
2044.83/511.92	c  S st    81   2711803       240       632         0     90594      2824   1461323   no data   no data  --
2044.83/511.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2044.83/511.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2044.83/511.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
2045.22/512.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2045.22/512.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2045.22/512.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
2045.22/512.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2172.65/543.99	c lits-rem:      3402  cl-subs:    14654  v-elim:      0  v-fix:    0  time: 127.66 s
2172.65/543.99	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
2173.05/544.01	c vivif2 --  cl tried    75940 cl shrink        0 lits rem          0 time: 0.07
2173.45/544.10	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.37
2173.45/544.10	c calculated reachability. Time: 0.00
2173.45/544.10	c  N st    81   2711803       240       632         0     75940      2824   1204751   no data   no data  --
2657.64/665.35	c  N st    82   3211805       240       632         0    125881      2824   2187301   no data   no data  --
2657.64/665.35	c  S st    82   3211805       240       632         0    125881      2824   2187301   no data   no data  --
2658.83/665.67	c  S st    82   3212310       240       632         0    126376      2824   2196562   no data   no data  --
2658.83/665.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2658.83/665.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2659.23/665.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.24
2659.63/665.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2659.63/665.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2659.63/665.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
2659.63/665.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3165.35/792.48	c lits-rem:      4860  cl-subs:    32633  v-elim:      0  v-fix:    0  time: 505.93 s
3165.35/792.48	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
3165.75/792.50	c vivif2 --  cl tried    93743 cl shrink        0 lits rem          0 time: 0.08
3165.75/792.59	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.36
3165.75/792.59	c calculated reachability. Time: 0.00
3165.75/792.59	c  N st    82   3212310       240       632         0     93743      2824   1595489   no data   no data  --
3651.95/914.28	c  N st    83   3712310       240       632         0    112810      2824   1878401   no data   no data  --
3651.95/914.28	c  S st    83   3712310       240       632         0    112810      2824   1878401   no data   no data  --
3653.55/914.64	c  S st    83   3712812       240       632         0    113297      2824   1887972   no data   no data  --
3653.55/914.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3653.55/914.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3653.95/914.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.27
3653.95/914.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3653.95/914.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3653.95/914.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
3653.95/914.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3823.72/957.21	c lits-rem:      1464  cl-subs:    18831  v-elim:      0  v-fix:    0  time: 169.47 s
3823.72/957.21	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
3823.72/957.23	c vivif2 --  cl tried    94466 cl shrink        0 lits rem          0 time: 0.08
3824.12/957.33	c asymm  cl-useful: 0/632/632 lits-rem:0 time: 0.38
3824.12/957.33	c calculated reachability. Time: 0.00
3824.12/957.33	c  N st    83   3712812       240       632         0     94466      2824   1554855   no data   no data  --
3861.27/966.65	c  F st    84   3751563       240       632         0    130460      2824   2354830   no data   no data  --
3861.27/966.65	c  N st    84   3751563       240       632         0    130460      2824   2354830   no data   no data  --
3866.88/968.06	c Decided on static restart strategy
3894.42/974.93	c  N st    94   3779863       240       632         0     79811      2824   1159618   no data   no data  --
3924.38/982.47	c  N st    96   3815856       240       632         0    113463      2824   1939398   no data   no data  --
3964.33/992.41	c  N st    97   3848248       240       632         0    143648      2824   2629246   no data   no data  --
4013.07/1004.67	c  N st    98   3896837       240       632         0    110094      2824   1810891   no data   no data  --
4087.36/1023.28	c  N st    99   3969719       240       632         0     97862      2824   1537398   no data   no data  --
4195.22/1050.23	c  N st   100   4079043       240       632         0    119299      2824   1989609   no data   no data  --
4350.23/1089.01	c  N st   101   4212812       240       632         0    160912      2824   2875827   no data   no data  --
4350.23/1089.01	c  S st   101   4212812       240       632         0    160912      2824   2875827   no data   no data  --
4352.21/1089.54	c  S st   101   4213315       240       632         0    161395      2824   2885078   no data   no data  --
4352.21/1089.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4352.21/1089.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4352.61/1089.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.32
4353.00/1089.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4353.00/1089.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4353.00/1089.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    240 time:  0.00 s
4353.00/1089.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290118-1304132958/watcher-3290118-1304132958 -o /tmp/evaluation-result-3290118-1304132958/solver-3290118-1304132958 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3290118-1304132958.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.05 7.65 7.94 5/178 29631
/proc/meminfo: memFree=30810028/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 412 0 0 0 1 0 0 0 22 0 4 0 524895462 52465664 352 33554432000 4194304 4650419 140734310038240 18446744073709551615 47047203989424 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 12809 352 303 112 0 7774 0
[pid=29631/tid=29632] ppid=29629 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 524895463 52465664 352 33554432000 4194304 4650419 140734310038240 18446744073709551615 47047203989426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524895463 52465664 352 33554432000 4194304 4650419 140734310038240 18446744073709551615 47047203989426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524895463 52465664 352 33554432000 4194304 4650419 140734310038240 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.075671 s]
/proc/loadavg: 6.05 7.65 7.94 5/178 29631
/proc/meminfo: memFree=30810028/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=282688 CPUtime=0.28 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 1745 0 0 0 28 0 0 0 18 0 4 0 524895462 289472512 1607 33554432000 4194304 4650419 140734310038240 18446744073709551615 4360473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 70672 1607 393 112 0 65637 0
[pid=29631/tid=29632] ppid=29629 vsize=282688 CPUtime=0.07 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 447 0 0 0 7 0 0 0 18 0 4 0 524895463 289472512 1607 33554432000 4194304 4650419 140734310038240 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=282688 CPUtime=0.07 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 347 0 0 0 7 0 0 0 18 0 4 0 524895463 289472512 1608 33554432000 4194304 4650419 140734310038240 18446744073709551615 4331103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=282688 CPUtime=0.06 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 178 0 0 0 6 0 0 0 25 0 4 0 524895463 289472512 1608 33554432000 4194304 4650419 140734310038240 18446744073709551615 4333771 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 282688

[startup+0.100666 s]
/proc/loadavg: 6.05 7.65 7.94 5/178 29631
/proc/meminfo: memFree=30810028/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=282688 CPUtime=0.38 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 1866 0 0 0 38 0 0 0 18 0 4 0 524895462 289472512 1728 33554432000 4194304 4650419 140734310038240 18446744073709551615 4315085 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 70672 1728 393 112 0 65637 0
[pid=29631/tid=29632] ppid=29629 vsize=282688 CPUtime=0.09 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 476 0 0 0 9 0 0 0 18 0 4 0 524895463 289472512 1728 33554432000 4194304 4650419 140734310038240 18446744073709551615 4311370 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=282688 CPUtime=0.09 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 377 0 0 0 9 0 0 0 18 0 4 0 524895463 289472512 1728 33554432000 4194304 4650419 140734310038240 18446744073709551615 4364017 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=282688 CPUtime=0.09 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 202 0 0 0 9 0 0 0 25 0 4 0 524895463 289472512 1728 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282688

[startup+0.300632 s]
/proc/loadavg: 6.05 7.65 7.94 5/178 29631
/proc/meminfo: memFree=30810028/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=283864 CPUtime=1.18 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 2836 0 0 0 118 0 0 0 18 0 4 0 524895462 290676736 2165 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 70966 2165 394 112 0 65931 0
[pid=29631/tid=29632] ppid=29629 vsize=283864 CPUtime=0.29 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 730 0 0 0 29 0 0 0 18 0 4 0 524895463 290676736 2165 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=283864 CPUtime=0.29 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 620 0 0 0 29 0 0 0 18 0 4 0 524895463 290676736 2165 33554432000 4194304 4650419 140734310038240 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=283864 CPUtime=0.29 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 431 0 0 0 29 0 0 0 25 0 4 0 524895463 290676736 2165 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283864

[startup+0.700563 s]
/proc/loadavg: 6.05 7.65 7.94 5/178 29631
/proc/meminfo: memFree=30810028/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=284940 CPUtime=2.78 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 4577 0 0 0 277 1 0 0 18 0 4 0 524895462 291778560 2630 33554432000 4194304 4650419 140734310038240 18446744073709551615 4367245 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 71235 2630 394 112 0 66200 0
[pid=29631/tid=29632] ppid=29629 vsize=284940 CPUtime=0.69 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 1083 0 0 0 69 0 0 0 18 0 4 0 524895463 291778560 2630 33554432000 4194304 4650419 140734310038240 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=284940 CPUtime=0.69 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 970 0 0 0 69 0 0 0 18 0 4 0 524895463 291778560 2630 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=284940 CPUtime=0.69 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 953 0 0 0 69 0 0 0 25 0 4 0 524895463 291778560 2630 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366790 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284940

[startup+1.50042 s]
/proc/loadavg: 6.05 7.65 7.94 10/182 29635
/proc/meminfo: memFree=30791148/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=285972 CPUtime=5.97 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 8157 0 0 0 596 1 0 0 20 0 4 0 524895462 292835328 4355 33554432000 4194304 4650419 140734310038240 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 71493 4355 395 112 0 66458 0
[pid=29631/tid=29632] ppid=29629 vsize=285972 CPUtime=1.49 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 1800 0 0 0 149 0 0 0 19 0 4 0 524895463 292835328 4355 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=285972 CPUtime=1.49 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 1623 0 0 0 149 0 0 0 19 0 4 0 524895463 292835328 4355 33554432000 4194304 4650419 140734310038240 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=285972 CPUtime=1.48 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 1519 0 0 0 148 0 0 0 25 0 4 0 524895463 292835328 4355 33554432000 4194304 4650419 140734310038240 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285972

[startup+3.10115 s]
/proc/loadavg: 6.05 7.65 7.94 10/182 29635
/proc/meminfo: memFree=30762876/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=292840 CPUtime=12.37 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 15657 0 0 0 1235 2 0 0 25 0 4 0 524895462 299868160 9363 33554432000 4194304 4650419 140734310038240 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 73210 9363 395 112 0 68175 0
[pid=29631/tid=29632] ppid=29629 vsize=292840 CPUtime=3.09 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 3536 0 0 0 309 0 0 0 25 0 4 0 524895463 299868160 9363 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=292840 CPUtime=3.09 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 3588 0 0 0 309 0 0 0 25 0 4 0 524895463 299868160 9363 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=292840 CPUtime=3.07 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 3773 0 0 0 307 0 0 0 25 0 4 0 524895463 299868160 9363 33554432000 4194304 4650419 140734310038240 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 292840

[startup+6.3006 s]
/proc/loadavg: 6.29 7.67 7.94 11/182 29635
/proc/meminfo: memFree=30709544/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=293512 CPUtime=25.15 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 22690 0 0 0 2511 4 0 0 25 0 4 0 524895462 300556288 11968 33554432000 4194304 4650419 140734310038240 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 73378 11968 395 112 0 68343 0
[pid=29631/tid=29632] ppid=29629 vsize=293512 CPUtime=6.28 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 5303 0 0 0 628 0 0 0 25 0 4 0 524895463 300556288 11968 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=293512 CPUtime=6.29 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 5420 0 0 0 628 1 0 0 25 0 4 0 524895463 300556288 11968 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=293512 CPUtime=6.25 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 5629 0 0 0 625 0 0 0 25 0 4 0 524895463 300556288 11968 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 293512

[startup+12.7005 s]
/proc/loadavg: 6.42 7.68 7.94 10/182 29635
/proc/meminfo: memFree=30672796/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=288472 CPUtime=50.71 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 32553 0 0 0 5065 6 0 0 25 0 4 0 524895462 295395328 15329 33554432000 4194304 4650419 140734310038240 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 72118 15329 395 112 0 67083 0
[pid=29631/tid=29632] ppid=29629 vsize=288472 CPUtime=12.69 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 7725 0 0 0 1268 1 0 0 25 0 4 0 524895463 295395328 15329 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=288472 CPUtime=12.69 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 8425 0 0 0 1267 2 0 0 25 0 4 0 524895463 295395328 15329 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=288472 CPUtime=12.62 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 8732 0 0 0 1261 1 0 0 25 0 4 0 524895463 295395328 15329 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 288472

[startup+25.5003 s]
/proc/loadavg: 6.77 7.69 7.94 10/182 29635
/proc/meminfo: memFree=30603380/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=308348 CPUtime=101.85 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 49921 0 0 0 10176 9 0 0 25 0 4 0 524895462 315748352 22037 33554432000 4194304 4650419 140734310038240 18446744073709551615 4363444 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 77087 22038 395 112 0 72052 0
[pid=29631/tid=29632] ppid=29629 vsize=308348 CPUtime=25.48 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 12889 0 0 0 2547 1 0 0 25 0 4 0 524895463 315748352 22038 33554432000 4194304 4650419 140734310038240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=308348 CPUtime=25.49 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 13883 0 0 0 2546 3 0 0 25 0 4 0 524895463 315748352 22038 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=308348 CPUtime=25.36 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 11302 0 0 0 2534 2 0 0 25 0 4 0 524895463 315748352 22038 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 308348

[startup+51.1008 s]
/proc/loadavg: 7.19 7.72 7.94 10/182 29636
/proc/meminfo: memFree=30557444/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=299664 CPUtime=204.1 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 78280 0 0 0 20389 21 0 0 25 0 4 0 524895462 306855936 27602 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366953 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 74916 27602 395 112 0 69881 0
[pid=29631/tid=29632] ppid=29629 vsize=299664 CPUtime=51.06 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 20933 0 0 0 5098 8 0 0 25 0 4 0 524895463 306855936 27602 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=299664 CPUtime=51.09 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 22113 0 0 0 5105 4 0 0 25 0 4 0 524895463 306855936 27602 33554432000 4194304 4650419 140734310038240 18446744073709551615 4334278 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=299664 CPUtime=50.84 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 16743 0 0 0 5081 3 0 0 25 0 4 0 524895463 306855936 27602 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 299664

[startup+102.306 s]
/proc/loadavg: 7.65 7.76 7.94 9/182 29637
/proc/meminfo: memFree=30464036/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=395108 CPUtime=408.65 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 126273 0 0 0 40832 33 0 0 25 0 4 0 524895462 404590592 36454 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 98777 36454 395 112 0 93742 0
[pid=29631/tid=29632] ppid=29629 vsize=395108 CPUtime=102.23 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 35598 0 0 0 10212 11 0 0 25 0 4 0 524895463 404590592 36454 33554432000 4194304 4650419 140734310038240 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=395108 CPUtime=102.3 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 32422 0 0 0 10222 8 0 0 25 0 4 0 524895463 404590592 36454 33554432000 4194304 4650419 140734310038240 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=395108 CPUtime=101.79 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 26832 0 0 0 10174 5 0 0 25 0 4 0 524895463 404590592 36454 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 395108

[startup+162.301 s]

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

[pid=29631] ppid=29629 vsize=578688 CPUtime=2565.77 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 347701 0 0 0 256458 119 0 0 25 0 4 0 524895462 592576512 92150 33554432000 4194304 4650419 140734310038240 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 144672 92150 395 112 0 139637 0
[pid=29631/tid=29632] ppid=29629 vsize=578688 CPUtime=642.13 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 111748 0 0 0 64175 38 0 0 25 0 4 0 524895463 592576512 92150 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=578688 CPUtime=642.31 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 58003 0 0 0 64214 17 0 0 25 0 4 0 524895463 592576512 92150 33554432000 4194304 4650419 140734310038240 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=578688 CPUtime=639 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 69660 0 0 0 63876 24 0 0 25 0 4 0 524895463 592576512 92150 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.77
Current children cumulated vsize (KiB) 578688

[startup+702.301 s]
/proc/loadavg: 8.02 8.04 8.00 10/182 29653
/proc/meminfo: memFree=29972752/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=565212 CPUtime=2805.43 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 356015 0 0 0 280421 122 0 0 25 0 4 0 524895462 578777088 89999 33554432000 4194304 4650419 140734310038240 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 141303 89999 395 112 0 136268 0
[pid=29631/tid=29632] ppid=29629 vsize=565212 CPUtime=702.13 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 115419 0 0 0 70173 40 0 0 25 0 4 0 524895463 578777088 89999 33554432000 4194304 4650419 140734310038240 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=565212 CPUtime=702.3 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 58006 0 0 0 70213 17 0 0 25 0 4 0 524895463 578777088 89999 33554432000 4194304 4650419 140734310038240 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=565212 CPUtime=698.67 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 72273 0 0 0 69842 25 0 0 25 0 4 0 524895463 578777088 89999 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 565212

[startup+762.307 s]
/proc/loadavg: 8.05 8.04 8.00 10/182 29655
/proc/meminfo: memFree=29961572/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=565212 CPUtime=3045.13 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 359213 0 0 0 304389 124 0 0 25 0 4 0 524895462 578777088 90171 33554432000 4194304 4650419 140734310038240 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 141303 90171 396 112 0 136268 0
[pid=29631/tid=29632] ppid=29629 vsize=565212 CPUtime=762.14 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 115850 0 0 0 76174 40 0 0 25 0 4 0 524895463 578777088 90171 33554432000 4194304 4650419 140734310038240 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=565212 CPUtime=762.31 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 58659 0 0 0 76213 18 0 0 25 0 4 0 524895463 578777088 90171 33554432000 4194304 4650419 140734310038240 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=565212 CPUtime=758.35 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 73822 0 0 0 75809 26 0 0 25 0 4 0 524895463 578777088 90171 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 565212

[startup+822.3 s]
/proc/loadavg: 8.06 8.04 8.00 10/182 29656
/proc/meminfo: memFree=29931904/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=556400 CPUtime=3284.8 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 380169 0 0 0 328346 134 0 0 25 0 4 0 524895462 569753600 92189 33554432000 4194304 4650419 140734310038240 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 139100 92189 395 112 0 134065 0
[pid=29631/tid=29632] ppid=29629 vsize=556400 CPUtime=822.14 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 122173 0 0 0 82170 44 0 0 25 0 4 0 524895463 569753600 92189 33554432000 4194304 4650419 140734310038240 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=556400 CPUtime=822.31 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 65424 0 0 0 82211 20 0 0 25 0 4 0 524895463 569753600 92189 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=556400 CPUtime=818.03 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 78329 0 0 0 81774 29 0 0 25 0 4 0 524895463 569753600 92189 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.8
Current children cumulated vsize (KiB) 556400

[startup+882.301 s]
/proc/loadavg: 8.10 8.06 8.01 10/182 29658
/proc/meminfo: memFree=29866408/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=517744 CPUtime=3524.52 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 403249 0 0 0 352308 144 0 0 25 0 4 0 524895462 530169856 95258 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366873 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 129436 95258 395 112 0 124401 0
[pid=29631/tid=29632] ppid=29629 vsize=517744 CPUtime=882.14 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 129641 0 0 0 88167 47 0 0 25 0 4 0 524895463 530169856 95258 33554432000 4194304 4650419 140734310038240 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=517744 CPUtime=882.3 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 71662 0 0 0 88207 23 0 0 25 0 4 0 524895463 530169856 95258 33554432000 4194304 4650419 140734310038240 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=517744 CPUtime=877.75 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 78539 0 0 0 87745 30 0 0 25 0 4 0 524895463 530169856 95258 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.52
Current children cumulated vsize (KiB) 517744

[startup+942.301 s]
/proc/loadavg: 8.07 8.06 8.01 9/182 29659
/proc/meminfo: memFree=29859808/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=517912 CPUtime=3764.2 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 416794 0 0 0 376272 148 0 0 25 0 4 0 524895462 530341888 93788 33554432000 4194304 4650419 140734310038240 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 129478 93788 395 112 0 124443 0
[pid=29631/tid=29632] ppid=29629 vsize=517912 CPUtime=942.14 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 132399 0 0 0 94166 48 0 0 25 0 4 0 524895463 530341888 93788 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=517912 CPUtime=942.31 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 73341 0 0 0 94207 24 0 0 25 0 4 0 524895463 530341888 93788 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=517912 CPUtime=937.42 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 81469 0 0 0 93711 31 0 0 25 0 4 0 524895463 530341888 93788 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.2
Current children cumulated vsize (KiB) 517912

[startup+1002.3 s]
/proc/loadavg: 8.06 8.06 8.01 10/182 29661
/proc/meminfo: memFree=29797892/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=592352 CPUtime=4003.87 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 440303 0 0 0 400226 161 0 0 25 0 4 0 524895462 606568448 106358 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 148088 106358 395 112 0 143053 0
[pid=29631/tid=29632] ppid=29629 vsize=592352 CPUtime=1002.14 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 138503 0 0 0 100162 52 0 0 25 0 4 0 524895463 606568448 106358 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=592352 CPUtime=1002.31 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 76002 0 0 0 100204 27 0 0 25 0 4 0 524895463 606568448 106358 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=592352 CPUtime=997.09 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 88135 0 0 0 99677 32 0 0 25 0 4 0 524895463 606568448 106358 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.87
Current children cumulated vsize (KiB) 592352

[startup+1062.3 s]
/proc/loadavg: 8.13 8.08 8.01 10/182 29663
/proc/meminfo: memFree=29755212/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=658500 CPUtime=4243.56 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 457794 0 0 0 424182 174 0 0 25 0 4 0 524895462 674304000 113825 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 164625 113825 395 112 0 159590 0
[pid=29631/tid=29632] ppid=29629 vsize=658500 CPUtime=1062.14 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 142360 0 0 0 106159 55 0 0 25 0 4 0 524895463 674304000 113825 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=658500 CPUtime=1062.31 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 76041 0 0 0 106204 27 0 0 25 0 4 0 524895463 674304000 113825 33554432000 4194304 4650419 140734310038240 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=658500 CPUtime=1056.77 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 93614 0 0 0 105641 36 0 0 25 0 4 0 524895463 674304000 113825 33554432000 4194304 4650419 140734310038240 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.56
Current children cumulated vsize (KiB) 658500

[startup+1122.3 s]
/proc/loadavg: 8.05 8.06 8.00 10/182 29664
/proc/meminfo: memFree=29750608/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=643584 CPUtime=4483.23 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 465818 0 0 0 448144 179 0 0 25 0 4 0 524895462 659030016 112134 33554432000 4194304 4650419 140734310038240 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 160896 112134 395 112 0 155861 0
[pid=29631/tid=29632] ppid=29629 vsize=643584 CPUtime=1122.14 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 148390 0 0 0 112155 59 0 0 25 0 4 0 524895463 659030016 112134 33554432000 4194304 4650419 140734310038240 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=643584 CPUtime=1122.31 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 76332 0 0 0 112204 27 0 0 25 0 4 0 524895463 659030016 112134 33554432000 4194304 4650419 140734310038240 18446744073709551615 4367221 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=643584 CPUtime=1116.44 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 94586 0 0 0 111607 37 0 0 25 0 4 0 524895463 659030016 112134 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.23
Current children cumulated vsize (KiB) 643584

[startup+1182.3 s]
/proc/loadavg: 8.02 8.05 8.00 10/182 29666
/proc/meminfo: memFree=29731612/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=643584 CPUtime=4722.91 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 470789 0 0 0 472109 182 0 0 25 0 4 0 524895462 659030016 113927 33554432000 4194304 4650419 140734310038240 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 160896 113927 395 112 0 155861 0
[pid=29631/tid=29632] ppid=29629 vsize=643584 CPUtime=1182.14 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 148763 0 0 0 118155 59 0 0 25 0 4 0 524895463 659030016 113927 33554432000 4194304 4650419 140734310038240 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=643584 CPUtime=1182.31 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 76336 0 0 0 118204 27 0 0 25 0 4 0 524895463 659030016 113927 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=643584 CPUtime=1176.12 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 98745 0 0 0 117573 39 0 0 25 0 4 0 524895463 659030016 113927 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.91
Current children cumulated vsize (KiB) 643584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.01 8.04 8.00 9/182 29667
/proc/meminfo: memFree=29750204/32951132 swapFree=67111356/67111528
[pid=29631] ppid=29629 vsize=608184 CPUtime=4800.02 cores=1,3,5,7
/proc/29631/stat : 29631 (strangenight1-m) R 29629 29631 29202 0 -1 4202496 473154 0 0 0 479819 183 0 0 25 0 4 0 524895462 622780416 107757 33554432000 4194304 4650419 140734310038240 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29631/statm: 152046 107757 395 112 0 147011 0
[pid=29631/tid=29632] ppid=29629 vsize=608184 CPUtime=1201.45 cores=1,3,5,7
/proc/29631/task/29632/stat : 29632 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 148763 0 0 0 120086 59 0 0 25 0 4 0 524895463 622780416 107757 33554432000 4194304 4650419 140734310038240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29631/tid=29633] ppid=29629 vsize=608184 CPUtime=1201.62 cores=1,3,5,7
/proc/29631/task/29633/stat : 29633 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 77786 0 0 0 120135 27 0 0 25 0 4 0 524895463 622780416 107757 33554432000 4194304 4650419 140734310038240 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29631/tid=29634] ppid=29629 vsize=608184 CPUtime=1195.31 cores=1,3,5,7
/proc/29631/task/29634/stat : 29634 (strangenight1-m) R 29629 29631 29202 0 -1 4202560 99660 0 0 0 119491 40 0 0 25 0 4 0 524895463 622780416 107757 33554432000 4194304 4650419 140734310038240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 608184

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.07
CPU user time (s): 4798.22
CPU system time (s): 1.85272
CPU usage (%): 399.462
Max. virtual memory (cumulated for all children) (KiB): 672688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.22
system time used= 1.85272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473154
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= 371
involuntary context switches= 35044

runsolver used 1.68174 second user time and 4.6323 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-30 05:09:18
IDJOB=3290118
IDBENCH=83420
IDSOLVER=1588
FILE ID=node131/3290118-1304132958
RUNJOBID= node131-1304132958-29609
PBS_JOBID= 13170786
Free space on /tmp= 72056 MiB

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

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

MD5SUM BENCH= 9e18e0ee8a56ea2c59fe8e682ff6c747
RANDOM SEED=654169933

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.830
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.830
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.830
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.830
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.830
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:     32951132 kB
MemFree:      30810308 kB
Buffers:        227668 kB
Cached:        1536260 kB
SwapCached:        168 kB
Active:         180248 kB
Inactive:      1656368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30810308 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12644 kB
Writeback:           0 kB
AnonPages:       72748 kB
Mapped:          15316 kB
Slab:           243092 kB
PageTables:       4600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   280304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72048 MiB
End job on node131 at 2011-04-30 05:29:22