Trace number 3366790

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.31 1203.94

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366790-1305417345.cnf'
0.00/0.01	c -- header says num vars:            110
0.00/0.01	c -- header says num clauses:        1892
0.00/0.01	c -- clauses added:            0 learnts,         1892 normals,            0 xors
0.00/0.01	c -- vars added        110
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       110      1892         0         0      9308         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	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:    110 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.43/0.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.43/0.12	c Finding binary XORs  T:     0.00 s  found:       0
0.43/0.12	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.43/0.12	c calculated reachability. Time: 0.00
0.43/0.12	c Calc default polars -  time:   0.00 s pos:      52 undec:      10 neg:      48
0.43/0.12	c =========================================================================================
0.43/0.12	c types(t): F = full restart, N = normal restart
0.43/0.12	c types(t): S = simplification begin/end, E = solution found
0.43/0.12	c restart types(rt): st = static, dy = dynamic
0.43/0.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.43/0.12	c  B st     0         0       110      1892         0         0      9308         0   no data   no data
0.43/0.12	c Decided on static restart strategy
0.43/0.15	c  N st     8      4912       110      1892         0      4659      9308    111436   no data   no data
1.17/0.32	c  N st    10     11296       110      1892         0      4317      9308     80577   no data   no data
1.97/0.52	c  N st    11     17040       110      1892         0      9703      9308    212590   no data   no data
3.16/0.85	c  F st    12     25003       110      1892         0     11882      9308    261389   no data   no data
3.16/0.85	c  N st    12     25003       110      1892         0     11882      9308    261389   no data   no data
3.96/1.08	c Decided on static restart strategy
3.96/1.08	c  N st    18     30000       110      1892         0     10157      9308    207002   no data   no data
3.96/1.08	c  S st    18     30000       110      1892         0     10157      9308    207002   no data   no data
4.38/1.11	c  S st    18     30504       110      1892         0     10642      9308    218448   no data   no data
4.38/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.38/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.38/1.12	c blocked clauses removed:        0 vars:      0 tried:         110 T: 0.00 s
4.38/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.38/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
4.38/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.38/1.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.38/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.81/1.29	c lits-rem:       311  cl-subs:     1513  v-elim:      0  v-fix:    0  time:  0.16 s
5.16/1.32	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.03
5.16/1.32	c calculated reachability. Time: 0.00
5.16/1.32	c  N st    18     30504       110      1892         0      9129      9308    179453   no data   no data
6.35/1.66	c  N st    20     37617       110      1892         0      8449      9308    148934   no data   no data
7.55/1.98	c  N st    21     44016       110      1892         0     14407      9308    292203   no data   no data
8.35/2.10	c  S st    22     45756       110      1892         0     16033      9308    330416   no data   no data
8.35/2.15	c  S st    22     46261       110      1892         0     16527      9308    342105   no data   no data
8.35/2.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.35/2.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.35/2.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.35/2.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.35/2.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.35/2.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
8.35/2.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.35/2.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.35/2.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.55	c lits-rem:       385  cl-subs:     1756  v-elim:      0  v-fix:    0  time:  0.38 s
9.94/2.55	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
9.94/2.55	c vivif2 --  cl tried    14771 cl shrink        0 lits rem          0 time: 0.00
9.94/2.59	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.04
9.94/2.59	c calculated reachability. Time: 0.00
9.94/2.59	c  N st    22     46261       110      1892         0     14771      9308    297859   no data   no data
13.15/3.39	c  N st    23     60658       110      1892         0     10679      9308    175695   no data   no data
15.12/3.86	c  N st    24     69391       110      1892         0     18912      9308    372047   no data   no data
15.12/3.86	c  S st    24     69391       110      1892         0     18912      9308    372047   no data   no data
15.53/3.91	c  S st    24     69896       110      1892         0     19398      9308    383149   no data   no data
15.53/3.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.53/3.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/3.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
15.53/3.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.53/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.13/4.40	c lits-rem:       430  cl-subs:     1846  v-elim:      0  v-fix:    0  time:  0.47 s
17.13/4.40	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
17.13/4.40	c vivif2 --  cl tried    17552 cl shrink        0 lits rem          0 time: 0.01
17.54/4.46	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.05
17.54/4.46	c calculated reachability. Time: 0.00
17.54/4.46	c  N st    24     69896       110      1892         0     17552      9308    339834   no data   no data
21.93/5.54	c  F st    25     87501       110      1892         0     12505      9308    200862   no data   no data
21.93/5.54	c  N st    25     87501       110      1892         0     12505      9308    200862   no data   no data
23.10/5.83	c Decided on static restart strategy
23.90/6.02	c  N st    32     95540       110      1892         0     20116      9308    387173   no data   no data
26.73/6.71	c  N st    34    104845       110      1892         0     16655      9308    287566   no data   no data
26.73/6.71	c  S st    34    104845       110      1892         0     16655      9308    287566   no data   no data
26.73/6.76	c  S st    34    105346       110      1892         0     17141      9308    299050   no data   no data
26.73/6.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.73/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.73/6.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.73/6.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.73/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.73/6.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
26.73/6.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.73/6.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.73/6.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.89/7.01	c lits-rem:       270  cl-subs:     1466  v-elim:      0  v-fix:    0  time:  0.23 s
27.89/7.01	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
27.89/7.01	c vivif2 --  cl tried    15675 cl shrink        0 lits rem          0 time: 0.00
27.89/7.06	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.05
27.89/7.06	c calculated reachability. Time: 0.00
27.89/7.06	c  N st    34    105346       110      1892         0     15675      9308    264643   no data   no data
30.70/7.73	c  N st    35    114944       110      1892         0     24730      9308    491339   no data   no data
34.68/8.74	c  N st    36    129341       110      1892         0     25109      9308    476039   no data   no data
41.04/10.33	c  N st    37    150936       110      1892         0     16321      9308    237125   no data   no data
43.04/10.81	c  S st    38    158019       110      1892         0     22939      9308    395635   no data   no data
43.04/10.87	c  S st    38    158520       110      1892         0     23432      9308    407042   no data   no data
43.04/10.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.04/10.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.04/10.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.04/10.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.04/10.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.04/10.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
43.04/10.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.04/10.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
43.04/10.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.03/11.38	c lits-rem:       741  cl-subs:     1815  v-elim:      0  v-fix:    0  time:  0.49 s
45.03/11.38	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
45.03/11.38	c vivif2 --  cl tried    21617 cl shrink        0 lits rem          0 time: 0.00
45.43/11.45	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.07
45.43/11.45	c calculated reachability. Time: 0.00
45.43/11.45	c  N st    38    158520       110      1892         0     21617      9308    362716   no data   no data
61.83/15.53	c  N st    39    207109       110      1892         0     34335      9308    641329   no data   no data
72.56/18.28	c  N st    40    237780       110      1892         0     26642      9308    444490   no data   no data
72.56/18.28	c  S st    40    237780       110      1892         0     26642      9308    444490   no data   no data
72.96/18.35	c  S st    40    238281       110      1892         0     27131      9308    455988   no data   no data
72.96/18.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
72.96/18.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
72.96/18.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
72.96/18.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
72.96/18.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
72.96/18.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
72.96/18.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.96/18.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
72.96/18.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.35/18.92	c lits-rem:       507  cl-subs:     1878  v-elim:      0  v-fix:    0  time:  0.55 s
75.35/18.92	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
75.35/18.93	c vivif2 --  cl tried    25253 cl shrink        0 lits rem          0 time: 0.00
75.75/19.00	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.08
75.75/19.01	c calculated reachability. Time: 0.00
75.75/19.01	c  N st    40    238281       110      1892         0     25253      9308    412709   no data   no data
101.31/25.46	c  F st    41    306252       110      1892         0     26974      9308    401154   no data   no data
101.31/25.46	c  N st    41    306252       110      1892         0     26974      9308    401154   no data   no data
103.26/25.98	c Decided on static restart strategy
114.05/28.62	c  N st    51    334554       110      1892         0     31088      9308    504522   no data   no data
123.99/31.12	c  N st    53    357421       110      1892         0     29135      9308    430128   no data   no data
123.99/31.12	c  S st    53    357421       110      1892         0     29135      9308    430128   no data   no data
124.39/31.20	c  S st    53    357924       110      1892         0     29617      9308    441289   no data   no data
124.39/31.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.39/31.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
124.39/31.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
124.39/31.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.39/31.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.39/31.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
124.39/31.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.39/31.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
124.39/31.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.99/31.60	c lits-rem:       367  cl-subs:     1280  v-elim:      0  v-fix:    0  time:  0.38 s
125.99/31.60	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
125.99/31.61	c vivif2 --  cl tried    28337 cl shrink        0 lits rem          0 time: 0.00
126.39/31.70	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.09
126.39/31.70	c calculated reachability. Time: 0.00
126.39/31.70	c  N st    53    357924       110      1892         0     28337      9308    412000   no data   no data
140.37/35.26	c  N st    54    390318       110      1892         0     34359      9308    537152   no data   no data
164.68/41.39	c  N st    55    438906       110      1892         0     28342      9308    373296   no data   no data
199.37/50.00	c  N st    56    511790       110      1892         0     41256      9308    660575   no data   no data
212.13/53.20	c  N st    57    536886       110      1892         0     35754      9308    511827   no data   no data
212.13/53.20	c  S st    57    536886       110      1892         0     35754      9308    511827   no data   no data
212.13/53.29	c  S st    57    537390       110      1892         0     36239      9308    523501   no data   no data
212.13/53.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
212.53/53.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
212.53/53.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.53/53.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
212.53/53.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.53/53.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
212.53/53.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
212.53/53.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
212.53/53.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.53/53.88	c lits-rem:       443  cl-subs:     1506  v-elim:      0  v-fix:    0  time:  0.56 s
214.53/53.88	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
214.53/53.89	c vivif2 --  cl tried    34733 cl shrink        0 lits rem          0 time: 0.01
214.94/54.00	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.11
214.94/54.01	c calculated reachability. Time: 0.00
214.94/54.01	c  N st    57    537390       110      1892         0     34733      9308    489075   no data   no data
303.85/76.27	c  N st    58    701376       110      1892         0     62121      9308   1054261   no data   no data
366.07/91.89	c  N st    59    806087       110      1892         0     56750      9308    951784   no data   no data
366.07/91.89	c  S st    59    806087       110      1892         0     56750      9308    951784   no data   no data
366.88/92.06	c  S st    59    806589       110      1892         0     57236      9308    963333   no data   no data
366.88/92.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
366.88/92.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
366.88/92.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
366.88/92.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
366.88/92.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
366.88/92.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
366.88/92.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
366.88/92.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
367.27/92.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
382.07/95.87	c lits-rem:      1355  cl-subs:     4745  v-elim:      0  v-fix:    0  time:  3.75 s
382.07/95.87	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
382.07/95.89	c vivif2 --  cl tried    52491 cl shrink        0 lits rem          0 time: 0.02
383.22/96.11	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.22
383.22/96.12	c calculated reachability. Time: 0.00
383.22/96.12	c  N st    59    806589       110      1892         0     52491      9308    853315   no data   no data
561.09/140.81	c  F st    60   1071875       110      1892         0     67536      9308   1099147   no data   no data
561.09/140.81	c  N st    60   1071875       110      1892         0     67536      9308   1099147   no data   no data
566.32/142.03	c Decided on static restart strategy
585.82/146.97	c  N st    70   1100179       110      1892         0     52414      9308    739716   no data   no data
616.92/154.77	c  N st    72   1136172       110      1892         0     43157      9308    498399   no data   no data
640.89/160.72	c  N st    73   1168564       110      1892         0     73399      9308   1236196   no data   no data
676.73/169.79	c  N st    74   1209883       110      1892         0     67967      9308   1061065   no data   no data
676.73/169.79	c  S st    74   1209883       110      1892         0     67967      9308   1061065   no data   no data
677.93/170.08	c  S st    74   1210388       110      1892         0     68455      9308   1072956   no data   no data
677.93/170.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
678.33/170.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
678.33/170.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
678.33/170.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
678.33/170.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
678.33/170.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
678.33/170.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
678.33/170.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
678.33/170.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
715.47/179.41	c lits-rem:      1202  cl-subs:     6583  v-elim:      0  v-fix:    0  time:  9.23 s
715.47/179.41	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
715.47/179.43	c vivif2 --  cl tried    61872 cl shrink        0 lits rem          0 time: 0.02
717.01/179.81	c asymm  cl-useful: 0/1892/1892 lits-rem:0 time: 0.37
717.01/179.81	c calculated reachability. Time: 0.00
717.01/179.81	c  N st    74   1210388       110      1892         0     61872      9308    927548   no data   no data
789.20/197.99	c  N st    75   1283271       110      1892         0     85354      9308   1505995   no data   no data
897.67/225.14	c  N st    76   1392594       110      1892         0     47554      9308    536299   no data   no data
1046.01/262.39	c  N st    77   1556579       110      1892         0     52252      9308    611701   no data   no data
1188.81/298.11	c  N st    78   1710390       110      1892         0     91950      9308   1543375   no data   no data
1188.81/298.11	c  S st    78   1710390       110      1892         0     91950      9308   1543375   no data   no data
1189.98/298.42	c  S st    78   1710891       110      1892         0     92437      9308   1555132   no data   no data
1189.98/298.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1189.98/298.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1189.98/298.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1189.98/298.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1189.98/298.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1189.98/298.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
1189.98/298.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1189.98/298.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1190.38/298.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1283.27/321.89	c lits-rem:      2637  cl-subs:    10382  v-elim:      0  v-fix:    0  time: 23.36 s
1283.27/321.89	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
1283.67/321.93	c vivif2 --  cl tried    82055 cl shrink        0 lits rem          0 time: 0.03
1285.71/322.42	c asymm  cl-useful: 0/1494/1892 lits-rem:0 time: 0.49
1285.71/322.42	c calculated reachability. Time: 0.00
1285.71/322.42	c  N st    78   1710891       110      1892         0     82055      9308   1324492   no data   no data
1687.65/423.23	c  N st    79   2079858       110      1892         0     93789      9308   1531940   no data   no data
1816.09/455.45	c  N st    80   2210891       110      1892         0     97737      9308   1585944   no data   no data
1816.09/455.45	c  S st    80   2210891       110      1892         0     97737      9308   1585944   no data   no data
1817.26/455.77	c  S st    80   2211391       110      1892         0     98217      9308   1597670   no data   no data
1817.26/455.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1817.66/455.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1817.66/455.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1817.66/455.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1817.66/455.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1817.66/455.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
1817.66/455.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1817.66/455.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1817.66/455.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1874.68/470.16	c lits-rem:      2476  cl-subs:     9409  v-elim:      0  v-fix:    0  time: 14.27 s
1874.68/470.16	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
1874.68/470.20	c vivif2 --  cl tried    88808 cl shrink        0 lits rem          0 time: 0.03
1876.68/470.66	c asymm  cl-useful: 0/1382/1892 lits-rem:0 time: 0.46
1876.68/470.66	c calculated reachability. Time: 0.00
1876.68/470.66	c  N st    80   2211391       110      1892         0     88808      9308   1388390   no data   no data
2472.87/620.39	c  N st    81   2711395       110      1892         0    111225      9308   1772916   no data   no data
2472.87/620.39	c  S st    81   2711395       110      1892         0    111225      9308   1772916   no data   no data
2474.46/620.76	c  S st    81   2711897       110      1892         0    111707      9308   1784570   no data   no data
2474.46/620.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2474.86/620.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2474.86/620.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2474.86/620.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2474.86/620.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2474.86/620.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
2474.86/620.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2474.86/620.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2474.86/620.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2552.24/640.25	c lits-rem:      2394  cl-subs:    13681  v-elim:      0  v-fix:    0  time: 19.36 s
2552.24/640.25	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
2552.24/640.29	c vivif2 --  cl tried    98026 cl shrink        0 lits rem          0 time: 0.03
2553.01/640.46	c asymm  cl-useful: 0/510/1892 lits-rem:0 time: 0.18
2553.01/640.47	c calculated reachability. Time: 0.00
2553.01/640.47	c  N st    81   2711897       110      1892         0     98026      9308   1510360   no data   no data
3218.20/807.29	c  N st    82   3211897       110      1892         0     76020      9308    875990   no data   no data
3218.20/807.29	c  S st    82   3211897       110      1892         0     76020      9308    875990   no data   no data
3219.45/807.53	c  S st    82   3212401       110      1892         0     76505      9308    887659   no data   no data
3219.45/807.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3219.45/807.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3219.45/807.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3219.45/807.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3219.45/807.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3219.45/807.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
3219.45/807.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3219.45/807.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3219.79/807.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3223.00/808.43	c lits-rem:       127  cl-subs:      849  v-elim:      0  v-fix:    0  time:  0.82 s
3223.00/808.43	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
3223.00/808.45	c vivif2 --  cl tried    75656 cl shrink        0 lits rem          0 time: 0.02
3224.19/808.75	c asymm  cl-useful: 0/1581/1892 lits-rem:0 time: 0.30
3224.19/808.75	c calculated reachability. Time: 0.00
3224.19/808.75	c  N st    82   3212401       110      1892         0     75656      9308    869070   no data   no data
3881.84/973.69	c  N st    83   3712402       110      1892         0     85698      9308   1029340   no data   no data
3881.84/973.69	c  S st    83   3712402       110      1892         0     85698      9308   1029340   no data   no data
3883.00/973.95	c  S st    83   3712904       110      1892         0     86184      9308   1041631   no data   no data
3883.00/973.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3883.40/974.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3883.40/974.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3883.40/974.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3883.40/974.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3883.40/974.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
3883.40/974.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3883.40/974.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3883.40/974.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3889.38/975.53	c lits-rem:       346  cl-subs:     2160  v-elim:      0  v-fix:    0  time:  1.48 s
3889.38/975.53	c vivif2 --  cl tried     1892 cl shrink        0 lits rem          0 time: 0.00
3889.38/975.55	c vivif2 --  cl tried    84024 cl shrink        0 lits rem          0 time: 0.02
3890.62/975.87	c asymm  cl-useful: 0/1468/1892 lits-rem:0 time: 0.31
3890.62/975.87	c calculated reachability. Time: 0.00
3890.62/975.87	c  N st    83   3712904       110      1892         0     84024      9308    996431   no data   no data
3938.04/987.74	c  F st    84   3751563       110      1892         0    120076      9308   1890707   no data   no data
3938.04/987.74	c  N st    84   3751563       110      1892         0    120076      9308   1890707   no data   no data
3946.81/989.93	c Decided on static restart strategy
3995.07/1002.09	c  N st    94   3779871       110      1892         0    146669      9308   2542317   no data   no data
4058.46/1017.94	c  N st    96   3815863       110      1892         0    101442      9308   1425875   no data   no data
4111.11/1031.15	c  N st    97   3848255       110      1892         0    131697      9308   2171836   no data   no data
4202.44/1054.00	c  N st    98   3896844       110      1892         0     96853      9308   1263851   no data   no data
4318.48/1083.11	c  N st    99   3969727       110      1892         0     83685      9308    936731   no data   no data
4483.18/1124.41	c  N st   100   4079053       110      1892         0    103511      9308   1408216   no data   no data
4694.96/1177.53	c  N st   101   4212906       110      1892         0    145060      9308   2393250   no data   no data
4694.96/1177.53	c  S st   101   4212906       110      1892         0    145060      9308   2393250   no data   no data
4696.96/1178.00	c  S st   101   4213408       110      1892         0    145547      9308   2405158   no data   no data
4696.96/1178.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4696.96/1178.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.07
4696.96/1178.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4696.96/1178.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4696.96/1178.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4696.96/1178.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    110 time:  0.00 s
4696.96/1178.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4697.38/1178.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4697.38/1178.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.02 8.09 7.87 5/373 18747
/proc/meminfo: memFree=22587912/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 653332243 52396032 352 33554432000 4194304 4580107 140736768829344 18446744073709551615 47111238518297 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 12792 352 302 95 0 7774 0
[pid=18747/tid=18748] ppid=18745 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653332243 52396032 352 33554432000 4194304 4580107 140736768829344 18446744073709551615 47111238518706 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653332243 52396032 352 33554432000 4194304 4580107 140736768829344 18446744073709551615 47111238518288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653332243 52396032 352 33554432000 4194304 4580107 140736768829344 18446744073709551615 47111238518288 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.115664 s]
/proc/loadavg: 8.02 8.09 7.87 5/373 18747
/proc/meminfo: memFree=22587912/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=282172 CPUtime=0.43 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 1749 0 0 0 43 0 0 0 25 0 4 0 653332243 288944128 1638 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 70543 1638 376 95 0 65525 0
[pid=18747/tid=18748] ppid=18745 vsize=282172 CPUtime=0.09 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 354 0 0 0 9 0 0 0 25 0 4 0 653332243 288944128 1639 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=282172 CPUtime=0.11 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 368 0 0 0 11 0 0 0 25 0 4 0 653332243 288944128 1639 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=282172 CPUtime=0.11 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 263 0 0 0 11 0 0 0 25 0 4 0 653332243 288944128 1639 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282172

