Trace number 3366567

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.16 1203.04

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf
MD5SUM7954e0b477e9d5cbd0a1f159f4b0eef6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
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-3366567-1305408311.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.24/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.24/0.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.24/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.24/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.24/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.24/0.10	c calculated reachability. Time: 0.00
0.24/0.10	c Calc default polars -  time:   0.00 s pos:     251 undec:      63 neg:     236
0.24/0.10	c =========================================================================================
0.24/0.10	c types(t): F = full restart, N = normal restart
0.24/0.10	c types(t): S = simplification begin/end, E = solution found
0.24/0.10	c restart types(rt): st = static, dy = dynamic
0.24/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.24/0.10	c  B st     0         0       539      2334         0         0      7072         0   no data   no data
0.24/0.10	c Decided on static restart strategy
0.76/0.20	c  N st     8      4915       539      2334         0      4859      7072    118988   no data   no data
1.56/0.41	c  N st    10     11298       539      2334         0      4498      7072     81368   no data   no data
2.37/0.68	c  N st    11     17043       539      2334         0     10138      7072    228696   no data   no data
3.99/1.10	c  F st    12     25000       539      2334         0     12391      7072    271593   no data   no data
3.99/1.10	c  N st    12     25000       539      2334         0     12391      7072    271593   no data   no data
5.15/1.34	c Decided on static restart strategy
5.15/1.34	c  N st    18     30000       539      2334         0     10694      7072    210463   no data   no data
5.15/1.34	c  S st    18     30000       539      2334         0     10694      7072    210463   no data   no data
5.15/1.37	c  S st    18     30505       539      2334         0     11199      7072    222743   no data   no data
5.15/1.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.15/1.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.15/1.38	c blocked clauses removed:       11 vars:      2 tried:         539 T: 0.00 s
5.15/1.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
5.15/1.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.15/1.38	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.15/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.44	c lits-rem:       149  cl-subs:      451  v-elim:      0  v-fix:    0  time:  0.05 s
5.56/1.44	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.01
5.56/1.44	c calculated reachability. Time: 0.00
5.56/1.44	c  N st    18     30505       536      2322         0     10735      7039    210109   no data   no data
7.15/1.86	c  N st    20     37616       536      2322         0     10011      7039    177840   no data   no data
8.79/2.27	c  N st    21     44015       536      2322         0     16297      7039    348281   no data   no data
9.55/2.40	c  S st    22     45757       536      2322         0      9230      7039    137708   no data   no data
9.55/2.43	c  S st    22     46259       536      2322         0      9732      7039    149929   no data   no data
9.55/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
9.55/2.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.55/2.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.45	c lits-rem:        35  cl-subs:       52  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.45	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
9.55/2.45	c vivif2 --  cl tried     9680 cl shrink        0 lits rem          0 time: 0.00
9.55/2.45	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.01
9.55/2.45	c calculated reachability. Time: 0.00
9.55/2.45	c  N st    22     46259       536      2322         0      9680      7039    148404   no data   no data
13.54/3.40	c  N st    23     60656       536      2322         0     14009      7039    246400   no data   no data
15.54/3.99	c  N st    24     69388       536      2322         0     11808      7039    181650   no data   no data
15.54/3.99	c  S st    24     69388       536      2322         0     11808      7039    181650   no data   no data
15.94/4.02	c  S st    24     69890       536      2322         0     12309      7039    193529   no data   no data
15.94/4.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.94/4.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.94/4.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
15.94/4.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.94/4.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.94/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.05	c lits-rem:        42  cl-subs:      149  v-elim:      0  v-fix:    0  time:  0.02 s
15.94/4.05	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
15.94/4.06	c vivif2 --  cl tried    12160 cl shrink        0 lits rem          0 time: 0.00
15.94/4.06	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.01
15.94/4.06	c calculated reachability. Time: 0.00
15.94/4.06	c  N st    24     69890       536      2322         0     12160      7039    189776   no data   no data
21.13/5.30	c  F st    25     87500       536      2322         0     17674      7039    335684   no data   no data
21.13/5.30	c  N st    25     87500       536      2322         0     17674      7039    335684   no data   no data
23.11/5.80	c  N dy    33     94220       536      2322         0     24299      7039    506380     18.94     20.16
25.11/6.36	c  N dy    46    101563       536      2322         0     18709      7039    297318     17.56     18.62
26.35/6.63	c  S st    48    104835       536      2322         0     21929      7039    370060     16.82     13.23
26.35/6.69	c  S st    48    105339       536      2322         0     22431      7039    382641     16.82   no data
26.35/6.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.35/6.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.35/6.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.35/6.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.35/6.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
26.35/6.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.70/6.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.70/6.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.10/6.81	c lits-rem:        95  cl-subs:      657  v-elim:      0  v-fix:    0  time:  0.10 s
27.10/6.81	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
27.10/6.81	c vivif2 --  cl tried    21774 cl shrink        0 lits rem          0 time: 0.00
27.10/6.82	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.01
27.10/6.82	c calculated reachability. Time: 0.00
27.10/6.82	c  N dy    48    105339       536      2322         0     21774      7039    366396     16.82   no data
29.50/7.43	c  N dy    61    112256       536      2322         0     14774      7039    169251     16.42     17.50
31.49/7.98	c  N dy    86    119594       536      2322         0     22032      7039    349657     16.42     17.72
35.12/8.84	c  N dy   116    128001       536      2322         0     15507      7039    162157     16.46     17.42
37.48/9.48	c  N dy   150    136193       536      2322         0     23585      7039    356035     16.48     17.38
41.87/10.52	c  N dy   189    146461       536      2322         0     17944      7039    199090     16.48     17.36
45.46/11.46	c  N dy   201    157188       536      2322         0     28505      7039    450647     16.32     17.59
45.86/11.54	c  S st   206    158008       536      2322         0     29313      7039    469671     16.32   no data
46.26/11.61	c  S st   206    158510       536      2322         0     29815      7039    481918     16.32   no data
46.26/11.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.26/11.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.26/11.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.26/11.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.26/11.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.26/11.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
46.26/11.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.26/11.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.26/11.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.05/11.80	c lits-rem:       128  cl-subs:      841  v-elim:      0  v-fix:    0  time:  0.16 s
47.05/11.80	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
47.05/11.81	c vivif2 --  cl tried    28974 cl shrink        0 lits rem          0 time: 0.01
47.05/11.83	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.02
47.05/11.83	c calculated reachability. Time: 0.00
47.05/11.83	c  N dy   206    158510       536      2322         0     28974      7039    461779     16.32   no data
51.05/12.84	c  N dy   253    168960       536      2322         0     22549      7039    290698     16.37     17.36
55.44/13.96	c  N dy   286    179791       536      2322         0     33241      7039    545641     16.31     17.28
63.41/15.97	c  N dy   343    199423       536      2322         0     34814      7039    562783     16.24     17.28
69.00/17.35	c  N dy   423    212173       536      2322         0     28683      7039    403434     16.35     17.32
75.78/19.09	c  N dy   496    225954       536      2322         0     22547      7039    234436     16.42     17.48
80.97/20.36	c  S st   547    237765       536      2322         0     34224      7039    520416     16.43     15.44
81.37/20.43	c  S st   547    238265       536      2322         0     34723      7039    532830     16.43   no data
81.37/20.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.37/20.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.37/20.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.37/20.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.37/20.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.37/20.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
81.37/20.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.37/20.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.37/20.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.17/20.62	c lits-rem:       117  cl-subs:      617  v-elim:      0  v-fix:    0  time:  0.16 s
82.17/20.62	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
82.17/20.63	c vivif2 --  cl tried    34106 cl shrink        0 lits rem          0 time: 0.01
82.17/20.65	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.02
82.17/20.65	c calculated reachability. Time: 0.00
82.17/20.65	c  N dy   547    238265       536      2322         0     34106      7039    516961     16.43   no data
89.35/22.48	c  N dy   645    253559       536      2322         0     28486      7039    361456     16.54     19.95
98.13/24.64	c  N dy   702    270437       536      2322         0     23399      7039    214516     16.51     17.62
106.51/26.71	c  N dy   778    287833       536      2322         0     40584      7039    633341     16.54     17.47
115.68/29.03	c  F st   859    306250       536      2322         0     36024      7039    501820     16.56   no data
115.68/29.03	c  N st   859    306250       536      2322         0     36024      7039    501820     16.56   no data
118.52/29.77	c Decided on static restart strategy
129.25/32.48	c  N st   869    334561       536      2322         0     40159      7039    777085     16.56   no data
141.22/35.43	c  N st   871    357398       536      2322         0     37980      7039    693897     16.56   no data
141.22/35.43	c  S st   871    357398       536      2322         0     37980      7039    693897     16.56   no data
141.62/35.52	c  S st   871    357900       536      2322         0     38481      7039    705765     16.56   no data
141.62/35.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.62/35.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
141.62/35.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.62/35.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.62/35.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.62/35.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
141.62/35.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
141.62/35.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.62/35.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.02/36.19	c lits-rem:       213  cl-subs:     1793  v-elim:      0  v-fix:    0  time:  0.62 s
144.02/36.19	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
144.44/36.21	c vivif2 --  cl tried    36688 cl shrink        0 lits rem          0 time: 0.01
144.44/36.23	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.02
144.44/36.23	c calculated reachability. Time: 0.00
144.44/36.23	c  N st   871    357900       536      2322         0     36688      7039    657419     16.56   no data
161.58/40.51	c  N st   872    390293       536      2322         0     42995      7039    861553     16.56   no data
190.30/47.79	c  N st   873    438886       536      2322         0     36705      7039    599654     16.56   no data
235.79/59.10	c  N st   874    511768       536      2322         0     50180      7039    934496     16.56   no data
252.15/63.24	c  N st   875    536852       536      2322         0     44450      7039    749646     16.56   no data
252.15/63.24	c  S st   875    536852       536      2322         0     44450      7039    749646     16.56   no data
252.55/63.36	c  S st   875    537353       536      2322         0     44951      7039    762310     16.56   no data
252.55/63.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
252.55/63.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
252.55/63.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
252.55/63.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
252.55/63.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.55/63.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
252.55/63.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
252.55/63.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
252.95/63.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.73/64.15	c lits-rem:       200  cl-subs:     1459  v-elim:      0  v-fix:    0  time:  0.72 s
255.73/64.15	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
255.73/64.16	c vivif2 --  cl tried    43492 cl shrink        0 lits rem          0 time: 0.01
255.73/64.19	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.03
255.73/64.19	c calculated reachability. Time: 0.00
255.73/64.19	c  N st   875    537353       536      2322         0     43492      7039    724083     16.56   no data
365.46/91.64	c  N st   876    701338       536      2322         0     37435      7039    454030     16.56   no data
436.90/109.54	c  N st   877    806029       536      2322         0     66399      7039   1175699     16.56   no data
436.90/109.54	c  S st   877    806029       536      2322         0     66399      7039   1175699     16.56   no data
437.70/109.73	c  S st   877    806532       536      2322         0     66899      7039   1188422     16.56   no data
437.70/109.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
437.70/109.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
437.70/109.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
437.70/109.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
437.70/109.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
437.70/109.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
437.70/109.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
437.70/109.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
438.10/109.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
454.85/114.00	c lits-rem:       684  cl-subs:     4756  v-elim:      0  v-fix:    0  time:  4.14 s
454.85/114.00	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
454.85/114.02	c vivif2 --  cl tried    62143 cl shrink        0 lits rem          0 time: 0.01
454.85/114.07	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.05
454.85/114.07	c calculated reachability. Time: 0.00
454.85/114.07	c  N st   877    806532       536      2322         0     62143      7039   1067746     16.56   no data
663.93/166.45	c  F st   878   1071877       536      2322         0     78082      7039   1319861     16.56   no data
663.93/166.45	c  N st   878   1071877       536      2322         0     78082      7039   1319861     16.56   no data
669.12/167.79	c Decided on static restart strategy
687.47/172.33	c  N st   888   1100182       536      2322         0     62136      7039    976160     16.56   no data
722.59/181.17	c  N st   890   1136174       536      2322         0     52441      7039    663293     16.56   no data
757.30/189.84	c  N st   891   1168568       536      2322         0     84029      7039   1458647     16.56   no data
800.39/200.65	c  N st   892   1209798       536      2322         0     78476      7039   1354755     16.56   no data
800.39/200.65	c  S st   892   1209798       536      2322         0     78476      7039   1354755     16.56   no data
801.59/200.90	c  S st   892   1210303       536      2322         0     78978      7039   1367638     16.56   no data
801.59/200.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
801.59/200.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
801.59/200.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
801.59/200.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
801.59/200.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
801.59/200.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
801.59/200.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
801.59/200.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
801.99/201.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
815.16/204.35	c lits-rem:       523  cl-subs:     3410  v-elim:      0  v-fix:    0  time:  3.31 s
815.16/204.35	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
815.16/204.37	c vivif2 --  cl tried    75568 cl shrink        0 lits rem          0 time: 0.02
815.56/204.43	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.07
815.56/204.44	c calculated reachability. Time: 0.00
815.56/204.44	c  N st   892   1210303       536      2322         0     75568      7039   1280046     16.56   no data
887.77/222.54	c  N st   893   1283185       536      2322         0     52052      7039    588721     16.56   no data
997.89/250.17	c  N st   894   1392508       536      2322         0     59823      7039    765935     16.56   no data
1171.48/293.64	c  N st   895   1556492       536      2322         0     64506      7039    814360     16.56   no data
1336.66/335.02	c  N st   896   1710304       536      2322         0    106673      7039   1920714     16.56   no data
1336.66/335.02	c  S st   896   1710304       536      2322         0    106673      7039   1920714     16.56   no data
1337.86/335.39	c  S st   896   1710810       536      2322         0    107179      7039   1933966     16.56   no data
1338.28/335.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1338.28/335.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1338.28/335.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1338.28/335.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1338.28/335.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1338.28/335.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
1338.28/335.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1338.28/335.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1338.69/335.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1385.33/347.23	c lits-rem:      1590  cl-subs:     7775  v-elim:      0  v-fix:    0  time: 11.55 s
1385.33/347.23	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
1385.33/347.25	c vivif2 --  cl tried    99404 cl shrink        0 lits rem          0 time: 0.02
1385.74/347.35	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.10
1385.74/347.36	c calculated reachability. Time: 0.00
1385.74/347.36	c  N st   896   1710810       536      2322         0     99404      7039   1745972     16.56   no data
1818.66/455.86	c  N st   897   2079776       536      2322         0    110689      7039   1843255     16.56   no data
1977.47/495.68	c  N st   898   2210810       536      2322         0    115085      7039   1983754     16.56   no data
1977.47/495.68	c  S st   898   2210810       536      2322         0    115085      7039   1983754     16.56   no data
1979.09/496.10	c  S st   898   2211312       536      2322         0    115587      7039   1996082     16.56   no data
1979.50/496.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1979.50/496.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1979.50/496.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1979.50/496.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1979.50/496.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1979.50/496.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
1979.50/496.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1979.86/496.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1979.86/496.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2028.94/508.56	c lits-rem:      1641  cl-subs:     7067  v-elim:      0  v-fix:    0  time: 12.18 s
2028.94/508.56	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
2028.94/508.58	c vivif2 --  cl tried   108520 cl shrink        0 lits rem          0 time: 0.03
2029.34/508.69	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.11
2029.74/508.70	c calculated reachability. Time: 0.00
2029.74/508.70	c  N st   898   2211312       536      2322         0    108520      7039   1829051     16.56   no data
2626.66/658.39	c  N st   899   2711313       536      2322         0    131324      7039   2187263     16.56   no data
2626.66/658.39	c  S st   899   2711313       536      2322         0    131324      7039   2187263     16.56   no data
2628.69/658.86	c  S st   899   2711815       536      2322         0    131825      7039   2200582     16.56   no data
2628.69/658.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2629.10/658.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2629.10/658.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2629.10/658.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2629.10/658.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2629.10/658.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
2629.10/658.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2629.10/658.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2629.45/659.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2722.83/682.49	c lits-rem:      1573  cl-subs:    15028  v-elim:      0  v-fix:    0  time: 23.23 s
2722.83/682.49	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
2723.23/682.52	c vivif2 --  cl tried   116797 cl shrink        0 lits rem          0 time: 0.03
2723.63/682.64	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.12
2723.63/682.64	c calculated reachability. Time: 0.00
2723.63/682.64	c  N st   899   2711815       536      2322         0    116797      7039   1877514     16.56   no data
3395.97/851.16	c  N st   900   3211816       536      2322         0     93178      7039   1195525     16.56   no data
3395.97/851.16	c  S st   900   3211816       536      2322         0     93178      7039   1195525     16.56   no data
3397.56/851.53	c  S st   900   3212319       536      2322         0     93681      7039   1208724     16.56   no data
3397.56/851.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3397.96/851.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3397.96/851.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3397.96/851.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3397.96/851.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3397.96/851.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
3397.96/851.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3397.96/851.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3397.96/851.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3407.13/853.98	c lits-rem:       152  cl-subs:     2477  v-elim:      0  v-fix:    0  time:  2.28 s
3407.13/853.98	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
3407.53/854.00	c vivif2 --  cl tried    91204 cl shrink        0 lits rem          0 time: 0.02
3407.93/854.11	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.11
3407.93/854.12	c calculated reachability. Time: 0.00
3407.93/854.12	c  N st   900   3212319       536      2322         0     91204      7039   1153092     16.56   no data
4128.53/1034.71	c  N st   901   3712319       536      2322         0    102164      7039   1345828     16.56   no data
4128.53/1034.71	c  S st   901   3712319       536      2322         0    102164      7039   1345828     16.56   no data
4130.17/1035.11	c  S st   901   3712821       536      2322         0    102663      7039   1358126     16.56   no data
4130.17/1035.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4130.17/1035.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
4130.17/1035.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4130.17/1035.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4130.17/1035.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4130.17/1035.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    536 time:  0.00 s
4130.17/1035.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4130.52/1035.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4130.52/1035.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4149.68/1040.09	c lits-rem:       213  cl-subs:     3931  v-elim:      0  v-fix:    0  time:  4.79 s
4149.68/1040.09	c vivif2 --  cl tried     2322 cl shrink        0 lits rem          0 time: 0.00
4150.08/1040.11	c vivif2 --  cl tried    98732 cl shrink        0 lits rem          0 time: 0.02
4150.47/1040.24	c asymm  cl-useful: 0/2322/2322 lits-rem:0 time: 0.12
4150.47/1040.24	c calculated reachability. Time: 0.00
4150.47/1040.24	c  N st   901   3712821       536      2322         0     98732      7039   1260559     16.56   no data
4208.76/1054.90	c  F st   902   3751563       536      2322         0    136329      7039   2292229     16.56   no data
4208.76/1054.90	c  N st   902   3751563       536      2322         0    136329      7039   2292229     16.56   no data
4218.31/1057.26	c Decided on static restart strategy
4273.37/1071.00	c  N st   912   3779868       536      2322         0    163968      7039   3036718     16.56   no data
4328.83/1084.94	c  N st   914   3815860       536      2322         0    116493      7039   1636327     16.56   no data
4389.88/1100.21	c  N st   915   3848252       536      2322         0    147850      7039   2386068     16.56   no data
4461.70/1118.21	c  N st   916   3896840       536      2322         0    111650      7039   1565838     16.56   no data
4581.41/1148.28	c  N st   917   3969722       536      2322         0     97987      7039   1163539     16.56   no data
4737.82/1187.50	c  N st   918   4079045       536      2322         0    119445      7039   1767964     16.56   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366567-1305408311/watcher-3366567-1305408311 -o /tmp/evaluation-result-3366567-1305408311/solver-3366567-1305408311 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366567-1305408311.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.13 8.12 8.08 5/320 8233
/proc/meminfo: memFree=10751472/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=273648 CPUtime=0 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 808 0 0 0 0 0 0 0 25 0 4 0 652433494 280215552 730 33554432000 4194304 4580107 140736001364544 18446744073709551615 4489504 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8233/statm: 68412 732 336 95 0 63394 0
[pid=8233/tid=8234] ppid=8231 vsize=281840 CPUtime=0 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 252 0 0 0 0 0 0 0 25 0 4 0 652433495 288604160 997 33554432000 4194304 4580107 140736001364544 18446744073709551615 4415488 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=281840 CPUtime=0 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 76 0 0 0 0 0 0 0 25 0 4 0 652433495 288604160 997 33554432000 4194304 4580107 140736001364544 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=281840 CPUtime=0 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 4 0 652433495 288604160 998 33554432000 4194304 4580107 140736001364544 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0688551 s]
/proc/loadavg: 8.13 8.12 8.08 5/320 8233
/proc/meminfo: memFree=10751472/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=281968 CPUtime=0.24 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 1540 0 0 0 24 0 0 0 25 0 4 0 652433494 288735232 1440 33554432000 4194304 4580107 140736001364544 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 70492 1440 377 95 0 65474 0
[pid=8233/tid=8234] ppid=8231 vsize=281968 CPUtime=0.06 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 318 0 0 0 6 0 0 0 25 0 4 0 652433495 288735232 1440 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=281968 CPUtime=0.05 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 262 0 0 0 5 0 0 0 25 0 4 0 652433495 288735232 1440 33554432000 4194304 4580107 140736001364544 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=281968 CPUtime=0.06 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 214 0 0 0 6 0 0 0 25 0 4 0 652433495 288735232 1440 33554432000 4194304 4580107 140736001364544 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 281968

