Trace number 3366505

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf
MD5SUMbf9c7e319eca3277c9c5b6246acb470c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark391.674
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-3366505-1305405794.cnf'
0.00/0.01	c -- header says num vars:            100
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      42 undec:       5 neg:      53
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
0.13/0.06	c Decided on static restart strategy
0.37/0.12	c  N st     8      4917       100      2130         0      4595     10650     99435   no data   no data
1.17/0.31	c  N st    10     11299       100      2130         0      4246     10650     74192   no data   no data
1.97/0.51	c  N st    11     17043       100      2130         0      9584     10650    187236   no data   no data
3.17/0.81	c  F st    12     25000       100      2130         0     11757     10650    234784   no data   no data
3.17/0.81	c  N st    12     25000       100      2130         0     11757     10650    234784   no data   no data
4.01/1.01	c Decided on static restart strategy
4.01/1.01	c  N st    18     30001       100      2130         0     10101     10650    188758   no data   no data
4.01/1.01	c  S st    18     30001       100      2130         0     10101     10650    188758   no data   no data
4.01/1.04	c  S st    18     30506       100      2130         0     10586     10650    199428   no data   no data
4.01/1.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.01/1.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.01/1.04	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
4.01/1.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.01/1.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.01/1.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4.01/1.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.01/1.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.01/1.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.21	c lits-rem:       191  cl-subs:     1759  v-elim:      0  v-fix:    0  time:  0.16 s
4.76/1.24	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.76/1.24	c calculated reachability. Time: 0.00
4.76/1.24	c  N st    18     30506       100      2130         0      8827     10650    161088   no data   no data
5.95/1.57	c  N st    20     37617       100      2130         0      8102     10650    130014   no data   no data
7.16/1.87	c  N st    21     44018       100      2130         0     14049     10650    257189   no data   no data
7.56/1.97	c  S st    22     45760       100      2130         0     15672     10650    293450   no data   no data
7.95/2.02	c  S st    22     46263       100      2130         0     16156     10650    304416   no data   no data
7.95/2.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.95/2.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.95/2.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.95/2.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.95/2.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.95/2.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.95/2.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.95/2.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.95/2.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.43	c lits-rem:       416  cl-subs:     2364  v-elim:      0  v-fix:    0  time:  0.40 s
9.54/2.43	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.54/2.43	c vivif2 --  cl tried    13792 cl shrink        0 lits rem          0 time: 0.00
9.54/2.48	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.54/2.48	c calculated reachability. Time: 0.00
9.54/2.48	c  N st    22     46263       100      2130         0     13792     10650    254579   no data   no data
12.78/3.23	c  N st    23     60661       100      2130         0      9726     10650    143459   no data   no data
14.33/3.67	c  N st    24     69394       100      2130         0     17766     10650    313369   no data   no data
14.33/3.67	c  S st    24     69394       100      2130         0     17766     10650    313369   no data   no data
14.73/3.72	c  S st    24     69900       100      2130         0     18257     10650    324213   no data   no data
14.73/3.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.73/3.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
14.73/3.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.73/3.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.73/3.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.73/3.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.73/3.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.73/3.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.23	c lits-rem:       439  cl-subs:     2492  v-elim:      0  v-fix:    0  time:  0.49 s
16.73/4.23	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.73/4.23	c vivif2 --  cl tried    15765 cl shrink        0 lits rem          0 time: 0.00
16.73/4.29	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
16.73/4.29	c calculated reachability. Time: 0.00
16.73/4.29	c  N st    24     69900       100      2130         0     15765     10650    272627   no data   no data
21.11/5.33	c  F st    25     87501       100      2130         0     21990     10650    399817   no data   no data
21.11/5.33	c  N st    25     87501       100      2130         0     21990     10650    399817   no data   no data
22.31/5.64	c Decided on static restart strategy
23.11/5.82	c  N st    32     95539       100      2130         0     18434     10650    316401   no data   no data
25.51/6.40	c  N st    34    104851       100      2130         0     15064     10650    240726   no data   no data
25.51/6.40	c  S st    34    104851       100      2130         0     15064     10650    240726   no data   no data
25.51/6.44	c  S st    34    105353       100      2130         0     15545     10650    251380   no data   no data
25.51/6.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.51/6.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
25.51/6.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.51/6.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.51/6.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.51/6.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
25.51/6.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.51/6.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.51/6.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.59	c lits-rem:       138  cl-subs:     1097  v-elim:      0  v-fix:    0  time:  0.14 s
25.94/6.59	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.94/6.60	c vivif2 --  cl tried    14448 cl shrink        0 lits rem          0 time: 0.00
26.35/6.65	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
26.35/6.65	c calculated reachability. Time: 0.00
26.35/6.65	c  N st    34    105353       100      2130         0     14448     10650    227968   no data   no data
28.69/7.24	c  N st    35    114951       100      2130         0     23363     10650    429618   no data   no data
32.28/8.17	c  N st    36    129350       100      2130         0     23767     10650    419972   no data   no data
38.26/9.66	c  N st    37    150945       100      2130         0     15032     10650    199429   no data   no data
39.85/10.06	c  S st    38    158029       100      2130         0     21629     10650    347209   no data   no data
40.25/10.12	c  S st    38    158531       100      2130         0     22108     10650    358076   no data   no data
40.25/10.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.25/10.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
40.25/10.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.25/10.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.25/10.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.25/10.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.25/10.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.25/10.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.25/10.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.85/10.52	c lits-rem:       405  cl-subs:     1766  v-elim:      0  v-fix:    0  time:  0.38 s
41.85/10.52	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.85/10.52	c vivif2 --  cl tried    20342 cl shrink        0 lits rem          0 time: 0.00
41.85/10.59	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
41.85/10.60	c calculated reachability. Time: 0.00
41.85/10.60	c  N st    38    158531       100      2130         0     20342     10650    320467   no data   no data
58.20/14.61	c  N st    39    207119       100      2130         0     32929     10650    567605   no data   no data
69.37/17.40	c  N st    40    237798       100      2130         0     25109     10650    379790   no data   no data
69.37/17.40	c  S st    40    237798       100      2130         0     25109     10650    379790   no data   no data
69.37/17.46	c  S st    40    238302       100      2130         0     25587     10650    390702   no data   no data
69.37/17.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.37/17.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
69.37/17.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.37/17.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.37/17.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.37/17.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
69.37/17.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.37/17.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
69.37/17.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.77/18.00	c lits-rem:       370  cl-subs:     2306  v-elim:      0  v-fix:    0  time:  0.51 s
71.77/18.00	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
71.77/18.01	c vivif2 --  cl tried    23281 cl shrink        0 lits rem          0 time: 0.00
71.77/18.09	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.09
71.77/18.09	c calculated reachability. Time: 0.00
71.77/18.09	c  N st    40    238302       100      2130         0     23281     10650    344243   no data   no data
97.29/24.40	c  F st    41    306251       100      2130         0     25139     10650    347954   no data   no data
97.29/24.40	c  N st    41    306251       100      2130         0     25139     10650    347954   no data   no data
98.89/24.86	c Decided on static restart strategy
109.30/27.45	c  N st    51    334550       100      2130         0     29239     10650    417886   no data   no data
120.03/30.13	c  N st    53    357454       100      2130         0     27331     10650    369801   no data   no data
120.03/30.13	c  S st    53    357454       100      2130         0     27331     10650    369801   no data   no data
120.43/30.20	c  S st    53    357958       100      2130         0     27820     10650    380913   no data   no data
120.43/30.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
120.43/30.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
120.43/30.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
120.43/30.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
120.43/30.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
120.43/30.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
120.43/30.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
120.43/30.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
120.43/30.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
121.62/30.50	c lits-rem:       286  cl-subs:     1300  v-elim:      0  v-fix:    0  time:  0.28 s
121.62/30.50	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
121.62/30.51	c vivif2 --  cl tried    26520 cl shrink        0 lits rem          0 time: 0.00
122.02/30.60	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
122.02/30.60	c calculated reachability. Time: 0.00
122.02/30.60	c  N st    53    357958       100      2130         0     26520     10650    354858   no data   no data
136.38/34.20	c  N st    54    390350       100      2130         0     32616     10650    470628   no data   no data
162.70/40.84	c  N st    55    438939       100      2130         0     26592     10650    324569   no data   no data
194.63/48.81	c  N st    56    511822       100      2130         0     39329     10650    583698   no data   no data
204.99/51.47	c  N st    57    536938       100      2130         0     33973     10650    449150   no data   no data
204.99/51.47	c  S st    57    536938       100      2130         0     33973     10650    449150   no data   no data
205.39/51.55	c  S st    57    537439       100      2130         0     34447     10650    459711   no data   no data
205.39/51.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
205.39/51.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
205.39/51.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
205.39/51.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
205.39/51.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
205.39/51.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
205.39/51.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
205.39/51.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
205.39/51.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
207.38/52.05	c lits-rem:       611  cl-subs:     1744  v-elim:      0  v-fix:    0  time:  0.46 s
207.38/52.05	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
207.38/52.05	c vivif2 --  cl tried    32703 cl shrink        0 lits rem          0 time: 0.01
207.78/52.18	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.13
207.78/52.18	c calculated reachability. Time: 0.00
207.78/52.18	c  N st    57    537439       100      2130         0     32703     10650    425075   no data   no data
285.57/71.63	c  N st    58    701423       100      2130         0     59898     10650    955624   no data   no data
343.01/86.03	c  N st    59    806159       100      2130         0     54398     10650    806226   no data   no data
343.01/86.03	c  S st    59    806159       100      2130         0     54398     10650    806226   no data   no data
343.41/86.18	c  S st    59    806662       100      2130         0     54874     10650    817056   no data   no data
343.41/86.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
343.81/86.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
343.81/86.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
343.81/86.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
343.81/86.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
343.81/86.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
343.81/86.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
343.81/86.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
343.81/86.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
356.17/89.37	c lits-rem:      1023  cl-subs:     6713  v-elim:      0  v-fix:    0  time:  3.14 s
356.17/89.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
356.17/89.38	c vivif2 --  cl tried    48161 cl shrink        0 lits rem          0 time: 0.01
357.37/89.61	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
357.37/89.61	c calculated reachability. Time: 0.00
357.37/89.61	c  N st    59    806662       100      2130         0     48161     10650    691770   no data   no data
513.38/128.71	c  F st    60   1071875       100      2130         0     63632     10650    972936   no data   no data
513.38/128.71	c  N st    60   1071875       100      2130         0     63632     10650    972936   no data   no data
517.78/129.86	c Decided on static restart strategy
538.47/135.04	c  N st    70   1100178       100      2130         0     48419     10650    618098   no data   no data
565.64/141.81	c  N st    72   1136172       100      2130         0     81571     10650   1335512   no data   no data
589.13/147.71	c  N st    73   1168565       100      2130         0     69092     10650   1067853   no data   no data
627.46/157.39	c  N st    74   1209993       100      2130         0     63869     10650    929221   no data   no data
627.46/157.39	c  S st    74   1209993       100      2130         0     63869     10650    929221   no data   no data
628.61/157.63	c  S st    74   1210496       100      2130         0     64353     10650    940195   no data   no data
628.61/157.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
628.61/157.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
628.61/157.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
628.61/157.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
628.61/157.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
628.61/157.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
628.61/157.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
628.61/157.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
629.00/157.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
648.99/162.79	c lits-rem:      1079  cl-subs:     5459  v-elim:      0  v-fix:    0  time:  5.08 s
648.99/162.79	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
648.99/162.81	c vivif2 --  cl tried    58894 cl shrink        0 lits rem          0 time: 0.01
650.55/163.16	c asymm  cl-useful: 0/1969/2130 lits-rem:0 time: 0.35
650.55/163.16	c calculated reachability. Time: 0.00
650.55/163.16	c  N st    74   1210496       100      2130         0     58894     10650    830586   no data   no data
713.17/178.89	c  N st    75   1283378       100      2130         0     81928     10650   1319932   no data   no data
807.34/202.44	c  N st    76   1392702       100      2130         0     91223     10650   1458853   no data   no data
952.13/238.73	c  N st    77   1556687       100      2130         0     98682     10650   1597665   no data   no data
1088.91/273.02	c  N st    78   1710496       100      2130         0     88300     10650   1332576   no data   no data
1088.91/273.02	c  S st    78   1710496       100      2130         0     88300     10650   1332576   no data   no data
1090.11/273.31	c  S st    78   1710999       100      2130         0     88774     10650   1343905   no data   no data
1090.11/273.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1090.11/273.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
1090.11/273.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1090.11/273.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1090.11/273.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1090.11/273.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1090.11/273.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1090.11/273.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1090.51/273.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1196.17/299.99	c lits-rem:      1592  cl-subs:    11290  v-elim:      0  v-fix:    0  time: 26.56 s
1196.17/299.99	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1196.57/300.01	c vivif2 --  cl tried    77484 cl shrink        0 lits rem          0 time: 0.02
1198.55/300.57	c asymm  cl-useful: 0/1464/2130 lits-rem:0 time: 0.56
1198.55/300.57	c calculated reachability. Time: 0.00
1198.55/300.57	c  N st    78   1710999       100      2130         0     77484     10650   1132589   no data   no data
1536.38/385.24	c  N st    79   2079963       100      2130         0     89742     10650   1322700   no data   no data
1671.99/419.25	c  N st    80   2210999       100      2130         0     93093     10650   1354838   no data   no data
1671.99/419.25	c  S st    80   2210999       100      2130         0     93093     10650   1354838   no data   no data
1673.19/419.56	c  S st    80   2211503       100      2130         0     93576     10650   1366153   no data   no data
1673.19/419.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1673.59/419.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1673.59/419.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1673.59/419.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1673.59/419.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1673.59/419.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1673.59/419.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1673.59/419.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1673.59/419.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1723.90/432.30	c lits-rem:      1788  cl-subs:    11145  v-elim:      0  v-fix:    0  time: 12.63 s
1723.90/432.30	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1724.30/432.31	c vivif2 --  cl tried    82431 cl shrink        0 lits rem          0 time: 0.02
1725.04/432.55	c asymm  cl-useful: 0/666/2130 lits-rem:0 time: 0.23
1725.04/432.55	c calculated reachability. Time: 0.00
1725.04/432.55	c  N st    80   2211503       100      2130         0     82431     10650   1155970   no data   no data
2263.95/567.64	c  N st    81   2711503       100      2130         0    105238     10650   1563004   no data   no data
2263.95/567.64	c  S st    81   2711503       100      2130         0    105238     10650   1563004   no data   no data
2265.50/568.02	c  S st    81   2712007       100      2130         0    105714     10650   1573705   no data   no data
2265.50/568.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2265.50/568.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2265.50/568.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2265.50/568.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2265.50/568.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2265.50/568.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2265.50/568.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2265.90/568.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2265.90/568.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2329.36/584.05	c lits-rem:      1405  cl-subs:    13359  v-elim:      0  v-fix:    0  time: 15.91 s
2329.36/584.05	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2329.36/584.07	c vivif2 --  cl tried    92355 cl shrink        0 lits rem          0 time: 0.02
2330.90/584.46	c asymm  cl-useful: 0/1346/2130 lits-rem:0 time: 0.39
2330.90/584.47	c calculated reachability. Time: 0.00
2330.90/584.47	c  N st    81   2712007       100      2130         0     92355     10650   1315299   no data   no data
2943.96/738.17	c  N st    82   3212007       100      2130         0    141166     10650   2217725   no data   no data
2943.96/738.17	c  S st    82   3212007       100      2130         0    141166     10650   2217725   no data   no data
2945.91/738.63	c  S st    82   3212512       100      2130         0    141653     10650   2229096   no data   no data
2945.91/738.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2946.31/738.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2946.31/738.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2946.31/738.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2946.31/738.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2946.31/738.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2946.31/738.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2946.31/738.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2946.71/738.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3132.96/785.56	c lits-rem:      2332  cl-subs:    24325  v-elim:      0  v-fix:    0  time: 46.75 s
3132.96/785.56	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3132.96/785.59	c vivif2 --  cl tried   117328 cl shrink        0 lits rem          0 time: 0.03
3134.96/786.00	c asymm  cl-useful: 0/784/2130 lits-rem:0 time: 0.41
3134.96/786.00	c calculated reachability. Time: 0.00
3134.96/786.00	c  N st    82   3212512       100      2130         0    117328     10650   1791340   no data   no data
3720.16/932.72	c  N st    83   3712514       100      2130         0    135308     10650   2048553   no data   no data
3720.16/932.72	c  S st    83   3712514       100      2130         0    135308     10650   2048553   no data   no data
3721.72/933.19	c  S st    83   3713015       100      2130         0    135793     10650   2059929   no data   no data
3721.72/933.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3722.12/933.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3722.12/933.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3722.12/933.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3722.12/933.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3722.12/933.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3722.12/933.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3722.12/933.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3722.52/933.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3860.11/967.81	c lits-rem:      1978  cl-subs:    20400  v-elim:      0  v-fix:    0  time: 34.46 s
3860.11/967.81	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3860.11/967.84	c vivif2 --  cl tried   115393 cl shrink        0 lits rem          0 time: 0.03
3861.70/968.20	c asymm  cl-useful: 0/1064/2130 lits-rem:0 time: 0.36
3861.70/968.21	c calculated reachability. Time: 0.00
3861.70/968.21	c  N st    83   3713015       100      2130         0    115393     10650   1690612   no data   no data
3916.75/982.01	c  F st    84   3751563       100      2130         0    150515     10650   2439703   no data   no data
3916.75/982.01	c  N st    84   3751563       100      2130         0    150515     10650   2439703   no data   no data
3925.13/984.13	c Decided on static restart strategy
3949.45/990.22	c  N st    94   3779867       100      2130         0    100960     10650   1358221   no data   no data
3999.71/1002.89	c  N st    96   3815859       100      2130         0    134224     10650   2101991   no data   no data
4049.61/1015.39	c  N st    97   3848251       100      2130         0     86420     10650   1012036   no data   no data
4102.27/1028.60	c  N st    98   3896840       100      2130         0    131199     10650   2000205   no data   no data
4205.14/1054.34	c  N st    99   3969723       100      2130         0    119452     10650   1721861   no data   no data
4371.03/1095.92	c  N st   100   4079047       100      2130         0    139460     10650   2078972   no data   no data
4617.06/1157.65	c  N st   101   4213016       100      2130         0     99935     10650   1243430   no data   no data
4617.06/1157.65	c  S st   101   4213016       100      2130         0     99935     10650   1243430   no data   no data
4618.27/1157.93	c  S st   101   4213518       100      2130         0    100411     10650   1254730   no data   no data
4618.27/1157.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4618.27/1157.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4618.27/1157.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4618.27/1157.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4618.27/1157.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4618.27/1157.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4618.27/1157.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4618.67/1158.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4618.67/1158.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4637.05/1162.61	c lits-rem:       790  cl-subs:     6346  v-elim:      0  v-fix:    0  time:  4.56 s
4637.05/1162.61	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4637.05/1162.63	c vivif2 --  cl tried    94065 cl shrink        0 lits rem          0 time: 0.02
4638.20/1162.95	c asymm  cl-useful: 0/1066/2130 lits-rem:0 time: 0.32
4638.20/1162.95	c calculated reachability. Time: 0.00
4638.20/1162.95	c  N st   101   4213518       100      2130         0     94065     10650   1134903   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-3366505-1305405794/watcher-3366505-1305405794 -o /tmp/evaluation-result-3366505-1305405794/solver-3366505-1305405794 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366505-1305405794.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: 6.82 7.81 7.97 1/353 28671
/proc/meminfo: memFree=24024188/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=51168 CPUtime=0.02 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 411 0 0 0 2 0 0 0 22 0 4 0 652179834 52396032 351 33554432000 4194304 4580107 140737117645520 18446744073709551615 47883045070355 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 12792 351 302 95 0 7774 0
[pid=28671/tid=28673] ppid=28669 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 652179834 52396032 351 33554432000 4194304 4580107 140737117645520 18446744073709551615 47883045070361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652179834 52396032 351 33554432000 4194304 4580107 140737117645520 18446744073709551615 47883045070770 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652179834 52396032 351 33554432000 4194304 4580107 140737117645520 18446744073709551615 47883045070365 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0409999 s]
/proc/loadavg: 6.82 7.81 7.97 1/353 28671
/proc/meminfo: memFree=24024188/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=281996 CPUtime=0.13 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 1320 0 0 0 13 0 0 0 24 0 4 0 652179834 288763904 1184 33554432000 4194304 4580107 140737117645520 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 70499 1184 375 95 0 65481 0
[pid=28671/tid=28673] ppid=28669 vsize=281996 CPUtime=0.03 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 265 0 0 0 3 0 0 0 24 0 4 0 652179834 288763904 1184 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=281996 CPUtime=0.02 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 245 0 0 0 2 0 0 0 24 0 4 0 652179834 288763904 1185 33554432000 4194304 4580107 140737117645520 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=281996 CPUtime=0.03 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 148 0 0 0 3 0 0 0 25 0 4 0 652179834 288763904 1186 33554432000 4194304 4580107 140737117645520 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 281996

