Trace number 3366648

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.3 1203.54

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf
MD5SUMc3d1d9237da00564d672945308bcff7c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.010998
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366648-1305410859.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	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.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.13	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
0.00/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.13	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.13	c calculated reachability. Time: 0.00
0.00/0.13	c Calc default polars -  time:   0.00 s pos:     262 undec:      54 neg:     234
0.00/0.13	c =========================================================================================
0.00/0.13	c types(t): F = full restart, N = normal restart
0.00/0.13	c types(t): S = simplification begin/end, E = solution found
0.00/0.13	c restart types(rt): st = static, dy = dynamic
0.00/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.13	c  B st     0         0       536      2328         0         0      7094         0   no data   no data
0.00/0.13	c Decided on static restart strategy
0.00/0.16	c  N st     8      4920       536      2328         0      4857      7094    122414   no data   no data
0.00/0.44	c  N st    10     11304       536      2328         0      4512      7094     84121   no data   no data
0.00/0.71	c  N st    11     17047       536      2328         0     10166      7094    245515   no data   no data
4.22/1.15	c  F st    12     25000       536      2328         0     12447      7094    298285   no data   no data
4.22/1.15	c  N st    12     25000       536      2328         0     12447      7094    298285   no data   no data
5.56/1.41	c Decided on static restart strategy
5.56/1.41	c  N st    18     30001       536      2328         0     10710      7094    221512   no data   no data
5.56/1.41	c  S st    18     30001       536      2328         0     10710      7094    221512   no data   no data
5.56/1.44	c  S st    18     30503       536      2328         0     11211      7094    233218   no data   no data
5.56/1.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.44	c blocked clauses removed:       13 vars:      2 tried:         536 T: 0.00 s
5.56/1.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    534 time:  0.00 s
5.56/1.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.44	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.56/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c lits-rem:       149  cl-subs:      397  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.51	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.01
5.96/1.51	c calculated reachability. Time: 0.00
5.96/1.51	c  N st    18     30503       533      2314         0     10814      7055    221288   no data   no data
7.60/1.94	c  N st    20     37613       533      2314         0     10040      7055    178420   no data   no data
9.14/2.32	c  N st    21     44012       533      2314         0     16311      7055    334307   no data   no data
9.54/2.44	c  S st    22     45754       533      2314         0      9253      7055    141461   no data   no data
9.54/2.47	c  S st    22     46257       533      2314         0      9754      7055    154188   no data   no data
9.54/2.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
9.54/2.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.49	c lits-rem:        14  cl-subs:       84  v-elim:      0  v-fix:    0  time:  0.01 s
9.54/2.49	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
9.54/2.49	c vivif2 --  cl tried     9670 cl shrink        0 lits rem          0 time: 0.00
9.94/2.50	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.01
9.94/2.50	c calculated reachability. Time: 0.00
9.94/2.50	c  N st    22     46257       533      2314         0      9670      7055    152026   no data   no data
13.53/3.41	c  N st    23     60654       533      2314         0     14028      7055    249318   no data   no data
15.95/4.06	c  N st    24     69386       533      2314         0     11815      7055    184097   no data   no data
15.95/4.06	c  S st    24     69386       533      2314         0     11815      7055    184097   no data   no data
15.95/4.09	c  S st    24     69889       533      2314         0     12318      7055    196257   no data   no data
15.95/4.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.95/4.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.95/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
15.95/4.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.95/4.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.95/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.38/4.12	c lits-rem:        10  cl-subs:      142  v-elim:      0  v-fix:    0  time:  0.02 s
16.38/4.12	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
16.38/4.12	c vivif2 --  cl tried    12176 cl shrink        0 lits rem          0 time: 0.00
16.38/4.13	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.01
16.38/4.13	c calculated reachability. Time: 0.00
16.38/4.13	c  N st    24     69889       533      2314         0     12176      7055    192579   no data   no data
21.91/5.51	c  F st    25     87500       533      2314         0     17702      7055    337749   no data   no data
21.91/5.51	c  N st    25     87500       533      2314         0     17702      7055    337749   no data   no data
23.51/5.92	c Decided on static restart strategy
24.31/6.17	c  N st    32     95534       533      2314         0     25577      7055    541720   no data   no data
27.10/6.84	c  N st    34    104834       533      2314         0     21936      7055    422318   no data   no data
27.10/6.84	c  S st    34    104834       533      2314         0     21936      7055    422318   no data   no data
27.50/6.90	c  S st    34    105336       533      2314         0     22438      7055    435441   no data   no data
27.50/6.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.50/6.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.50/6.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.50/6.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.50/6.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.50/6.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
27.50/6.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.50/6.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.50/6.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.89/7.09	c lits-rem:       195  cl-subs:      723  v-elim:      0  v-fix:    0  time:  0.17 s
27.89/7.09	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
28.29/7.10	c vivif2 --  cl tried    21715 cl shrink        0 lits rem          0 time: 0.00
28.29/7.11	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.01
28.29/7.11	c calculated reachability. Time: 0.00
28.29/7.11	c  N st    34    105336       533      2314         0     21715      7055    413757   no data   no data
31.49/7.98	c  N st    35    114935       533      2314         0     17374      7055    272843   no data   no data
37.07/9.31	c  N st    36    129334       533      2314         0     16782      7055    237685   no data   no data
44.65/11.25	c  N st    37    150929       533      2314         0     22260      7055    362184   no data   no data
47.44/11.94	c  S st    38    158007       533      2314         0     29230      7055    546673   no data   no data
47.84/12.02	c  S st    38    158511       533      2314         0     29734      7055    558254   no data   no data
47.84/12.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.84/12.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.84/12.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.84/12.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.84/12.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.84/12.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
47.84/12.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.84/12.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.84/12.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.43/12.49	c lits-rem:       570  cl-subs:     1594  v-elim:      0  v-fix:    0  time:  0.43 s
49.43/12.49	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
49.43/12.50	c vivif2 --  cl tried    28140 cl shrink        0 lits rem          0 time: 0.01
49.83/12.51	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.02
49.83/12.51	c calculated reachability. Time: 0.00
49.83/12.51	c  N st    38    158511       533      2314         0     28140      7055    516774   no data   no data
69.38/17.41	c  N st    39    207099       533      2314         0     22808      7055    343007   no data   no data
82.54/20.75	c  N st    40    237768       533      2314         0     33179      7055    565589   no data   no data
82.54/20.75	c  S st    40    237768       533      2314         0     33179      7055    565589   no data   no data
82.94/20.83	c  S st    40    238271       533      2314         0     33681      7055    577843   no data   no data
82.94/20.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.94/20.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.94/20.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.94/20.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.94/20.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.94/20.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
82.94/20.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
82.94/20.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.94/20.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.34/21.48	c lits-rem:       276  cl-subs:     2149  v-elim:      0  v-fix:    0  time:  0.62 s
85.34/21.48	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
85.34/21.49	c vivif2 --  cl tried    31532 cl shrink        0 lits rem          0 time: 0.01
85.74/21.51	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.02
85.74/21.51	c calculated reachability. Time: 0.00
85.74/21.51	c  N st    40    238271       533      2314         0     31532      7055    527092   no data   no data
116.86/29.39	c  F st    41    306250       533      2314         0     33478      7055    543613   no data   no data
116.86/29.39	c  N st    41    306250       533      2314         0     33478      7055    543613   no data   no data
119.63/30.01	c Decided on static restart strategy
132.00/33.12	c  N st    51    334554       533      2314         0     37778      7055    636875   no data   no data
142.77/35.84	c  N st    53    357407       533      2314         0     35696      7055    592013   no data   no data
142.77/35.84	c  S st    53    357407       533      2314         0     35696      7055    592013   no data   no data
143.19/35.94	c  S st    53    357907       533      2314         0     36195      7055    604624   no data   no data
143.19/35.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
143.19/35.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
143.19/35.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
143.19/35.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.19/35.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.19/35.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
143.19/35.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
143.19/35.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
143.19/35.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.36/36.27	c lits-rem:       161  cl-subs:      793  v-elim:      0  v-fix:    0  time:  0.30 s
144.36/36.27	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
144.36/36.28	c vivif2 --  cl tried    35402 cl shrink        0 lits rem          0 time: 0.01
144.76/36.31	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.02
144.76/36.31	c calculated reachability. Time: 0.00
144.76/36.31	c  N st    53    357907       533      2314         0     35402      7055    580811   no data   no data
161.92/40.67	c  N st    54    390301       533      2314         0     41722      7055    751361   no data   no data
189.04/47.42	c  N st    55    438889       533      2314         0     35396      7055    524502   no data   no data
232.52/58.36	c  N st    56    511773       533      2314         0     48844      7055    831961   no data   no data
248.92/62.48	c  N st    57    536861       533      2314         0     43040      7055    664965   no data   no data
248.92/62.48	c  S st    57    536861       533      2314         0     43040      7055    664965   no data   no data
249.27/62.59	c  S st    57    537364       533      2314         0     43539      7055    677191   no data   no data
249.27/62.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
249.67/62.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
249.67/62.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
249.67/62.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.67/62.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.67/62.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
249.67/62.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
249.67/62.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
249.67/62.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.08/63.27	c lits-rem:       234  cl-subs:     1623  v-elim:      0  v-fix:    0  time:  0.64 s
252.08/63.27	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
252.08/63.28	c vivif2 --  cl tried    41916 cl shrink        0 lits rem          0 time: 0.01
252.48/63.31	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.03
252.48/63.31	c calculated reachability. Time: 0.00
252.48/63.31	c  N st    57    537364       533      2314         0     41916      7055    634380   no data   no data
368.14/92.37	c  N st    58    701348       533      2314         0     36205      7055    396714   no data   no data
443.53/111.24	c  N st    59    806046       533      2314         0     64962      7055   1131507   no data   no data
443.53/111.24	c  S st    59    806046       533      2314         0     64962      7055   1131507   no data   no data
444.32/111.42	c  S st    59    806552       533      2314         0     65467      7055   1144538   no data   no data
444.32/111.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
444.32/111.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
444.32/111.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
444.32/111.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
444.32/111.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
444.32/111.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
444.32/111.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
444.32/111.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
444.73/111.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
457.89/114.87	c lits-rem:       801  cl-subs:     4208  v-elim:      0  v-fix:    0  time:  3.36 s
457.89/114.87	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
457.89/114.88	c vivif2 --  cl tried    61259 cl shrink        0 lits rem          0 time: 0.01
458.29/114.94	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.05
458.29/114.94	c calculated reachability. Time: 0.00
458.29/114.94	c  N st    59    806552       533      2314         0     61259      7055   1036353   no data   no data
663.71/166.43	c  F st    60   1071878       533      2314         0     77312      7055   1342982   no data   no data
663.71/166.43	c  N st    60   1071878       533      2314         0     77312      7055   1342982   no data   no data
668.90/167.70	c Decided on static restart strategy
688.44/172.60	c  N st    70   1100180       533      2314         0     61108      7055    882493   no data   no data
730.33/183.10	c  N st    72   1136173       533      2314         0     51373      7055    605230   no data   no data
757.47/189.94	c  N st    73   1168565       533      2314         0     83144      7055   1439435   no data   no data
793.35/198.97	c  N st    74   1209829       533      2314         0     77515      7055   1303036   no data   no data
793.35/198.97	c  S st    74   1209829       533      2314         0     77515      7055   1303036   no data   no data
794.55/199.20	c  S st    74   1210330       533      2314         0     78016      7055   1315791   no data   no data
794.55/199.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
794.55/199.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
794.55/199.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
794.55/199.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
794.55/199.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
794.55/199.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
794.55/199.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
794.55/199.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
794.55/199.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
807.70/202.51	c lits-rem:       809  cl-subs:     3480  v-elim:      0  v-fix:    0  time:  3.21 s
807.70/202.51	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
807.70/202.53	c vivif2 --  cl tried    74536 cl shrink        0 lits rem          0 time: 0.02
808.10/202.60	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.07
808.10/202.60	c calculated reachability. Time: 0.00
808.10/202.60	c  N st    74   1210330       533      2314         0     74536      7055   1227912   no data   no data
890.66/223.34	c  N st    75   1283213       533      2314         0     50981      7055    560965   no data   no data
999.55/250.65	c  N st    76   1392536       533      2314         0     59171      7055    750918   no data   no data
1155.12/289.62	c  N st    77   1556520       533      2314         0     63949      7055    827141   no data   no data
1317.04/330.20	c  N st    78   1710330       533      2314         0    105631      7055   1853506   no data   no data
1317.04/330.20	c  S st    78   1710330       533      2314         0    105631      7055   1853506   no data   no data
1318.25/330.52	c  S st    78   1710832       533      2314         0    106128      7055   1865674   no data   no data
1318.25/330.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1318.25/330.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1318.25/330.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1318.25/330.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1318.25/330.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1318.25/330.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
1318.25/330.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1318.65/330.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1318.65/330.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1370.88/343.78	c lits-rem:       472  cl-subs:     8151  v-elim:      0  v-fix:    0  time: 13.11 s
1370.88/343.78	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
1371.28/343.80	c vivif2 --  cl tried    97977 cl shrink        0 lits rem          0 time: 0.02
1371.28/343.91	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.10
1371.70/343.91	c calculated reachability. Time: 0.00
1371.70/343.91	c  N st    78   1710832       533      2314         0     97977      7055   1668759   no data   no data
1803.25/452.11	c  N st    79   2079797       533      2314         0    109879      7055   1909490   no data   no data
1956.01/490.43	c  N st    80   2210833       533      2314         0    114161      7055   2063664   no data   no data
1956.01/490.43	c  S st    80   2210833       533      2314         0    114161      7055   2063664   no data   no data
1957.61/490.80	c  S st    80   2211335       533      2314         0    114661      7055   2076682   no data   no data
1957.61/490.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1957.61/490.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1957.61/490.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1957.61/490.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1957.61/490.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1957.61/490.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
1957.61/490.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1958.01/490.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1958.01/490.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2009.06/503.71	c lits-rem:      1240  cl-subs:     5997  v-elim:      0  v-fix:    0  time: 12.75 s
2009.06/503.71	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
2009.06/503.74	c vivif2 --  cl tried   108664 cl shrink        0 lits rem          0 time: 0.03
2009.45/503.86	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.12
2009.45/503.86	c calculated reachability. Time: 0.00
2009.45/503.86	c  N st    80   2211335       533      2314         0    108664      7055   1909016   no data   no data
2640.84/662.19	c  N st    81   2711336       533      2314         0    131127      7055   2394178   no data   no data
2640.84/662.19	c  S st    81   2711336       533      2314         0    131127      7055   2394178   no data   no data
2642.84/662.66	c  S st    81   2711839       533      2314         0    131627      7055   2407186   no data   no data
2642.84/662.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2643.24/662.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2643.24/662.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2643.24/662.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2643.24/662.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2643.24/662.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
2643.24/662.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2643.24/662.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2643.65/662.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2744.56/688.11	c lits-rem:      1033  cl-subs:    11874  v-elim:      0  v-fix:    0  time: 25.27 s
2744.56/688.11	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
2744.56/688.14	c vivif2 --  cl tried   119753 cl shrink        0 lits rem          0 time: 0.03
2744.97/688.28	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.14
2744.97/688.28	c calculated reachability. Time: 0.00
2744.97/688.28	c  N st    81   2711839       533      2314         0    119753      7055   2116862   no data   no data
3447.71/864.48	c  N st    82   3211841       533      2314         0     95852      7055   1245046   no data   no data
3447.71/864.48	c  S st    82   3211841       533      2314         0     95852      7055   1245046   no data   no data
3448.91/864.77	c  S st    82   3212342       533      2314         0     96351      7055   1258012   no data   no data
3448.91/864.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3449.31/864.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3449.31/864.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3449.31/864.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3449.31/864.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3449.31/864.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
3449.31/864.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3449.31/864.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3449.31/864.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3457.29/866.88	c lits-rem:       576  cl-subs:     2875  v-elim:      0  v-fix:    0  time:  1.99 s
3457.29/866.88	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
3457.29/866.89	c vivif2 --  cl tried    93476 cl shrink        0 lits rem          0 time: 0.02
3457.69/866.99	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.10
3457.69/867.00	c calculated reachability. Time: 0.00
3457.69/867.00	c  N st    82   3212342       533      2314         0     93476      7055   1187400   no data   no data
4249.01/1065.32	c  N st    83   3712342       533      2314         0    104344      7055   1375250   no data   no data
4249.01/1065.32	c  S st    83   3712342       533      2314         0    104344      7055   1375250   no data   no data
4250.25/1065.63	c  S st    83   3712844       533      2314         0    104845      7055   1388371   no data   no data
4250.25/1065.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4250.25/1065.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4250.25/1065.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4250.25/1065.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4250.25/1065.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4250.25/1065.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
4250.25/1065.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4250.60/1065.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4250.60/1065.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4263.00/1068.82	c lits-rem:       201  cl-subs:     3725  v-elim:      0  v-fix:    0  time:  3.07 s
4263.00/1068.82	c vivif2 --  cl tried     2314 cl shrink        0 lits rem          0 time: 0.00
4263.00/1068.84	c vivif2 --  cl tried   101120 cl shrink        0 lits rem          0 time: 0.02
4263.42/1068.95	c asymm  cl-useful: 0/2314/2314 lits-rem:0 time: 0.10
4263.42/1068.95	c calculated reachability. Time: 0.00
4263.42/1068.95	c  N st    83   3712844       533      2314         0    101120      7055   1298211   no data   no data
4329.23/1085.49	c  F st    84   3751562       533      2314         0    138767      7055   2322111   no data   no data
4329.23/1085.49	c  N st    84   3751562       533      2314         0    138767      7055   2322111   no data   no data
4345.13/1089.48	c Decided on static restart strategy
4392.59/1101.37	c  N st    94   3779872       533      2314         0     83878      7055    812817   no data   no data
4438.06/1112.70	c  N st    96   3815869       533      2314         0    118948      7055   1740592   no data   no data
4503.47/1129.13	c  N st    97   3848263       533      2314         0    150574      7055   2603391   no data   no data
4578.45/1148.01	c  N st    98   3896853       533      2314         0    114251      7055   1588367   no data   no data
4693.36/1176.78	c  N st    99   3969735       533      2314         0    100370      7055   1173110   no data   no data