[startup+0.200649 s]
/proc/loadavg: 8.02 8.09 7.87 5/373 18747
/proc/meminfo: memFree=22587912/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=283576 CPUtime=0.77 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 2416 0 0 0 77 0 0 0 25 0 4 0 653332243 290381824 1751 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 70894 1751 377 95 0 65876 0
[pid=18747/tid=18748] ppid=18745 vsize=283576 CPUtime=0.18 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 515 0 0 0 18 0 0 0 25 0 4 0 653332243 290381824 1751 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=283576 CPUtime=0.19 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 529 0 0 0 19 0 0 0 25 0 4 0 653332243 290381824 1751 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=283576 CPUtime=0.19 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 440 0 0 0 19 0 0 0 25 0 4 0 653332243 290381824 1751 33554432000 4194304 4580107 140736768829344 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283576

[startup+0.300631 s]
/proc/loadavg: 8.02 8.09 7.87 5/373 18747
/proc/meminfo: memFree=22587912/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=283996 CPUtime=1.17 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 2958 0 0 0 117 0 0 0 25 0 4 0 653332243 290811904 2079 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 70999 2079 377 95 0 65981 0
[pid=18747/tid=18748] ppid=18745 vsize=283996 CPUtime=0.28 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 730 0 0 0 28 0 0 0 25 0 4 0 653332243 290811904 2079 33554432000 4194304 4580107 140736768829344 18446744073709551615 4322558 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=283996 CPUtime=0.29 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 639 0 0 0 29 0 0 0 25 0 4 0 653332243 290811904 2079 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=283996 CPUtime=0.29 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 545 0 0 0 29 0 0 0 25 0 4 0 653332243 290811904 2079 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283996

