Trace number 3290346

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.22 1201.64

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf
MD5SUMd71ab4cbe872e5620884d4e4d370890a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1092.34
Satisfiable
(Un)Satisfiability was proved
Number of variables912
Number of clauses3488
Sum of the clauses size11040
Maximum clause length5
Minimum clause length1
Number of clauses of size 180
Number of clauses of size 2160
Number of clauses of size 32432
Number of clauses of size 4736
Number of clauses of size 580
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-3290346-1304124077.cnf'
0.00/0.00	c -- header says num vars:            912
0.00/0.00	c -- header says num clauses:        3488
0.00/0.01	c -- clauses added:            0 learnts,         3488 normals,            0 xors
0.00/0.01	c -- vars added        912
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       912      3184       160         0     10640         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2928/2928 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  128 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c Replacing      128 vars Replaced     2484 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:    704 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.58/0.90	c lits-rem:         0  cl-subs:        0  v-elim:    110  v-fix:    0  time:  0.00 s
3.58/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.58/0.90	c Finding non-binary XORs:     0.00 s (found:     306, avg size: 3.4)
3.58/0.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     26 locsubst:     0 time:   0.00
3.58/0.90	c calculated reachability. Time: 0.00
3.58/0.90	c Calc default polars -  time:   0.00 s pos:       0 undec:     344 neg:     568
3.58/0.90	c =========================================================================================
3.58/0.90	c types(t): F = full restart, N = normal restart
3.58/0.90	c types(t): S = simplification begin/end, E = solution found
3.58/0.90	c restart types(rt): st = static, dy = dynamic
3.58/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.58/0.90	c  B st     0         0       568      1264        32         0      5600         0   no data   no data
3.58/0.90	c Decided on static restart strategy
3.58/0.90	c  N st     8      4915       568      1264        37      4621      5600    117979   no data   no data
3.58/0.90	c  N st    10     11297       568      1264        53      4326      5600     74940   no data   no data
3.98/1.00	c  N st    11     17040       568      1264        54      9839      5600    256710   no data   no data
6.37/1.66	c  F st    12     25000       568      1264        65     12191      5600    294335   no data   no data
6.37/1.66	c  N st    12     25000       568      1264        65     12191      5600    294335   no data   no data
7.97/2.03	c Decided on static restart strategy
7.97/2.03	c  N st    18     30000       568      1264        70     10613      5600    215637   no data   no data
7.97/2.03	c  S st    18     30000       568      1264        70     10613      5600    215637   no data   no data
7.97/2.07	c  S st    18     30501       568      1264        73     11081      5600    222719   no data   no data
7.97/2.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   27 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.97/2.07	c Replacing       27 vars Replaced     3160 lits Time:     0.00 s 
7.97/2.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.97/2.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    541 time:  0.00 s
7.97/2.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.97/2.08	c subs with bin:        3  lits-rem:        57  v-fix:    0  time:  0.00 s
8.78/2.24	c lits-rem:      2051  cl-subs:      785  v-elim:      0  v-fix:    0  time:  0.16 s
8.78/2.25	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
8.78/2.25	c calculated reachability. Time: 0.00
8.78/2.25	c  N st    18     30501       541      1264        19     10281      5560    201490   no data   no data
9.96/2.50	c Finding binary XORs  T:     0.00 s  found:       0
11.17/2.86	c  N st    20     37613       541      1264        19      9590      5560    165023   no data   no data
13.58/3.42	c  N st    21     44014       541      1264        19     15663      5560    356650   no data   no data
14.36/3.64	c  S st    22     45751       541      1264        28     17300      5560    406494   no data   no data
14.36/3.68	c  S st    22     46254       541      1264        31      9354      5560    129640   no data   no data
14.36/3.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.36/3.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
14.36/3.68	c Replacing        7 vars Replaced      773 lits Time:     0.00 s 
14.36/3.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.36/3.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.36/3.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.36/3.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
14.36/3.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.36/3.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.36/3.69	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.00 s
14.76/3.71	c lits-rem:       289  cl-subs:      103  v-elim:      0  v-fix:    0  time:  0.02 s
14.76/3.71	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
14.76/3.71	c vivif2 --  cl tried     9245 cl shrink        0 lits rem          0 time: 0.00
14.76/3.71	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
14.76/3.71	c calculated reachability. Time: 0.00
14.76/3.71	c  N st    22     46254       534      1264        17      9245      5552    127502   no data   no data
20.35/5.14	c  N st    23     60652       534      1264        17     13534      5552    239057   no data   no data
20.35/5.14	c Finding binary XORs  T:     0.00 s  found:      11
20.35/5.15	c Replacing       11 vars Replaced     2551 lits Time:     0.00 s 
23.95/6.00	c  N st    24     69381       523      1264        13     11430      5546    168117   no data   no data
23.95/6.00	c  S st    24     69381       523      1264        13     11430      5546    168117   no data   no data
23.95/6.04	c  S st    24     69887       523      1264        15     11907      5546    176673   no data   no data
23.95/6.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.95/6.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
23.95/6.04	c Replacing        2 vars Replaced      608 lits Time:     0.00 s 
23.95/6.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.95/6.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.95/6.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.95/6.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    521 time:  0.00 s
23.95/6.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.95/6.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
23.95/6.05	c subs with bin:        1  lits-rem:        26  v-fix:    0  time:  0.00 s
23.95/6.09	c lits-rem:       448  cl-subs:      205  v-elim:      0  v-fix:    0  time:  0.04 s
23.95/6.09	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
23.95/6.09	c vivif2 --  cl tried    11699 cl shrink        0 lits rem          0 time: 0.00
24.35/6.10	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
24.35/6.10	c calculated reachability. Time: 0.00
24.35/6.10	c  N st    24     69887       521      1264        11     11699      5544    172134   no data   no data
30.76/7.76	c  F st    25     87501       521      1264        11     17350      5544    348451   no data   no data
30.76/7.76	c  N st    25     87501       521      1264        11     17350      5544    348451   no data   no data
32.73/8.21	c Decided on static restart strategy
33.94/8.52	c  N st    32     95539       521      1264        12     25155      5544    595833   no data   no data
37.13/9.39	c  N st    34    104830       521      1264        14     21364      5544    430049   no data   no data
37.13/9.39	c  S st    34    104830       521      1264        14     21364      5544    430049   no data   no data
37.53/9.46	c  S st    34    105330       521      1264        18     21844      5544    439403   no data   no data
37.53/9.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.53/9.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
37.53/9.46	c Replacing        4 vars Replaced      106 lits Time:     0.00 s 
37.53/9.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37.53/9.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.53/9.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.53/9.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    517 time:  0.00 s
37.53/9.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
37.53/9.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
37.53/9.48	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
39.95/10.05	c lits-rem:      1114  cl-subs:     1957  v-elim:      0  v-fix:    0  time:  0.56 s
39.95/10.05	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
39.95/10.05	c vivif2 --  cl tried    19885 cl shrink        0 lits rem          0 time: 0.00
39.95/10.06	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
39.95/10.06	c calculated reachability. Time: 0.00
39.95/10.06	c  N st    34    105330       517      1264        10     19885      5540    383892   no data   no data
43.53/10.93	c  N st    35    114928       517      1264        10     15748      5540    233373   no data   no data
43.53/10.93	c Finding binary XORs  T:     0.00 s  found:       2
49.52/12.41	c  N st    36    129325       517      1264        12     15120      5540    205010   no data   no data
59.10/14.80	c  N st    37    150920       517      1264        12     20294      5540    348255   no data   no data
61.92/15.59	c  S st    38    157997       517      1264        13     26957      5540    550226   no data   no data
62.30/15.65	c  S st    38    158502       517      1264        15     27437      5540    560800   no data   no data
62.30/15.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.30/15.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
62.30/15.66	c Replacing        4 vars Replaced      357 lits Time:     0.00 s 
62.30/15.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
62.30/15.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.30/15.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.30/15.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    513 time:  0.00 s
62.30/15.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
62.30/15.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
62.30/15.68	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.00 s
68.29/17.14	c lits-rem:      2834  cl-subs:     4031  v-elim:      0  v-fix:    0  time:  1.46 s
68.29/17.14	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
68.29/17.14	c vivif2 --  cl tried    23404 cl shrink        0 lits rem          0 time: 0.01
68.29/17.15	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
68.29/17.15	c calculated reachability. Time: 0.00
68.29/17.15	c  N st    38    158502       513      1264         7     23404      5538    446798   no data   no data
96.26/24.14	c  N st    39    207090       513      1264         7     18609      5538    264255   no data   no data
113.84/28.60	c  N st    40    237753       513      1264         7     28768      5538    553009   no data   no data
113.84/28.60	c  S st    40    237753       513      1264         7     28768      5538    553009   no data   no data
114.25/28.69	c  S st    40    238254       513      1264         7     29250      5538    562224   no data   no data
114.25/28.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
114.25/28.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
114.25/28.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
114.25/28.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
114.25/28.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.25/28.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    513 time:  0.00 s
114.25/28.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
114.66/28.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
114.66/28.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
121.83/30.60	c lits-rem:      2008  cl-subs:     4679  v-elim:      0  v-fix:    0  time:  1.87 s
121.83/30.60	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
122.23/30.60	c vivif2 --  cl tried    24571 cl shrink        0 lits rem          0 time: 0.01
122.23/30.61	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
122.23/30.61	c calculated reachability. Time: 0.00
122.23/30.61	c  N st    40    238254       513      1264         7     24571      5538    442074   no data   no data
159.78/40.02	c  F st    41    306250       513      1264         7     26729      5538    461088   no data   no data
159.78/40.03	c  N st    41    306250       513      1264         7     26729      5538    461088   no data   no data
161.78/40.56	c Decided on static restart strategy
172.96/43.38	c  N st    51    334553       513      1264        12     31014      5538    571138   no data   no data
184.97/46.36	c  N st    53    357381       513      1264        12     28995      5538    512809   no data   no data
184.97/46.36	c  S st    53    357381       513      1264        12     28995      5538    512809   no data   no data
185.35/46.44	c  S st    53    357884       513      1264        12     29484      5538    524552   no data   no data
185.35/46.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
185.35/46.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
185.35/46.46	c Replacing        5 vars Replaced     3115 lits Time:     0.01 s 
185.35/46.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
185.35/46.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
185.35/46.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
185.35/46.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    508 time:  0.00 s
185.35/46.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
185.35/46.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
185.35/46.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
186.95/46.85	c lits-rem:      1810  cl-subs:      546  v-elim:      0  v-fix:    0  time:  0.37 s
186.95/46.85	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
186.95/46.85	c vivif2 --  cl tried    28937 cl shrink        0 lits rem          0 time: 0.01
186.95/46.86	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
186.95/46.86	c calculated reachability. Time: 0.00
186.95/46.86	c  N st    53    357884       508      1264         2     28937      5536    507455   no data   no data
203.33/50.99	c  N st    54    390277       508      1264         2     35510      5536    699183   no data   no data
233.69/58.56	c  N st    55    438866       508      1264         2     29202      5536    453345   no data   no data
274.44/68.76	c  N st    56    511748       508      1264         2     43053      5536    846942   no data   no data
274.44/68.76	c Finding binary XORs  T:     0.00 s  found:       2
290.44/72.76	c  N st    57    536826       508      1264         5     37177      5536    623236   no data   no data
290.44/72.76	c  S st    57    536826       508      1264         5     37177      5536    623236   no data   no data
290.82/72.87	c  S st    57    537333       508      1264         5     37673      5536    633819   no data   no data
290.82/72.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
290.82/72.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
290.82/72.89	c Replacing        2 vars Replaced       14 lits Time:     0.00 s 
290.82/72.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
290.82/72.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
290.82/72.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
290.82/72.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    506 time:  0.00 s
290.82/72.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
291.22/72.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
291.22/72.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
294.03/73.65	c lits-rem:      1303  cl-subs:     1980  v-elim:      0  v-fix:    0  time:  0.73 s
294.03/73.65	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
294.03/73.65	c vivif2 --  cl tried    35693 cl shrink        0 lits rem          0 time: 0.01
294.03/73.67	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
294.03/73.67	c calculated reachability. Time: 0.00
294.03/73.67	c  N st    57    537333       506      1264         1     35693      5536    582295   no data   no data
406.68/101.87	c  N st    58    701317       506      1264         1     63854      5536   1333523   no data   no data
486.99/121.92	c  N st    59    806000       506      1264         1     57789      5536   1131829   no data   no data
486.99/121.92	c  S st    59    806000       506      1264         1     57789      5536   1131829   no data   no data
487.39/122.09	c  S st    59    806502       506      1264         2     58273      5536   1142407   no data   no data
487.39/122.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
487.80/122.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
487.80/122.12	c Replacing        1 vars Replaced       29 lits Time:     0.00 s 
487.80/122.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
487.80/122.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
487.80/122.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
487.80/122.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
487.80/122.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
487.80/122.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
487.80/122.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
517.35/129.58	c lits-rem:      2011  cl-subs:     8765  v-elim:      0  v-fix:    0  time:  7.41 s
517.35/129.58	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
517.35/129.59	c vivif2 --  cl tried    49508 cl shrink        0 lits rem          0 time: 0.01
517.75/129.61	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.02
517.75/129.61	c calculated reachability. Time: 0.00
517.75/129.61	c  N st    59    806502       505      1264         0     49508      5536    910739   no data   no data
716.32/179.39	c  F st    60   1071875       505      1264         0     64980      5536   1249682   no data   no data
716.32/179.39	c  N st    60   1071875       505      1264         0     64980      5536   1249682   no data   no data
719.89/180.26	c Decided on static restart strategy
736.27/184.36	c  N st    70   1100174       505      1264         0     49527      5536    801987   no data   no data
763.04/191.02	c  N st    72   1136168       505      1264         0     83914      5536   1830085   no data   no data
786.21/196.89	c  N st    73   1168562       505      1264         0     71114      5536   1440338   no data   no data
820.16/205.34	c  N st    74   1209754       505      1264         0     65671      5536   1231709   no data   no data
820.16/205.34	c  S st    74   1209754       505      1264         0     65671      5536   1231709   no data   no data
821.36/205.67	c  S st    74   1210255       505      1264         0     66160      5536   1241882   no data   no data
821.36/205.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
821.78/205.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
821.78/205.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
821.78/205.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
821.78/205.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
821.78/205.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
821.78/205.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
821.78/205.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
821.78/205.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
853.71/213.73	c lits-rem:      1789  cl-subs:     6406  v-elim:      0  v-fix:    0  time:  7.95 s
853.71/213.73	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
853.71/213.75	c vivif2 --  cl tried    59754 cl shrink        0 lits rem          0 time: 0.01
853.71/213.78	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.03
853.71/213.78	c calculated reachability. Time: 0.00
853.71/213.78	c  N st    74   1210255       505      1264         0     59754      5536   1069506   no data   no data
912.44/228.42	c  N st    75   1283137       505      1264         0     83262      5536   1681864   no data   no data
1014.32/253.98	c  N st    76   1392460       505      1264         0     93108      5536   1940841   no data   no data
1199.69/300.31	c  N st    77   1556446       505      1264         0     99154      5536   2050779   no data   no data
1344.71/336.66	c  N st    78   1710255       505      1264         0     89638      5536   1820575   no data   no data
1344.71/336.66	c  S st    78   1710255       505      1264         0     89638      5536   1820575   no data   no data
1345.89/336.98	c  S st    78   1710755       505      1264         0     90123      5536   1831537   no data   no data
1345.89/336.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1346.29/337.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1346.29/337.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1346.29/337.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1346.29/337.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1346.29/337.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
1346.29/337.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1346.29/337.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1346.69/337.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1398.63/350.19	c lits-rem:      2569  cl-subs:     9188  v-elim:      0  v-fix:    0  time: 13.08 s
1398.63/350.19	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
1399.03/350.21	c vivif2 --  cl tried    80935 cl shrink        0 lits rem          0 time: 0.02
1399.03/350.26	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
1399.03/350.26	c calculated reachability. Time: 0.00
1399.03/350.26	c  N st    78   1710755       505      1264         0     80935      5536   1607595   no data   no data
1817.67/455.08	c  N st    79   2079719       505      1264         0     94241      5536   1924096   no data   no data
1951.11/488.49	c  N st    80   2210755       505      1264         0     97140      5536   1876059   no data   no data
1951.11/488.49	c  S st    80   2210755       505      1264         0     97140      5536   1876059   no data   no data
1952.69/488.87	c  S st    80   2211258       505      1264         0     97634      5536   1887019   no data   no data
1952.69/488.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1953.09/488.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1953.09/488.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1953.09/488.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1953.09/488.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1953.09/488.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
1953.09/488.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1953.09/488.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1953.49/489.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2032.99/508.91	c lits-rem:      4098  cl-subs:    11879  v-elim:      0  v-fix:    0  time: 19.91 s
2032.99/508.91	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
2032.99/508.94	c vivif2 --  cl tried    85755 cl shrink        0 lits rem          0 time: 0.02
2032.99/508.99	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
2032.99/508.99	c calculated reachability. Time: 0.00
2032.99/508.99	c  N st    80   2211258       505      1264         0     85755      5536   1578416   no data   no data
2695.70/674.85	c  N st    81   2711258       505      1264         0    105052      5536   1903846   no data   no data
2695.70/674.85	c  S st    81   2711258       505      1264         0    105052      5536   1903846   no data   no data
2697.70/675.33	c  S st    81   2711762       505      1264         0    105543      5536   1914673   no data   no data
2697.70/675.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2698.12/675.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
2698.12/675.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2698.12/675.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2698.12/675.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2698.12/675.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
2698.12/675.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2698.12/675.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2698.12/675.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2831.93/708.91	c lits-rem:      4851  cl-subs:    21595  v-elim:      0  v-fix:    0  time: 33.42 s
2831.93/708.91	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
2831.93/708.93	c vivif2 --  cl tried    83948 cl shrink        0 lits rem          0 time: 0.02
2831.93/708.98	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
2831.93/708.99	c calculated reachability. Time: 0.00
2831.93/708.99	c  N st    81   2711762       505      1264         0     83948      5536   1370123   no data   no data
3429.55/858.57	c  N st    82   3211762       505      1264         0    133361      5536   2550198   no data   no data
3429.55/858.57	c  S st    82   3211762       505      1264         0    133361      5536   2550198   no data   no data
3432.37/859.20	c  S st    82   3212266       505      1264         0    133850      5536   2561763   no data   no data
3432.37/859.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3432.75/859.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.08
3432.75/859.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3432.75/859.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3432.75/859.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3432.75/859.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
3432.75/859.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3432.75/859.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3433.14/859.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3937.29/985.70	c lits-rem:      8351  cl-subs:    38132  v-elim:      0  v-fix:    0  time: 126.28 s
3937.29/985.70	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
3937.69/985.72	c vivif2 --  cl tried    95718 cl shrink        0 lits rem          0 time: 0.02
3937.69/985.78	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.06
3937.69/985.79	c calculated reachability. Time: 0.00
3937.69/985.79	c  N st    82   3212266       505      1264         0     95718      5536   1639871   no data   no data
4555.28/1140.36	c  N st    83   3712266       505      1264         0    116819      5536   2127906   no data   no data
4555.28/1140.36	c  S st    83   3712266       505      1264         0    116819      5536   2127906   no data   no data
4558.07/1141.00	c  S st    83   3712768       505      1264         0    117315      5536   2139496   no data   no data
4558.07/1141.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4558.07/1141.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.08
4558.07/1141.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4558.07/1141.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4558.07/1141.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4558.07/1141.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
4558.07/1141.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4558.48/1141.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4558.88/1141.20	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: 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-3290346-1304124077/watcher-3290346-1304124077 -o /tmp/evaluation-result-3290346-1304124077/solver-3290346-1304124077 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3290346-1304124077.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: 8.26 8.14 7.79 5/180 29885
/proc/meminfo: memFree=30014908/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 524004788 52441088 352 33554432000 4194304 4627427 140735497813056 18446744073709551615 47160041371570 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 12803 352 303 106 0 7774 0
[pid=29885/tid=29886] ppid=29883 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 4 0 524004788 52441088 363 33554432000 4194304 4627427 140735497813056 18446744073709551615 239476738138 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=160440 CPUtime=0 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) S 29883 29885 29718 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 4 0 524004788 164290560 366 33554432000 4194304 4627427 140735497813056 18446744073709551615 239476799982 0 0 4096 2 18446604453937236992 0 0 -1 4 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=116748 CPUtime=0 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 4 0 524004788 119549952 370 33554432000 4194304 4627427 140735497813056 18446744073709551615 4455456 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.107117 s]
/proc/loadavg: 8.26 8.14 7.79 5/180 29885
/proc/meminfo: memFree=30014908/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=348032 CPUtime=0.4 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 2119 0 0 0 40 0 0 0 18 0 4 0 524004788 356384768 1985 33554432000 4194304 4627427 140735497813056 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 87008 1985 387 106 0 81979 0
[pid=29885/tid=29886] ppid=29883 vsize=348032 CPUtime=0.1 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 485 0 0 0 10 0 0 0 18 0 4 0 524004788 356384768 1985 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309660 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=348032 CPUtime=0.09 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 427 0 0 0 9 0 0 0 25 0 4 0 524004788 356384768 1985 33554432000 4194304 4627427 140735497813056 18446744073709551615 4333369 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=348032 CPUtime=0.1 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 322 0 0 0 10 0 0 0 18 0 4 0 524004788 356384768 1985 33554432000 4194304 4627427 140735497813056 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 348032