Verifier Data

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

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366648-1305410859/watcher-3366648-1305410859 -o /tmp/evaluation-result-3366648-1305410859/solver-3366648-1305410859 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366648-1305410859.cnf 

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

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


[startup+0 s]
/proc/loadavg: 0.48 0.10 0.08 7/361 15546
/proc/meminfo: memFree=25219080/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 731316585 52396032 347 33554432000 4194304 4580107 140733522836464 18446744073709551615 47205512497068 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 12792 347 299 95 0 7774 0
[pid=15546/tid=15547] ppid=15544 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 731316585 52396032 347 33554432000 4194304 4580107 140733522836464 18446744073709551615 47205512497074 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 731316585 52396032 347 33554432000 4194304 4580107 140733522836464 18446744073709551615 47205512497074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 731316586 52396032 347 33554432000 4194304 4580107 140733522836464 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.170951 s]
/proc/loadavg: 0.48 0.10 0.08 7/361 15546
/proc/meminfo: memFree=25219080/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=350812 CPUtime=3.42 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 5465 0 0 0 341 1 0 0 25 0 4 0 731316585 359231488 2667 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 87703 2667 377 95 0 82685 0
[pid=15546/tid=15547] ppid=15544 vsize=350812 CPUtime=0.85 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1301 0 0 0 85 0 0 0 19 0 4 0 731316585 359231488 2667 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=350812 CPUtime=0.84 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1271 0 0 0 84 0 0 0 25 0 4 0 731316585 359231488 2667 33554432000 4194304 4580107 140733522836464 18446744073709551615 4322541 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=350812 CPUtime=0.84 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1173 0 0 0 84 0 0 0 19 0 4 0 731316586 359231488 2667 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 350812