[startup+0.700558 s]
/proc/loadavg: 8.02 8.09 7.87 5/373 18747
/proc/meminfo: memFree=22587912/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=285304 CPUtime=2.76 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 5119 0 0 0 276 0 0 0 25 0 4 0 653332243 292151296 2507 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 71326 2507 377 95 0 66308 0
[pid=18747/tid=18748] ppid=18745 vsize=285304 CPUtime=0.68 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 1211 0 0 0 68 0 0 0 25 0 4 0 653332243 292151296 2507 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=285304 CPUtime=0.69 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 1193 0 0 0 69 0 0 0 25 0 4 0 653332243 292151296 2508 33554432000 4194304 4580107 140736768829344 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=285304 CPUtime=0.69 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 1096 0 0 0 69 0 0 0 25 0 4 0 653332243 292151296 2509 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285304

[startup+1.50041 s]
/proc/loadavg: 8.02 8.09 7.87 9/377 18751
/proc/meminfo: memFree=22543488/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=290808 CPUtime=5.95 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 10570 0 0 0 594 1 0 0 25 0 4 0 653332243 297787392 5521 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 72702 5521 379 95 0 67684 0
[pid=18747/tid=18748] ppid=18745 vsize=290808 CPUtime=1.46 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 3035 0 0 0 146 0 0 0 25 0 4 0 653332243 297787392 5521 33554432000 4194304 4580107 140736768829344 18446744073709551615 4415787 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=290808 CPUtime=1.49 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 2069 0 0 0 149 0 0 0 25 0 4 0 653332243 297787392 5521 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=290808 CPUtime=1.49 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 1945 0 0 0 149 0 0 0 25 0 4 0 653332243 297787392 5521 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 290808

