Trace number 3366452

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.4 1203.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf
MD5SUM82ce98f61c0f2213b508b1b975b0c344
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 variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
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.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-3366452-1305404506.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 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:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.12	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.12	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.12	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.12	c calculated reachability. Time: 0.00
0.00/0.12	c Calc default polars -  time:   0.00 s pos:     252 undec:      63 neg:     235
0.00/0.12	c =========================================================================================
0.00/0.12	c types(t): F = full restart, N = normal restart
0.00/0.12	c types(t): S = simplification begin/end, E = solution found
0.00/0.12	c restart types(rt): st = static, dy = dynamic
0.00/0.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.12	c  B st     0         0       541      2335         0         0      7050         0   no data   no data
0.00/0.12	c Decided on static restart strategy
0.00/0.85	c  N st     8      4918       541      2335         0      4843      7050    121757   no data   no data
0.00/0.85	c  N st    10     11303       541      2335         0      4467      7050     81597   no data   no data
0.00/0.85	c  N st    11     17049       541      2335         0     10116      7050    239091   no data   no data
4.42/1.15	c  F st    12     25003       541      2335         0     12447      7050    289863   no data   no data
4.42/1.15	c  N st    12     25003       541      2335         0     12447      7050    289863   no data   no data
5.17/1.38	c Decided on static restart strategy
5.17/1.38	c  N st    18     30000       541      2335         0     10710      7050    219441   no data   no data
5.17/1.38	c  S st    18     30000       541      2335         0     10710      7050    219441   no data   no data
5.57/1.41	c  S st    18     30502       541      2335         0     11212      7050    230557   no data   no data
5.57/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.42	c blocked clauses removed:        7 vars:      1 tried:         541 T: 0.00 s
5.57/1.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    540 time:  0.00 s
5.57/1.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.42	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.57/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.47	c lits-rem:       101  cl-subs:      387  v-elim:      0  v-fix:    0  time:  0.04 s
5.57/1.48	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
5.57/1.48	c calculated reachability. Time: 0.00
5.57/1.48	c  N st    18     30502       539      2328         0     10800      7033    218440   no data   no data
7.17/1.89	c  N st    20     37617       539      2328         0     10067      7033    180571   no data   no data
8.76/2.30	c  N st    21     44018       539      2328         0     16379      7033    348092   no data   no data
9.56/2.41	c  S st    22     45753       539      2328         0      9281      7033    140662   no data   no data
9.56/2.43	c  S st    22     46254       539      2328         0      9781      7033    153794   no data   no data
9.56/2.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
9.56/2.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.45	c lits-rem:        23  cl-subs:       24  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.45	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
9.56/2.45	c vivif2 --  cl tried     9757 cl shrink        0 lits rem          0 time: 0.00
9.56/2.46	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
9.56/2.46	c calculated reachability. Time: 0.00
9.56/2.46	c  N st    22     46254       539      2328         0      9757      7033    153049   no data   no data
13.55/3.46	c  N st    23     60654       539      2328         0     14060      7033    243865   no data   no data
15.95/4.09	c  N st    24     69381       539      2328         0     11851      7033    182237   no data   no data
15.95/4.09	c  S st    24     69381       539      2328         0     11851      7033    182237   no data   no data
16.37/4.12	c  S st    24     69883       539      2328         0     12352      7033    194580   no data   no data
16.37/4.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.37/4.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.37/4.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.37/4.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.37/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.37/4.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
16.37/4.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.37/4.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.37/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.37/4.16	c lits-rem:        15  cl-subs:      142  v-elim:      0  v-fix:    0  time:  0.02 s
16.37/4.16	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
16.37/4.16	c vivif2 --  cl tried    12210 cl shrink        0 lits rem          0 time: 0.00
16.37/4.17	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
16.37/4.17	c calculated reachability. Time: 0.00
16.37/4.17	c  N st    24     69883       539      2328         0     12210      7033    190898   no data   no data
21.92/5.54	c  F st    25     87501       539      2328         0     17740      7033    325186   no data   no data
21.92/5.54	c  N st    25     87501       539      2328         0     17740      7033    325186   no data   no data
23.52/5.97	c Decided on static restart strategy
24.72/6.25	c  N st    32     95539       539      2328         0     25610      7033    515839   no data   no data
27.51/6.99	c  N st    34    104824       539      2328         0     21988      7033    412495   no data   no data
27.51/6.99	c  S st    34    104824       539      2328         0     21988      7033    412495   no data   no data
27.91/7.04	c  S st    34    105326       539      2328         0     22489      7033    424601   no data   no data
27.91/7.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.91/7.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.91/7.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.91/7.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.91/7.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.91/7.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
27.91/7.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.91/7.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.91/7.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.24	c lits-rem:       173  cl-subs:      917  v-elim:      0  v-fix:    0  time:  0.17 s
28.71/7.24	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
28.71/7.25	c vivif2 --  cl tried    21572 cl shrink        0 lits rem          0 time: 0.01
28.71/7.26	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
28.71/7.26	c calculated reachability. Time: 0.00
28.71/7.26	c  N st    34    105326       539      2328         0     21572      7033    399883   no data   no data
32.30/8.10	c  N st    35    114924       539      2328         0     17264      7033    269873   no data   no data
37.49/9.41	c  N st    36    129322       539      2328         0     16687      7033    235837   no data   no data
45.06/11.33	c  N st    37    150917       539      2328         0     22155      7033    364963   no data   no data
47.50/11.94	c  S st    38    157990       539      2328         0     29124      7033    556014   no data   no data
47.84/12.01	c  S st    38    158492       539      2328         0     29626      7033    568327   no data   no data
47.84/12.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.84/12.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.84/12.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.84/12.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.84/12.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.84/12.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
47.84/12.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.84/12.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.84/12.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.05/12.36	c lits-rem:       186  cl-subs:     1021  v-elim:      0  v-fix:    0  time:  0.31 s
49.05/12.36	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
49.05/12.37	c vivif2 --  cl tried    28605 cl shrink        0 lits rem          0 time: 0.01
49.05/12.39	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
49.05/12.39	c calculated reachability. Time: 0.00
49.05/12.39	c  N st    38    158492       539      2328         0     28605      7033    540303   no data   no data
69.03/17.38	c  N st    39    207083       539      2328         0     23305      7033    357765   no data   no data
82.95/20.83	c  N st    40    237738       539      2328         0     33937      7033    620352   no data   no data
82.95/20.83	c  S st    40    237738       539      2328         0     33937      7033    620352   no data   no data
83.35/20.92	c  S st    40    238245       539      2328         0     34444      7033    632342   no data   no data
83.35/20.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.35/20.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.35/20.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.35/20.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.35/20.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.35/20.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
83.35/20.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.35/20.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.35/20.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.35/21.46	c lits-rem:       384  cl-subs:     1366  v-elim:      0  v-fix:    0  time:  0.50 s
85.35/21.47	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
85.35/21.47	c vivif2 --  cl tried    33078 cl shrink        0 lits rem          0 time: 0.01
85.35/21.49	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
85.75/21.50	c calculated reachability. Time: 0.00
85.75/21.50	c  N st    40    238245       539      2328         0     33078      7033    594934   no data   no data
118.85/29.88	c  F st    41    306251       539      2328         0     34890      7033    573276   no data   no data
118.85/29.88	c  N st    41    306251       539      2328         0     34890      7033    573276   no data   no data
121.67/30.52	c Decided on static restart strategy
133.21/33.42	c  N st    51    334552       539      2328         0     39150      7033    680497   no data   no data
144.36/36.25	c  N st    53    357368       539      2328         0     36973      7033    611016   no data   no data
144.36/36.25	c  S st    53    357368       539      2328         0     36973      7033    611016   no data   no data
144.76/36.35	c  S st    53    357872       539      2328         0     37476      7033    623400   no data   no data
144.76/36.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.76/36.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
144.76/36.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.76/36.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.76/36.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.76/36.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
144.76/36.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.76/36.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.76/36.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.37/36.77	c lits-rem:       223  cl-subs:     1190  v-elim:      0  v-fix:    0  time:  0.38 s
146.37/36.77	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
146.37/36.78	c vivif2 --  cl tried    36286 cl shrink        0 lits rem          0 time: 0.01
146.77/36.80	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
146.77/36.80	c calculated reachability. Time: 0.00
146.77/36.80	c  N st    53    357872       539      2328         0     36286      7033    588451   no data   no data
163.53/41.06	c  N st    54    390264       539      2328         0     42483      7033    748102   no data   no data
192.29/48.23	c  N st    55    438852       539      2328         0     36100      7033    524084   no data   no data
233.33/58.58	c  N st    56    511734       539      2328         0     49614      7033    856579   no data   no data
250.88/62.92	c  N st    57    536808       539      2328         0     43706      7033    652072   no data   no data
250.88/62.92	c  S st    57    536808       539      2328         0     43706      7033    652072   no data   no data
251.28/63.05	c  S st    57    537309       539      2328         0     44205      7033    665049   no data   no data
251.28/63.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.28/63.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
251.28/63.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
251.28/63.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
251.28/63.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.28/63.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
251.28/63.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
251.28/63.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
251.28/63.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.86/63.92	c lits-rem:       162  cl-subs:     2786  v-elim:      0  v-fix:    0  time:  0.83 s
254.86/63.92	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
254.86/63.93	c vivif2 --  cl tried    41419 cl shrink        0 lits rem          0 time: 0.01
254.86/63.96	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.03
254.86/63.96	c calculated reachability. Time: 0.00
254.86/63.96	c  N st    57    537309       539      2328         0     41419      7033    601823   no data   no data
369.34/92.68	c  N st    58    701293       539      2328         0     35671      7033    379647   no data   no data
450.74/113.06	c  N st    59    805963       539      2328         0     64559      7033   1093047   no data   no data
450.74/113.06	c  S st    59    805963       539      2328         0     64559      7033   1093047   no data   no data
451.50/113.24	c  S st    59    806469       539      2328         0     65064      7033   1105668   no data   no data
451.50/113.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
451.50/113.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
451.50/113.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
451.50/113.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
451.50/113.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
451.50/113.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
451.50/113.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
451.50/113.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
451.90/113.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
464.66/116.53	c lits-rem:       910  cl-subs:     4702  v-elim:      0  v-fix:    0  time:  3.21 s
464.66/116.53	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
464.66/116.54	c vivif2 --  cl tried    60362 cl shrink        0 lits rem          0 time: 0.01
465.06/116.60	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.05
465.06/116.60	c calculated reachability. Time: 0.00
465.06/116.60	c  N st    59    806469       539      2328         0     60362      7033    991564   no data   no data
702.37/176.16	c  F st    60   1071876       539      2328         0     76559      7033   1319514   no data   no data
702.37/176.16	c  N st    60   1071876       539      2328         0     76559      7033   1319514   no data   no data
708.36/177.61	c Decided on static restart strategy
726.71/182.28	c  N st    70   1100180       539      2328         0     60409      7033    888032   no data   no data
767.38/192.44	c  N st    72   1136175       539      2328         0     50642      7033    599015   no data   no data
799.14/200.43	c  N st    73   1168567       539      2328         0     82399      7033   1424111   no data   no data
837.05/210.08	c  N st    74   1209704       539      2328         0     76620      7033   1276816   no data   no data
837.05/210.08	c  S st    74   1209704       539      2328         0     76620      7033   1276816   no data   no data
838.23/210.31	c  S st    74   1210208       539      2328         0     77123      7033   1289996   no data   no data
838.23/210.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
838.23/210.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
838.23/210.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
838.23/210.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
838.23/210.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
838.23/210.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
838.23/210.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
838.23/210.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
838.62/210.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
850.44/213.42	c lits-rem:       543  cl-subs:     3672  v-elim:      0  v-fix:    0  time:  3.01 s
850.44/213.42	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
850.44/213.44	c vivif2 --  cl tried    73451 cl shrink        0 lits rem          0 time: 0.02
850.84/213.51	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.07
850.84/213.51	c calculated reachability. Time: 0.00
850.84/213.51	c  N st    74   1210208       539      2328         0     73451      7033   1197701   no data   no data
927.30/232.71	c  N st    75   1283090       539      2328         0     49881      7033    526495   no data   no data
1042.20/261.57	c  N st    76   1392414       539      2328         0     57875      7033    690066   no data   no data
1196.91/300.36	c  N st    77   1556398       539      2328         0     62992      7033    816922   no data   no data
1368.02/343.24	c  N st    78   1710209       539      2328         0    104258      7033   1816400   no data   no data
1368.02/343.24	c  S st    78   1710209       539      2328         0    104258      7033   1816400   no data   no data
1369.22/343.59	c  S st    78   1710710       539      2328         0    104759      7033   1829551   no data   no data
1369.62/343.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1369.62/343.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1369.62/343.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1369.62/343.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1369.62/343.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1369.62/343.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
1369.62/343.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1369.62/343.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1370.02/343.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1426.63/357.98	c lits-rem:       826  cl-subs:     9857  v-elim:      0  v-fix:    0  time: 14.25 s
1426.63/357.98	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
1427.03/358.01	c vivif2 --  cl tried    94902 cl shrink        0 lits rem          0 time: 0.02
1427.43/358.10	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.09
1427.43/358.10	c calculated reachability. Time: 0.00
1427.43/358.10	c  N st    78   1710710       539      2328         0     94902      7033   1597076   no data   no data
1857.38/465.97	c  N st    79   2079674       539      2328         0    106642      7033   1708786   no data   no data
2016.15/505.75	c  N st    80   2210711       539      2328         0    110873      7033   1790644   no data   no data
2016.15/505.75	c  S st    80   2210711       539      2328         0    110873      7033   1790644   no data   no data
2017.71/506.11	c  S st    80   2211215       539      2328         0    111377      7033   1803254   no data   no data
2017.71/506.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2017.71/506.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2017.71/506.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2017.71/506.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2017.71/506.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2017.71/506.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
2017.71/506.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2018.11/506.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2018.11/506.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2058.40/516.31	c lits-rem:       502  cl-subs:     8028  v-elim:      0  v-fix:    0  time: 10.05 s
2058.40/516.31	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
2058.40/516.33	c vivif2 --  cl tried   103349 cl shrink        0 lits rem          0 time: 0.02
2058.80/516.44	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.11
2058.80/516.44	c calculated reachability. Time: 0.00
2058.80/516.44	c  N st    80   2211215       539      2328         0    103349      7033   1632740   no data   no data
2685.75/673.61	c  N st    81   2711215       539      2328         0    127362      7033   2241938   no data   no data
2685.75/673.61	c  S st    81   2711215       539      2328         0    127362      7033   2241938   no data   no data
2687.38/674.04	c  S st    81   2711718       539      2328         0    127863      7033   2255147   no data   no data
2687.38/674.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2687.79/674.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2687.79/674.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2687.79/674.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2687.79/674.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2687.79/674.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
2687.79/674.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2687.79/674.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2688.14/674.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2750.77/689.99	c lits-rem:       677  cl-subs:     6867  v-elim:      0  v-fix:    0  time: 15.77 s
2750.77/689.99	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
2751.17/690.02	c vivif2 --  cl tried   120996 cl shrink        0 lits rem          0 time: 0.03
2751.56/690.16	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.13
2751.56/690.16	c calculated reachability. Time: 0.00
2751.56/690.16	c  N st    81   2711718       539      2328         0    120996      7033   2080575   no data   no data
3479.03/872.58	c  N st    82   3211718       539      2328         0     96331      7033   1227990   no data   no data
3479.03/872.58	c  S st    82   3211718       539      2328         0     96331      7033   1227990   no data   no data
3480.63/872.97	c  S st    82   3212220       539      2328         0     96833      7033   1240802   no data   no data
3480.63/872.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3481.03/873.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3481.03/873.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3481.03/873.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3481.03/873.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3481.03/873.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
3481.03/873.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3481.03/873.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3481.46/873.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3493.78/876.21	c lits-rem:       231  cl-subs:     3543  v-elim:      0  v-fix:    0  time:  3.09 s
3493.78/876.21	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
3493.78/876.23	c vivif2 --  cl tried    93290 cl shrink        0 lits rem          0 time: 0.02
3494.18/876.36	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.12
3494.18/876.36	c calculated reachability. Time: 0.00
3494.18/876.36	c  N st    82   3212220       539      2328         0     93290      7033   1164078   no data   no data
4204.10/1054.35	c  N st    83   3712221       539      2328         0    103816      7033   1337333   no data   no data
4204.10/1054.35	c  S st    83   3712221       539      2328         0    103816      7033   1337333   no data   no data
4205.32/1054.69	c  S st    83   3712726       539      2328         0    104319      7033   1350230   no data   no data
4205.32/1054.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4205.73/1054.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4205.73/1054.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4205.73/1054.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4205.73/1054.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4205.73/1054.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
4205.73/1054.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4205.73/1054.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4206.08/1054.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4215.27/1057.15	c lits-rem:       271  cl-subs:     4347  v-elim:      0  v-fix:    0  time:  2.34 s
4215.27/1057.15	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
4215.27/1057.17	c vivif2 --  cl tried    99972 cl shrink        0 lits rem          0 time: 0.02
4215.67/1057.27	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.10
4215.67/1057.28	c calculated reachability. Time: 0.00
4215.67/1057.28	c  N st    83   3712726       539      2328         0     99972      7033   1258468   no data   no data
4281.46/1073.78	c  F st    84   3751565       539      2328         0    137873      7033   2213847   no data   no data
4281.46/1073.78	c  N st    84   3751565       539      2328         0    137873      7033   2213847   no data   no data
4296.61/1077.59	c Decided on static restart strategy
4347.67/1090.39	c  N st    94   3779873       539      2328         0     82893      7033    779485   no data   no data
4396.72/1102.66	c  N st    96   3815868       539      2328         0    118077      7033   1665481   no data   no data
4455.78/1117.47	c  N st    97   3848260       539      2328         0    149706      7033   2494993   no data   no data
4524.73/1134.74	c  N st    98   3896850       539      2328         0    113540      7033   1617104   no data   no data
4642.78/1164.32	c  N st    99   3969732       539      2328         0     99667      7033   1190255   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-3366452-1305404506/watcher-3366452-1305404506 -o /tmp/evaluation-result-3366452-1305404506/solver-3366452-1305404506 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366452-1305404506.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: 7.58 8.01 8.00 2/356 18792
/proc/meminfo: memFree=18703952/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 412 0 0 0 1 0 0 0 23 0 4 0 632866493 52396032 352 33554432000 4194304 4580107 140735214453328 18446744073709551615 47730595034649 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 12792 352 302 95 0 7774 0
[pid=18792/tid=18793] ppid=18788 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 632866494 52396032 352 33554432000 4194304 4580107 140735214453328 18446744073709551615 47730595034649 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632866494 52396032 352 33554432000 4194304 4580107 140735214453328 18446744073709551615 47730595035058 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632866494 52396032 352 33554432000 4194304 4580107 140735214453328 18446744073709551615 47730595034649 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.271963 s]
/proc/loadavg: 7.58 8.01 8.00 2/356 18792
/proc/meminfo: memFree=18703952/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=285604 CPUtime=3.62 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 5524 0 0 0 361 1 0 0 19 0 4 0 632866493 292458496 2722 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294455 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 71401 2722 377 95 0 66383 0
[pid=18792/tid=18793] ppid=18788 vsize=285604 CPUtime=0.9 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1316 0 0 0 90 0 0 0 19 0 4 0 632866494 292458496 2722 33554432000 4194304 4580107 140735214453328 18446744073709551615 4322699 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=285604 CPUtime=0.89 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1276 0 0 0 89 0 0 0 19 0 4 0 632866494 292458496 2722 33554432000 4194304 4580107 140735214453328 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=285604 CPUtime=0.9 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1171 0 0 0 90 0 0 0 19 0 4 0 632866494 292458496 2722 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 285604

