Trace number 3173892

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.28 1201.93

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf
MD5SUM57a2cff28dc53061839e3102dd9b3447
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
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-3173892-1304072670.cnf'
0.00/0.00	c -- header says num vars:            500
0.00/0.00	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 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:    500 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.23	c lits-rem:         0  cl-subs:        0  v-elim:      5  v-fix:    0  time:  0.00 s
4.77/1.23	c Finding binary XORs  T:     0.00 s  found:       0
4.77/1.23	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
4.77/1.23	c calculated reachability. Time: 0.00
4.77/1.23	c Calc default polars -  time:   0.00 s pos:     238 undec:      52 neg:     210
4.77/1.23	c =========================================================================================
4.77/1.23	c types(t): F = full restart, N = normal restart
4.77/1.23	c types(t): S = simplification begin/end, E = solution found
4.77/1.23	c restart types(rt): st = static, dy = dynamic
4.77/1.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.77/1.23	c  B st     0         0       495      2125         0         0      6404         0   no data   no data
4.77/1.23	c Decided on static restart strategy
4.77/1.23	c  N st     8      4918       495      2125         0      4845      6404    108310   no data   no data
4.77/1.23	c  N st    10     11302       495      2125         0      4486      6404     75397   no data   no data
4.77/1.23	c  N st    11     17046       495      2125         0     10129      6404    210587   no data   no data
5.98/1.52	c  F st    12     25000       495      2125         0     12392      6404    258643   no data   no data
5.98/1.52	c  N st    12     25000       495      2125         0     12392      6404    258643   no data   no data
5.98/1.52	c Decided on static restart strategy
5.98/1.52	c  N st    18     30000       495      2125         0     10673      6404    198132   no data   no data
5.98/1.52	c  S st    18     30000       495      2125         0     10673      6404    198132   no data   no data
5.98/1.52	c  S st    18     30502       495      2125         0     11173      6404    209257   no data   no data
5.98/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.98/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.98/1.52	c blocked clauses removed:        0 vars:      0 tried:         495 T: 0.00 s
5.98/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.98/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.98/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
5.98/1.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.98/1.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.98/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.98/1.52	c lits-rem:       113  cl-subs:      577  v-elim:      0  v-fix:    0  time:  0.05 s
5.98/1.52	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.01
5.98/1.52	c calculated reachability. Time: 0.00
5.98/1.52	c  N st    18     30502       495      2125         0     10596      6404    195075   no data   no data
7.17/1.82	c  N st    20     37615       495      2125         0      9851      6404    159868   no data   no data
8.38/2.16	c  N st    21     44014       495      2125         0     16116      6404    306720   no data   no data
8.79/2.28	c  S st    22     45755       495      2125         0      9074      6404    125819   no data   no data
9.16/2.31	c  S st    22     46259       495      2125         0      9577      6404    136900   no data   no data
9.16/2.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
9.16/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.33	c lits-rem:        13  cl-subs:       75  v-elim:      0  v-fix:    0  time:  0.01 s
9.16/2.33	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
9.16/2.33	c vivif2 --  cl tried     9502 cl shrink        0 lits rem          0 time: 0.00
9.16/2.34	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.00
9.16/2.34	c calculated reachability. Time: 0.00
9.16/2.34	c  N st    22     46259       495      2125         0      9502      6404    135016   no data   no data
12.78/3.28	c  N st    23     60656       495      2125         0     13853      6404    239128   no data   no data
15.16/3.87	c  N st    24     69390       495      2125         0     11657      6404    170930   no data   no data
15.16/3.87	c  S st    24     69390       495      2125         0     11657      6404    170930   no data   no data
15.56/3.91	c  S st    24     69896       495      2125         0     12160      6404    183091   no data   no data
15.56/3.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.56/3.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
15.56/3.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.56/3.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.94	c lits-rem:        51  cl-subs:      114  v-elim:      0  v-fix:    0  time:  0.02 s
15.56/3.94	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
15.56/3.94	c vivif2 --  cl tried    12046 cl shrink        0 lits rem          0 time: 0.00
15.56/3.94	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.01
15.56/3.95	c calculated reachability. Time: 0.00
15.56/3.95	c  N st    24     69896       495      2125         0     12046      6404    179900   no data   no data
20.75/5.21	c  F st    25     87500       495      2125         0     17524      6404    309871   no data   no data
20.75/5.21	c  N st    25     87500       495      2125         0     17524      6404    309871   no data   no data
22.34/5.61	c Decided on static restart strategy
23.14/5.87	c  N st    32     95535       495      2125         0     25433      6404    498915   no data   no data
25.95/6.54	c  N st    34    104845       495      2125         0     21753      6404    384533   no data   no data
25.95/6.54	c  S st    34    104845       495      2125         0     21753      6404    384533   no data   no data
25.95/6.60	c  S st    34    105347       495      2125         0     22254      6404    395653   no data   no data
25.95/6.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.36/6.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.36/6.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
26.36/6.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.36/6.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.36/6.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.80	c lits-rem:       190  cl-subs:     1032  v-elim:      0  v-fix:    0  time:  0.17 s
26.74/6.80	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
27.14/6.80	c vivif2 --  cl tried    21222 cl shrink        0 lits rem          0 time: 0.00
27.14/6.81	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.01
27.14/6.81	c calculated reachability. Time: 0.00
27.14/6.81	c  N st    34    105347       495      2125         0     21222      6404    369613   no data   no data
30.34/7.62	c  N st    35    114945       495      2125         0     16929      6404    247340   no data   no data
35.52/8.94	c  N st    36    129344       495      2125         0     16356      6404    215990   no data   no data
42.72/10.75	c  N st    37    150939       495      2125         0     21881      6404    340745   no data   no data
45.51/11.43	c  S st    38    158020       495      2125         0     28812      6404    513608   no data   no data
45.91/11.50	c  S st    38    158522       495      2125         0     29314      6404    525364   no data   no data
45.91/11.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.91/11.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.91/11.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.91/11.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.91/11.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.91/11.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
45.91/11.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.91/11.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.91/11.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.71/11.78	c lits-rem:       343  cl-subs:     1041  v-elim:      0  v-fix:    0  time:  0.25 s
46.71/11.78	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
46.71/11.79	c vivif2 --  cl tried    28273 cl shrink        0 lits rem          0 time: 0.01
47.11/11.81	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.02
47.11/11.81	c calculated reachability. Time: 0.00
47.11/11.81	c  N st    38    158522       495      2125         0     28273      6404    498221   no data   no data
67.47/16.95	c  N st    39    207110       495      2125         0     23047      6404    329771   no data   no data
80.66/20.28	c  N st    40    237783       495      2125         0     33515      6404    559950   no data   no data
80.66/20.28	c  S st    40    237783       495      2125         0     33515      6404    559950   no data   no data
81.06/20.36	c  S st    40    238286       495      2125         0     34018      6404    571630   no data   no data
81.06/20.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.06/20.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.06/20.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.06/20.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.06/20.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.06/20.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
81.06/20.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.06/20.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.46/20.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.66/20.78	c lits-rem:       222  cl-subs:     1135  v-elim:      0  v-fix:    0  time:  0.38 s
82.66/20.78	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
82.66/20.79	c vivif2 --  cl tried    32883 cl shrink        0 lits rem          0 time: 0.01
83.07/20.80	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.02
83.07/20.81	c calculated reachability. Time: 0.00
83.07/20.81	c  N st    40    238286       495      2125         0     32883      6404    544862   no data   no data
115.02/28.82	c  F st    41    306250       495      2125         0     34614      6404    557775   no data   no data
115.02/28.82	c  N st    41    306250       495      2125         0     34614      6404    557775   no data   no data
117.82/29.51	c Decided on static restart strategy
129.39/32.48	c  N st    51    334555       495      2125         0     38900      6404    649740   no data   no data
140.97/35.33	c  N st    53    357430       495      2125         0     36832      6404    589342   no data   no data
140.97/35.33	c  S st    53    357430       495      2125         0     36832      6404    589342   no data   no data
141.37/35.42	c  S st    53    357934       495      2125         0     37334      6404    601514   no data   no data
141.37/35.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.37/35.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
141.37/35.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.37/35.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.37/35.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.37/35.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
141.37/35.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
141.37/35.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.37/35.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.97/35.82	c lits-rem:       225  cl-subs:     1141  v-elim:      0  v-fix:    0  time:  0.37 s
142.97/35.82	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
142.97/35.83	c vivif2 --  cl tried    36193 cl shrink        0 lits rem          0 time: 0.01
142.97/35.85	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.02
142.97/35.86	c calculated reachability. Time: 0.00
142.97/35.86	c  N st    53    357934       495      2125         0     36193      6404    570563   no data   no data
160.95/40.36	c  N st    54    390327       495      2125         0     42423      6404    684233   no data   no data
188.11/47.18	c  N st    55    438916       495      2125         0     36138      6404    512078   no data   no data
233.24/58.45	c  N st    56    511798       495      2125         0     49691      6404    792816   no data   no data
249.23/62.48	c  N st    57    536906       495      2125         0     43854      6404    613662   no data   no data
249.23/62.48	c  S st    57    536906       495      2125         0     43854      6404    613662   no data   no data
249.63/62.59	c  S st    57    537411       495      2125         0     44356      6404    625240   no data   no data
249.63/62.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
250.04/62.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
250.04/62.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
250.04/62.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
250.04/62.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.04/62.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
250.04/62.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
250.04/62.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
250.04/62.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
252.02/63.13	c lits-rem:       294  cl-subs:     2011  v-elim:      0  v-fix:    0  time:  0.49 s
252.02/63.13	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
252.02/63.14	c vivif2 --  cl tried    42345 cl shrink        0 lits rem          0 time: 0.01
252.02/63.16	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.03
252.02/63.16	c calculated reachability. Time: 0.00
252.02/63.16	c  N st    57    537411       495      2125         0     42345      6404    587902   no data   no data
363.07/90.98	c  N st    58    701396       495      2125         0     36486      6404    379042   no data   no data
441.36/110.51	c  N st    59    806118       495      2125         0     65278      6404   1031791   no data   no data
441.36/110.51	c  S st    59    806118       495      2125         0     65278      6404   1031791   no data   no data
441.76/110.70	c  S st    59    806618       495      2125         0     65775      6404   1044319   no data   no data
442.16/110.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
442.16/110.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
442.16/110.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
442.16/110.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
442.16/110.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
442.16/110.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
442.16/110.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
442.16/110.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
442.16/110.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.16/113.25	c lits-rem:       936  cl-subs:     4623  v-elim:      0  v-fix:    0  time:  2.47 s
452.16/113.25	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
452.16/113.26	c vivif2 --  cl tried    61152 cl shrink        0 lits rem          0 time: 0.01
452.56/113.31	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.05
452.56/113.31	c calculated reachability. Time: 0.00
452.56/113.31	c  N st    59    806618       495      2125         0     61152      6404    949041   no data   no data
662.66/165.91	c  F st    60   1071875       495      2125         0     77462      6404   1246890   no data   no data
662.66/165.91	c  N st    60   1071875       495      2125         0     77462      6404   1246890   no data   no data
668.25/167.32	c Decided on static restart strategy
685.83/171.77	c  N st    70   1100178       495      2125         0     61140      6404    833193   no data   no data
717.38/179.63	c  N st    72   1136170       495      2125         0     51381      6404    574947   no data   no data
746.97/187.01	c  N st    73   1168563       495      2125         0     82966      6404   1357512   no data   no data
786.10/196.88	c  N st    74   1209928       495      2125         0     77482      6404   1200509   no data   no data
786.10/196.88	c  S st    74   1209928       495      2125         0     77482      6404   1200509   no data   no data
787.28/197.12	c  S st    74   1210433       495      2125         0     77986      6404   1212379   no data   no data
787.28/197.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
787.28/197.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
787.28/197.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
787.28/197.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
787.28/197.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
787.28/197.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
787.28/197.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
787.28/197.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
787.68/197.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
797.68/199.74	c lits-rem:       782  cl-subs:     3534  v-elim:      0  v-fix:    0  time:  2.51 s
797.68/199.74	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
797.68/199.75	c vivif2 --  cl tried    74452 cl shrink        0 lits rem          0 time: 0.02
798.08/199.82	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.07
798.08/199.82	c calculated reachability. Time: 0.00
798.08/199.82	c  N st    74   1210433       495      2125         0     74452      6404   1132289   no data   no data
861.59/215.78	c  N st    75   1283315       495      2125         0     50948      6404    530664   no data   no data
973.04/243.64	c  N st    76   1392638       495      2125         0     59082      6404    697933   no data   no data
1145.60/286.84	c  N st    77   1556623       495      2125         0     63856      6404    761839   no data   no data
1306.18/327.07	c  N st    78   1710433       495      2125         0    105799      6404   1847761   no data   no data
1306.18/327.07	c  S st    78   1710433       495      2125         0    105799      6404   1847761   no data   no data
1307.77/327.43	c  S st    78   1710937       495      2125         0    106303      6404   1859985   no data   no data
1307.77/327.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1307.77/327.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1307.77/327.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1307.77/327.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1307.77/327.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1307.77/327.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
1307.77/327.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1308.18/327.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1308.18/327.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1352.52/338.66	c lits-rem:      1170  cl-subs:     6980  v-elim:      0  v-fix:    0  time: 11.08 s
1352.52/338.66	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
1352.52/338.69	c vivif2 --  cl tried    99323 cl shrink        0 lits rem          0 time: 0.02
1352.92/338.79	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.10
1352.92/338.79	c calculated reachability. Time: 0.00
1352.92/338.79	c  N st    78   1710937       495      2125         0     99323      6404   1693138   no data   no data
1770.77/443.32	c  N st    79   2079903       495      2125         0    110631      6404   1851156   no data   no data
1923.75/481.61	c  N st    80   2210937       495      2125         0    115060      6404   1910196   no data   no data
1923.75/481.61	c  S st    80   2210937       495      2125         0    115060      6404   1910196   no data   no data
1925.34/482.03	c  S st    80   2211437       495      2125         0    115559      6404   1922327   no data   no data
1925.34/482.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1925.34/482.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1925.34/482.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1925.34/482.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1925.34/482.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1925.34/482.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
1925.34/482.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1925.74/482.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1925.74/482.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1968.88/492.91	c lits-rem:       831  cl-subs:     6929  v-elim:      0  v-fix:    0  time: 10.73 s
1968.88/492.91	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
1968.88/492.94	c vivif2 --  cl tried   108630 cl shrink        0 lits rem          0 time: 0.03
1969.28/493.05	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.11
1969.28/493.06	c calculated reachability. Time: 0.00
1969.28/493.06	c  N st    80   2211437       495      2125         0    108630      6404   1754584   no data   no data
2618.00/655.42	c  N st    81   2711438       495      2125         0    131709      6404   2143016   no data   no data
2618.00/655.42	c  S st    81   2711438       495      2125         0    131709      6404   2143016   no data   no data
2619.99/655.90	c  S st    81   2711944       495      2125         0    132214      6404   2155118   no data   no data
2619.99/655.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2619.99/655.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2619.99/655.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2619.99/655.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2619.99/655.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2619.99/655.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
2619.99/655.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2620.39/656.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2620.39/656.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2706.29/677.52	c lits-rem:      1178  cl-subs:    14430  v-elim:      0  v-fix:    0  time: 21.44 s
2706.29/677.52	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
2706.29/677.55	c vivif2 --  cl tried   117784 cl shrink        0 lits rem          0 time: 0.03
2706.70/677.67	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.12
2706.70/677.68	c calculated reachability. Time: 0.00
2706.70/677.68	c  N st    81   2711944       495      2125         0    117784      6404   1831316   no data   no data
3459.17/866.03	c  N st    82   3211947       495      2125         0     93643      6404   1102483   no data   no data
3459.17/866.03	c  S st    82   3211947       495      2125         0     93643      6404   1102483   no data   no data
3460.35/866.34	c  S st    82   3212454       495      2125         0     94149      6404   1114954   no data   no data
3460.35/866.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3460.35/866.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3460.35/866.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3460.35/866.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3460.35/866.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3460.35/866.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
3460.35/866.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3460.75/866.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3460.75/866.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3467.08/868.03	c lits-rem:       187  cl-subs:     3429  v-elim:      0  v-fix:    0  time:  1.58 s
3467.08/868.03	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
3467.08/868.05	c vivif2 --  cl tried    90720 cl shrink        0 lits rem          0 time: 0.02
3467.48/868.14	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.09
3467.48/868.14	c calculated reachability. Time: 0.00
3467.48/868.14	c  N st    82   3212454       495      2125         0     90720      6404   1043747   no data   no data
4225.39/1058.07	c  N st    83   3712455       495      2125         0    102083      6404   1225482   no data   no data
4225.39/1058.07	c  S st    83   3712455       495      2125         0    102083      6404   1225482   no data   no data
4226.98/1058.41	c  S st    83   3712958       495      2125         0    102583      6404   1237990   no data   no data
4226.98/1058.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4226.98/1058.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4226.98/1058.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4226.98/1058.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4226.98/1058.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4226.98/1058.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
4226.98/1058.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4227.38/1058.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4227.38/1058.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4233.78/1060.13	c lits-rem:       180  cl-subs:     2819  v-elim:      0  v-fix:    0  time:  1.59 s
4233.78/1060.13	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
4233.78/1060.15	c vivif2 --  cl tried    99764 cl shrink        0 lits rem          0 time: 0.02
4234.18/1060.25	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.10
4234.18/1060.25	c calculated reachability. Time: 0.00
4234.18/1060.25	c  N st    83   3712958       495      2125         0     99764      6404   1177423   no data   no data
4291.31/1074.51	c  F st    84   3751562       495      2125         0    137324      6404   2084320   no data   no data
4291.31/1074.51	c  N st    84   3751562       495      2125         0    137324      6404   2084320   no data   no data
4300.91/1076.99	c Decided on static restart strategy
4353.23/1090.01	c  N st    94   3779867       495      2125         0    164950      6404   2755209   no data   no data
4403.55/1102.60	c  N st    96   3815859       495      2125         0    117202      6404   1638678   no data   no data
4452.68/1114.92	c  N st    97   3848252       495      2125         0    148774      6404   2412497   no data   no data
4530.18/1134.34	c  N st    98   3896841       495      2125         0    112231      6404   1466515   no data   no data
4643.64/1162.76	c  N st    99   3969723       495      2125         0     98497      6404   1098865   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-3173892-1304072670/watcher-3173892-1304072670 -o /tmp/evaluation-result-3173892-1304072670/solver-3173892-1304072670 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173892-1304072670.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: 2.84 4.95 6.16 2/172 2766
/proc/meminfo: memFree=23629776/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 597497711 52441088 347 33554432000 4194304 4627427 140735300408704 18446744073709551615 260905450481 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 12803 347 299 106 0 7774 0
[pid=2766/tid=2768] ppid=2764 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 597497712 52441088 347 33554432000 4194304 4627427 140735300408704 18446744073709551615 47060717365170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597497712 52441088 347 33554432000 4194304 4627427 140735300408704 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597497712 52441088 347 33554432000 4194304 4627427 140735300408704 18446744073709551615 260917191734 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0734139 s]
/proc/loadavg: 2.84 4.95 6.16 2/172 2766
/proc/meminfo: memFree=23629776/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=282404 CPUtime=0.27 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 1531 0 0 0 27 0 0 0 18 0 4 0 597497711 289181696 1429 33554432000 4194304 4627427 140735300408704 18446744073709551615 4333369 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 70601 1429 384 106 0 65572 0
[pid=2766/tid=2768] ppid=2764 vsize=282404 CPUtime=0.06 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 309 0 0 0 6 0 0 0 18 0 4 0 597497712 289181696 1429 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=282404 CPUtime=0.06 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 329 0 0 0 6 0 0 0 25 0 4 0 597497712 289181696 1429 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=282404 CPUtime=0.06 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 212 0 0 0 6 0 0 0 18 0 4 0 597497712 289181696 1429 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 282404

