Trace number 3289610

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-2-mt? (TO) 4800.4 1202.06

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom16.cnf
MD5SUM73a2c2d9e5c062e561bfdb7c82071a99
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables29254
Number of clauses97456
Sum of the clauses size247986
Maximum clause length977
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 250701
Number of clauses of size 346235
Number of clauses of size 4135
Number of clauses of size 514
Number of clauses of size over 5370

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3289610-1304117849.cnf'
0.00/0.00	c -- header says num vars:          29254
0.00/0.00	c -- header says num clauses:       97456
0.00/0.08	c -- clauses added:            0 learnts,        97456 normals,            0 xors
0.00/0.08	c -- vars added      29254
0.00/0.08	c Parsing time:  0.03 s
0.00/0.08	c  N st     0         0     29254     46008     45567         0    234144         0   no data   no data
0.00/0.86	c asymm  cl-useful: 8/46008/46008 lits-rem:88 time: 0.80
9.12/2.34	c Flit:    68 Blit:   2690 bXBeca:    0 bXProp: 4772 Bins:      0 BRemL:      0 BRemN:      0 P: 27.1M T:  1.45
9.12/2.35	c Cleaning up after failed var search:     0.00 s 
9.12/2.37	c Replacing     4772 vars Replaced   130585 lits Time:     0.02 s 
9.12/2.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.12/2.38	c bin-w-bin subsume rem          653 bins  time:  0.00 s
9.12/2.39	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.01 s
9.52/2.41	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:  20256 time:  0.02 s
9.52/2.43	c Removed useless bin:      41  fixed:     0  props:   2.86M  time:  0.02 s
9.91/2.53	c lits-rem:         0  cl-subs:      195  v-elim:   6752  v-fix:    0  time:  0.08 s
9.91/2.57	c Finding binary XORs  T:     0.04 s  found:      16
9.91/2.58	c Replacing       16 vars Replaced      199 lits Time:     0.00 s 
10.31/2.61	c Finding non-binary XORs:     0.02 s (found:    6344, avg size: 3.0)
10.31/2.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1008 locsubst:  4050 time:   0.01
10.31/2.61	c Replacing     2025 vars Replaced    12150 lits Time:     0.00 s 
10.31/2.62	c calculated reachability. Time: 0.00
10.31/2.62	c Calc default polars -  time:   0.00 s pos:    1425 undec:   18840 neg:    8989
10.31/2.62	c =========================================================================================
10.31/2.62	c types(t): F = full restart, N = normal restart
10.31/2.62	c types(t): S = simplification begin/end, E = solution found
10.31/2.62	c restart types(rt): st = static, dy = dynamic
10.31/2.62	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
10.31/2.62	c  B st     0         0     10455     17068     14008         0    112497         0   no data   no data
11.11/2.83	c Decided on static restart strategy
12.14/3.17	c  N st     8      4918     10452     17068     14086      4761    112497    227052   no data   no data
15.17/4.09	c  N st    10     11301     10449     17068     14171      7375    112497    340087   no data   no data
18.24/4.85	c  N st    11     17044     10449     17068     14196      6981    112497    209447   no data   no data
23.04/6.07	c  F st    12     25001     10446     17068     14447     14709    112497    546877   no data   no data
23.04/6.08	c  N st    12     25001     10446     17066     14308     14690    112211    546725   no data   no data
23.44/6.12	c Finding binary XORs  T:     0.03 s  found:       0
25.83/6.78	c Decided on static restart strategy
25.83/6.78	c  N st    18     30001     10434     17066     14404     12037    111968    323539   no data   no data
25.83/6.78	c  S st    18     30001     10434     17066     14404     12037    111968    323539   no data   no data
26.24/6.89	c  S st    18     30503     10434     17066     14438     12503    111968    331853   no data   no data
26.64/6.90	c x-sub:  2025 x-cut:      0 vfix:      0 v-elim:    503 locsubst:     0 time:   0.01
28.65/7.49	c Flit:    67 Blit:      1 bXBeca:    0 bXProp:    9 Bins: 132805 BRemL:  66222 BRemN:      9 P:  9.1M T:  0.58
29.02/7.50	c Replacing        9 vars Replaced      607 lits Time:     0.01 s 
29.02/7.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.02/7.52	c bin-w-bin subsume rem          273 bins  time:  0.01 s
29.02/7.53	c subs with bin:      637  lits-rem:       506  v-fix:    0  time:  0.01 s
29.02/7.55	c Subs w/ non-existent bins:      0 l-rem:      8 v-fix:     0 done:   9854 time:  0.02 s
29.02/7.55	c Removed useless bin:      38  fixed:     0  props:   0.31M  time:  0.00 s
29.02/7.59	c lits-rem:       213  cl-subs:      169  v-elim:   1613  v-fix:    0  time:  0.04 s
29.43/7.60	c subs with bin:      114  lits-rem:       406  v-fix:    0  time:  0.01 s
29.43/7.62	c lits-rem:       161  cl-subs:      197  v-elim:      0  v-fix:    0  time:  0.01 s
30.22/7.82	c asymm  cl-useful: 210/16694/16694 lits-rem:851 time: 0.20
30.22/7.83	c calculated reachability. Time: 0.00
30.22/7.83	c  N st    18     30503      8241     16694     67243      3964     98680    174132   no data   no data
30.22/7.86	c Finding binary XORs  T:     0.03 s  found:       0
35.02/9.09	c  N st    20     37614      8241     16694     67265      5941     98680    246681   no data   no data
38.22/9.83	c  N st    21     44014      8241     16694     67267     12138     98680    492850   no data   no data
38.22/9.88	c Finding binary XORs  T:     0.02 s  found:       2
39.41/10.14	c  S st    22     45755      8213     16642     93020     13852     98211    671618   no data   no data
39.81/10.25	c  S st    22     46257      8213     16642     93023     14344     98211    681422   no data   no data
39.81/10.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    252 locsubst:     0 time:   0.01
41.43/10.61	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1842 BRemL:  52534 BRemN:     89 P:  4.5M T:  0.35
41.43/10.62	c Replacing        2 vars Replaced      291 lits Time:     0.01 s 
41.43/10.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.43/10.64	c bin-w-bin subsume rem         9197 bins  time:  0.01 s
41.43/10.64	c subs with bin:      111  lits-rem:        65  v-fix:    0  time:  0.01 s
41.43/10.65	c Subs w/ non-existent bins:      0 l-rem:     35 v-fix:     0 done:   7958 time:  0.01 s
41.43/10.66	c Removed useless bin:       4  fixed:     0  props:   0.23M  time:  0.00 s
41.43/10.67	c lits-rem:         0  cl-subs:       38  v-elim:     31  v-fix:    0  time:  0.01 s
41.83/10.72	c subs with bin:        1  lits-rem:       406  v-fix:    0  time:  0.04 s
41.83/10.78	c lits-rem:       674  cl-subs:      451  v-elim:      0  v-fix:    0  time:  0.06 s
41.83/10.78	c vivif2 --  cl tried    16502 cl shrink      101 lits rem        237 time: 0.00
42.20/10.80	c vivif2 --  cl tried    10256 cl shrink      971 lits rem       3241 time: 0.01
43.00/11.01	c asymm  cl-useful: 63/16483/16483 lits-rem:174 time: 0.21
43.00/11.01	c calculated reachability. Time: 0.00
43.00/11.01	c  N st    22     46257      7927     16483     31337     10255     96450    262007   no data   no data
49.78/12.73	c  N st    23     60654      7927     16483     31341     17911     96450    531235   no data   no data
49.78/12.76	c Finding binary XORs  T:     0.02 s  found:       0
54.99/14.06	c  N st    24     69385      7927     16483     31720     17274     96450    897228   no data   no data
54.99/14.06	c  S st    24     69385      7927     16483     31720     17274     96450    897228   no data   no data
55.38/14.19	c  S st    24     69886      7926     16483     32670     17768     96450    913430   no data   no data
55.78/14.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    126 locsubst:     0 time:   0.01
56.58/14.45	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    9 Bins:    519 BRemL:   1479 BRemN:      3 P:  5.1M T:  0.25
56.58/14.46	c Replacing        9 vars Replaced      233 lits Time:     0.01 s 
56.58/14.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
56.58/14.47	c bin-w-bin subsume rem          153 bins  time:  0.00 s
56.58/14.48	c subs with bin:       43  lits-rem:        16  v-fix:    0  time:  0.01 s
56.58/14.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7789 time:  0.01 s
56.58/14.49	c Removed useless bin:       1  fixed:     0  props:   0.22M  time:  0.00 s
56.98/14.51	c lits-rem:         0  cl-subs:       61  v-elim:     47  v-fix:    0  time:  0.02 s
58.17/14.83	c subs with bin:        0  lits-rem:       151  v-fix:    0  time:  0.30 s
58.99/15.06	c lits-rem:      1006  cl-subs:      661  v-elim:      0  v-fix:    0  time:  0.22 s
58.99/15.06	c vivif2 --  cl tried    16367 cl shrink       49 lits rem         67 time: 0.00
58.99/15.09	c vivif2 --  cl tried    14647 cl shrink     2003 lits rem      11335 time: 0.03
59.76/15.29	c asymm  cl-useful: 388/16367/16367 lits-rem:1079 time: 0.20
60.16/15.30	c calculated reachability. Time: 0.00
60.16/15.30	c  N st    24     69886      7742     16090     31426     14647     95004    647003   no data   no data
72.95/18.53	c  F st    25     87500      7741     16090     31434     21980     95004   1308015   no data   no data
72.95/18.54	c  N st    25     87500      7741     16089     31420     21979     94967   1308008   no data   no data
72.95/18.58	c Finding binary XORs  T:     0.02 s  found:     111
72.95/18.59	c Replacing      111 vars Replaced     3214 lits Time:     0.01 s 
76.56/19.45	c Decided on static restart strategy
77.74/19.73	c  N st    32     95541      7614     16069     34396     17549     94110    629559   no data   no data
83.33/21.11	c  N st    34    104829      7613     16069     34403     26721     94110   1305481   no data   no data
83.33/21.11	c  S st    34    104829      7613     16069     34403     26721     94110   1305481   no data   no data
83.33/21.15	c Finding binary XORs  T:     0.02 s  found:       2
83.74/21.28	c  S st    34    105332      7613     16064     36746     27219     94043   1320879   no data   no data
83.74/21.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
85.35/21.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    585 BRemL:  10188 BRemN:      6 P:  6.8M T:  0.31
85.35/21.61	c Replacing        6 vars Replaced      428 lits Time:     0.01 s 
85.35/21.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.35/21.62	c bin-w-bin subsume rem         1413 bins  time:  0.00 s
85.35/21.63	c subs with bin:      155  lits-rem:       168  v-fix:    0  time:  0.01 s
85.35/21.64	c Subs w/ non-existent bins:      0 l-rem:      7 v-fix:     0 done:   7607 time:  0.01 s
85.35/21.64	c Removed useless bin:       4  fixed:     0  props:   0.19M  time:  0.00 s
85.35/21.66	c lits-rem:        26  cl-subs:      224  v-elim:     66  v-fix:    0  time:  0.02 s
87.73/22.21	c subs with bin:       41  lits-rem:      2783  v-fix:    0  time:  0.51 s
90.14/22.89	c lits-rem:      1369  cl-subs:      761  v-elim:      0  v-fix:    0  time:  0.66 s
90.14/22.89	c vivif2 --  cl tried    15684 cl shrink        4 lits rem          5 time: 0.00
90.52/22.95	c vivif2 --  cl tried    25856 cl shrink     5067 lits rem      23400 time: 0.06
91.72/23.21	c asymm  cl-useful: 77/15683/15683 lits-rem:122 time: 0.26
91.72/23.22	c calculated reachability. Time: 0.00
91.72/23.22	c  N st    34    105332      7541     15668     23976     25854     92662   1175874   no data   no data
97.32/24.69	c  N st    35    114930      7541     15668     23980     21724     92662    617021   no data   no data
109.28/27.62	c  N st    36    129327      7541     15668     24423     21147     92662    953523   no data   no data
109.28/27.65	c Finding binary XORs  T:     0.02 s  found:      12
128.06/32.37	c  N st    37    150923      7531     15658     24479     26393     92497   1437046   no data   no data
134.07/33.85	c  S st    38    157999      7531     15658     24684     33395     92497   1997030   no data   no data
134.84/34.01	c  S st    38    158501      7530     15658     24686     33896     92497   2010329   no data   no data
134.84/34.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
136.04/34.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    752 BRemL:   1723 BRemN:     17 P:  7.2M T:  0.30
136.04/34.36	c Replacing       17 vars Replaced     4112 lits Time:     0.04 s 
136.04/34.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.04/34.37	c bin-w-bin subsume rem          334 bins  time:  0.00 s
136.04/34.37	c subs with bin:       19  lits-rem:        16  v-fix:    0  time:  0.00 s
136.04/34.38	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   7514 time:  0.01 s
136.04/34.39	c Removed useless bin:       5  fixed:     0  props:   0.20M  time:  0.00 s
136.44/34.42	c lits-rem:         5  cl-subs:       40  v-elim:     38  v-fix:    0  time:  0.03 s
139.23/35.12	c subs with bin:       21  lits-rem:      3583  v-fix:    0  time:  0.64 s
144.83/36.50	c lits-rem:      2727  cl-subs:      950  v-elim:      0  v-fix:    0  time:  1.38 s
144.83/36.50	c vivif2 --  cl tried    15562 cl shrink        0 lits rem          0 time: 0.00
145.23/36.61	c vivif2 --  cl tried    31210 cl shrink     7139 lits rem      40916 time: 0.10
146.43/36.90	c asymm  cl-useful: 29/15562/15562 lits-rem:40 time: 0.29
146.43/36.91	c calculated reachability. Time: 0.00
146.43/36.91	c  N st    38    158501      7476     15559     22317     31210     91712   1744763   no data   no data
146.43/36.93	c Finding binary XORs  T:     0.02 s  found:       0
197.55/49.71	c  N st    39    207090      7476     15559     22318     25662     91712   1250757   no data   no data
225.93/56.87	c  N st    40    237752      7472     15559     22334     35427     91712   1922797   no data   no data
225.93/56.87	c  S st    40    237752      7472     15559     22334     35427     91712   1922797   no data   no data
226.33/56.91	c Finding binary XORs  T:     0.02 s  found:       4
226.71/57.08	c  S st    40    238254      7466     15540     20237     35909     91483   1930465   no data   no data
226.71/57.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
227.91/57.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:     15 BRemL:    260 BRemN:      1 P:  7.1M T:  0.29
227.91/57.39	c Replacing       11 vars Replaced      417 lits Time:     0.01 s 
227.91/57.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
227.91/57.39	c bin-w-bin subsume rem          101 bins  time:  0.00 s
228.31/57.40	c subs with bin:       35  lits-rem:        39  v-fix:    0  time:  0.00 s
228.31/57.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7455 time:  0.01 s
228.31/57.41	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
228.31/57.44	c lits-rem:         5  cl-subs:       25  v-elim:      5  v-fix:    0  time:  0.03 s
230.72/58.04	c subs with bin:       13  lits-rem:       523  v-fix:    0  time:  0.53 s
236.70/59.54	c lits-rem:       725  cl-subs:     1129  v-elim:      0  v-fix:    0  time:  1.50 s
236.70/59.55	c vivif2 --  cl tried    15464 cl shrink        0 lits rem          0 time: 0.00
237.10/59.65	c vivif2 --  cl tried    34263 cl shrink     7577 lits rem      33672 time: 0.10
238.30/59.94	c asymm  cl-useful: 25/15464/15464 lits-rem:35 time: 0.29
238.30/59.95	c calculated reachability. Time: 0.00
238.30/59.95	c  N st    40    238254      7450     15462     19804     34263     91059   1805695   no data   no data
324.16/81.48	c  F st    41    306250      7450     15462     19804     34701     91059   1824485   no data   no data
324.16/81.48	c  N st    41    306250      7450     15462     19804     34701     91059   1824485   no data   no data
324.56/81.52	c Finding binary XORs  T:     0.02 s  found:       0
328.96/82.60	c Decided on static restart strategy
346.53/87.01	c  N st    51    334553      7446     15461     19636     38577     90995   1751239   no data   no data
372.50/93.59	c  N st    53    357381      7446     15461     19637     35947     90995   1470822   no data   no data
372.50/93.59	c  S st    53    357381      7446     15461     19637     35947     90995   1470822   no data   no data
373.30/93.76	c  S st    53    357881      7446     15461     19637     36445     90995   1484460   no data   no data
373.30/93.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
374.50/94.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    457 BRemL:    487 BRemN:      0 P:  6.5M T:  0.28
374.50/94.07	c Replacing        2 vars Replaced      159 lits Time:     0.02 s 
374.50/94.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
374.50/94.08	c bin-w-bin subsume rem           61 bins  time:  0.00 s
374.50/94.08	c subs with bin:        7  lits-rem:        17  v-fix:    0  time:  0.00 s
374.50/94.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7444 time:  0.01 s
374.50/94.09	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
374.90/94.12	c lits-rem:         0  cl-subs:        4  v-elim:      3  v-fix:    0  time:  0.03 s
376.50/94.58	c subs with bin:        7  lits-rem:      1033  v-fix:    0  time:  0.41 s
379.71/95.36	c lits-rem:      1042  cl-subs:      734  v-elim:      0  v-fix:    0  time:  0.77 s
379.71/95.37	c vivif2 --  cl tried    15445 cl shrink        0 lits rem          0 time: 0.00
380.11/95.44	c vivif2 --  cl tried    35484 cl shrink     5946 lits rem      27900 time: 0.08
381.29/95.76	c asymm  cl-useful: 11/15445/15445 lits-rem:14 time: 0.31
381.29/95.76	c calculated reachability. Time: 0.00
381.29/95.76	c  N st    53    357881      7441     15444     19399     35483     90842   1416193   no data   no data
381.29/95.79	c Finding binary XORs  T:     0.02 s  found:       0
418.43/105.04	c  N st    54    390277      7441     15444     19399     41409     90842   1881780   no data   no data
480.77/120.63	c  N st    55    438866      7441     15444     19404     33826     90842   1320764   no data   no data
480.77/120.66	c Finding binary XORs  T:     0.02 s  found:       2
588.99/147.77	c  N st    56    511748      7440     15442     19874     45755     90771   2825157   no data   no data
618.55/155.15	c  N st    57    536822      7438     15442     19976     39733     90771   2002384   no data   no data
618.55/155.15	c  S st    57    536822      7438     15442     19976     39733     90771   2002384   no data   no data
619.35/155.33	c  S st    57    537322      7438     15442     19977     40231     90771   2014631   no data   no data
619.35/155.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
620.55/155.64	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:   12 Bins:     86 BRemL:    266 BRemN:      0 P:  6.9M T:  0.29
620.55/155.67	c Replacing       14 vars Replaced     1406 lits Time:     0.03 s 
620.55/155.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
620.55/155.67	c bin-w-bin subsume rem           48 bins  time:  0.00 s
620.55/155.68	c subs with bin:       29  lits-rem:        23  v-fix:    0  time:  0.00 s
620.55/155.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7422 time:  0.01 s
620.55/155.69	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
620.95/155.73	c lits-rem:         4  cl-subs:       21  v-elim:      5  v-fix:    0  time:  0.03 s
623.35/156.38	c subs with bin:       19  lits-rem:      3094  v-fix:    0  time:  0.60 s
627.74/157.42	c lits-rem:       852  cl-subs:      524  v-elim:      0  v-fix:    0  time:  1.04 s
627.74/157.43	c vivif2 --  cl tried    15359 cl shrink        0 lits rem          0 time: 0.00
628.14/157.51	c vivif2 --  cl tried    37437 cl shrink     4679 lits rem      52132 time: 0.08
629.33/157.85	c asymm  cl-useful: 48/12517/15359 lits-rem:48 time: 0.34
629.33/157.86	c calculated reachability. Time: 0.00
629.33/157.86	c  N st    57    537322      7417     15359     18762     37437     90426   1684990   no data   no data
629.33/157.88	c Finding binary XORs  T:     0.02 s  found:       0
885.74/222.06	c  N st    58    701308      7417     15359     18764     65454     90426   3887040   no data   no data
1015.95/254.61	c  N st    59    805986      7415     15359     18883     58039     90426   2373047   no data   no data
1015.95/254.61	c  S st    59    805986      7415     15359     18883     58039     90426   2373047   no data   no data
1015.95/254.66	c Finding binary XORs  T:     0.02 s  found:       1
1017.16/254.93	c  S st    59    806488      7414     15356     18455     58534     90383   2385663   no data   no data
1017.16/254.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1018.74/255.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:     15 BRemL:     89 BRemN:      0 P:  9.0M T:  0.36
1018.74/255.31	c Replacing        3 vars Replaced      217 lits Time:     0.01 s 
1018.74/255.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1018.74/255.32	c bin-w-bin subsume rem           67 bins  time:  0.00 s
1018.74/255.32	c subs with bin:       11  lits-rem:         6  v-fix:    0  time:  0.00 s
1018.74/255.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7411 time:  0.01 s
1018.74/255.34	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
1018.74/255.38	c lits-rem:         0  cl-subs:       17  v-elim:     10  v-fix:    0  time:  0.04 s
1021.56/256.05	c subs with bin:        2  lits-rem:       251  v-fix:    0  time:  0.59 s
1039.13/260.49	c lits-rem:      2538  cl-subs:     4598  v-elim:      0  v-fix:    0  time:  4.42 s
1039.51/260.50	c vivif2 --  cl tried    15330 cl shrink        0 lits rem          0 time: 0.00
1039.91/260.62	c vivif2 --  cl tried    53215 cl shrink    10846 lits rem      72143 time: 0.12
1040.31/260.70	c asymm  cl-useful: 0/2813/15330 lits-rem:0 time: 0.08
1040.31/260.70	c calculated reachability. Time: 0.00
1040.31/260.71	c  N st    59    806488      7401     15330     17942     53215     90243   2037703   no data   no data
1450.53/363.41	c  F st    60   1071875      7401     15330     17944     65164     90243   2693095   no data   no data
1450.53/363.42	c  N st    60   1071875      7401     15330     17944     65164     90243   2693095   no data   no data
1455.73/364.78	c Decided on static restart strategy
1486.09/372.35	c  N st    70   1100181      7397     15330     18021     49165     90243   1744747   no data   no data
1532.82/384.03	c  N st    72   1136174      7397     15330     18025     84822     90243   4644817   no data   no data
1567.57/392.78	c  N st    73   1168569      7397     15330     18025     71233     90243   2790256   no data   no data
1567.97/392.82	c Finding binary XORs  T:     0.02 s  found:       2
1622.70/406.54	c  N st    74   1209733      7397     15326     18025     64816     90019   2742843   no data   no data
1622.70/406.54	c  S st    74   1209733      7397     15326     18025     64816     90019   2742843   no data   no data
1623.89/406.81	c  S st    74   1210237      7397     15326     18025     65312     90019   2756190   no data   no data
1623.89/406.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1625.09/407.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      9 BRemL:    470 BRemN:      1 P:  8.7M T:  0.36
1625.09/407.19	c Replacing        3 vars Replaced      250 lits Time:     0.01 s 
1625.49/407.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1625.49/407.20	c bin-w-bin subsume rem           70 bins  time:  0.00 s
1625.49/407.21	c subs with bin:        4  lits-rem:         7  v-fix:    0  time:  0.00 s
1625.49/407.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7394 time:  0.01 s
1625.49/407.22	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
1625.49/407.27	c lits-rem:         0  cl-subs:        1  v-elim:      1  v-fix:    0  time:  0.05 s
1629.48/408.23	c subs with bin:       22  lits-rem:      1247  v-fix:    0  time:  0.88 s
1642.67/411.53	c lits-rem:      3681  cl-subs:     2161  v-elim:      0  v-fix:    0  time:  3.27 s
1642.67/411.53	c vivif2 --  cl tried    15319 cl shrink        0 lits rem          0 time: 0.00
1643.07/411.68	c vivif2 --  cl tried    63047 cl shrink     9921 lits rem      55392 time: 0.14
1644.66/412.05	c asymm  cl-useful: 39/9084/15319 lits-rem:39 time: 0.37
1644.66/412.06	c calculated reachability. Time: 0.00
1644.66/412.06	c  N st    74   1210237      7393     15319     17489     63047     89943   2607916   no data   no data
1745.71/437.30	c  N st    75   1283124      7393     15319     17491     87266     89943   4454713   no data   no data
1745.71/437.33	c Finding binary XORs  T:     0.02 s  found:       1
1931.08/483.78	c  N st    76   1392447      7393     15319     17698     95921     89943   5593537   no data   no data
2215.84/555.01	c  N st    77   1556432      7393     15319     17706    102192     89943   6595362   no data   no data
2443.90/612.16	c  N st    78   1710237      7392     15319     17740     88793     89943   3363603   no data   no data
2443.90/612.16	c  S st    78   1710237      7392     15319     17740     88793     89943   3363603   no data   no data
2445.13/612.47	c  S st    78   1710741      7392     15319     17746     89293     89943   3377309   no data   no data
2445.13/612.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2447.10/612.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     43 BRemL:    342 BRemN:      0 P: 10.9M T:  0.43
2447.10/612.97	c Replacing        1 vars Replaced       42 lits Time:     0.04 s 
2447.10/612.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2447.10/612.97	c bin-w-bin subsume rem            8 bins  time:  0.00 s
2447.10/612.98	c subs with bin:        5  lits-rem:         4  v-fix:    0  time:  0.00 s
2447.10/612.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7391 time:  0.01 s
2447.10/612.99	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
2447.50/613.05	c lits-rem:         0  cl-subs:        4  v-elim:      3  v-fix:    0  time:  0.06 s
2451.49/614.02	c subs with bin:       34  lits-rem:      2301  v-fix:    0  time:  0.86 s
2473.07/619.44	c lits-rem:      4116  cl-subs:     3600  v-elim:      0  v-fix:    0  time:  5.40 s
2473.07/619.45	c vivif2 --  cl tried    15312 cl shrink        0 lits rem          0 time: 0.00
2473.87/619.69	c vivif2 --  cl tried    85292 cl shrink    21287 lits rem      90751 time: 0.24
2475.07/619.99	c asymm  cl-useful: 0/6228/15312 lits-rem:0 time: 0.30
2475.07/619.99	c calculated reachability. Time: 0.00
2475.07/619.99	c  N st    78   1710741      7388     15312     17299     85292     89858   3145968   no data   no data
3194.47/800.06	c  N st    79   2079708      7387     15312     17299     92326     89858   3130707   no data   no data
3194.87/800.11	c Finding binary XORs  T:     0.02 s  found:       1
3435.34/860.31	c  N st    80   2210743      7387     15311     17247     95063     89845   4504070   no data   no data
3435.34/860.31	c  S st    80   2210743      7387     15311     17247     95063     89845   4504070   no data   no data
3436.94/860.71	c  S st    80   2211245      7387     15311     17252     95562     89845   4516793   no data   no data
3436.94/860.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3438.93/861.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:     53 BRemN:      0 P: 12.0M T:  0.47
3438.93/861.22	c Replacing        1 vars Replaced       67 lits Time:     0.02 s 
3438.93/861.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3438.93/861.23	c bin-w-bin subsume rem           17 bins  time:  0.00 s
3438.93/861.24	c subs with bin:        8  lits-rem:        17  v-fix:    0  time:  0.00 s
3438.93/861.24	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   7386 time:  0.01 s
3438.93/861.25	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
3439.33/861.32	c lits-rem:         0  cl-subs:        4  v-elim:      2  v-fix:    0  time:  0.07 s
3445.72/862.98	c subs with bin:       11  lits-rem:      1978  v-fix:    0  time:  1.54 s
3506.44/878.19	c lits-rem:      8931  cl-subs:     9445  v-elim:      0  v-fix:    0  time: 15.12 s
3506.44/878.19	c vivif2 --  cl tried    15293 cl shrink        0 lits rem          0 time: 0.00
3507.64/878.42	c vivif2 --  cl tried    84001 cl shrink    12224 lits rem      70132 time: 0.22
3509.24/878.84	c asymm  cl-useful: 23/5324/15293 lits-rem:26 time: 0.41
3509.24/878.84	c calculated reachability. Time: 0.00
3509.24/878.84	c  N st    80   2211245      7384     15293     17188     84001     89732   3627295   no data   no data
4633.33/1160.22	c  N st    81   2711245      7384     15293     17190    104933     89732   5057162   no data   no data
4633.33/1160.22	c  S st    81   2711245      7384     15293     17190    104933     89732   5057162   no data   no data
4634.91/1160.69	c  S st    81   2711754      7381     15293     17275    105439     89732   5072332   no data   no data
4635.31/1160.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4636.91/1161.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:     22 BRemL:     61 BRemN:      0 P: 11.4M T:  0.47
4637.32/1161.24	c Replacing        3 vars Replaced      247 lits Time:     0.06 s 
4637.32/1161.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4637.32/1161.25	c bin-w-bin subsume rem           15 bins  time:  0.00 s
4637.32/1161.25	c subs with bin:        8  lits-rem:         4  v-fix:    0  time:  0.00 s
4637.32/1161.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7378 time:  0.01 s
4637.32/1161.27	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
4637.73/1161.34	c lits-rem:         0  cl-subs:        6  v-elim:      1  v-fix:    0  time:  0.08 s
4645.31/1163.25	c subs with bin:       16  lits-rem:       758  v-fix:    0  time:  1.75 s
4705.22/1178.26	c lits-rem:      2017  cl-subs:     7966  v-elim:      0  v-fix:    0  time: 14.93 s
4705.22/1178.26	c vivif2 --  cl tried    15272 cl shrink        0 lits rem          0 time: 0.00
4706.42/1178.54	c vivif2 --  cl tried    97424 cl shrink    16488 lits rem      89776 time: 0.28
4708.04/1178.92	c asymm  cl-useful: 2/8965/15272 lits-rem:2 time: 0.37
4708.04/1178.93	c calculated reachability. Time: 0.00
4708.04/1178.93	c  N st    81   2711754      7377     15272     16908     97424     89644   4617035   no data   no data
4708.04/1178.95	c Finding binary XORs  T:     0.02 s  found:       0

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

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

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


