Trace number 3290070

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.2 1201.65

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_2_keyfind_1.cnf
MD5SUM1024a3346322fdba0a20b51f99eae4c0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of clauses5176
Sum of the clauses size20024
Maximum clause length5
Minimum clause length1
Number of clauses of size 1136
Number of clauses of size 2160
Number of clauses of size 32080
Number of clauses of size 4672
Number of clauses of size 52128
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-3290070-1304124023.cnf'
0.00/0.00	c -- header says num vars:           1000
0.00/0.00	c -- header says num clauses:        5176
0.00/0.01	c -- clauses added:            0 learnts,         5176 normals,            0 xors
0.00/0.01	c -- vars added       1000
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0      1000      4848       160         0     19728         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/4336/4336 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  192 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c Replacing      192 vars Replaced     5480 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.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    672 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.16/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.16/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.16/0.85	c Finding non-binary XORs:     0.00 s (found:     384, avg size: 3.7)
3.16/0.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     92 locsubst:     0 time:   0.00
3.16/0.85	c calculated reachability. Time: 0.00
3.16/0.85	c Calc default polars -  time:   0.00 s pos:      16 undec:     420 neg:     564
3.16/0.85	c =========================================================================================
3.16/0.85	c types(t): F = full restart, N = normal restart
3.16/0.85	c types(t): S = simplification begin/end, E = solution found
3.16/0.85	c restart types(rt): st = static, dy = dynamic
3.16/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.85	c  B st     0         0       580      1264        32         0      5848         0   no data   no data
3.16/0.85	c Decided on static restart strategy
3.16/0.85	c  N st     8      4919       580      1264        39      4673      5848    155463   no data   no data
3.16/0.85	c  N st    10     11302       580      1264        72      4490      5848     88151   no data   no data
3.56/0.92	c  N st    11     17045       580      1264        77      9919      5848    304825   no data   no data
4.77/1.23	c  F st    12     25002       580      1264        91     12314      5848    437888   no data   no data
4.77/1.23	c  N st    12     25002       580      1264        91     12314      5848    437888   no data   no data
5.59/1.46	c Decided on static restart strategy
5.59/1.46	c  N st    18     30000       580      1264        96     10640      5848    286262   no data   no data
5.59/1.46	c  S st    18     30000       580      1264        96     10640      5848    286262   no data   no data
5.59/1.47	c Finding binary XORs  T:     0.00 s  found:      42
5.59/1.48	c Replacing       42 vars Replaced     8600 lits Time:     0.01 s 
5.59/1.50	c  S st    18     30502       538      1264        14     11093      5788    295084   no data   no data
5.59/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     20 locsubst:     0 time:   0.00
5.99/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.99/1.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5.99/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.99/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.99/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    518 time:  0.00 s
5.99/1.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.99/1.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.99/1.51	c subs with bin:        4  lits-rem:        17  v-fix:    0  time:  0.00 s
5.99/1.56	c lits-rem:      1056  cl-subs:      271  v-elim:      0  v-fix:    0  time:  0.05 s
5.99/1.56	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
5.99/1.56	c calculated reachability. Time: 0.00
5.99/1.56	c  N st    18     30502       518      1264        14      6903      5748    130507   no data   no data
7.55/1.90	c  N st    20     37613       518      1264        24      8207      5748    164267   no data   no data
8.76/2.28	c  N st    21     44012       518      1264        25     14334      5748    390474   no data   no data
9.16/2.36	c  S st    22     45754       518      1264        32      8464      5748    143170   no data   no data
9.16/2.38	c  S st    22     46260       518      1264        33      8948      5748    155877   no data   no data
9.16/2.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   13 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.39	c Replacing       13 vars Replaced     2020 lits Time:     0.00 s 
9.16/2.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    505 time:  0.00 s
9.16/2.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.40	c subs with bin:        2  lits-rem:        42  v-fix:    0  time:  0.00 s
9.56/2.43	c lits-rem:       444  cl-subs:      227  v-elim:      0  v-fix:    0  time:  0.03 s
9.56/2.43	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
9.56/2.43	c vivif2 --  cl tried     8712 cl shrink        0 lits rem          0 time: 0.00
9.56/2.44	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
9.56/2.44	c calculated reachability. Time: 0.00
9.56/2.44	c  N st    22     46260       505      1264         7      8712      5744    150884   no data   no data
13.55/3.48	c  N st    23     60658       505      1264         7     13442      5744    324373   no data   no data
15.94/4.07	c  N st    24     69390       505      1264        11     11654      5744    238503   no data   no data
15.94/4.07	c  S st    24     69390       505      1264        11     11654      5744    238503   no data   no data
15.94/4.07	c Finding binary XORs  T:     0.00 s  found:       3
16.34/4.10	c  S st    24     69892       505      1264        12     12138      5744    249962   no data   no data
16.34/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.34/4.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.34/4.11	c Replacing        3 vars Replaced      536 lits Time:     0.00 s 
16.34/4.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.34/4.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.34/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    502 time:  0.00 s
16.34/4.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.34/4.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.34/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.19	c lits-rem:       509  cl-subs:      255  v-elim:      0  v-fix:    0  time:  0.07 s
16.34/4.19	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
16.34/4.19	c vivif2 --  cl tried    11880 cl shrink        0 lits rem          0 time: 0.00
16.34/4.19	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.00
16.34/4.19	c calculated reachability. Time: 0.00
16.34/4.19	c  N st    24     69892       502      1264         6     11880      5744    241459   no data   no data
22.74/5.77	c  F st    25     87501       502      1264         6     17388      5744    442516   no data   no data
22.74/5.77	c  N st    25     87501       502      1264         6     17388      5744    442516   no data   no data
23.94/6.08	c Decided on static restart strategy
25.14/6.30	c  N st    32     95539       502      1264         8     25090      5744    728931   no data   no data
27.55/6.91	c  N st    34    104839       502      1264        10     21644      5744    541174   no data   no data
27.55/6.91	c  S st    34    104839       502      1264        10     21644      5744    541174   no data   no data
27.55/6.97	c  S st    34    105342       502      1264        11     22131      5744    554010   no data   no data
27.55/6.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.55/6.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.55/6.98	c Replacing        5 vars Replaced      138 lits Time:     0.00 s 
27.55/6.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.55/6.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.55/6.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.55/6.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    497 time:  0.00 s
27.55/6.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.55/6.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.55/7.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.53/7.49	c lits-rem:      2269  cl-subs:      826  v-elim:      0  v-fix:    0  time:  0.49 s
29.53/7.49	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
29.93/7.50	c vivif2 --  cl tried    21305 cl shrink        0 lits rem          0 time: 0.01
29.93/7.51	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
29.93/7.51	c calculated reachability. Time: 0.00
29.93/7.51	c  N st    34    105342       497      1264         1     21305      5744    525111   no data   no data
32.73/8.23	c  N st    35    114940       497      1264         1     17252      5744    366879   no data   no data
38.32/9.63	c  N st    36    129338       497      1264         2     16448      5744    315613   no data   no data
45.91/11.59	c  N st    37    150936       497      1264         2     22104      5744    524694   no data   no data
47.91/12.02	c  S st    38    158014       497      1264         2     28760      5744    775144   no data   no data
47.91/12.09	c  S st    38    158516       497      1264         2     29244      5744    787636   no data   no data
47.91/12.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.31/12.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.31/12.10	c Replacing        1 vars Replaced      300 lits Time:     0.00 s 
48.31/12.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.31/12.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.31/12.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.31/12.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
48.31/12.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.31/12.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.31/12.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.90/13.09	c lits-rem:      1850  cl-subs:     1352  v-elim:      0  v-fix:    0  time:  0.95 s
51.90/13.09	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
52.30/13.10	c vivif2 --  cl tried    27892 cl shrink        0 lits rem          0 time: 0.01
52.30/13.11	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
52.30/13.11	c calculated reachability. Time: 0.00
52.30/13.11	c  N st    38    158516       496      1264         0     27892      5744    734856   no data   no data
75.08/18.80	c  N st    39    207107       496      1264         0     23410      5744    521702   no data   no data
90.25/22.63	c  N st    40    237776       496      1264         0     33288      5744    897481   no data   no data
90.25/22.63	c  S st    40    237776       496      1264         0     33288      5744    897481   no data   no data
90.65/22.74	c  S st    40    238281       496      1264         0     33781      5744    912282   no data   no data
90.65/22.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.65/22.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
90.65/22.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.65/22.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.65/22.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.65/22.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
90.65/22.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
90.65/22.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
91.05/22.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.83/28.08	c lits-rem:      1820  cl-subs:     3814  v-elim:      0  v-fix:    0  time:  5.27 s
111.83/28.08	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
111.83/28.09	c vivif2 --  cl tried    29967 cl shrink        0 lits rem          0 time: 0.01
112.23/28.11	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.02
112.23/28.11	c calculated reachability. Time: 0.00
112.23/28.11	c  N st    40    238281       496      1264         0     29967      5744    761367   no data   no data
146.99/36.87	c  F st    41    306251       496      1264         0     31595      5744    755580   no data   no data
146.99/36.87	c  N st    41    306251       496      1264         0     31595      5744    755580   no data   no data
148.58/37.29	c Decided on static restart strategy
158.97/39.87	c  N st    51    334556       496      1264         0     36058      5744    907858   no data   no data
169.36/42.45	c  N st    53    357421       496      1264         0     34145      5744    815193   no data   no data
169.36/42.45	c  S st    53    357421       496      1264         0     34145      5744    815193   no data   no data
169.76/42.52	c  S st    53    357926       496      1264         0     34639      5744    828258   no data   no data
169.76/42.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
169.76/42.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
169.76/42.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
169.76/42.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
169.76/42.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
169.76/42.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
169.76/42.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
169.76/42.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
169.76/42.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
174.16/43.68	c lits-rem:      3570  cl-subs:     1953  v-elim:      0  v-fix:    0  time:  1.12 s
174.16/43.68	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
174.16/43.69	c vivif2 --  cl tried    32686 cl shrink        0 lits rem          0 time: 0.01
174.56/43.71	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.01
174.56/43.71	c calculated reachability. Time: 0.00
174.56/43.71	c  N st    53    357926       496      1264         0     32686      5744    754265   no data   no data
191.33/47.93	c  N st    54    390319       496      1264         0     38392      5744    937869   no data   no data
216.10/54.14	c  N st    55    438907       496      1264         0     32269      5744    642210   no data   no data
273.65/68.57	c  N st    56    511791       496      1264         0     45063      5744   1247292   no data   no data
291.23/72.96	c  N st    57    536889       496      1264         0     39874      5744    884603   no data   no data
291.23/72.96	c  S st    57    536889       496      1264         0     39874      5744    884603   no data   no data
291.64/73.05	c  S st    57    537390       496      1264         0     40364      5744    899703   no data   no data
291.64/73.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
291.64/73.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
291.64/73.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
291.64/73.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
291.64/73.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
291.64/73.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
291.64/73.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
291.64/73.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
292.01/73.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
300.42/75.21	c lits-rem:      1949  cl-subs:     3455  v-elim:      0  v-fix:    0  time:  2.10 s
300.42/75.21	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
300.42/75.22	c vivif2 --  cl tried    36909 cl shrink        0 lits rem          0 time: 0.01
300.42/75.24	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.02
300.42/75.24	c calculated reachability. Time: 0.00
300.42/75.24	c  N st    57    537390       496      1264         0     36909      5744    774419   no data   no data
434.24/108.70	c  N st    58    701375       496      1264         0     66106      5744   1868729   no data   no data
516.53/129.32	c  N st    59    806086       496      1264         0     59672      5744   1500521   no data   no data
516.53/129.32	c  S st    59    806086       496      1264         0     59672      5744   1500521   no data   no data
516.93/129.48	c  S st    59    806589       496      1264         0     60161      5744   1513505   no data   no data
516.93/129.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
517.33/129.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
517.33/129.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
517.33/129.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
517.33/129.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
517.33/129.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
517.33/129.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
517.33/129.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
517.33/129.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
566.47/141.88	c lits-rem:      3618  cl-subs:     7208  v-elim:      0  v-fix:    0  time: 12.32 s
566.47/141.88	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
566.87/141.90	c vivif2 --  cl tried    52953 cl shrink        0 lits rem          0 time: 0.02
566.87/141.93	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.03
566.87/141.94	c calculated reachability. Time: 0.00
566.87/141.94	c  N st    59    806589       496      1264         0     52953      5744   1241451   no data   no data
856.13/214.35	c  F st    60   1071875       496      1264         0     69621      5744   1913642   no data   no data
856.13/214.35	c  N st    60   1071875       496      1264         0     69621      5744   1913642   no data   no data
860.52/215.45	c Decided on static restart strategy
874.10/218.85	c  N st    70   1100177       496      1264         0     53858      5744   1203768   no data   no data
898.10/224.85	c  N st    72   1136170       496      1264         0     87821      5744   2429134   no data   no data
926.83/232.09	c  N st    73   1168563       496      1264         0     74859      5744   2048710   no data   no data
961.19/240.65	c  N st    74   1209883       496      1264         0     69532      5744   1687519   no data   no data
961.19/240.65	c  S st    74   1209883       496      1264         0     69532      5744   1687519   no data   no data
961.99/240.83	c  S st    74   1210384       496      1264         0     70020      5744   1701132   no data   no data
961.99/240.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
961.99/240.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
961.99/240.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
961.99/240.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
961.99/240.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
961.99/240.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
961.99/240.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
961.99/240.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
962.39/240.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
991.95/248.36	c lits-rem:      7072  cl-subs:     5298  v-elim:      0  v-fix:    0  time:  7.42 s
991.95/248.36	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
991.95/248.38	c vivif2 --  cl tried    64722 cl shrink        0 lits rem          0 time: 0.02
992.34/248.43	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
992.34/248.43	c calculated reachability. Time: 0.00
992.34/248.43	c  N st    74   1210384       496      1264         0     64722      5744   1503169   no data   no data
1058.65/265.01	c  N st    75   1283268       496      1264         0     88927      5744   2454862   no data   no data
1179.32/295.27	c  N st    76   1392593       496      1264         0     99320      5744   2834931   no data   no data
1314.72/329.16	c  N st    77   1556577       496      1264         0     54799      5744    995957   no data   no data
1433.37/358.82	c  N st    78   1710385       496      1264         0     97025      5744   2739532   no data   no data
1433.37/358.82	c  S st    78   1710385       496      1264         0     97025      5744   2739532   no data   no data
1434.19/359.08	c  S st    78   1710889       496      1264         0     97519      5744   2755644   no data   no data
1434.19/359.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1434.56/359.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1434.56/359.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1434.56/359.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1434.56/359.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1434.56/359.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
1434.56/359.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1434.56/359.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1434.96/359.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1514.06/379.05	c lits-rem:     10203  cl-subs:     5703  v-elim:      0  v-fix:    0  time: 19.81 s
1514.06/379.05	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
1514.06/379.08	c vivif2 --  cl tried    91816 cl shrink        0 lits rem          0 time: 0.03
1514.45/379.16	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.08
1514.45/379.16	c calculated reachability. Time: 0.00
1514.45/379.16	c  N st    78   1710889       496      1264         0     91816      5744   2529945   no data   no data
1935.50/484.51	c  N st    79   2079854       496      1264         0     99467      5744   2711267   no data   no data
2073.33/519.01	c  N st    80   2210889       496      1264         0    106494      5744   2795051   no data   no data
2073.33/519.01	c  S st    80   2210889       496      1264         0    106494      5744   2795051   no data   no data
2074.53/519.31	c  S st    80   2211392       496      1264         0    106988      5744   2810428   no data   no data
2074.53/519.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2074.53/519.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2074.53/519.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2074.53/519.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2074.53/519.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2074.53/519.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
2074.53/519.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2074.93/519.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2074.93/519.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2242.72/561.49	c lits-rem:      8870  cl-subs:    14428  v-elim:      0  v-fix:    0  time: 42.01 s
2242.72/561.49	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
2243.09/561.52	c vivif2 --  cl tried    92560 cl shrink        0 lits rem          0 time: 0.03
2243.09/561.60	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.07
2243.49/561.60	c calculated reachability. Time: 0.00
2243.49/561.60	c  N st    80   2211392       496      1264         0     92560      5744   2264182   no data   no data
2835.93/709.92	c  N st    81   2711393       496      1264         0    113151      5744   3150088   no data   no data
2835.93/709.92	c  S st    81   2711393       496      1264         0    113151      5744   3150088   no data   no data
2837.11/710.22	c  S st    81   2711896       496      1264         0    113644      5744   3165408   no data   no data
2837.11/710.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2837.11/710.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2837.11/710.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2837.11/710.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2837.11/710.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2837.11/710.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
2837.11/710.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2837.51/710.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2837.91/710.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3030.45/758.69	c lits-rem:      7877  cl-subs:    12563  v-elim:      0  v-fix:    0  time: 48.28 s
3030.45/758.69	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
3030.85/758.73	c vivif2 --  cl tried   101081 cl shrink        0 lits rem          0 time: 0.03
3031.25/758.81	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.09
3031.25/758.82	c calculated reachability. Time: 0.00
3031.25/758.82	c  N st    81   2711896       496      1264         0    101081      5744   2712211   no data   no data
3704.75/927.47	c  N st    82   3211897       496      1264         0     80585      5744   1532729   no data   no data
3704.75/927.47	c  S st    82   3211897       496      1264         0     80585      5744   1532729   no data   no data
3705.56/927.63	c  S st    82   3212400       496      1264         0     81080      5744   1549005   no data   no data
3705.56/927.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3705.56/927.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3705.56/927.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3705.56/927.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3705.56/927.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3705.56/927.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
3705.56/927.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3705.97/927.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3705.97/927.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3713.94/929.79	c lits-rem:      2283  cl-subs:     1614  v-elim:      0  v-fix:    0  time:  2.04 s
3713.94/929.79	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
3714.36/929.81	c vivif2 --  cl tried    79466 cl shrink        0 lits rem          0 time: 0.02
3714.36/929.86	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.05
3714.36/929.87	c calculated reachability. Time: 0.00
3714.36/929.87	c  N st    82   3212400       496      1264         0     79466      5744   1503488   no data   no data
4328.71/1083.66	c  N st    83   3712401       496      1264         0     90899      5744   1747323   no data   no data
4328.71/1083.66	c  S st    83   3712401       496      1264         0     90899      5744   1747323   no data   no data
4329.93/1083.91	c  S st    83   3712905       496      1264         0     91399      5744   1762624   no data   no data
4329.93/1083.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4329.93/1083.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
4329.93/1083.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4329.93/1083.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4329.93/1083.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4329.93/1083.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    496 time:  0.00 s
4329.93/1083.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4330.31/1084.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4330.31/1084.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4340.70/1086.61	c lits-rem:      2015  cl-subs:     2301  v-elim:      0  v-fix:    0  time:  2.57 s
4340.70/1086.61	c vivif2 --  cl tried     1264 cl shrink        0 lits rem          0 time: 0.00
4340.70/1086.63	c vivif2 --  cl tried    89098 cl shrink        0 lits rem          0 time: 0.02
4340.70/1086.69	c asymm  cl-useful: 0/1264/1264 lits-rem:0 time: 0.06
4340.70/1086.69	c calculated reachability. Time: 0.00
4340.70/1086.69	c  N st    83   3712905       496      1264         0     89098      5744   1693643   no data   no data
4389.04/1098.74	c  F st    84   3751562       496      1264         0    125968      5744   3266968   no data   no data
4389.04/1098.74	c  N st    84   3751562       496      1264         0    125968      5744   3266968   no data   no data
4394.23/1100.09	c Decided on static restart strategy
4423.40/1107.33	c  N st    94   3779867       496      1264         0    153263      5744   4365371   no data   no data
4462.15/1117.00	c  N st    96   3815860       496      1264         0    106145      5744   2313031   no data   no data
4499.31/1126.35	c  N st    97   3848252       496      1264         0    137294      5744   3519544   no data   no data
4555.62/1140.48	c  N st    98   3896840       496      1264         0    101588      5744   2162969   no data   no data
4651.91/1164.57	c  N st    99   3969722       496      1264         0     86697      5744   1542139   no data   no data
4776.14/1195.66	c  N st   100   4079046       496      1264         0    107740      5744   2329809   no data   no data

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

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

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


