Trace number 3367058

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 (fixed)? (TO) 4800.35 1202.44

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_3_keyfind_1.cnf
MD5SUM278d646386a62d4f28f7fc390c5eab3e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark151.988
Satisfiable
(Un)Satisfiability was proved
Number of variables708
Number of clauses2664
Sum of the clauses size8392
Maximum clause length5
Minimum clause length1
Number of clauses of size 176
Number of clauses of size 2120
Number of clauses of size 31856
Number of clauses of size 4552
Number of clauses of size 560
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 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-3367058-1305414939.cnf'
0.00/0.00	c -- header says num vars:            708
0.00/0.00	c -- header says num clauses:        2664
0.00/0.01	c -- clauses added:            0 learnts,         2664 normals,            0 xors
0.00/0.01	c -- vars added        708
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       708      2420       120         0      8076         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2164/2164 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  112 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c Replacing      112 vars Replaced     2100 lits Time:     0.00 s 
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 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:    520 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:     78  v-fix:    0  time:  0.00 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:     226, avg size: 3.3)
0.00/0.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     18 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:       0 undec:     284 neg:     424
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       424       948        24         0      4188         0   no data   no data
0.00/0.07	c Decided on static restart strategy
0.37/0.19	c  N st     8      4918       424       948        33      4669      4188    126670   no data   no data
1.96/0.51	c  N st    10     11302       424       948        50      4340      4188     65374   no data   no data
3.16/0.83	c  N st    11     17047       424       948        50      9837      4188    216465   no data   no data
5.16/1.33	c  F st    12     25001       424       948        55     12066      4188    240522   no data   no data
5.16/1.33	c  N st    12     25001       424       948        55     12066      4188    240522   no data   no data
5.97/1.54	c Finding binary XORs  T:     0.00 s  found:      22
5.97/1.54	c Replacing       22 vars Replaced     4472 lits Time:     0.00 s 
6.37/1.63	c Decided on static restart strategy
6.37/1.63	c  N st    18     30001       402       948        12     10450      4160    202278   no data   no data
6.37/1.63	c  S st    18     30001       402       948        12     10450      4160    202278   no data   no data
6.37/1.66	c  S st    18     30505       402       948        20     10912      4160    209954   no data   no data
6.37/1.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.37/1.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
6.37/1.67	c Replacing        2 vars Replaced      154 lits Time:     0.00 s 
6.37/1.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.37/1.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
6.37/1.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
6.37/1.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
6.37/1.67	c subs with bin:        7  lits-rem:       434  v-fix:    0  time:  0.00 s
7.16/1.88	c lits-rem:      2051  cl-subs:     1274  v-elim:      0  v-fix:    0  time:  0.20 s
7.16/1.88	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.00
7.16/1.88	c calculated reachability. Time: 0.00
7.16/1.88	c  N st    18     30505       400       948        16      9629      4156    179106   no data   no data
9.15/2.39	c  N st    20     37615       400       948        20      8949      4156    136193   no data   no data
11.15/2.80	c  N st    21     44014       400       948        20     15017      4156    295725   no data   no data
11.55/2.93	c  S st    22     45757       400       948        24     16669      4156    338097   no data   no data
11.55/2.99	c  S st    22     46260       400       948        28     17149      4156    347494   no data   no data
11.55/2.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.55/3.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
11.95/3.01	c Replacing        8 vars Replaced     9867 lits Time:     0.02 s 
11.95/3.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11.95/3.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.95/3.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.95/3.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
11.95/3.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.95/3.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
11.95/3.02	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
14.34/3.62	c lits-rem:      1203  cl-subs:     2737  v-elim:      0  v-fix:    0  time:  0.60 s
14.34/3.62	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
14.34/3.63	c vivif2 --  cl tried    14405 cl shrink        0 lits rem          0 time: 0.00
14.34/3.63	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.00
14.34/3.63	c calculated reachability. Time: 0.00
14.34/3.63	c  N st    22     46260       392       948        12     14405      4148    282427   no data   no data
18.73/4.76	c  N st    23     60658       392       948        12     10290      4148    138537   no data   no data
18.73/4.76	c Finding binary XORs  T:     0.00 s  found:       5
18.73/4.76	c Replacing        5 vars Replaced       44 lits Time:     0.00 s 
21.54/5.42	c  N st    24     69390       387       948        11     18530      4148    338547   no data   no data
21.54/5.42	c  S st    24     69390       387       948        11     18530      4148    338547   no data   no data
21.54/5.49	c  S st    24     69893       387       948        12     19009      4148    348266   no data   no data
21.54/5.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.54/5.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
21.54/5.49	c Replacing        1 vars Replaced      149 lits Time:     0.00 s 
21.54/5.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21.54/5.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.54/5.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.54/5.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
21.54/5.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
21.54/5.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
21.54/5.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.72/6.25	c lits-rem:       816  cl-subs:     3500  v-elim:      0  v-fix:    0  time:  0.75 s
24.72/6.25	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
24.72/6.26	c vivif2 --  cl tried    15508 cl shrink        0 lits rem          0 time: 0.00
24.72/6.26	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.01
24.72/6.26	c calculated reachability. Time: 0.00
24.72/6.26	c  N st    24     69893       386       948        10     15508      4146    269533   no data   no data
30.74/7.74	c  F st    25     87500       386       948        10     21942      4146    412152   no data   no data
30.74/7.74	c  N st    25     87500       386       948        10     21942      4146    412152   no data   no data
32.31/8.16	c Decided on static restart strategy
33.11/8.38	c  N st    32     95539       386       948        10     18390      4146    324105   no data   no data
36.70/9.21	c  N st    34    104841       386       948        10     14937      4146    219608   no data   no data
36.70/9.21	c  S st    34    104841       386       948        10     14937      4146    219608   no data   no data
36.70/9.25	c  S st    34    105349       386       948        12     15425      4146    228670   no data   no data
36.70/9.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.70/9.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
36.70/9.25	c Replacing        2 vars Replaced       92 lits Time:     0.00 s 
36.70/9.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36.70/9.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.70/9.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.70/9.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    384 time:  0.00 s
36.70/9.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.70/9.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
36.70/9.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.10/9.37	c lits-rem:       762  cl-subs:      764  v-elim:      0  v-fix:    0  time:  0.11 s
37.10/9.37	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
37.10/9.38	c vivif2 --  cl tried    14661 cl shrink        0 lits rem          0 time: 0.00
37.10/9.38	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.00
37.10/9.38	c calculated reachability. Time: 0.00
37.10/9.38	c  N st    34    105349       384       948         8     14661      4144    211395   no data   no data
40.69/10.23	c  N st    35    114947       384       948         8     23695      4144    432928   no data   no data
46.28/11.60	c  N st    36    129346       384       948         9     24322      4144    433564   no data   no data
54.67/13.79	c  N st    37    150942       384       948        10     30476      4144    585225   no data   no data
57.46/14.48	c  S st    38    158025       384       948        10     22047      4144    359224   no data   no data
57.86/14.55	c  S st    38    158528       384       948        10     22534      4144    369211   no data   no data
57.86/14.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
57.86/14.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
57.86/14.55	c Replacing        2 vars Replaced       93 lits Time:     0.00 s 
57.86/14.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
57.86/14.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.86/14.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.86/14.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    382 time:  0.00 s
57.86/14.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
57.86/14.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
57.86/14.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.26/15.16	c lits-rem:       571  cl-subs:     2785  v-elim:      0  v-fix:    0  time:  0.59 s
60.26/15.16	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
60.26/15.16	c vivif2 --  cl tried    19749 cl shrink        0 lits rem          0 time: 0.00
60.26/15.17	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.00
60.26/15.17	c calculated reachability. Time: 0.00
60.26/15.17	c  N st    38    158528       382       948         6     19749      4144    305631   no data   no data
80.62/20.26	c  N st    39    207118       382       948         6     32506      4144    587683   no data   no data
95.00/23.84	c  N st    40    237796       382       948         6     24723      4144    372073   no data   no data
95.00/23.84	c  S st    40    237796       382       948         6     24723      4144    372073   no data   no data
95.40/23.92	c  S st    40    238299       382       948         8     25202      4144    382402   no data   no data
95.40/23.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
95.40/23.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
95.40/23.93	c Replacing        2 vars Replaced      110 lits Time:     0.00 s 
95.40/23.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
95.40/23.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.40/23.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.40/23.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    380 time:  0.00 s
95.40/23.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
95.40/23.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
95.40/23.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.79/24.53	c lits-rem:       638  cl-subs:     2916  v-elim:      0  v-fix:    0  time:  0.59 s
97.79/24.53	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
97.79/24.53	c vivif2 --  cl tried    22282 cl shrink        0 lits rem          0 time: 0.00
97.79/24.54	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.00
97.79/24.54	c calculated reachability. Time: 0.00
97.79/24.54	c  N st    40    238299       380       948         4     22282      4142    322539   no data   no data
130.12/32.67	c  F st    41    306251       380       948         4     24391      4142    341610   no data   no data
130.12/32.67	c  N st    41    306251       380       948         4     24391      4142    341610   no data   no data
130.12/32.67	c Finding binary XORs  T:     0.00 s  found:       2
132.12/33.18	c Decided on static restart strategy
142.90/35.87	c  N st    51    334550       380       948         6     28680      4142    442629   no data   no data
154.48/38.70	c  N st    53    357448       380       948         7     26562      4142    370926   no data   no data
154.48/38.70	c  S st    53    357448       380       948         7     26562      4142    370926   no data   no data
154.48/38.79	c  S st    53    357953       380       948         7     27049      4142    380959   no data   no data
154.48/38.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
154.88/38.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
154.88/38.80	c Replacing        3 vars Replaced       78 lits Time:     0.00 s 
154.88/38.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
154.88/38.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.88/38.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.88/38.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    377 time:  0.00 s
154.88/38.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
154.88/38.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
154.88/38.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
155.68/39.06	c lits-rem:       473  cl-subs:     1148  v-elim:      0  v-fix:    0  time:  0.25 s
155.68/39.06	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
155.68/39.06	c vivif2 --  cl tried    25901 cl shrink        0 lits rem          0 time: 0.00
155.68/39.07	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.01
155.68/39.07	c calculated reachability. Time: 0.00
155.68/39.07	c  N st    53    357953       377       948         1     25901      4140    356212   no data   no data
170.87/42.85	c  N st    54    390345       377       948         1     31998      4140    497000   no data   no data
197.22/49.42	c  N st    55    438934       377       948         1     52508      4140    971197   no data   no data
237.92/59.63	c  N st    56    511816       377       948         1     39125      4140    626810   no data   no data
251.90/63.17	c  N st    57    536929       377       948         1     33623      4140    478755   no data   no data
251.90/63.17	c  S st    57    536929       377       948         1     33623      4140    478755   no data   no data
252.31/63.26	c  S st    57    537434       377       948         1     34115      4140    488537   no data   no data
252.31/63.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
252.31/63.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
252.31/63.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.31/63.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.31/63.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.31/63.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    377 time:  0.00 s
252.31/63.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
252.31/63.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
252.31/63.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.32/63.74	c lits-rem:       866  cl-subs:     1666  v-elim:      0  v-fix:    0  time:  0.45 s
254.32/63.74	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
254.32/63.74	c vivif2 --  cl tried    32449 cl shrink        0 lits rem          0 time: 0.01
254.32/63.75	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.01
254.32/63.75	c calculated reachability. Time: 0.00
254.32/63.75	c  N st    57    537434       377       948         1     32449      4140    455033   no data   no data
351.35/88.09	c  N st    58    701418       377       948         1     60385      4140   1053725   no data   no data
424.39/106.31	c  N st    59    806152       377       948         2     54357      4140    892621   no data   no data
424.39/106.31	c  S st    59    806152       377       948         2     54357      4140    892621   no data   no data
425.19/106.50	c  S st    59    806655       377       948         2     54848      4140    902915   no data   no data
425.19/106.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
425.19/106.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
425.19/106.52	c Replacing        1 vars Replaced       54 lits Time:     0.00 s 
425.19/106.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
425.19/106.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
425.19/106.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
425.19/106.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
425.19/106.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
425.19/106.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
425.19/106.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
448.33/112.33	c lits-rem:      2180  cl-subs:    10371  v-elim:      0  v-fix:    0  time:  5.78 s
448.33/112.33	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
448.33/112.34	c vivif2 --  cl tried    44477 cl shrink        0 lits rem          0 time: 0.01
448.33/112.36	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.01
448.33/112.36	c calculated reachability. Time: 0.00
448.33/112.36	c  N st    59    806655       376       948         0     44477      4140    698595   no data   no data
637.18/159.61	c  F st    60   1071875       376       948         0     60538      4140    987332   no data   no data
637.18/159.61	c  N st    60   1071875       376       948         0     60538      4140    987332   no data   no data
640.38/160.50	c Decided on static restart strategy
657.95/164.86	c  N st    70   1100179       376       948         0     45041      4140    610042   no data   no data
682.70/171.06	c  N st    72   1136172       376       948         0     79394      4140   1508186   no data   no data
706.68/177.09	c  N st    73   1168565       376       948         0     66388      4140   1117130   no data   no data
735.00/184.15	c  N st    74   1209982       376       948         0     61297      4140    988443   no data   no data
735.00/184.15	c  S st    74   1209982       376       948         0     61297      4140    988443   no data   no data
735.80/184.35	c  S st    74   1210485       376       948         0     61783      4140    999333   no data   no data
735.80/184.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
735.80/184.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
735.80/184.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
735.80/184.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
735.80/184.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
735.80/184.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
735.80/184.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
735.80/184.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
736.20/184.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
751.00/188.19	c lits-rem:      1610  cl-subs:     6060  v-elim:      0  v-fix:    0  time:  3.77 s
751.00/188.19	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
751.37/188.20	c vivif2 --  cl tried    55723 cl shrink        0 lits rem          0 time: 0.01
751.37/188.22	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.02
751.37/188.22	c calculated reachability. Time: 0.00
751.37/188.22	c  N st    74   1210485       376       948         0     55723      4140    874657   no data   no data
809.66/202.83	c  N st    75   1283370       376       948         0     79612      4140   1389224   no data   no data
901.09/225.73	c  N st    76   1392693       376       948         0     88774      4140   1567111   no data   no data
1032.08/258.52	c  N st    77   1556678       376       948         0     95844      4140   1713144   no data   no data
1172.21/293.62	c  N st    78   1710485       376       948         0     85147      4140   1415308   no data   no data
1172.21/293.62	c  S st    78   1710485       376       948         0     85147      4140   1415308   no data   no data
1173.38/293.95	c  S st    78   1710989       376       948         0     85640      4140   1426300   no data   no data
1173.38/293.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1173.38/293.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
1173.38/293.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1173.38/293.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1173.38/293.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1173.38/293.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
1173.38/293.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1173.78/294.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1173.78/294.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1236.46/309.78	c lits-rem:      2374  cl-subs:    16998  v-elim:      0  v-fix:    0  time: 15.73 s
1236.46/309.78	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
1236.46/309.79	c vivif2 --  cl tried    68642 cl shrink        0 lits rem          0 time: 0.01
1236.86/309.82	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.03
1236.86/309.82	c calculated reachability. Time: 0.00
1236.86/309.82	c  N st    78   1710989       376       948         0     68642      4140   1084749   no data   no data
1582.99/396.58	c  N st    79   2079955       376       948         0     80796      4140   1275248   no data   no data
1698.78/425.53	c  N st    80   2210989       376       948         0     84884      4140   1351310   no data   no data
1698.78/425.53	c  S st    80   2210989       376       948         0     84884      4140   1351310   no data   no data
1699.97/425.82	c  S st    80   2211491       376       948         0     85370      4140   1362025   no data   no data
1699.97/425.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1699.97/425.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
1699.97/425.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1699.97/425.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1699.97/425.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1699.97/425.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
1699.97/425.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1699.97/425.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1700.37/425.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1737.10/435.18	c lits-rem:      2001  cl-subs:    11388  v-elim:      0  v-fix:    0  time:  9.26 s
1737.10/435.18	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
1737.10/435.19	c vivif2 --  cl tried    73982 cl shrink        0 lits rem          0 time: 0.01
1737.50/435.22	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.03
1737.50/435.23	c calculated reachability. Time: 0.00
1737.50/435.23	c  N st    80   2211491       376       948         0     73982      4140   1134957   no data   no data
2204.24/552.16	c  N st    81   2711492       376       948         0     96438      4140   1553834   no data   no data
2204.24/552.16	c  S st    81   2711492       376       948         0     96438      4140   1553834   no data   no data
2205.41/552.49	c  S st    81   2711996       376       948         0     96925      4140   1564061   no data   no data
2205.41/552.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2205.81/552.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
2205.81/552.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2205.81/552.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2205.81/552.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2205.81/552.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
2205.81/552.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2205.81/552.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2205.81/552.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2270.51/568.71	c lits-rem:      2623  cl-subs:    14512  v-elim:      0  v-fix:    0  time: 16.12 s
2270.51/568.71	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
2270.51/568.73	c vivif2 --  cl tried    82413 cl shrink        0 lits rem          0 time: 0.02
2270.51/568.79	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.05
2270.51/568.79	c calculated reachability. Time: 0.00
2270.51/568.79	c  N st    81   2711996       376       948         0     82413      4140   1291621   no data   no data
2824.62/707.55	c  N st    82   3211997       376       948         0    132786      4140   2269763   no data   no data
2824.62/707.55	c  S st    82   3211997       376       948         0    132786      4140   2269763   no data   no data
2827.02/708.12	c  S st    82   3212501       376       948         0    133278      4140   2280999   no data   no data
2827.02/708.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2827.02/708.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.06
2827.02/708.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2827.02/708.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2827.02/708.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2827.02/708.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
2827.02/708.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2827.42/708.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2827.42/708.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3093.66/774.97	c lits-rem:      3302  cl-subs:    37528  v-elim:      0  v-fix:    0  time: 66.68 s
3093.66/774.97	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
3094.06/775.00	c vivif2 --  cl tried    95750 cl shrink        0 lits rem          0 time: 0.03
3094.06/775.09	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.09
3094.06/775.09	c calculated reachability. Time: 0.00
3094.06/775.09	c  N st    82   3212501       376       948         0     95750      4140   1582331   no data   no data
3733.21/935.16	c  N st    83   3712501       376       948         0    113917      4140   1817035   no data   no data
3733.21/935.16	c  S st    83   3712501       376       948         0    113917      4140   1817035   no data   no data
3735.21/935.65	c  S st    83   3713007       376       948         0    114415      4140   1827866   no data   no data
3735.21/935.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3735.61/935.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.05
3735.61/935.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3735.61/935.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3735.61/935.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3735.61/935.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
3735.61/935.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3735.61/935.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3735.61/935.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3838.22/961.48	c lits-rem:      3082  cl-subs:    22128  v-elim:      0  v-fix:    0  time: 25.70 s
3838.22/961.48	c vivif2 --  cl tried      948 cl shrink        0 lits rem          0 time: 0.00
3838.58/961.50	c vivif2 --  cl tried    92287 cl shrink        0 lits rem          0 time: 0.02
3838.58/961.54	c asymm  cl-useful: 0/948/948 lits-rem:0 time: 0.05
3838.58/961.55	c calculated reachability. Time: 0.00
3838.58/961.55	c  N st    83   3713007       376       948         0     92287      4140   1393119   no data   no data
3879.32/971.77	c  F st    84   3751563       376       948         0    128196      4140   2236930   no data   no data
3879.32/971.77	c  N st    84   3751563       376       948         0    128196      4140   2236930   no data   no data
3884.91/973.15	c Decided on static restart strategy
3912.06/979.95	c  N st    94   3779867       376       948         0    154722      4140   2907199   no data   no data
3953.97/990.41	c  N st    96   3815860       376       948         0    111212      4140   1847441   no data   no data
4001.47/1002.30	c  N st    97   3848253       376       948         0    141670      4140   2586400   no data   no data
4074.12/1020.55	c  N st    98   3896841       376       948         0    108142      4140   1718133   no data   no data
4173.91/1045.53	c  N st    99   3969723       376       948         0     95784      4140   1405177   no data   no data
4301.28/1077.41	c  N st   100   4079047       376       948         0    116362      4140   1879303   no data   no data
4467.37/1119.04	c  N st   101   4213007       376       948         0    158231      4140   2859073   no data   no data
4467.37/1119.04	c  S st   101   4213007       376       948         0    158231      4140   2859073   no data   no data
4469.77/1119.63	c  S st   101   4213511       376       948         0    158718      4140   2869554   no data   no data
4469.77/1119.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4470.19/1119.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.07
4470.19/1119.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4470.19/1119.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4470.19/1119.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4470.19/1119.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    376 time:  0.00 s
4470.19/1119.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4470.19/1119.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4470.59/1119.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.39 4.73 6.33 3/245 13767
/proc/meminfo: memFree=21749824/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 4 0 653091835 52396032 347 33554432000 4194304 4580107 140735393041248 18446744073709551615 271550594033 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 12792 347 299 95 0 7774 0
[pid=13767/tid=13769] ppid=13765 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 653091835 52396032 347 33554432000 4194304 4580107 140735393041248 18446744073709551615 47880376137650 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 653091835 52396032 347 33554432000 4194304 4580107 140735393041248 18446744073709551615 47880376137650 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 653091836 52396032 347 33554432000 4194304 4580107 140735393041248 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.080329 s]
/proc/loadavg: 3.39 4.73 6.33 3/245 13767
/proc/meminfo: memFree=21749824/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=282444 CPUtime=0.29 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 1685 0 0 0 29 0 0 0 23 0 4 0 653091835 289222656 1597 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 70611 1597 379 95 0 65593 0
[pid=13767/tid=13769] ppid=13765 vsize=282444 CPUtime=0.07 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 350 0 0 0 7 0 0 0 23 0 4 0 653091835 289222656 1597 33554432000 4194304 4580107 140735393041248 18446744073709551615 4316502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=282444 CPUtime=0.07 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 346 0 0 0 7 0 0 0 23 0 4 0 653091835 289222656 1597 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=282444 CPUtime=0.07 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 225 0 0 0 7 0 0 0 24 0 4 0 653091836 289222656 1598 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294701 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 282444