[startup+0 s]
/proc/loadavg: 8.00 7.96 7.69 6/178 14983
/proc/meminfo: memFree=30923488/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 523383514 52441088 347 33554432000 4194304 4627427 140737483160336 18446744073709551615 242970606577 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14983/statm: 12803 347 299 106 0 7774 0
[pid=14983/tid=14984] ppid=14981 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523383515 52441088 347 33554432000 4194304 4627427 140737483160336 18446744073709551615 47244607260594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523383515 52441088 347 33554432000 4194304 4627427 140737483160336 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523383515 52441088 347 33554432000 4194304 4627427 140737483160336 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.862486 s]
/proc/loadavg: 8.00 7.96 7.69 6/178 14983
/proc/meminfo: memFree=30923488/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=372144 CPUtime=3.38 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) D 14981 14983 14885 0 -1 4202496 16237 0 0 0 332 6 0 0 18 0 4 0 523383514 381075456 14546 33554432000 4194304 4627427 140737483160336 18446744073709551615 4228604 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14983/statm: 93036 14546 368 106 0 88007 0
[pid=14983/tid=14984] ppid=14981 vsize=372144 CPUtime=0.83 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 3770 0 0 0 82 1 0 0 19 0 4 0 523383515 381075456 14546 33554432000 4194304 4627427 140737483160336 18446744073709551615 242970593463 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=372144 CPUtime=0.84 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 4003 0 0 0 83 1 0 0 18 0 4 0 523383515 381075456 14546 33554432000 4194304 4627427 140737483160336 18446744073709551615 242970211361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=372144 CPUtime=0.83 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) S 14981 14983 14885 0 -1 4202560 4319 0 0 0 82 1 0 0 18 0 4 0 523383515 381075456 14546 33554432000 4194304 4627427 140737483160336 18446744073709551615 242970655214 0 0 4096 2 18446604462976062464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 372144

