Trace number 3366582

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.29 1204.14

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf
MD5SUM2d7407b1b64ab354711b83851f166439
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 variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366582-1305409221.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.00	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.00	c -- vars added        600
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 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:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     258 undec:      66 neg:     276
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       589      2545         0         0      7695         0   no data   no data
0.03/0.06	c Decided on static restart strategy
0.37/0.16	c  N st     8      4918       589      2545         0      4849      7695    128225   no data   no data
1.57/0.43	c  N st    10     11301       589      2545         0      4478      7695     82657   no data   no data
2.76/0.70	c  N st    11     17045       589      2545         0     10123      7695    235687   no data   no data
4.41/1.12	c  F st    12     25000       589      2545         0     12391      7695    287895   no data   no data
4.41/1.12	c  N st    12     25000       589      2545         0     12391      7695    287895   no data   no data
5.16/1.38	c Decided on static restart strategy
5.16/1.38	c  N st    18     30000       589      2545         0     10679      7695    219923   no data   no data
5.16/1.38	c  S st    18     30000       589      2545         0     10679      7695    219923   no data   no data
5.55/1.41	c  S st    18     30505       589      2545         0     11184      7695    231908   no data   no data
5.55/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.41	c blocked clauses removed:       10 vars:      2 tried:         589 T: 0.00 s
5.55/1.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
5.55/1.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.55/1.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.47	c lits-rem:        91  cl-subs:      438  v-elim:      0  v-fix:    0  time:  0.05 s
5.55/1.48	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.01
5.55/1.48	c calculated reachability. Time: 0.00
5.55/1.48	c  N st    18     30505       587      2535         0     10746      7665    219440   no data   no data
7.55/1.90	c  N st    20     37616       587      2535         0     10018      7665    185948   no data   no data
9.14/2.30	c  N st    21     44020       587      2535         0     16296      7665    353119   no data   no data
9.54/2.43	c  S st    22     45757       587      2535         0      9234      7665    142654   no data   no data
9.54/2.46	c  S st    22     46257       587      2535         0      9733      7665    155341   no data   no data
9.54/2.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
9.54/2.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.48	c lits-rem:        19  cl-subs:       62  v-elim:      0  v-fix:    0  time:  0.01 s
9.54/2.48	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
9.54/2.48	c vivif2 --  cl tried     9671 cl shrink        0 lits rem          0 time: 0.00
9.54/2.49	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.01
9.54/2.49	c calculated reachability. Time: 0.00
9.54/2.49	c  N st    22     46257       587      2535         0      9671      7665    153448   no data   no data
13.52/3.42	c  N st    23     60654       587      2535         0     14036      7665    258577   no data   no data
15.92/4.08	c  N st    24     69387       587      2535         0     11837      7665    188227   no data   no data
15.92/4.08	c  S st    24     69387       587      2535         0     11837      7665    188227   no data   no data
16.33/4.11	c  S st    24     69890       587      2535         0     12339      7665    200814   no data   no data
16.33/4.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.33/4.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.33/4.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
16.33/4.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.33/4.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.14	c lits-rem:        22  cl-subs:       70  v-elim:      0  v-fix:    0  time:  0.02 s
16.33/4.14	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
16.33/4.14	c vivif2 --  cl tried    12269 cl shrink        0 lits rem          0 time: 0.00
16.33/4.15	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.01
16.33/4.15	c calculated reachability. Time: 0.00
16.33/4.15	c  N st    24     69890       587      2535         0     12269      7665    198751   no data   no data
21.96/5.54	c  F st    25     87501       587      2535         0     17732      7665    342607   no data   no data
21.96/5.54	c  N st    25     87501       587      2535         0     17732      7665    342607   no data   no data
23.49/5.93	c Decided on static restart strategy
24.29/6.18	c  N st    32     95545       587      2535         0     25644      7665    545015   no data   no data
27.07/6.87	c  N st    34    104836       587      2535         0     22030      7665    439094   no data   no data
27.07/6.87	c  S st    34    104836       587      2535         0     22030      7665    439094   no data   no data
27.47/6.93	c  S st    34    105341       587      2535         0     22535      7665    451776   no data   no data
27.47/6.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.47/6.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.47/6.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.47/6.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.47/6.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.47/6.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
27.47/6.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.47/6.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.47/6.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.28/7.11	c lits-rem:       182  cl-subs:      703  v-elim:      0  v-fix:    0  time:  0.16 s
28.28/7.11	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
28.28/7.12	c vivif2 --  cl tried    21832 cl shrink        0 lits rem          0 time: 0.01
28.28/7.13	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.01
28.28/7.13	c calculated reachability. Time: 0.00
28.28/7.13	c  N st    34    105341       587      2535         0     21832      7665    429937   no data   no data
31.46/7.93	c  N st    35    114940       587      2535         0     17524      7665    290805   no data   no data
36.63/9.24	c  N st    36    129337       587      2535         0     16950      7665    250391   no data   no data
44.20/11.14	c  N st    37    150933       587      2535         0     22434      7665    375466   no data   no data
46.99/11.85	c  S st    38    158011       587      2535         0     29352      7665    554982   no data   no data
47.39/11.92	c  S st    38    158514       587      2535         0     29854      7665    567402   no data   no data
47.39/11.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.39/11.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.39/11.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.39/11.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.39/11.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.39/11.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
47.39/11.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.39/11.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.39/11.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.99/12.30	c lits-rem:       127  cl-subs:     1294  v-elim:      0  v-fix:    0  time:  0.34 s
48.99/12.30	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
48.99/12.30	c vivif2 --  cl tried    28560 cl shrink        0 lits rem          0 time: 0.01
48.99/12.32	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.02
48.99/12.32	c calculated reachability. Time: 0.00
48.99/12.32	c  N st    38    158514       587      2535         0     28560      7665    532573   no data   no data
69.31/17.50	c  N st    39    207103       587      2535         0     23104      7665    352024   no data   no data
82.90/20.82	c  N st    40    237774       587      2535         0     33609      7665    612919   no data   no data
82.90/20.82	c  S st    40    237774       587      2535         0     33609      7665    612919   no data   no data
82.90/20.91	c  S st    40    238279       587      2535         0     34111      7665    626032   no data   no data
82.90/20.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.31/20.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.31/20.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.31/20.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.31/20.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.31/20.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
83.31/20.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.31/20.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.31/20.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.05/21.62	c lits-rem:       335  cl-subs:     2241  v-elim:      0  v-fix:    0  time:  0.68 s
86.05/21.62	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
86.05/21.63	c vivif2 --  cl tried    31870 cl shrink        0 lits rem          0 time: 0.01
86.05/21.65	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.02
86.05/21.66	c calculated reachability. Time: 0.00
86.05/21.66	c  N st    40    238279       587      2535         0     31870      7665    568293   no data   no data
117.53/29.54	c  F st    41    306252       587      2535         0     33901      7665    563851   no data   no data
117.53/29.54	c  N st    41    306252       587      2535         0     33901      7665    563851   no data   no data
119.91/30.18	c Decided on static restart strategy
132.67/33.34	c  N st    51    334553       587      2535         0     38228      7665    664033   no data   no data
145.43/36.56	c  N st    53    357419       587      2535         0     36153      7665    582987   no data   no data
145.43/36.56	c  S st    53    357419       587      2535         0     36153      7665    582987   no data   no data
145.83/36.65	c  S st    53    357924       587      2535         0     36657      7665    595542   no data   no data
145.83/36.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.83/36.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
145.83/36.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.83/36.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.83/36.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.83/36.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
145.83/36.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
145.83/36.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
145.83/36.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.02/36.99	c lits-rem:       162  cl-subs:     1105  v-elim:      0  v-fix:    0  time:  0.30 s
147.02/36.99	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
147.02/37.00	c vivif2 --  cl tried    35552 cl shrink        0 lits rem          0 time: 0.01
147.42/37.02	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.02
147.42/37.02	c calculated reachability. Time: 0.00
147.42/37.02	c  N st    53    357924       587      2535         0     35552      7665    567431   no data   no data
163.76/41.13	c  N st    54    390316       587      2535         0     41832      7665    737593   no data   no data
190.86/48.00	c  N st    55    438904       587      2535         0     35497      7665    533554   no data   no data
237.89/59.71	c  N st    56    511788       587      2535         0     49138      7665    921088   no data   no data
254.29/63.87	c  N st    57    536889       587      2535         0     43327      7665    687830   no data   no data
254.29/63.87	c  S st    57    536889       587      2535         0     43327      7665    687830   no data   no data
254.63/63.99	c  S st    57    537391       587      2535         0     43827      7665    700308   no data   no data
254.63/63.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
255.04/64.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
255.04/64.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
255.04/64.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
255.04/64.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.04/64.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
255.04/64.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
255.04/64.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
255.04/64.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.62/64.49	c lits-rem:       148  cl-subs:     1066  v-elim:      0  v-fix:    0  time:  0.45 s
256.62/64.49	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
257.02/64.50	c vivif2 --  cl tried    42761 cl shrink        0 lits rem          0 time: 0.01
257.02/64.54	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.03
257.02/64.54	c calculated reachability. Time: 0.00
257.02/64.54	c  N st    57    537391       587      2535         0     42761      7665    670387   no data   no data
381.05/95.68	c  N st    58    701376       587      2535         0     36693      7665    413712   no data   no data
470.69/118.16	c  N st    59    806086       587      2535         0     65738      7665   1161010   no data   no data
470.69/118.16	c  S st    59    806086       587      2535         0     65738      7665   1161010   no data   no data
471.49/118.36	c  S st    59    806588       587      2535         0     66239      7665   1174166   no data   no data
471.49/118.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
471.49/118.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
471.49/118.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
471.49/118.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
471.49/118.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
471.49/118.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
471.90/118.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
471.90/118.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
471.90/118.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
483.44/121.39	c lits-rem:       650  cl-subs:     3231  v-elim:      0  v-fix:    0  time:  2.94 s
483.44/121.39	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
483.84/121.40	c vivif2 --  cl tried    63008 cl shrink        0 lits rem          0 time: 0.01
483.84/121.46	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.06
483.84/121.46	c calculated reachability. Time: 0.00
483.84/121.46	c  N st    59    806588       587      2535         0     63008      7665   1089645   no data   no data
724.22/181.77	c  F st    60   1071875       587      2535         0     78643      7665   1319079   no data   no data
724.22/181.77	c  N st    60   1071875       587      2535         0     78643      7665   1319079   no data   no data
731.40/183.60	c Decided on static restart strategy
752.13/188.75	c  N st    70   1100184       587      2535         0     62506      7665    925187   no data   no data
784.03/196.75	c  N st    72   1136179       587      2535         0     52886      7665    682422   no data   no data
812.32/203.89	c  N st    73   1168571       587      2535         0     84609      7665   1590056   no data   no data
849.79/213.24	c  N st    74   1209882       587      2535         0     79062      7665   1365409   no data   no data
849.79/213.24	c  S st    74   1209882       587      2535         0     79062      7665   1365409   no data   no data
850.98/213.53	c  S st    74   1210386       587      2535         0     79566      7665   1378453   no data   no data
850.98/213.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
850.98/213.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
850.98/213.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
850.98/213.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
850.98/213.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
850.98/213.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
850.98/213.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
851.38/213.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
851.38/213.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
868.51/217.95	c lits-rem:       319  cl-subs:     4058  v-elim:      0  v-fix:    0  time:  4.30 s
868.51/217.95	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
868.51/217.97	c vivif2 --  cl tried    75508 cl shrink        0 lits rem          0 time: 0.02
868.91/218.04	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.07
868.91/218.04	c calculated reachability. Time: 0.00
868.91/218.04	c  N st    74   1210386       587      2535         0     75508      7665   1263848   no data   no data
944.25/236.98	c  N st    75   1283269       587      2535         0     52041      7665    589434   no data   no data
1047.53/262.81	c  N st    76   1392592       587      2535         0     60164      7665    777000   no data   no data
1222.92/306.88	c  N st    77   1556576       587      2535         0     65361      7665    868614   no data   no data
1392.70/349.49	c  N st    78   1710387       587      2535         0    107291      7665   2044650   no data   no data
1392.70/349.49	c  S st    78   1710387       587      2535         0    107291      7665   2044650   no data   no data
1394.34/349.83	c  S st    78   1710889       587      2535         0    107792      7665   2057733   no data   no data
1394.34/349.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1394.34/349.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1394.34/349.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1394.34/349.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1394.34/349.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1394.34/349.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1394.34/349.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1394.69/349.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1394.69/349.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1446.12/362.84	c lits-rem:      1527  cl-subs:     6613  v-elim:      0  v-fix:    0  time: 12.86 s
1446.12/362.84	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
1446.12/362.87	c vivif2 --  cl tried   101179 cl shrink        0 lits rem          0 time: 0.03
1446.55/362.97	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.10
1446.55/362.98	c calculated reachability. Time: 0.00
1446.55/362.98	c  N st    78   1710889       587      2535         0    101179      7665   1870731   no data   no data
1857.14/465.95	c  N st    79   2079853       587      2535         0    112457      7665   2014861   no data   no data
2021.80/507.30	c  N st    80   2210889       587      2535         0    117255      7665   2156738   no data   no data
2021.80/507.30	c  S st    80   2210889       587      2535         0    117255      7665   2156738   no data   no data
2023.40/507.68	c  S st    80   2211392       587      2535         0    117758      7665   2169836   no data   no data
2023.40/507.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2023.80/507.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2023.80/507.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2023.80/507.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2023.80/507.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2023.80/507.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2023.80/507.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2023.80/507.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2024.20/507.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2070.42/519.44	c lits-rem:       817  cl-subs:     5597  v-elim:      0  v-fix:    0  time: 11.60 s
2070.42/519.44	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
2070.42/519.47	c vivif2 --  cl tried   112161 cl shrink        0 lits rem          0 time: 0.03
2070.82/519.59	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.12
2070.82/519.59	c calculated reachability. Time: 0.00
2070.82/519.59	c  N st    80   2211392       587      2535         0    112161      7665   2008424   no data   no data
2788.48/699.52	c  N st    81   2711392       587      2535         0    134478      7665   2444306   no data   no data
2788.48/699.52	c  S st    81   2711392       587      2535         0    134478      7665   2444306   no data   no data
2790.03/699.94	c  S st    81   2711900       587      2535         0    134985      7665   2457935   no data   no data
2790.03/699.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2790.42/700.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2790.42/700.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2790.42/700.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2790.42/700.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2790.42/700.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2790.42/700.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2790.42/700.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2790.82/700.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2886.89/724.21	c lits-rem:       969  cl-subs:    11438  v-elim:      0  v-fix:    0  time: 24.07 s
2886.89/724.21	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
2886.89/724.24	c vivif2 --  cl tried   123547 cl shrink        0 lits rem          0 time: 0.03
2887.29/724.37	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.13
2887.29/724.37	c calculated reachability. Time: 0.00
2887.29/724.37	c  N st    81   2711900       587      2535         0    123547      7665   2169013   no data   no data
3657.95/917.68	c  N st    82   3211902       587      2535         0     99681      7665   1359510   no data   no data
3657.95/917.68	c  S st    82   3211902       587      2535         0     99681      7665   1359510   no data   no data
3659.55/918.00	c  S st    82   3212405       587      2535         0    100182      7665   1372734   no data   no data
3659.55/918.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3659.55/918.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3659.55/918.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3659.55/918.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3659.55/918.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3659.55/918.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
3659.55/918.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3659.55/918.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3659.95/918.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3669.95/920.67	c lits-rem:       255  cl-subs:     3165  v-elim:      0  v-fix:    0  time:  2.55 s
3669.95/920.67	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
3669.95/920.69	c vivif2 --  cl tried    97017 cl shrink        0 lits rem          0 time: 0.02
3670.36/920.79	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.10
3670.36/920.79	c calculated reachability. Time: 0.00
3670.36/920.79	c  N st    82   3212405       587      2535         0     97017      7665   1295388   no data   no data
4485.66/1125.23	c  N st    83   3712405       587      2535         0    107303      7665   1405492   no data   no data
4485.66/1125.23	c  S st    83   3712405       587      2535         0    107303      7665   1405492   no data   no data
4487.22/1125.66	c  S st    83   3712908       587      2535         0    107804      7665   1418251   no data   no data
4487.22/1125.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4487.62/1125.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
4487.62/1125.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4487.62/1125.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4487.62/1125.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4487.62/1125.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
4487.62/1125.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4487.62/1125.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4488.02/1125.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4508.00/1130.87	c lits-rem:       444  cl-subs:     5201  v-elim:      0  v-fix:    0  time:  5.05 s
4508.00/1130.87	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
4508.00/1130.89	c vivif2 --  cl tried   102603 cl shrink        0 lits rem          0 time: 0.02
4508.35/1130.99	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.11
4508.75/1131.00	c calculated reachability. Time: 0.00
4508.75/1131.00	c  N st    83   3712908       587      2535         0    102603      7665   1301760   no data   no data
4568.14/1145.96	c  F st    84   3751562       587      2535         0    140256      7665   2270521   no data   no data
4568.14/1145.96	c  N st    84   3751562       587      2535         0    140256      7665   2270521   no data   no data
4581.70/1149.30	c Decided on static restart strategy
4633.54/1162.31	c  N st    94   3779869       587      2535         0     85376      7665    845708   no data   no data
4677.00/1173.27	c  N st    96   3815861       587      2535         0    120755      7665   1839398   no data   no data
4732.42/1187.14	c  N st    97   3848253       587      2535         0    152366      7665   2671149   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-3366582-1305409221/watcher-3366582-1305409221 -o /tmp/evaluation-result-3366582-1305409221/solver-3366582-1305409221 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366582-1305409221.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: 4.64 7.11 7.74 1/393 29181
/proc/meminfo: memFree=24251472/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=216880 CPUtime=0.02 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 1172 0 0 0 2 0 0 0 23 0 4 0 652520786 222085120 1099 33554432000 4194304 4580107 140737081522816 18446744073709551615 242970574743 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 54220 1101 369 95 0 49202 0
[pid=29181/tid=29183] ppid=29179 vsize=216880 CPUtime=0.01 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 281 0 0 0 1 0 0 0 24 0 4 0 652520786 222085120 1134 33554432000 4194304 4580107 140737081522816 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=216880 CPUtime=0 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 147 0 0 0 0 0 0 0 24 0 4 0 652520786 222085120 1134 33554432000 4194304 4580107 140737081522816 18446744073709551615 242970655214 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=216880 CPUtime=0 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 144 0 0 0 0 0 0 0 24 0 4 0 652520786 222085120 1134 33554432000 4194304 4580107 140737081522816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.016448 s]
/proc/loadavg: 4.64 7.11 7.74 1/393 29181
/proc/meminfo: memFree=24251472/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=217036 CPUtime=0.03 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 1305 0 0 0 3 0 0 0 23 0 4 0 652520786 222244864 1185 33554432000 4194304 4580107 140737081522816 18446744073709551615 4306295 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 54259 1185 376 95 0 49241 0
[pid=29181/tid=29183] ppid=29179 vsize=217036 CPUtime=0.01 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 284 0 0 0 1 0 0 0 24 0 4 0 652520786 222244864 1185 33554432000 4194304 4580107 140737081522816 18446744073709551615 4321030 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=217036 CPUtime=0 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 190 0 0 0 0 0 0 0 24 0 4 0 652520786 222244864 1185 33554432000 4194304 4580107 140737081522816 18446744073709551615 4423650 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=217036 CPUtime=0 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 147 0 0 0 0 0 0 0 18 0 4 0 652520786 222244864 1185 33554432000 4194304 4580107 140737081522816 18446744073709551615 4321646 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 217036

