Trace number 3366312

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf
MD5SUMac64879f46539032a3d2139dc7635d2e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.063989
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366312-1305401470.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 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:    650 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.01	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     299 undec:      72 neg:     279
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       630      2748         0         0      8382         0   no data   no data
0.00/0.08	c Decided on static restart strategy
0.42/0.17	c  N st     8      4914       630      2748         0      4862      8382    138933   no data   no data
1.57/0.45	c  N st    10     11299       630      2748         0      4493      8382     88856   no data   no data
2.77/0.74	c  N st    11     17042       630      2748         0     10147      8382    248815   no data   no data
4.41/1.18	c  F st    12     25000       630      2748         0     12451      8382    315300   no data   no data
4.41/1.18	c  N st    12     25000       630      2748         0     12451      8382    315300   no data   no data
5.55/1.45	c Decided on static restart strategy
5.55/1.45	c  N st    18     30001       630      2748         0     10730      8382    240456   no data   no data
5.55/1.45	c  S st    18     30001       630      2748         0     10730      8382    240456   no data   no data
5.55/1.48	c  S st    18     30504       630      2748         0     11233      8382    253856   no data   no data
5.55/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.49	c blocked clauses removed:        3 vars:      1 tried:         630 T: 0.00 s
5.55/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
5.55/1.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.55/1.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.95/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.55	c lits-rem:        69  cl-subs:      335  v-elim:      0  v-fix:    0  time:  0.05 s
5.95/1.56	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.01
5.95/1.56	c calculated reachability. Time: 0.00
5.95/1.56	c  N st    18     30504       629      2745         0     10898      8373    243060   no data   no data
7.55/1.98	c  N st    20     37614       629      2745         0     10130      8373    201555   no data   no data
9.13/2.39	c  N st    21     44013       629      2745         0     16405      8373    375825   no data   no data
9.94/2.51	c  S st    22     45757       629      2745         0      9340      8373    157062   no data   no data
9.94/2.54	c  S st    22     46261       629      2745         0      9844      8373    170030   no data   no data
9.94/2.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.94/2.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.94/2.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
9.94/2.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.94/2.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.94/2.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.56	c lits-rem:        79  cl-subs:       36  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.56	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
9.94/2.56	c vivif2 --  cl tried     9808 cl shrink        0 lits rem          0 time: 0.00
9.94/2.57	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.01
9.94/2.57	c calculated reachability. Time: 0.00
9.94/2.57	c  N st    22     46261       629      2745         0      9808      8373    168856   no data   no data
13.93/3.59	c  N st    23     60658       629      2745         0     14200      8373    288551   no data   no data
16.72/4.28	c  N st    24     69391       629      2745         0     11982      8373    208661   no data   no data
16.72/4.28	c  S st    24     69391       629      2745         0     11982      8373    208661   no data   no data
17.14/4.31	c  S st    24     69892       629      2745         0     12483      8373    221851   no data   no data
17.14/4.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.14/4.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.14/4.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.14/4.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.14/4.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.14/4.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
17.14/4.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.14/4.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.14/4.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.14/4.34	c lits-rem:        24  cl-subs:       95  v-elim:      0  v-fix:    0  time:  0.02 s
17.14/4.34	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
17.14/4.35	c vivif2 --  cl tried    12388 cl shrink        0 lits rem          0 time: 0.00
17.14/4.35	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.01
17.14/4.35	c calculated reachability. Time: 0.00
17.14/4.35	c  N st    24     69892       629      2745         0     12388      8373    218835   no data   no data
22.71/5.75	c  F st    25     87500       629      2745         0     17850      8373    362757   no data   no data
22.71/5.75	c  N st    25     87500       629      2745         0     17850      8373    362757   no data   no data
24.30/6.18	c Decided on static restart strategy
25.50/6.44	c  N st    32     95541       629      2745         0     12995      8373    196644   no data   no data
28.29/7.12	c  N st    34    104838       629      2745         0     22146      8373    472251   no data   no data
28.29/7.12	c  S st    34    104838       629      2745         0     22146      8373    472251   no data   no data
28.29/7.18	c  S st    34    105340       629      2745         0     22647      8373    485843   no data   no data
28.29/7.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.29/7.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.29/7.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.29/7.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.29/7.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.29/7.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
28.29/7.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.29/7.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.69/7.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.09/7.37	c lits-rem:        70  cl-subs:      596  v-elim:      0  v-fix:    0  time:  0.16 s
29.09/7.37	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
29.09/7.38	c vivif2 --  cl tried    22051 cl shrink        0 lits rem          0 time: 0.00
29.09/7.39	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.01
29.09/7.39	c calculated reachability. Time: 0.00
29.09/7.39	c  N st    34    105340       629      2745         0     22051      8373    465418   no data   no data
32.67/8.27	c  N st    35    114940       629      2745         0     17730      8373    311131   no data   no data
38.26/9.64	c  N st    36    129337       629      2745         0     17127      8373    274239   no data   no data
46.23/11.68	c  N st    37    150932       629      2745         0     22622      8373    420146   no data   no data
49.42/12.42	c  S st    38    158010       629      2745         0     29584      8373    619515   no data   no data
49.42/12.49	c  S st    38    158513       629      2745         0     30084      8373    632953   no data   no data
49.82/12.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.82/12.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.82/12.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.82/12.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.82/12.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.82/12.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
49.82/12.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.82/12.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.82/12.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.43/12.96	c lits-rem:       183  cl-subs:     1124  v-elim:      0  v-fix:    0  time:  0.43 s
51.43/12.96	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
51.43/12.97	c vivif2 --  cl tried    28960 cl shrink        0 lits rem          0 time: 0.01
51.43/12.99	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.02
51.43/12.99	c calculated reachability. Time: 0.00
51.43/12.99	c  N st    38    158513       629      2745         0     28960      8373    598151   no data   no data
71.76/18.09	c  N st    39    207101       629      2745         0     23730      8373    415055   no data   no data
86.52/21.77	c  N st    40    237771       629      2745         0     34256      8373    704232   no data   no data
86.52/21.77	c  S st    40    237771       629      2745         0     34256      8373    704232   no data   no data
86.92/21.86	c  S st    40    238272       629      2745         0     34757      8373    717650   no data   no data
86.92/21.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.92/21.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
86.92/21.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.92/21.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.92/21.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.92/21.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
86.92/21.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
86.92/21.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.92/21.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.30/22.41	c lits-rem:       129  cl-subs:     1036  v-elim:      0  v-fix:    0  time:  0.51 s
89.30/22.41	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
89.30/22.42	c vivif2 --  cl tried    33721 cl shrink        0 lits rem          0 time: 0.01
89.30/22.45	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.02
89.30/22.45	c calculated reachability. Time: 0.00
89.30/22.45	c  N st    40    238272       629      2745         0     33721      8373    685189   no data   no data
122.43/30.72	c  F st    41    306251       629      2745         0     35572      8373    675836   no data   no data
122.43/30.72	c  N st    41    306251       629      2745         0     35572      8373    675836   no data   no data
125.19/31.42	c Decided on static restart strategy
136.36/34.28	c  N st    51    334554       629      2745         0     39804      8373    766230   no data   no data
148.34/37.28	c  N st    53    357409       629      2745         0     37671      8373    669148   no data   no data
148.34/37.28	c  S st    53    357409       629      2745         0     37671      8373    669148   no data   no data
148.76/37.38	c  S st    53    357911       629      2745         0     38173      8373    682782   no data   no data
148.76/37.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
148.76/37.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
148.76/37.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
148.76/37.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.76/37.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.76/37.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
148.76/37.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.18/37.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.18/37.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.72/37.84	c lits-rem:       303  cl-subs:     1182  v-elim:      0  v-fix:    0  time:  0.41 s
150.72/37.84	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
150.72/37.85	c vivif2 --  cl tried    36991 cl shrink        0 lits rem          0 time: 0.01
150.72/37.88	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.03
150.72/37.88	c calculated reachability. Time: 0.00
150.72/37.88	c  N st    53    357911       629      2745         0     36991      8373    649827   no data   no data
168.27/42.26	c  N st    54    390306       629      2745         0     43297      8373    864133   no data   no data
196.19/49.20	c  N st    55    438896       629      2745         0     37119      8373    621000   no data   no data
240.88/60.46	c  N st    56    511778       629      2745         0     50479      8373    984349   no data   no data
256.01/64.28	c  N st    57    536868       629      2745         0     44717      8373    773371   no data   no data
256.01/64.28	c  S st    57    536868       629      2745         0     44717      8373    773371   no data   no data
256.81/64.40	c  S st    57    537369       629      2745         0     45218      8373    786936   no data   no data
256.81/64.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
256.81/64.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
256.81/64.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
256.81/64.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
256.81/64.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.81/64.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
256.81/64.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
256.81/64.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
256.81/64.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.60/65.11	c lits-rem:       214  cl-subs:     1425  v-elim:      0  v-fix:    0  time:  0.65 s
259.60/65.11	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
259.60/65.12	c vivif2 --  cl tried    43793 cl shrink        0 lits rem          0 time: 0.01
259.60/65.15	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.04
259.60/65.16	c calculated reachability. Time: 0.00
259.60/65.16	c  N st    57    537369       629      2745         0     43793      8373    745545   no data   no data
377.65/94.75	c  N st    58    701353       629      2745         0     37731      8373    474235   no data   no data
458.22/114.91	c  N st    59    806055       629      2745         0     66813      8373   1318695   no data   no data
458.22/114.91	c  S st    59    806055       629      2745         0     66813      8373   1318695   no data   no data
459.02/115.12	c  S st    59    806557       629      2745         0     67315      8373   1332586   no data   no data
459.02/115.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
459.02/115.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
459.02/115.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
459.02/115.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
459.02/115.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
459.02/115.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
459.02/115.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
459.02/115.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
459.42/115.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.95/120.18	c lits-rem:       478  cl-subs:     4399  v-elim:      0  v-fix:    0  time:  4.96 s
478.95/120.18	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
478.95/120.19	c vivif2 --  cl tried    62916 cl shrink        0 lits rem          0 time: 0.02
479.35/120.25	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.06
479.35/120.26	c calculated reachability. Time: 0.00
479.35/120.26	c  N st    59    806557       629      2745         0     62916      8373   1200637   no data   no data
718.25/180.17	c  F st    60   1071877       629      2745         0     78950      8373   1492853   no data   no data
718.25/180.17	c  N st    60   1071877       629      2745         0     78950      8373   1492853   no data   no data
724.63/181.75	c Decided on static restart strategy
742.97/186.37	c  N st    70   1100181       629      2745         0     62848      8373   1033254   no data   no data
777.27/194.92	c  N st    72   1136175       629      2745         0     53142      8373    719368   no data   no data
806.40/202.23	c  N st    73   1168567       629      2745         0     84975      8373   1659094   no data   no data
842.68/211.31	c  N st    74   1209835       629      2745         0     79255      8373   1419453   no data   no data
842.68/211.31	c  S st    74   1209835       629      2745         0     79255      8373   1419453   no data   no data
843.48/211.54	c  S st    74   1210338       629      2745         0     79758      8373   1433777   no data   no data
843.48/211.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
843.48/211.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
843.48/211.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
843.48/211.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
843.48/211.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
843.48/211.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
843.48/211.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
843.88/211.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
843.88/211.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
858.64/215.37	c lits-rem:       309  cl-subs:     3750  v-elim:      0  v-fix:    0  time:  3.72 s
858.64/215.37	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
858.64/215.39	c vivif2 --  cl tried    76008 cl shrink        0 lits rem          0 time: 0.02
859.04/215.47	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.08
859.04/215.47	c calculated reachability. Time: 0.00
859.04/215.48	c  N st    74   1210338       629      2745         0     76008      8373   1335862   no data   no data
932.83/233.90	c  N st    75   1283221       629      2745         0     52225      8373    635680   no data   no data
1043.30/261.68	c  N st    76   1392545       629      2745         0     60538      8373    829723   no data   no data
1209.21/303.23	c  N st    77   1556529       629      2745         0     65507      8373    927960   no data   no data
1365.55/342.41	c  N st    78   1710338       629      2745         0    107944      8373   2221940   no data   no data
1365.55/342.41	c  S st    78   1710338       629      2745         0    107944      8373   2221940   no data   no data
1366.75/342.73	c  S st    78   1710841       629      2745         0    108447      8373   2236402   no data   no data
1366.75/342.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1367.15/342.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1367.15/342.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1367.15/342.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1367.15/342.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1367.15/342.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
1367.15/342.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1367.15/342.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1367.15/342.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1420.18/356.14	c lits-rem:       770  cl-subs:     5205  v-elim:      0  v-fix:    0  time: 13.25 s
1420.18/356.14	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
1420.18/356.17	c vivif2 --  cl tried   103242 cl shrink        0 lits rem          0 time: 0.03
1420.58/356.30	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.12
1420.58/356.30	c calculated reachability. Time: 0.00
1420.58/356.30	c  N st    78   1710841       629      2745         0    103242      8373   2071651   no data   no data
1828.59/458.56	c  N st    79   2079808       629      2745         0    114329      8373   2252020   no data   no data
1994.49/500.13	c  N st    80   2210842       629      2745         0    118495      8373   2406401   no data   no data
1994.49/500.13	c  S st    80   2210842       629      2745         0    118495      8373   2406401   no data   no data
1995.71/500.50	c  S st    80   2211344       629      2745         0    118996      8373   2420539   no data   no data
1996.13/500.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1996.13/500.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1996.13/500.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1996.13/500.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1996.13/500.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1996.13/500.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
1996.13/500.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1996.48/500.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1996.48/500.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2053.91/515.05	c lits-rem:       518  cl-subs:     5478  v-elim:      0  v-fix:    0  time: 14.37 s
2053.91/515.05	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
2053.91/515.08	c vivif2 --  cl tried   113518 cl shrink        0 lits rem          0 time: 0.03
2054.71/515.21	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.13
2054.71/515.22	c calculated reachability. Time: 0.00
2054.71/515.22	c  N st    80   2211344       629      2745         0    113518      8373   2245146   no data   no data
2694.84/675.73	c  N st    81   2711345       629      2745         0    136633      8373   2705191   no data   no data
2694.84/675.73	c  S st    81   2711345       629      2745         0    136633      8373   2705191   no data   no data
2696.44/676.13	c  S st    81   2711849       629      2745         0    137137      8373   2719760   no data   no data
2696.44/676.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2696.83/676.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2696.83/676.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2696.83/676.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2696.83/676.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2696.83/676.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
2696.83/676.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2696.83/676.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2697.23/676.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2800.12/702.18	c lits-rem:       692  cl-subs:     8630  v-elim:      0  v-fix:    0  time: 25.86 s
2800.12/702.18	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
2800.52/702.22	c vivif2 --  cl tried   128507 cl shrink        0 lits rem          0 time: 0.04
2801.32/702.40	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.18
2801.32/702.41	c calculated reachability. Time: 0.00
2801.32/702.41	c  N st    81   2711849       629      2745         0    128507      8373   2473861   no data   no data
3485.30/873.96	c  N st    82   3211849       629      2745         0    104052      8373   1563691   no data   no data
3485.30/873.96	c  S st    82   3211849       629      2745         0    104052      8373   1563691   no data   no data
3486.90/874.39	c  S st    82   3212352       629      2745         0    104554      8373   1578439   no data   no data
3486.90/874.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3487.32/874.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3487.32/874.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3487.32/874.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3487.32/874.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3487.32/874.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
3487.32/874.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3487.32/874.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3487.75/874.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3520.39/882.71	c lits-rem:       388  cl-subs:     4696  v-elim:      0  v-fix:    0  time:  8.16 s
3520.39/882.71	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
3520.39/882.74	c vivif2 --  cl tried    99858 cl shrink        0 lits rem          0 time: 0.02
3520.79/882.89	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.15
3520.79/882.89	c calculated reachability. Time: 0.00
3520.79/882.89	c  N st    82   3212352       629      2745         0     99858      8373   1462701   no data   no data
4356.73/1092.46	c  N st    83   3712352       629      2745         0    110889      8373   1707933   no data   no data
4356.73/1092.46	c  S st    83   3712352       629      2745         0    110889      8373   1707933   no data   no data
4358.73/1092.91	c  S st    83   3712854       629      2745         0    111391      8373   1722291   no data   no data
4358.73/1092.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4358.73/1093.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
4359.13/1093.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4359.13/1093.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4359.13/1093.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4359.13/1093.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
4359.13/1093.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4359.13/1093.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4359.13/1093.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4390.23/1100.81	c lits-rem:       479  cl-subs:     3406  v-elim:      0  v-fix:    0  time:  7.72 s
4390.23/1100.81	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
4390.23/1100.84	c vivif2 --  cl tried   107985 cl shrink        0 lits rem          0 time: 0.03
4390.63/1101.01	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.17
4390.63/1101.01	c calculated reachability. Time: 0.00
4390.63/1101.01	c  N st    83   3712854       629      2745         0    107985      8373   1627234   no data   no data
4473.59/1121.76	c  F st    84   3751567       629      2745         0    145982      8373   2749741   no data   no data
4473.59/1121.76	c  N st    84   3751567       629      2745         0    145982      8373   2749741   no data   no data
4489.93/1125.80	c Decided on static restart strategy
4541.78/1138.80	c  N st    94   3779870       629      2745         0     90716      8373   1060022   no data   no data
4597.23/1152.76	c  N st    96   3815862       629      2745         0    125969      8373   2079673   no data   no data
4659.82/1168.47	c  N st    97   3848255       629      2745         0    157882      8373   3001816   no data   no data
4739.99/1188.52	c  N st    98   3896843       629      2745         0    121410      8373   1962810   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-3366312-1305401470/watcher-3366312-1305401470 -o /tmp/evaluation-result-3366312-1305401470/solver-3366312-1305401470 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366312-1305401470.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.65 7.95 8.04 6/367 15083
/proc/meminfo: memFree=23192708/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 730377731 52396032 352 33554432000 4194304 4580107 140733295645168 18446744073709551615 260905394107 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 12792 352 302 95 0 7774 0
[pid=15083/tid=15084] ppid=15081 vsize=274048 CPUtime=0 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 286 0 0 0 0 0 0 0 25 0 4 0 730377732 280625152 1056 33554432000 4194304 4580107 140733295645168 18446744073709551615 4399375 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=274048 CPUtime=0 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 33 0 0 0 0 0 0 0 25 0 4 0 730377732 280625152 1056 33554432000 4194304 4580107 140733295645168 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=274048 CPUtime=0 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 160 0 0 0 0 0 0 0 25 0 4 0 730377732 280625152 1056 33554432000 4194304 4580107 140733295645168 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.084632 s]
/proc/loadavg: 7.65 7.95 8.04 6/367 15083
/proc/meminfo: memFree=23192708/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=282444 CPUtime=0.3 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 1813 0 0 0 30 0 0 0 25 0 4 0 730377731 289222656 1669 33554432000 4194304 4580107 140733295645168 18446744073709551615 260905499167 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 70611 1669 377 95 0 65593 0
[pid=15083/tid=15084] ppid=15081 vsize=282444 CPUtime=0.07 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 385 0 0 0 7 0 0 0 25 0 4 0 730377732 289222656 1669 33554432000 4194304 4580107 140733295645168 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=282444 CPUtime=0.06 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 336 0 0 0 6 0 0 0 25 0 4 0 730377732 289222656 1669 33554432000 4194304 4580107 140733295645168 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=282444 CPUtime=0.07 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 283 0 0 0 7 0 0 0 25 0 4 0 730377732 289222656 1669 33554432000 4194304 4580107 140733295645168 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 282444