[startup+0.201099 s]
/proc/loadavg: 8.26 8.14 7.79 5/180 29885
/proc/meminfo: memFree=30014908/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=348664 CPUtime=0.77 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 2589 0 0 0 77 0 0 0 18 0 4 0 524004788 357031936 2133 33554432000 4194304 4627427 140735497813056 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 87166 2133 388 106 0 82137 0
[pid=29885/tid=29886] ppid=29883 vsize=348664 CPUtime=0.19 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 647 0 0 0 19 0 0 0 18 0 4 0 524004788 357031936 2133 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=348664 CPUtime=0.19 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 527 0 0 0 19 0 0 0 25 0 4 0 524004788 357031936 2133 33554432000 4194304 4627427 140735497813056 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=348664 CPUtime=0.19 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 404 0 0 0 19 0 0 0 18 0 4 0 524004788 357031936 2133 33554432000 4194304 4627427 140735497813056 18446744073709551615 4321474 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 348664

[startup+0.30108 s]
/proc/loadavg: 8.26 8.14 7.79 5/180 29885
/proc/meminfo: memFree=30014908/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=349320 CPUtime=1.17 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 3005 0 0 0 117 0 0 0 18 0 4 0 524004788 357703680 2206 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 87330 2206 388 106 0 82301 0
[pid=29885/tid=29886] ppid=29883 vsize=349320 CPUtime=0.29 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 737 0 0 0 29 0 0 0 18 0 4 0 524004788 357703680 2206 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=349320 CPUtime=0.29 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 658 0 0 0 29 0 0 0 25 0 4 0 524004788 357703680 2206 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=349320 CPUtime=0.29 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 527 0 0 0 29 0 0 0 18 0 4 0 524004788 357703680 2206 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 349320

