Trace number 3366301

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366301-1305401023.cnf'
0.00/0.01	c -- header says num vars:            500
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        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
0.37/0.16	c lits-rem:         0  cl-subs:        0  v-elim:      5  v-fix:    0  time:  0.00 s
0.37/0.16	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.16	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.16	c calculated reachability. Time: 0.00
0.37/0.16	c Calc default polars -  time:   0.00 s pos:     238 undec:      52 neg:     210
0.37/0.16	c =========================================================================================
0.37/0.16	c types(t): F = full restart, N = normal restart
0.37/0.16	c types(t): S = simplification begin/end, E = solution found
0.37/0.16	c restart types(rt): st = static, dy = dynamic
0.37/0.16	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.16	c  B st     0         0       495      2125         0         0      6404         0   no data   no data
0.37/0.16	c Decided on static restart strategy
0.37/0.16	c  N st     8      4918       495      2125         0      4845      6404    108310   no data   no data
3.17/0.80	c  N st    10     11302       495      2125         0      4486      6404     75397   no data   no data
3.17/0.80	c  N st    11     17046       495      2125         0     10129      6404    210587   no data   no data
3.98/1.10	c  F st    12     25000       495      2125         0     12392      6404    258643   no data   no data
3.98/1.10	c  N st    12     25000       495      2125         0     12392      6404    258643   no data   no data
4.76/1.28	c Decided on static restart strategy
4.76/1.28	c  N st    18     30000       495      2125         0     10673      6404    198132   no data   no data
4.76/1.28	c  S st    18     30000       495      2125         0     10673      6404    198132   no data   no data
5.16/1.31	c  S st    18     30502       495      2125         0     11173      6404    209257   no data   no data
5.16/1.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.31	c blocked clauses removed:        0 vars:      0 tried:         495 T: 0.00 s
5.16/1.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
5.16/1.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.37	c lits-rem:       113  cl-subs:      577  v-elim:      0  v-fix:    0  time:  0.05 s
5.16/1.38	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.01
5.16/1.38	c calculated reachability. Time: 0.00
5.16/1.38	c  N st    18     30502       495      2125         0     10596      6404    195075   no data   no data
6.76/1.77	c  N st    20     37615       495      2125         0      9851      6404    159868   no data   no data
8.37/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.15/2.31	c  S st    22     46259       495      2125         0      9577      6404    136900   no data   no data
9.15/2.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.15/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.15/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.15/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
9.15/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.15/2.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.15/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.32	c lits-rem:        13  cl-subs:       75  v-elim:      0  v-fix:    0  time:  0.01 s
9.15/2.32	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
9.15/2.33	c vivif2 --  cl tried     9502 cl shrink        0 lits rem          0 time: 0.00
9.15/2.33	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.01
9.15/2.33	c calculated reachability. Time: 0.00
9.15/2.33	c  N st    22     46259       495      2125         0      9502      6404    135016   no data   no data
12.77/3.26	c  N st    23     60656       495      2125         0     13853      6404    239128   no data   no data
15.14/3.86	c  N st    24     69390       495      2125         0     11657      6404    170930   no data   no data
15.14/3.86	c  S st    24     69390       495      2125         0     11657      6404    170930   no data   no data
15.14/3.89	c  S st    24     69896       495      2125         0     12160      6404    183091   no data   no data
15.14/3.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.54/3.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.54/3.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
15.54/3.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.54/3.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.54/3.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.92	c lits-rem:        51  cl-subs:      114  v-elim:      0  v-fix:    0  time:  0.01 s
15.54/3.92	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
15.54/3.92	c vivif2 --  cl tried    12046 cl shrink        0 lits rem          0 time: 0.00
15.54/3.93	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.01
15.54/3.93	c calculated reachability. Time: 0.00
15.54/3.93	c  N st    24     69896       495      2125         0     12046      6404    179900   no data   no data
20.33/5.19	c  F st    25     87500       495      2125         0     17524      6404    309871   no data   no data
20.33/5.19	c  N st    25     87500       495      2125         0     17524      6404    309871   no data   no data
21.95/5.59	c Decided on static restart strategy
23.12/5.84	c  N st    32     95535       495      2125         0     25433      6404    498915   no data   no data
25.94/6.52	c  N st    34    104845       495      2125         0     21753      6404    384533   no data   no data
25.94/6.52	c  S st    34    104845       495      2125         0     21753      6404    384533   no data   no data
25.94/6.57	c  S st    34    105347       495      2125         0     22254      6404    395653   no data   no data
25.94/6.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.94/6.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.94/6.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.94/6.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.94/6.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
25.94/6.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.94/6.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.94/6.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.71/6.77	c lits-rem:       190  cl-subs:     1032  v-elim:      0  v-fix:    0  time:  0.17 s
26.71/6.77	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
26.71/6.77	c vivif2 --  cl tried    21222 cl shrink        0 lits rem          0 time: 0.00
26.71/6.78	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.01
26.71/6.78	c calculated reachability. Time: 0.00
26.71/6.78	c  N st    34    105347       495      2125         0     21222      6404    369613   no data   no data
29.91/7.59	c  N st    35    114945       495      2125         0     16929      6404    247340   no data   no data
35.13/8.89	c  N st    36    129344       495      2125         0     16356      6404    215990   no data   no data
42.68/10.70	c  N st    37    150939       495      2125         0     21881      6404    340745   no data   no data
45.07/11.38	c  S st    38    158020       495      2125         0     28812      6404    513608   no data   no data
45.47/11.45	c  S st    38    158522       495      2125         0     29314      6404    525364   no data   no data
45.47/11.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.47/11.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.47/11.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.47/11.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.47/11.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.47/11.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
45.47/11.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.47/11.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.47/11.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.66/11.73	c lits-rem:       343  cl-subs:     1041  v-elim:      0  v-fix:    0  time:  0.25 s
46.66/11.73	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
46.66/11.74	c vivif2 --  cl tried    28273 cl shrink        0 lits rem          0 time: 0.01
46.66/11.76	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.02
46.66/11.76	c calculated reachability. Time: 0.00
46.66/11.76	c  N st    38    158522       495      2125         0     28273      6404    498221   no data   no data
67.41/16.90	c  N st    39    207110       495      2125         0     23047      6404    329771   no data   no data
80.58/20.23	c  N st    40    237783       495      2125         0     33515      6404    559950   no data   no data
80.58/20.23	c  S st    40    237783       495      2125         0     33515      6404    559950   no data   no data
80.98/20.31	c  S st    40    238286       495      2125         0     34018      6404    571630   no data   no data
80.98/20.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.98/20.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.98/20.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.98/20.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.98/20.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.98/20.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
80.98/20.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
80.98/20.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.98/20.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.58/20.72	c lits-rem:       222  cl-subs:     1135  v-elim:      0  v-fix:    0  time:  0.37 s
82.58/20.72	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
82.58/20.73	c vivif2 --  cl tried    32883 cl shrink        0 lits rem          0 time: 0.01
82.58/20.75	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.02
82.58/20.75	c calculated reachability. Time: 0.00
82.58/20.75	c  N st    40    238286       495      2125         0     32883      6404    544862   no data   no data
114.50/28.75	c  F st    41    306250       495      2125         0     34614      6404    557775   no data   no data
114.50/28.75	c  N st    41    306250       495      2125         0     34614      6404    557775   no data   no data
117.30/29.44	c Decided on static restart strategy
129.28/32.42	c  N st    51    334555       495      2125         0     38900      6404    649740   no data   no data
140.49/35.26	c  N st    53    357430       495      2125         0     36832      6404    589342   no data   no data
140.49/35.26	c  S st    53    357430       495      2125         0     36832      6404    589342   no data   no data
140.85/35.35	c  S st    53    357934       495      2125         0     37334      6404    601514   no data   no data
140.85/35.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.85/35.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
140.85/35.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.85/35.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.85/35.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.85/35.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
140.85/35.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
140.85/35.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.85/35.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.45/35.75	c lits-rem:       225  cl-subs:     1141  v-elim:      0  v-fix:    0  time:  0.36 s
142.45/35.75	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
142.45/35.76	c vivif2 --  cl tried    36193 cl shrink        0 lits rem          0 time: 0.01
142.45/35.78	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.02
142.45/35.78	c calculated reachability. Time: 0.00
142.45/35.78	c  N st    53    357934       495      2125         0     36193      6404    570563   no data   no data
160.41/40.30	c  N st    54    390327       495      2125         0     42423      6404    684233   no data   no data
187.95/47.11	c  N st    55    438916       495      2125         0     36138      6404    512078   no data   no data
232.67/58.39	c  N st    56    511798       495      2125         0     49691      6404    792816   no data   no data
248.61/62.39	c  N st    57    536906       495      2125         0     43854      6404    613662   no data   no data
248.61/62.39	c  S st    57    536906       495      2125         0     43854      6404    613662   no data   no data
249.41/62.51	c  S st    57    537411       495      2125         0     44356      6404    625240   no data   no data
249.41/62.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
249.41/62.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
249.41/62.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
249.41/62.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.41/62.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.41/62.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
249.41/62.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
249.41/62.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
249.41/62.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.40/63.04	c lits-rem:       294  cl-subs:     2011  v-elim:      0  v-fix:    0  time:  0.48 s
251.40/63.04	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
251.40/63.05	c vivif2 --  cl tried    42345 cl shrink        0 lits rem          0 time: 0.01
251.40/63.07	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.03
251.40/63.07	c calculated reachability. Time: 0.00
251.40/63.07	c  N st    57    537411       495      2125         0     42345      6404    587902   no data   no data
362.35/90.84	c  N st    58    701396       495      2125         0     36486      6404    379042   no data   no data
440.16/110.36	c  N st    59    806118       495      2125         0     65278      6404   1031791   no data   no data
440.16/110.36	c  S st    59    806118       495      2125         0     65278      6404   1031791   no data   no data
440.97/110.55	c  S st    59    806618       495      2125         0     65775      6404   1044319   no data   no data
440.97/110.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
440.97/110.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
440.97/110.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
440.97/110.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
440.97/110.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.97/110.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
440.97/110.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
440.97/110.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
441.37/110.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
450.94/113.08	c lits-rem:       936  cl-subs:     4623  v-elim:      0  v-fix:    0  time:  2.45 s
450.94/113.08	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
450.94/113.09	c vivif2 --  cl tried    61152 cl shrink        0 lits rem          0 time: 0.01
451.34/113.14	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.05
451.34/113.14	c calculated reachability. Time: 0.00
451.34/113.14	c  N st    59    806618       495      2125         0     61152      6404    949041   no data   no data
660.47/165.55	c  F st    60   1071875       495      2125         0     77462      6404   1246890   no data   no data
660.47/165.55	c  N st    60   1071875       495      2125         0     77462      6404   1246890   no data   no data
666.06/166.97	c Decided on static restart strategy
683.62/171.38	c  N st    70   1100178       495      2125         0     61140      6404    833193   no data   no data
715.17/179.22	c  N st    72   1136170       495      2125         0     51381      6404    574947   no data   no data
744.29/186.59	c  N st    73   1168563       495      2125         0     82966      6404   1357512   no data   no data
783.40/196.38	c  N st    74   1209928       495      2125         0     77482      6404   1200509   no data   no data
783.40/196.38	c  S st    74   1209928       495      2125         0     77482      6404   1200509   no data   no data
784.59/196.62	c  S st    74   1210433       495      2125         0     77986      6404   1212379   no data   no data
784.59/196.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
784.59/196.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
784.59/196.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
784.59/196.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
784.59/196.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
784.59/196.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
784.59/196.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
784.59/196.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
784.99/196.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
794.61/199.19	c lits-rem:       782  cl-subs:     3534  v-elim:      0  v-fix:    0  time:  2.48 s
794.61/199.19	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
794.96/199.21	c vivif2 --  cl tried    74452 cl shrink        0 lits rem          0 time: 0.02
794.96/199.27	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.07
794.96/199.28	c calculated reachability. Time: 0.00
794.96/199.28	c  N st    74   1210433       495      2125         0     74452      6404   1132289   no data   no data
858.42/215.19	c  N st    75   1283315       495      2125         0     50948      6404    530664   no data   no data
968.57/242.78	c  N st    76   1392638       495      2125         0     59082      6404    697933   no data   no data
1141.01/285.99	c  N st    77   1556623       495      2125         0     63856      6404    761839   no data   no data
1301.02/326.02	c  N st    78   1710433       495      2125         0    105799      6404   1847761   no data   no data
1301.02/326.02	c  S st    78   1710433       495      2125         0    105799      6404   1847761   no data   no data
1302.62/326.40	c  S st    78   1710937       495      2125         0    106303      6404   1859985   no data   no data
1302.62/326.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1302.62/326.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1302.62/326.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1302.62/326.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1302.62/326.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1302.62/326.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
1302.62/326.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1302.62/326.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1303.02/326.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1346.12/337.38	c lits-rem:      1170  cl-subs:     6980  v-elim:      0  v-fix:    0  time: 10.83 s
1346.12/337.38	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
1346.52/337.41	c vivif2 --  cl tried    99323 cl shrink        0 lits rem          0 time: 0.02
1346.92/337.51	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.10
1346.92/337.51	c calculated reachability. Time: 0.00
1346.92/337.51	c  N st    78   1710937       495      2125         0     99323      6404   1693138   no data   no data
1762.37/441.69	c  N st    79   2079903       495      2125         0    110631      6404   1851156   no data   no data
1914.42/479.77	c  N st    80   2210937       495      2125         0    115060      6404   1910196   no data   no data
1914.42/479.77	c  S st    80   2210937       495      2125         0    115060      6404   1910196   no data   no data
1916.02/480.20	c  S st    80   2211437       495      2125         0    115559      6404   1922327   no data   no data
1916.42/480.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1916.42/480.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1916.42/480.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1916.42/480.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1916.42/480.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1916.42/480.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
1916.42/480.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1916.42/480.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1916.82/480.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1958.33/490.74	c lits-rem:       831  cl-subs:     6929  v-elim:      0  v-fix:    0  time: 10.39 s
1958.33/490.74	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
1958.33/490.76	c vivif2 --  cl tried   108630 cl shrink        0 lits rem          0 time: 0.02
1958.73/490.87	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.11
1958.73/490.88	c calculated reachability. Time: 0.00
1958.73/490.88	c  N st    80   2211437       495      2125         0    108630      6404   1754584   no data   no data
2604.47/652.66	c  N st    81   2711438       495      2125         0    131709      6404   2143016   no data   no data
2604.47/652.66	c  S st    81   2711438       495      2125         0    131709      6404   2143016   no data   no data
2606.47/653.14	c  S st    81   2711944       495      2125         0    132214      6404   2155118   no data   no data
2606.47/653.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2606.87/653.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2606.87/653.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2606.87/653.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2606.87/653.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2606.87/653.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
2606.87/653.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2606.87/653.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2607.29/653.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2690.27/674.14	c lits-rem:      1178  cl-subs:    14430  v-elim:      0  v-fix:    0  time: 20.82 s
2690.27/674.14	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
2690.27/674.17	c vivif2 --  cl tried   117784 cl shrink        0 lits rem          0 time: 0.03
2690.69/674.29	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.12
2690.69/674.29	c calculated reachability. Time: 0.00
2690.69/674.29	c  N st    81   2711944       495      2125         0    117784      6404   1831316   no data   no data
3440.58/862.14	c  N st    82   3211947       495      2125         0     93643      6404   1102483   no data   no data
3440.58/862.14	c  S st    82   3211947       495      2125         0     93643      6404   1102483   no data   no data
3441.81/862.45	c  S st    82   3212454       495      2125         0     94149      6404   1114954   no data   no data
3441.81/862.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3442.16/862.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3442.16/862.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3442.16/862.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3442.16/862.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3442.16/862.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
3442.16/862.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3442.16/862.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3442.16/862.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3448.55/864.13	c lits-rem:       187  cl-subs:     3429  v-elim:      0  v-fix:    0  time:  1.58 s
3448.55/864.13	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
3448.55/864.15	c vivif2 --  cl tried    90720 cl shrink        0 lits rem          0 time: 0.02
3448.95/864.24	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.08
3448.95/864.24	c calculated reachability. Time: 0.00
3448.95/864.24	c  N st    82   3212454       495      2125         0     90720      6404   1043747   no data   no data
4205.24/1053.75	c  N st    83   3712455       495      2125         0    102083      6404   1225482   no data   no data
4205.24/1053.75	c  S st    83   3712455       495      2125         0    102083      6404   1225482   no data   no data
4206.82/1054.10	c  S st    83   3712958       495      2125         0    102583      6404   1237990   no data   no data
4206.82/1054.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4206.82/1054.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4206.82/1054.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4206.82/1054.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4206.82/1054.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4206.82/1054.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    495 time:  0.00 s
4206.82/1054.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4206.82/1054.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4207.22/1054.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4213.21/1055.79	c lits-rem:       180  cl-subs:     2819  v-elim:      0  v-fix:    0  time:  1.57 s
4213.21/1055.79	c vivif2 --  cl tried     2125 cl shrink        0 lits rem          0 time: 0.00
4213.61/1055.81	c vivif2 --  cl tried    99764 cl shrink        0 lits rem          0 time: 0.02
4213.61/1055.90	c asymm  cl-useful: 0/2125/2125 lits-rem:0 time: 0.10
4213.61/1055.91	c calculated reachability. Time: 0.00
4213.61/1055.91	c  N st    83   3712958       495      2125         0     99764      6404   1177423   no data   no data
4270.68/1070.15	c  F st    84   3751562       495      2125         0    137324      6404   2084320   no data   no data
4270.68/1070.15	c  N st    84   3751562       495      2125         0    137324      6404   2084320   no data   no data
4280.65/1072.63	c Decided on static restart strategy
4332.55/1085.68	c  N st    94   3779867       495      2125         0    164950      6404   2755209   no data   no data
4382.42/1098.16	c  N st    96   3815859       495      2125         0    117202      6404   1638678   no data   no data
4431.51/1110.45	c  N st    97   3848252       495      2125         0    148774      6404   2412497   no data   no data
4508.58/1129.76	c  N st    98   3896841       495      2125         0    112231      6404   1466515   no data   no data
4621.48/1158.01	c  N st    99   3969723       495      2125         0     98497      6404   1098865   no data   no data
4789.12/1200.05	c  N st   100   4079046       495      2125         0    119180      6404   1570663   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366301-1305401023/watcher-3366301-1305401023 -o /tmp/evaluation-result-3366301-1305401023/solver-3366301-1305401023 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366301-1305401023.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.83 7.85 8.00 6/294 4751
/proc/meminfo: memFree=16813176/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 651705059 52396032 347 33554432000 4194304 4580107 140735333896608 18446744073709551615 47302761617330 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 12792 347 299 95 0 7774 0
[pid=4751/tid=4752] ppid=4749 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651705060 52396032 347 33554432000 4194304 4580107 140735333896608 18446744073709551615 47302761617320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651705060 52396032 347 33554432000 4194304 4580107 140735333896608 18446744073709551615 47302761617330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651705060 52396032 347 33554432000 4194304 4580107 140735333896608 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0959759 s]
/proc/loadavg: 6.83 7.85 8.00 6/294 4751
/proc/meminfo: memFree=16813176/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=281952 CPUtime=0.35 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 1617 0 0 0 35 0 0 0 18 0 4 0 651705059 288718848 1482 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 70488 1482 377 95 0 65470 0
[pid=4751/tid=4752] ppid=4749 vsize=281952 CPUtime=0.09 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 316 0 0 0 9 0 0 0 18 0 4 0 651705060 288718848 1482 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=281952 CPUtime=0.09 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 327 0 0 0 9 0 0 0 18 0 4 0 651705060 288718848 1482 33554432000 4194304 4580107 140735333896608 18446744073709551615 4320919 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=281952 CPUtime=0.08 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 245 0 0 0 8 0 0 0 25 0 4 0 651705060 288718848 1482 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 281952