[startup+0.113967 s]
/proc/loadavg: 7.65 7.95 8.04 6/367 15083
/proc/meminfo: memFree=23192708/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=282444 CPUtime=0.42 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 1952 0 0 0 42 0 0 0 25 0 4 0 730377731 289222656 1808 33554432000 4194304 4580107 140733295645168 18446744073709551615 4322556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 70611 1808 377 95 0 65593 0
[pid=15083/tid=15084] ppid=15081 vsize=282444 CPUtime=0.1 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 416 0 0 0 10 0 0 0 25 0 4 0 730377732 289222656 1808 33554432000 4194304 4580107 140733295645168 18446744073709551615 4321646 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=282444 CPUtime=0.09 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 380 0 0 0 9 0 0 0 25 0 4 0 730377732 289222656 1809 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=282444 CPUtime=0.1 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 312 0 0 0 10 0 0 0 25 0 4 0 730377732 289222656 1809 33554432000 4194304 4580107 140733295645168 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282444

[startup+0.300933 s]
/proc/loadavg: 7.65 7.95 8.04 6/367 15083
/proc/meminfo: memFree=23192708/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=284228 CPUtime=1.17 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 3074 0 0 0 117 0 0 0 25 0 4 0 730377731 291049472 2251 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 71057 2251 377 95 0 66039 0
[pid=15083/tid=15084] ppid=15081 vsize=284228 CPUtime=0.29 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 676 0 0 0 29 0 0 0 25 0 4 0 730377732 291049472 2251 33554432000 4194304 4580107 140733295645168 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=284228 CPUtime=0.28 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 655 0 0 0 28 0 0 0 25 0 4 0 730377732 291049472 2251 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=284228 CPUtime=0.29 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 603 0 0 0 29 0 0 0 25 0 4 0 730377732 291049472 2251 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284228