[startup+0.100959 s]
/proc/loadavg: 6.82 7.81 7.97 1/353 28671
/proc/meminfo: memFree=24024188/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=282144 CPUtime=0.37 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 1676 0 0 0 37 0 0 0 24 0 4 0 652179834 288915456 1540 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 70536 1540 376 95 0 65518 0
[pid=28671/tid=28673] ppid=28669 vsize=282144 CPUtime=0.09 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 362 0 0 0 9 0 0 0 24 0 4 0 652179834 288915456 1540 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=282144 CPUtime=0.08 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 345 0 0 0 8 0 0 0 24 0 4 0 652179834 288915456 1540 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=282144 CPUtime=0.09 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 235 0 0 0 9 0 0 0 25 0 4 0 652179834 288915456 1540 33554432000 4194304 4580107 140737117645520 18446744073709551615 4321270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282144

[startup+0.300923 s]
/proc/loadavg: 6.82 7.81 7.97 1/353 28671
/proc/meminfo: memFree=24024188/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=283684 CPUtime=1.17 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 2903 0 0 0 117 0 0 0 25 0 4 0 652179834 290492416 2041 33554432000 4194304 4580107 140737117645520 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 70921 2041 377 95 0 65903 0
[pid=28671/tid=28673] ppid=28669 vsize=283684 CPUtime=0.29 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 649 0 0 0 29 0 0 0 24 0 4 0 652179834 290492416 2041 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=283684 CPUtime=0.28 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 632 0 0 0 28 0 0 0 25 0 4 0 652179834 290492416 2042 33554432000 4194304 4580107 140737117645520 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=283684 CPUtime=0.29 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 609 0 0 0 29 0 0 0 25 0 4 0 652179834 290492416 2042 33554432000 4194304 4580107 140737117645520 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283684