[startup+0.100325 s]
/proc/loadavg: 3.39 4.73 6.33 3/245 13767
/proc/meminfo: memFree=21749824/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=282444 CPUtime=0.37 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 1764 0 0 0 37 0 0 0 23 0 4 0 653091835 289222656 1676 33554432000 4194304 4580107 140735393041248 18446744073709551615 4316414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 70611 1676 379 95 0 65593 0
[pid=13767/tid=13769] ppid=13765 vsize=282444 CPUtime=0.09 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 373 0 0 0 9 0 0 0 23 0 4 0 653091835 289222656 1677 33554432000 4194304 4580107 140735393041248 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=282444 CPUtime=0.09 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 362 0 0 0 9 0 0 0 23 0 4 0 653091835 289222656 1677 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=282444 CPUtime=0.09 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 244 0 0 0 9 0 0 0 24 0 4 0 653091836 289222656 1677 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282444

[startup+0.300289 s]
/proc/loadavg: 3.39 4.73 6.33 3/245 13767
/proc/meminfo: memFree=21749824/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=283580 CPUtime=1.17 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 2611 0 0 0 117 0 0 0 23 0 4 0 653091835 290385920 1904 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293125 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 70895 1904 379 95 0 65877 0
[pid=13767/tid=13769] ppid=13765 vsize=283580 CPUtime=0.29 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 596 0 0 0 29 0 0 0 23 0 4 0 653091835 290385920 1904 33554432000 4194304 4580107 140735393041248 18446744073709551615 4320786 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=283580 CPUtime=0.29 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 575 0 0 0 29 0 0 0 23 0 4 0 653091835 290385920 1904 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=283580 CPUtime=0.29 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 448 0 0 0 29 0 0 0 25 0 4 0 653091836 290385920 1904 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283580