[startup+0.96479 s]
/proc/loadavg: 0.48 0.10 0.08 7/361 15546
/proc/meminfo: memFree=25219080/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=350812 CPUtime=3.82 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 5712 0 0 0 381 1 0 0 25 0 4 0 731316585 359231488 2914 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 87703 2914 377 95 0 82685 0
[pid=15546/tid=15547] ppid=15544 vsize=350812 CPUtime=0.95 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1358 0 0 0 95 0 0 0 19 0 4 0 731316585 359231488 2914 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=350812 CPUtime=0.94 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1346 0 0 0 94 0 0 0 25 0 4 0 731316585 359231488 2914 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=350812 CPUtime=0.94 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1228 0 0 0 94 0 0 0 19 0 4 0 731316586 359231488 2914 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 350812

[startup+1.06477 s]
/proc/loadavg: 0.48 0.10 0.08 7/361 15546
/proc/meminfo: memFree=25219080/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=350812 CPUtime=4.22 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 5957 0 0 0 421 1 0 0 25 0 4 0 731316585 359231488 3159 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 87703 3159 377 95 0 82685 0
[pid=15546/tid=15547] ppid=15544 vsize=350812 CPUtime=1.05 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1427 0 0 0 105 0 0 0 19 0 4 0 731316585 359231488 3159 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=350812 CPUtime=1.04 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1395 0 0 0 104 0 0 0 25 0 4 0 731316585 359231488 3159 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=350812 CPUtime=1.04 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1291 0 0 0 104 0 0 0 19 0 4 0 731316586 359231488 3159 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 350812