[startup+0.900722 s]
/proc/loadavg: 8.00 7.96 7.69 6/178 14983
/proc/meminfo: memFree=30923488/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=373924 CPUtime=3.53 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 17216 0 0 0 347 6 0 0 19 0 4 0 523383514 382898176 15525 33554432000 4194304 4627427 140737483160336 18446744073709551615 4299583 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 93481 15526 368 106 0 88452 0
[pid=14983/tid=14984] ppid=14981 vsize=373924 CPUtime=0.87 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 4053 0 0 0 86 1 0 0 19 0 4 0 523383515 382898176 15529 33554432000 4194304 4627427 140737483160336 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=373924 CPUtime=0.88 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 4278 0 0 0 87 1 0 0 19 0 4 0 523383515 382898176 15529 33554432000 4194304 4627427 140737483160336 18446744073709551615 242970211361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=373924 CPUtime=0.87 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 4327 0 0 0 86 1 0 0 19 0 4 0 523383515 382898176 15529 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 373924

[startup+1.00071 s]
/proc/loadavg: 8.00 7.96 7.69 6/178 14983
/proc/meminfo: memFree=30923488/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=376924 CPUtime=3.93 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 21061 0 0 0 386 7 0 0 19 0 4 0 523383514 385970176 19370 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308282 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 94231 19372 368 106 0 89202 0
[pid=14983/tid=14984] ppid=14981 vsize=376924 CPUtime=0.98 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 5296 0 0 0 96 2 0 0 18 0 4 0 523383515 385970176 19372 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=376924 CPUtime=0.97 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 5580 0 0 0 96 1 0 0 19 0 4 0 523383515 385970176 19372 33554432000 4194304 4627427 140737483160336 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=376924 CPUtime=0.97 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 4345 0 0 0 96 1 0 0 19 0 4 0 523383515 385970176 19372 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 376924