[startup+0.700216 s]
/proc/loadavg: 3.39 4.73 6.33 3/245 13767
/proc/meminfo: memFree=21749824/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=284304 CPUtime=2.76 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 3978 0 0 0 276 0 0 0 25 0 4 0 653091835 291127296 2432 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 71076 2432 379 95 0 66058 0
[pid=13767/tid=13769] ppid=13765 vsize=284304 CPUtime=0.69 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 938 0 0 0 69 0 0 0 25 0 4 0 653091835 291127296 2432 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=284304 CPUtime=0.69 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 905 0 0 0 69 0 0 0 25 0 4 0 653091835 291127296 2432 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=284304 CPUtime=0.68 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 798 0 0 0 68 0 0 0 25 0 4 0 653091836 291127296 2432 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293748 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284304

[startup+1.50107 s]
/proc/loadavg: 3.39 4.73 6.33 10/257 13780
/proc/meminfo: memFree=21681172/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=285548 CPUtime=5.97 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 6391 0 0 0 596 1 0 0 25 0 4 0 653091835 292401152 2909 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293907 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 71387 2909 380 95 0 66369 0
[pid=13767/tid=13769] ppid=13765 vsize=285548 CPUtime=1.49 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 1603 0 0 0 149 0 0 0 25 0 4 0 653091835 292401152 2909 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=285548 CPUtime=1.49 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 1521 0 0 0 149 0 0 0 25 0 4 0 653091835 292401152 2909 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=285548 CPUtime=1.48 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 1251 0 0 0 148 0 0 0 25 0 4 0 653091836 292401152 2909 33554432000 4194304 4580107 140735393041248 18446744073709551615 4321160 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285548

