Trace number 3266335

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.43 1201.73

General information on the benchmark

NameSAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
MD5SUM34f8b747bfe8e7b589b8832e56ae8363
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.022996
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of clauses1892
Sum of the clauses size9308
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33
Number of clauses of size 4146
Number of clauses of size 51743
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-3266335-1304130191.cnf'
0.00/0.00	c -- header says num vars:            110
0.00/0.00	c -- header says num clauses:        1892
0.00/0.00	c -- clauses added:            0 learnts,         1892 normals,            0 xors
0.00/0.00	c -- vars added        110
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       110      1892         0         0      9308         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
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:    110 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      52 undec:      10 neg:      48
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       110      1892         0         0      9308         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4912       110      1892         0      4659      9308    111436   no data   no data
1.17/0.31	c  N st    10     11296       110      1892         0      4317      9308     80577   no data   no data
1.97/0.51	c  N st    11     17040       110      1892         0      9703      9308    212590   no data   no data
3.18/0.84	c  F st    12     25003       110      1892         0     11882      9308    261389   no data   no data
3.18/0.84	c  N st    12     25003       110      1892         0     11882      9308    261389   no data   no data
3.97/1.07	c Decided on static restart strategy
3.97/1.07	c  N st    18     30000       110      1892         0     10157      9308    207002   no data   no data
3.97/1.07	c  S st    18     30000       110      1892         0     10157      9308    207002   no data   no data
3.97/1.10	c  S st    18     30504       110      1892         0     10642      9308    218448   no data   no data
3.97/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.10	c blocked clauses removed:        0 vars:      0 tried:         110 T: 0.00 s
4.39/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
4.39/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.28	c lits-rem:       311  cl-subs:     1513  v-elim:      0  v-fix:    0  time:  0.16 s
5.17/1.30	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.03
5.17/1.30	c calculated reachability. Time: 0.00
5.17/1.30	c  N st    18     30504       110      1892         0      9129      9308    179453   no data   no data
6.37/1.65	c  N st    20     37617       110      1892         0      8449      9308    148934   no data   no data
7.57/1.97	c  N st    21     44016       110      1892         0     14407      9308    292203   no data   no data
7.97/2.08	c  S st    22     45756       110      1892         0     16033      9308    330416   no data   no data
8.37/2.13	c  S st    22     46261       110      1892         0     16527      9308    342105   no data   no data
8.37/2.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.37/2.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.37/2.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.37/2.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.37/2.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.37/2.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
8.37/2.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.37/2.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.53	c lits-rem:       385  cl-subs:     1756  v-elim:      0  v-fix:    0  time:  0.39 s
9.97/2.53	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
9.97/2.53	c vivif2 --  cl tried    14771 cl shrink        0 lits rem          0 time: 0.00
9.97/2.58	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.04
9.97/2.58	c calculated reachability. Time: 0.00
9.97/2.58	c  N st    22     46261       110      1892         0     14771      9308    297859   no data   no data
13.18/3.37	c  N st    23     60658       110      1892         0     10679      9308    175695   no data   no data
15.16/3.84	c  N st    24     69391       110      1892         0     18912      9308    372047   no data   no data
15.16/3.84	c  S st    24     69391       110      1892         0     18912      9308    372047   no data   no data
15.16/3.88	c  S st    24     69896       110      1892         0     19398      9308    383149   no data   no data
15.16/3.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.16/3.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.16/3.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
15.16/3.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.56/3.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.37	c lits-rem:       430  cl-subs:     1846  v-elim:      0  v-fix:    0  time:  0.47 s
17.16/4.37	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
17.16/4.38	c vivif2 --  cl tried    17552 cl shrink        0 lits rem          0 time: 0.00
17.57/4.43	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.05
17.57/4.43	c calculated reachability. Time: 0.00
17.57/4.43	c  N st    24     69896       110      1892         0     17552      9308    339834   no data   no data
21.97/5.51	c  F st    25     87501       110      1892         0     12505      9308    200862   no data   no data
21.97/5.51	c  N st    25     87501       110      1892         0     12505      9308    200862   no data   no data
23.15/5.80	c Decided on static restart strategy
23.55/5.99	c  N st    32     95540       110      1892         0     20116      9308    387173   no data   no data
26.36/6.68	c  N st    34    104845       110      1892         0     16655      9308    287566   no data   no data
26.36/6.68	c  S st    34    104845       110      1892         0     16655      9308    287566   no data   no data
26.76/6.72	c  S st    34    105346       110      1892         0     17141      9308    299050   no data   no data
26.76/6.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.76/6.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.76/6.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.76/6.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.76/6.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
26.76/6.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.76/6.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.76/6.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.97	c lits-rem:       270  cl-subs:     1466  v-elim:      0  v-fix:    0  time:  0.23 s
27.54/6.97	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
27.54/6.97	c vivif2 --  cl tried    15675 cl shrink        0 lits rem          0 time: 0.00
27.94/7.02	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.05
27.94/7.02	c calculated reachability. Time: 0.00
27.94/7.02	c  N st    34    105346       110      1892         0     15675      9308    264643   no data   no data
30.34/7.69	c  N st    35    114944       110      1892         0     24730      9308    491339   no data   no data
34.73/8.70	c  N st    36    129341       110      1892         0     25109      9308    476039   no data   no data
40.72/10.27	c  N st    37    150936       110      1892         0     16321      9308    237125   no data   no data
42.72/10.75	c  S st    38    158019       110      1892         0     22939      9308    395635   no data   no data
43.12/10.81	c  S st    38    158520       110      1892         0     23432      9308    407042   no data   no data
43.12/10.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.12/10.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.12/10.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.12/10.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.12/10.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.12/10.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
43.12/10.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.12/10.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
43.12/10.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.12/11.33	c lits-rem:       741  cl-subs:     1815  v-elim:      0  v-fix:    0  time:  0.49 s
45.12/11.33	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
45.12/11.33	c vivif2 --  cl tried    21617 cl shrink        0 lits rem          0 time: 0.00
45.52/11.40	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.06
45.52/11.40	c calculated reachability. Time: 0.00
45.52/11.40	c  N st    38    158520       110      1892         0     21617      9308    362716   no data   no data
61.51/15.45	c  N st    39    207109       110      1892         0     34335      9308    641329   no data   no data
72.68/18.20	c  N st    40    237780       110      1892         0     26642      9308    444490   no data   no data
72.68/18.20	c  S st    40    237780       110      1892         0     26642      9308    444490   no data   no data
72.68/18.26	c  S st    40    238281       110      1892         0     27131      9308    455988   no data   no data
72.68/18.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
72.68/18.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
72.68/18.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
72.68/18.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
72.68/18.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
72.68/18.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
72.68/18.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.68/18.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
72.68/18.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.09/18.84	c lits-rem:       507  cl-subs:     1878  v-elim:      0  v-fix:    0  time:  0.55 s
75.09/18.84	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
75.09/18.85	c vivif2 --  cl tried    25253 cl shrink        0 lits rem          0 time: 0.00
75.47/18.92	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.07
75.47/18.92	c calculated reachability. Time: 0.00
75.47/18.92	c  N st    40    238281       110      1892         0     25253      9308    412709   no data   no data
101.06/25.34	c  F st    41    306252       110      1892         0     26974      9308    401154   no data   no data
101.06/25.34	c  N st    41    306252       110      1892         0     26974      9308    401154   no data   no data
103.04/25.85	c Decided on static restart strategy
113.42/28.47	c  N st    51    334554       110      1892         0     31088      9308    504522   no data   no data
123.43/30.97	c  N st    53    357421       110      1892         0     29135      9308    430128   no data   no data
123.43/30.97	c  S st    53    357421       110      1892         0     29135      9308    430128   no data   no data
123.81/31.04	c  S st    53    357924       110      1892         0     29617      9308    441289   no data   no data
123.81/31.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.81/31.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
123.81/31.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
123.81/31.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
123.81/31.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.81/31.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
123.81/31.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.81/31.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
123.81/31.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.41/31.45	c lits-rem:       367  cl-subs:     1280  v-elim:      0  v-fix:    0  time:  0.38 s
125.41/31.45	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
125.41/31.45	c vivif2 --  cl tried    28337 cl shrink        0 lits rem          0 time: 0.00
125.81/31.54	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.09
125.81/31.54	c calculated reachability. Time: 0.00
125.81/31.54	c  N st    53    357924       110      1892         0     28337      9308    412000   no data   no data
139.79/35.08	c  N st    54    390318       110      1892         0     34359      9308    537152   no data   no data
164.56/41.21	c  N st    55    438906       110      1892         0     28342      9308    373296   no data   no data
198.50/49.75	c  N st    56    511790       110      1892         0     41256      9308    660575   no data   no data
211.31/52.93	c  N st    57    536886       110      1892         0     35754      9308    511827   no data   no data
211.31/52.93	c  S st    57    536886       110      1892         0     35754      9308    511827   no data   no data
211.69/53.02	c  S st    57    537390       110      1892         0     36239      9308    523501   no data   no data
211.69/53.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
211.69/53.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
211.69/53.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
211.69/53.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
211.69/53.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.69/53.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
211.69/53.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
211.69/53.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
211.69/53.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.09/53.62	c lits-rem:       443  cl-subs:     1506  v-elim:      0  v-fix:    0  time:  0.57 s
214.09/53.62	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
214.09/53.63	c vivif2 --  cl tried    34733 cl shrink        0 lits rem          0 time: 0.01
214.49/53.74	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.12
214.49/53.74	c calculated reachability. Time: 0.00
214.49/53.74	c  N st    57    537390       110      1892         0     34733      9308    489075   no data   no data
302.77/75.88	c  N st    58    701376       110      1892         0     62121      9308   1054261   no data   no data
365.10/91.48	c  N st    59    806087       110      1892         0     56750      9308    951784   no data   no data
365.10/91.48	c  S st    59    806087       110      1892         0     56750      9308    951784   no data   no data
365.88/91.65	c  S st    59    806589       110      1892         0     57236      9308    963333   no data   no data
365.88/91.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
365.88/91.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
365.88/91.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
365.88/91.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
365.88/91.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
365.88/91.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
365.88/91.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
365.88/91.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
366.28/91.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
381.47/95.50	c lits-rem:      1355  cl-subs:     4745  v-elim:      0  v-fix:    0  time:  3.79 s
381.47/95.51	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
381.47/95.52	c vivif2 --  cl tried    52491 cl shrink        0 lits rem          0 time: 0.01
382.28/95.74	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.23
382.28/95.75	c calculated reachability. Time: 0.00
382.28/95.75	c  N st    59    806589       110      1892         0     52491      9308    853315   no data   no data
560.43/140.34	c  F st    60   1071875       110      1892         0     67536      9308   1099147   no data   no data
560.43/140.34	c  N st    60   1071875       110      1892         0     67536      9308   1099147   no data   no data
565.22/141.54	c Decided on static restart strategy
585.20/146.51	c  N st    70   1100179       110      1892         0     52414      9308    739716   no data   no data
615.95/154.29	c  N st    72   1136172       110      1892         0     43157      9308    498399   no data   no data
639.93/160.21	c  N st    73   1168564       110      1892         0     73399      9308   1236196   no data   no data
676.27/169.35	c  N st    74   1209883       110      1892         0     67967      9308   1061065   no data   no data
676.27/169.35	c  S st    74   1209883       110      1892         0     67967      9308   1061065   no data   no data
677.47/169.64	c  S st    74   1210388       110      1892         0     68455      9308   1072956   no data   no data
677.47/169.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
677.47/169.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
677.47/169.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
677.47/169.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
677.47/169.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
677.47/169.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
677.47/169.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
677.87/169.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
677.87/169.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
714.62/178.99	c lits-rem:      1202  cl-subs:     6583  v-elim:      0  v-fix:    0  time:  9.24 s
714.62/178.99	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
715.02/179.00	c vivif2 --  cl tried    61872 cl shrink        0 lits rem          0 time: 0.01
716.24/179.40	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.39
716.24/179.40	c calculated reachability. Time: 0.00
716.24/179.40	c  N st    74   1210388       110      1892         0     61872      9308    927548   no data   no data
790.52/197.91	c  N st    75   1283271       110      1892         0     85354      9308   1505995   no data   no data
897.17/224.62	c  N st    76   1392594       110      1892         0     47554      9308    536299   no data   no data
1048.18/262.43	c  N st    77   1556579       110      1892         0     52252      9308    611701   no data   no data
1190.80/298.11	c  N st    78   1710390       110      1892         0     91950      9308   1543375   no data   no data
1190.80/298.11	c  S st    78   1710390       110      1892         0     91950      9308   1543375   no data   no data
1191.98/298.42	c  S st    78   1710891       110      1892         0     92437      9308   1555132   no data   no data
1191.98/298.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1191.98/298.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1191.98/298.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1191.98/298.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1191.98/298.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1191.98/298.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
1191.98/298.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1191.98/298.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1192.38/298.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1298.24/325.10	c lits-rem:      2637  cl-subs:    10382  v-elim:      0  v-fix:    0  time: 26.56 s
1298.24/325.10	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
1298.64/325.12	c vivif2 --  cl tried    82055 cl shrink        0 lits rem          0 time: 0.02
1301.06/325.71	c asymm  cl-useful: 0/1494/1892 lits-rem:0 time: 0.59
1301.06/325.72	c calculated reachability. Time: 0.00
1301.06/325.72	c  N st    78   1710891       110      1892         0     82055      9308   1324492   no data   no data
1700.11/425.69	c  N st    79   2079858       110      1892         0     93789      9308   1531940   no data   no data
1829.13/457.95	c  N st    80   2210891       110      1892         0     97737      9308   1585944   no data   no data
1829.13/457.95	c  S st    80   2210891       110      1892         0     97737      9308   1585944   no data   no data
1830.32/458.28	c  S st    80   2211391       110      1892         0     98217      9308   1597670   no data   no data
1830.32/458.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1830.72/458.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1830.72/458.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1830.72/458.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1830.72/458.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1830.72/458.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
1830.72/458.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1830.72/458.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1831.12/458.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1889.47/473.00	c lits-rem:      2476  cl-subs:     9409  v-elim:      0  v-fix:    0  time: 14.59 s
1889.47/473.00	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
1889.47/473.03	c vivif2 --  cl tried    88808 cl shrink        0 lits rem          0 time: 0.02
1891.45/473.50	c asymm  cl-useful: 0/1382/1892 lits-rem:0 time: 0.48
1891.45/473.51	c calculated reachability. Time: 0.00
1891.45/473.51	c  N st    80   2211391       110      1892         0     88808      9308   1388390   no data   no data
2495.44/624.79	c  N st    81   2711395       110      1892         0    111225      9308   1772916   no data   no data
2495.44/624.79	c  S st    81   2711395       110      1892         0    111225      9308   1772916   no data   no data
2497.04/625.17	c  S st    81   2711897       110      1892         0    111707      9308   1784570   no data   no data
2497.04/625.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2497.44/625.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2497.44/625.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2497.44/625.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2497.44/625.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2497.44/625.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
2497.44/625.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2497.44/625.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2497.84/625.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2577.33/645.26	c lits-rem:      2394  cl-subs:    13681  v-elim:      0  v-fix:    0  time: 19.95 s
2577.33/645.26	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
2577.33/645.29	c vivif2 --  cl tried    98026 cl shrink        0 lits rem          0 time: 0.03
2578.13/645.45	c asymm  cl-useful: 0/510/1892 lits-rem:0 time: 0.15
2578.13/645.45	c calculated reachability. Time: 0.00
2578.13/645.45	c  N st    81   2711897       110      1892         0     98026      9308   1510360   no data   no data
3252.42/814.21	c  N st    82   3211897       110      1892         0     76020      9308    875990   no data   no data
3252.42/814.21	c  S st    82   3211897       110      1892         0     76020      9308    875990   no data   no data
3253.22/814.44	c  S st    82   3212401       110      1892         0     76505      9308    887659   no data   no data
3253.22/814.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3253.22/814.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3253.22/814.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3253.22/814.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3253.22/814.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3253.22/814.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
3253.22/814.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3253.62/814.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3253.62/814.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3256.81/815.36	c lits-rem:       127  cl-subs:      849  v-elim:      0  v-fix:    0  time:  0.83 s
3256.81/815.36	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
3256.81/815.38	c vivif2 --  cl tried    75656 cl shrink        0 lits rem          0 time: 0.01
3258.02/815.69	c asymm  cl-useful: 0/1581/1892 lits-rem:0 time: 0.31
3258.02/815.69	c calculated reachability. Time: 0.00
3258.02/815.69	c  N st    82   3212401       110      1892         0     75656      9308    869070   no data   no data
3916.34/980.44	c  N st    83   3712402       110      1892         0     85698      9308   1029340   no data   no data
3916.34/980.44	c  S st    83   3712402       110      1892         0     85698      9308   1029340   no data   no data
3917.54/980.71	c  S st    83   3712904       110      1892         0     86184      9308   1041631   no data   no data
3917.54/980.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3917.54/980.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3917.54/980.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3917.54/980.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3917.54/980.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3917.54/980.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
3917.54/980.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3917.54/980.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3917.94/980.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3923.53/982.29	c lits-rem:       346  cl-subs:     2160  v-elim:      0  v-fix:    0  time:  1.49 s
3923.53/982.29	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
3923.95/982.31	c vivif2 --  cl tried    84024 cl shrink        0 lits rem          0 time: 0.02
3925.13/982.63	c asymm  cl-useful: 0/1468/1892 lits-rem:0 time: 0.32
3925.13/982.63	c calculated reachability. Time: 0.00
3925.13/982.63	c  N st    83   3712904       110      1892         0     84024      9308    996431   no data   no data
3971.87/994.39	c  F st    84   3751563       110      1892         0    120076      9308   1890707   no data   no data
3971.87/994.39	c  N st    84   3751563       110      1892         0    120076      9308   1890707   no data   no data
3980.66/996.57	c Decided on static restart strategy
4029.41/1008.73	c  N st    94   3779871       110      1892         0    146669      9308   2542317   no data   no data
4093.71/1024.82	c  N st    96   3815863       110      1892         0    101442      9308   1425875   no data   no data
4146.03/1037.95	c  N st    97   3848255       110      1892         0    131697      9308   2171836   no data   no data
4237.91/1060.95	c  N st    98   3896844       110      1892         0     96853      9308   1263851   no data   no data
4354.57/1090.17	c  N st    99   3969727       110      1892         0     83685      9308    936731   no data   no data
4519.93/1131.50	c  N st   100   4079053       110      1892         0    103511      9308   1408216   no data   no data
4732.47/1184.76	c  N st   101   4212906       110      1892         0    145060      9308   2393250   no data   no data
4732.47/1184.76	c  S st   101   4212906       110      1892         0    145060      9308   2393250   no data   no data
4734.45/1185.24	c  S st   101   4213408       110      1892         0    145547      9308   2405158   no data   no data
4734.45/1185.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4734.85/1185.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4734.85/1185.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4734.85/1185.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4734.85/1185.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4734.85/1185.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
4734.85/1185.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4734.85/1185.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4735.25/1185.44	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-3266335-1304130191/watcher-3266335-1304130191 -o /tmp/evaluation-result-3266335-1304130191/solver-3266335-1304130191 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3266335-1304130191.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.01 8.11 8.24 5/180 23517
/proc/meminfo: memFree=23188756/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=116748 CPUtime=0 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 438 0 0 0 0 0 0 0 25 0 4 0 524618728 119549952 370 33554432000 4194304 4627427 140734935330816 18446744073709551615 208080337439 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 29187 385 326 106 0 24158 0
[pid=23517/tid=23518] ppid=23515 vsize=182300 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 13 0 0 0 0 0 0 0 25 0 4 0 524618728 186675200 407 33554432000 4194304 4627427 140734935330816 18446744073709551615 208080232251 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=183256 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 18 0 0 0 0 0 0 0 25 0 4 0 524618728 187654144 437 33554432000 4194304 4627427 140734935330816 18446744073709551615 4534112 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=183256 CPUtime=0 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 36 0 0 0 0 0 0 0 25 0 4 0 524618728 187654144 451 33554432000 4194304 4627427 140734935330816 18446744073709551615 4229088 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.106927 s]
/proc/loadavg: 8.01 8.11 8.24 5/180 23517
/proc/meminfo: memFree=23188756/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=282388 CPUtime=0.4 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 1752 0 0 0 40 0 0 0 25 0 4 0 524618728 289165312 1644 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 70597 1644 383 106 0 65568 0
[pid=23517/tid=23518] ppid=23515 vsize=282388 CPUtime=0.1 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 364 0 0 0 10 0 0 0 25 0 4 0 524618728 289165312 1644 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=282388 CPUtime=0.09 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 343 0 0 0 9 0 0 0 25 0 4 0 524618728 289165312 1644 33554432000 4194304 4627427 140734935330816 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=282388 CPUtime=0.09 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 273 0 0 0 9 0 0 0 25 0 4 0 524618728 289165312 1644 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282388