[startup+0.70085 s]
/proc/loadavg: 6.82 7.81 7.97 1/353 28671
/proc/meminfo: memFree=24024188/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=284868 CPUtime=2.77 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 5030 0 0 0 277 0 0 0 25 0 4 0 652179834 291704832 2565 33554432000 4194304 4580107 140737117645520 18446744073709551615 4321874 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 71217 2565 377 95 0 66199 0
[pid=28671/tid=28673] ppid=28669 vsize=284868 CPUtime=0.69 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 1201 0 0 0 69 0 0 0 25 0 4 0 652179834 291704832 2565 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=284868 CPUtime=0.68 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 1193 0 0 0 68 0 0 0 25 0 4 0 652179834 291704832 2565 33554432000 4194304 4580107 140737117645520 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=284868 CPUtime=0.69 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 1052 0 0 0 69 0 0 0 25 0 4 0 652179834 291704832 2565 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284868

[startup+1.50071 s]
/proc/loadavg: 6.82 7.81 7.97 9/365 28686
/proc/meminfo: memFree=23991544/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=291040 CPUtime=5.95 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 10180 0 0 0 594 1 0 0 25 0 4 0 652179834 298024960 5387 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 72760 5387 379 95 0 67742 0
[pid=28671/tid=28673] ppid=28669 vsize=291040 CPUtime=1.49 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 2981 0 0 0 149 0 0 0 25 0 4 0 652179834 298024960 5387 33554432000 4194304 4580107 140737117645520 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=291040 CPUtime=1.46 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 1983 0 0 0 146 0 0 0 25 0 4 0 652179834 298024960 5387 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=291040 CPUtime=1.49 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 1821 0 0 0 149 0 0 0 25 0 4 0 652179834 298024960 5387 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 291040