[startup+3.10112 s]
/proc/loadavg: 8.02 8.09 7.87 9/377 18751
/proc/meminfo: memFree=22504556/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=282252 CPUtime=12.34 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 19249 0 0 0 1232 2 0 0 25 0 4 0 653332243 289026048 9896 33554432000 4194304 4580107 140736768829344 18446744073709551615 4296079 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 70563 9896 379 95 0 65545 0
[pid=18747/tid=18748] ppid=18745 vsize=282252 CPUtime=3.05 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 4105 0 0 0 305 0 0 0 25 0 4 0 653332243 289026048 9896 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=282252 CPUtime=3.08 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 5014 0 0 0 308 0 0 0 25 0 4 0 653332243 289026048 9896 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=282252 CPUtime=3.09 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 4748 0 0 0 309 0 0 0 25 0 4 0 653332243 289026048 9896 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 282252

[startup+6.30054 s]
/proc/loadavg: 8.02 8.09 7.87 9/377 18751
/proc/meminfo: memFree=22462032/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=289044 CPUtime=25.1 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 29322 0 0 0 2506 4 0 0 25 0 4 0 653332243 295981056 14628 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 72261 14628 379 95 0 67243 0
[pid=18747/tid=18748] ppid=18745 vsize=289044 CPUtime=6.21 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 7242 0 0 0 620 1 0 0 25 0 4 0 653332243 295981056 14628 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=289044 CPUtime=6.28 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 7873 0 0 0 628 0 0 0 25 0 4 0 653332243 295981056 14628 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=289044 CPUtime=6.28 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 6599 0 0 0 628 0 0 0 25 0 4 0 653332243 295981056 14628 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 289044