[startup+1.01325 s]
/proc/loadavg: 7.58 8.01 8.00 2/356 18792
/proc/meminfo: memFree=18703952/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=285740 CPUtime=4.02 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 5790 0 0 0 401 1 0 0 19 0 4 0 632866493 292597760 2988 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294558 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 71435 2988 377 95 0 66417 0
[pid=18792/tid=18793] ppid=18788 vsize=285740 CPUtime=1 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1378 0 0 0 100 0 0 0 19 0 4 0 632866494 292597760 2988 33554432000 4194304 4580107 140735214453328 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=285740 CPUtime=0.99 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1341 0 0 0 99 0 0 0 19 0 4 0 632866494 292597760 2988 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=285740 CPUtime=1 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1243 0 0 0 100 0 0 0 19 0 4 0 632866494 292597760 2988 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 285740

[startup+1.11324 s]
/proc/loadavg: 7.58 8.01 8.00 2/356 18792
/proc/meminfo: memFree=18703952/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=285952 CPUtime=4.42 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 6088 0 0 0 441 1 0 0 19 0 4 0 632866493 292814848 3286 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 71488 3286 378 95 0 66470 0
[pid=18792/tid=18793] ppid=18788 vsize=285952 CPUtime=1.1 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1471 0 0 0 110 0 0 0 19 0 4 0 632866494 292814848 3286 33554432000 4194304 4580107 140735214453328 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=285952 CPUtime=1.09 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1413 0 0 0 109 0 0 0 19 0 4 0 632866494 292814848 3286 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=285952 CPUtime=1.1 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1322 0 0 0 110 0 0 0 19 0 4 0 632866494 292814848 3286 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 285952