[startup+0.106512 s]
/proc/loadavg: 8.13 8.12 8.08 5/320 8233
/proc/meminfo: memFree=10751472/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=282104 CPUtime=0.39 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 1739 0 0 0 39 0 0 0 25 0 4 0 652433494 288874496 1639 33554432000 4194304 4580107 140736001364544 18446744073709551615 4316709 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 70526 1639 377 95 0 65508 0
[pid=8233/tid=8234] ppid=8231 vsize=282104 CPUtime=0.1 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 365 0 0 0 10 0 0 0 25 0 4 0 652433495 288874496 1639 33554432000 4194304 4580107 140736001364544 18446744073709551615 4295379 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=282104 CPUtime=0.09 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 316 0 0 0 9 0 0 0 25 0 4 0 652433495 288874496 1639 33554432000 4194304 4580107 140736001364544 18446744073709551615 4306246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=282104 CPUtime=0.1 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 263 0 0 0 10 0 0 0 25 0 4 0 652433495 288874496 1639 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282104

[startup+0.300476 s]
/proc/loadavg: 8.13 8.12 8.08 5/320 8233
/proc/meminfo: memFree=10751472/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=283640 CPUtime=1.16 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 2830 0 0 0 116 0 0 0 25 0 4 0 652433494 290447360 2125 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 70910 2125 377 95 0 65892 0
[pid=8233/tid=8234] ppid=8231 vsize=283640 CPUtime=0.29 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 633 0 0 0 29 0 0 0 25 0 4 0 652433495 290447360 2125 33554432000 4194304 4580107 140736001364544 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=283640 CPUtime=0.28 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 587 0 0 0 28 0 0 0 25 0 4 0 652433495 290447360 2125 33554432000 4194304 4580107 140736001364544 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=283640 CPUtime=0.29 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 548 0 0 0 29 0 0 0 25 0 4 0 652433495 290447360 2125 33554432000 4194304 4580107 140736001364544 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283640