[startup+0.100408 s]
/proc/loadavg: 2.84 4.95 6.16 2/172 2766
/proc/meminfo: memFree=23629776/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=282404 CPUtime=0.37 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 1652 0 0 0 37 0 0 0 18 0 4 0 597497711 289181696 1550 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 70601 1550 384 106 0 65572 0
[pid=2766/tid=2768] ppid=2764 vsize=282404 CPUtime=0.09 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 347 0 0 0 9 0 0 0 18 0 4 0 597497712 289181696 1550 33554432000 4194304 4627427 140735300408704 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=282404 CPUtime=0.09 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 354 0 0 0 9 0 0 0 25 0 4 0 597497712 289181696 1550 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=282404 CPUtime=0.09 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 241 0 0 0 9 0 0 0 18 0 4 0 597497712 289181696 1550 33554432000 4194304 4627427 140735300408704 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282404

[startup+0.300372 s]
/proc/loadavg: 2.84 4.95 6.16 2/172 2766
/proc/meminfo: memFree=23629776/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=283972 CPUtime=1.17 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 2696 0 0 0 117 0 0 0 18 0 4 0 597497711 290787328 2049 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 70993 2049 385 106 0 65964 0
[pid=2766/tid=2768] ppid=2764 vsize=283972 CPUtime=0.29 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 603 0 0 0 29 0 0 0 18 0 4 0 597497712 290787328 2049 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=283972 CPUtime=0.29 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 617 0 0 0 29 0 0 0 25 0 4 0 597497712 290787328 2050 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=283972 CPUtime=0.29 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 494 0 0 0 29 0 0 0 18 0 4 0 597497712 290787328 2050 33554432000 4194304 4627427 140735300408704 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283972