[startup+0.200909 s]
/proc/loadavg: 8.01 8.11 8.24 5/180 23517
/proc/meminfo: memFree=23188756/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=283844 CPUtime=0.78 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 2481 0 0 0 78 0 0 0 25 0 4 0 524618728 290656256 1819 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309228 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 70961 1819 384 106 0 65932 0
[pid=23517/tid=23518] ppid=23515 vsize=283844 CPUtime=0.19 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 548 0 0 0 19 0 0 0 25 0 4 0 524618728 290656256 1819 33554432000 4194304 4627427 140734935330816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=283844 CPUtime=0.19 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 518 0 0 0 19 0 0 0 25 0 4 0 524618728 290656256 1819 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=283844 CPUtime=0.19 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 467 0 0 0 19 0 0 0 25 0 4 0 524618728 290656256 1819 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283844

[startup+0.300891 s]
/proc/loadavg: 8.01 8.11 8.24 5/180 23517
/proc/meminfo: memFree=23188756/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=283996 CPUtime=1.17 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 2991 0 0 0 117 0 0 0 25 0 4 0 524618728 290811904 2115 33554432000 4194304 4627427 140734935330816 18446744073709551615 4340541 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 70999 2115 384 106 0 65970 0
[pid=23517/tid=23518] ppid=23515 vsize=283996 CPUtime=0.29 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 747 0 0 0 29 0 0 0 25 0 4 0 524618728 290811904 2115 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=283996 CPUtime=0.29 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 624 0 0 0 29 0 0 0 25 0 4 0 524618728 290811904 2115 33554432000 4194304 4627427 140734935330816 18446744073709551615 4350059 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=283996 CPUtime=0.29 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 567 0 0 0 29 0 0 0 25 0 4 0 524618728 290811904 2115 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283996

