Trace number 3366940

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.1 1202.54

General information on the benchmark

NameSAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
MD5SUM151ccdb2c52c7f525fde5dca388bb6e6
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.083986
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of clauses672
Sum of the clauses size2684
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22
Number of clauses of size 30
Number of clauses of size 4670
Number of clauses of size 50
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-3366940-1305416672.cnf'
0.00/0.00	c -- header says num vars:            135
0.00/0.00	c -- header says num clauses:         672
0.00/0.01	c -- clauses added:            0 learnts,          672 normals,            0 xors
0.00/0.01	c -- vars added        135
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       135       670         2         0      2684         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/670/670 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c Replacing        1 vars Replaced       18 lits Time:     0.00 s 
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:       536  cl-subs:      134  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:     135 neg:       0
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       134       536         0         0      1608         0   no data   no data
0.38/0.11	c Decided on static restart strategy
0.38/0.11	c  N st     8      4916       134       536         0      4807      1608    121444   no data   no data
1.17/0.32	c  N st    10     11299       134       536         0      4385      1608     85229   no data   no data
1.97/0.55	c  N st    11     17043       134       536         0      9862      1608    258274   no data   no data
3.58/0.92	c  F st    12     25000       134       536         0     12090      1608    316742   no data   no data
3.58/0.92	c  N st    12     25000       134       536         0     12090      1608    316742   no data   no data
4.00/1.09	c Decided on static restart strategy
4.00/1.09	c  N st    18     30000       134       536         0     10437      1608    222353   no data   no data
4.00/1.09	c  S st    18     30000       134       536         0     10437      1608    222353   no data   no data
4.40/1.11	c  S st    18     30503       134       536         0     10937      1608    234277   no data   no data
4.40/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.40/1.11	c blocked clauses removed:        0 vars:      0 tried:         134 T: 0.00 s
4.40/1.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
4.40/1.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.40/1.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.40/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.24	c lits-rem:       350  cl-subs:      295  v-elim:      0  v-fix:    0  time:  0.12 s
4.76/1.24	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.00
4.76/1.24	c calculated reachability. Time: 0.00
4.76/1.24	c  N st    18     30503       134       536         0     10642      1608    224860   no data   no data
5.96/1.50	c  N st    20     37613       134       536         0      9942      1608    195660   no data   no data
6.76/1.76	c  N st    21     44012       134       536         0     16212      1608    372391   no data   no data
7.16/1.84	c  S st    22     45754       134       536         0      9185      1608    152492   no data   no data
7.16/1.86	c  S st    22     46261       134       536         0      9686      1608    164293   no data   no data
7.16/1.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.16/1.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
7.16/1.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.16/1.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.16/1.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.16/1.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
7.16/1.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.16/1.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.16/1.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.16/1.89	c lits-rem:        42  cl-subs:       11  v-elim:      0  v-fix:    0  time:  0.02 s
7.16/1.89	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
7.16/1.90	c vivif2 --  cl tried     9675 cl shrink        0 lits rem          0 time: 0.00
7.56/1.90	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.00
7.56/1.90	c calculated reachability. Time: 0.00
7.56/1.90	c  N st    22     46261       134       536         0      9675      1608    163895   no data   no data
9.95/2.58	c  N st    23     60658       134       536         0     13997      1608    280999   no data   no data
11.56/2.99	c  N st    24     69391       134       536         0     11848      1608    192709   no data   no data
11.56/2.99	c  S st    24     69391       134       536         0     11848      1608    192709   no data   no data
11.96/3.02	c  S st    24     69894       134       536         0     12350      1608    205219   no data   no data
11.96/3.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.96/3.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
11.96/3.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11.96/3.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.96/3.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.96/3.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
11.96/3.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.96/3.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
11.96/3.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.96/3.06	c lits-rem:        70  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.04 s
11.96/3.06	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
11.96/3.07	c vivif2 --  cl tried    12323 cl shrink        0 lits rem          0 time: 0.00
11.96/3.07	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.00
11.96/3.07	c calculated reachability. Time: 0.00
11.96/3.07	c  N st    24     69894       134       536         0     12323      1608    204282   no data   no data
15.95/4.08	c  F st    25     87501       134       536         0     17722      1608    348537   no data   no data
15.95/4.08	c  N st    25     87501       134       536         0     17722      1608    348537   no data   no data
17.17/4.38	c Decided on static restart strategy
17.94/4.59	c  N st    32     95543       134       536         0     12872      1608    189935   no data   no data
19.93/5.08	c  N st    34    104845       134       536         0     21693      1608    451408   no data   no data
19.93/5.08	c  S st    34    104845       134       536         0     21693      1608    451408   no data   no data
20.34/5.12	c  S st    34    105346       134       536         0     22192      1608    463783   no data   no data
20.34/5.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.34/5.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
20.34/5.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20.34/5.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
20.34/5.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
20.34/5.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
20.34/5.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
20.34/5.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
20.34/5.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.32/5.61	c lits-rem:      1053  cl-subs:      902  v-elim:      0  v-fix:    0  time:  0.46 s
22.32/5.61	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
22.32/5.61	c vivif2 --  cl tried    21290 cl shrink        0 lits rem          0 time: 0.00
22.32/5.62	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
22.32/5.62	c calculated reachability. Time: 0.00
22.32/5.62	c  N st    34    105346       134       536         0     21290      1608    433805   no data   no data
24.73/6.29	c  N st    35    114944       134       536         0     16902      1608    288114   no data   no data
28.72/7.23	c  N st    36    129341       134       536         0     16341      1608    263658   no data   no data
34.30/8.64	c  N st    37    150936       134       536         0     21596      1608    400173   no data   no data
36.30/9.14	c  S st    38    158019       134       536         0     28234      1608    586145   no data   no data
36.30/9.18	c  S st    38    158523       134       536         0     28734      1608    597493   no data   no data
36.30/9.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.30/9.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
36.30/9.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36.30/9.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.30/9.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.30/9.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
36.30/9.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
36.70/9.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
36.70/9.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.49/10.43	c lits-rem:      2565  cl-subs:     2516  v-elim:      0  v-fix:    0  time:  1.22 s
41.49/10.43	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
41.49/10.43	c vivif2 --  cl tried    26218 cl shrink        0 lits rem          0 time: 0.01
41.49/10.44	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
41.49/10.44	c calculated reachability. Time: 0.00
41.49/10.44	c  N st    38    158523       134       536         0     26218      1608    520735   no data   no data
55.86/14.08	c  N st    39    207112       134       536         0     21036      1608    350598   no data   no data
65.05/16.37	c  N st    40    237785       134       536         0     31728      1608    676530   no data   no data
65.05/16.37	c  S st    40    237785       134       536         0     31728      1608    676530   no data   no data
65.47/16.43	c  S st    40    238288       134       536         0     32230      1608    689290   no data   no data
65.47/16.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.47/16.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
65.47/16.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.47/16.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.47/16.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.47/16.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
65.47/16.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.47/16.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
65.47/16.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.86/17.53	c lits-rem:       918  cl-subs:      752  v-elim:      0  v-fix:    0  time:  1.06 s
69.86/17.53	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
69.86/17.53	c vivif2 --  cl tried    31478 cl shrink        0 lits rem          0 time: 0.01
69.86/17.55	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
69.86/17.55	c calculated reachability. Time: 0.00
69.86/17.55	c  N st    40    238288       134       536         0     31478      1608    664400   no data   no data
94.19/23.66	c  F st    41    306250       134       536         0     33720      1608    702340   no data   no data
94.19/23.66	c  N st    41    306250       134       536         0     33720      1608    702340   no data   no data
96.20/24.14	c Decided on static restart strategy
104.16/26.18	c  N st    51    334561       134       536         0     37861      1608    765583   no data   no data
111.35/27.96	c  N st    53    357432       134       536         0     35623      1608    681449   no data   no data
111.35/27.96	c  S st    53    357432       134       536         0     35623      1608    681449   no data   no data
111.75/28.03	c  S st    53    357937       134       536         0     36122      1608    693665   no data   no data
111.75/28.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
111.75/28.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
111.75/28.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
111.75/28.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.75/28.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.75/28.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
111.75/28.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.75/28.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
111.75/28.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
115.34/28.90	c lits-rem:      1260  cl-subs:     1120  v-elim:      0  v-fix:    0  time:  0.84 s
115.34/28.90	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
115.34/28.91	c vivif2 --  cl tried    35002 cl shrink        0 lits rem          0 time: 0.01
115.34/28.92	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.01
115.34/28.92	c calculated reachability. Time: 0.00
115.34/28.92	c  N st    53    357937       134       536         0     35002      1608    659784   no data   no data
128.11/32.12	c  N st    54    390329       134       536         0     41088      1608    825225   no data   no data
149.31/37.49	c  N st    55    438918       134       536         0     34501      1608    589334   no data   no data
178.41/44.79	c  N st    56    511801       134       536         0     48456      1608   1043569   no data   no data
188.83/47.38	c  N st    57    536905       134       536         0     42361      1608    788028   no data   no data
188.83/47.38	c  S st    57    536905       134       536         0     42361      1608    788028   no data   no data
189.19/47.45	c  S st    57    537409       134       536         0     42862      1608    800103   no data   no data
189.19/47.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
189.19/47.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
189.19/47.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
189.19/47.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
189.19/47.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
189.19/47.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
189.19/47.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
189.19/47.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
189.19/47.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
195.98/49.12	c lits-rem:      1175  cl-subs:     2183  v-elim:      0  v-fix:    0  time:  1.62 s
195.98/49.12	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
195.98/49.13	c vivif2 --  cl tried    40679 cl shrink        0 lits rem          0 time: 0.01
195.98/49.14	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.02
195.98/49.14	c calculated reachability. Time: 0.00
195.98/49.14	c  N st    57    537409       134       536         0     40679      1608    729613   no data   no data
276.24/69.22	c  N st    58    701393       134       536         0     35412      1608    494202   no data   no data
328.52/82.31	c  N st    59    806113       134       536         0     62799      1608   1350270   no data   no data
328.52/82.31	c  S st    59    806113       134       536         0     62799      1608   1350270   no data   no data
328.94/82.41	c  S st    59    806616       134       536         0     63300      1608   1362594   no data   no data
328.94/82.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
328.94/82.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
328.94/82.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
328.94/82.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
328.94/82.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
328.94/82.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
328.94/82.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
328.94/82.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
328.94/82.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
368.02/92.21	c lits-rem:      2722  cl-subs:     4839  v-elim:      0  v-fix:    0  time:  9.72 s
368.02/92.21	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
368.02/92.22	c vivif2 --  cl tried    58461 cl shrink        0 lits rem          0 time: 0.02
368.02/92.26	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.04
368.02/92.26	c calculated reachability. Time: 0.00
368.02/92.26	c  N st    59    806616       134       536         0     58461      1608   1211938   no data   no data
517.33/129.61	c  F st    60   1071875       134       536         0     73763      1608   1554388   no data   no data
517.33/129.61	c  N st    60   1071875       134       536         0     73763      1608   1554388   no data   no data
520.52/130.47	c Decided on static restart strategy
533.29/133.62	c  N st    70   1100174       134       536         0     58904      1608   1073092   no data   no data
558.84/140.03	c  N st    72   1136168       134       536         0     49381      1608    760803   no data   no data
578.80/145.07	c  N st    73   1168560       134       536         0     80352      1608   1748286   no data   no data
603.95/151.34	c  N st    74   1209925       134       536         0     74910      1608   1599062   no data   no data
603.95/151.34	c  S st    74   1209925       134       536         0     74910      1608   1599062   no data   no data
604.35/151.47	c  S st    74   1210427       134       536         0     75410      1608   1611996   no data   no data
604.35/151.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
604.75/151.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
604.75/151.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
604.75/151.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
604.75/151.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
604.75/151.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
604.75/151.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
604.75/151.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
604.75/151.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
643.86/161.34	c lits-rem:      4203  cl-subs:     4337  v-elim:      0  v-fix:    0  time:  9.78 s
643.86/161.34	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
643.86/161.36	c vivif2 --  cl tried    71073 cl shrink        0 lits rem          0 time: 0.02
643.86/161.40	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.04
644.26/161.40	c calculated reachability. Time: 0.00
644.26/161.40	c  N st    74   1210427       134       536         0     71073      1608   1465652   no data   no data
689.77/172.86	c  N st    75   1283309       134       536         0     47866      1608    670701   no data   no data
760.82/190.61	c  N st    76   1392632       134       536         0     54781      1608    855336   no data   no data
862.62/216.13	c  N st    77   1556616       134       536         0     58974      1608    933015   no data   no data
974.82/244.27	c  N st    78   1710428       134       536         0    100837      1608   2295059   no data   no data
974.82/244.27	c  S st    78   1710428       134       536         0    100837      1608   2295059   no data   no data
975.99/244.52	c  S st    78   1710931       134       536         0    101338      1608   2308238   no data   no data
975.99/244.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
976.39/244.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.07
976.39/244.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
976.39/244.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
976.39/244.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
976.39/244.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
976.39/244.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
976.39/244.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
976.79/244.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1181.19/295.96	c lits-rem:      7197  cl-subs:     7127  v-elim:      0  v-fix:    0  time: 51.22 s
1181.19/295.96	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
1181.19/295.99	c vivif2 --  cl tried    94211 cl shrink        0 lits rem          0 time: 0.03
1181.55/296.06	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.08
1181.55/296.07	c calculated reachability. Time: 0.00
1181.55/296.07	c  N st    78   1710931       134       536         0     94211      1608   2076617   no data   no data
1433.04/359.08	c  N st    79   2079897       134       536         0    105084      1608   2282347   no data   no data
1526.05/382.34	c  N st    80   2210931       134       536         0    109012      1608   2209150   no data   no data
1526.05/382.34	c  S st    80   2210931       134       536         0    109012      1608   2209150   no data   no data
1526.85/382.55	c  S st    80   2211431       134       536         0    109510      1608   2222413   no data   no data
1526.85/382.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1527.25/382.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
1527.25/382.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1527.25/382.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1527.25/382.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1527.25/382.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
1527.25/382.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1527.25/382.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1527.67/382.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1734.42/434.60	c lits-rem:      7360  cl-subs:     9783  v-elim:      0  v-fix:    0  time: 51.87 s
1734.42/434.60	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
1734.78/434.62	c vivif2 --  cl tried    99727 cl shrink        0 lits rem          0 time: 0.03
1734.78/434.69	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.07
1735.18/434.70	c calculated reachability. Time: 0.00
1735.18/434.70	c  N st    80   2211431       134       536         0     99727      1608   1939236   no data   no data
2076.52/520.27	c  N st    81   2711432       134       536         0    120980      1608   2334694   no data   no data
2076.52/520.27	c  S st    81   2711432       134       536         0    120980      1608   2334694   no data   no data
2077.69/520.56	c  S st    81   2711937       134       536         0    121483      1608   2347765   no data   no data
2077.69/520.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2078.09/520.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2078.09/520.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2078.09/520.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2078.09/520.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2078.09/520.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
2078.09/520.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2078.09/520.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2078.49/520.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2440.93/611.60	c lits-rem:      8866  cl-subs:    20019  v-elim:      0  v-fix:    0  time: 90.86 s
2440.93/611.60	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
2441.34/611.63	c vivif2 --  cl tried   101464 cl shrink        0 lits rem          0 time: 0.03
2441.70/611.74	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.11
2441.70/611.74	c calculated reachability. Time: 0.00
2441.70/611.74	c  N st    81   2711937       134       536         0    101464      1608   1840484   no data   no data
2829.70/708.91	c  N st    82   3211937       134       536         0     80868      1608   1197496   no data   no data
2829.70/708.91	c  S st    82   3211937       134       536         0     80868      1608   1197496   no data   no data
2830.10/709.03	c  S st    82   3212438       134       536         0     81368      1608   1210234   no data   no data
2830.10/709.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2830.10/709.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
2830.10/709.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2830.10/709.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2830.10/709.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2830.10/709.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
2830.10/709.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2830.10/709.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2830.50/709.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2837.68/710.92	c lits-rem:      1940  cl-subs:     1648  v-elim:      0  v-fix:    0  time:  1.81 s
2837.68/710.92	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
2837.68/710.94	c vivif2 --  cl tried    79720 cl shrink        0 lits rem          0 time: 0.02
2837.68/710.99	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.05
2837.68/710.99	c calculated reachability. Time: 0.00
2837.68/710.99	c  N st    82   3212438       134       536         0     79720      1608   1164638   no data   no data
3244.47/812.88	c  N st    83   3712438       134       536         0     89301      1608   1361759   no data   no data
3244.47/812.88	c  S st    83   3712438       134       536         0     89301      1608   1361759   no data   no data
3245.24/813.01	c  S st    83   3712940       134       536         0     89802      1608   1374619   no data   no data
3245.24/813.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3245.24/813.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
3245.24/813.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3245.24/813.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3245.24/813.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3245.24/813.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
3245.24/813.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3245.24/813.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3245.64/813.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3259.20/816.52	c lits-rem:      2056  cl-subs:     2880  v-elim:      0  v-fix:    0  time:  3.42 s
3259.20/816.52	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
3259.20/816.54	c vivif2 --  cl tried    86922 cl shrink        0 lits rem          0 time: 0.02
3259.60/816.61	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.06
3259.60/816.61	c calculated reachability. Time: 0.00
3259.60/816.61	c  N st    83   3712940       134       536         0     86922      1608   1295993   no data   no data
3293.53/825.16	c  F st    84   3751564       134       536         0    123164      1608   2401832   no data   no data
3293.53/825.16	c  N st    84   3751564       134       536         0    123164      1608   2401832   no data   no data
3297.55/826.19	c Decided on static restart strategy
3316.28/830.82	c  N st    94   3779874       134       536         0    151011      1608   3247567   no data   no data
3344.23/837.81	c  N st    96   3815867       134       536         0    105939      1608   1864260   no data   no data
3372.96/845.07	c  N st    97   3848260       134       536         0    137317      1608   2840091   no data   no data
3425.66/858.21	c  N st    98   3896849       134       536         0    101536      1608   1689214   no data   no data
3519.07/881.60	c  N st    99   3969731       134       536         0     87800      1608   1247216   no data   no data
3621.27/907.26	c  N st   100   4079054       134       536         0    107187      1608   1739748   no data   no data
3755.39/940.80	c  N st   101   4212943       134       536         0    148921      1608   2989723   no data   no data
3755.39/940.80	c  S st   101   4212943       134       536         0    148921      1608   2989723   no data   no data
3756.19/941.09	c  S st   101   4213446       134       536         0    149424      1608   3003079   no data   no data
3756.59/941.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3756.59/941.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
3756.59/941.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3756.59/941.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3756.59/941.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3756.59/941.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
3756.59/941.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3756.98/941.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3757.39/941.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4065.12/1018.44	c lits-rem:      7754  cl-subs:    17223  v-elim:      0  v-fix:    0  time: 77.14 s
4065.12/1018.44	c vivif2 --  cl tried      536 cl shrink        0 lits rem          0 time: 0.00
4065.12/1018.48	c vivif2 --  cl tried   132201 cl shrink        0 lits rem          0 time: 0.04
4065.54/1018.60	c asymm  cl-useful: 0/536/536 lits-rem:0 time: 0.12
4065.54/1018.60	c calculated reachability. Time: 0.00
4065.54/1018.60	c  N st   101   4213446       134       536         0    132201      1608   2513829   no data   no data
4342.95/1088.03	c  N st   102   4459423       134       536         0    107111      1608   1740357   no data   no data
4580.07/1147.46	c  N st   103   4713447       134       536         0    169316      1608   3441794   no data   no data
4580.07/1147.46	c  S st   103   4713447       134       536         0    169316      1608   3441794   no data   no data
4581.26/1147.72	c  S st   103   4713954       134       536         0    169821      1608   3455147   no data   no data
4581.26/1147.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4581.66/1147.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.08
4581.66/1147.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4581.66/1147.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4581.66/1147.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4581.66/1147.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    134 time:  0.00 s
4581.66/1147.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4581.66/1147.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4582.06/1147.95	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-3366940-1305416672/watcher-3366940-1305416672 -o /tmp/evaluation-result-3366940-1305416672/solver-3366940-1305416672 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366940-1305416672.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.21 8.18 6.58 6/265 18213
/proc/meminfo: memFree=22878272/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=116712 CPUtime=0 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) S 18211 18213 17979 0 -1 4202496 486 0 0 0 0 0 0 0 25 0 4 0 653265358 119513088 405 33554432000 4194304 4580107 140734296041152 18446744073709551615 246516939246 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 29178 411 325 95 0 24160 0
[pid=18213/tid=18214] ppid=18211 vsize=216016 CPUtime=0 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 48 0 0 0 0 0 0 0 25 0 4 0 653265358 221200384 636 33554432000 4194304 4580107 140734296041152 18446744073709551615 246516939246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=216016 CPUtime=0 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 90 0 0 0 0 0 0 0 25 0 4 0 653265358 221200384 637 33554432000 4194304 4580107 140734296041152 18446744073709551615 4416245 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=216016 CPUtime=0 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 74 0 0 0 0 0 0 0 25 0 4 0 653265358 221200384 637 33554432000 4194304 4580107 140734296041152 18446744073709551615 246516494657 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.078116 s]
/proc/loadavg: 8.21 8.18 6.58 6/265 18213
/proc/meminfo: memFree=22878272/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=216276 CPUtime=0.29 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 1340 0 0 0 29 0 0 0 25 0 4 0 653265358 221466624 1256 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 54069 1256 378 95 0 49051 0
[pid=18213/tid=18214] ppid=18211 vsize=216276 CPUtime=0.07 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 208 0 0 0 7 0 0 0 25 0 4 0 653265358 221466624 1256 33554432000 4194304 4580107 140734296041152 18446744073709551615 246516493184 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=216276 CPUtime=0.07 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) S 18211 18213 17979 0 -1 4202560 239 0 0 0 7 0 0 0 25 0 4 0 653265358 221466624 1256 33554432000 4194304 4580107 140734296041152 18446744073709551615 246516939246 0 0 4096 2 18446604459636172928 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=216276 CPUtime=0.07 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 240 0 0 0 7 0 0 0 25 0 4 0 653265358 221466624 1256 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 216276