[startup+0.100416 s]
/proc/loadavg: 4.64 7.11 7.74 1/393 29181
/proc/meminfo: memFree=24251472/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=217432 CPUtime=0.37 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 1798 0 0 0 37 0 0 0 23 0 4 0 652520786 222650368 1656 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 54358 1657 377 95 0 49340 0
[pid=29181/tid=29183] ppid=29179 vsize=217432 CPUtime=0.09 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 389 0 0 0 9 0 0 0 24 0 4 0 652520786 222650368 1657 33554432000 4194304 4580107 140737081522816 18446744073709551615 4321023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=217432 CPUtime=0.08 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 378 0 0 0 8 0 0 0 24 0 4 0 652520786 222650368 1657 33554432000 4194304 4580107 140737081522816 18446744073709551615 4295714 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=217432 CPUtime=0.09 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 258 0 0 0 9 0 0 0 18 0 4 0 652520786 222650368 1657 33554432000 4194304 4580107 140737081522816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 217432

[startup+0.300382 s]
/proc/loadavg: 4.64 7.11 7.74 1/393 29181
/proc/meminfo: memFree=24251472/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=219156 CPUtime=1.17 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 2923 0 0 0 117 0 0 0 23 0 4 0 652520786 224415744 2152 33554432000 4194304 4580107 140737081522816 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 54789 2153 377 95 0 49771 0
[pid=29181/tid=29183] ppid=29179 vsize=219156 CPUtime=0.29 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 672 0 0 0 29 0 0 0 25 0 4 0 652520786 224415744 2153 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=219156 CPUtime=0.28 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 653 0 0 0 28 0 0 0 25 0 4 0 652520786 224415744 2153 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=219156 CPUtime=0.29 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 535 0 0 0 29 0 0 0 18 0 4 0 652520786 224415744 2153 33554432000 4194304 4580107 140737081522816 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 219156