[startup+1.10069 s]
/proc/loadavg: 8.00 7.96 7.69 6/178 14983
/proc/meminfo: memFree=30923488/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=378264 CPUtime=4.33 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 24184 0 0 0 425 8 0 0 18 0 4 0 523383514 387342336 22493 33554432000 4194304 4627427 140737483160336 18446744073709551615 4238493 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 94566 22493 368 106 0 89537 0
[pid=14983/tid=14984] ppid=14981 vsize=378264 CPUtime=1.08 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 6328 0 0 0 106 2 0 0 18 0 4 0 523383515 387342336 22495 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=378264 CPUtime=1.08 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 6607 0 0 0 106 2 0 0 19 0 4 0 523383515 387342336 22495 33554432000 4194304 4627427 140737483160336 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=378264 CPUtime=1.07 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 4368 0 0 0 106 1 0 0 19 0 4 0 523383515 387342336 22497 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 378264

[startup+1.50062 s]
/proc/loadavg: 8.00 7.96 7.69 6/178 14983
/proc/meminfo: memFree=30923488/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=392484 CPUtime=5.93 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 39253 0 0 0 581 12 0 0 18 0 4 0 523383514 401903616 37562 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308165 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 98121 37564 369 106 0 93092 0
[pid=14983/tid=14984] ppid=14981 vsize=392484 CPUtime=1.48 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 11195 0 0 0 144 4 0 0 18 0 4 0 523383515 401903616 37564 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=392484 CPUtime=1.48 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 11478 0 0 0 145 3 0 0 20 0 4 0 523383515 401903616 37564 33554432000 4194304 4627427 140737483160336 18446744073709551615 242970211013 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=392484 CPUtime=1.47 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 4800 0 0 0 146 1 0 0 20 0 4 0 523383515 401903616 37565 33554432000 4194304 4627427 140737483160336 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 392484