[startup+0.700814 s]
/proc/loadavg: 8.01 8.11 8.24 5/180 23517
/proc/meminfo: memFree=23188756/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=285404 CPUtime=2.78 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 5140 0 0 0 277 1 0 0 25 0 4 0 524618728 292253696 2532 33554432000 4194304 4627427 140734935330816 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 71351 2532 384 106 0 66322 0
[pid=23517/tid=23518] ppid=23515 vsize=285404 CPUtime=0.69 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 1194 0 0 0 69 0 0 0 25 0 4 0 524618728 292253696 2532 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=285404 CPUtime=0.69 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 1178 0 0 0 69 0 0 0 25 0 4 0 524618728 292253696 2532 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=285404 CPUtime=0.69 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 1137 0 0 0 69 0 0 0 25 0 4 0 524618728 292253696 2532 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285404

[startup+1.50067 s]
/proc/loadavg: 8.01 8.11 8.24 9/184 23521
/proc/meminfo: memFree=23219948/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=291164 CPUtime=5.97 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 10669 0 0 0 595 2 0 0 25 0 4 0 524618728 298151936 5478 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 72791 5478 388 106 0 67762 0
[pid=23517/tid=23518] ppid=23515 vsize=291164 CPUtime=1.49 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 3062 0 0 0 149 0 0 0 25 0 4 0 524618728 298151936 5478 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=291164 CPUtime=1.48 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 2031 0 0 0 148 0 0 0 25 0 4 0 524618728 298151936 5478 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=291164 CPUtime=1.48 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 1993 0 0 0 148 0 0 0 25 0 4 0 524618728 298151936 5478 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291164