[startup+1.21322 s]
/proc/loadavg: 7.58 8.01 8.00 2/356 18792
/proc/meminfo: memFree=18703952/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=286264 CPUtime=4.82 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 6955 0 0 0 481 1 0 0 19 0 4 0 632866493 293134336 2749 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 71566 2749 378 95 0 66548 0
[pid=18792/tid=18793] ppid=18788 vsize=286264 CPUtime=1.2 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1695 0 0 0 120 0 0 0 19 0 4 0 632866494 293134336 2749 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=286264 CPUtime=1.19 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1610 0 0 0 119 0 0 0 19 0 4 0 632866494 293134336 2749 33554432000 4194304 4580107 140735214453328 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=286264 CPUtime=1.2 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1521 0 0 0 120 0 0 0 19 0 4 0 632866494 293134336 2749 33554432000 4194304 4580107 140735214453328 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 286264

[startup+1.50017 s]
/proc/loadavg: 7.58 8.01 8.00 2/356 18792
/proc/meminfo: memFree=18703952/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=286264 CPUtime=5.97 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 9021 0 0 0 595 2 0 0 20 0 4 0 632866493 293134336 4602 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 71566 4603 379 95 0 66548 0
[pid=18792/tid=18793] ppid=18788 vsize=286264 CPUtime=1.48 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1847 0 0 0 148 0 0 0 19 0 4 0 632866494 293134336 4603 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=286264 CPUtime=1.48 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1781 0 0 0 148 0 0 0 20 0 4 0 632866494 293134336 4603 33554432000 4194304 4580107 140735214453328 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=286264 CPUtime=1.49 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 1675 0 0 0 149 0 0 0 20 0 4 0 632866494 293134336 4603 33554432000 4194304 4580107 140735214453328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286264