[startup+3.10035 s]
/proc/loadavg: 8.32 8.03 7.71 10/182 14987
/proc/meminfo: memFree=30697872/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=414948 CPUtime=12.14 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 59554 0 0 0 1192 22 0 0 18 0 4 0 523383514 424906752 56034 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 103737 56034 389 106 0 98708 0
[pid=14983/tid=14984] ppid=14981 vsize=414948 CPUtime=3.07 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 17350 0 0 0 300 7 0 0 18 0 4 0 523383515 424906752 56034 33554432000 4194304 4627427 140737483160336 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=414948 CPUtime=3.08 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 18400 0 0 0 303 5 0 0 18 0 4 0 523383515 424906752 56034 33554432000 4194304 4627427 140737483160336 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=414948 CPUtime=2.91 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 5506 0 0 0 287 4 0 0 25 0 4 0 523383515 424906752 56034 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 414948

[startup+6.30679 s]
/proc/loadavg: 8.32 8.03 7.71 9/182 14987
/proc/meminfo: memFree=30690800/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=422252 CPUtime=24.26 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 67740 0 0 0 2392 34 0 0 25 0 4 0 523383514 432386048 56277 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309663 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 105563 56277 390 106 0 100534 0
[pid=14983/tid=14984] ppid=14981 vsize=422252 CPUtime=6.26 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 19668 0 0 0 616 10 0 0 25 0 4 0 523383515 432386048 56277 33554432000 4194304 4627427 140737483160336 18446744073709551615 4332203 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=422252 CPUtime=6.25 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 20983 0 0 0 619 6 0 0 25 0 4 0 523383515 432386048 56277 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=422252 CPUtime=5.49 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 6543 0 0 0 540 9 0 0 25 0 4 0 523383515 432386048 56277 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.26
Current children cumulated vsize (KiB) 422252