[startup+0.700401 s]
/proc/loadavg: 8.13 8.12 8.08 5/320 8233
/proc/meminfo: memFree=10751472/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=284588 CPUtime=2.77 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 4467 0 0 0 276 1 0 0 25 0 4 0 652433494 291418112 2836 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 71147 2836 377 95 0 66129 0
[pid=8233/tid=8234] ppid=8231 vsize=284588 CPUtime=0.69 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 1034 0 0 0 69 0 0 0 25 0 4 0 652433495 291418112 2836 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=284588 CPUtime=0.68 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 990 0 0 0 68 0 0 0 25 0 4 0 652433495 291418112 2836 33554432000 4194304 4580107 140736001364544 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=284588 CPUtime=0.69 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 955 0 0 0 69 0 0 0 25 0 4 0 652433495 291418112 2836 33554432000 4194304 4580107 140736001364544 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284588

[startup+1.50025 s]
/proc/loadavg: 8.13 8.12 8.08 9/324 8237
/proc/meminfo: memFree=10739536/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=285792 CPUtime=5.96 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 8924 0 0 0 594 2 0 0 25 0 4 0 652433494 292651008 4535 33554432000 4194304 4580107 140736001364544 18446744073709551615 4321152 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 71448 4535 379 95 0 66430 0
[pid=8233/tid=8234] ppid=8231 vsize=285792 CPUtime=1.49 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 1823 0 0 0 149 0 0 0 25 0 4 0 652433495 292651008 4535 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=285792 CPUtime=1.48 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 1774 0 0 0 148 0 0 0 25 0 4 0 652433495 292651008 4535 33554432000 4194304 4580107 140736001364544 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=285792 CPUtime=1.48 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 1752 0 0 0 148 0 0 0 25 0 4 0 652433495 292651008 4535 33554432000 4194304 4580107 140736001364544 18446744073709551615 212435682840 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285792