[startup+0 s]
/proc/loadavg: 8.12 8.07 7.74 1/172 29840
/proc/meminfo: memFree=30190996/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 523999341 52441088 347 33554432000 4194304 4627427 140737125793904 18446744073709551615 47112719284144 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 12803 347 299 106 0 7774 0
[pid=29840/tid=29841] ppid=29838 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 523999341 52441088 347 33554432000 4194304 4627427 140737125793904 18446744073709551615 47112719284146 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 523999341 52441088 347 33554432000 4194304 4627427 140737125793904 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 523999341 52441088 347 33554432000 4194304 4627427 140737125793904 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.423789 s]
/proc/loadavg: 8.12 8.07 7.74 1/172 29840
/proc/meminfo: memFree=30190996/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=293248 CPUtime=1.65 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 4451 0 0 0 164 1 0 0 18 0 4 0 523999341 300285952 2982 33554432000 4194304 4627427 140737125793904 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 73312 2986 388 106 0 68283 0
[pid=29840/tid=29841] ppid=29838 vsize=293248 CPUtime=0.41 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1114 0 0 0 41 0 0 0 18 0 4 0 523999341 300285952 2989 33554432000 4194304 4627427 140737125793904 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=293248 CPUtime=0.4 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1036 0 0 0 40 0 0 0 18 0 4 0 523999341 300285952 2993 33554432000 4194304 4627427 140737125793904 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=293248 CPUtime=0.41 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 841 0 0 0 41 0 0 0 18 0 4 0 523999341 300285952 2998 33554432000 4194304 4627427 140737125793904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 293248