[startup+0.101113 s]
/proc/loadavg: 8.21 8.18 6.58 6/265 18213
/proc/meminfo: memFree=22878272/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=216276 CPUtime=0.38 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 1477 0 0 0 38 0 0 0 25 0 4 0 653265358 221466624 1393 33554432000 4194304 4580107 140734296041152 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 54069 1393 378 95 0 49051 0
[pid=18213/tid=18214] ppid=18211 vsize=216276 CPUtime=0.09 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 248 0 0 0 9 0 0 0 25 0 4 0 653265358 221466624 1393 33554432000 4194304 4580107 140734296041152 18446744073709551615 4320946 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=216276 CPUtime=0.09 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 266 0 0 0 9 0 0 0 25 0 4 0 653265358 221466624 1393 33554432000 4194304 4580107 140734296041152 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=216276 CPUtime=0.09 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 272 0 0 0 9 0 0 0 25 0 4 0 653265358 221466624 1393 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 216276

[startup+0.301078 s]
/proc/loadavg: 8.21 8.18 6.58 6/265 18213
/proc/meminfo: memFree=22878272/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=226788 CPUtime=1.17 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 3017 0 0 0 117 0 0 0 25 0 4 0 653265358 232230912 1890 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 56697 1896 378 95 0 51679 0
[pid=18213/tid=18214] ppid=18211 vsize=226788 CPUtime=0.29 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 661 0 0 0 29 0 0 0 25 0 4 0 653265358 232230912 1900 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=226788 CPUtime=0.29 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 702 0 0 0 29 0 0 0 25 0 4 0 653265358 232230912 1905 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=226788 CPUtime=0.29 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 703 0 0 0 29 0 0 0 25 0 4 0 653265358 232230912 1909 33554432000 4194304 4580107 140734296041152 18446744073709551615 4485991 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) 226788