[startup+1.16475 s]
/proc/loadavg: 0.48 0.10 0.08 7/361 15546
/proc/meminfo: memFree=25219080/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=350812 CPUtime=4.62 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 6253 0 0 0 461 1 0 0 25 0 4 0 731316585 359231488 3455 33554432000 4194304 4580107 140733522836464 18446744073709551615 4320872 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 87703 3455 378 95 0 82685 0
[pid=15546/tid=15547] ppid=15544 vsize=350812 CPUtime=1.15 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1486 0 0 0 115 0 0 0 19 0 4 0 731316585 359231488 3455 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=350812 CPUtime=1.14 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1475 0 0 0 114 0 0 0 25 0 4 0 731316585 359231488 3455 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=350812 CPUtime=1.14 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1366 0 0 0 114 0 0 0 19 0 4 0 731316586 359231488 3455 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 350812

[startup+1.50069 s]
/proc/loadavg: 0.48 0.10 0.08 7/361 15546
/proc/meminfo: memFree=25219080/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=351416 CPUtime=5.96 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 9037 0 0 0 595 1 0 0 25 0 4 0 731316585 359849984 4803 33554432000 4194304 4580107 140733522836464 18446744073709551615 4417015 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 87854 4803 379 95 0 82836 0
[pid=15546/tid=15547] ppid=15544 vsize=351416 CPUtime=1.49 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1843 0 0 0 149 0 0 0 19 0 4 0 731316585 359849984 4803 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=351416 CPUtime=1.48 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1813 0 0 0 148 0 0 0 25 0 4 0 731316585 359849984 4803 33554432000 4194304 4580107 140733522836464 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=351416 CPUtime=1.48 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 1707 0 0 0 148 0 0 0 20 0 4 0 731316586 359849984 4803 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 351416

