Trace number 3173903

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? (TO) 4800.33 1201.74

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-3173903-1304072698.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.10	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     299 undec:      72 neg:     279
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       630      2748         0         0      8382         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.40/0.17	c  N st     8      4914       630      2748         0      4862      8382    138933   no data   no data
1.56/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.39/1.18	c  F st    12     25000       630      2748         0     12451      8382    315300   no data   no data
4.39/1.18	c  N st    12     25000       630      2748         0     12451      8382    315300   no data   no data
5.56/1.45	c Decided on static restart strategy
5.56/1.45	c  N st    18     30001       630      2748         0     10730      8382    240456   no data   no data
5.56/1.45	c  S st    18     30001       630      2748         0     10730      8382    240456   no data   no data
5.56/1.48	c  S st    18     30504       630      2748         0     11233      8382    253856   no data   no data
5.56/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.48	c blocked clauses removed:        3 vars:      1 tried:         630 T: 0.00 s
5.56/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
5.56/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.55	c lits-rem:        69  cl-subs:      335  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.55	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.01
5.96/1.55	c calculated reachability. Time: 0.00
5.96/1.55	c  N st    18     30504       629      2745         0     10898      8373    243060   no data   no data
7.57/1.98	c  N st    20     37614       629      2745         0     10130      8373    201555   no data   no data
9.18/2.39	c  N st    21     44013       629      2745         0     16405      8373    375825   no data   no data
9.96/2.50	c  S st    22     45757       629      2745         0      9340      8373    157062   no data   no data
9.96/2.53	c  S st    22     46261       629      2745         0      9844      8373    170030   no data   no data
9.96/2.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
9.96/2.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.55	c lits-rem:        79  cl-subs:       36  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.55	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
9.96/2.56	c vivif2 --  cl tried     9808 cl shrink        0 lits rem          0 time: 0.00
9.96/2.56	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.01
9.96/2.56	c calculated reachability. Time: 0.00
9.96/2.56	c  N st    22     46261       629      2745         0      9808      8373    168856   no data   no data
13.95/3.58	c  N st    23     60658       629      2745         0     14200      8373    288551   no data   no data
16.75/4.27	c  N st    24     69391       629      2745         0     11982      8373    208661   no data   no data
16.75/4.27	c  S st    24     69391       629      2745         0     11982      8373    208661   no data   no data
17.15/4.30	c  S st    24     69892       629      2745         0     12483      8373    221851   no data   no data
17.15/4.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.15/4.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.15/4.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.15/4.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.15/4.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
17.15/4.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.15/4.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.15/4.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.34	c lits-rem:        24  cl-subs:       95  v-elim:      0  v-fix:    0  time:  0.02 s
17.15/4.34	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
17.15/4.34	c vivif2 --  cl tried    12388 cl shrink        0 lits rem          0 time: 0.00
17.15/4.35	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.01
17.15/4.35	c calculated reachability. Time: 0.00
17.15/4.35	c  N st    24     69892       629      2745         0     12388      8373    218835   no data   no data
22.74/5.75	c  F st    25     87500       629      2745         0     17850      8373    362757   no data   no data
22.74/5.75	c  N st    25     87500       629      2745         0     17850      8373    362757   no data   no data
24.34/6.18	c Decided on static restart strategy
25.55/6.45	c  N st    32     95541       629      2745         0     12995      8373    196644   no data   no data
28.33/7.12	c  N st    34    104838       629      2745         0     22146      8373    472251   no data   no data
28.33/7.12	c  S st    34    104838       629      2745         0     22146      8373    472251   no data   no data
28.33/7.18	c  S st    34    105340       629      2745         0     22647      8373    485843   no data   no data
28.33/7.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.33/7.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.33/7.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.33/7.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.33/7.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
28.33/7.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.33/7.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.73/7.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.13/7.38	c lits-rem:        70  cl-subs:      596  v-elim:      0  v-fix:    0  time:  0.17 s
29.13/7.38	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
29.13/7.38	c vivif2 --  cl tried    22051 cl shrink        0 lits rem          0 time: 0.00
29.53/7.40	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.01
29.53/7.40	c calculated reachability. Time: 0.00
29.53/7.40	c  N st    34    105340       629      2745         0     22051      8373    465418   no data   no data
32.73/8.28	c  N st    35    114940       629      2745         0     17730      8373    311131   no data   no data
38.32/9.64	c  N st    36    129337       629      2745         0     17127      8373    274239   no data   no data
46.31/11.69	c  N st    37    150932       629      2745         0     22622      8373    420146   no data   no data
49.51/12.42	c  S st    38    158010       629      2745         0     29584      8373    619515   no data   no data
49.91/12.50	c  S st    38    158513       629      2745         0     30084      8373    632953   no data   no data
49.91/12.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.91/12.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.91/12.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.91/12.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.91/12.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.91/12.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
49.91/12.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.91/12.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.91/12.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.50/12.97	c lits-rem:       183  cl-subs:     1124  v-elim:      0  v-fix:    0  time:  0.43 s
51.50/12.97	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
51.50/12.98	c vivif2 --  cl tried    28960 cl shrink        0 lits rem          0 time: 0.01
51.90/13.00	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.02
51.90/13.00	c calculated reachability. Time: 0.00
51.90/13.00	c  N st    38    158513       629      2745         0     28960      8373    598151   no data   no data
72.28/18.10	c  N st    39    207101       629      2745         0     23730      8373    415055   no data   no data
86.66/21.74	c  N st    40    237771       629      2745         0     34256      8373    704232   no data   no data
86.66/21.74	c  S st    40    237771       629      2745         0     34256      8373    704232   no data   no data
87.06/21.83	c  S st    40    238272       629      2745         0     34757      8373    717650   no data   no data
87.06/21.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
87.06/21.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
87.06/21.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
87.06/21.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.06/21.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.06/21.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
87.06/21.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
87.06/21.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
87.06/21.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.05/22.39	c lits-rem:       129  cl-subs:     1036  v-elim:      0  v-fix:    0  time:  0.52 s
89.05/22.39	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
89.45/22.40	c vivif2 --  cl tried    33721 cl shrink        0 lits rem          0 time: 0.01
89.45/22.43	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.02
89.45/22.43	c calculated reachability. Time: 0.00
89.45/22.43	c  N st    40    238272       629      2745         0     33721      8373    685189   no data   no data
122.20/30.66	c  F st    41    306251       629      2745         0     35572      8373    675836   no data   no data
122.20/30.66	c  N st    41    306251       629      2745         0     35572      8373    675836   no data   no data
125.00/31.35	c Decided on static restart strategy
136.20/34.20	c  N st    51    334554       629      2745         0     39804      8373    766230   no data   no data
148.56/37.20	c  N st    53    357409       629      2745         0     37671      8373    669148   no data   no data
148.56/37.20	c  S st    53    357409       629      2745         0     37671      8373    669148   no data   no data
148.96/37.30	c  S st    53    357911       629      2745         0     38173      8373    682782   no data   no data
148.96/37.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
148.96/37.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
148.96/37.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
148.96/37.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.96/37.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.96/37.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
148.96/37.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
148.96/37.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
148.96/37.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.55/37.76	c lits-rem:       303  cl-subs:     1182  v-elim:      0  v-fix:    0  time:  0.42 s
150.55/37.76	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
150.55/37.77	c vivif2 --  cl tried    36991 cl shrink        0 lits rem          0 time: 0.01
150.95/37.80	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.03
150.95/37.80	c calculated reachability. Time: 0.00
150.95/37.80	c  N st    53    357911       629      2745         0     36991      8373    649827   no data   no data
168.13/42.17	c  N st    54    390306       629      2745         0     43297      8373    864133   no data   no data
196.10/49.11	c  N st    55    438896       629      2745         0     37119      8373    621000   no data   no data
240.44/60.29	c  N st    56    511778       629      2745         0     50479      8373    984349   no data   no data
256.01/64.10	c  N st    57    536868       629      2745         0     44717      8373    773371   no data   no data
256.01/64.10	c  S st    57    536868       629      2745         0     44717      8373    773371   no data   no data
256.41/64.22	c  S st    57    537369       629      2745         0     45218      8373    786936   no data   no data
256.41/64.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
256.41/64.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
256.41/64.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
256.41/64.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
256.41/64.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.41/64.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
256.41/64.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
256.41/64.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
256.41/64.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.24/64.94	c lits-rem:       214  cl-subs:     1425  v-elim:      0  v-fix:    0  time:  0.67 s
259.24/64.94	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
259.24/64.96	c vivif2 --  cl tried    43793 cl shrink        0 lits rem          0 time: 0.01
259.24/64.99	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.03
259.24/64.99	c calculated reachability. Time: 0.00
259.24/64.99	c  N st    57    537369       629      2745         0     43793      8373    745545   no data   no data
377.46/94.53	c  N st    58    701353       629      2745         0     37731      8373    474235   no data   no data
457.74/114.60	c  N st    59    806055       629      2745         0     66813      8373   1318695   no data   no data
457.74/114.60	c  S st    59    806055       629      2745         0     66813      8373   1318695   no data   no data
458.54/114.80	c  S st    59    806557       629      2745         0     67315      8373   1332586   no data   no data
458.54/114.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
458.54/114.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
458.54/114.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
458.54/114.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
458.54/114.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
458.54/114.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
458.54/114.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
458.54/114.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
458.95/114.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.12/119.79	c lits-rem:       478  cl-subs:     4399  v-elim:      0  v-fix:    0  time:  4.88 s
478.12/119.79	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
478.52/119.81	c vivif2 --  cl tried    62916 cl shrink        0 lits rem          0 time: 0.02
478.52/119.87	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.06
478.52/119.87	c calculated reachability. Time: 0.00
478.52/119.87	c  N st    59    806557       629      2745         0     62916      8373   1200637   no data   no data
717.79/179.72	c  F st    60   1071877       629      2745         0     78950      8373   1492853   no data   no data
717.79/179.72	c  N st    60   1071877       629      2745         0     78950      8373   1492853   no data   no data
723.79/181.27	c Decided on static restart strategy
742.58/185.91	c  N st    70   1100181       629      2745         0     62848      8373   1033254   no data   no data
776.51/194.44	c  N st    72   1136175       629      2745         0     53142      8373    719368   no data   no data
805.68/201.74	c  N st    73   1168567       629      2745         0     84975      8373   1659094   no data   no data
841.63/210.79	c  N st    74   1209835       629      2745         0     79255      8373   1419453   no data   no data
841.63/210.79	c  S st    74   1209835       629      2745         0     79255      8373   1419453   no data   no data
842.82/211.03	c  S st    74   1210338       629      2745         0     79758      8373   1433777   no data   no data
842.82/211.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
842.82/211.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
842.82/211.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
842.82/211.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
842.82/211.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
842.82/211.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
842.82/211.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
842.82/211.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
843.22/211.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
858.00/214.85	c lits-rem:       309  cl-subs:     3750  v-elim:      0  v-fix:    0  time:  3.71 s
858.00/214.85	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
858.00/214.87	c vivif2 --  cl tried    76008 cl shrink        0 lits rem          0 time: 0.02
858.40/214.94	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.08
858.40/214.95	c calculated reachability. Time: 0.00
858.40/214.95	c  N st    74   1210338       629      2745         0     76008      8373   1335862   no data   no data
931.92/233.35	c  N st    75   1283221       629      2745         0     52225      8373    635680   no data   no data
1045.35/261.78	c  N st    76   1392545       629      2745         0     60538      8373    829723   no data   no data
1208.34/302.58	c  N st    77   1556529       629      2745         0     65507      8373    927960   no data   no data
1364.11/341.54	c  N st    78   1710338       629      2745         0    107944      8373   2221940   no data   no data
1364.11/341.54	c  S st    78   1710338       629      2745         0    107944      8373   2221940   no data   no data
1365.31/341.87	c  S st    78   1710841       629      2745         0    108447      8373   2236402   no data   no data
1365.31/341.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1365.71/341.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1365.71/341.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1365.71/341.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1365.71/341.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1365.71/341.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
1365.71/341.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1365.71/341.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1366.11/342.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1418.04/355.03	c lits-rem:       770  cl-subs:     5205  v-elim:      0  v-fix:    0  time: 12.99 s
1418.04/355.03	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
1418.04/355.06	c vivif2 --  cl tried   103242 cl shrink        0 lits rem          0 time: 0.03
1418.44/355.18	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.12
1418.44/355.19	c calculated reachability. Time: 0.00
1418.44/355.19	c  N st    78   1710841       629      2745         0    103242      8373   2071651   no data   no data
1826.29/457.22	c  N st    79   2079808       629      2745         0    114329      8373   2252020   no data   no data
1992.46/498.84	c  N st    80   2210842       629      2745         0    118495      8373   2406401   no data   no data
1992.46/498.84	c  S st    80   2210842       629      2745         0    118495      8373   2406401   no data   no data
1994.06/499.22	c  S st    80   2211344       629      2745         0    118996      8373   2420539   no data   no data
1994.06/499.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1994.06/499.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1994.06/499.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1994.06/499.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1994.06/499.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1994.06/499.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
1994.06/499.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1994.46/499.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1994.46/499.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2049.99/513.29	c lits-rem:       518  cl-subs:     5478  v-elim:      0  v-fix:    0  time: 13.89 s
2049.99/513.29	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
2050.39/513.32	c vivif2 --  cl tried   113518 cl shrink        0 lits rem          0 time: 0.03
2050.79/513.45	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.13
2050.79/513.45	c calculated reachability. Time: 0.00
2050.79/513.45	c  N st    80   2211344       629      2745         0    113518      8373   2245146   no data   no data
2691.91/673.91	c  N st    81   2711345       629      2745         0    136633      8373   2705191   no data   no data
2691.91/673.91	c  S st    81   2711345       629      2745         0    136633      8373   2705191   no data   no data
2693.53/674.32	c  S st    81   2711849       629      2745         0    137137      8373   2719760   no data   no data
2693.53/674.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2693.53/674.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2693.53/674.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2693.53/674.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2693.53/674.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2693.53/674.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
2693.53/674.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2693.93/674.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2694.30/674.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2794.59/699.63	c lits-rem:       692  cl-subs:     8630  v-elim:      0  v-fix:    0  time: 25.10 s
2794.59/699.63	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
2794.59/699.66	c vivif2 --  cl tried   128507 cl shrink        0 lits rem          0 time: 0.03
2795.37/699.82	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.16
2795.37/699.82	c calculated reachability. Time: 0.00
2795.37/699.82	c  N st    81   2711849       629      2745         0    128507      8373   2473861   no data   no data
3478.45/870.88	c  N st    82   3211849       629      2745         0    104052      8373   1563691   no data   no data
3478.45/870.88	c  S st    82   3211849       629      2745         0    104052      8373   1563691   no data   no data
3480.07/871.21	c  S st    82   3212352       629      2745         0    104554      8373   1578439   no data   no data
3480.07/871.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3480.07/871.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3480.07/871.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3480.07/871.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3480.07/871.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3480.07/871.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
3480.07/871.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3480.47/871.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3480.47/871.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3498.04/875.73	c lits-rem:       388  cl-subs:     4696  v-elim:      0  v-fix:    0  time:  4.38 s
3498.04/875.73	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
3498.04/875.75	c vivif2 --  cl tried    99858 cl shrink        0 lits rem          0 time: 0.02
3498.41/875.86	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.11
3498.41/875.87	c calculated reachability. Time: 0.00
3498.41/875.87	c  N st    82   3212352       629      2745         0     99858      8373   1462701   no data   no data
4342.87/1087.22	c  N st    83   3712352       629      2745         0    110889      8373   1707933   no data   no data
4342.87/1087.22	c  S st    83   3712352       629      2745         0    110889      8373   1707933   no data   no data
4344.07/1087.57	c  S st    83   3712854       629      2745         0    111391      8373   1722291   no data   no data
4344.07/1087.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4344.47/1087.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4344.47/1087.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4344.47/1087.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4344.47/1087.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4344.47/1087.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    629 time:  0.00 s
4344.47/1087.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4344.47/1087.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4344.87/1087.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4362.45/1092.16	c lits-rem:       479  cl-subs:     3406  v-elim:      0  v-fix:    0  time:  4.44 s
4362.45/1092.16	c vivif2 --  cl tried     2745 cl shrink        0 lits rem          0 time: 0.00
4362.45/1092.18	c vivif2 --  cl tried   107985 cl shrink        0 lits rem          0 time: 0.02
4363.27/1092.30	c asymm  cl-useful: 0/2745/2745 lits-rem:0 time: 0.12
4363.27/1092.31	c calculated reachability. Time: 0.00
4363.27/1092.31	c  N st    83   3712854       629      2745         0    107985      8373   1627234   no data   no data
4442.35/1112.17	c  F st    84   3751567       629      2745         0    145982      8373   2749741   no data   no data
4442.35/1112.17	c  N st    84   3751567       629      2745         0    145982      8373   2749741   no data   no data
4458.72/1116.26	c Decided on static restart strategy
4510.65/1129.20	c  N st    94   3779870       629      2745         0     90716      8373   1060022   no data   no data
4576.16/1145.67	c  N st    96   3815862       629      2745         0    125969      8373   2079673   no data   no data
4639.28/1161.49	c  N st    97   3848255       629      2745         0    157882      8373   3001816   no data   no data
4722.36/1182.20	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: 935)

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-3173903-1304072698/watcher-3173903-1304072698 -o /tmp/evaluation-result-3173903-1304072698/solver-3173903-1304072698 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173903-1304072698.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: 1.91 4.18 5.50 4/176 32559
/proc/meminfo: memFree=20491908/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 597500471 52441088 347 33554432000 4194304 4627427 140736062859840 18446744073709551615 47329126668204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 12803 347 299 106 0 7774 0
[pid=32557/tid=32560] ppid=32554 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 597500471 52441088 347 33554432000 4194304 4627427 140736062859840 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 597500471 52441088 347 33554432000 4194304 4627427 140736062859840 18446744073709551615 231907288118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 597500471 52441088 347 33554432000 4194304 4627427 140736062859840 18446744073709551615 47329126668210 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.109253 s]
/proc/loadavg: 1.91 4.18 5.50 4/176 32559
/proc/meminfo: memFree=20491908/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=282448 CPUtime=0.4 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 1885 0 0 0 40 0 0 0 19 0 4 0 597500471 289226752 1774 33554432000 4194304 4627427 140736062859840 18446744073709551615 4329636 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 70612 1774 384 106 0 65583 0
[pid=32557/tid=32560] ppid=32554 vsize=282448 CPUtime=0.1 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 391 0 0 0 10 0 0 0 20 0 4 0 597500471 289226752 1775 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=282448 CPUtime=0.1 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 417 0 0 0 10 0 0 0 20 0 4 0 597500471 289226752 1775 33554432000 4194304 4627427 140736062859840 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=282448 CPUtime=0.09 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 255 0 0 0 9 0 0 0 20 0 4 0 597500471 289226752 1775 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282448