[startup+3.10078 s]
/proc/loadavg: 3.39 4.73 6.33 10/257 13780
/proc/meminfo: memFree=21662092/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=295792 CPUtime=12.35 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 14681 0 0 0 1233 2 0 0 25 0 4 0 653091835 302891008 8628 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406470 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 73948 8628 380 95 0 68930 0
[pid=13767/tid=13769] ppid=13765 vsize=295792 CPUtime=3.08 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 3460 0 0 0 308 0 0 0 25 0 4 0 653091835 302891008 8628 33554432000 4194304 4580107 140735393041248 18446744073709551615 4321240 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=295792 CPUtime=3.09 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 4066 0 0 0 309 0 0 0 25 0 4 0 653091835 302891008 8628 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=295792 CPUtime=3.07 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 2154 0 0 0 307 0 0 0 25 0 4 0 653091836 302891008 8628 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 295792

[startup+6.3002 s]
/proc/loadavg: 3.84 4.80 6.35 9/257 13811
/proc/meminfo: memFree=21553092/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=304616 CPUtime=25.12 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 21583 0 0 0 2509 3 0 0 25 0 4 0 653091835 311926784 10986 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 76154 10986 380 95 0 71136 0
[pid=13767/tid=13769] ppid=13765 vsize=304616 CPUtime=6.29 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 6069 0 0 0 628 1 0 0 25 0 4 0 653091835 311926784 10986 33554432000 4194304 4580107 140735393041248 18446744073709551615 4295103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=304616 CPUtime=6.28 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 5444 0 0 0 628 0 0 0 25 0 4 0 653091835 311926784 10986 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=304616 CPUtime=6.24 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 4072 0 0 0 624 0 0 0 25 0 4 0 653091836 311926784 10986 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 304616