[startup+3.1004 s]
/proc/loadavg: 0.48 0.10 0.08 9/365 15550
/proc/meminfo: memFree=25147376/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=359088 CPUtime=12.34 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 18571 0 0 0 1231 3 0 0 25 0 4 0 731316585 367706112 10219 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 89772 10219 379 95 0 84754 0
[pid=15546/tid=15547] ppid=15544 vsize=359088 CPUtime=3.08 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 4062 0 0 0 308 0 0 0 25 0 4 0 731316585 367706112 10219 33554432000 4194304 4580107 140733522836464 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=359088 CPUtime=3.08 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 5091 0 0 0 307 1 0 0 25 0 4 0 731316585 367706112 10219 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=359088 CPUtime=3.05 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 4407 0 0 0 305 0 0 0 25 0 4 0 731316586 367706112 10219 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 359088

[startup+6.3138 s]
/proc/loadavg: 1.08 0.23 0.13 9/365 15550
/proc/meminfo: memFree=25118516/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=360176 CPUtime=25.15 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 30207 0 0 0 2510 5 0 0 25 0 4 0 731316585 368820224 13716 33554432000 4194304 4580107 140733522836464 18446744073709551615 4324346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 90044 13716 379 95 0 85026 0
[pid=15546/tid=15547] ppid=15544 vsize=360176 CPUtime=6.3 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 7613 0 0 0 629 1 0 0 25 0 4 0 731316585 368820224 13716 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=360176 CPUtime=6.29 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 8472 0 0 0 628 1 0 0 25 0 4 0 731316585 368820224 13716 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=360176 CPUtime=6.23 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 6612 0 0 0 622 1 0 0 25 0 4 0 731316586 368820224 13716 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 360176