[startup+0.700863 s]
/proc/loadavg: 7.65 7.95 8.04 6/367 15083
/proc/meminfo: memFree=23192708/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=285276 CPUtime=2.77 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 4784 0 0 0 276 1 0 0 25 0 4 0 730377731 292122624 2939 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 71319 2939 377 95 0 66301 0
[pid=15083/tid=15084] ppid=15081 vsize=285276 CPUtime=0.69 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 1104 0 0 0 69 0 0 0 25 0 4 0 730377732 292122624 2939 33554432000 4194304 4580107 140733295645168 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=285276 CPUtime=0.68 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 1076 0 0 0 68 0 0 0 25 0 4 0 730377732 292122624 2939 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=285276 CPUtime=0.69 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 1032 0 0 0 69 0 0 0 25 0 4 0 730377732 292122624 2939 33554432000 4194304 4580107 140733295645168 18446744073709551615 4321592 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285276

[startup+1.50072 s]
/proc/loadavg: 7.65 7.95 8.04 9/371 15088
/proc/meminfo: memFree=23175440/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=286796 CPUtime=5.95 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 8798 0 0 0 594 1 0 0 25 0 4 0 730377731 293679104 4098 33554432000 4194304 4580107 140733295645168 18446744073709551615 260905055265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 71699 4105 379 95 0 66681 0
[pid=15083/tid=15084] ppid=15081 vsize=286796 CPUtime=1.49 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 1916 0 0 0 149 0 0 0 25 0 4 0 730377732 293679104 4111 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=286796 CPUtime=1.46 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 1933 0 0 0 146 0 0 0 25 0 4 0 730377732 293679104 4115 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=286796 CPUtime=1.49 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 1892 0 0 0 149 0 0 0 25 0 4 0 730377732 293679104 4118 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286796