[startup+12.701 s]
/proc/loadavg: 4.17 4.86 6.36 10/257 13811
/proc/meminfo: memFree=21241672/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=287244 CPUtime=50.68 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 35395 0 0 0 5061 7 0 0 25 0 4 0 653091835 294137856 15626 33554432000 4194304 4580107 140735393041248 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 71811 15626 380 95 0 66793 0
[pid=13767/tid=13769] ppid=13765 vsize=287244 CPUtime=12.69 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 9235 0 0 0 1267 2 0 0 25 0 4 0 653091835 294137856 15626 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=287244 CPUtime=12.68 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 8790 0 0 0 1267 1 0 0 25 0 4 0 653091835 294137856 15626 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=287244 CPUtime=12.6 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 8497 0 0 0 1259 1 0 0 25 0 4 0 653091836 294137856 15626 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 287244

[startup+25.5007 s]
/proc/loadavg: 5.09 5.02 6.39 9/257 13811
/proc/meminfo: memFree=21128052/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=287932 CPUtime=101.78 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 52910 0 0 0 10169 9 0 0 25 0 4 0 653091835 294842368 21978 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 71983 21978 380 95 0 66965 0
[pid=13767/tid=13769] ppid=13765 vsize=287932 CPUtime=25.48 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 15356 0 0 0 2546 2 0 0 25 0 4 0 653091835 294842368 21978 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=287932 CPUtime=25.48 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 11977 0 0 0 2546 2 0 0 25 0 4 0 653091835 294842368 21978 33554432000 4194304 4580107 140735393041248 18446744073709551615 4318360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=287932 CPUtime=25.3 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 11665 0 0 0 2529 1 0 0 25 0 4 0 653091836 294842368 21978 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 287932