[startup+0.700314 s]
/proc/loadavg: 4.64 7.11 7.74 1/393 29181
/proc/meminfo: memFree=24251472/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=220252 CPUtime=2.76 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 4555 0 0 0 276 0 0 0 25 0 4 0 652520786 225538048 2850 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 55063 2850 377 95 0 50045 0
[pid=29181/tid=29183] ppid=29179 vsize=220252 CPUtime=0.69 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 1079 0 0 0 69 0 0 0 25 0 4 0 652520786 225538048 2850 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=220252 CPUtime=0.68 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 1051 0 0 0 68 0 0 0 25 0 4 0 652520786 225538048 2850 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=220252 CPUtime=0.69 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 956 0 0 0 69 0 0 0 18 0 4 0 652520786 225538048 2850 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 220252

[startup+1.50018 s]
/proc/loadavg: 4.64 7.11 7.74 9/405 29198
/proc/meminfo: memFree=24223476/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=222232 CPUtime=5.95 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 9181 0 0 0 594 1 0 0 25 0 4 0 652520786 227565568 4662 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 55558 4662 379 95 0 50540 0
[pid=29181/tid=29183] ppid=29179 vsize=222232 CPUtime=1.49 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 1884 0 0 0 149 0 0 0 25 0 4 0 652520786 227565568 4662 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=222232 CPUtime=1.47 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 1864 0 0 0 147 0 0 0 25 0 4 0 652520786 227565568 4662 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=222232 CPUtime=1.49 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 1771 0 0 0 149 0 0 0 20 0 4 0 652520786 227565568 4662 33554432000 4194304 4580107 140737081522816 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 222232