[startup+0.209234 s]
/proc/loadavg: 1.91 4.18 5.50 4/176 32559
/proc/meminfo: memFree=20491908/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=284092 CPUtime=0.8 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 2589 0 0 0 80 0 0 0 19 0 4 0 597500471 290910208 1799 33554432000 4194304 4627427 140736062859840 18446744073709551615 4327488 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 71023 1799 385 106 0 65994 0
[pid=32557/tid=32560] ppid=32554 vsize=284092 CPUtime=0.19 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 572 0 0 0 19 0 0 0 20 0 4 0 597500471 290910208 1799 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=284092 CPUtime=0.2 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 593 0 0 0 20 0 0 0 20 0 4 0 597500471 290910208 1800 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=284092 CPUtime=0.19 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 413 0 0 0 19 0 0 0 20 0 4 0 597500471 290910208 1800 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 284092

[startup+0.300218 s]
/proc/loadavg: 1.91 4.18 5.50 4/176 32559
/proc/meminfo: memFree=20491908/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=284252 CPUtime=1.16 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 2992 0 0 0 116 0 0 0 19 0 4 0 597500471 291074048 2202 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 71063 2202 385 106 0 66034 0
[pid=32557/tid=32560] ppid=32554 vsize=284252 CPUtime=0.29 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 656 0 0 0 29 0 0 0 20 0 4 0 597500471 291074048 2202 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=284252 CPUtime=0.29 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 691 0 0 0 29 0 0 0 20 0 4 0 597500471 291074048 2202 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=284252 CPUtime=0.29 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 525 0 0 0 29 0 0 0 20 0 4 0 597500471 291074048 2202 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284252