[startup+3.10042 s]
/proc/loadavg: 7.67 7.96 8.04 9/371 15088
/proc/meminfo: memFree=23162392/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=284088 CPUtime=12.33 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 19198 0 0 0 1230 3 0 0 25 0 4 0 730377731 290906112 10713 33554432000 4194304 4580107 140733295645168 18446744073709551615 4318737 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 71022 10713 379 95 0 66004 0
[pid=15083/tid=15084] ppid=15081 vsize=284088 CPUtime=3.09 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 4340 0 0 0 309 0 0 0 25 0 4 0 730377732 290906112 10713 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=284088 CPUtime=3.05 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 4818 0 0 0 304 1 0 0 25 0 4 0 730377732 290906112 10713 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=284088 CPUtime=3.09 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 4772 0 0 0 309 0 0 0 25 0 4 0 730377732 290906112 10713 33554432000 4194304 4580107 140733295645168 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 284088

[startup+6.30084 s]
/proc/loadavg: 7.67 7.96 8.04 9/371 15088
/proc/meminfo: memFree=23126072/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=283948 CPUtime=25.1 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 28762 0 0 0 2505 5 0 0 25 0 4 0 730377731 290762752 15744 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 70987 15744 379 95 0 65969 0
[pid=15083/tid=15084] ppid=15081 vsize=283948 CPUtime=6.29 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 8054 0 0 0 628 1 0 0 25 0 4 0 730377732 290762752 15744 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=283948 CPUtime=6.22 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 7599 0 0 0 620 2 0 0 25 0 4 0 730377732 290762752 15744 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=283948 CPUtime=6.28 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 6664 0 0 0 628 0 0 0 25 0 4 0 730377732 290762752 15744 33554432000 4194304 4580107 140733295645168 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 283948