[startup+0.701003 s]
/proc/loadavg: 8.26 8.14 7.79 5/180 29885
/proc/meminfo: memFree=30014908/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=350176 CPUtime=2.78 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 4415 0 0 0 277 1 0 0 18 0 4 0 524004788 358580224 2658 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 87544 2658 388 106 0 82515 0
[pid=29885/tid=29886] ppid=29883 vsize=350176 CPUtime=0.69 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 1093 0 0 0 69 0 0 0 18 0 4 0 524004788 358580224 2658 33554432000 4194304 4627427 140735497813056 18446744073709551615 4305631 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=350176 CPUtime=0.68 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 1003 0 0 0 68 0 0 0 25 0 4 0 524004788 358580224 2658 33554432000 4194304 4627427 140735497813056 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=350176 CPUtime=0.69 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 899 0 0 0 69 0 0 0 18 0 4 0 524004788 358580224 2658 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 350176

[startup+1.50085 s]
/proc/loadavg: 8.48 8.19 7.80 9/184 29889
/proc/meminfo: memFree=29999004/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=351280 CPUtime=5.97 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 6830 0 0 0 596 1 0 0 20 0 4 0 524004788 359710720 3463 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309723 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 87820 3463 389 106 0 82791 0
[pid=29885/tid=29886] ppid=29883 vsize=351280 CPUtime=1.49 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 1839 0 0 0 149 0 0 0 20 0 4 0 524004788 359710720 3463 33554432000 4194304 4627427 140735497813056 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=351280 CPUtime=1.48 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 1586 0 0 0 148 0 0 0 25 0 4 0 524004788 359710720 3463 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309735 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=351280 CPUtime=1.49 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 1440 0 0 0 149 0 0 0 19 0 4 0 524004788 359710720 3463 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 351280