[startup+0.501102 s]
/proc/loadavg: 8.12 8.07 7.74 1/172 29840
/proc/meminfo: memFree=30190996/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=285096 CPUtime=1.97 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 4960 0 0 0 196 1 0 0 18 0 4 0 523999341 291938304 2876 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308760 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 71274 2877 388 106 0 66245 0
[pid=29840/tid=29841] ppid=29838 vsize=285096 CPUtime=0.48 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1191 0 0 0 48 0 0 0 18 0 4 0 523999341 291938304 2877 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=285096 CPUtime=0.48 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1195 0 0 0 48 0 0 0 18 0 4 0 523999341 291938304 2877 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=285096 CPUtime=0.49 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 918 0 0 0 49 0 0 0 18 0 4 0 523999341 291938304 2877 33554432000 4194304 4627427 140737125793904 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 285096

[startup+0.601081 s]
/proc/loadavg: 8.12 8.07 7.74 1/172 29840
/proc/meminfo: memFree=30190996/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=285096 CPUtime=2.36 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 5363 0 0 0 235 1 0 0 18 0 4 0 523999341 291938304 3279 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309405 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 71274 3279 388 106 0 66245 0
[pid=29840/tid=29841] ppid=29838 vsize=285096 CPUtime=0.58 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1291 0 0 0 58 0 0 0 18 0 4 0 523999341 291938304 3279 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=285096 CPUtime=0.58 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1281 0 0 0 58 0 0 0 18 0 4 0 523999341 291938304 3279 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=285096 CPUtime=0.59 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1031 0 0 0 59 0 0 0 18 0 4 0 523999341 291938304 3279 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 285096