[startup+12.7004 s]
/proc/loadavg: 8.01 8.08 7.87 9/377 18751
/proc/meminfo: memFree=22395196/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=293672 CPUtime=50.62 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 45210 0 0 0 5054 8 0 0 25 0 4 0 653332243 300720128 17173 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 73418 17173 379 95 0 68400 0
[pid=18747/tid=18748] ppid=18745 vsize=293672 CPUtime=12.54 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 10529 0 0 0 1252 2 0 0 25 0 4 0 653332243 300720128 17173 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=293672 CPUtime=12.69 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 11570 0 0 0 1268 1 0 0 25 0 4 0 653332243 300720128 17173 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=293672 CPUtime=12.69 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 11170 0 0 0 1267 2 0 0 25 0 4 0 653332243 300720128 17173 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 293672

[startup+25.501 s]
/proc/loadavg: 8.01 8.08 7.87 9/377 18752
/proc/meminfo: memFree=22342372/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=301792 CPUtime=101.66 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 69531 0 0 0 10153 13 0 0 25 0 4 0 653332243 309035008 22795 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294558 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 75448 22795 379 95 0 70430 0
[pid=18747/tid=18748] ppid=18745 vsize=301792 CPUtime=25.17 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 16687 0 0 0 2514 3 0 0 25 0 4 0 653332243 309035008 22795 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=301792 CPUtime=25.48 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 18221 0 0 0 2546 2 0 0 25 0 4 0 653332243 309035008 22795 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=301792 CPUtime=25.49 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 16694 0 0 0 2546 3 0 0 25 0 4 0 653332243 309035008 22795 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 301792