[startup+3.10055 s]
/proc/loadavg: 8.48 8.19 7.80 9/184 29889
/proc/meminfo: memFree=29987968/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=369236 CPUtime=12.36 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 14534 0 0 0 1234 2 0 0 25 0 4 0 524004788 378097664 8530 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 92309 8530 390 106 0 87280 0
[pid=29885/tid=29886] ppid=29883 vsize=369236 CPUtime=3.09 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 3942 0 0 0 309 0 0 0 25 0 4 0 524004788 378097664 8530 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=369236 CPUtime=3.08 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 4339 0 0 0 307 1 0 0 25 0 4 0 524004788 378097664 8530 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=369236 CPUtime=3.09 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 2337 0 0 0 309 0 0 0 25 0 4 0 524004788 378097664 8530 33554432000 4194304 4627427 140735497813056 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 369236

[startup+6.30093 s]
/proc/loadavg: 8.48 8.19 7.80 9/184 29889
/proc/meminfo: memFree=29958636/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=370180 CPUtime=25.15 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 23457 0 0 0 2511 4 0 0 25 0 4 0 524004788 379064320 11795 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 92545 11795 390 106 0 87516 0
[pid=29885/tid=29886] ppid=29883 vsize=370180 CPUtime=6.29 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 7264 0 0 0 628 1 0 0 25 0 4 0 524004788 379064320 11795 33554432000 4194304 4627427 140735497813056 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=370180 CPUtime=6.26 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 5874 0 0 0 625 1 0 0 25 0 4 0 524004788 379064320 11795 33554432000 4194304 4627427 140735497813056 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=370180 CPUtime=6.29 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 4660 0 0 0 629 0 0 0 25 0 4 0 524004788 379064320 11795 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309075 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 370180