[startup+0.701063 s]
/proc/loadavg: 8.12 8.07 7.74 1/172 29840
/proc/meminfo: memFree=30190996/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=285384 CPUtime=2.76 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 5862 0 0 0 275 1 0 0 18 0 4 0 523999341 292233216 3427 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 71346 3427 388 106 0 66317 0
[pid=29840/tid=29841] ppid=29838 vsize=285384 CPUtime=0.68 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1525 0 0 0 68 0 0 0 18 0 4 0 523999341 292233216 3427 33554432000 4194304 4627427 140737125793904 18446744073709551615 4321358 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=285384 CPUtime=0.68 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1374 0 0 0 68 0 0 0 18 0 4 0 523999341 292233216 3427 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=285384 CPUtime=0.69 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1098 0 0 0 69 0 0 0 18 0 4 0 523999341 292233216 3427 33554432000 4194304 4627427 140737125793904 18446744073709551615 4332648 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285384

[startup+1.50691 s]
/proc/loadavg: 8.51 8.15 7.77 10/184 29858
/proc/meminfo: memFree=30154720/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=278024 CPUtime=5.99 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 9501 0 0 0 597 2 0 0 20 0 4 0 523999341 284696576 4299 33554432000 4194304 4627427 140737125793904 18446744073709551615 4233668 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 69506 4299 390 106 0 64477 0
[pid=29840/tid=29841] ppid=29838 vsize=278024 CPUtime=1.49 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 2412 0 0 0 149 0 0 0 19 0 4 0 523999341 284696576 4299 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309710 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=278024 CPUtime=1.48 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 2332 0 0 0 148 0 0 0 20 0 4 0 523999341 284696576 4299 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=278024 CPUtime=1.49 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 1871 0 0 0 149 0 0 0 20 0 4 0 523999341 284696576 4299 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 278024