[startup+51.1011 s]
/proc/loadavg: 6.08 5.26 6.43 10/257 13812
/proc/meminfo: memFree=21027992/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=288956 CPUtime=203.99 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 81190 0 0 0 20384 15 0 0 25 0 4 0 653091835 295890944 26656 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 72239 26656 380 95 0 67221 0
[pid=13767/tid=13769] ppid=13765 vsize=288956 CPUtime=51.08 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 24179 0 0 0 5104 4 0 0 25 0 4 0 653091835 295890944 26656 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=288956 CPUtime=51.08 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 16980 0 0 0 5105 3 0 0 25 0 4 0 653091835 295890944 26656 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=288956 CPUtime=50.72 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 17471 0 0 0 5069 3 0 0 25 0 4 0 653091836 295890944 26656 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 288956

[startup+102.31 s]
/proc/loadavg: 7.21 5.70 6.52 9/257 13813
/proc/meminfo: memFree=20912464/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=281464 CPUtime=408.44 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 120664 0 0 0 40820 24 0 0 25 0 4 0 653091835 288219136 34209 33554432000 4194304 4580107 140735393041248 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 70366 34209 380 95 0 65348 0
[pid=13767/tid=13769] ppid=13765 vsize=281464 CPUtime=102.28 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 34570 0 0 0 10222 6 0 0 25 0 4 0 653091835 288219136 34209 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=281464 CPUtime=102.29 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 25318 0 0 0 10224 5 0 0 25 0 4 0 653091835 288219136 34209 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=281464 CPUtime=101.54 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 24906 0 0 0 10150 4 0 0 25 0 4 0 653091836 288219136 34209 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 281464

[startup+162.301 s]

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

[pid=13767] ppid=13765 vsize=548496 CPUtime=2564.31 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 404144 0 0 0 256319 112 0 0 25 0 4 0 653091835 561659904 79426 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294400 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 137124 79426 380 95 0 132106 0
[pid=13767/tid=13769] ppid=13765 vsize=548496 CPUtime=642.23 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 124733 0 0 0 64191 32 0 0 25 0 4 0 653091835 561659904 79427 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=548496 CPUtime=642.3 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 76420 0 0 0 64207 23 0 0 25 0 4 0 653091835 561659904 79427 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=548496 CPUtime=637.45 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 77260 0 0 0 63725 20 0 0 25 0 4 0 653091836 561659904 79427 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2564.31
Current children cumulated vsize (KiB) 548496