[startup+12.7007 s]
/proc/loadavg: 7.72 7.96 8.03 9/371 15088
/proc/meminfo: memFree=23083312/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=322076 CPUtime=50.62 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 44702 0 0 0 5055 7 0 0 25 0 4 0 730377731 329805824 24702 33554432000 4194304 4580107 140733295645168 18446744073709551615 4406398 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 80519 24702 379 95 0 75501 0
[pid=15083/tid=15084] ppid=15081 vsize=322076 CPUtime=12.68 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 12182 0 0 0 1267 1 0 0 25 0 4 0 730377732 329805824 24702 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=322076 CPUtime=12.53 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 11005 0 0 0 1251 2 0 0 25 0 4 0 730377732 329805824 24702 33554432000 4194304 4580107 140733295645168 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=322076 CPUtime=12.68 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 12032 0 0 0 1267 1 0 0 25 0 4 0 730377732 329805824 24702 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 322076

[startup+25.5003 s]
/proc/loadavg: 7.77 7.96 8.03 9/371 15088
/proc/meminfo: memFree=23039324/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=387620 CPUtime=101.66 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 66562 0 0 0 10153 13 0 0 25 0 4 0 730377731 396922880 30677 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294555 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 96905 30677 379 95 0 91887 0
[pid=15083/tid=15084] ppid=15081 vsize=387620 CPUtime=25.48 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 17181 0 0 0 2546 2 0 0 25 0 4 0 730377732 396922880 30677 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=387620 CPUtime=25.18 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 16136 0 0 0 2514 4 0 0 25 0 4 0 730377732 396922880 30677 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=387620 CPUtime=25.49 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 17829 0 0 0 2546 3 0 0 25 0 4 0 730377732 396922880 30677 33554432000 4194304 4580107 140733295645168 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 387620