[startup+0.700299 s]
/proc/loadavg: 2.84 4.95 6.16 2/172 2766
/proc/meminfo: memFree=23629776/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=285104 CPUtime=2.77 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 4231 0 0 0 277 0 0 0 18 0 4 0 597497711 291946496 2721 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 71276 2721 385 106 0 66247 0
[pid=2766/tid=2768] ppid=2764 vsize=285104 CPUtime=0.69 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 981 0 0 0 69 0 0 0 18 0 4 0 597497712 291946496 2721 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=285104 CPUtime=0.69 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 988 0 0 0 69 0 0 0 25 0 4 0 597497712 291946496 2721 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=285104 CPUtime=0.69 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 876 0 0 0 69 0 0 0 18 0 4 0 597497712 291946496 2721 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 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) 285104

[startup+1.50115 s]
/proc/loadavg: 2.84 4.95 6.16 10/184 2780
/proc/meminfo: memFree=23605672/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=286320 CPUtime=5.98 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 8535 0 0 0 597 1 0 0 18 0 4 0 597497711 293191680 4405 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 71580 4405 389 106 0 66551 0
[pid=2766/tid=2768] ppid=2764 vsize=286320 CPUtime=1.49 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 1756 0 0 0 149 0 0 0 19 0 4 0 597497712 293191680 4405 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=286320 CPUtime=1.48 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 1755 0 0 0 148 0 0 0 25 0 4 0 597497712 293191680 4405 33554432000 4194304 4627427 140735300408704 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=286320 CPUtime=1.49 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 1653 0 0 0 149 0 0 0 20 0 4 0 597497712 293191680 4405 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 286320