[startup+0.100975 s]
/proc/loadavg: 6.83 7.85 8.00 6/294 4751
/proc/meminfo: memFree=16813176/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=281952 CPUtime=0.37 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 1650 0 0 0 37 0 0 0 18 0 4 0 651705059 288718848 1515 33554432000 4194304 4580107 140735333896608 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 70488 1515 377 95 0 65470 0
[pid=4751/tid=4752] ppid=4749 vsize=281952 CPUtime=0.09 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 329 0 0 0 9 0 0 0 18 0 4 0 651705060 288718848 1515 33554432000 4194304 4580107 140735333896608 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=281952 CPUtime=0.09 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 332 0 0 0 9 0 0 0 18 0 4 0 651705060 288718848 1515 33554432000 4194304 4580107 140735333896608 18446744073709551615 4321650 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=281952 CPUtime=0.08 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 256 0 0 0 8 0 0 0 25 0 4 0 651705060 288718848 1515 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 281952

[startup+0.300939 s]
/proc/loadavg: 6.83 7.85 8.00 6/294 4751
/proc/meminfo: memFree=16813176/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=283416 CPUtime=1.17 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 2731 0 0 0 117 0 0 0 18 0 4 0 651705059 290217984 2051 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294555 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 70854 2051 377 95 0 65836 0
[pid=4751/tid=4752] ppid=4749 vsize=283416 CPUtime=0.29 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 595 0 0 0 29 0 0 0 18 0 4 0 651705060 290217984 2051 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=283416 CPUtime=0.29 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 606 0 0 0 29 0 0 0 18 0 4 0 651705060 290217984 2051 33554432000 4194304 4580107 140735333896608 18446744073709551615 4321030 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=283416 CPUtime=0.28 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 523 0 0 0 28 0 0 0 25 0 4 0 651705060 290217984 2051 33554432000 4194304 4580107 140735333896608 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283416