[startup+3.10095 s]
/proc/loadavg: 8.13 8.12 8.08 9/324 8237
/proc/meminfo: memFree=10725648/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=293764 CPUtime=12.35 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 18459 0 0 0 1232 3 0 0 25 0 4 0 652433494 300814336 9724 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 73441 9724 379 95 0 68423 0
[pid=8233/tid=8234] ppid=8231 vsize=293764 CPUtime=3.09 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 4282 0 0 0 308 1 0 0 25 0 4 0 652433495 300814336 9724 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=293764 CPUtime=3.08 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 4819 0 0 0 308 0 0 0 25 0 4 0 652433495 300814336 9724 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=293764 CPUtime=3.08 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 4499 0 0 0 308 0 0 0 25 0 4 0 652433495 300814336 9724 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 293764

[startup+6.30034 s]
/proc/loadavg: 8.12 8.12 8.08 9/324 8237
/proc/meminfo: memFree=10727336/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=285484 CPUtime=25.11 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 29889 0 0 0 2506 5 0 0 25 0 4 0 652433494 292335616 13186 33554432000 4194304 4580107 140736001364544 18446744073709551615 4318737 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 71371 13186 379 95 0 66353 0
[pid=8233/tid=8234] ppid=8231 vsize=285484 CPUtime=6.29 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 7968 0 0 0 627 2 0 0 25 0 4 0 652433495 292335616 13186 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=285484 CPUtime=6.28 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 8058 0 0 0 627 1 0 0 25 0 4 0 652433495 292335616 13186 33554432000 4194304 4580107 140736001364544 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=285484 CPUtime=6.29 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 6472 0 0 0 628 1 0 0 25 0 4 0 652433495 292335616 13186 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 285484