[startup+51.1006 s]
/proc/loadavg: 7.92 7.98 8.04 9/371 15089
/proc/meminfo: memFree=22975444/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=342864 CPUtime=203.77 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 99917 0 0 0 20354 23 0 0 25 0 4 0 730377731 351092736 38607 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 85716 38607 379 95 0 80698 0
[pid=15083/tid=15084] ppid=15081 vsize=342864 CPUtime=51.08 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 22335 0 0 0 5105 3 0 0 25 0 4 0 730377732 351092736 38607 33554432000 4194304 4580107 140733295645168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=342864 CPUtime=50.48 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 26653 0 0 0 5041 7 0 0 25 0 4 0 730377732 351092736 38607 33554432000 4194304 4580107 140733295645168 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=342864 CPUtime=51.09 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 24983 0 0 0 5104 5 0 0 25 0 4 0 730377732 351092736 38607 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 342864

[startup+102.314 s]
/proc/loadavg: 8.02 7.99 8.04 9/371 15090
/proc/meminfo: memFree=22897752/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=409852 CPUtime=408.02 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 146823 0 0 0 40764 38 0 0 25 0 4 0 730377731 419688448 45154 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 102463 45154 379 95 0 97445 0
[pid=15083/tid=15084] ppid=15081 vsize=409852 CPUtime=102.3 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 31247 0 0 0 10224 6 0 0 25 0 4 0 730377732 419688448 45154 33554432000 4194304 4580107 140733295645168 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=409852 CPUtime=101.08 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 41001 0 0 0 10097 11 0 0 25 0 4 0 730377732 419688448 45154 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=409852 CPUtime=102.3 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 33271 0 0 0 10222 8 0 0 25 0 4 0 730377732 419688448 45154 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 409852

[startup+162.3 s]

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

[pid=15083] ppid=15081 vsize=724680 CPUtime=2561.65 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 377046 0 0 0 256023 142 0 0 25 0 4 0 730377731 742072320 120372 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 181170 120372 379 95 0 176152 0
[pid=15083/tid=15084] ppid=15081 vsize=724680 CPUtime=642.31 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 63388 0 0 0 64211 20 0 0 25 0 4 0 730377732 742072320 120373 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=724680 CPUtime=634.69 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 96642 0 0 0 63433 36 0 0 25 0 4 0 730377732 742072320 120373 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=724680 CPUtime=642.32 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 106007 0 0 0 64192 40 0 0 25 0 4 0 730377732 742072320 120373 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2561.65
Current children cumulated vsize (KiB) 724680

[startup+702.301 s]
/proc/loadavg: 8.12 8.11 8.07 9/371 15109
/proc/meminfo: memFree=22392916/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=725364 CPUtime=2800.92 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 392700 0 0 0 279941 151 0 0 25 0 4 0 730377731 742772736 122878 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 181341 122878 379 95 0 176323 0
[pid=15083/tid=15084] ppid=15081 vsize=725364 CPUtime=702.31 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 63642 0 0 0 70210 21 0 0 25 0 4 0 730377732 742772736 122878 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=725364 CPUtime=693.98 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 101635 0 0 0 69359 39 0 0 25 0 4 0 730377732 742772736 122878 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=725364 CPUtime=702.31 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 115250 0 0 0 70186 45 0 0 25 0 4 0 730377732 742772736 122878 33554432000 4194304 4580107 140733295645168 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.92
Current children cumulated vsize (KiB) 725364