[startup+0.700869 s]
/proc/loadavg: 6.83 7.85 8.00 6/294 4751
/proc/meminfo: memFree=16813176/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=284360 CPUtime=2.77 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 4264 0 0 0 277 0 0 0 18 0 4 0 651705059 291184640 2721 33554432000 4194304 4580107 140735333896608 18446744073709551615 4318664 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 71090 2721 377 95 0 66072 0
[pid=4751/tid=4752] ppid=4749 vsize=284360 CPUtime=0.69 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 983 0 0 0 69 0 0 0 18 0 4 0 651705060 291184640 2721 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=284360 CPUtime=0.69 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 983 0 0 0 69 0 0 0 18 0 4 0 651705060 291184640 2721 33554432000 4194304 4580107 140735333896608 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=284360 CPUtime=0.68 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 901 0 0 0 68 0 0 0 25 0 4 0 651705060 291184640 2721 33554432000 4194304 4580107 140735333896608 18446744073709551615 4320735 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284360

[startup+1.50073 s]
/proc/loadavg: 6.83 7.85 8.00 10/298 4755
/proc/meminfo: memFree=16790328/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=285584 CPUtime=5.96 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 8547 0 0 0 595 1 0 0 20 0 4 0 651705059 292438016 4402 33554432000 4194304 4580107 140735333896608 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 71396 4402 379 95 0 66378 0
[pid=4751/tid=4752] ppid=4749 vsize=285584 CPUtime=1.49 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 1726 0 0 0 149 0 0 0 19 0 4 0 651705060 292438016 4402 33554432000 4194304 4580107 140735333896608 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=285584 CPUtime=1.49 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 1732 0 0 0 149 0 0 0 20 0 4 0 651705060 292438016 4402 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=285584 CPUtime=1.47 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 1658 0 0 0 147 0 0 0 25 0 4 0 651705060 292438016 4402 33554432000 4194304 4580107 140735333896608 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285584