[startup+12.7011 s]
/proc/loadavg: 8.11 8.12 8.08 9/324 8238
/proc/meminfo: memFree=10678760/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=350648 CPUtime=50.65 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 46085 0 0 0 5055 10 0 0 25 0 4 0 652433494 359063552 20508 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 87662 20508 379 95 0 82644 0
[pid=8233/tid=8234] ppid=8231 vsize=350648 CPUtime=12.69 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 12302 0 0 0 1266 3 0 0 25 0 4 0 652433495 359063552 20508 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=350648 CPUtime=12.68 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 10285 0 0 0 1267 1 0 0 25 0 4 0 652433495 359063552 20508 33554432000 4194304 4580107 140736001364544 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=350648 CPUtime=12.69 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 11387 0 0 0 1267 2 0 0 25 0 4 0 652433495 359063552 20508 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 350648

[startup+25.5007 s]
/proc/loadavg: 8.16 8.13 8.09 9/324 8238
/proc/meminfo: memFree=10672920/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=360948 CPUtime=101.71 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 67796 0 0 0 10158 13 0 0 25 0 4 0 652433494 369610752 25624 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 90237 25624 379 95 0 85219 0
[pid=8233/tid=8234] ppid=8231 vsize=360948 CPUtime=25.49 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 19826 0 0 0 2544 5 0 0 25 0 4 0 652433495 369610752 25624 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=360948 CPUtime=25.48 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 16134 0 0 0 2546 2 0 0 25 0 4 0 652433495 369610752 25624 33554432000 4194304 4580107 140736001364544 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=360948 CPUtime=25.49 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 16177 0 0 0 2546 3 0 0 25 0 4 0 652433495 369610752 25624 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 360948