[startup+3.1009 s]
/proc/loadavg: 4.64 7.11 7.74 9/405 29198
/proc/meminfo: memFree=24197184/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=237780 CPUtime=12.34 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 18754 0 0 0 1231 3 0 0 25 0 4 0 652520786 243486720 9943 33554432000 4194304 4580107 140737081522816 18446744073709551615 4321100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 59445 9943 379 95 0 54427 0
[pid=29181/tid=29183] ppid=29179 vsize=237780 CPUtime=3.09 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 4423 0 0 0 308 1 0 0 25 0 4 0 652520786 243486720 9943 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=237780 CPUtime=3.05 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 5109 0 0 0 305 0 0 0 25 0 4 0 652520786 243486720 9943 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=237780 CPUtime=3.08 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 4234 0 0 0 308 0 0 0 25 0 4 0 652520786 243486720 9943 33554432000 4194304 4580107 140737081522816 18446744073709551615 4318850 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 237780

[startup+6.30035 s]
/proc/loadavg: 4.91 7.13 7.74 10/405 29198
/proc/meminfo: memFree=24143492/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=245824 CPUtime=25.09 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 30391 0 0 0 2504 5 0 0 25 0 4 0 652520786 251723776 14068 33554432000 4194304 4580107 140737081522816 18446744073709551615 4322911 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 61456 14068 379 95 0 56438 0
[pid=29181/tid=29183] ppid=29179 vsize=245824 CPUtime=6.28 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 7891 0 0 0 627 1 0 0 25 0 4 0 652520786 251723776 14068 33554432000 4194304 4580107 140737081522816 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=245824 CPUtime=6.2 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 8522 0 0 0 620 0 0 0 25 0 4 0 652520786 251723776 14068 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=245824 CPUtime=6.28 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 6450 0 0 0 628 0 0 0 25 0 4 0 652520786 251723776 14068 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 245824