[startup+3.10086 s]
/proc/loadavg: 2.84 4.95 6.16 9/184 2780
/proc/meminfo: memFree=23569340/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=299440 CPUtime=12.37 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 17818 0 0 0 1234 3 0 0 22 0 4 0 597497711 306626560 8946 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 74860 8946 390 106 0 69831 0
[pid=2766/tid=2768] ppid=2764 vsize=299440 CPUtime=3.08 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 4159 0 0 0 308 0 0 0 25 0 4 0 597497712 306626560 8946 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=299440 CPUtime=3.07 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 4870 0 0 0 307 0 0 0 25 0 4 0 597497712 306626560 8946 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=299440 CPUtime=3.08 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 4055 0 0 0 308 0 0 0 25 0 4 0 597497712 306626560 8946 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 299440

[startup+6.30028 s]
/proc/loadavg: 3.33 5.01 6.18 9/184 2780
/proc/meminfo: memFree=23524820/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=304652 CPUtime=25.14 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 28186 0 0 0 2509 5 0 0 25 0 4 0 597497711 311963648 12934 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 76163 12934 390 106 0 71134 0
[pid=2766/tid=2768] ppid=2764 vsize=304652 CPUtime=6.28 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 7438 0 0 0 627 1 0 0 25 0 4 0 597497712 311963648 12934 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=304652 CPUtime=6.26 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 7901 0 0 0 625 1 0 0 25 0 4 0 597497712 311963648 12934 33554432000 4194304 4627427 140735300408704 18446744073709551615 4330943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=304652 CPUtime=6.28 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 5981 0 0 0 628 0 0 0 25 0 4 0 597497712 311963648 12934 33554432000 4194304 4627427 140735300408704 18446744073709551615 4321741 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) 304652