[startup+0.701004 s]
/proc/loadavg: 8.21 8.18 6.58 6/265 18213
/proc/meminfo: memFree=22878272/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=219344 CPUtime=2.77 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 5358 0 0 0 277 0 0 0 25 0 4 0 653265358 224608256 2447 33554432000 4194304 4580107 140734296041152 18446744073709551615 4320743 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 54836 2447 378 95 0 49818 0
[pid=18213/tid=18214] ppid=18211 vsize=219344 CPUtime=0.69 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 1209 0 0 0 69 0 0 0 25 0 4 0 653265358 224608256 2447 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=219344 CPUtime=0.69 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 1257 0 0 0 69 0 0 0 25 0 4 0 653265358 224608256 2447 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=219344 CPUtime=0.69 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 1317 0 0 0 69 0 0 0 25 0 4 0 653265358 224608256 2447 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 219344

[startup+1.50086 s]
/proc/loadavg: 8.21 8.18 6.58 9/269 18217
/proc/meminfo: memFree=22864156/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=211432 CPUtime=5.96 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 11925 0 0 0 595 1 0 0 25 0 4 0 653265358 216506368 5921 33554432000 4194304 4580107 140734296041152 18446744073709551615 4321152 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 52858 5921 380 95 0 47840 0
[pid=18213/tid=18214] ppid=18211 vsize=211432 CPUtime=1.48 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 3340 0 0 0 148 0 0 0 25 0 4 0 653265358 216506368 5922 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=211432 CPUtime=1.49 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 2208 0 0 0 149 0 0 0 25 0 4 0 653265358 216506368 5922 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=211432 CPUtime=1.49 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 2472 0 0 0 149 0 0 0 25 0 4 0 653265358 216506368 5922 33554432000 4194304 4580107 140734296041152 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 211432