[startup+3.11288 s]
/proc/loadavg: 7.58 8.01 8.00 9/364 18800
/proc/meminfo: memFree=18620360/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=295800 CPUtime=12.4 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 18612 0 0 0 1236 4 0 0 25 0 4 0 632866493 302899200 9736 33554432000 4194304 4580107 140735214453328 18446744073709551615 4306008 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 73950 9736 379 95 0 68932 0
[pid=18792/tid=18793] ppid=18788 vsize=295800 CPUtime=3.1 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 4241 0 0 0 309 1 0 0 25 0 4 0 632866494 302899200 9736 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=295800 CPUtime=3.06 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 4903 0 0 0 306 0 0 0 25 0 4 0 632866494 302899200 9736 33554432000 4194304 4580107 140735214453328 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=295800 CPUtime=3.09 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 4465 0 0 0 309 0 0 0 25 0 4 0 632866494 302899200 9736 33554432000 4194304 4580107 140735214453328 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 295800

[startup+6.30031 s]
/proc/loadavg: 7.61 8.01 8.00 10/364 18800
/proc/meminfo: memFree=18597924/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=292944 CPUtime=25.15 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 29105 0 0 0 2509 6 0 0 25 0 4 0 632866493 299974656 13370 33554432000 4194304 4580107 140735214453328 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 73236 13370 379 95 0 68218 0
[pid=18792/tid=18793] ppid=18788 vsize=292944 CPUtime=6.29 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 7451 0 0 0 628 1 0 0 25 0 4 0 632866494 299974656 13375 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=292944 CPUtime=6.23 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 7913 0 0 0 622 1 0 0 25 0 4 0 632866494 299974656 13375 33554432000 4194304 4580107 140735214453328 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=292944 CPUtime=6.3 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 6380 0 0 0 629 1 0 0 25 0 4 0 632866494 299974656 13375 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 292944