[startup+3.10036 s]
/proc/loadavg: 8.00 8.10 8.24 9/184 23521
/proc/meminfo: memFree=23159932/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=282608 CPUtime=12.36 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 19501 0 0 0 1232 4 0 0 25 0 4 0 524618728 289390592 10235 33554432000 4194304 4627427 140734935330816 18446744073709551615 4322044 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 70652 10235 388 106 0 65623 0
[pid=23517/tid=23518] ppid=23515 vsize=282608 CPUtime=3.09 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 4151 0 0 0 308 1 0 0 25 0 4 0 524618728 289390592 10235 33554432000 4194304 4627427 140734935330816 18446744073709551615 4310102 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=282608 CPUtime=3.07 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 4983 0 0 0 306 1 0 0 25 0 4 0 524618728 289390592 10235 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=282608 CPUtime=3.09 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 4837 0 0 0 308 1 0 0 25 0 4 0 524618728 289390592 10235 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 282608

[startup+6.30075 s]
/proc/loadavg: 8.00 8.10 8.24 9/184 23521
/proc/meminfo: memFree=23133736/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=289592 CPUtime=25.15 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 29490 0 0 0 2509 6 0 0 25 0 4 0 524618728 296542208 14585 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 72398 14585 388 106 0 67369 0
[pid=23517/tid=23518] ppid=23515 vsize=289592 CPUtime=6.29 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 7277 0 0 0 628 1 0 0 25 0 4 0 524618728 296542208 14585 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=289592 CPUtime=6.25 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 7789 0 0 0 624 1 0 0 25 0 4 0 524618728 296542208 14585 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=289592 CPUtime=6.29 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 6667 0 0 0 628 1 0 0 25 0 4 0 524618728 296542208 14585 33554432000 4194304 4627427 140734935330816 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 289592