[startup+12.7007 s]
/proc/loadavg: 8.29 8.03 7.71 9/182 14987
/proc/meminfo: memFree=30649276/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=483332 CPUtime=49.78 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 87223 0 0 0 4936 42 0 0 25 0 4 0 523383514 494931968 68400 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 120833 68400 391 106 0 115804 0
[pid=14983/tid=14984] ppid=14981 vsize=483332 CPUtime=12.64 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 25236 0 0 0 1253 11 0 0 25 0 4 0 523383515 494931968 68400 33554432000 4194304 4627427 140737483160336 18446744073709551615 4321913 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=483332 CPUtime=12.65 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 26082 0 0 0 1257 8 0 0 25 0 4 0 523383515 494931968 68400 33554432000 4194304 4627427 140737483160336 18446744073709551615 242970246923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=483332 CPUtime=11.89 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 10410 0 0 0 1175 14 0 0 25 0 4 0 523383515 494931968 68400 33554432000 4194304 4627427 140737483160336 18446744073709551615 242970209012 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (KiB) 483332

[startup+25.5005 s]
/proc/loadavg: 8.30 8.04 7.72 9/182 14987
/proc/meminfo: memFree=30582056/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=546060 CPUtime=100.91 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 119844 0 0 0 10042 49 0 0 25 0 4 0 523383514 559165440 85407 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308162 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 136515 85407 391 106 0 131486 0
[pid=14983/tid=14984] ppid=14981 vsize=546060 CPUtime=25.44 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 34354 0 0 0 2532 12 0 0 25 0 4 0 523383515 559165440 85407 33554432000 4194304 4627427 140737483160336 18446744073709551615 4233668 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=546060 CPUtime=25.45 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 35287 0 0 0 2535 10 0 0 25 0 4 0 523383515 559165440 85407 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=546060 CPUtime=24.68 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 15528 0 0 0 2453 15 0 0 25 0 4 0 523383515 559165440 85407 33554432000 4194304 4627427 140737483160336 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.91
Current children cumulated vsize (KiB) 546060