[startup+12.7007 s]
/proc/loadavg: 8.40 8.18 7.81 9/184 29889
/proc/meminfo: memFree=29938172/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=364580 CPUtime=50.72 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 38723 0 0 0 5065 7 0 0 25 0 4 0 524004788 373329920 18890 33554432000 4194304 4627427 140735497813056 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 91145 18890 390 106 0 86116 0
[pid=29885/tid=29886] ppid=29883 vsize=364580 CPUtime=12.68 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 10200 0 0 0 1267 1 0 0 25 0 4 0 524004788 373329920 18890 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=364580 CPUtime=12.63 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 9278 0 0 0 1261 2 0 0 25 0 4 0 524004788 373329920 18890 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=364580 CPUtime=12.69 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 9584 0 0 0 1268 1 0 0 25 0 4 0 524004788 373329920 18890 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 364580

[startup+25.5003 s]
/proc/loadavg: 8.34 8.18 7.81 9/184 29890
/proc/meminfo: memFree=29908280/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=385084 CPUtime=101.85 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 57528 0 0 0 10173 12 0 0 25 0 4 0 524004788 394326016 22767 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309982 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 96271 22767 390 106 0 91242 0
[pid=29885/tid=29886] ppid=29883 vsize=385084 CPUtime=25.49 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 14649 0 0 0 2547 2 0 0 25 0 4 0 524004788 394326016 22767 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=385084 CPUtime=25.36 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 14073 0 0 0 2533 3 0 0 25 0 4 0 524004788 394326016 22767 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=385084 CPUtime=25.48 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 14274 0 0 0 2547 1 0 0 25 0 4 0 524004788 394326016 22767 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 385084