[startup+702.301 s]
/proc/loadavg: 8.34 7.90 7.31 9/257 13859
/proc/meminfo: memFree=21064248/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=548936 CPUtime=2803.85 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 433299 0 0 0 280266 119 0 0 25 0 4 0 653091835 562110464 86608 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 137234 86608 380 95 0 132216 0
[pid=13767/tid=13769] ppid=13765 vsize=548936 CPUtime=702.21 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 133857 0 0 0 70187 34 0 0 25 0 4 0 653091835 562110464 86608 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=548936 CPUtime=702.29 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 82164 0 0 0 70205 24 0 0 25 0 4 0 653091835 562110464 86608 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=548936 CPUtime=697.02 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 82904 0 0 0 69680 22 0 0 25 0 4 0 653091836 562110464 86608 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2803.85
Current children cumulated vsize (KiB) 548936

[startup+762.31 s]
/proc/loadavg: 8.23 7.95 7.36 9/257 13861
/proc/meminfo: memFree=21052040/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=554972 CPUtime=3043.4 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 451605 0 0 0 304214 126 0 0 25 0 4 0 653091835 568291328 88216 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 138743 88216 380 95 0 133725 0
[pid=13767/tid=13769] ppid=13765 vsize=554972 CPUtime=762.22 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 140762 0 0 0 76185 37 0 0 25 0 4 0 653091835 568291328 88216 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=554972 CPUtime=762.3 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 86522 0 0 0 76204 26 0 0 25 0 4 0 653091835 568291328 88216 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=554972 CPUtime=756.53 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 87785 0 0 0 75630 23 0 0 25 0 4 0 653091836 568291328 88216 33554432000 4194304 4580107 140735393041248 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3043.4
Current children cumulated vsize (KiB) 554972

[startup+822.301 s]
/proc/loadavg: 8.16 7.97 7.40 9/257 13862
/proc/meminfo: memFree=21043308/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=567180 CPUtime=3282.87 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 465852 0 0 0 328152 135 0 0 25 0 4 0 653091835 580792320 88277 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 141795 88277 380 95 0 136777 0
[pid=13767/tid=13769] ppid=13765 vsize=567180 CPUtime=822.2 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 145060 0 0 0 82182 38 0 0 25 0 4 0 653091835 580792320 88277 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=567180 CPUtime=822.29 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 88096 0 0 0 82202 27 0 0 25 0 4 0 653091835 580792320 88277 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=567180 CPUtime=816.04 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 90847 0 0 0 81578 26 0 0 25 0 4 0 653091836 580792320 88277 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3282.87
Current children cumulated vsize (KiB) 567180

[startup+882.301 s]
/proc/loadavg: 8.06 7.97 7.44 9/257 13864
/proc/meminfo: memFree=21001484/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=567496 CPUtime=3522.39 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 486630 0 0 0 352094 145 0 0 25 0 4 0 653091835 581115904 95555 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 141874 95555 380 95 0 136856 0
[pid=13767/tid=13769] ppid=13765 vsize=567496 CPUtime=882.2 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 151008 0 0 0 88178 42 0 0 25 0 4 0 653091835 581115904 95555 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=567496 CPUtime=882.3 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 92571 0 0 0 88201 29 0 0 25 0 4 0 653091835 581115904 95555 33554432000 4194304 4580107 140735393041248 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=567496 CPUtime=875.56 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 94439 0 0 0 87529 27 0 0 25 0 4 0 653091836 581115904 95555 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3522.39
Current children cumulated vsize (KiB) 567496

[startup+942.3 s]
/proc/loadavg: 8.24 8.03 7.49 9/257 13866
/proc/meminfo: memFree=20994980/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=567864 CPUtime=3761.95 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 504795 0 0 0 376043 152 0 0 25 0 4 0 653091835 581492736 91838 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 141966 91838 380 95 0 136948 0
[pid=13767/tid=13769] ppid=13765 vsize=567864 CPUtime=942.19 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 158595 0 0 0 94175 44 0 0 25 0 4 0 653091835 581492736 91838 33554432000 4194304 4580107 140735393041248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=567864 CPUtime=942.29 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 95505 0 0 0 94199 30 0 0 25 0 4 0 653091835 581492736 91838 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=567864 CPUtime=935.12 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 95653 0 0 0 93485 27 0 0 25 0 4 0 653091836 581492736 91838 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3761.95
Current children cumulated vsize (KiB) 567864

[startup+1002.3 s]
/proc/loadavg: 8.27 8.07 7.54 9/257 13867
/proc/meminfo: memFree=20943612/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=556776 CPUtime=4001.47 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 522412 0 0 0 399988 159 0 0 25 0 4 0 653091835 570138624 99063 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 139194 99063 380 95 0 134176 0
[pid=13767/tid=13769] ppid=13765 vsize=556776 CPUtime=1002.18 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 164928 0 0 0 100172 46 0 0 25 0 4 0 653091835 570138624 99063 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=556776 CPUtime=1002.3 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 98761 0 0 0 100199 31 0 0 25 0 4 0 653091835 570138624 99063 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=556776 CPUtime=994.65 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 101423 0 0 0 99435 30 0 0 25 0 4 0 653091836 570138624 99063 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4001.47
Current children cumulated vsize (KiB) 556776