[startup+762.314 s]
/proc/loadavg: 8.15 8.12 8.08 9/371 15111
/proc/meminfo: memFree=22318316/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=725944 CPUtime=3040.26 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 408314 0 0 0 303866 160 0 0 25 0 4 0 730377731 743366656 129965 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 181486 129965 379 95 0 176468 0
[pid=15083/tid=15084] ppid=15081 vsize=725944 CPUtime=762.33 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 64101 0 0 0 76212 21 0 0 25 0 4 0 730377732 743366656 129965 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=725944 CPUtime=753.27 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 108806 0 0 0 75285 42 0 0 25 0 4 0 730377732 743366656 129965 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=725944 CPUtime=762.32 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 122914 0 0 0 76182 50 0 0 25 0 4 0 730377732 743366656 129965 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294354 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.26
Current children cumulated vsize (KiB) 725944

[startup+822.301 s]
/proc/loadavg: 8.23 8.14 8.09 9/371 15112
/proc/meminfo: memFree=22325596/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=726636 CPUtime=3279.52 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 422674 0 0 0 327784 168 0 0 25 0 4 0 730377731 744075264 130132 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 181659 130132 379 95 0 176641 0
[pid=15083/tid=15084] ppid=15081 vsize=726636 CPUtime=822.31 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 64678 0 0 0 82210 21 0 0 25 0 4 0 730377732 744075264 130132 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=726636 CPUtime=812.56 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 109460 0 0 0 81213 43 0 0 25 0 4 0 730377732 744075264 130132 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=726636 CPUtime=822.31 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 130618 0 0 0 82178 53 0 0 25 0 4 0 730377732 744075264 130132 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.52
Current children cumulated vsize (KiB) 726636

[startup+882.301 s]
/proc/loadavg: 8.28 8.16 8.10 9/371 15114
/proc/meminfo: memFree=22275940/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=728744 CPUtime=3518.79 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 435680 0 0 0 351702 177 0 0 25 0 4 0 730377731 746233856 128713 33554432000 4194304 4580107 140733295645168 18446744073709551615 4416469 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 182186 128713 379 95 0 177168 0
[pid=15083/tid=15084] ppid=15081 vsize=728744 CPUtime=882.32 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 65513 0 0 0 88210 22 0 0 25 0 4 0 730377732 746233856 128713 33554432000 4194304 4580107 140733295645168 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=728744 CPUtime=871.84 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 112244 0 0 0 87139 45 0 0 25 0 4 0 730377732 746233856 128713 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=728744 CPUtime=882.31 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 138511 0 0 0 88172 59 0 0 25 0 4 0 730377732 746233856 128713 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.79
Current children cumulated vsize (KiB) 728744

[startup+942.301 s]
/proc/loadavg: 8.24 8.16 8.10 9/371 15116
/proc/meminfo: memFree=22231256/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=789780 CPUtime=3758.1 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 454778 0 0 0 375626 184 0 0 25 0 4 0 730377731 808734720 135267 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 197445 135267 379 95 0 192427 0
[pid=15083/tid=15084] ppid=15081 vsize=789780 CPUtime=942.31 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 68626 0 0 0 94208 23 0 0 25 0 4 0 730377732 808734720 135267 33554432000 4194304 4580107 140733295645168 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=789780 CPUtime=931.14 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 116094 0 0 0 93067 47 0 0 25 0 4 0 730377732 808734720 135267 33554432000 4194304 4580107 140733295645168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=789780 CPUtime=942.31 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 150186 0 0 0 94169 62 0 0 25 0 4 0 730377732 808734720 135267 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.1
Current children cumulated vsize (KiB) 789780

[startup+1002.3 s]
/proc/loadavg: 8.18 8.16 8.10 9/371 15117
/proc/meminfo: memFree=22208632/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=802852 CPUtime=3997.4 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 473728 0 0 0 399546 194 0 0 25 0 4 0 730377731 822120448 135649 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 200713 135649 379 95 0 195695 0
[pid=15083/tid=15084] ppid=15081 vsize=802852 CPUtime=1002.31 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 70541 0 0 0 100207 24 0 0 25 0 4 0 730377732 822120448 135649 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=802852 CPUtime=990.43 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 119663 0 0 0 98994 49 0 0 25 0 4 0 730377732 822120448 135649 33554432000 4194304 4580107 140733295645168 18446744073709551615 4322582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=802852 CPUtime=1002.32 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 156960 0 0 0 100166 66 0 0 25 0 4 0 730377732 822120448 135649 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.4
Current children cumulated vsize (KiB) 802852