[startup+3.10041 s]
/proc/loadavg: 6.82 7.81 7.97 9/365 28686
/proc/meminfo: memFree=23950300/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=293796 CPUtime=12.34 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 18156 0 0 0 1232 2 0 0 25 0 4 0 652179834 300847104 9458 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 73449 9458 379 95 0 68431 0
[pid=28671/tid=28673] ppid=28669 vsize=293796 CPUtime=3.09 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 4023 0 0 0 309 0 0 0 25 0 4 0 652179834 300847104 9458 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=293796 CPUtime=3.05 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 4817 0 0 0 304 1 0 0 25 0 4 0 652179834 300847104 9458 33554432000 4194304 4580107 140737117645520 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=293796 CPUtime=3.09 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 4545 0 0 0 309 0 0 0 25 0 4 0 652179834 300847104 9458 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 293796

[startup+6.30083 s]
/proc/loadavg: 6.91 7.81 7.97 9/365 28686
/proc/meminfo: memFree=23908640/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=294716 CPUtime=25.11 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 28118 0 0 0 2507 4 0 0 25 0 4 0 652179834 301789184 14054 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 73679 14054 379 95 0 68661 0
[pid=28671/tid=28673] ppid=28669 vsize=294716 CPUtime=6.29 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 7016 0 0 0 628 1 0 0 25 0 4 0 652179834 301789184 14055 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=294716 CPUtime=6.21 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 7569 0 0 0 620 1 0 0 25 0 4 0 652179834 301789184 14055 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=294716 CPUtime=6.29 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 6671 0 0 0 629 0 0 0 25 0 4 0 652179834 301789184 14055 33554432000 4194304 4580107 140737117645520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 294716