[startup+12.7011 s]
/proc/loadavg: 3.71 5.06 6.19 9/184 2780
/proc/meminfo: memFree=23455000/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=313080 CPUtime=50.7 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 45668 0 0 0 5062 8 0 0 25 0 4 0 597497711 320593920 18159 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 78270 18159 389 106 0 73241 0
[pid=2766/tid=2768] ppid=2764 vsize=313080 CPUtime=12.68 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 11510 0 0 0 1266 2 0 0 25 0 4 0 597497712 320593920 18159 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=313080 CPUtime=12.61 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 10904 0 0 0 1260 1 0 0 25 0 4 0 597497712 320593920 18159 33554432000 4194304 4627427 140735300408704 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=313080 CPUtime=12.68 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 10709 0 0 0 1267 1 0 0 25 0 4 0 597497712 320593920 18159 33554432000 4194304 4627427 140735300408704 18446744073709551615 4332398 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) 313080

[startup+25.5008 s]
/proc/loadavg: 4.73 5.22 6.22 9/184 2781
/proc/meminfo: memFree=23404644/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=318824 CPUtime=101.83 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 69817 0 0 0 10170 13 0 0 25 0 4 0 597497711 326475776 24423 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 79706 24423 389 106 0 74677 0
[pid=2766/tid=2768] ppid=2764 vsize=318824 CPUtime=25.48 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 18287 0 0 0 2545 3 0 0 25 0 4 0 597497712 326475776 24423 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=318824 CPUtime=25.35 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 16942 0 0 0 2532 3 0 0 25 0 4 0 597497712 326475776 24423 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=318824 CPUtime=25.48 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 15898 0 0 0 2546 2 0 0 25 0 4 0 597497712 326475776 24423 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309568 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) 318824