[startup+51.1004 s]
/proc/loadavg: 8.29 8.18 7.82 9/184 29890
/proc/meminfo: memFree=29860004/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=346284 CPUtime=204.13 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 92714 0 0 0 20394 19 0 0 25 0 4 0 524004788 354594816 28648 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 86571 28648 390 106 0 81542 0
[pid=29885/tid=29886] ppid=29883 vsize=346284 CPUtime=51.09 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 23811 0 0 0 5105 4 0 0 25 0 4 0 524004788 354594816 28648 33554432000 4194304 4627427 140735497813056 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=346284 CPUtime=50.84 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 22816 0 0 0 5080 4 0 0 25 0 4 0 524004788 354594816 28648 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=346284 CPUtime=51.09 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 22852 0 0 0 5105 4 0 0 25 0 4 0 524004788 354594816 28648 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 346284

[startup+102.301 s]
/proc/loadavg: 8.15 8.16 7.83 9/184 29892
/proc/meminfo: memFree=29759756/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=389228 CPUtime=408.69 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 137696 0 0 0 40839 30 0 0 25 0 4 0 524004788 398569472 38890 33554432000 4194304 4627427 140735497813056 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 97307 38890 390 106 0 92278 0
[pid=29885/tid=29886] ppid=29883 vsize=389228 CPUtime=102.29 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 33153 0 0 0 10223 6 0 0 25 0 4 0 524004788 398569472 38890 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309735 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=389228 CPUtime=101.79 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 33418 0 0 0 10172 7 0 0 25 0 4 0 524004788 398569472 38890 33554432000 4194304 4627427 140735497813056 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=389228 CPUtime=102.3 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 35528 0 0 0 10222 8 0 0 25 0 4 0 524004788 398569472 38890 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 389228

[startup+162.301 s]

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

[pid=29885] ppid=29883 vsize=616288 CPUtime=2805.56 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 420799 0 0 0 280421 135 0 0 25 0 4 0 524004788 631078912 107419 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 154072 107419 390 106 0 149043 0
[pid=29885/tid=29886] ppid=29883 vsize=616288 CPUtime=702.31 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 94695 0 0 0 70204 27 0 0 25 0 4 0 524004788 631078912 107419 33554432000 4194304 4627427 140735497813056 18446744073709551615 4349773 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=616288 CPUtime=698.62 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 105605 0 0 0 69829 33 0 0 25 0 4 0 524004788 631078912 107419 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=616288 CPUtime=702.29 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 92015 0 0 0 70202 27 0 0 25 0 4 0 524004788 631078912 107419 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.56
Current children cumulated vsize (KiB) 616288