[startup+12.7003 s]
/proc/loadavg: 5.39 7.19 7.76 9/405 29198
/proc/meminfo: memFree=24077220/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=254348 CPUtime=50.58 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 48184 0 0 0 5050 8 0 0 25 0 4 0 652520786 260452352 20481 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 63587 20481 379 95 0 58569 0
[pid=29181/tid=29183] ppid=29179 vsize=254348 CPUtime=12.68 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 12110 0 0 0 1266 2 0 0 25 0 4 0 652520786 260452352 20481 33554432000 4194304 4580107 140737081522816 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=254348 CPUtime=12.51 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 11469 0 0 0 1250 1 0 0 25 0 4 0 652520786 260452352 20481 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=254348 CPUtime=12.68 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 11264 0 0 0 1267 1 0 0 25 0 4 0 652520786 260452352 20481 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 254348

[startup+25.5011 s]
/proc/loadavg: 5.97 7.23 7.76 9/405 29198
/proc/meminfo: memFree=23994872/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=244100 CPUtime=101.58 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 72232 0 0 0 10145 13 0 0 25 0 4 0 652520786 249958400 26790 33554432000 4194304 4580107 140737081522816 18446744073709551615 4301933 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 61025 26790 379 95 0 56007 0
[pid=29181/tid=29183] ppid=29179 vsize=244100 CPUtime=25.47 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 18789 0 0 0 2543 4 0 0 25 0 4 0 652520786 249958400 26790 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=244100 CPUtime=25.13 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 17939 0 0 0 2510 3 0 0 25 0 4 0 652520786 249958400 26790 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=244100 CPUtime=25.47 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 15913 0 0 0 2545 2 0 0 25 0 4 0 652520786 249958400 26790 33554432000 4194304 4580107 140737081522816 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 244100