[startup+1062.3 s]
/proc/loadavg: 8.36 8.12 7.58 9/257 13869
/proc/meminfo: memFree=20961944/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=557004 CPUtime=4240.98 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 538448 0 0 0 423933 165 0 0 25 0 4 0 653091835 570372096 93743 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 139251 93743 380 95 0 134233 0
[pid=13767/tid=13769] ppid=13765 vsize=557004 CPUtime=1062.17 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 169572 0 0 0 106170 47 0 0 25 0 4 0 653091835 570372096 93743 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=557004 CPUtime=1062.3 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 100449 0 0 0 106198 32 0 0 25 0 4 0 653091835 570372096 93743 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=557004 CPUtime=1054.16 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 104088 0 0 0 105386 30 0 0 25 0 4 0 653091836 570372096 93743 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4240.98
Current children cumulated vsize (KiB) 557004

[startup+1122.3 s]
/proc/loadavg: 8.23 8.12 7.62 9/257 13870
/proc/meminfo: memFree=20876732/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=575264 CPUtime=4480.54 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 567331 0 0 0 447878 176 0 0 25 0 4 0 653091835 589070336 105250 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 143816 105250 380 95 0 138798 0
[pid=13767/tid=13769] ppid=13765 vsize=575264 CPUtime=1122.16 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 178797 0 0 0 112165 51 0 0 25 0 4 0 653091835 589070336 105250 33554432000 4194304 4580107 140735393041248 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=575264 CPUtime=1122.3 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 105118 0 0 0 112196 34 0 0 25 0 4 0 653091835 589070336 105250 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=575264 CPUtime=1113.72 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 107742 0 0 0 111341 31 0 0 25 0 4 0 653091836 589070336 105250 33554432000 4194304 4580107 140735393041248 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4480.54
Current children cumulated vsize (KiB) 575264

[startup+1182.3 s]
/proc/loadavg: 8.39 8.18 7.66 9/257 13872
/proc/meminfo: memFree=20931140/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=575352 CPUtime=4720.05 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 582289 0 0 0 471822 183 0 0 25 0 4 0 653091835 589160448 104269 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 143838 104269 380 95 0 138820 0
[pid=13767/tid=13769] ppid=13765 vsize=575352 CPUtime=1182.16 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 188214 0 0 0 118160 56 0 0 25 0 4 0 653091835 589160448 104269 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=575352 CPUtime=1182.3 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 107818 0 0 0 118195 35 0 0 25 0 4 0 653091835 589160448 104269 33554432000 4194304 4580107 140735393041248 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=575352 CPUtime=1173.24 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 110583 0 0 0 117291 33 0 0 25 0 4 0 653091836 589160448 104269 33554432000 4194304 4580107 140735393041248 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4720.05
Current children cumulated vsize (KiB) 575352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.4 s]
/proc/loadavg: 8.28 8.16 7.67 9/257 13872
/proc/meminfo: memFree=20914028/32951124 swapFree=67056788/67111528
[pid=13767] ppid=13765 vsize=575352 CPUtime=4800.3 cores=0,2,4,6
/proc/13767/stat : 13767 (strangenight2-m) R 13765 13767 13336 0 -1 4202496 584596 0 0 0 479844 186 0 0 25 0 4 0 653091835 589160448 106576 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13767/statm: 143838 106576 380 95 0 138820 0
[pid=13767/tid=13769] ppid=13765 vsize=575352 CPUtime=1202.27 cores=0,2,4,6
/proc/13767/task/13769/stat : 13769 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 188214 0 0 0 120171 56 0 0 25 0 4 0 653091835 589160448 106576 33554432000 4194304 4580107 140735393041248 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13767/tid=13770] ppid=13765 vsize=575352 CPUtime=1202.41 cores=0,2,4,6
/proc/13767/task/13770/stat : 13770 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 109085 0 0 0 120205 36 0 0 25 0 4 0 653091835 589160448 106576 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13767/tid=13771] ppid=13765 vsize=575352 CPUtime=1193.16 cores=0,2,4,6
/proc/13767/task/13771/stat : 13771 (strangenight2-m) R 13765 13767 13336 0 -1 4202560 111623 0 0 0 119282 34 0 0 25 0 4 0 653091836 589160448 106576 33554432000 4194304 4580107 140735393041248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 575352

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.44
CPU time (s): 4800.35
CPU user time (s): 4798.47
CPU system time (s): 1.87971
CPU usage (%): 399.219
Max. virtual memory (cumulated for all children) (KiB): 631260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.47
system time used= 1.87971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584596
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= 232
involuntary context switches= 72579

runsolver used 2.6186 second user time and 6.66399 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-15 01:15:40
IDJOB=3367058
IDBENCH=83432
IDSOLVER=1844
FILE ID=node133/3367058-1305414939
RUNJOBID= node133-1305414939-13753
PBS_JOBID= 13324520
Free space on /tmp= 73652 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367058-1305414939/watcher-3367058-1305414939 -o /tmp/evaluation-result-3367058-1305414939/solver-3367058-1305414939 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367058-1305414939.cnf

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

MD5SUM BENCH= 278d646386a62d4f28f7fc390c5eab3e
RANDOM SEED=1684677140

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21746888 kB
Buffers:        277604 kB
Cached:        3217916 kB
SwapCached:       8724 kB
Active:        8502172 kB
Inactive:      2421908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21746888 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:            6696 kB
Writeback:           0 kB
AnonPages:     7425720 kB
Mapped:          20504 kB
Slab:           194860 kB
PageTables:      23092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19200816 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73640 MiB
End job on node133 at 2011-05-15 01:35:44