[startup+12.7007 s]
/proc/loadavg: 7.00 7.82 7.97 9/365 28686
/proc/meminfo: memFree=23881512/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=304912 CPUtime=50.62 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 43770 0 0 0 5056 6 0 0 25 0 4 0 652179834 312229888 17098 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 76228 17098 379 95 0 71210 0
[pid=28671/tid=28673] ppid=28669 vsize=304912 CPUtime=12.68 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 10369 0 0 0 1267 1 0 0 25 0 4 0 652179834 312229888 17098 33554432000 4194304 4580107 140737117645520 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=304912 CPUtime=12.54 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 12164 0 0 0 1252 2 0 0 25 0 4 0 652179834 312229888 17098 33554432000 4194304 4580107 140737117645520 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=304912 CPUtime=12.68 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 11018 0 0 0 1268 0 0 0 25 0 4 0 652179834 312229888 17098 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 304912

[startup+25.5003 s]
/proc/loadavg: 7.22 7.82 7.97 9/365 28687
/proc/meminfo: memFree=23841936/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=294788 CPUtime=101.68 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 65785 0 0 0 10157 11 0 0 25 0 4 0 652179834 301862912 20599 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 73697 20599 379 95 0 68679 0
[pid=28671/tid=28673] ppid=28669 vsize=294788 CPUtime=25.49 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 15892 0 0 0 2546 3 0 0 25 0 4 0 652179834 301862912 20599 33554432000 4194304 4580107 140737117645520 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=294788 CPUtime=25.19 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 17561 0 0 0 2516 3 0 0 25 0 4 0 652179834 301862912 20599 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=294788 CPUtime=25.48 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 16762 0 0 0 2547 1 0 0 25 0 4 0 652179834 301862912 20599 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 294788