[startup+51.1008 s]
/proc/loadavg: 8.18 8.13 8.09 9/324 8239
/proc/meminfo: memFree=10616440/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=374408 CPUtime=203.87 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 98116 0 0 0 20363 24 0 0 25 0 4 0 652433494 383393792 36248 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 93602 36248 379 95 0 88584 0
[pid=8233/tid=8234] ppid=8231 vsize=374408 CPUtime=51.09 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 26385 0 0 0 5101 8 0 0 25 0 4 0 652433495 383393792 36248 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=374408 CPUtime=51.08 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 24018 0 0 0 5104 4 0 0 25 0 4 0 652433495 383393792 36248 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=374408 CPUtime=51.09 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 22761 0 0 0 5104 5 0 0 25 0 4 0 652433495 383393792 36248 33554432000 4194304 4580107 140736001364544 18446744073709551615 4316514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 374408

[startup+102.312 s]
/proc/loadavg: 8.08 8.11 8.09 9/324 8240
/proc/meminfo: memFree=10549696/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=385416 CPUtime=408.2 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 132292 0 0 0 40782 38 0 0 25 0 4 0 652433494 394665984 43096 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 96354 43096 379 95 0 91336 0
[pid=8233/tid=8234] ppid=8231 vsize=385416 CPUtime=102.29 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 36718 0 0 0 10218 11 0 0 25 0 4 0 652433495 394665984 43096 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=385416 CPUtime=102.29 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 30076 0 0 0 10222 7 0 0 25 0 4 0 652433495 394665984 43096 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=385416 CPUtime=102.3 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 28915 0 0 0 10222 8 0 0 25 0 4 0 652433495 394665984 43096 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 385416

[startup+162.301 s]

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

[pid=8233] ppid=8231 vsize=549992 CPUtime=2562.85 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 433397 0 0 0 256114 171 0 0 25 0 4 0 652433494 563191808 89386 33554432000 4194304 4580107 140736001364544 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 137498 89386 380 95 0 132480 0
[pid=8233/tid=8234] ppid=8231 vsize=549992 CPUtime=642.32 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 119882 0 0 0 64181 51 0 0 25 0 4 0 652433495 563191808 89387 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=549992 CPUtime=642.31 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 102206 0 0 0 64193 38 0 0 25 0 4 0 652433495 563191808 89387 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=549992 CPUtime=642.31 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 111271 0 0 0 64185 46 0 0 25 0 4 0 652433495 563191808 89387 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2562.85
Current children cumulated vsize (KiB) 549992