[startup+3.1006 s]
/proc/loadavg: 8.51 8.15 7.77 9/184 29858
/proc/meminfo: memFree=30120620/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=273072 CPUtime=12.35 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 18902 0 0 0 1231 4 0 0 25 0 4 0 523999341 279625728 10761 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 68268 10761 390 106 0 63239 0
[pid=29840/tid=29841] ppid=29838 vsize=273072 CPUtime=3.08 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 4910 0 0 0 308 0 0 0 25 0 4 0 523999341 279625728 10761 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=273072 CPUtime=3.08 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 4904 0 0 0 307 1 0 0 25 0 4 0 523999341 279625728 10761 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=273072 CPUtime=3.07 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 4094 0 0 0 307 0 0 0 25 0 4 0 523999341 279625728 10761 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 273072

[startup+6.30099 s]
/proc/loadavg: 8.55 8.17 7.78 9/184 29858
/proc/meminfo: memFree=30079152/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=292100 CPUtime=25.14 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 28332 0 0 0 2508 6 0 0 25 0 4 0 523999341 299110400 14682 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 73025 14682 390 106 0 67996 0
[pid=29840/tid=29841] ppid=29838 vsize=292100 CPUtime=6.29 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 8194 0 0 0 628 1 0 0 25 0 4 0 523999341 299110400 14683 33554432000 4194304 4627427 140737125793904 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=292100 CPUtime=6.28 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 7129 0 0 0 627 1 0 0 25 0 4 0 523999341 299110400 14683 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=292100 CPUtime=6.26 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 5408 0 0 0 625 1 0 0 25 0 4 0 523999341 299110400 14683 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 292100