[startup+51.1011 s]
/proc/loadavg: 5.85 5.44 6.27 9/184 2781
/proc/meminfo: memFree=23335560/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=346500 CPUtime=204.09 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 102747 0 0 0 20388 21 0 0 25 0 4 0 597497711 354816000 32193 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 86625 32193 389 106 0 81596 0
[pid=2766/tid=2768] ppid=2764 vsize=346500 CPUtime=51.09 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 26791 0 0 0 5104 5 0 0 25 0 4 0 597497712 354816000 32193 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=346500 CPUtime=50.8 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 26278 0 0 0 5075 5 0 0 25 0 4 0 597497712 354816000 32193 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=346500 CPUtime=51.09 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 23814 0 0 0 5104 5 0 0 25 0 4 0 597497712 354816000 32193 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308416 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) 346500

[startup+102.307 s]
/proc/loadavg: 7.12 5.85 6.36 9/184 2783
/proc/meminfo: memFree=23232628/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=348244 CPUtime=408.63 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 153677 0 0 0 40828 35 0 0 25 0 4 0 597497711 356601856 38178 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 87061 38178 389 106 0 82032 0
[pid=2766/tid=2768] ppid=2764 vsize=348244 CPUtime=102.29 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 40911 0 0 0 10221 8 0 0 25 0 4 0 597497712 356601856 38178 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=348244 CPUtime=101.73 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 38285 0 0 0 10164 9 0 0 25 0 4 0 597497712 356601856 38178 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=348244 CPUtime=102.3 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 36974 0 0 0 10221 9 0 0 25 0 4 0 597497712 356601856 38178 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308414 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) 348244

[startup+162.301 s]

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

[pid=2766] ppid=2764 vsize=521176 CPUtime=2805.34 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 493262 0 0 0 280377 157 0 0 25 0 4 0 597497711 533684224 85735 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 130294 85735 389 106 0 125265 0
[pid=2766/tid=2768] ppid=2764 vsize=521176 CPUtime=702.31 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 124740 0 0 0 70192 39 0 0 25 0 4 0 597497712 533684224 85735 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=521176 CPUtime=698.4 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 121090 0 0 0 69800 40 0 0 25 0 4 0 597497712 533684224 85735 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=521176 CPUtime=702.31 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 121678 0 0 0 70192 39 0 0 25 0 4 0 597497712 533684224 85735 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 521176

[startup+762.307 s]
/proc/loadavg: 8.11 7.84 7.22 9/184 2801
/proc/meminfo: memFree=22713392/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=533840 CPUtime=3045.04 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 514604 0 0 0 304339 165 0 0 25 0 4 0 597497711 546652160 95072 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 133460 95072 389 106 0 128431 0
[pid=2766/tid=2768] ppid=2764 vsize=533840 CPUtime=762.31 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 131462 0 0 0 76189 42 0 0 25 0 4 0 597497712 546652160 95072 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=533840 CPUtime=758.07 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 125889 0 0 0 75766 41 0 0 25 0 4 0 597497712 546652160 95072 33554432000 4194304 4627427 140735300408704 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=533840 CPUtime=762.31 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 125297 0 0 0 76191 40 0 0 25 0 4 0 597497712 546652160 95072 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 533840