[startup+12.7005 s]
/proc/loadavg: 8.00 8.10 8.24 9/184 23521
/proc/meminfo: memFree=22996240/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=303220 CPUtime=50.71 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 45296 0 0 0 5062 9 0 0 25 0 4 0 524618728 310497280 17040 33554432000 4194304 4627427 140734935330816 18446744073709551615 4310577 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 75805 17040 388 106 0 70776 0
[pid=23517/tid=23518] ppid=23515 vsize=303220 CPUtime=12.69 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 10967 0 0 0 1267 2 0 0 25 0 4 0 524618728 310497280 17040 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=303220 CPUtime=12.62 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 11429 0 0 0 1260 2 0 0 25 0 4 0 524618728 310497280 17040 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=303220 CPUtime=12.69 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 11398 0 0 0 1267 2 0 0 25 0 4 0 524618728 310497280 17040 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 303220

[startup+25.5011 s]
/proc/loadavg: 8.00 8.10 8.23 9/184 23522
/proc/meminfo: memFree=22933860/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=330728 CPUtime=101.84 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 69750 0 0 0 10170 14 0 0 25 0 4 0 524618728 338665472 25219 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 82682 25219 388 106 0 77653 0
[pid=23517/tid=23518] ppid=23515 vsize=330728 CPUtime=25.48 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 16994 0 0 0 2546 2 0 0 25 0 4 0 524618728 338665472 25219 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=330728 CPUtime=25.35 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 17972 0 0 0 2531 4 0 0 25 0 4 0 524618728 338665472 25219 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=330728 CPUtime=25.48 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 17153 0 0 0 2545 3 0 0 25 0 4 0 524618728 338665472 25219 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 330728