[startup+51.1004 s]
/proc/loadavg: 8.01 8.07 7.88 9/377 18752
/proc/meminfo: memFree=22293884/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=331344 CPUtime=203.75 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 105169 0 0 0 20354 21 0 0 25 0 4 0 653332243 339296256 28530 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 82836 28530 379 95 0 77818 0
[pid=18747/tid=18748] ppid=18745 vsize=331344 CPUtime=50.46 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 26241 0 0 0 5041 5 0 0 25 0 4 0 653332243 339296256 28530 33554432000 4194304 4580107 140736768829344 18446744073709551615 4322558 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=331344 CPUtime=51.09 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 27693 0 0 0 5104 5 0 0 25 0 4 0 653332243 339296256 28530 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=331344 CPUtime=51.08 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 24504 0 0 0 5103 5 0 0 25 0 4 0 653332243 339296256 28530 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 331344

[startup+102.301 s]
/proc/loadavg: 8.05 8.07 7.89 9/377 18754
/proc/meminfo: memFree=22180516/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=329608 CPUtime=407.97 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 162354 0 0 0 40759 38 0 0 25 0 4 0 653332243 337518592 37106 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 82402 37106 379 95 0 77384 0
[pid=18747/tid=18748] ppid=18745 vsize=329608 CPUtime=101.06 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 40052 0 0 0 10097 9 0 0 25 0 4 0 653332243 337518592 37110 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=329608 CPUtime=102.3 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 41166 0 0 0 10222 8 0 0 25 0 4 0 653332243 337518592 37110 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=329608 CPUtime=102.29 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 38589 0 0 0 10220 9 0 0 25 0 4 0 653332243 337518592 37110 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.97
Current children cumulated vsize (KiB) 329608

[startup+162.301 s]

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

[pid=18747] ppid=18745 vsize=581948 CPUtime=2560.59 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 470647 0 0 0 255906 153 0 0 25 0 4 0 653332243 595914752 90891 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 145487 90891 379 95 0 140469 0
[pid=18747/tid=18748] ppid=18745 vsize=581948 CPUtime=633.72 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 112096 0 0 0 63336 36 0 0 25 0 4 0 653332243 595914752 90891 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=581948 CPUtime=642.3 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 125094 0 0 0 64188 42 0 0 25 0 4 0 653332243 595914752 90891 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=581948 CPUtime=642.28 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 112776 0 0 0 64191 37 0 0 25 0 4 0 653332243 595914752 90891 33554432000 4194304 4580107 140736768829344 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2560.59
Current children cumulated vsize (KiB) 581948