[startup+12.7012 s]
/proc/loadavg: 7.64 8.01 8.00 10/364 18800
/proc/meminfo: memFree=18567312/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=302964 CPUtime=50.65 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 46469 0 0 0 5056 9 0 0 25 0 4 0 632866493 310235136 19429 33554432000 4194304 4580107 140735214453328 18446744073709551615 4319854 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 75741 19429 379 95 0 70723 0
[pid=18792/tid=18793] ppid=18788 vsize=302964 CPUtime=12.68 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 11737 0 0 0 1266 2 0 0 25 0 4 0 632866494 310235136 19429 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=302964 CPUtime=12.56 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 11137 0 0 0 1255 1 0 0 25 0 4 0 632866494 310235136 19429 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=302964 CPUtime=12.69 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 11147 0 0 0 1267 2 0 0 25 0 4 0 632866494 310235136 19429 33554432000 4194304 4580107 140735214453328 18446744073709551615 4321160 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 302964

[startup+25.5009 s]
/proc/loadavg: 7.80 8.03 8.01 9/364 18800
/proc/meminfo: memFree=18518836/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=312744 CPUtime=101.7 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 71853 0 0 0 10156 14 0 0 25 0 4 0 632866493 320249856 26165 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 78186 26165 379 95 0 73168 0
[pid=18792/tid=18793] ppid=18788 vsize=312744 CPUtime=25.49 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 19113 0 0 0 2545 4 0 0 25 0 4 0 632866494 320249856 26165 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=312744 CPUtime=25.21 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 17694 0 0 0 2519 2 0 0 25 0 4 0 632866494 320249856 26165 33554432000 4194304 4580107 140735214453328 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=312744 CPUtime=25.48 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 16126 0 0 0 2545 3 0 0 25 0 4 0 632866494 320249856 26165 33554432000 4194304 4580107 140735214453328 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 312744