[startup+51.1012 s]
/proc/loadavg: 8.00 8.09 8.23 9/184 23522
/proc/meminfo: memFree=22701668/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=321544 CPUtime=204.1 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 104003 0 0 0 20387 23 0 0 25 0 4 0 524618728 329261056 27605 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 80386 27605 388 106 0 75357 0
[pid=23517/tid=23518] ppid=23515 vsize=321544 CPUtime=51.09 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 24938 0 0 0 5105 4 0 0 25 0 4 0 524618728 329261056 27605 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=321544 CPUtime=50.81 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 27320 0 0 0 5075 6 0 0 25 0 4 0 524618728 329261056 27605 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=321544 CPUtime=51.08 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 26048 0 0 0 5102 6 0 0 25 0 4 0 524618728 329261056 27605 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 321544

[startup+102.3 s]
/proc/loadavg: 8.03 8.08 8.21 9/184 23524
/proc/meminfo: memFree=22575756/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=340384 CPUtime=408.64 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 161421 0 0 0 40823 41 0 0 25 0 4 0 524618728 348553216 37366 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 85096 37366 388 106 0 80067 0
[pid=23517/tid=23518] ppid=23515 vsize=340384 CPUtime=102.3 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 36619 0 0 0 10222 8 0 0 25 0 4 0 524618728 348553216 37366 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=340384 CPUtime=101.74 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 40828 0 0 0 10163 11 0 0 25 0 4 0 524618728 348553216 37366 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=340384 CPUtime=102.29 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 41889 0 0 0 10219 10 0 0 25 0 4 0 524618728 348553216 37366 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 340384

[startup+162.301 s]

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

[pid=23517] ppid=23515 vsize=592564 CPUtime=2565.74 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 473246 0 0 0 256406 168 0 0 25 0 4 0 524618728 606785536 86595 33554432000 4194304 4627427 140734935330816 18446744073709551615 4420130 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 148141 86595 388 106 0 143112 0
[pid=23517/tid=23518] ppid=23515 vsize=592564 CPUtime=642.29 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 94128 0 0 0 64193 36 0 0 25 0 4 0 524618728 606785536 86595 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=592564 CPUtime=638.81 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 127112 0 0 0 63837 44 0 0 25 0 4 0 524618728 606785536 86595 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=592564 CPUtime=642.31 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 126566 0 0 0 64188 43 0 0 25 0 4 0 524618728 606785536 86595 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.74
Current children cumulated vsize (KiB) 592564