[startup+702.301 s]
/proc/loadavg: 8.20 8.16 8.00 9/377 18782
/proc/meminfo: memFree=21573272/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=596984 CPUtime=2799.85 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 493189 0 0 0 279821 164 0 0 25 0 4 0 653332243 611311616 97893 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 149246 97893 379 95 0 144228 0
[pid=18747/tid=18748] ppid=18745 vsize=596984 CPUtime=692.97 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 118711 0 0 0 69259 38 0 0 25 0 4 0 653332243 611311616 97893 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=596984 CPUtime=702.3 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 131660 0 0 0 70184 46 0 0 25 0 4 0 653332243 611311616 97893 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=596984 CPUtime=702.27 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 115907 0 0 0 70189 38 0 0 25 0 4 0 653332243 611311616 97893 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2799.85
Current children cumulated vsize (KiB) 596984

[startup+762.301 s]
/proc/loadavg: 8.12 8.14 8.00 9/377 18783
/proc/meminfo: memFree=21605620/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=569880 CPUtime=3039.16 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 514185 0 0 0 303743 173 0 0 25 0 4 0 653332243 583557120 97910 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 142470 97910 379 95 0 137452 0
[pid=18747/tid=18748] ppid=18745 vsize=569880 CPUtime=752.25 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 124159 0 0 0 75185 40 0 0 25 0 4 0 653332243 583557120 97912 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=569880 CPUtime=762.32 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 136883 0 0 0 76183 49 0 0 25 0 4 0 653332243 583557120 97912 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=569880 CPUtime=762.29 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 118507 0 0 0 76190 39 0 0 25 0 4 0 653332243 583557120 97912 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3039.16
Current children cumulated vsize (KiB) 569880

[startup+822.301 s]
/proc/loadavg: 8.14 8.14 8.01 9/377 18785
/proc/meminfo: memFree=21436976/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=596236 CPUtime=3278.43 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 540387 0 0 0 327658 185 0 0 25 0 4 0 653332243 610545664 100841 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 149059 100841 379 95 0 144041 0
[pid=18747/tid=18748] ppid=18745 vsize=596236 CPUtime=811.53 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 130680 0 0 0 81110 43 0 0 25 0 4 0 653332243 610545664 100841 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=596236 CPUtime=822.3 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 143551 0 0 0 82179 51 0 0 25 0 4 0 653332243 610545664 100841 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=596236 CPUtime=822.27 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 125084 0 0 0 82185 42 0 0 25 0 4 0 653332243 610545664 100841 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3278.43
Current children cumulated vsize (KiB) 596236

[startup+882.314 s]
/proc/loadavg: 8.27 8.18 8.02 9/377 18786
/proc/meminfo: memFree=21451336/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=623324 CPUtime=3517.73 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 560906 0 0 0 351580 193 0 0 25 0 4 0 653332243 638283776 105984 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 155831 105984 379 95 0 150813 0
[pid=18747/tid=18748] ppid=18745 vsize=623324 CPUtime=870.79 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 135311 0 0 0 87034 45 0 0 25 0 4 0 653332243 638283776 105984 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=623324 CPUtime=882.32 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 149477 0 0 0 88179 53 0 0 25 0 4 0 653332243 638283776 105984 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=623324 CPUtime=882.29 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 128710 0 0 0 88185 44 0 0 25 0 4 0 653332243 638283776 105984 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517.73
Current children cumulated vsize (KiB) 623324

[startup+942.301 s]
/proc/loadavg: 8.14 8.16 8.02 9/377 18788
/proc/meminfo: memFree=21406056/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=636848 CPUtime=3756.98 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 584034 0 0 0 375495 203 0 0 25 0 4 0 653332243 652132352 110790 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 159212 110790 379 95 0 154194 0
[pid=18747/tid=18748] ppid=18745 vsize=636848 CPUtime=930.07 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 142156 0 0 0 92960 47 0 0 25 0 4 0 653332243 652132352 110790 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=636848 CPUtime=942.3 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 156072 0 0 0 94174 56 0 0 25 0 4 0 653332243 652132352 110790 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=636848 CPUtime=942.28 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 131822 0 0 0 94183 45 0 0 25 0 4 0 653332243 652132352 110790 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3756.98
Current children cumulated vsize (KiB) 636848

[startup+1002.3 s]
/proc/loadavg: 8.10 8.14 8.02 9/377 18790
/proc/meminfo: memFree=21413096/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=637176 CPUtime=3996.26 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 603349 0 0 0 399415 211 0 0 25 0 4 0 653332243 652468224 111352 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 159294 111352 379 95 0 154276 0
[pid=18747/tid=18748] ppid=18745 vsize=637176 CPUtime=989.35 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 148839 0 0 0 98884 51 0 0 25 0 4 0 653332243 652468224 111352 33554432000 4194304 4580107 140736768829344 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=637176 CPUtime=1002.31 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 162164 0 0 0 100172 59 0 0 25 0 4 0 653332243 652468224 111352 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=637176 CPUtime=1002.28 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 132042 0 0 0 100183 45 0 0 25 0 4 0 653332243 652468224 111352 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3996.26
Current children cumulated vsize (KiB) 637176