[startup+762.301 s]
/proc/loadavg: 8.13 8.11 7.95 9/184 29909
/proc/meminfo: memFree=29172088/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=630184 CPUtime=3045.26 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 438357 0 0 0 304386 140 0 0 25 0 4 0 524004788 645308416 107961 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 157546 107961 390 106 0 152517 0
[pid=29885/tid=29886] ppid=29883 vsize=630184 CPUtime=762.32 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 99774 0 0 0 76204 28 0 0 25 0 4 0 524004788 645308416 107961 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=630184 CPUtime=758.3 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 109139 0 0 0 75796 34 0 0 25 0 4 0 524004788 645308416 107961 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=630184 CPUtime=762.3 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 93838 0 0 0 76203 27 0 0 25 0 4 0 524004788 645308416 107961 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.26
Current children cumulated vsize (KiB) 630184

[startup+822.301 s]
/proc/loadavg: 8.09 8.10 7.95 9/184 29911
/proc/meminfo: memFree=29129896/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=761916 CPUtime=3284.94 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 457761 0 0 0 328345 149 0 0 25 0 4 0 524004788 780201984 121232 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 190479 121232 390 106 0 185450 0
[pid=29885/tid=29886] ppid=29883 vsize=761916 CPUtime=822.31 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 106639 0 0 0 82200 31 0 0 25 0 4 0 524004788 780201984 121232 33554432000 4194304 4627427 140735497813056 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=761916 CPUtime=817.98 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 115668 0 0 0 81761 37 0 0 25 0 4 0 524004788 780201984 121232 33554432000 4194304 4627427 140735497813056 18446744073709551615 4324721 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=761916 CPUtime=822.29 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 94048 0 0 0 82202 27 0 0 25 0 4 0 524004788 780201984 121232 33554432000 4194304 4627427 140735497813056 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.94
Current children cumulated vsize (KiB) 761916

[startup+882.307 s]
/proc/loadavg: 8.08 8.10 7.96 9/184 29912
/proc/meminfo: memFree=29133716/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=696440 CPUtime=3524.64 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 467876 0 0 0 352312 152 0 0 25 0 4 0 524004788 713154560 115911 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 174110 115911 390 106 0 169081 0
[pid=29885/tid=29886] ppid=29883 vsize=696440 CPUtime=882.31 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 106973 0 0 0 88200 31 0 0 25 0 4 0 524004788 713154560 115911 33554432000 4194304 4627427 140735497813056 18446744073709551615 4427152 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=696440 CPUtime=877.67 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 118813 0 0 0 87729 38 0 0 25 0 4 0 524004788 713154560 115911 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=696440 CPUtime=882.3 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 94108 0 0 0 88203 27 0 0 25 0 4 0 524004788 713154560 115911 33554432000 4194304 4627427 140735497813056 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.64
Current children cumulated vsize (KiB) 696440

[startup+942.301 s]
/proc/loadavg: 8.07 8.09 7.96 9/184 29914
/proc/meminfo: memFree=29122280/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=701460 CPUtime=3764.3 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 469164 0 0 0 376277 153 0 0 25 0 4 0 524004788 718295040 113432 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420161 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 175365 113432 390 106 0 170336 0
[pid=29885/tid=29886] ppid=29883 vsize=701460 CPUtime=942.32 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 108250 0 0 0 94199 33 0 0 25 0 4 0 524004788 718295040 113432 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=701460 CPUtime=937.34 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 118813 0 0 0 93696 38 0 0 25 0 4 0 524004788 718295040 113432 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=701460 CPUtime=942.29 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 94119 0 0 0 94202 27 0 0 25 0 4 0 524004788 718295040 113432 33554432000 4194304 4627427 140735497813056 18446744073709551615 4427670 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.3
Current children cumulated vsize (KiB) 701460

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 7.97 9/184 29916
/proc/meminfo: memFree=29082816/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=729052 CPUtime=4003.98 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 485195 0 0 0 400237 161 0 0 25 0 4 0 524004788 746549248 124487 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 182263 124487 390 106 0 177234 0
[pid=29885/tid=29886] ppid=29883 vsize=729052 CPUtime=1002.31 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 114693 0 0 0 100195 36 0 0 25 0 4 0 524004788 746549248 124487 33554432000 4194304 4627427 140735497813056 18446744073709551615 4326876 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=729052 CPUtime=997.02 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 124520 0 0 0 99661 41 0 0 25 0 4 0 524004788 746549248 124487 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=729052 CPUtime=1002.29 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 94954 0 0 0 100201 28 0 0 25 0 4 0 524004788 746549248 124487 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.98
Current children cumulated vsize (KiB) 729052