[startup+3.10057 s]
/proc/loadavg: 8.21 8.18 6.58 9/269 18217
/proc/meminfo: memFree=22824848/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=203328 CPUtime=12.35 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 22671 0 0 0 1231 4 0 0 25 0 4 0 653265358 208207872 13621 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 50832 13621 380 95 0 45814 0
[pid=18213/tid=18214] ppid=18211 vsize=203328 CPUtime=3.07 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 6171 0 0 0 306 1 0 0 25 0 4 0 653265358 208207872 13621 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=203328 CPUtime=3.09 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 5290 0 0 0 308 1 0 0 25 0 4 0 653265358 208207872 13621 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=203328 CPUtime=3.09 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 6008 0 0 0 308 1 0 0 25 0 4 0 653265358 208207872 13621 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 203328

[startup+6.30099 s]
/proc/loadavg: 8.19 8.18 6.58 9/269 18217
/proc/meminfo: memFree=22787056/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=269116 CPUtime=25.13 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 32780 0 0 0 2507 6 0 0 25 0 4 0 653265358 275574784 19150 33554432000 4194304 4580107 140734296041152 18446744073709551615 4318767 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 67279 19150 380 95 0 62261 0
[pid=18213/tid=18214] ppid=18211 vsize=269116 CPUtime=6.24 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 8082 0 0 0 623 1 0 0 25 0 4 0 653265358 275574784 19150 33554432000 4194304 4580107 140734296041152 18446744073709551615 4318016 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=269116 CPUtime=6.28 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 7585 0 0 0 627 1 0 0 25 0 4 0 653265358 275574784 19150 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=269116 CPUtime=6.29 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 8754 0 0 0 628 1 0 0 25 0 4 0 653265358 275574784 19150 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 269116