[startup+51.1007 s]
/proc/loadavg: 7.56 7.85 7.97 9/365 28687
/proc/meminfo: memFree=23791016/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=307244 CPUtime=203.8 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 96940 0 0 0 20363 17 0 0 25 0 4 0 652179834 314617856 26620 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 76811 26620 379 95 0 71793 0
[pid=28671/tid=28673] ppid=28669 vsize=307244 CPUtime=51.09 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 23527 0 0 0 5105 4 0 0 25 0 4 0 652179834 314617856 26620 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=307244 CPUtime=50.52 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 26655 0 0 0 5046 6 0 0 25 0 4 0 652179834 314617856 26620 33554432000 4194304 4580107 140737117645520 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=307244 CPUtime=51.09 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 25383 0 0 0 5106 3 0 0 25 0 4 0 652179834 314617856 26620 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 307244

[startup+102.313 s]
/proc/loadavg: 7.86 7.89 7.98 9/365 28689
/proc/meminfo: memFree=23722044/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=362928 CPUtime=408.07 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 144588 0 0 0 40778 29 0 0 25 0 4 0 652179834 371638272 38174 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 90732 38174 379 95 0 85714 0
[pid=28671/tid=28673] ppid=28669 vsize=362928 CPUtime=102.3 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 35156 0 0 0 10223 7 0 0 25 0 4 0 652179834 371638272 38174 33554432000 4194304 4580107 140737117645520 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=362928 CPUtime=101.16 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 36967 0 0 0 10108 8 0 0 25 0 4 0 652179834 371638272 38174 33554432000 4194304 4580107 140737117645520 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=362928 CPUtime=102.3 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 38857 0 0 0 10223 7 0 0 25 0 4 0 652179834 371638272 38174 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 362928

[startup+162.3 s]

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

[pid=28671] ppid=28669 vsize=548388 CPUtime=2801.14 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 483162 0 0 0 279970 144 0 0 25 0 4 0 652179834 561549312 84762 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 137097 84762 379 95 0 132079 0
[pid=28671/tid=28673] ppid=28669 vsize=548388 CPUtime=702.31 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 120264 0 0 0 70195 36 0 0 25 0 4 0 652179834 561549312 84762 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=548388 CPUtime=694.32 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 121092 0 0 0 69393 39 0 0 25 0 4 0 652179834 561549312 84762 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=548388 CPUtime=702.31 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 122685 0 0 0 70197 34 0 0 25 0 4 0 652179834 561549312 84762 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.14
Current children cumulated vsize (KiB) 548388