[startup+51.1003 s]
/proc/loadavg: 7.87 8.03 8.00 10/364 18801
/proc/meminfo: memFree=18470424/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=311020 CPUtime=203.81 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 105390 0 0 0 20359 22 0 0 25 0 4 0 632866493 318484480 32493 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 77755 32493 379 95 0 72737 0
[pid=18792/tid=18793] ppid=18788 vsize=311020 CPUtime=51.08 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 25634 0 0 0 5103 5 0 0 25 0 4 0 632866494 318484480 32493 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=311020 CPUtime=50.53 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 26771 0 0 0 5049 4 0 0 25 0 4 0 632866494 318484480 32493 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=311020 CPUtime=51.08 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 24787 0 0 0 5103 5 0 0 25 0 4 0 632866494 318484480 32493 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 311020

[startup+102.301 s]
/proc/loadavg: 8.00 8.04 8.00 9/364 18803
/proc/meminfo: memFree=18410392/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=313032 CPUtime=408.02 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 155369 0 0 0 40766 36 0 0 25 0 4 0 632866493 320544768 36350 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 78258 36350 379 95 0 73240 0
[pid=18792/tid=18793] ppid=18788 vsize=313032 CPUtime=102.27 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 34970 0 0 0 10220 7 0 0 25 0 4 0 632866494 320544768 36350 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=313032 CPUtime=101.15 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 39630 0 0 0 10107 8 0 0 25 0 4 0 632866494 320544768 36350 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=313032 CPUtime=102.28 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 38355 0 0 0 10219 9 0 0 25 0 4 0 632866494 320544768 36350 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 313032

[startup+162.3 s]

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

[pid=18792] ppid=18788 vsize=530836 CPUtime=2800.22 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 446701 0 0 0 279876 146 0 0 25 0 4 0 632866493 543576064 94234 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 132709 94234 379 95 0 127691 0
[pid=18792/tid=18793] ppid=18788 vsize=530836 CPUtime=702.17 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 117454 0 0 0 70176 41 0 0 25 0 4 0 632866494 543576064 94234 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=530836 CPUtime=693.58 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 104249 0 0 0 69328 30 0 0 25 0 4 0 632866494 543576064 94234 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=530836 CPUtime=702.14 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 116481 0 0 0 70177 37 0 0 25 0 4 0 632866494 543576064 94234 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.22
Current children cumulated vsize (KiB) 530836

[startup+762.301 s]
/proc/loadavg: 8.14 8.10 8.04 9/364 18823
/proc/meminfo: memFree=17964612/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=531120 CPUtime=3039.5 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 470019 0 0 0 303795 155 0 0 25 0 4 0 632866493 543866880 95772 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294455 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 132780 95772 379 95 0 127762 0
[pid=18792/tid=18793] ppid=18788 vsize=531120 CPUtime=762.15 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 124048 0 0 0 76171 44 0 0 25 0 4 0 632866494 543866880 95772 33554432000 4194304 4580107 140735214453328 18446744073709551615 4318305 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=531120 CPUtime=752.87 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 110426 0 0 0 75255 32 0 0 25 0 4 0 632866494 543866880 95772 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=531120 CPUtime=762.15 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 120191 0 0 0 76176 39 0 0 25 0 4 0 632866494 543866880 95772 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3039.5
Current children cumulated vsize (KiB) 531120