[startup+0.700144 s]
/proc/loadavg: 1.91 4.18 5.50 4/176 32559
/proc/meminfo: memFree=20491908/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=285404 CPUtime=2.77 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 4696 0 0 0 276 1 0 0 19 0 4 0 597500471 292253696 2884 33554432000 4194304 4627427 140736062859840 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 71351 2884 385 106 0 66322 0
[pid=32557/tid=32560] ppid=32554 vsize=285404 CPUtime=0.69 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 1107 0 0 0 69 0 0 0 21 0 4 0 597500471 292253696 2884 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=285404 CPUtime=0.69 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 1104 0 0 0 69 0 0 0 21 0 4 0 597500471 292253696 2884 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=285404 CPUtime=0.68 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 937 0 0 0 68 0 0 0 21 0 4 0 597500471 292253696 2884 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285404

[startup+1.501 s]
/proc/loadavg: 1.91 4.18 5.50 10/184 32567
/proc/meminfo: memFree=20470988/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=292360 CPUtime=5.96 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 9470 0 0 0 595 1 0 0 21 0 4 0 597500471 299376640 4799 33554432000 4194304 4627427 140736062859840 18446744073709551615 4429527 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 73125 4814 390 106 0 68096 0
[pid=32557/tid=32560] ppid=32554 vsize=292500 CPUtime=1.48 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 1957 0 0 0 148 0 0 0 23 0 4 0 597500471 299520000 4815 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=292500 CPUtime=1.49 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 1972 0 0 0 149 0 0 0 24 0 4 0 597500471 299520000 4816 33554432000 4194304 4627427 140736062859840 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=292500 CPUtime=1.48 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 1773 0 0 0 148 0 0 0 23 0 4 0 597500471 299520000 4817 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 292360