[startup+1062.3 s]
/proc/loadavg: 8.11 8.14 8.03 9/377 18791
/proc/meminfo: memFree=21396328/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=624572 CPUtime=4235.54 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 615901 0 0 0 423338 216 0 0 25 0 4 0 653332243 639561728 109911 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 156143 109911 379 95 0 151125 0
[pid=18747/tid=18748] ppid=18745 vsize=624572 CPUtime=1048.62 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 151603 0 0 0 104810 52 0 0 25 0 4 0 653332243 639561728 109911 33554432000 4194304 4580107 140736768829344 18446744073709551615 4318305 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=624572 CPUtime=1062.31 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 168058 0 0 0 106170 61 0 0 25 0 4 0 653332243 639561728 109911 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=624572 CPUtime=1062.28 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 132328 0 0 0 106183 45 0 0 25 0 4 0 653332243 639561728 109911 33554432000 4194304 4580107 140736768829344 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4235.54
Current children cumulated vsize (KiB) 624572

[startup+1122.3 s]
/proc/loadavg: 8.12 8.13 8.03 9/377 18793
/proc/meminfo: memFree=21403876/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=638212 CPUtime=4474.81 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 631892 0 0 0 447258 223 0 0 25 0 4 0 653332243 653529088 112131 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 159553 112131 379 95 0 154535 0
[pid=18747/tid=18748] ppid=18745 vsize=638212 CPUtime=1107.89 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 152866 0 0 0 110736 53 0 0 25 0 4 0 653332243 653529088 112131 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=638212 CPUtime=1122.31 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 172010 0 0 0 112168 63 0 0 25 0 4 0 653332243 653529088 112131 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=638212 CPUtime=1122.28 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 138216 0 0 0 112180 48 0 0 25 0 4 0 653332243 653529088 112131 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4474.81
Current children cumulated vsize (KiB) 638212

[startup+1182.3 s]
/proc/loadavg: 8.12 8.12 8.03 9/377 18794
/proc/meminfo: memFree=21403836/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=611816 CPUtime=4714.11 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 653106 0 0 0 471179 232 0 0 25 0 4 0 653332243 626499584 109825 33554432000 4194304 4580107 140736768829344 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 152954 109825 379 95 0 147936 0
[pid=18747/tid=18748] ppid=18745 vsize=611816 CPUtime=1167.18 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 156150 0 0 0 116663 55 0 0 25 0 4 0 653332243 626499584 109825 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=611816 CPUtime=1182.31 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 177331 0 0 0 118166 65 0 0 25 0 4 0 653332243 626499584 109825 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=611816 CPUtime=1182.29 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 142845 0 0 0 118179 50 0 0 25 0 4 0 653332243 626499584 109825 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4714.11
Current children cumulated vsize (KiB) 611816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.16 8.13 8.03 5/372 18796
/proc/meminfo: memFree=22158536/32951124 swapFree=67111348/67111528
[pid=18747] ppid=18745 vsize=611860 CPUtime=4800.24 cores=0,2,4,6
/proc/18747/stat : 18747 (strangenight2-m) R 18745 18747 18458 0 -1 4202496 656600 0 0 0 479790 234 0 0 25 0 4 0 653332243 626544640 109895 33554432000 4194304 4580107 140736768829344 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18747/statm: 152965 109895 379 95 0 147947 0
[pid=18747/tid=18748] ppid=18745 vsize=611860 CPUtime=1188.49 cores=0,2,4,6
/proc/18747/task/18748/stat : 18748 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 158571 0 0 0 118793 56 0 0 25 0 4 0 653332243 626544640 109896 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18747/tid=18749] ppid=18745 vsize=611860 CPUtime=1203.93 cores=0,2,4,6
/proc/18747/task/18749/stat : 18749 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 178403 0 0 0 120327 66 0 0 25 0 4 0 653332243 626544640 109896 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18747/tid=18750] ppid=18745 vsize=611860 CPUtime=1203.9 cores=0,2,4,6
/proc/18747/task/18750/stat : 18750 (strangenight2-m) R 18745 18747 18458 0 -1 4202560 142845 0 0 0 120340 50 0 0 25 0 4 0 653332243 626544640 109896 33554432000 4194304 4580107 140736768829344 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 611860

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): 1203.94
CPU time (s): 4800.31
CPU user time (s): 4797.95
CPU system time (s): 2.36264
CPU usage (%): 398.716
Max. virtual memory (cumulated for all children) (KiB): 678368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.95
system time used= 2.36264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 656601
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= 465
involuntary context switches= 22600

runsolver used 4.02239 second user time and 10.3854 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-15 01:55:45
IDJOB=3366790
IDBENCH=87455
IDSOLVER=1844
FILE ID=node139/3366790-1305417345
RUNJOBID= node139-1305414932-18476
PBS_JOBID= 13324554
Free space on /tmp= 73352 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366790-1305417345/watcher-3366790-1305417345 -o /tmp/evaluation-result-3366790-1305417345/solver-3366790-1305417345 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366790-1305417345.cnf

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

MD5SUM BENCH= 34f8b747bfe8e7b589b8832e56ae8363
RANDOM SEED=372008842

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22588208 kB
Buffers:        301780 kB
Cached:        2897308 kB
SwapCached:          0 kB
Active:        7996916 kB
Inactive:      2059300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22588208 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11124 kB
Writeback:           0 kB
AnonPages:     6857024 kB
Mapped:          29344 kB
Slab:           203424 kB
PageTables:      38328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 76871228 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= 73352 MiB
End job on node139 at 2011-05-15 02:15:51