[startup+3.10044 s]
/proc/loadavg: 6.83 7.85 8.00 10/298 4755
/proc/meminfo: memFree=16767396/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=293352 CPUtime=12.34 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 18184 0 0 0 1232 2 0 0 25 0 4 0 651705059 300392448 9053 33554432000 4194304 4580107 140735333896608 18446744073709551615 4321539 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 73338 9053 379 95 0 68320 0
[pid=4751/tid=4752] ppid=4749 vsize=293352 CPUtime=3.08 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 4086 0 0 0 308 0 0 0 25 0 4 0 651705060 300392448 9053 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=293352 CPUtime=3.08 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 4778 0 0 0 308 0 0 0 25 0 4 0 651705060 300392448 9053 33554432000 4194304 4580107 140735333896608 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=293352 CPUtime=3.07 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 4506 0 0 0 307 0 0 0 25 0 4 0 651705060 300392448 9053 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 293352

[startup+6.30088 s]
/proc/loadavg: 6.92 7.85 8.00 10/298 4756
/proc/meminfo: memFree=16720820/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=294228 CPUtime=25.12 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 28490 0 0 0 2506 6 0 0 25 0 4 0 651705059 301289472 12490 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 73557 12490 379 95 0 68539 0
[pid=4751/tid=4752] ppid=4749 vsize=294228 CPUtime=6.29 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 7498 0 0 0 628 1 0 0 25 0 4 0 651705060 301289472 12490 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=294228 CPUtime=6.25 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 7695 0 0 0 624 1 0 0 25 0 4 0 651705060 301289472 12490 33554432000 4194304 4580107 140735333896608 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=294228 CPUtime=6.26 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 6284 0 0 0 626 0 0 0 25 0 4 0 651705060 301289472 12490 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 294228