[startup+762.314 s]
/proc/loadavg: 8.08 8.08 8.02 9/365 28706
/proc/meminfo: memFree=23346308/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=542928 CPUtime=3040.48 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 503323 0 0 0 303897 151 0 0 25 0 4 0 652179834 555958272 86490 33554432000 4194304 4580107 140737117645520 18446744073709551615 4406358 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 135732 86490 379 95 0 130714 0
[pid=28671/tid=28673] ppid=28669 vsize=542928 CPUtime=762.32 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 125107 0 0 0 76195 37 0 0 25 0 4 0 652179834 555958272 86490 33554432000 4194304 4580107 140737117645520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=542928 CPUtime=753.63 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 126736 0 0 0 75322 41 0 0 25 0 4 0 652179834 555958272 86490 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=542928 CPUtime=762.32 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 126684 0 0 0 76196 36 0 0 25 0 4 0 652179834 555958272 86490 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.48
Current children cumulated vsize (KiB) 542928

[startup+822.301 s]
/proc/loadavg: 8.12 8.09 8.03 9/365 28708
/proc/meminfo: memFree=23270640/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=568952 CPUtime=3279.74 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 526365 0 0 0 327815 159 0 0 25 0 4 0 652179834 582606848 97112 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 142238 97112 379 95 0 137220 0
[pid=28671/tid=28673] ppid=28669 vsize=568952 CPUtime=822.3 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 131417 0 0 0 82190 40 0 0 25 0 4 0 652179834 582606848 97112 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=568952 CPUtime=812.94 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 134241 0 0 0 81251 43 0 0 25 0 4 0 652179834 582606848 97112 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=568952 CPUtime=822.32 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 131317 0 0 0 82194 38 0 0 25 0 4 0 652179834 582606848 97112 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.74
Current children cumulated vsize (KiB) 568952

[startup+882.301 s]
/proc/loadavg: 8.11 8.10 8.03 9/365 28710
/proc/meminfo: memFree=23280040/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=567696 CPUtime=3519.08 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 547952 0 0 0 351739 169 0 0 25 0 4 0 652179834 581320704 90129 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 141924 90129 379 95 0 136906 0
[pid=28671/tid=28673] ppid=28669 vsize=567696 CPUtime=882.3 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 139072 0 0 0 88187 43 0 0 25 0 4 0 652179834 581320704 90129 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=567696 CPUtime=872.28 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 140644 0 0 0 87183 45 0 0 25 0 4 0 652179834 581320704 90129 33554432000 4194304 4580107 140737117645520 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=567696 CPUtime=882.31 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 135334 0 0 0 88191 40 0 0 25 0 4 0 652179834 581320704 90130 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.08
Current children cumulated vsize (KiB) 567696

[startup+942.301 s]
/proc/loadavg: 8.12 8.11 8.04 9/365 28711
/proc/meminfo: memFree=23264644/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=594228 CPUtime=3758.41 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 572706 0 0 0 375663 178 0 0 25 0 4 0 652179834 608489472 96254 33554432000 4194304 4580107 140737117645520 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 148557 96254 379 95 0 143539 0
[pid=28671/tid=28673] ppid=28669 vsize=594228 CPUtime=942.31 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 145385 0 0 0 94184 47 0 0 25 0 4 0 652179834 608489472 96254 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=594228 CPUtime=931.61 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 146670 0 0 0 93113 48 0 0 25 0 4 0 652179834 608489472 96254 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=594228 CPUtime=942.31 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 141568 0 0 0 94189 42 0 0 25 0 4 0 652179834 608489472 96254 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.41
Current children cumulated vsize (KiB) 594228

[startup+1002.3 s]
/proc/loadavg: 8.08 8.10 8.03 9/365 28713
/proc/meminfo: memFree=23282848/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=581404 CPUtime=3997.72 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 592078 0 0 0 399585 187 0 0 25 0 4 0 652179834 595357696 97029 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 145351 97029 379 95 0 140333 0
[pid=28671/tid=28673] ppid=28669 vsize=581404 CPUtime=1002.32 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 149915 0 0 0 100183 49 0 0 25 0 4 0 652179834 595357696 97029 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=581404 CPUtime=990.92 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 152219 0 0 0 99042 50 0 0 25 0 4 0 652179834 595357696 97029 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=581404 CPUtime=1002.31 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 147440 0 0 0 100187 44 0 0 25 0 4 0 652179834 595357696 97029 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.72
Current children cumulated vsize (KiB) 581404

[startup+1062.3 s]
/proc/loadavg: 8.03 8.08 8.03 9/365 28714
/proc/meminfo: memFree=23262720/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=581708 CPUtime=4237.05 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 616637 0 0 0 423509 196 0 0 25 0 4 0 652179834 595668992 103178 33554432000 4194304 4580107 140737117645520 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 145427 103178 379 95 0 140409 0
[pid=28671/tid=28673] ppid=28669 vsize=581708 CPUtime=1062.31 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 155943 0 0 0 106180 51 0 0 25 0 4 0 652179834 595668992 103178 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=581708 CPUtime=1050.26 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 158187 0 0 0 104974 52 0 0 25 0 4 0 652179834 595668992 103178 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=581708 CPUtime=1062.32 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 153807 0 0 0 106185 47 0 0 25 0 4 0 652179834 595668992 103178 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.05
Current children cumulated vsize (KiB) 581708

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 8.03 9/365 28725
/proc/meminfo: memFree=23223032/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=581884 CPUtime=4476.3 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 642233 0 0 0 447425 205 0 0 25 0 4 0 652179834 595849216 110021 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 145471 110021 380 95 0 140453 0
[pid=28671/tid=28673] ppid=28669 vsize=581884 CPUtime=1122.31 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 163720 0 0 0 112178 53 0 0 25 0 4 0 652179834 595849216 110021 33554432000 4194304 4580107 140737117645520 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=581884 CPUtime=1109.55 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 162734 0 0 0 110900 55 0 0 25 0 4 0 652179834 595849216 110021 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=581884 CPUtime=1122.3 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 161434 0 0 0 112181 49 0 0 25 0 4 0 652179834 595849216 110021 33554432000 4194304 4580107 140737117645520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4476.3
Current children cumulated vsize (KiB) 581884