[startup+12.7008 s]
/proc/loadavg: 8.26 8.19 6.60 9/269 18217
/proc/meminfo: memFree=22764476/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=229288 CPUtime=50.67 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 48161 0 0 0 5059 8 0 0 25 0 4 0 653265358 234790912 26536 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 57322 26536 380 95 0 52304 0
[pid=18213/tid=18214] ppid=18211 vsize=229288 CPUtime=12.58 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 11244 0 0 0 1257 1 0 0 25 0 4 0 653265358 234790912 26536 33554432000 4194304 4580107 140734296041152 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=229288 CPUtime=12.69 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 11119 0 0 0 1267 2 0 0 25 0 4 0 653265358 234790912 26536 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=229288 CPUtime=12.69 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 14150 0 0 0 1267 2 0 0 25 0 4 0 653265358 234790912 26536 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 229288

[startup+25.5005 s]
/proc/loadavg: 8.20 8.18 6.62 9/269 18217
/proc/meminfo: memFree=22728028/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=285580 CPUtime=101.76 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 71403 0 0 0 10163 13 0 0 25 0 4 0 653265358 292433920 34171 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 71395 34171 380 95 0 66377 0
[pid=18213/tid=18214] ppid=18211 vsize=285580 CPUtime=25.28 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 17888 0 0 0 2526 2 0 0 25 0 4 0 653265358 292433920 34171 33554432000 4194304 4580107 140734296041152 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=285580 CPUtime=25.48 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 14055 0 0 0 2545 3 0 0 25 0 4 0 653265358 292433920 34171 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=285580 CPUtime=25.49 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 21776 0 0 0 2545 4 0 0 25 0 4 0 653265358 292433920 34171 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 285580