[startup+12.7007 s]
/proc/loadavg: 7.01 7.85 8.00 10/298 4756
/proc/meminfo: memFree=16675712/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=303272 CPUtime=50.65 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 46655 0 0 0 5057 8 0 0 25 0 4 0 651705059 310550528 18249 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 75818 18249 379 95 0 70800 0
[pid=4751/tid=4752] ppid=4749 vsize=303272 CPUtime=12.69 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 11727 0 0 0 1267 2 0 0 25 0 4 0 651705060 310550528 18249 33554432000 4194304 4580107 140735333896608 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=303272 CPUtime=12.59 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 10841 0 0 0 1257 2 0 0 25 0 4 0 651705060 310550528 18249 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=303272 CPUtime=12.66 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 11030 0 0 0 1265 1 0 0 25 0 4 0 651705060 310550528 18249 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 303272

[startup+25.5005 s]
/proc/loadavg: 7.23 7.86 8.00 10/298 4756
/proc/meminfo: memFree=16630804/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=304320 CPUtime=101.73 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 70906 0 0 0 10159 14 0 0 25 0 4 0 651705059 311623680 24628 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294400 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 76080 24628 379 95 0 71062 0
[pid=4751/tid=4752] ppid=4749 vsize=304320 CPUtime=25.49 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 18661 0 0 0 2545 4 0 0 25 0 4 0 651705060 311623680 24628 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=304320 CPUtime=25.27 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 17190 0 0 0 2524 3 0 0 25 0 4 0 651705060 311623680 24628 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294127 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=304320 CPUtime=25.46 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 16016 0 0 0 2543 3 0 0 25 0 4 0 651705060 311623680 24628 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 304320