[startup+12.7006 s]
/proc/loadavg: 1.72 0.38 0.17 9/365 15550
/proc/meminfo: memFree=25077008/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=368820 CPUtime=50.63 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 48248 0 0 0 5054 9 0 0 25 0 4 0 731316585 377671680 19824 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 92205 19824 379 95 0 87187 0
[pid=15546/tid=15547] ppid=15544 vsize=368820 CPUtime=12.69 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 11983 0 0 0 1267 2 0 0 25 0 4 0 731316585 377671680 19824 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=368820 CPUtime=12.67 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 11745 0 0 0 1265 2 0 0 25 0 4 0 731316585 377671680 19824 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=368820 CPUtime=12.56 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 11446 0 0 0 1254 2 0 0 25 0 4 0 731316586 377671680 19824 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 368820

[startup+25.5002 s]
/proc/loadavg: 3.11 0.75 0.30 9/365 15551
/proc/meminfo: memFree=25025596/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=370404 CPUtime=101.69 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 74157 0 0 0 10154 15 0 0 25 0 4 0 731316585 379293696 25707 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 92601 25707 379 95 0 87583 0
[pid=15546/tid=15547] ppid=15544 vsize=370404 CPUtime=25.48 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 19503 0 0 0 2545 3 0 0 25 0 4 0 731316585 379293696 25707 33554432000 4194304 4580107 140733522836464 18446744073709551615 4321351 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=370404 CPUtime=25.48 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 18446 0 0 0 2544 4 0 0 25 0 4 0 731316585 379293696 25707 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=370404 CPUtime=25.2 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 16283 0 0 0 2517 3 0 0 25 0 4 0 731316586 379293696 25707 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 370404

[startup+51.1004 s]
/proc/loadavg: 4.78 1.33 0.50 9/365 15551
/proc/meminfo: memFree=24978644/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=375440 CPUtime=203.8 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 110661 0 0 0 20357 23 0 0 25 0 4 0 731316585 384450560 31468 33554432000 4194304 4580107 140733522836464 18446744073709551615 4320708 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 93860 31468 379 95 0 88842 0
[pid=15546/tid=15547] ppid=15544 vsize=375440 CPUtime=51.08 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 27623 0 0 0 5103 5 0 0 25 0 4 0 731316585 384450560 31468 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=375440 CPUtime=51.07 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 28461 0 0 0 5101 6 0 0 25 0 4 0 731316585 384450560 31468 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=375440 CPUtime=50.53 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 25052 0 0 0 5048 5 0 0 25 0 4 0 731316586 384450560 31468 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 375440

[startup+102.301 s]
/proc/loadavg: 6.64 2.37 0.90 9/365 15553
/proc/meminfo: memFree=24930396/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=402240 CPUtime=408.04 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 168693 0 0 0 40765 39 0 0 25 0 4 0 731316585 411893760 41441 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 100560 41448 379 95 0 95542 0
[pid=15546/tid=15547] ppid=15544 vsize=402240 CPUtime=102.28 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 43484 0 0 0 10219 9 0 0 25 0 4 0 731316585 411893760 41451 33554432000 4194304 4580107 140733522836464 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=402240 CPUtime=102.28 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 42112 0 0 0 10217 11 0 0 25 0 4 0 731316585 411893760 41455 33554432000 4194304 4580107 140733522836464 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=402240 CPUtime=101.15 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 40283 0 0 0 10106 9 0 0 25 0 4 0 731316586 411893760 41459 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 402240

[startup+162.301 s]

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

[pid=15546] ppid=15544 vsize=560340 CPUtime=2801.18 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 535030 0 0 0 279951 167 0 0 25 0 4 0 731316585 573788160 93686 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 140085 93686 379 95 0 135067 0
[pid=15546/tid=15547] ppid=15544 vsize=560340 CPUtime=702.29 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 124612 0 0 0 70190 39 0 0 25 0 4 0 731316585 573788160 93686 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=560340 CPUtime=702.29 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 141580 0 0 0 70186 43 0 0 25 0 4 0 731316585 573788160 93686 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=560340 CPUtime=694.25 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 126439 0 0 0 69383 42 0 0 25 0 4 0 731316586 573788160 93686 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.18
Current children cumulated vsize (KiB) 560340