[startup+51.1007 s]
/proc/loadavg: 6.72 7.31 7.77 9/405 29199
/proc/meminfo: memFree=23911360/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=342440 CPUtime=203.62 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 101042 0 0 0 20340 22 0 0 25 0 4 0 652520786 350658560 37586 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 85610 37586 379 95 0 80592 0
[pid=29181/tid=29183] ppid=29179 vsize=342440 CPUtime=51.06 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 25391 0 0 0 5101 5 0 0 25 0 4 0 652520786 350658560 37586 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=342440 CPUtime=50.4 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 25105 0 0 0 5035 5 0 0 25 0 4 0 652520786 350658560 37586 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=342440 CPUtime=51.06 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 22667 0 0 0 5102 4 0 0 25 0 4 0 652520786 350658560 37586 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.62
Current children cumulated vsize (KiB) 342440

[startup+102.315 s]
/proc/loadavg: 7.44 7.41 7.78 9/405 29201
/proc/meminfo: memFree=23839180/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=303376 CPUtime=407.77 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 132898 0 0 0 40741 36 0 0 25 0 4 0 652520786 310657024 44475 33554432000 4194304 4580107 140737081522816 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 75844 44475 379 95 0 70826 0
[pid=29181/tid=29183] ppid=29179 vsize=303376 CPUtime=102.27 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 32004 0 0 0 10218 9 0 0 25 0 4 0 652520786 310657024 44475 33554432000 4194304 4580107 140737081522816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=303376 CPUtime=100.93 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 29083 0 0 0 10087 6 0 0 25 0 4 0 652520786 310657024 44475 33554432000 4194304 4580107 140737081522816 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=303376 CPUtime=102.26 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 30018 0 0 0 10219 7 0 0 25 0 4 0 652520786 310657024 44475 33554432000 4194304 4580107 140737081522816 18446744073709551615 4318750 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.77
Current children cumulated vsize (KiB) 303376

[startup+162.301 s]

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

[pid=29181] ppid=29179 vsize=617328 CPUtime=2799.6 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 336886 0 0 0 279822 138 0 0 25 0 4 0 652520786 632143872 105399 33554432000 4194304 4580107 140737081522816 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 154332 105399 379 95 0 149314 0
[pid=29181/tid=29183] ppid=29179 vsize=617328 CPUtime=702.19 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 101330 0 0 0 70174 45 0 0 25 0 4 0 652520786 632143872 105399 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=617328 CPUtime=693.02 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 58322 0 0 0 69279 23 0 0 25 0 4 0 652520786 632143872 105399 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=617328 CPUtime=702.19 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 58318 0 0 0 70197 22 0 0 25 0 4 0 652520786 632143872 105399 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2799.6
Current children cumulated vsize (KiB) 617328

[startup+762.315 s]
/proc/loadavg: 8.08 8.03 7.93 9/405 29218
/proc/meminfo: memFree=23282864/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=629984 CPUtime=3038.85 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 352084 0 0 0 303738 147 0 0 25 0 4 0 652520786 645103616 113419 33554432000 4194304 4580107 140737081522816 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 157496 113419 379 95 0 152478 0
[pid=29181/tid=29183] ppid=29179 vsize=629984 CPUtime=762.2 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 107622 0 0 0 76172 48 0 0 25 0 4 0 652520786 645103616 113419 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=629984 CPUtime=752.23 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 59441 0 0 0 75199 24 0 0 25 0 4 0 652520786 645103616 113419 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=629984 CPUtime=762.2 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 61400 0 0 0 76197 23 0 0 25 0 4 0 652520786 645103616 113419 33554432000 4194304 4580107 140737081522816 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3038.85
Current children cumulated vsize (KiB) 629984