[startup+822.301 s]
/proc/loadavg: 8.15 7.90 7.28 9/184 2803
/proc/meminfo: memFree=22643164/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=608136 CPUtime=3284.68 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 544520 0 0 0 328294 174 0 0 25 0 4 0 597497711 622731264 104045 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 152034 104045 389 106 0 147005 0
[pid=2766/tid=2768] ppid=2764 vsize=608136 CPUtime=822.31 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 141068 0 0 0 82187 44 0 0 25 0 4 0 597497712 622731264 104045 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=608136 CPUtime=817.73 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 131893 0 0 0 81729 44 0 0 25 0 4 0 597497712 622731264 104045 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=608136 CPUtime=822.31 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 136671 0 0 0 82188 43 0 0 25 0 4 0 597497712 622731264 104045 33554432000 4194304 4627427 140735300408704 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 608136

[startup+882.301 s]
/proc/loadavg: 8.51 8.02 7.36 10/185 2807
/proc/meminfo: memFree=22606484/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=558180 CPUtime=3523.58 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 566045 0 0 0 352173 185 0 0 25 0 4 0 597497711 571576320 105950 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 139545 105950 389 106 0 134516 0
[pid=2766/tid=2768] ppid=2764 vsize=558180 CPUtime=881.68 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 147245 0 0 0 88121 47 0 0 25 0 4 0 597497712 571576320 105950 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=558180 CPUtime=877.25 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 138172 0 0 0 87678 47 0 0 25 0 4 0 597497712 571576320 105950 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=558180 CPUtime=882.31 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 142745 0 0 0 88185 46 0 0 25 0 4 0 597497712 571576320 105950 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3523.58
Current children cumulated vsize (KiB) 558180

[startup+942.301 s]
/proc/loadavg: 8.28 8.05 7.41 9/184 2809
/proc/meminfo: memFree=22638652/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=563696 CPUtime=3763.23 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 588356 0 0 0 376128 195 0 0 25 0 4 0 597497711 577224704 106143 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 140924 106143 389 106 0 135895 0
[pid=2766/tid=2768] ppid=2764 vsize=563696 CPUtime=941.65 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 153126 0 0 0 94115 50 0 0 25 0 4 0 597497712 577224704 106143 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=563696 CPUtime=936.92 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 144795 0 0 0 93642 50 0 0 25 0 4 0 597497712 577224704 106143 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=563696 CPUtime=942.31 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 149272 0 0 0 94182 49 0 0 25 0 4 0 597497712 577224704 106143 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.23
Current children cumulated vsize (KiB) 563696

[startup+1002.3 s]
/proc/loadavg: 8.19 8.07 7.45 9/184 2811
/proc/meminfo: memFree=22592616/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=563924 CPUtime=4002.9 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 609092 0 0 0 400086 204 0 0 25 0 4 0 597497711 577458176 107717 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 140981 107717 389 106 0 135952 0
[pid=2766/tid=2768] ppid=2764 vsize=563924 CPUtime=1001.66 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 159162 0 0 0 100113 53 0 0 25 0 4 0 597497712 577458176 107717 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=563924 CPUtime=996.59 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 149925 0 0 0 99607 52 0 0 25 0 4 0 597497712 577458176 107717 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=563924 CPUtime=1002.32 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 155590 0 0 0 100180 52 0 0 25 0 4 0 597497712 577458176 107717 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4002.9
Current children cumulated vsize (KiB) 563924

[startup+1062.3 s]
/proc/loadavg: 8.11 8.07 7.49 9/184 2813
/proc/meminfo: memFree=22562420/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=593008 CPUtime=4242.57 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 631102 0 0 0 424044 213 0 0 25 0 4 0 597497711 607240192 112855 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 148252 112855 389 106 0 143223 0
[pid=2766/tid=2768] ppid=2764 vsize=593008 CPUtime=1061.66 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 162614 0 0 0 106112 54 0 0 25 0 4 0 597497712 607240192 112855 33554432000 4194304 4627427 140735300408704 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=593008 CPUtime=1056.26 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 155403 0 0 0 105571 55 0 0 25 0 4 0 597497712 607240192 112855 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=593008 CPUtime=1062.32 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 162855 0 0 0 106178 54 0 0 25 0 4 0 597497712 607240192 112855 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4242.57
Current children cumulated vsize (KiB) 593008