[startup+822.301 s]
/proc/loadavg: 8.15 8.11 8.05 10/364 18825
/proc/meminfo: memFree=17937920/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=544172 CPUtime=3278.83 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 496035 0 0 0 327716 167 0 0 25 0 4 0 632866493 557232128 96366 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 136043 96366 379 95 0 131025 0
[pid=18792/tid=18793] ppid=18788 vsize=544172 CPUtime=822.15 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 129368 0 0 0 82168 47 0 0 25 0 4 0 632866494 557232128 96366 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=544172 CPUtime=812.21 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 116513 0 0 0 81187 34 0 0 25 0 4 0 632866494 557232128 96366 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=544172 CPUtime=822.15 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 128083 0 0 0 82172 43 0 0 25 0 4 0 632866494 557232128 96366 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3278.83
Current children cumulated vsize (KiB) 544172

[startup+882.3 s]
/proc/loadavg: 8.14 8.12 8.05 10/364 18826
/proc/meminfo: memFree=17855916/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=610000 CPUtime=3518.11 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 526047 0 0 0 351634 177 0 0 25 0 4 0 632866493 624640000 108788 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 152500 108788 379 95 0 147482 0
[pid=18792/tid=18793] ppid=18788 vsize=610000 CPUtime=882.14 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 139247 0 0 0 88164 50 0 0 25 0 4 0 632866494 624640000 108788 33554432000 4194304 4580107 140735214453328 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=610000 CPUtime=871.5 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 119195 0 0 0 87115 35 0 0 25 0 4 0 632866494 624640000 108788 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=610000 CPUtime=882.15 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 138284 0 0 0 88169 46 0 0 25 0 4 0 632866494 624640000 108788 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3518.11
Current children cumulated vsize (KiB) 610000

[startup+942.301 s]
/proc/loadavg: 8.22 8.14 8.06 9/364 18828
/proc/meminfo: memFree=17879956/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=584768 CPUtime=3757.4 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 548548 0 0 0 375554 186 0 0 25 0 4 0 632866493 598802432 103997 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 146192 103997 379 95 0 141174 0
[pid=18792/tid=18793] ppid=18788 vsize=584768 CPUtime=942.12 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 144383 0 0 0 94160 52 0 0 25 0 4 0 632866494 598802432 103997 33554432000 4194304 4580107 140735214453328 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=584768 CPUtime=930.8 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 123307 0 0 0 93044 36 0 0 25 0 4 0 632866494 598802432 103997 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=584768 CPUtime=942.15 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 144589 0 0 0 94166 49 0 0 25 0 4 0 632866494 598802432 103997 33554432000 4194304 4580107 140735214453328 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3757.4
Current children cumulated vsize (KiB) 584768

[startup+1002.3 s]
/proc/loadavg: 8.08 8.11 8.06 9/364 18830
/proc/meminfo: memFree=17865424/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=598380 CPUtime=3996.71 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 565910 0 0 0 399476 195 0 0 25 0 4 0 632866493 612741120 107726 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 149595 107726 379 95 0 144577 0
[pid=18792/tid=18793] ppid=18788 vsize=598380 CPUtime=1002.12 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 146632 0 0 0 100158 54 0 0 25 0 4 0 632866494 612741120 107726 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=598380 CPUtime=990.11 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 126460 0 0 0 98973 38 0 0 25 0 4 0 632866494 612741120 107726 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=598380 CPUtime=1002.15 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 149622 0 0 0 100164 51 0 0 25 0 4 0 632866494 612741120 107726 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3996.71
Current children cumulated vsize (KiB) 598380

[startup+1062.3 s]
/proc/loadavg: 8.11 8.10 8.05 9/364 18831
/proc/meminfo: memFree=17827568/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=598580 CPUtime=4236.04 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 589936 0 0 0 423399 205 0 0 25 0 4 0 632866493 612945920 113793 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 149645 113793 379 95 0 144627 0
[pid=18792/tid=18793] ppid=18788 vsize=598580 CPUtime=1062.13 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 152293 0 0 0 106157 56 0 0 25 0 4 0 632866494 612945920 113793 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=598580 CPUtime=1049.42 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 129910 0 0 0 104902 40 0 0 25 0 4 0 632866494 612945920 113793 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=598580 CPUtime=1062.16 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 156023 0 0 0 106163 53 0 0 25 0 4 0 632866494 612945920 113793 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4236.04
Current children cumulated vsize (KiB) 598580