[startup+702.301 s]
/proc/loadavg: 8.10 8.09 8.09 9/324 8256
/proc/meminfo: memFree=10242380/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=610344 CPUtime=2802.23 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 458594 0 0 0 280040 183 0 0 25 0 4 0 652433494 624992256 95272 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 152586 95272 380 95 0 147568 0
[pid=8233/tid=8234] ppid=8231 vsize=610344 CPUtime=702.31 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 128051 0 0 0 70177 54 0 0 25 0 4 0 652433495 624992256 95272 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=610344 CPUtime=702.31 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 108129 0 0 0 70189 42 0 0 25 0 4 0 652433495 624992256 95272 33554432000 4194304 4580107 140736001364544 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=610344 CPUtime=702.31 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 120253 0 0 0 70180 51 0 0 25 0 4 0 652433495 624992256 95272 33554432000 4194304 4580107 140736001364544 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2802.23
Current children cumulated vsize (KiB) 610344

[startup+762.312 s]
/proc/loadavg: 8.27 8.13 8.10 9/324 8289
/proc/meminfo: memFree=10672356/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=610616 CPUtime=3041.68 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 480362 0 0 0 303971 197 0 0 25 0 4 0 652433494 625270784 97070 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 152654 97070 380 95 0 147636 0
[pid=8233/tid=8234] ppid=8231 vsize=610616 CPUtime=762.31 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 136037 0 0 0 76173 58 0 0 25 0 4 0 652433495 625270784 97070 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=610616 CPUtime=762.32 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 114383 0 0 0 76187 45 0 0 25 0 4 0 652433495 625270784 97070 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=610616 CPUtime=762.32 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 127514 0 0 0 76176 56 0 0 25 0 4 0 652433495 625270784 97070 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3041.68
Current children cumulated vsize (KiB) 610616

[startup+822.301 s]
/proc/loadavg: 8.16 8.12 8.09 9/324 8290
/proc/meminfo: memFree=10547736/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=636452 CPUtime=3281.05 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 507935 0 0 0 327897 208 0 0 25 0 4 0 652433494 651726848 105330 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 159113 105330 380 95 0 154095 0
[pid=8233/tid=8234] ppid=8231 vsize=636452 CPUtime=822.31 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 143121 0 0 0 82169 62 0 0 25 0 4 0 652433495 651726848 105330 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=636452 CPUtime=822.31 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 117555 0 0 0 82184 47 0 0 25 0 4 0 652433495 651726848 105330 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=636452 CPUtime=822.32 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 140347 0 0 0 82172 60 0 0 25 0 4 0 652433495 651726848 105330 33554432000 4194304 4580107 140736001364544 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3281.05
Current children cumulated vsize (KiB) 636452

[startup+882.3 s]
/proc/loadavg: 8.15 8.13 8.09 9/324 8292
/proc/meminfo: memFree=10443924/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=713192 CPUtime=3520.45 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 530199 0 0 0 351827 218 0 0 25 0 4 0 652433494 730308608 112635 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 178298 112635 380 95 0 173280 0
[pid=8233/tid=8234] ppid=8231 vsize=713192 CPUtime=882.31 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 153571 0 0 0 88166 65 0 0 25 0 4 0 652433495 730308608 112635 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=713192 CPUtime=882.31 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 122382 0 0 0 88181 50 0 0 25 0 4 0 652433495 730308608 112635 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=713192 CPUtime=882.31 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 144443 0 0 0 88169 62 0 0 25 0 4 0 652433495 730308608 112635 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3520.45
Current children cumulated vsize (KiB) 713192

[startup+942.301 s]
/proc/loadavg: 8.05 8.10 8.09 9/324 8293
/proc/meminfo: memFree=10414488/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=752432 CPUtime=3759.85 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 553488 0 0 0 375754 231 0 0 25 0 4 0 652433494 770490368 112170 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 188108 112170 380 95 0 183090 0
[pid=8233/tid=8234] ppid=8231 vsize=752432 CPUtime=942.31 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 160957 0 0 0 94162 69 0 0 25 0 4 0 652433495 770490368 112170 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=752432 CPUtime=942.31 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 124709 0 0 0 94180 51 0 0 25 0 4 0 652433495 770490368 112170 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=752432 CPUtime=942.32 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 151070 0 0 0 94166 66 0 0 25 0 4 0 652433495 770490368 112170 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3759.85
Current children cumulated vsize (KiB) 752432

[startup+1002.3 s]
/proc/loadavg: 8.10 8.11 8.09 9/324 8295
/proc/meminfo: memFree=10338064/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=662952 CPUtime=3999.25 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 580824 0 0 0 399678 247 0 0 25 0 4 0 652433494 678862848 114809 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 165738 114809 380 95 0 160720 0
[pid=8233/tid=8234] ppid=8231 vsize=662952 CPUtime=1002.32 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 167852 0 0 0 100159 73 0 0 25 0 4 0 652433495 678862848 114809 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=662952 CPUtime=1002.32 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 131160 0 0 0 100177 55 0 0 25 0 4 0 652433495 678862848 114809 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=662952 CPUtime=1002.33 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 157743 0 0 0 100163 70 0 0 25 0 4 0 652433495 678862848 114809 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3999.25
Current children cumulated vsize (KiB) 662952