[startup+51.1011 s]
/proc/loadavg: 8.25 8.05 7.73 9/182 14988
/proc/meminfo: memFree=30482728/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=633756 CPUtime=203.15 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 164108 0 0 0 20251 64 0 0 25 0 4 0 523383514 648966144 110172 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 158439 110172 391 106 0 153410 0
[pid=14983/tid=14984] ppid=14981 vsize=633756 CPUtime=51.04 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 48174 0 0 0 5088 16 0 0 25 0 4 0 523383515 648966144 110172 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=633756 CPUtime=51.05 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 52850 0 0 0 5091 14 0 0 25 0 4 0 523383515 648966144 110172 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=633756 CPUtime=50.26 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 21312 0 0 0 5006 20 0 0 25 0 4 0 523383515 648966144 110172 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.15
Current children cumulated vsize (KiB) 633756

[startup+102.3 s]
/proc/loadavg: 8.22 8.07 7.75 9/182 14989
/proc/meminfo: memFree=30397732/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=724368 CPUtime=407.64 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 226371 0 0 0 40680 84 0 0 25 0 4 0 523383514 741752832 125971 33554432000 4194304 4627427 140737483160336 18446744073709551615 4324945 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 181092 125971 394 106 0 176063 0
[pid=14983/tid=14984] ppid=14981 vsize=724368 CPUtime=102.21 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 67594 0 0 0 10198 23 0 0 25 0 4 0 523383515 741752832 125971 33554432000 4194304 4627427 140737483160336 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=724368 CPUtime=102.24 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 69455 0 0 0 10206 18 0 0 25 0 4 0 523383515 741752832 125971 33554432000 4194304 4627427 140737483160336 18446744073709551615 4428403 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=724368 CPUtime=101.46 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 31167 0 0 0 10123 23 0 0 25 0 4 0 523383515 741752832 125971 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308824 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.64
Current children cumulated vsize (KiB) 724368

[startup+162.301 s]

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

[pid=14983] ppid=14981 vsize=1009248 CPUtime=2564.53 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 780305 0 0 0 256174 279 0 0 25 0 4 0 523383514 1033469952 189917 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 252312 189917 391 106 0 247283 0
[pid=14983/tid=14984] ppid=14981 vsize=1009248 CPUtime=642.02 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 238911 0 0 0 64121 81 0 0 25 0 4 0 523383515 1033469952 189917 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1009248 CPUtime=642.25 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 225644 0 0 0 64151 74 0 0 25 0 4 0 523383515 1033469952 189917 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1009248 CPUtime=641.45 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 106970 0 0 0 64095 50 0 0 25 0 4 0 523383515 1033469952 189917 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2564.53
Current children cumulated vsize (KiB) 1009248

[startup+702.301 s]
/proc/loadavg: 8.06 8.10 7.90 9/182 15048
/proc/meminfo: memFree=30045008/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=1168872 CPUtime=2804.2 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 839288 0 0 0 280123 297 0 0 25 0 4 0 523383514 1196924928 203509 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 292218 203509 391 106 0 287189 0
[pid=14983/tid=14984] ppid=14981 vsize=1168872 CPUtime=702.01 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 252629 0 0 0 70115 86 0 0 25 0 4 0 523383515 1196924928 203509 33554432000 4194304 4627427 140737483160336 18446744073709551615 4310580 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1168872 CPUtime=702.25 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 249615 0 0 0 70144 81 0 0 25 0 4 0 523383515 1196924928 203509 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1168872 CPUtime=701.45 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 113031 0 0 0 70094 51 0 0 25 0 4 0 523383515 1196924928 203509 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2804.2
Current children cumulated vsize (KiB) 1168872

[startup+762.301 s]
/proc/loadavg: 8.02 8.08 7.91 9/182 15050
/proc/meminfo: memFree=29969464/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=1060932 CPUtime=3043.86 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 881201 0 0 0 304074 312 0 0 25 0 4 0 523383514 1086394368 210880 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 265233 210880 391 106 0 260204 0
[pid=14983/tid=14984] ppid=14981 vsize=1060932 CPUtime=762.01 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 261587 0 0 0 76112 89 0 0 25 0 4 0 523383515 1086394368 210880 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1060932 CPUtime=762.25 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 261264 0 0 0 76140 85 0 0 25 0 4 0 523383515 1086394368 210880 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1060932 CPUtime=761.45 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 120775 0 0 0 76091 54 0 0 25 0 4 0 523383515 1086394368 210880 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3043.86
Current children cumulated vsize (KiB) 1060932

[startup+822.3 s]
/proc/loadavg: 8.00 8.06 7.91 9/182 15051
/proc/meminfo: memFree=29947488/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=1199964 CPUtime=3283.55 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 916269 0 0 0 328028 327 0 0 25 0 4 0 523383514 1228763136 213115 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 299991 213115 391 106 0 294962 0
[pid=14983/tid=14984] ppid=14981 vsize=1199964 CPUtime=822 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 272222 0 0 0 82107 93 0 0 25 0 4 0 523383515 1228763136 213115 33554432000 4194304 4627427 140737483160336 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1199964 CPUtime=822.25 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 270142 0 0 0 82137 88 0 0 25 0 4 0 523383515 1228763136 213115 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1199964 CPUtime=821.45 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 123482 0 0 0 82090 55 0 0 25 0 4 0 523383515 1228763136 213115 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.55
Current children cumulated vsize (KiB) 1199964

[startup+882.301 s]
/proc/loadavg: 8.04 8.06 7.91 9/182 15053
/proc/meminfo: memFree=29876636/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=1208412 CPUtime=3523.21 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 959034 0 0 0 351980 341 0 0 25 0 4 0 523383514 1237413888 227231 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 302103 227231 391 106 0 297074 0
[pid=14983/tid=14984] ppid=14981 vsize=1208412 CPUtime=882 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 282274 0 0 0 88104 96 0 0 25 0 4 0 523383515 1237413888 227231 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1208412 CPUtime=882.25 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 282303 0 0 0 88133 92 0 0 25 0 4 0 523383515 1237413888 227231 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1208412 CPUtime=881.45 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 131441 0 0 0 88087 58 0 0 25 0 4 0 523383515 1237413888 227231 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.21
Current children cumulated vsize (KiB) 1208412

[startup+942.301 s]
/proc/loadavg: 8.12 8.08 7.93 9/182 15055
/proc/meminfo: memFree=29877596/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=1205668 CPUtime=3762.91 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 999831 0 0 0 375931 360 0 0 25 0 4 0 523383514 1234604032 222955 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 301417 222955 391 106 0 296388 0
[pid=14983/tid=14984] ppid=14981 vsize=1205668 CPUtime=942.01 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 293627 0 0 0 94099 102 0 0 25 0 4 0 523383515 1234604032 222955 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1205668 CPUtime=942.25 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 291653 0 0 0 94129 96 0 0 25 0 4 0 523383515 1234604032 222955 33554432000 4194304 4627427 140737483160336 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1205668 CPUtime=941.46 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 137059 0 0 0 94085 61 0 0 25 0 4 0 523383515 1234604032 222955 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3762.91
Current children cumulated vsize (KiB) 1205668