[startup+12.7008 s]
/proc/loadavg: 8.50 8.17 7.78 9/184 29858
/proc/meminfo: memFree=30018304/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=302188 CPUtime=50.7 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 49553 0 0 0 5060 10 0 0 25 0 4 0 523999341 309440512 26329 33554432000 4194304 4627427 140737125793904 18446744073709551615 4420275 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 75547 26329 390 106 0 70518 0
[pid=29840/tid=29841] ppid=29838 vsize=302188 CPUtime=12.68 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 12645 0 0 0 1267 1 0 0 25 0 4 0 523999341 309440512 26329 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=302188 CPUtime=12.67 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 12429 0 0 0 1265 2 0 0 25 0 4 0 523999341 309440512 26329 33554432000 4194304 4627427 140737125793904 18446744073709551615 4310083 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=302188 CPUtime=12.62 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 9657 0 0 0 1260 2 0 0 25 0 4 0 523999341 309440512 26329 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 302188

[startup+25.5003 s]
/proc/loadavg: 8.43 8.16 7.78 9/184 29858
/proc/meminfo: memFree=29958268/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=302956 CPUtime=101.84 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 69365 0 0 0 10168 16 0 0 25 0 4 0 523999341 310226944 34797 33554432000 4194304 4627427 140737125793904 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 75739 34797 390 106 0 70710 0
[pid=29840/tid=29841] ppid=29838 vsize=302956 CPUtime=25.49 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 17267 0 0 0 2547 2 0 0 25 0 4 0 523999341 310226944 34797 33554432000 4194304 4627427 140737125793904 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=302956 CPUtime=25.47 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 18245 0 0 0 2543 4 0 0 25 0 4 0 523999341 310226944 34797 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=302956 CPUtime=25.37 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 13449 0 0 0 2533 4 0 0 25 0 4 0 523999341 310226944 34797 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 302956

[startup+51.1004 s]
/proc/loadavg: 8.26 8.14 7.79 9/184 29859
/proc/meminfo: memFree=29914512/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=319936 CPUtime=204.11 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 101959 0 0 0 20387 24 0 0 25 0 4 0 523999341 327614464 41734 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 79984 41734 390 106 0 74955 0
[pid=29840/tid=29841] ppid=29838 vsize=319936 CPUtime=51.09 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 24855 0 0 0 5105 4 0 0 25 0 4 0 523999341 327614464 41734 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=319936 CPUtime=51.07 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 25578 0 0 0 5102 5 0 0 25 0 4 0 523999341 327614464 41734 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=319936 CPUtime=50.84 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 19638 0 0 0 5078 6 0 0 25 0 4 0 523999341 327614464 41734 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 319936

[startup+102.301 s]
/proc/loadavg: 8.29 8.18 7.82 9/184 29890
/proc/meminfo: memFree=29853308/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=386936 CPUtime=408.67 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 167789 0 0 0 40826 41 0 0 25 0 4 0 523999341 396222464 52379 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 96734 52379 390 106 0 91705 0
[pid=29840/tid=29841] ppid=29838 vsize=386936 CPUtime=102.29 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 42299 0 0 0 10221 8 0 0 25 0 4 0 523999341 396222464 52379 33554432000 4194304 4627427 140737125793904 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=386936 CPUtime=102.27 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 42950 0 0 0 10218 9 0 0 25 0 4 0 523999341 396222464 52379 33554432000 4194304 4627427 140737125793904 18446744073709551615 4330330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=386936 CPUtime=101.79 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 33613 0 0 0 10170 9 0 0 25 0 4 0 523999341 396222464 52379 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 386936

[startup+162.301 s]

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

[pid=29840] ppid=29838 vsize=725904 CPUtime=2565.88 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 554132 0 0 0 256400 188 0 0 25 0 4 0 523999341 743325696 117420 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 181476 117420 390 106 0 176447 0
[pid=29840/tid=29841] ppid=29838 vsize=725904 CPUtime=642.31 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 144850 0 0 0 64188 43 0 0 25 0 4 0 523999341 743325696 117420 33554432000 4194304 4627427 140737125793904 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=725904 CPUtime=642.23 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 156155 0 0 0 64169 54 0 0 25 0 4 0 523999341 743325696 117420 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=725904 CPUtime=638.98 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 94532 0 0 0 63861 37 0 0 25 0 4 0 523999341 743325696 117420 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.88
Current children cumulated vsize (KiB) 725904