[startup+822.301 s]
/proc/loadavg: 8.10 8.04 7.94 9/405 29220
/proc/meminfo: memFree=23284728/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=630096 CPUtime=3278.03 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 365025 0 0 0 327648 155 0 0 25 0 4 0 652520786 645218304 113715 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 157524 113715 379 95 0 152506 0
[pid=29181/tid=29183] ppid=29179 vsize=630096 CPUtime=822.19 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 114411 0 0 0 82167 52 0 0 25 0 4 0 652520786 645218304 113715 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=630096 CPUtime=811.46 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 59641 0 0 0 81121 25 0 0 25 0 4 0 652520786 645218304 113715 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=630096 CPUtime=822.19 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 62373 0 0 0 82195 24 0 0 25 0 4 0 652520786 645218304 113715 33554432000 4194304 4580107 140737081522816 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3278.03
Current children cumulated vsize (KiB) 630096

[startup+882.301 s]
/proc/loadavg: 8.15 8.06 7.95 9/405 29221
/proc/meminfo: memFree=23264392/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=618616 CPUtime=3517.22 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 386364 0 0 0 351559 163 0 0 25 0 4 0 652520786 633462784 122581 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 154654 122581 379 95 0 149636 0
[pid=29181/tid=29183] ppid=29179 vsize=618616 CPUtime=882.19 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 125667 0 0 0 88164 55 0 0 25 0 4 0 652520786 633462784 122581 33554432000 4194304 4580107 140737081522816 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=618616 CPUtime=870.65 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 65050 0 0 0 87038 27 0 0 25 0 4 0 652520786 633462784 122581 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=618616 CPUtime=882.18 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 62476 0 0 0 88194 24 0 0 25 0 4 0 652520786 633462784 122581 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3517.22
Current children cumulated vsize (KiB) 618616

[startup+942.3 s]
/proc/loadavg: 8.11 8.06 7.95 9/405 29223
/proc/meminfo: memFree=23260540/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=611292 CPUtime=3756.42 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 399001 0 0 0 375468 174 0 0 25 0 4 0 652520786 625963008 115743 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 152823 115743 379 95 0 147805 0
[pid=29181/tid=29183] ppid=29179 vsize=611292 CPUtime=942.18 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 129637 0 0 0 94160 58 0 0 25 0 4 0 652520786 625963008 115743 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=611292 CPUtime=929.85 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 68252 0 0 0 92955 30 0 0 25 0 4 0 652520786 625963008 115743 33554432000 4194304 4580107 140737081522816 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=611292 CPUtime=942.19 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 66153 0 0 0 94192 27 0 0 25 0 4 0 652520786 625963008 115743 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3756.42
Current children cumulated vsize (KiB) 611292

[startup+1002.3 s]
/proc/loadavg: 8.10 8.06 7.96 9/405 29225
/proc/meminfo: memFree=23227548/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=668388 CPUtime=3995.65 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 425236 0 0 0 399380 185 0 0 25 0 4 0 652520786 684429312 121644 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 167097 121644 379 95 0 162079 0
[pid=29181/tid=29183] ppid=29179 vsize=668388 CPUtime=1002.19 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 136057 0 0 0 100157 62 0 0 25 0 4 0 652520786 684429312 121644 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=668388 CPUtime=989.07 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 76605 0 0 0 98875 32 0 0 25 0 4 0 652520786 684429312 121644 33554432000 4194304 4580107 140737081522816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=668388 CPUtime=1002.19 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 71847 0 0 0 100190 29 0 0 25 0 4 0 652520786 684429312 121644 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3995.65
Current children cumulated vsize (KiB) 668388

[startup+1062.3 s]
/proc/loadavg: 8.09 8.06 7.96 9/405 29226
/proc/meminfo: memFree=23233508/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=626988 CPUtime=4234.87 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 446088 0 0 0 423291 196 0 0 25 0 4 0 652520786 642035712 118443 33554432000 4194304 4580107 140737081522816 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 156747 118443 379 95 0 151729 0
[pid=29181/tid=29183] ppid=29179 vsize=626988 CPUtime=1062.19 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 142658 0 0 0 106154 65 0 0 25 0 4 0 652520786 642035712 118443 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=626988 CPUtime=1048.29 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 81916 0 0 0 104794 35 0 0 25 0 4 0 652520786 642035712 118443 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=626988 CPUtime=1062.19 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 78020 0 0 0 106187 32 0 0 25 0 4 0 652520786 642035712 118443 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4234.87
Current children cumulated vsize (KiB) 626988