[startup+702.301 s]
/proc/loadavg: 8.02 8.06 8.12 9/184 23630
/proc/meminfo: memFree=27055476/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=570040 CPUtime=2805.42 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 494288 0 0 0 280363 179 0 0 25 0 4 0 524618728 583720960 94631 33554432000 4194304 4627427 140734935330816 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 142510 94631 388 106 0 137481 0
[pid=23517/tid=23518] ppid=23515 vsize=570040 CPUtime=702.29 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 96653 0 0 0 70192 37 0 0 25 0 4 0 524618728 583720960 94631 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=570040 CPUtime=698.48 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 133526 0 0 0 69800 48 0 0 25 0 4 0 524618728 583720960 94631 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=570040 CPUtime=702.31 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 132949 0 0 0 70187 44 0 0 25 0 4 0 524618728 583720960 94631 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 570040

[startup+762.301 s]
/proc/loadavg: 8.09 8.06 8.12 9/184 23631
/proc/meminfo: memFree=26987484/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=672560 CPUtime=3045.12 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 522633 0 0 0 304320 192 0 0 25 0 4 0 524618728 688701440 105565 33554432000 4194304 4627427 140734935330816 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 168140 105565 388 106 0 163111 0
[pid=23517/tid=23518] ppid=23515 vsize=672560 CPUtime=762.3 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 104352 0 0 0 76189 41 0 0 25 0 4 0 524618728 688701440 105565 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=672560 CPUtime=758.16 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 140582 0 0 0 75765 51 0 0 25 0 4 0 524618728 688701440 105565 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=672560 CPUtime=762.31 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 139644 0 0 0 76184 47 0 0 25 0 4 0 524618728 688701440 105565 33554432000 4194304 4627427 140734935330816 18446744073709551615 4310555 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 672560

[startup+822.3 s]
/proc/loadavg: 8.11 8.07 8.11 9/184 23633
/proc/meminfo: memFree=26957448/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=620220 CPUtime=3284.78 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 546735 0 0 0 328274 204 0 0 25 0 4 0 524618728 635105280 103667 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 155055 103667 388 106 0 150026 0
[pid=23517/tid=23518] ppid=23515 vsize=620220 CPUtime=822.3 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 108307 0 0 0 82187 43 0 0 25 0 4 0 524618728 635105280 103667 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=620220 CPUtime=817.83 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 148170 0 0 0 81728 55 0 0 25 0 4 0 524618728 635105280 103667 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=620220 CPUtime=822.31 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 144600 0 0 0 82181 50 0 0 25 0 4 0 524618728 635105280 103667 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 620220

[startup+882.307 s]
/proc/loadavg: 8.10 8.07 8.10 9/184 23634
/proc/meminfo: memFree=26989892/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=597688 CPUtime=3524.49 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 570342 0 0 0 352234 215 0 0 25 0 4 0 524618728 612032512 100038 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 149422 100038 388 106 0 144393 0
[pid=23517/tid=23518] ppid=23515 vsize=597688 CPUtime=882.3 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 113233 0 0 0 88185 45 0 0 25 0 4 0 524618728 612032512 100038 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=597688 CPUtime=877.51 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 155884 0 0 0 87694 57 0 0 25 0 4 0 524618728 612032512 100038 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=597688 CPUtime=882.32 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 149168 0 0 0 88179 53 0 0 25 0 4 0 524618728 612032512 100038 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.49
Current children cumulated vsize (KiB) 597688

[startup+942.3 s]
/proc/loadavg: 8.11 8.07 8.10 9/184 23636
/proc/meminfo: memFree=26931084/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=676692 CPUtime=3764.14 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 595471 0 0 0 376190 224 0 0 25 0 4 0 524618728 692932608 109427 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 169173 109427 388 106 0 164144 0
[pid=23517/tid=23518] ppid=23515 vsize=676692 CPUtime=942.3 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 120148 0 0 0 94182 48 0 0 25 0 4 0 524618728 692932608 109427 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=676692 CPUtime=937.18 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 162592 0 0 0 93658 60 0 0 25 0 4 0 524618728 692932608 109427 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=676692 CPUtime=942.32 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 154090 0 0 0 94177 55 0 0 25 0 4 0 524618728 692932608 109427 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 676692

[startup+1002.3 s]
/proc/loadavg: 8.14 8.08 8.10 9/184 23638
/proc/meminfo: memFree=26930416/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=611480 CPUtime=4003.82 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 616294 0 0 0 400146 236 0 0 25 0 4 0 524618728 626155520 107806 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 152870 107806 388 106 0 147841 0
[pid=23517/tid=23518] ppid=23515 vsize=611480 CPUtime=1002.29 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 123791 0 0 0 100179 50 0 0 25 0 4 0 524618728 626155520 107806 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=611480 CPUtime=996.86 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 169077 0 0 0 99622 64 0 0 25 0 4 0 524618728 626155520 107806 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=611480 CPUtime=1002.31 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 157498 0 0 0 100175 56 0 0 25 0 4 0 524618728 626155520 107806 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 611480