[startup+51.1008 s]
/proc/loadavg: 8.26 8.20 6.66 9/269 18218
/proc/meminfo: memFree=22695860/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=362324 CPUtime=203.96 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 107201 0 0 0 20376 20 0 0 25 0 4 0 653265358 371019776 39826 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 90581 39827 380 95 0 85563 0
[pid=18213/tid=18214] ppid=18211 vsize=362324 CPUtime=50.66 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 24114 0 0 0 5064 2 0 0 25 0 4 0 653265358 371019776 39827 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=362324 CPUtime=51.09 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 23791 0 0 0 5104 5 0 0 25 0 4 0 653265358 371019776 39827 33554432000 4194304 4580107 140734296041152 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=362324 CPUtime=51.09 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 33387 0 0 0 5102 7 0 0 25 0 4 0 653265358 371019776 39827 33554432000 4194304 4580107 140734296041152 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 362324

[startup+102.31 s]
/proc/loadavg: 8.17 8.18 6.74 9/269 18219
/proc/meminfo: memFree=22507224/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=383116 CPUtime=408.37 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 175707 0 0 0 40800 37 0 0 25 0 4 0 653265358 392310784 58243 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 95779 58243 380 95 0 90761 0
[pid=18213/tid=18214] ppid=18211 vsize=383116 CPUtime=101.45 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 39166 0 0 0 10138 7 0 0 25 0 4 0 653265358 392310784 58243 33554432000 4194304 4580107 140734296041152 18446744073709551615 4304887 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=383116 CPUtime=102.29 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 37868 0 0 0 10222 7 0 0 25 0 4 0 653265358 392310784 58243 33554432000 4194304 4580107 140734296041152 18446744073709551615 4305280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=383116 CPUtime=102.29 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 55317 0 0 0 10218 11 0 0 25 0 4 0 653265358 392310784 58243 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.37
Current children cumulated vsize (KiB) 383116

[startup+162.301 s]

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

[pid=18213] ppid=18211 vsize=713240 CPUtime=2803.36 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 505613 0 0 0 280183 153 0 0 25 0 4 0 653265358 730357760 128301 33554432000 4194304 4580107 140734296041152 18446744073709551615 4321317 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 178310 128301 380 95 0 173292 0
[pid=18213/tid=18214] ppid=18211 vsize=713240 CPUtime=696.41 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 121584 0 0 0 69609 32 0 0 25 0 4 0 653265358 730357760 128301 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=713240 CPUtime=702.3 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 157078 0 0 0 70173 57 0 0 25 0 4 0 653265358 730357760 128301 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=713240 CPUtime=702.3 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 108145 0 0 0 70205 25 0 0 25 0 4 0 653265358 730357760 128301 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2803.36
Current children cumulated vsize (KiB) 713240