[startup+1122.3 s]
/proc/loadavg: 8.14 8.08 7.97 9/405 29228
/proc/meminfo: memFree=23170512/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=640100 CPUtime=4474.06 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 467239 0 0 0 447199 207 0 0 25 0 4 0 652520786 655462400 125552 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 160025 125552 379 95 0 155007 0
[pid=29181/tid=29183] ppid=29179 vsize=640100 CPUtime=1122.19 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 151063 0 0 0 112151 68 0 0 25 0 4 0 652520786 655462400 125552 33554432000 4194304 4580107 140737081522816 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=640100 CPUtime=1107.48 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 87874 0 0 0 110709 39 0 0 25 0 4 0 652520786 655462400 125552 33554432000 4194304 4580107 140737081522816 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=640100 CPUtime=1122.19 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 80708 0 0 0 112185 34 0 0 25 0 4 0 652520786 655462400 125552 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4474.06
Current children cumulated vsize (KiB) 640100

[startup+1182.3 s]
/proc/loadavg: 8.18 8.10 7.98 9/405 29229
/proc/meminfo: memFree=23156744/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=640128 CPUtime=4713.28 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 478890 0 0 0 471112 216 0 0 25 0 4 0 652520786 655491072 131544 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 160032 131544 379 95 0 155014 0
[pid=29181/tid=29183] ppid=29179 vsize=640128 CPUtime=1182.19 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 154870 0 0 0 118148 71 0 0 25 0 4 0 652520786 655491072 131544 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=640128 CPUtime=1166.71 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 89401 0 0 0 116630 41 0 0 25 0 4 0 652520786 655491072 131544 33554432000 4194304 4580107 140737081522816 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=640128 CPUtime=1182.19 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 84020 0 0 0 118183 36 0 0 25 0 4 0 652520786 655491072 131544 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4713.28
Current children cumulated vsize (KiB) 640128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.1 s]
/proc/loadavg: 8.12 8.09 7.98 9/405 29230
/proc/meminfo: memFree=23173608/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=705648 CPUtime=4800.22 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 484397 0 0 0 479804 218 0 0 25 0 4 0 652520786 722583552 126337 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 176412 126337 379 95 0 171394 0
[pid=29181/tid=29183] ppid=29179 vsize=705648 CPUtime=1204.01 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 156845 0 0 0 120330 71 0 0 25 0 4 0 652520786 722583552 126338 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=705648 CPUtime=1188.22 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 89634 0 0 0 118781 41 0 0 25 0 4 0 652520786 722583552 126338 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=705648 CPUtime=1204 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 84740 0 0 0 120364 36 0 0 25 0 4 0 652520786 722583552 126338 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 705648

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

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

[startup+1204.1 s]
/proc/loadavg: 8.12 8.09 7.98 9/405 29230
/proc/meminfo: memFree=23173608/32951132 swapFree=67093844/67111528
[pid=29181] ppid=29179 vsize=705648 CPUtime=4800.22 cores=1,3,5,7
/proc/29181/stat : 29181 (strangenight2-m) R 29179 29181 28827 0 -1 4202496 484397 0 0 0 479804 218 0 0 25 0 4 0 652520786 722583552 126337 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29181/statm: 176412 126337 379 95 0 171394 0
[pid=29181/tid=29183] ppid=29179 vsize=705648 CPUtime=1204.01 cores=1,3,5,7
/proc/29181/task/29183/stat : 29183 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 156845 0 0 0 120330 71 0 0 25 0 4 0 652520786 722583552 126338 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=705648 CPUtime=1188.22 cores=1,3,5,7
/proc/29181/task/29184/stat : 29184 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 89634 0 0 0 118781 41 0 0 25 0 4 0 652520786 722583552 126338 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=705648 CPUtime=1204 cores=1,3,5,7
/proc/29181/task/29185/stat : 29185 (strangenight2-m) R 29179 29181 28827 0 -1 4202560 84740 0 0 0 120364 36 0 0 25 0 4 0 652520786 722583552 126338 33554432000 4194304 4580107 140737081522816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 705648

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.14
CPU time (s): 4800.29
CPU user time (s): 4798.08
CPU system time (s): 2.21066
CPU usage (%): 398.648
Max. virtual memory (cumulated for all children) (KiB): 797864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.08
system time used= 2.21066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484398
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= 237
involuntary context switches= 33322

runsolver used 4.32834 second user time and 11.2093 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-14 23:40:21
IDJOB=3366582
IDBENCH=82991
IDSOLVER=1844
FILE ID=node128/3366582-1305409221
RUNJOBID= node128-1305409221-29172
PBS_JOBID= 13324496
Free space on /tmp= 73608 MiB

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

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

MD5SUM BENCH= 2d7407b1b64ab354711b83851f166439
RANDOM SEED=154740427

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24251504 kB
Buffers:        266800 kB
Cached:        2886304 kB
SwapCached:       1440 kB
Active:        6319636 kB
Inactive:      2089020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24251504 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:            5548 kB
Writeback:          36 kB
AnonPages:     5254072 kB
Mapped:          31316 kB
Slab:           187344 kB
PageTables:      38052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100669848 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73596 MiB
End job on node128 at 2011-05-15 00:00:28