[startup+1062.3 s]
/proc/loadavg: 8.15 8.10 8.10 9/184 23639
/proc/meminfo: memFree=26940676/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=611888 CPUtime=4243.5 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 639321 0 0 0 424104 246 0 0 25 0 4 0 524618728 626573312 104435 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309290 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 152972 104435 388 106 0 147943 0
[pid=23517/tid=23518] ppid=23515 vsize=611888 CPUtime=1062.29 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 129653 0 0 0 106176 53 0 0 25 0 4 0 524618728 626573312 104435 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=611888 CPUtime=1056.54 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 176297 0 0 0 105588 66 0 0 25 0 4 0 524618728 626573312 104435 33554432000 4194304 4627427 140734935330816 18446744073709551615 4322302 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=611888 CPUtime=1062.32 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 161619 0 0 0 106172 60 0 0 25 0 4 0 524618728 626573312 104435 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 611888

[startup+1122.3 s]
/proc/loadavg: 8.05 8.07 8.09 9/184 23641
/proc/meminfo: memFree=26942376/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=625668 CPUtime=4483.19 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 662288 0 0 0 448061 258 0 0 25 0 4 0 524618728 640684032 103659 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 156417 103659 388 106 0 151388 0
[pid=23517/tid=23518] ppid=23515 vsize=625668 CPUtime=1122.3 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 136011 0 0 0 112173 57 0 0 25 0 4 0 524618728 640684032 103659 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=625668 CPUtime=1116.2 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 182978 0 0 0 111552 68 0 0 25 0 4 0 524618728 640684032 103659 33554432000 4194304 4627427 140734935330816 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=625668 CPUtime=1122.32 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 166408 0 0 0 112170 62 0 0 25 0 4 0 524618728 640684032 103659 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.19
Current children cumulated vsize (KiB) 625668

[startup+1182.3 s]
/proc/loadavg: 8.02 8.06 8.08 9/184 23642
/proc/meminfo: memFree=26918272/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=625944 CPUtime=4722.86 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 684908 0 0 0 472017 269 0 0 25 0 4 0 524618728 640966656 105872 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 156486 105872 388 106 0 151457 0
[pid=23517/tid=23518] ppid=23515 vsize=625944 CPUtime=1182.3 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 142005 0 0 0 118171 59 0 0 25 0 4 0 524618728 640966656 105872 33554432000 4194304 4627427 140734935330816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=625944 CPUtime=1175.89 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 187933 0 0 0 117518 71 0 0 25 0 4 0 524618728 640966656 105872 33554432000 4194304 4627427 140734935330816 18446744073709551615 4330330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=625944 CPUtime=1182.32 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 171730 0 0 0 118166 66 0 0 25 0 4 0 524618728 640966656 105872 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 625944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.01 8.05 8.08 9/184 23643
/proc/meminfo: memFree=26908464/32950928 swapFree=67111356/67111528
[pid=23517] ppid=23515 vsize=626048 CPUtime=4800.38 cores=1,3,5,7
/proc/23517/stat : 23517 (strangenight2-m) R 23515 23517 20956 0 -1 4202496 696276 0 0 0 479765 273 0 0 25 0 4 0 524618728 641073152 110347 33554432000 4194304 4627427 140734935330816 18446744073709551615 4420171 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23517/statm: 156512 110347 388 106 0 151483 0
[pid=23517/tid=23518] ppid=23515 vsize=626048 CPUtime=1201.71 cores=1,3,5,7
/proc/23517/task/23518/stat : 23518 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 143160 0 0 0 120111 60 0 0 25 0 4 0 524618728 641073152 110347 33554432000 4194304 4627427 140734935330816 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23517/tid=23519] ppid=23515 vsize=626048 CPUtime=1195.18 cores=1,3,5,7
/proc/23517/task/23519/stat : 23519 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 190251 0 0 0 119446 72 0 0 25 0 4 0 524618728 641073152 110347 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23517/tid=23520] ppid=23515 vsize=626048 CPUtime=1201.73 cores=1,3,5,7
/proc/23517/task/23520/stat : 23520 (strangenight2-m) R 23515 23517 20956 0 -1 4202560 174024 0 0 0 120106 67 0 0 25 0 4 0 524618728 641073152 110347 33554432000 4194304 4627427 140734935330816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 626048

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.73
CPU time (s): 4800.43
CPU user time (s): 4797.67
CPU system time (s): 2.75558
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 690716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.67
system time used= 2.75558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 696276
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= 216
involuntary context switches= 32541

runsolver used 1.9787 second user time and 4.5953 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-30 04:23:11
IDJOB=3266335
IDBENCH=87455
IDSOLVER=1586
FILE ID=node127/3266335-1304130191
RUNJOBID= node127-1304128754-20975
PBS_JOBID= 13170783
Free space on /tmp= 72620 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_110.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266335-1304130191/watcher-3266335-1304130191 -o /tmp/evaluation-result-3266335-1304130191/solver-3266335-1304130191 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3266335-1304130191.cnf

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

MD5SUM BENCH= 34f8b747bfe8e7b589b8832e56ae8363
RANDOM SEED=265275259

node127.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.823
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.64
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.823
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.83
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.823
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.74
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23189036 kB
Buffers:       1295808 kB
Cached:        3475248 kB
SwapCached:          8 kB
Active:        4806592 kB
Inactive:      4484124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23189036 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           86504 kB
Writeback:           0 kB
AnonPages:     4520148 kB
Mapped:          15508 kB
Slab:           398972 kB
PageTables:      13972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  5194496 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= 72720 MiB
End job on node127 at 2011-04-30 04:43:14