[startup+702.301 s]
/proc/loadavg: 8.20 8.12 7.94 9/184 29906
/proc/meminfo: memFree=29292936/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=741344 CPUtime=2805.55 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 596624 0 0 0 280349 206 0 0 25 0 4 0 523999341 759136256 127654 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 185336 127654 390 106 0 180307 0
[pid=29840/tid=29841] ppid=29838 vsize=741344 CPUtime=702.31 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 158219 0 0 0 70183 48 0 0 25 0 4 0 523999341 759136256 127654 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=741344 CPUtime=702.24 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 168150 0 0 0 70163 61 0 0 25 0 4 0 523999341 759136256 127654 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=741344 CPUtime=698.66 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 102296 0 0 0 69826 40 0 0 25 0 4 0 523999341 759136256 127654 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.55
Current children cumulated vsize (KiB) 741344

[startup+762.3 s]
/proc/loadavg: 8.14 8.12 7.94 9/184 29908
/proc/meminfo: memFree=29245024/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=821692 CPUtime=3045.23 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 622697 0 0 0 304302 221 0 0 25 0 4 0 523999341 841412608 130726 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 205423 130726 390 106 0 200394 0
[pid=29840/tid=29841] ppid=29838 vsize=821692 CPUtime=762.31 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 165999 0 0 0 76179 52 0 0 25 0 4 0 523999341 841412608 130726 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=821692 CPUtime=762.23 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 177252 0 0 0 76156 67 0 0 25 0 4 0 523999341 841412608 130726 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=821692 CPUtime=758.34 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 106176 0 0 0 75791 43 0 0 25 0 4 0 523999341 841412608 130726 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.23
Current children cumulated vsize (KiB) 821692

[startup+822.301 s]
/proc/loadavg: 8.12 8.11 7.95 9/184 29909
/proc/meminfo: memFree=29161792/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=868428 CPUtime=3284.9 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 650764 0 0 0 328256 234 0 0 25 0 4 0 523999341 889270272 146650 33554432000 4194304 4627427 140737125793904 18446744073709551615 4324344 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 217107 146650 390 106 0 212078 0
[pid=29840/tid=29841] ppid=29838 vsize=868428 CPUtime=822.32 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 168390 0 0 0 82178 54 0 0 25 0 4 0 523999341 889270272 146650 33554432000 4194304 4627427 140737125793904 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=868428 CPUtime=822.23 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 185769 0 0 0 82151 72 0 0 25 0 4 0 523999341 889270272 146650 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=868428 CPUtime=818.01 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 112953 0 0 0 81755 46 0 0 25 0 4 0 523999341 889270272 146650 33554432000 4194304 4627427 140737125793904 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.9
Current children cumulated vsize (KiB) 868428

[startup+882.3 s]
/proc/loadavg: 8.09 8.10 7.95 9/184 29911
/proc/meminfo: memFree=29133244/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=800328 CPUtime=3524.59 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 679278 0 0 0 352213 246 0 0 25 0 4 0 523999341 819535872 145461 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308180 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 200082 145461 390 106 0 195053 0
[pid=29840/tid=29841] ppid=29838 vsize=800328 CPUtime=882.31 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 172914 0 0 0 88176 55 0 0 25 0 4 0 523999341 819535872 145461 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=800328 CPUtime=882.22 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 191343 0 0 0 88148 74 0 0 25 0 4 0 523999341 819535872 145461 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=800328 CPUtime=877.7 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 119073 0 0 0 87721 49 0 0 25 0 4 0 523999341 819535872 145461 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.59
Current children cumulated vsize (KiB) 800328

[startup+942.301 s]
/proc/loadavg: 8.07 8.09 7.96 9/184 29913
/proc/meminfo: memFree=29129500/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=851096 CPUtime=3764.27 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 711130 0 0 0 376163 264 0 0 25 0 4 0 523999341 871522304 147387 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 212774 147387 390 106 0 207745 0
[pid=29840/tid=29841] ppid=29838 vsize=851096 CPUtime=942.31 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 180162 0 0 0 94172 59 0 0 25 0 4 0 523999341 871522304 147387 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=851096 CPUtime=942.23 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 200711 0 0 0 94145 78 0 0 25 0 4 0 523999341 871522304 147387 33554432000 4194304 4627427 140737125793904 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=851096 CPUtime=937.37 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 123671 0 0 0 93684 53 0 0 25 0 4 0 523999341 871522304 147387 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.27
Current children cumulated vsize (KiB) 851096

[startup+1002.3 s]
/proc/loadavg: 8.06 8.09 7.96 9/184 29914
/proc/meminfo: memFree=29111988/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=1004572 CPUtime=4003.94 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 742413 0 0 0 400109 285 0 0 25 0 4 0 523999341 1028681728 154362 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309186 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 251143 154362 390 106 0 246114 0
[pid=29840/tid=29841] ppid=29838 vsize=1004572 CPUtime=1002.32 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 190397 0 0 0 100166 66 0 0 25 0 4 0 523999341 1028681728 154362 33554432000 4194304 4627427 140737125793904 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=1004572 CPUtime=1002.22 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 204067 0 0 0 100141 81 0 0 25 0 4 0 523999341 1028681728 154362 33554432000 4194304 4627427 140737125793904 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=1004572 CPUtime=997.05 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 130828 0 0 0 99647 58 0 0 25 0 4 0 523999341 1028681728 154362 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.94
Current children cumulated vsize (KiB) 1004572