[startup+1002.3 s]
/proc/loadavg: 8.12 8.08 7.93 9/182 15056
/proc/meminfo: memFree=29767332/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=1320220 CPUtime=4002.56 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 1042786 0 0 0 399881 375 0 0 25 0 4 0 523383514 1351905280 242879 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 330055 242879 391 106 0 325026 0
[pid=14983/tid=14984] ppid=14981 vsize=1320220 CPUtime=1002.01 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 304513 0 0 0 100095 106 0 0 25 0 4 0 523383515 1351905280 242879 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309965 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1320220 CPUtime=1002.25 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 307009 0 0 0 100125 100 0 0 25 0 4 0 523383515 1351905280 242879 33554432000 4194304 4627427 140737483160336 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1320220 CPUtime=1001.45 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 142934 0 0 0 100082 63 0 0 25 0 4 0 523383515 1351905280 242879 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.56
Current children cumulated vsize (KiB) 1320220

[startup+1062.31 s]
/proc/loadavg: 8.11 8.07 7.94 9/182 15058
/proc/meminfo: memFree=29755400/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=1498936 CPUtime=4242.27 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 1083648 0 0 0 423836 391 0 0 25 0 4 0 523383514 1534910464 237978 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 374734 237978 391 106 0 369705 0
[pid=14983/tid=14984] ppid=14981 vsize=1498936 CPUtime=1062.01 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 314142 0 0 0 106092 109 0 0 25 0 4 0 523383515 1534910464 237978 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1498936 CPUtime=1062.26 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 322304 0 0 0 106121 105 0 0 25 0 4 0 523383515 1534910464 237978 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1498936 CPUtime=1061.46 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 149204 0 0 0 106080 66 0 0 25 0 4 0 523383515 1534910464 237978 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.27
Current children cumulated vsize (KiB) 1498936

[startup+1122.3 s]
/proc/loadavg: 8.04 8.06 7.94 9/182 15059
/proc/meminfo: memFree=29725100/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=1288720 CPUtime=4481.92 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 1113221 0 0 0 447788 404 0 0 25 0 4 0 523383514 1319649280 238896 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309965 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 322180 238896 391 106 0 317151 0
[pid=14983/tid=14984] ppid=14981 vsize=1288720 CPUtime=1122.01 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 322714 0 0 0 112089 112 0 0 25 0 4 0 523383515 1319649280 238897 33554432000 4194304 4627427 140737483160336 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1288720 CPUtime=1122.26 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 331904 0 0 0 112115 111 0 0 25 0 4 0 523383515 1319649280 238897 33554432000 4194304 4627427 140737483160336 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1288720 CPUtime=1121.45 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 150770 0 0 0 112079 66 0 0 25 0 4 0 523383515 1319649280 238897 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4481.92
Current children cumulated vsize (KiB) 1288720

[startup+1182.3 s]
/proc/loadavg: 8.01 8.05 7.94 9/182 15061
/proc/meminfo: memFree=29722948/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=1301568 CPUtime=4721.59 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 1154907 0 0 0 471740 419 0 0 25 0 4 0 523383514 1332805632 245674 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 325392 245674 391 106 0 320363 0
[pid=14983/tid=14984] ppid=14981 vsize=1301568 CPUtime=1182.02 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 335575 0 0 0 118086 116 0 0 25 0 4 0 523383515 1332805632 245674 33554432000 4194304 4627427 140737483160336 18446744073709551615 4321614 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1301568 CPUtime=1182.26 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 344369 0 0 0 118109 117 0 0 25 0 4 0 523383515 1332805632 245674 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1301568 CPUtime=1181.46 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 155153 0 0 0 118078 68 0 0 25 0 4 0 523383515 1332805632 245674 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4721.59
Current children cumulated vsize (KiB) 1301568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.01 s]
/proc/loadavg: 8.01 8.04 7.94 9/182 15062
/proc/meminfo: memFree=29709544/32951132 swapFree=67111364/67111528
[pid=14983] ppid=14981 vsize=1289992 CPUtime=4800.33 cores=1,3,5,7
/proc/14983/stat : 14983 (strangenight2-m) R 14981 14983 14885 0 -1 4202496 1171512 0 0 0 479606 427 0 0 25 0 4 0 523383514 1320951808 241103 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14983/statm: 322498 241103 391 106 0 317469 0
[pid=14983/tid=14984] ppid=14981 vsize=1289992 CPUtime=1201.72 cores=1,3,5,7
/proc/14983/task/14984/stat : 14984 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 340027 0 0 0 120054 118 0 0 25 0 4 0 523383515 1320951808 241103 33554432000 4194304 4627427 140737483160336 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14983/tid=14985] ppid=14981 vsize=1289992 CPUtime=1201.97 cores=1,3,5,7
/proc/14983/task/14985/stat : 14985 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 346338 0 0 0 120079 118 0 0 25 0 4 0 523383515 1320951808 241103 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14983/tid=14986] ppid=14981 vsize=1289992 CPUtime=1201.17 cores=1,3,5,7
/proc/14983/task/14986/stat : 14986 (strangenight2-m) R 14981 14983 14885 0 -1 4202560 158309 0 0 0 120047 70 0 0 25 0 4 0 523383515 1320951808 241103 33554432000 4194304 4627427 140737483160336 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 1289992

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): 1202.06
CPU time (s): 4800.4
CPU user time (s): 4796.09
CPU system time (s): 4.30934
CPU usage (%): 399.348
Max. virtual memory (cumulated for all children) (KiB): 1498936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.09
system time used= 4.30934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1171514
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= 8455
involuntary context switches= 33693

runsolver used 1.90671 second user time and 4.5783 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-30 00:57:29
IDJOB=3289610
IDBENCH=83130
IDSOLVER=1586
FILE ID=node128/3289610-1304117849
RUNJOBID= node128-1304116872-14904
PBS_JOBID= 13170717
Free space on /tmp= 66968 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289610-1304117849/watcher-3289610-1304117849 -o /tmp/evaluation-result-3289610-1304117849/solver-3289610-1304117849 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3289610-1304117849.cnf

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

MD5SUM BENCH= 73a2c2d9e5c062e561bfdb7c82071a99
RANDOM SEED=1664051759

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30923644 kB
Buffers:        417608 kB
Cached:         785196 kB
SwapCached:          0 kB
Active:         485408 kB
Inactive:      1128216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30923644 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            7020 kB
Writeback:           0 kB
AnonPages:      410684 kB
Mapped:          15744 kB
Slab:           351776 kB
PageTables:       5268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   656160 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= 66960 MiB
End job on node128 at 2011-04-30 01:17:33