[startup+51.1009 s]
/proc/loadavg: 7.56 7.88 8.00 10/298 4757
/proc/meminfo: memFree=16581992/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=308212 CPUtime=203.91 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 104420 0 0 0 20368 23 0 0 25 0 4 0 651705059 315609088 30719 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 77053 30719 379 95 0 72035 0
[pid=4751/tid=4752] ppid=4749 vsize=308212 CPUtime=51.08 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 27023 0 0 0 5103 5 0 0 25 0 4 0 651705060 315609088 30719 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=308212 CPUtime=50.64 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 26526 0 0 0 5059 5 0 0 25 0 4 0 651705060 315609088 30719 33554432000 4194304 4580107 140735333896608 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=308212 CPUtime=51.06 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 23955 0 0 0 5100 6 0 0 25 0 4 0 651705060 315609088 30719 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 308212

[startup+102.311 s]
/proc/loadavg: 7.95 7.93 8.01 10/298 4758
/proc/meminfo: memFree=16535724/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=322780 CPUtime=408.27 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 157016 0 0 0 40786 41 0 0 25 0 4 0 651705059 330526720 38557 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 80695 38557 379 95 0 75677 0
[pid=4751/tid=4752] ppid=4749 vsize=322780 CPUtime=102.3 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 41383 0 0 0 10220 10 0 0 25 0 4 0 651705060 330526720 38557 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=322780 CPUtime=101.38 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 38065 0 0 0 10128 10 0 0 25 0 4 0 651705060 330526720 38557 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=322780 CPUtime=102.26 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 38583 0 0 0 10216 10 0 0 25 0 4 0 651705060 330526720 38557 33554432000 4194304 4580107 140735333896608 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 322780

[startup+162.301 s]

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

[pid=4751] ppid=4749 vsize=570232 CPUtime=2563.39 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 489163 0 0 0 256150 189 0 0 25 0 4 0 651705059 583917568 87457 33554432000 4194304 4580107 140735333896608 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 142558 87457 379 95 0 137540 0
[pid=4751/tid=4752] ppid=4749 vsize=570232 CPUtime=642.31 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 129692 0 0 0 64181 50 0 0 25 0 4 0 651705060 583917568 87457 33554432000 4194304 4580107 140735333896608 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=570232 CPUtime=636.48 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 125064 0 0 0 63600 48 0 0 25 0 4 0 651705060 583917568 87457 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=570232 CPUtime=642.27 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 114938 0 0 0 64179 48 0 0 25 0 4 0 651705060 583917568 87457 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2563.39
Current children cumulated vsize (KiB) 570232

[startup+702.301 s]
/proc/loadavg: 8.11 8.08 8.02 10/298 4774
/proc/meminfo: memFree=16158892/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=535380 CPUtime=2802.81 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 509906 0 0 0 280081 200 0 0 25 0 4 0 651705059 548229120 89900 33554432000 4194304 4580107 140735333896608 18446744073709551615 4318755 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 133845 89900 379 95 0 128827 0
[pid=4751/tid=4752] ppid=4749 vsize=535380 CPUtime=702.3 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 136415 0 0 0 70176 54 0 0 25 0 4 0 651705060 548229120 89900 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=535380 CPUtime=695.93 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 130953 0 0 0 69541 52 0 0 25 0 4 0 651705060 548229120 89900 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=535380 CPUtime=702.25 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 118221 0 0 0 70176 49 0 0 25 0 4 0 651705060 548229120 89900 33554432000 4194304 4580107 140735333896608 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.81
Current children cumulated vsize (KiB) 535380