[startup+3.1007 s]
/proc/loadavg: 1.91 4.18 5.50 10/184 32567
/proc/meminfo: memFree=20437748/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=284748 CPUtime=12.36 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 19143 0 0 0 1233 3 0 0 25 0 4 0 597500471 291581952 10788 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 71187 10788 390 106 0 66158 0
[pid=32557/tid=32560] ppid=32554 vsize=284748 CPUtime=3.07 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 4309 0 0 0 307 0 0 0 25 0 4 0 597500471 291581952 10788 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=284748 CPUtime=3.09 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 5076 0 0 0 309 0 0 0 25 0 4 0 597500471 291581952 10788 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=284748 CPUtime=3.08 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 4662 0 0 0 307 1 0 0 25 0 4 0 597500471 291581952 10788 33554432000 4194304 4627427 140736062859840 18446744073709551615 4329693 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 284748

[startup+6.3011 s]
/proc/loadavg: 2.40 4.24 5.51 9/184 32567
/proc/meminfo: memFree=20401896/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=287164 CPUtime=25.14 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 29321 0 0 0 2509 5 0 0 25 0 4 0 597500471 294055936 14817 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 71791 14817 389 106 0 66762 0
[pid=32557/tid=32560] ppid=32554 vsize=287164 CPUtime=6.26 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 7673 0 0 0 625 1 0 0 25 0 4 0 597500471 294055936 14817 33554432000 4194304 4627427 140736062859840 18446744073709551615 4299664 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=287164 CPUtime=6.28 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 7726 0 0 0 628 0 0 0 25 0 4 0 597500471 294055936 14817 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=287164 CPUtime=6.29 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 6569 0 0 0 627 2 0 0 25 0 4 0 597500471 294055936 14817 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 287164