[startup+762.301 s]
/proc/loadavg: 8.18 7.49 4.56 9/365 15570
/proc/meminfo: memFree=24505760/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=626156 CPUtime=3040.5 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 561906 0 0 0 303872 178 0 0 25 0 4 0 731316585 641183744 100923 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 156539 100923 379 95 0 151521 0
[pid=15546/tid=15547] ppid=15544 vsize=626156 CPUtime=762.29 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 133276 0 0 0 76186 43 0 0 25 0 4 0 731316585 641183744 100923 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=626156 CPUtime=762.3 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 149664 0 0 0 76184 46 0 0 25 0 4 0 731316585 641183744 100923 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=626156 CPUtime=753.57 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 129797 0 0 0 75313 44 0 0 25 0 4 0 731316586 641183744 100923 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.5
Current children cumulated vsize (KiB) 626156

[startup+822.301 s]
/proc/loadavg: 8.23 7.62 4.78 9/365 15572
/proc/meminfo: memFree=24475116/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=586208 CPUtime=3279.82 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 585597 0 0 0 327795 187 0 0 25 0 4 0 731316585 600276992 102605 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 146552 102605 379 95 0 141534 0
[pid=15546/tid=15547] ppid=15544 vsize=586208 CPUtime=822.29 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 140337 0 0 0 82183 46 0 0 25 0 4 0 731316585 600276992 102605 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=586208 CPUtime=822.3 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 157379 0 0 0 82181 49 0 0 25 0 4 0 731316585 600276992 102605 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=586208 CPUtime=812.88 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 135343 0 0 0 81242 46 0 0 25 0 4 0 731316586 600276992 102605 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.82
Current children cumulated vsize (KiB) 586208

[startup+882.301 s]
/proc/loadavg: 8.15 7.71 4.99 9/365 15574
/proc/meminfo: memFree=24445964/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=637480 CPUtime=3519.1 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 615273 0 0 0 351713 197 0 0 25 0 4 0 731316585 652779520 108451 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 159370 108451 379 95 0 154352 0
[pid=15546/tid=15547] ppid=15544 vsize=637480 CPUtime=882.29 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 150544 0 0 0 88180 49 0 0 25 0 4 0 731316585 652779520 108451 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=637480 CPUtime=882.3 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 162935 0 0 0 88179 51 0 0 25 0 4 0 731316585 652779520 108451 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=637480 CPUtime=872.16 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 145069 0 0 0 87167 49 0 0 25 0 4 0 731316586 652779520 108451 33554432000 4194304 4580107 140733522836464 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.1
Current children cumulated vsize (KiB) 637480

[startup+942.301 s]
/proc/loadavg: 8.05 7.76 5.17 9/365 15575
/proc/meminfo: memFree=24411336/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=690972 CPUtime=3758.43 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 637379 0 0 0 375637 206 0 0 25 0 4 0 731316585 707555328 116490 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 172743 116490 379 95 0 167725 0
[pid=15546/tid=15547] ppid=15544 vsize=690972 CPUtime=942.3 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 156645 0 0 0 94179 51 0 0 25 0 4 0 731316585 707555328 116490 33554432000 4194304 4580107 140733522836464 18446744073709551615 4321248 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=690972 CPUtime=942.31 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 168514 0 0 0 94177 54 0 0 25 0 4 0 731316585 707555328 116490 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=690972 CPUtime=931.48 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 149576 0 0 0 93097 51 0 0 25 0 4 0 731316586 707555328 116490 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.43
Current children cumulated vsize (KiB) 690972

[startup+1002.3 s]
/proc/loadavg: 8.02 7.80 5.35 9/365 15577
/proc/meminfo: memFree=24437236/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=662436 CPUtime=3997.73 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 660139 0 0 0 399556 217 0 0 25 0 4 0 731316585 678334464 112920 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 165609 112920 379 95 0 160591 0
[pid=15546/tid=15547] ppid=15544 vsize=662436 CPUtime=1002.29 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 163593 0 0 0 100174 55 0 0 25 0 4 0 731316585 678334464 112920 33554432000 4194304 4580107 140733522836464 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=662436 CPUtime=1002.31 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 174966 0 0 0 100174 57 0 0 25 0 4 0 731316585 678334464 112920 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=662436 CPUtime=990.79 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 154793 0 0 0 99026 53 0 0 25 0 4 0 731316586 678334464 112920 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.73
Current children cumulated vsize (KiB) 662436

[startup+1062.31 s]
/proc/loadavg: 8.11 7.86 5.52 9/365 15578
/proc/meminfo: memFree=24388736/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=740856 CPUtime=4237.09 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 683622 0 0 0 423481 228 0 0 25 0 4 0 731316585 758636544 121131 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294396 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 185214 121131 379 95 0 180196 0
[pid=15546/tid=15547] ppid=15544 vsize=740856 CPUtime=1062.3 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 170319 0 0 0 106174 56 0 0 25 0 4 0 731316585 758636544 121131 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=740856 CPUtime=1062.32 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 179991 0 0 0 106172 60 0 0 25 0 4 0 731316585 758636544 121131 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=740856 CPUtime=1050.1 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 161575 0 0 0 104954 56 0 0 25 0 4 0 731316586 758636544 121131 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.09
Current children cumulated vsize (KiB) 740856