[startup+762.311 s]
/proc/loadavg: 8.07 8.07 8.02 10/298 4776
/proc/meminfo: memFree=16125384/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=537252 CPUtime=3042.31 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 531207 0 0 0 304018 213 0 0 25 0 4 0 651705059 550146048 90947 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 134313 90947 379 95 0 129295 0
[pid=4751/tid=4752] ppid=4749 vsize=537252 CPUtime=762.31 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 143348 0 0 0 76173 58 0 0 25 0 4 0 651705060 550146048 90947 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=537252 CPUtime=755.39 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 135326 0 0 0 75485 54 0 0 25 0 4 0 651705060 550146048 90947 33554432000 4194304 4580107 140735333896608 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=537252 CPUtime=762.27 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 124804 0 0 0 76174 53 0 0 25 0 4 0 651705060 550146048 90947 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3042.31
Current children cumulated vsize (KiB) 537252

[startup+822.301 s]
/proc/loadavg: 8.06 8.07 8.02 10/298 4777
/proc/meminfo: memFree=16080720/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=625196 CPUtime=3281.73 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 560465 0 0 0 327950 223 0 0 25 0 4 0 651705059 640200704 101791 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 156299 101791 380 95 0 151281 0
[pid=4751/tid=4752] ppid=4749 vsize=625196 CPUtime=822.31 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 153600 0 0 0 82170 61 0 0 25 0 4 0 651705060 640200704 101791 33554432000 4194304 4580107 140735333896608 18446744073709551615 4305619 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=625196 CPUtime=814.84 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 140043 0 0 0 81428 56 0 0 25 0 4 0 651705060 640200704 101791 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=625196 CPUtime=822.25 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 133692 0 0 0 82169 56 0 0 25 0 4 0 651705060 640200704 101791 33554432000 4194304 4580107 140735333896608 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3281.73
Current children cumulated vsize (KiB) 625196

[startup+882.301 s]
/proc/loadavg: 8.06 8.07 8.01 10/298 4779
/proc/meminfo: memFree=16057380/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=640776 CPUtime=3521.18 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 585008 0 0 0 351884 234 0 0 25 0 4 0 651705059 656154624 107370 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 160194 107370 380 95 0 155176 0
[pid=4751/tid=4752] ppid=4749 vsize=640776 CPUtime=882.31 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 159844 0 0 0 88167 64 0 0 25 0 4 0 651705060 656154624 107370 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=640776 CPUtime=874.29 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 146345 0 0 0 87370 59 0 0 25 0 4 0 651705060 656154624 107370 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=640776 CPUtime=882.25 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 139968 0 0 0 88166 59 0 0 25 0 4 0 651705060 656154624 107370 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3521.18
Current children cumulated vsize (KiB) 640776

[startup+942.301 s]
/proc/loadavg: 8.13 8.09 8.02 10/298 4781
/proc/meminfo: memFree=16056616/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=641096 CPUtime=3760.65 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 608266 0 0 0 375818 247 0 0 25 0 4 0 651705059 656482304 104292 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 160274 104292 380 95 0 155256 0
[pid=4751/tid=4752] ppid=4749 vsize=641096 CPUtime=942.31 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 165755 0 0 0 94164 67 0 0 25 0 4 0 651705060 656482304 104292 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=641096 CPUtime=933.75 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 153618 0 0 0 93313 62 0 0 25 0 4 0 651705060 656482304 104292 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=641096 CPUtime=942.26 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 146503 0 0 0 94162 64 0 0 25 0 4 0 651705060 656482304 104292 33554432000 4194304 4580107 140735333896608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3760.65
Current children cumulated vsize (KiB) 641096

[startup+1002.3 s]
/proc/loadavg: 8.12 8.09 8.02 10/298 4782
/proc/meminfo: memFree=15992860/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=641324 CPUtime=4000.11 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 635515 0 0 0 399751 260 0 0 25 0 4 0 651705059 656715776 115223 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 160331 115223 380 95 0 155313 0
[pid=4751/tid=4752] ppid=4749 vsize=641324 CPUtime=1002.3 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 175121 0 0 0 100161 69 0 0 25 0 4 0 651705060 656715776 115223 33554432000 4194304 4580107 140735333896608 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=641324 CPUtime=993.21 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 158983 0 0 0 99256 65 0 0 25 0 4 0 651705060 656715776 115223 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=641324 CPUtime=1002.25 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 152833 0 0 0 100157 68 0 0 25 0 4 0 651705060 656715776 115223 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4000.11
Current children cumulated vsize (KiB) 641324