[startup+1122.3 s]
/proc/loadavg: 8.12 8.08 7.53 9/184 2815
/proc/meminfo: memFree=22571684/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=582336 CPUtime=4482.24 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 649258 0 0 0 448002 222 0 0 25 0 4 0 597497711 596312064 111042 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 145584 111042 389 106 0 140555 0
[pid=2766/tid=2768] ppid=2764 vsize=582336 CPUtime=1121.65 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 163778 0 0 0 112111 54 0 0 25 0 4 0 597497712 596312064 111042 33554432000 4194304 4627427 140735300408704 18446744073709551615 4310102 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=582336 CPUtime=1115.92 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 161862 0 0 0 111534 58 0 0 25 0 4 0 597497712 596312064 111042 33554432000 4194304 4627427 140735300408704 18446744073709551615 4324672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=582336 CPUtime=1122.31 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 168606 0 0 0 112175 56 0 0 25 0 4 0 597497712 596312064 111042 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.24
Current children cumulated vsize (KiB) 582336

[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 7.56 9/184 2816
/proc/meminfo: memFree=22504448/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=647976 CPUtime=4721.91 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 671108 0 0 0 471959 232 0 0 25 0 4 0 597497711 663527424 122708 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 161994 122708 389 106 0 156965 0
[pid=2766/tid=2768] ppid=2764 vsize=647976 CPUtime=1181.66 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 169468 0 0 0 118109 57 0 0 25 0 4 0 597497712 663527424 122708 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=647976 CPUtime=1175.59 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 167074 0 0 0 117498 61 0 0 25 0 4 0 597497712 663527424 122708 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=647976 CPUtime=1182.32 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 173347 0 0 0 118173 59 0 0 25 0 4 0 597497712 663527424 122708 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4721.91
Current children cumulated vsize (KiB) 647976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.13 8.09 7.57 5/179 2818
/proc/meminfo: memFree=23144180/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=657644 CPUtime=4800.22 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 679347 0 0 0 479786 236 0 0 25 0 4 0 597497711 673427456 120799 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 164411 120799 389 106 0 159382 0
[pid=2766/tid=2768] ppid=2764 vsize=657644 CPUtime=1201.27 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 171659 0 0 0 120069 58 0 0 25 0 4 0 597497712 673427456 120799 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=657644 CPUtime=1195.08 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 169638 0 0 0 119446 62 0 0 25 0 4 0 597497712 673427456 120799 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=657644 CPUtime=1201.92 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 174543 0 0 0 120133 59 0 0 25 0 4 0 597497712 673427456 120799 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 657644

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

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

[startup+1201.9 s]
/proc/loadavg: 8.13 8.09 7.57 5/179 2818
/proc/meminfo: memFree=23144180/32950928 swapFree=67071984/67111528
[pid=2766] ppid=2764 vsize=657644 CPUtime=4800.22 cores=0,2,4,6
/proc/2766/stat : 2766 (strangenight2-m) R 2764 2766 2254 0 -1 4202496 679347 0 0 0 479786 236 0 0 25 0 4 0 597497711 673427456 120799 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2766/statm: 164411 120799 389 106 0 159382 0
[pid=2766/tid=2768] ppid=2764 vsize=657644 CPUtime=1201.27 cores=0,2,4,6
/proc/2766/task/2768/stat : 2768 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 171659 0 0 0 120069 58 0 0 25 0 4 0 597497712 673427456 120799 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2766/tid=2770] ppid=2764 vsize=657644 CPUtime=1195.08 cores=0,2,4,6
/proc/2766/task/2770/stat : 2770 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 169638 0 0 0 119446 62 0 0 25 0 4 0 597497712 673427456 120799 33554432000 4194304 4627427 140735300408704 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2766/tid=2772] ppid=2764 vsize=657644 CPUtime=1201.92 cores=0,2,4,6
/proc/2766/task/2772/stat : 2772 (strangenight2-m) R 2764 2766 2254 0 -1 4202560 174543 0 0 0 120133 59 0 0 25 0 4 0 597497712 673427456 120799 33554432000 4194304 4627427 140735300408704 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 657644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.28
CPU user time (s): 4797.89
CPU system time (s): 2.38464
CPU usage (%): 399.379
Max. virtual memory (cumulated for all children) (KiB): 830312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.89
system time used= 2.38464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679348
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= 580
involuntary context switches= 23607

runsolver used 1.88571 second user time and 4.67229 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 12:24:30
IDJOB=3173892
IDBENCH=82710
IDSOLVER=1586
FILE ID=node116/3173892-1304072670
RUNJOBID= node116-1304072670-2750
PBS_JOBID= 13170472
Free space on /tmp= 72516 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173892-1304072670/watcher-3173892-1304072670 -o /tmp/evaluation-result-3173892-1304072670/solver-3173892-1304072670 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173892-1304072670.cnf

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

MD5SUM BENCH= 57a2cff28dc53061839e3102dd9b3447
RANDOM SEED=1742572081

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:      23630180 kB
Buffers:       1902060 kB
Cached:        6950968 kB
SwapCached:       9732 kB
Active:        4397952 kB
Inactive:      4493716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23630180 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:           11284 kB
Writeback:           0 kB
AnonPages:       32844 kB
Mapped:          13492 kB
Slab:           365244 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189832 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= 72508 MiB
End job on node116 at 2011-04-29 12:44:34