[startup+1182.3 s]
/proc/loadavg: 8.15 8.11 8.04 9/365 28727
/proc/meminfo: memFree=23207760/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=620536 CPUtime=4715.58 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 655832 0 0 0 471346 212 0 0 25 0 4 0 652179834 635428864 112542 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 155134 112542 380 95 0 150116 0
[pid=28671/tid=28673] ppid=28669 vsize=620536 CPUtime=1182.31 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 166338 0 0 0 118177 54 0 0 25 0 4 0 652179834 635428864 112542 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=620536 CPUtime=1168.83 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 167052 0 0 0 116826 57 0 0 25 0 4 0 652179834 635428864 112542 33554432000 4194304 4580107 140737117645520 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=620536 CPUtime=1182.3 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 164121 0 0 0 118180 50 0 0 25 0 4 0 652179834 635428864 112542 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.58
Current children cumulated vsize (KiB) 620536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.10 8.10 8.04 9/365 28727
/proc/meminfo: memFree=23226976/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=630356 CPUtime=4800.16 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 659869 0 0 0 479801 215 0 0 25 0 4 0 652179834 645484544 109331 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 157589 109331 380 95 0 152571 0
[pid=28671/tid=28673] ppid=28669 vsize=630356 CPUtime=1203.53 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 167488 0 0 0 120298 55 0 0 25 0 4 0 652179834 645484544 109331 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=630356 CPUtime=1189.77 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 167355 0 0 0 118920 57 0 0 25 0 4 0 652179834 645484544 109331 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=630356 CPUtime=1203.51 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 165382 0 0 0 120300 51 0 0 25 0 4 0 652179834 645484544 109331 33554432000 4194304 4580107 140737117645520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 630356

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.10 8.10 8.04 9/365 28727
/proc/meminfo: memFree=23226976/32951124 swapFree=56449224/67111528
[pid=28671] ppid=28669 vsize=630356 CPUtime=4800.16 cores=0,2,4,6
/proc/28671/stat : 28671 (strangenight2-m) R 28669 28671 28046 0 -1 4202496 659869 0 0 0 479801 215 0 0 25 0 4 0 652179834 645484544 109331 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28671/statm: 157589 109331 380 95 0 152571 0
[pid=28671/tid=28673] ppid=28669 vsize=630356 CPUtime=1203.53 cores=0,2,4,6
/proc/28671/task/28673/stat : 28673 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 167488 0 0 0 120298 55 0 0 25 0 4 0 652179834 645484544 109331 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28671/tid=28674] ppid=28669 vsize=630356 CPUtime=1189.77 cores=0,2,4,6
/proc/28671/task/28674/stat : 28674 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 167355 0 0 0 118920 57 0 0 25 0 4 0 652179834 645484544 109331 33554432000 4194304 4580107 140737117645520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28671/tid=28676] ppid=28669 vsize=630356 CPUtime=1203.51 cores=0,2,4,6
/proc/28671/task/28676/stat : 28676 (strangenight2-m) R 28669 28671 28046 0 -1 4202560 165382 0 0 0 120300 51 0 0 25 0 4 0 652179834 645484544 109331 33554432000 4194304 4580107 140737117645520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 630356

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.21
CPU user time (s): 4798.04
CPU system time (s): 2.16767
CPU usage (%): 398.842
Max. virtual memory (cumulated for all children) (KiB): 689672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.04
system time used= 2.16767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 659871
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= 289
involuntary context switches= 20060

runsolver used 3.9274 second user time and 9.8285 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-14 22:43:14
IDJOB=3366505
IDBENCH=82914
IDSOLVER=1844
FILE ID=node106/3366505-1305405794
RUNJOBID= node106-1305405794-28659
PBS_JOBID= 13324490
Free space on /tmp= 73360 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366505-1305405794/watcher-3366505-1305405794 -o /tmp/evaluation-result-3366505-1305405794/solver-3366505-1305405794 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366505-1305405794.cnf

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

MD5SUM BENCH= bf9c7e319eca3277c9c5b6246acb470c
RANDOM SEED=865813069

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24024468 kB
Buffers:        269032 kB
Cached:        5679416 kB
SwapCached:      27544 kB
Active:         724440 kB
Inactive:      7975312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24024468 kB
SwapTotal:    67111528 kB
SwapFree:     56449224 kB
Dirty:            5576 kB
Writeback:           8 kB
AnonPages:     2731928 kB
Mapped:           9540 kB
Slab:           113928 kB
PageTables:      47656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74993492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73352 MiB
End job on node106 at 2011-05-14 23:03:20