[startup+12.7009 s]
/proc/loadavg: 2.85 4.31 5.53 10/184 32568
/proc/meminfo: memFree=20352120/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=293552 CPUtime=50.7 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 47207 0 0 0 5061 9 0 0 25 0 4 0 597500471 300597248 24587 33554432000 4194304 4627427 140736062859840 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 73388 24587 389 106 0 68359 0
[pid=32557/tid=32560] ppid=32554 vsize=293552 CPUtime=12.62 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 12193 0 0 0 1260 2 0 0 25 0 4 0 597500471 300597248 24587 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=293552 CPUtime=12.69 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 11335 0 0 0 1267 2 0 0 25 0 4 0 597500471 300597248 24587 33554432000 4194304 4627427 140736062859840 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=293552 CPUtime=12.68 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 12061 0 0 0 1266 2 0 0 25 0 4 0 597500471 300597248 24587 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 293552

[startup+25.5005 s]
/proc/loadavg: 3.99 4.49 5.57 9/184 32598
/proc/meminfo: memFree=20315752/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=308700 CPUtime=101.83 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 68641 0 0 0 10169 14 0 0 25 0 4 0 597500471 316108800 32504 33554432000 4194304 4627427 140736062859840 18446744073709551615 4310574 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 77175 32504 389 106 0 72146 0
[pid=32557/tid=32560] ppid=32554 vsize=308700 CPUtime=25.34 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 18553 0 0 0 2531 3 0 0 25 0 4 0 597500471 316108800 32504 33554432000 4194304 4627427 140736062859840 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=308700 CPUtime=25.48 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 17814 0 0 0 2545 3 0 0 25 0 4 0 597500471 316108800 32504 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=308700 CPUtime=25.48 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 17558 0 0 0 2545 3 0 0 25 0 4 0 597500471 316108800 32504 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 308700