[startup+1062.3 s]
/proc/loadavg: 8.06 8.08 7.97 9/184 29916
/proc/meminfo: memFree=29090868/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=804844 CPUtime=4243.63 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 777686 0 0 0 424065 298 0 0 25 0 4 0 523999341 824160256 147391 33554432000 4194304 4627427 140737125793904 18446744073709551615 4321729 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 201211 147391 390 106 0 196182 0
[pid=29840/tid=29841] ppid=29838 vsize=804844 CPUtime=1062.32 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 200562 0 0 0 106161 71 0 0 25 0 4 0 523999341 824160256 147391 33554432000 4194304 4627427 140737125793904 18446744073709551615 4310028 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=804844 CPUtime=1062.21 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 213754 0 0 0 106137 84 0 0 25 0 4 0 523999341 824160256 147391 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=804844 CPUtime=1056.73 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 133780 0 0 0 105614 59 0 0 25 0 4 0 523999341 824160256 147391 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.63
Current children cumulated vsize (KiB) 804844

[startup+1122.3 s]
/proc/loadavg: 8.05 8.08 7.97 9/184 29917
/proc/meminfo: memFree=29078936/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=815056 CPUtime=4483.34 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 809941 0 0 0 448023 311 0 0 25 0 4 0 523999341 834617344 159326 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 203764 159326 390 106 0 198735 0
[pid=29840/tid=29841] ppid=29838 vsize=815056 CPUtime=1122.33 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 206883 0 0 0 112161 72 0 0 25 0 4 0 523999341 834617344 159326 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=815056 CPUtime=1122.21 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 223780 0 0 0 112134 87 0 0 25 0 4 0 523999341 834617344 159326 33554432000 4194304 4627427 140737125793904 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=815056 CPUtime=1116.43 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 138779 0 0 0 111581 62 0 0 25 0 4 0 523999341 834617344 159326 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.34
Current children cumulated vsize (KiB) 815056

[startup+1182.3 s]
/proc/loadavg: 8.14 8.09 7.98 9/184 29919
/proc/meminfo: memFree=29027932/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=978832 CPUtime=4723.01 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 845437 0 0 0 471976 325 0 0 25 0 4 0 523999341 1002323968 166210 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 244708 166210 390 106 0 239679 0
[pid=29840/tid=29841] ppid=29838 vsize=978832 CPUtime=1182.33 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 216017 0 0 0 118158 75 0 0 25 0 4 0 523999341 1002323968 166210 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=978832 CPUtime=1182.2 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 232619 0 0 0 118129 91 0 0 25 0 4 0 523999341 1002323968 166210 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=978832 CPUtime=1176.11 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 144504 0 0 0 117547 64 0 0 25 0 4 0 523999341 1002323968 166210 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4723.01
Current children cumulated vsize (KiB) 978832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.61 s]
/proc/loadavg: 8.10 8.09 7.98 9/184 29920
/proc/meminfo: memFree=29006708/32950928 swapFree=67086612/67111528
[pid=29840] ppid=29838 vsize=933700 CPUtime=4800.15 cores=1,3,5,7
/proc/29840/stat : 29840 (strangenight2-m) R 29838 29840 29718 0 -1 4202496 852770 0 0 0 479686 329 0 0 25 0 4 0 523999341 956108800 167019 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29840/statm: 233425 167019 390 106 0 228396 0
[pid=29840/tid=29841] ppid=29838 vsize=933700 CPUtime=1201.64 cores=1,3,5,7
/proc/29840/task/29841/stat : 29841 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 217563 0 0 0 120088 76 0 0 25 0 4 0 523999341 956108800 167019 33554432000 4194304 4627427 140737125793904 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29840/tid=29842] ppid=29838 vsize=933700 CPUtime=1201.51 cores=1,3,5,7
/proc/29840/task/29842/stat : 29842 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 233696 0 0 0 120060 91 0 0 25 0 4 0 523999341 956108800 167019 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29840/tid=29843] ppid=29838 vsize=933700 CPUtime=1195.31 cores=1,3,5,7
/proc/29840/task/29843/stat : 29843 (strangenight2-m) R 29838 29840 29718 0 -1 4202560 144831 0 0 0 119467 64 0 0 25 0 4 0 523999341 956108800 167019 33554432000 4194304 4627427 140737125793904 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 933700

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.65
CPU time (s): 4800.2
CPU user time (s): 4796.88
CPU system time (s): 3.3205
CPU usage (%): 399.469
Max. virtual memory (cumulated for all children) (KiB): 1056560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.88
system time used= 3.3205
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 852771
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= 797
involuntary context switches= 19409

runsolver used 1.73873 second user time and 4.6043 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-30 02:40:23
IDJOB=3290070
IDBENCH=83418
IDSOLVER=1586
FILE ID=node148/3290070-1304124023
RUNJOBID= node148-1304122819-29737
PBS_JOBID= 13170748
Free space on /tmp= 71428 MiB

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

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

MD5SUM BENCH= 1024a3346322fdba0a20b51f99eae4c0
RANDOM SEED=1791167261

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:      30191152 kB
Buffers:        717024 kB
Cached:        1635588 kB
SwapCached:       3696 kB
Active:         123596 kB
Inactive:      2271320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30191152 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:            5480 kB
Writeback:           0 kB
AnonPages:       40960 kB
Mapped:          13676 kB
Slab:           300052 kB
PageTables:       4292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187144 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:00:26