[startup+1122.3 s]
/proc/loadavg: 8.09 8.10 8.05 10/364 18833
/proc/meminfo: memFree=17769020/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=623408 CPUtime=4475.27 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 612356 0 0 0 447314 213 0 0 25 0 4 0 632866493 638369792 121378 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 155852 121378 379 95 0 150834 0
[pid=18792/tid=18793] ppid=18788 vsize=623408 CPUtime=1122.09 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 159496 0 0 0 112151 58 0 0 25 0 4 0 632866494 638369792 121378 33554432000 4194304 4580107 140735214453328 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=623408 CPUtime=1108.7 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 134679 0 0 0 110828 42 0 0 25 0 4 0 632866494 638369792 121378 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=623408 CPUtime=1122.16 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 161603 0 0 0 112161 55 0 0 25 0 4 0 632866494 638369792 121378 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4475.27
Current children cumulated vsize (KiB) 623408

[startup+1182.31 s]
/proc/loadavg: 8.10 8.09 8.05 10/364 18834
/proc/meminfo: memFree=17737368/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=676044 CPUtime=4714.61 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 630052 0 0 0 471240 221 0 0 25 0 4 0 632866493 692269056 120400 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 169011 120400 379 95 0 163993 0
[pid=18792/tid=18793] ppid=18788 vsize=676044 CPUtime=1182.1 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 160687 0 0 0 118151 59 0 0 25 0 4 0 632866494 692269056 120400 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=676044 CPUtime=1168.01 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 139433 0 0 0 116757 44 0 0 25 0 4 0 632866494 692269056 120400 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=676044 CPUtime=1182.16 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 166453 0 0 0 118160 56 0 0 25 0 4 0 632866494 692269056 120400 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4714.61
Current children cumulated vsize (KiB) 676044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.15 8.10 8.06 5/359 18836
/proc/meminfo: memFree=18211200/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=623872 CPUtime=4800.34 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 639202 0 0 0 479809 225 0 0 25 0 4 0 632866493 638844928 122261 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 155968 122261 379 95 0 150950 0
[pid=18792/tid=18793] ppid=18788 vsize=623872 CPUtime=1203.6 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 163145 0 0 0 120300 60 0 0 25 0 4 0 632866494 638844928 122261 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=623872 CPUtime=1189.25 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 141916 0 0 0 118880 45 0 0 25 0 4 0 632866494 638844928 122261 33554432000 4194304 4580107 140735214453328 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=623872 CPUtime=1203.66 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 168223 0 0 0 120309 57 0 0 25 0 4 0 632866494 638844928 122261 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 623872

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

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

[startup+1203.8 s]
/proc/loadavg: 8.15 8.10 8.06 5/359 18836
/proc/meminfo: memFree=18211200/32951124 swapFree=67111348/67111528
[pid=18792] ppid=18788 vsize=623872 CPUtime=4800.34 cores=0,2,4,6
/proc/18792/stat : 18792 (strangenight2-m) R 18788 18792 18129 0 -1 4202496 639202 0 0 0 479809 225 0 0 25 0 4 0 632866493 638844928 122261 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18792/statm: 155968 122261 379 95 0 150950 0
[pid=18792/tid=18793] ppid=18788 vsize=623872 CPUtime=1203.6 cores=0,2,4,6
/proc/18792/task/18793/stat : 18793 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 163145 0 0 0 120300 60 0 0 25 0 4 0 632866494 638844928 122261 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18792/tid=18795] ppid=18788 vsize=623872 CPUtime=1189.25 cores=0,2,4,6
/proc/18792/task/18795/stat : 18795 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 141916 0 0 0 118880 45 0 0 25 0 4 0 632866494 638844928 122261 33554432000 4194304 4580107 140735214453328 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18792/tid=18797] ppid=18788 vsize=623872 CPUtime=1203.66 cores=0,2,4,6
/proc/18792/task/18797/stat : 18797 (strangenight2-m) R 18788 18792 18129 0 -1 4202560 168223 0 0 0 120309 57 0 0 25 0 4 0 632866494 638844928 122261 33554432000 4194304 4580107 140735214453328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 623872

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.84
CPU time (s): 4800.4
CPU user time (s): 4798.12
CPU system time (s): 2.28065
CPU usage (%): 398.756
Max. virtual memory (cumulated for all children) (KiB): 729104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.12
system time used= 2.28065
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639203
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= 398
involuntary context switches= 27670

runsolver used 3.9154 second user time and 10.0155 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 22:21:46
IDJOB=3366452
IDBENCH=82861
IDSOLVER=1844
FILE ID=node145/3366452-1305404506
RUNJOBID= node145-1305404506-18773
PBS_JOBID= 13324453
Free space on /tmp= 73660 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366452-1305404506/watcher-3366452-1305404506 -o /tmp/evaluation-result-3366452-1305404506/solver-3366452-1305404506 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366452-1305404506.cnf

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

MD5SUM BENCH= 82ce98f61c0f2213b508b1b975b0c344
RANDOM SEED=1746554553

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18704380 kB
Buffers:        295316 kB
Cached:        8123376 kB
SwapCached:          0 kB
Active:        7269856 kB
Inactive:      6622208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18704380 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           10904 kB
Writeback:           0 kB
AnonPages:     5472760 kB
Mapped:          27052 kB
Slab:           255740 kB
PageTables:      34128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79337192 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= 73656 MiB
End job on node145 at 2011-05-14 22:41:52