[startup+51.1007 s]
/proc/loadavg: 5.42 4.78 5.64 9/184 32599
/proc/meminfo: memFree=20253752/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=329480 CPUtime=204.09 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 102623 0 0 0 20384 25 0 0 25 0 4 0 597500471 337387520 35983 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 82370 35983 389 106 0 77341 0
[pid=32557/tid=32560] ppid=32554 vsize=329480 CPUtime=50.81 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 26018 0 0 0 5075 6 0 0 25 0 4 0 597500471 337387520 35983 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=329480 CPUtime=51.08 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 28488 0 0 0 5102 6 0 0 25 0 4 0 597500471 337387520 35983 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=329480 CPUtime=51.08 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 24217 0 0 0 5103 5 0 0 25 0 4 0 597500471 337387520 35983 33554432000 4194304 4627427 140736062859840 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 329480

[startup+102.301 s]
/proc/loadavg: 6.99 5.31 5.77 9/184 32600
/proc/meminfo: memFree=20201488/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=334424 CPUtime=408.63 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 157459 0 0 0 40824 39 0 0 25 0 4 0 597500471 342450176 44741 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 83606 44741 389 106 0 78577 0
[pid=32557/tid=32560] ppid=32554 vsize=334424 CPUtime=101.74 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 41467 0 0 0 10164 10 0 0 25 0 4 0 597500471 342450176 44741 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=334424 CPUtime=102.29 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 42885 0 0 0 10219 10 0 0 25 0 4 0 597500471 342450176 44741 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=334424 CPUtime=102.29 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 36128 0 0 0 10220 9 0 0 25 0 4 0 597500471 342450176 44741 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 334424

[startup+162.301 s]

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

[pid=32557] ppid=32554 vsize=589584 CPUtime=2565.69 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 412087 0 0 0 256432 137 0 0 25 0 4 0 597500471 603734016 103058 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308280 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 147396 103058 389 106 0 142367 0
[pid=32557/tid=32560] ppid=32554 vsize=589584 CPUtime=638.81 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 94510 0 0 0 63852 29 0 0 25 0 4 0 597500471 603734016 103058 33554432000 4194304 4627427 140736062859840 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=589584 CPUtime=642.31 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 114796 0 0 0 64191 40 0 0 25 0 4 0 597500471 603734016 103058 33554432000 4194304 4627427 140736062859840 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=589584 CPUtime=642.3 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 117190 0 0 0 64190 40 0 0 25 0 4 0 597500471 603734016 103058 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2565.69
Current children cumulated vsize (KiB) 589584

[startup+702.301 s]
/proc/loadavg: 8.10 7.73 6.87 9/184 32616
/proc/meminfo: memFree=19750796/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=649792 CPUtime=2805.36 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 437142 0 0 0 280388 148 0 0 25 0 4 0 597500471 665387008 114206 33554432000 4194304 4627427 140736062859840 18446744073709551615 4310992 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 162448 114206 389 106 0 157419 0
[pid=32557/tid=32560] ppid=32554 vsize=649792 CPUtime=698.48 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 100632 0 0 0 69817 31 0 0 25 0 4 0 597500471 665387008 114206 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=649792 CPUtime=702.3 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 121533 0 0 0 70187 43 0 0 25 0 4 0 597500471 665387008 114206 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=649792 CPUtime=702.3 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 124428 0 0 0 70187 43 0 0 25 0 4 0 597500471 665387008 114206 33554432000 4194304 4627427 140736062859840 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 649792