[startup+1062.3 s]
/proc/loadavg: 8.11 8.10 8.09 9/324 8296
/proc/meminfo: memFree=10296860/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=676200 CPUtime=4238.67 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 608465 0 0 0 423606 261 0 0 25 0 4 0 652433494 692428800 120837 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 169050 120837 380 95 0 164032 0
[pid=8233/tid=8234] ppid=8231 vsize=676200 CPUtime=1062.31 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 177234 0 0 0 106155 76 0 0 25 0 4 0 652433495 692428800 120837 33554432000 4194304 4580107 140736001364544 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=676200 CPUtime=1062.32 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 136828 0 0 0 106174 58 0 0 25 0 4 0 652433495 692428800 120838 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=676200 CPUtime=1062.33 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 165432 0 0 0 106160 73 0 0 25 0 4 0 652433495 692428800 120838 33554432000 4194304 4580107 140736001364544 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4238.67
Current children cumulated vsize (KiB) 676200

[startup+1122.3 s]
/proc/loadavg: 8.15 8.11 8.09 9/324 8298
/proc/meminfo: memFree=10262848/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=676412 CPUtime=4478.06 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 628759 0 0 0 447531 275 0 0 25 0 4 0 652433494 692645888 122201 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 169103 122201 380 95 0 164085 0
[pid=8233/tid=8234] ppid=8231 vsize=676412 CPUtime=1122.32 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 181394 0 0 0 112152 80 0 0 25 0 4 0 652433495 692645888 122201 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=676412 CPUtime=1122.33 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 141842 0 0 0 112171 62 0 0 25 0 4 0 652433495 692645888 122201 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=676412 CPUtime=1122.32 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 170582 0 0 0 112156 76 0 0 25 0 4 0 652433495 692645888 122201 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4478.06
Current children cumulated vsize (KiB) 676412

[startup+1182.3 s]
/proc/loadavg: 8.12 8.11 8.09 9/324 8300
/proc/meminfo: memFree=10235676/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=663648 CPUtime=4717.48 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 654680 0 0 0 471460 288 0 0 25 0 4 0 652433494 679575552 119134 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 165912 119134 379 95 0 160894 0
[pid=8233/tid=8234] ppid=8231 vsize=663648 CPUtime=1182.32 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 188495 0 0 0 118149 83 0 0 25 0 4 0 652433495 679575552 119134 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=663648 CPUtime=1182.33 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 147559 0 0 0 118168 65 0 0 25 0 4 0 652433495 679575552 119134 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=663648 CPUtime=1182.33 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 176918 0 0 0 118153 80 0 0 25 0 4 0 652433495 679575552 119134 33554432000 4194304 4580107 140736001364544 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4717.48
Current children cumulated vsize (KiB) 663648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.14 8.11 8.09 9/324 8300
/proc/meminfo: memFree=10260960/32951124 swapFree=67093864/67111528
[pid=8233] ppid=8231 vsize=663672 CPUtime=4800.1 cores=1,3,5,7
/proc/8233/stat : 8233 (strangenight2-m) R 8231 8233 7962 0 -1 4202496 661180 0 0 0 479718 292 0 0 25 0 4 0 652433494 679600128 122014 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8233/statm: 165918 122014 379 95 0 160900 0
[pid=8233/tid=8234] ppid=8231 vsize=663672 CPUtime=1203.04 cores=1,3,5,7
/proc/8233/task/8234/stat : 8234 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 190705 0 0 0 120220 84 0 0 25 0 4 0 652433495 679600128 122016 33554432000 4194304 4580107 140736001364544 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8233/tid=8235] ppid=8231 vsize=663672 CPUtime=1203.04 cores=1,3,5,7
/proc/8233/task/8235/stat : 8235 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 148994 0 0 0 120238 66 0 0 25 0 4 0 652433495 679600128 122016 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8233/tid=8236] ppid=8231 vsize=663672 CPUtime=1203.04 cores=1,3,5,7
/proc/8233/task/8236/stat : 8236 (strangenight2-m) R 8231 8233 7962 0 -1 4202560 178160 0 0 0 120224 80 0 0 25 0 4 0 652433495 679600128 122016 33554432000 4194304 4580107 140736001364544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 663672

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.04
CPU time (s): 4800.16
CPU user time (s): 4797.22
CPU system time (s): 2.94355
CPU usage (%): 399.002
Max. virtual memory (cumulated for all children) (KiB): 834956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.22
system time used= 2.94355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 661183
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= 257
involuntary context switches= 31547

runsolver used 3.24051 second user time and 8.86365 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-14 23:25:11
IDJOB=3366567
IDBENCH=82976
IDSOLVER=1844
FILE ID=node102/3366567-1305408311
RUNJOBID= node102-1305405872-7981
PBS_JOBID= 13324503
Free space on /tmp= 73532 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366567-1305408311/watcher-3366567-1305408311 -o /tmp/evaluation-result-3366567-1305408311/solver-3366567-1305408311 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366567-1305408311.cnf

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

MD5SUM BENCH= 7954e0b477e9d5cbd0a1f159f4b0eef6
RANDOM SEED=1069466736

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10751752 kB
Buffers:        257160 kB
Cached:        2804800 kB
SwapCached:       1128 kB
Active:       19924080 kB
Inactive:      1981316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10751752 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:    18842180 kB
Mapped:          26872 kB
Slab:           176652 kB
PageTables:      53968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59559688 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= 73524 MiB
End job on node102 at 2011-05-14 23:45:16