[startup+1062.3 s]
/proc/loadavg: 8.11 8.08 8.02 10/298 4784
/proc/meminfo: memFree=16012792/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=657416 CPUtime=4239.55 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 654431 0 0 0 423686 269 0 0 25 0 4 0 651705059 673193984 112794 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 164354 112794 380 95 0 159336 0
[pid=4751/tid=4752] ppid=4749 vsize=657416 CPUtime=1062.31 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 178580 0 0 0 106160 71 0 0 25 0 4 0 651705060 673193984 112794 33554432000 4194304 4580107 140735333896608 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=657416 CPUtime=1052.65 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 164758 0 0 0 105197 68 0 0 25 0 4 0 651705060 673193984 112794 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=657416 CPUtime=1062.25 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 159970 0 0 0 106155 70 0 0 25 0 4 0 651705060 673193984 112794 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4239.55
Current children cumulated vsize (KiB) 657416

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 8.02 10/298 4785
/proc/meminfo: memFree=16043772/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=657748 CPUtime=4479 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 678668 0 0 0 447620 280 0 0 25 0 4 0 651705059 673533952 109420 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 164437 109420 380 95 0 159419 0
[pid=4751/tid=4752] ppid=4749 vsize=657748 CPUtime=1122.31 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 184072 0 0 0 112157 74 0 0 25 0 4 0 651705060 673533952 109420 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=657748 CPUtime=1112.1 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 172991 0 0 0 111139 71 0 0 25 0 4 0 651705060 673533952 109420 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=657748 CPUtime=1122.25 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 165850 0 0 0 112152 73 0 0 25 0 4 0 651705060 673533952 109420 33554432000 4194304 4580107 140735333896608 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4479
Current children cumulated vsize (KiB) 657748

[startup+1182.3 s]
/proc/loadavg: 8.17 8.11 8.03 10/298 4787
/proc/meminfo: memFree=16027012/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=605364 CPUtime=4718.46 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 696780 0 0 0 471557 289 0 0 25 0 4 0 651705059 619892736 111165 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 151341 111165 380 95 0 146323 0
[pid=4751/tid=4752] ppid=4749 vsize=605364 CPUtime=1182.31 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 189003 0 0 0 118155 76 0 0 25 0 4 0 651705060 619892736 111165 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=605364 CPUtime=1171.56 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 178434 0 0 0 117082 74 0 0 25 0 4 0 651705060 619892736 111165 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=605364 CPUtime=1182.24 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 170452 0 0 0 118148 76 0 0 25 0 4 0 651705060 619892736 111165 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4718.46
Current children cumulated vsize (KiB) 605364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.12 8.10 8.03 10/298 4787
/proc/meminfo: memFree=16077844/32951124 swapFree=52307768/67111528
[pid=4751] ppid=4749 vsize=602020 CPUtime=4800.29 cores=1,3,5,7
/proc/4751/stat : 4751 (strangenight2-m) R 4749 4751 4414 0 -1 4202496 705674 0 0 0 479735 294 0 0 25 0 4 0 651705059 616468480 106425 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4751/statm: 150505 106425 380 95 0 145487 0
[pid=4751/tid=4752] ppid=4749 vsize=602020 CPUtime=1202.82 cores=1,3,5,7
/proc/4751/task/4752/stat : 4752 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 191396 0 0 0 120205 77 0 0 25 0 4 0 651705060 616468480 106426 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4751/tid=4753] ppid=4749 vsize=602020 CPUtime=1191.87 cores=1,3,5,7
/proc/4751/task/4753/stat : 4753 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 181145 0 0 0 119112 75 0 0 25 0 4 0 651705060 616468480 106426 33554432000 4194304 4580107 140735333896608 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4751/tid=4754] ppid=4749 vsize=602020 CPUtime=1202.76 cores=1,3,5,7
/proc/4751/task/4754/stat : 4754 (strangenight2-m) R 4749 4751 4414 0 -1 4202560 171822 0 0 0 120198 78 0 0 25 0 4 0 651705060 616468480 106426 33554432000 4194304 4580107 140735333896608 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 602020

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): 1202.84
CPU time (s): 4800.36
CPU user time (s): 4797.4
CPU system time (s): 2.96755
CPU usage (%): 399.086
Max. virtual memory (cumulated for all children) (KiB): 761764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.4
system time used= 2.96755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 705677
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= 270
involuntary context switches= 34245

runsolver used 3.07253 second user time and 7.9128 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 21:23:43
IDJOB=3366301
IDBENCH=82710
IDSOLVER=1844
FILE ID=node101/3366301-1305401023
RUNJOBID= node101-1305401023-4729
PBS_JOBID= 13324459
Free space on /tmp= 73732 MiB

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

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

MD5SUM BENCH= 57a2cff28dc53061839e3102dd9b3447
RANDOM SEED=167098929

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16814696 kB
Buffers:        321332 kB
Cached:        5884428 kB
SwapCached:      14848 kB
Active:       10832976 kB
Inactive:      5029292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16814696 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           11408 kB
Writeback:           0 kB
AnonPages:     9653724 kB
Mapped:          14680 kB
Slab:           149732 kB
PageTables:      62340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42064328 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= 73728 MiB
End job on node101 at 2011-05-14 21:43:48