[startup+762.301 s]
/proc/loadavg: 8.12 7.79 6.94 9/184 32618
/proc/meminfo: memFree=19698952/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=634412 CPUtime=3045.05 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 466263 0 0 0 304346 159 0 0 25 0 4 0 597500471 649637888 120669 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 158603 120669 389 106 0 153574 0
[pid=32557/tid=32560] ppid=32554 vsize=634412 CPUtime=758.16 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 106992 0 0 0 75783 33 0 0 25 0 4 0 597500471 649637888 120669 33554432000 4194304 4627427 140736062859840 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=634412 CPUtime=762.31 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 129698 0 0 0 76185 46 0 0 25 0 4 0 597500471 649637888 120669 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=634412 CPUtime=762.31 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 131551 0 0 0 76185 46 0 0 25 0 4 0 597500471 649637888 120669 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 634412

[startup+822.3 s]
/proc/loadavg: 8.11 7.84 7.01 9/184 32619
/proc/meminfo: memFree=19690508/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=634504 CPUtime=3284.71 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 483133 0 0 0 328305 166 0 0 25 0 4 0 597500471 649732096 117761 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 158626 117761 389 106 0 153597 0
[pid=32557/tid=32560] ppid=32554 vsize=634504 CPUtime=817.83 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 111027 0 0 0 81748 35 0 0 25 0 4 0 597500471 649732096 117761 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=634504 CPUtime=822.31 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 133168 0 0 0 82183 48 0 0 25 0 4 0 597500471 649732096 117761 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=634504 CPUtime=822.31 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 138993 0 0 0 82181 50 0 0 25 0 4 0 597500471 649732096 117761 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308120 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 634504

[startup+882.307 s]
/proc/loadavg: 8.23 7.93 7.09 9/184 32624
/proc/meminfo: memFree=19694488/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=691572 CPUtime=3524.4 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 502994 0 0 0 352264 176 0 0 25 0 4 0 597500471 708169728 119654 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 172893 119654 389 106 0 167864 0
[pid=32557/tid=32560] ppid=32554 vsize=691572 CPUtime=877.51 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 119692 0 0 0 87713 38 0 0 25 0 4 0 597500471 708169728 119654 33554432000 4194304 4627427 140736062859840 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=691572 CPUtime=882.32 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 138654 0 0 0 88181 51 0 0 25 0 4 0 597500471 708169728 119654 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=691572 CPUtime=882.32 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 144170 0 0 0 88179 53 0 0 25 0 4 0 597500471 708169728 119654 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 691572

[startup+942.301 s]
/proc/loadavg: 8.08 7.94 7.14 9/184 32625
/proc/meminfo: memFree=19622060/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=692432 CPUtime=3764.05 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 525542 0 0 0 376222 183 0 0 25 0 4 0 597500471 709050368 130855 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 173108 130855 389 106 0 168079 0
[pid=32557/tid=32560] ppid=32554 vsize=692432 CPUtime=937.18 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 123989 0 0 0 93679 39 0 0 25 0 4 0 597500471 709050368 130855 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=692432 CPUtime=942.31 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 143180 0 0 0 94178 53 0 0 25 0 4 0 597500471 709050368 130855 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=692432 CPUtime=942.31 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 153897 0 0 0 94176 55 0 0 25 0 4 0 597500471 709050368 130855 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 692432

[startup+1002.3 s]
/proc/loadavg: 8.03 7.95 7.20 9/184 32627
/proc/meminfo: memFree=19597248/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=758504 CPUtime=4003.74 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 545471 0 0 0 400182 192 0 0 25 0 4 0 597500471 776708096 134907 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 189626 134907 389 106 0 184597 0
[pid=32557/tid=32560] ppid=32554 vsize=758504 CPUtime=996.85 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 127691 0 0 0 99644 41 0 0 25 0 4 0 597500471 776708096 134907 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=758504 CPUtime=1002.31 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 152194 0 0 0 100176 55 0 0 25 0 4 0 597500471 776708096 134907 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=758504 CPUtime=1002.31 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 160790 0 0 0 100173 58 0 0 25 0 4 0 597500471 776708096 134907 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 758504

[startup+1062.3 s]
/proc/loadavg: 8.12 7.98 7.25 9/184 32629
/proc/meminfo: memFree=19593260/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=719372 CPUtime=4243.4 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 567448 0 0 0 424137 203 0 0 25 0 4 0 597500471 736636928 140596 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 179843 140596 389 106 0 174814 0
[pid=32557/tid=32560] ppid=32554 vsize=719372 CPUtime=1056.53 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 134649 0 0 0 105608 45 0 0 25 0 4 0 597500471 736636928 140596 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=719372 CPUtime=1062.32 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 159659 0 0 0 106172 60 0 0 25 0 4 0 597500471 736636928 140596 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=719372 CPUtime=1062.31 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 167697 0 0 0 106170 61 0 0 25 0 4 0 597500471 736636928 140596 33554432000 4194304 4627427 140736062859840 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 719372