[startup+762.31 s]
/proc/loadavg: 8.24 8.23 7.48 10/269 18237
/proc/meminfo: memFree=21549460/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=756996 CPUtime=3042.9 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 544356 0 0 0 304124 166 0 0 25 0 4 0 653265358 775163904 135943 33554432000 4194304 4580107 140734296041152 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 189249 135943 380 95 0 184231 0
[pid=18213/tid=18214] ppid=18211 vsize=756996 CPUtime=755.92 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 133595 0 0 0 75556 36 0 0 25 0 4 0 653265358 775163904 135943 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=756996 CPUtime=762.32 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 166815 0 0 0 76171 61 0 0 25 0 4 0 653265358 775163904 135943 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=756996 CPUtime=762.32 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 116124 0 0 0 76204 28 0 0 25 0 4 0 653265358 775163904 135943 33554432000 4194304 4580107 140734296041152 18446744073709551615 4305136 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.9
Current children cumulated vsize (KiB) 756996

[startup+822.3 s]
/proc/loadavg: 8.27 8.23 7.52 9/269 18239
/proc/meminfo: memFree=21493640/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=700732 CPUtime=3282.35 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 573021 0 0 0 328055 180 0 0 25 0 4 0 653265358 717549568 140324 33554432000 4194304 4580107 140734296041152 18446744073709551615 4296072 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 175183 140324 380 95 0 170165 0
[pid=18213/tid=18214] ppid=18211 vsize=700732 CPUtime=815.4 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 141126 0 0 0 81501 39 0 0 25 0 4 0 653265358 717549568 140324 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=700732 CPUtime=822.31 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 178922 0 0 0 82163 68 0 0 25 0 4 0 653265358 717549568 140324 33554432000 4194304 4580107 140734296041152 18446744073709551615 4322880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=700732 CPUtime=822.31 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 116875 0 0 0 82203 28 0 0 25 0 4 0 653265358 717549568 140324 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3282.35
Current children cumulated vsize (KiB) 700732

[startup+882.3 s]
/proc/loadavg: 8.13 8.20 7.56 9/269 18240
/proc/meminfo: memFree=21543568/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=760568 CPUtime=3521.86 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 595521 0 0 0 351996 190 0 0 25 0 4 0 653265358 778821632 138363 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293076 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 190142 138363 380 95 0 185124 0
[pid=18213/tid=18214] ppid=18211 vsize=760568 CPUtime=874.89 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 149819 0 0 0 87447 42 0 0 25 0 4 0 653265358 778821632 138363 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=760568 CPUtime=882.31 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 183283 0 0 0 88161 70 0 0 25 0 4 0 653265358 778821632 138363 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=760568 CPUtime=882.32 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 118726 0 0 0 88202 30 0 0 25 0 4 0 653265358 778821632 138363 33554432000 4194304 4580107 140734296041152 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.86
Current children cumulated vsize (KiB) 760568

[startup+942.301 s]
/proc/loadavg: 8.25 8.21 7.60 9/269 18242
/proc/meminfo: memFree=21461844/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=753508 CPUtime=3761.38 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 635615 0 0 0 375931 207 0 0 25 0 4 0 653265358 771592192 144844 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 188377 144844 380 95 0 183359 0
[pid=18213/tid=18214] ppid=18211 vsize=753508 CPUtime=934.41 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 158737 0 0 0 93396 45 0 0 25 0 4 0 653265358 771592192 144844 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=753508 CPUtime=942.31 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 191578 0 0 0 94156 75 0 0 25 0 4 0 653265358 771592192 144844 33554432000 4194304 4580107 140734296041152 18446744073709551615 4321277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=753508 CPUtime=942.31 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 129739 0 0 0 94197 34 0 0 25 0 4 0 653265358 771592192 144844 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3761.38
Current children cumulated vsize (KiB) 753508

[startup+1002.3 s]
/proc/loadavg: 8.13 8.17 7.62 9/269 18373
/proc/meminfo: memFree=22863796/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=895472 CPUtime=4000.85 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 656936 0 0 0 399865 220 0 0 25 0 4 0 653265358 916963328 152624 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406365 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 223868 152624 380 95 0 218850 0
[pid=18213/tid=18214] ppid=18211 vsize=895472 CPUtime=993.89 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 168531 0 0 0 99338 51 0 0 25 0 4 0 653265358 916963328 152624 33554432000 4194304 4580107 140734296041152 18446744073709551615 4305219 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=895472 CPUtime=1002.29 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 200635 0 0 0 100148 81 0 0 25 0 4 0 653265358 916963328 152624 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=895472 CPUtime=1002.32 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 132209 0 0 0 100196 36 0 0 25 0 4 0 653265358 916963328 152624 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.85
Current children cumulated vsize (KiB) 895472

[startup+1062.3 s]
/proc/loadavg: 8.21 8.18 7.66 9/269 18405
/proc/meminfo: memFree=22627136/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=902320 CPUtime=4240.36 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 679943 0 0 0 423803 233 0 0 25 0 4 0 653265358 923975680 160760 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 225580 160760 380 95 0 220562 0
[pid=18213/tid=18214] ppid=18211 vsize=902320 CPUtime=1053.39 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 179497 0 0 0 105282 57 0 0 25 0 4 0 653265358 923975680 160760 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=902320 CPUtime=1062.3 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 205852 0 0 0 106146 84 0 0 25 0 4 0 653265358 923975680 160760 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=902320 CPUtime=1062.32 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 132209 0 0 0 106196 36 0 0 25 0 4 0 653265358 923975680 160760 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406358 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4240.36
Current children cumulated vsize (KiB) 902320