[startup+1062.3 s]
/proc/loadavg: 8.12 8.14 8.09 9/371 15119
/proc/meminfo: memFree=22201256/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=882484 CPUtime=4236.7 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 494082 0 0 0 423463 207 0 0 25 0 4 0 730377731 903663616 140006 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 220621 140006 379 95 0 215603 0
[pid=15083/tid=15084] ppid=15081 vsize=882484 CPUtime=1062.32 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 76402 0 0 0 106203 29 0 0 25 0 4 0 730377732 903663616 140006 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=882484 CPUtime=1049.73 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 123673 0 0 0 104921 52 0 0 25 0 4 0 730377732 903663616 140006 33554432000 4194304 4580107 140733295645168 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=882484 CPUtime=1062.32 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 164080 0 0 0 106162 70 0 0 25 0 4 0 730377732 903663616 140006 33554432000 4194304 4580107 140733295645168 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.7
Current children cumulated vsize (KiB) 882484

[startup+1122.3 s]
/proc/loadavg: 8.04 8.11 8.08 9/371 15120
/proc/meminfo: memFree=22156072/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=895740 CPUtime=4475.97 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 512413 0 0 0 447378 219 0 0 25 0 4 0 730377731 917237760 142938 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 223935 142938 379 95 0 218917 0
[pid=15083/tid=15084] ppid=15081 vsize=895740 CPUtime=1122.32 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 77026 0 0 0 112203 29 0 0 25 0 4 0 730377732 917237760 142938 33554432000 4194304 4580107 140733295645168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=895740 CPUtime=1109 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 130449 0 0 0 110843 57 0 0 25 0 4 0 730377732 917237760 142938 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=895740 CPUtime=1122.32 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 173661 0 0 0 112157 75 0 0 25 0 4 0 730377732 917237760 142938 33554432000 4194304 4580107 140733295645168 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.97
Current children cumulated vsize (KiB) 895740

[startup+1182.3 s]
/proc/loadavg: 8.07 8.11 8.08 9/371 15122
/proc/meminfo: memFree=22159468/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=732676 CPUtime=4715.27 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 529868 0 0 0 471299 228 0 0 25 0 4 0 730377731 750260224 139370 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 183169 139370 379 95 0 178151 0
[pid=15083/tid=15084] ppid=15081 vsize=732676 CPUtime=1182.32 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 78373 0 0 0 118202 30 0 0 25 0 4 0 730377732 750260224 139370 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=732676 CPUtime=1168.29 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 136506 0 0 0 116770 59 0 0 25 0 4 0 730377732 750260224 139370 33554432000 4194304 4580107 140733295645168 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=732676 CPUtime=1182.32 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 177556 0 0 0 118155 77 0 0 25 0 4 0 730377732 750260224 139370 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.27
Current children cumulated vsize (KiB) 732676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.13 8.12 8.09 9/371 15154
/proc/meminfo: memFree=22628556/32950928 swapFree=65730864/67111528
[pid=15083] ppid=15081 vsize=851648 CPUtime=4800.23 cores=1,3,5,7
/proc/15083/stat : 15083 (strangenight2-m) R 15081 15083 14715 0 -1 4202496 538640 0 0 0 479791 232 0 0 25 0 4 0 730377731 872087552 144291 33554432000 4194304 4580107 140733295645168 18446744073709551615 4318767 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15083/statm: 212912 144291 379 95 0 207894 0
[pid=15083/tid=15084] ppid=15081 vsize=851648 CPUtime=1203.63 cores=1,3,5,7
/proc/15083/task/15084/stat : 15084 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 79791 0 0 0 120332 31 0 0 25 0 4 0 730377732 872087552 144293 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15083/tid=15085] ppid=15081 vsize=851648 CPUtime=1189.33 cores=1,3,5,7
/proc/15083/task/15085/stat : 15085 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 140038 0 0 0 118872 61 0 0 25 0 4 0 730377732 872087552 144293 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15083/tid=15086] ppid=15081 vsize=851648 CPUtime=1203.63 cores=1,3,5,7
/proc/15083/task/15086/stat : 15086 (strangenight2-m) R 15081 15083 14715 0 -1 4202560 179787 0 0 0 120286 77 0 0 25 0 4 0 730377732 872087552 144293 33554432000 4194304 4580107 140733295645168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 851648

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.31
CPU user time (s): 4797.96
CPU system time (s): 2.35164
CPU usage (%): 398.814
Max. virtual memory (cumulated for all children) (KiB): 1002112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.96
system time used= 2.35164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 538644
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= 235
involuntary context switches= 21192

runsolver used 3.82042 second user time and 10.5004 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 21:31:11
IDJOB=3366312
IDBENCH=82721
IDSOLVER=1844
FILE ID=node116/3366312-1305401470
RUNJOBID= node116-1305401449-15031
PBS_JOBID= 13324469
Free space on /tmp= 73132 MiB

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

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

MD5SUM BENCH= ac64879f46539032a3d2139dc7635d2e
RANDOM SEED=1814107241

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23192864 kB
Buffers:         27780 kB
Cached:         110664 kB
SwapCached:      12356 kB
Active:        9505236 kB
Inactive:        45376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23192864 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:           11356 kB
Writeback:           0 kB
AnonPages:     9410792 kB
Mapped:          16244 kB
Slab:            96636 kB
PageTables:      44008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 83031016 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= 73124 MiB
End job on node116 at 2011-05-14 21:51:16