[startup+1122.3 s]
/proc/loadavg: 8.04 7.88 5.67 9/365 15580
/proc/meminfo: memFree=24389700/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=675888 CPUtime=4476.34 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 706494 0 0 0 447397 237 0 0 25 0 4 0 731316585 692109312 121059 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 168972 121059 379 95 0 163954 0
[pid=15546/tid=15547] ppid=15544 vsize=675888 CPUtime=1122.29 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 176152 0 0 0 112171 58 0 0 25 0 4 0 731316585 692109312 121059 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=675888 CPUtime=1122.31 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 187165 0 0 0 112168 63 0 0 25 0 4 0 731316585 692109312 121059 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=675888 CPUtime=1109.39 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 165616 0 0 0 110882 57 0 0 25 0 4 0 731316586 692109312 121059 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.34
Current children cumulated vsize (KiB) 675888

[startup+1182.3 s]
/proc/loadavg: 8.10 7.93 5.83 9/365 15582
/proc/meminfo: memFree=24377528/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=662864 CPUtime=4715.65 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 726234 0 0 0 471318 247 0 0 25 0 4 0 731316585 678772736 123275 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 165716 123275 379 95 0 160698 0
[pid=15546/tid=15547] ppid=15544 vsize=662864 CPUtime=1182.3 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 178159 0 0 0 118170 60 0 0 25 0 4 0 731316585 678772736 123275 33554432000 4194304 4580107 140733522836464 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=662864 CPUtime=1182.31 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 192108 0 0 0 118166 65 0 0 25 0 4 0 731316585 678772736 123275 33554432000 4194304 4580107 140733522836464 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=662864 CPUtime=1168.69 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 172168 0 0 0 116809 60 0 0 25 0 4 0 731316586 678772736 123275 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.65
Current children cumulated vsize (KiB) 662864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.07 7.94 5.87 5/360 15583
/proc/meminfo: memFree=24731440/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=663256 CPUtime=4800.23 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 731894 0 0 0 479774 249 0 0 25 0 4 0 731316585 679174144 124819 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 165814 124819 379 95 0 160796 0
[pid=15546/tid=15547] ppid=15544 vsize=663256 CPUtime=1203.51 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 180401 0 0 0 120291 60 0 0 25 0 4 0 731316585 679174144 124821 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=663256 CPUtime=1203.52 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 192645 0 0 0 120287 65 0 0 25 0 4 0 731316585 679174144 124821 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=663256 CPUtime=1189.66 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 173749 0 0 0 118904 62 0 0 25 0 4 0 731316586 679174144 124821 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 663256

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

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

[startup+1203.5 s]
/proc/loadavg: 8.07 7.94 5.87 5/360 15583
/proc/meminfo: memFree=24731440/32950928 swapFree=38710892/67111528
[pid=15546] ppid=15544 vsize=663256 CPUtime=4800.23 cores=0,2,4,6
/proc/15546/stat : 15546 (strangenight2-m) R 15544 15546 15445 0 -1 4202496 731894 0 0 0 479774 249 0 0 25 0 4 0 731316585 679174144 124819 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 165814 124819 379 95 0 160796 0
[pid=15546/tid=15547] ppid=15544 vsize=663256 CPUtime=1203.51 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 180401 0 0 0 120291 60 0 0 25 0 4 0 731316585 679174144 124821 33554432000 4194304 4580107 140733522836464 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15546/tid=15548] ppid=15544 vsize=663256 CPUtime=1203.52 cores=0,2,4,6
/proc/15546/task/15548/stat : 15548 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 192645 0 0 0 120287 65 0 0 25 0 4 0 731316585 679174144 124821 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=663256 CPUtime=1189.66 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (strangenight2-m) R 15544 15546 15445 0 -1 4202560 173749 0 0 0 118904 62 0 0 25 0 4 0 731316586 679174144 124821 33554432000 4194304 4580107 140733522836464 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 663256

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.3
CPU user time (s): 4797.78
CPU system time (s): 2.51962
CPU usage (%): 398.849
Max. virtual memory (cumulated for all children) (KiB): 817908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.78
system time used= 2.51962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 731897
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= 358
involuntary context switches= 24988

runsolver used 3.9774 second user time and 9.69453 second system time

The end

Launcher Data

Begin job on node113 at 2011-05-15 00:07:39
IDJOB=3366648
IDBENCH=83057
IDSOLVER=1844
FILE ID=node113/3366648-1305410859
RUNJOBID= node113-1305410849-15463
PBS_JOBID= 13324530
Free space on /tmp= 73436 MiB

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

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

MD5SUM BENCH= c3d1d9237da00564d672945308bcff7c
RANDOM SEED=1628417270

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25219236 kB
Buffers:        256300 kB
Cached:        2809984 kB
SwapCached:      93712 kB
Active:         768912 kB
Inactive:      6700180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25219236 kB
SwapTotal:    67111528 kB
SwapFree:     38710892 kB
Dirty:           11544 kB
Writeback:           0 kB
AnonPages:     4320460 kB
Mapped:          14284 kB
Slab:           105704 kB
PageTables:      91596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 87143360 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= 73428 MiB
End job on node113 at 2011-05-15 00:27:45