[startup+1062.3 s]
/proc/loadavg: 8.06 8.08 7.97 9/184 29917
/proc/meminfo: memFree=29086376/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=660920 CPUtime=4243.68 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 505706 0 0 0 424199 169 0 0 25 0 4 0 524004788 676782080 115060 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 165230 115060 390 106 0 160201 0
[pid=29885/tid=29886] ppid=29883 vsize=660920 CPUtime=1062.32 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 118836 0 0 0 106194 38 0 0 25 0 4 0 524004788 676782080 115060 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=660920 CPUtime=1056.71 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 131134 0 0 0 105628 43 0 0 25 0 4 0 524004788 676782080 115060 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=660920 CPUtime=1062.29 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 96210 0 0 0 106201 28 0 0 25 0 4 0 524004788 676782080 115060 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.68
Current children cumulated vsize (KiB) 660920

[startup+1122.3 s]
/proc/loadavg: 8.15 8.10 7.98 9/184 29919
/proc/meminfo: memFree=29042316/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=726400 CPUtime=4483.37 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 525103 0 0 0 448160 177 0 0 25 0 4 0 524004788 743833600 120771 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 181600 120771 390 106 0 176571 0
[pid=29885/tid=29886] ppid=29883 vsize=726400 CPUtime=1122.32 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 124745 0 0 0 112192 40 0 0 25 0 4 0 524004788 743833600 120771 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=726400 CPUtime=1116.4 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 137344 0 0 0 111594 46 0 0 25 0 4 0 524004788 743833600 120771 33554432000 4194304 4627427 140735497813056 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=726400 CPUtime=1122.29 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 99216 0 0 0 112200 29 0 0 25 0 4 0 524004788 743833600 120771 33554432000 4194304 4627427 140735497813056 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.37
Current children cumulated vsize (KiB) 726400

[startup+1182.3 s]
/proc/loadavg: 8.18 8.11 8.00 9/184 29951
/proc/meminfo: memFree=29485748/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=740848 CPUtime=4723.06 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 533578 0 0 0 472125 181 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 185212 129242 390 106 0 180183 0
[pid=29885/tid=29886] ppid=29883 vsize=740848 CPUtime=1182.32 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 124745 0 0 0 118192 40 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=740848 CPUtime=1176.08 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 140183 0 0 0 117561 47 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=740848 CPUtime=1182.3 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 101199 0 0 0 118199 31 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4723.06
Current children cumulated vsize (KiB) 740848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.13 8.10 8.00 9/184 29961
/proc/meminfo: memFree=29447696/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=740848 CPUtime=4800.17 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 533578 0 0 0 479835 182 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 185212 129242 390 106 0 180183 0
[pid=29885/tid=29886] ppid=29883 vsize=740848 CPUtime=1201.62 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 124745 0 0 0 120122 40 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=740848 CPUtime=1195.27 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 140183 0 0 0 119480 47 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=740848 CPUtime=1201.61 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 101199 0 0 0 120130 31 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 740848

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

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

[startup+1201.6 s]
/proc/loadavg: 8.13 8.10 8.00 9/184 29961
/proc/meminfo: memFree=29447696/32950928 swapFree=67086612/67111528
[pid=29885] ppid=29883 vsize=740848 CPUtime=4800.17 cores=0,2,4,6
/proc/29885/stat : 29885 (strangenight2-m) R 29883 29885 29718 0 -1 4202496 533578 0 0 0 479835 182 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29885/statm: 185212 129242 390 106 0 180183 0
[pid=29885/tid=29886] ppid=29883 vsize=740848 CPUtime=1201.62 cores=0,2,4,6
/proc/29885/task/29886/stat : 29886 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 124745 0 0 0 120122 40 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29885/tid=29887] ppid=29883 vsize=740848 CPUtime=1195.27 cores=0,2,4,6
/proc/29885/task/29887/stat : 29887 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 140183 0 0 0 119480 47 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29885/tid=29888] ppid=29883 vsize=740848 CPUtime=1201.61 cores=0,2,4,6
/proc/29885/task/29888/stat : 29888 (strangenight2-m) R 29883 29885 29718 0 -1 4202560 101199 0 0 0 120130 31 0 0 25 0 4 0 524004788 758628352 129242 33554432000 4194304 4627427 140735497813056 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 740848

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.22
CPU user time (s): 4798.37
CPU system time (s): 1.84572
CPU usage (%): 399.473
Max. virtual memory (cumulated for all children) (KiB): 784576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.37
system time used= 1.84572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533578
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= 471
involuntary context switches= 35508

runsolver used 1.84972 second user time and 4.53131 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-30 02:41:17
IDJOB=3290346
IDBENCH=83431
IDSOLVER=1586
FILE ID=node148/3290346-1304124077
RUNJOBID= node148-1304122819-29736
PBS_JOBID= 13170748
Free space on /tmp= 71428 MiB

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

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

MD5SUM BENCH= d71ab4cbe872e5620884d4e4d370890a
RANDOM SEED=1269255025

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30015188 kB
Buffers:        717204 kB
Cached:        1641624 kB
SwapCached:       3696 kB
Active:         300164 kB
Inactive:      2271404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30015188 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:            5876 kB
Writeback:           0 kB
AnonPages:      211516 kB
Mapped:          14472 kB
Slab:           300192 kB
PageTables:       4884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   476240 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71424 MiB
End job on node148 at 2011-04-30 03:01:21