[startup+1122.3 s]
/proc/loadavg: 8.14 8.01 7.31 9/184 32630
/proc/meminfo: memFree=19603924/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=772712 CPUtime=4483.09 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 582911 0 0 0 448098 211 0 0 25 0 4 0 597500471 791257088 137288 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 193178 137288 389 106 0 188149 0
[pid=32557/tid=32560] ppid=32554 vsize=772712 CPUtime=1116.21 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 137323 0 0 0 111575 46 0 0 25 0 4 0 597500471 791257088 137288 33554432000 4194304 4627427 140736062859840 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=772712 CPUtime=1122.32 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 166192 0 0 0 112168 64 0 0 25 0 4 0 597500471 791257088 137288 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=772712 CPUtime=1122.31 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 173159 0 0 0 112168 63 0 0 25 0 4 0 597500471 791257088 137288 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.09
Current children cumulated vsize (KiB) 772712

[startup+1182.3 s]
/proc/loadavg: 8.14 8.04 7.36 9/184 32632
/proc/meminfo: memFree=19563240/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=719668 CPUtime=4722.76 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 604643 0 0 0 472058 218 0 0 25 0 4 0 597500471 736940032 143683 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 179917 143683 389 106 0 174888 0
[pid=32557/tid=32560] ppid=32554 vsize=719668 CPUtime=1175.88 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 142834 0 0 0 117540 48 0 0 25 0 4 0 597500471 736940032 143683 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=719668 CPUtime=1182.32 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 173854 0 0 0 118165 67 0 0 25 0 4 0 597500471 736940032 143683 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=719668 CPUtime=1182.31 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 181067 0 0 0 118166 65 0 0 25 0 4 0 597500471 736940032 143683 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.76
Current children cumulated vsize (KiB) 719668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.04 7.37 9/184 32632
/proc/meminfo: memFree=19570920/32950928 swapFree=67111524/67111528
[pid=32557] ppid=32554 vsize=880660 CPUtime=4800.27 cores=0,2,4,6
/proc/32557/stat : 32557 (strangenight2-m) R 32554 32557 32106 0 -1 4202496 609501 0 0 0 479806 221 0 0 25 0 4 0 597500471 901795840 148541 33554432000 4194304 4627427 140736062859840 18446744073709551615 4308335 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32557/statm: 220165 148541 389 106 0 215136 0
[pid=32557/tid=32560] ppid=32554 vsize=880660 CPUtime=1195.18 cores=0,2,4,6
/proc/32557/task/32560/stat : 32560 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 144710 0 0 0 119469 49 0 0 25 0 4 0 597500471 901795840 148541 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32557/tid=32562] ppid=32554 vsize=880660 CPUtime=1201.72 cores=0,2,4,6
/proc/32557/task/32562/stat : 32562 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 175518 0 0 0 120105 67 0 0 25 0 4 0 597500471 901795840 148541 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32557/tid=32564] ppid=32554 vsize=880660 CPUtime=1201.72 cores=0,2,4,6
/proc/32557/task/32564/stat : 32564 (strangenight2-m) R 32554 32557 32106 0 -1 4202560 182181 0 0 0 120106 66 0 0 25 0 4 0 597500471 901795840 148541 33554432000 4194304 4627427 140736062859840 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 880660

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): 1201.74
CPU time (s): 4800.33
CPU user time (s): 4798.09
CPU system time (s): 2.24266
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 880660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.09
system time used= 2.24266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 609502
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= 525
involuntary context switches= 21643

runsolver used 1.91571 second user time and 4.65229 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 12:24:58
IDJOB=3173903
IDBENCH=82721
IDSOLVER=1586
FILE ID=node114/3173903-1304072698
RUNJOBID= node114-1304072698-32540
PBS_JOBID= 13170474
Free space on /tmp= 71804 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3173903-1304072698/watcher-3173903-1304072698 -o /tmp/evaluation-result-3173903-1304072698/solver-3173903-1304072698 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173903-1304072698.cnf

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

MD5SUM BENCH= ac64879f46539032a3d2139dc7635d2e
RANDOM SEED=1809779338

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.73
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.848
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.75
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.848
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.848
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.74
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.848
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:      20492104 kB
Buffers:       2256996 kB
Cached:        9556316 kB
SwapCached:          4 kB
Active:        3447948 kB
Inactive:      8429704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20492104 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11372 kB
Writeback:           0 kB
AnonPages:       63988 kB
Mapped:          14488 kB
Slab:           517384 kB
PageTables:       4736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   184684 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= 71792 MiB
End job on node114 at 2011-04-29 12:45:02