[startup+1122.3 s]
/proc/loadavg: 8.07 8.15 7.67 9/269 18407
/proc/meminfo: memFree=22529512/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=964012 CPUtime=4479.87 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 704913 0 0 0 447741 246 0 0 25 0 4 0 653265358 987148288 170770 33554432000 4194304 4580107 140734296041152 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 241003 170770 380 95 0 235985 0
[pid=18213/tid=18214] ppid=18211 vsize=964012 CPUtime=1112.9 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 188891 0 0 0 111229 61 0 0 25 0 4 0 653265358 987148288 170770 33554432000 4194304 4580107 140734296041152 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=964012 CPUtime=1122.29 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 206568 0 0 0 112145 84 0 0 25 0 4 0 653265358 987148288 170770 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=964012 CPUtime=1122.32 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 137368 0 0 0 112193 39 0 0 25 0 4 0 653265358 987148288 170770 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.87
Current children cumulated vsize (KiB) 964012

[startup+1182.3 s]
/proc/loadavg: 8.18 8.16 7.71 9/269 18408
/proc/meminfo: memFree=22518956/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=944480 CPUtime=4719.39 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 738913 0 0 0 471678 261 0 0 25 0 4 0 653265358 967147520 166642 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406483 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 236120 166642 380 95 0 231102 0
[pid=18213/tid=18214] ppid=18211 vsize=944480 CPUtime=1172.41 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 198519 0 0 0 117175 66 0 0 25 0 4 0 653265358 967147520 166642 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=944480 CPUtime=1182.3 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 218301 0 0 0 118141 89 0 0 25 0 4 0 653265358 967147520 166642 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=944480 CPUtime=1182.31 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 148163 0 0 0 118188 43 0 0 25 0 4 0 653265358 967147520 166642 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4719.39
Current children cumulated vsize (KiB) 944480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.41 8.21 7.74 11/270 18412
/proc/meminfo: memFree=22466576/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=882676 CPUtime=4800.04 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 748175 0 0 0 479738 266 0 0 25 0 4 0 653265358 903860224 166887 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 220669 166887 380 95 0 215651 0
[pid=18213/tid=18214] ppid=18211 vsize=882676 CPUtime=1192.44 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 202145 0 0 0 119175 69 0 0 25 0 4 0 653265358 903860224 166887 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=882676 CPUtime=1202.51 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 222038 0 0 0 120160 91 0 0 25 0 4 0 653265358 903860224 166887 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=882676 CPUtime=1202.53 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 150062 0 0 0 120209 44 0 0 25 0 4 0 653265358 903860224 166887 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 882676

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

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

[startup+1202.5 s]
/proc/loadavg: 8.41 8.21 7.74 11/270 18412
/proc/meminfo: memFree=22466576/32951124 swapFree=61565116/67111528
[pid=18213] ppid=18211 vsize=882676 CPUtime=4800.04 cores=1,3,5,7
/proc/18213/stat : 18213 (strangenight2-m) R 18211 18213 17979 0 -1 4202496 748175 0 0 0 479738 266 0 0 25 0 4 0 653265358 903860224 166887 33554432000 4194304 4580107 140734296041152 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18213/statm: 220669 166887 380 95 0 215651 0
[pid=18213/tid=18214] ppid=18211 vsize=882676 CPUtime=1192.44 cores=1,3,5,7
/proc/18213/task/18214/stat : 18214 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 202145 0 0 0 119175 69 0 0 25 0 4 0 653265358 903860224 166887 33554432000 4194304 4580107 140734296041152 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18213/tid=18215] ppid=18211 vsize=882676 CPUtime=1202.51 cores=1,3,5,7
/proc/18213/task/18215/stat : 18215 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 222038 0 0 0 120160 91 0 0 25 0 4 0 653265358 903860224 166887 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18213/tid=18216] ppid=18211 vsize=882676 CPUtime=1202.53 cores=1,3,5,7
/proc/18213/task/18216/stat : 18216 (strangenight2-m) R 18211 18213 17979 0 -1 4202560 150062 0 0 0 120209 44 0 0 25 0 4 0 653265358 903860224 166887 33554432000 4194304 4580107 140734296041152 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 882676

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.54
CPU time (s): 4800.1
CPU user time (s): 4797.41
CPU system time (s): 2.68759
CPU usage (%): 399.163
Max. virtual memory (cumulated for all children) (KiB): 1023224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.41
system time used= 2.68759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748176
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= 132
involuntary context switches= 20198

runsolver used 2.6376 second user time and 7.45887 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-15 01:44:32
IDJOB=3366940
IDBENCH=85780
IDSOLVER=1844
FILE ID=node134/3366940-1305416672
RUNJOBID= node134-1305415164-17998
PBS_JOBID= 13324561
Free space on /tmp= 73444 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/crafted/markstrom05/eulcbip/eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366940-1305416672/watcher-3366940-1305416672 -o /tmp/evaluation-result-3366940-1305416672/solver-3366940-1305416672 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366940-1305416672.cnf

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

MD5SUM BENCH= 151ccdb2c52c7f525fde5dca388bb6e6
RANDOM SEED=1352626756

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22878552 kB
Buffers:        261344 kB
Cached:        5608256 kB
SwapCached:      13768 kB
Active:        1588836 kB
Inactive:      8269836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22878552 kB
SwapTotal:    67111528 kB
SwapFree:     61565116 kB
Dirty:            5488 kB
Writeback:           0 kB
AnonPages:     3983012 kB
Mapped:          12712 kB
Slab:           120464 kB
PageTables:      31932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 39811232 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73436 MiB
End job on node134 at 2011-05-15 02:04:36