Trace number 3174173

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.27 1201.73

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-3174173-1304108698.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	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
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:     258 undec:      66 neg:     276
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       589      2545         0         0      7695         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4918       589      2545         0      4849      7695    128225   no data   no data
3.57/0.90	c  N st    10     11301       589      2545         0      4478      7695     82657   no data   no data
3.57/0.90	c  N st    11     17045       589      2545         0     10123      7695    235687   no data   no data
4.39/1.18	c  F st    12     25000       589      2545         0     12391      7695    287895   no data   no data
4.39/1.18	c  N st    12     25000       589      2545         0     12391      7695    287895   no data   no data
5.58/1.40	c Decided on static restart strategy
5.58/1.40	c  N st    18     30000       589      2545         0     10679      7695    219923   no data   no data
5.58/1.40	c  S st    18     30000       589      2545         0     10679      7695    219923   no data   no data
5.97/1.50	c  S st    18     30505       589      2545         0     11184      7695    231908   no data   no data
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.50	c blocked clauses removed:       10 vars:      2 tried:         589 T: 0.00 s
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c lits-rem:        91  cl-subs:      438  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.50	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.01
5.97/1.50	c calculated reachability. Time: 0.00
5.97/1.50	c  N st    18     30505       587      2535         0     10746      7665    219440   no data   no data
7.17/1.90	c  N st    20     37616       587      2535         0     10018      7665    185948   no data   no data
9.17/2.30	c  N st    21     44020       587      2535         0     16296      7665    353119   no data   no data
9.57/2.43	c  S st    22     45757       587      2535         0      9234      7665    142654   no data   no data
9.57/2.46	c  S st    22     46257       587      2535         0      9733      7665    155341   no data   no data
9.57/2.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.57/2.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.57/2.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
9.57/2.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.57/2.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.57/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.48	c lits-rem:        19  cl-subs:       62  v-elim:      0  v-fix:    0  time:  0.01 s
9.57/2.48	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
9.57/2.48	c vivif2 --  cl tried     9671 cl shrink        0 lits rem          0 time: 0.00
9.57/2.49	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.01
9.57/2.49	c calculated reachability. Time: 0.00
9.57/2.49	c  N st    22     46257       587      2535         0      9671      7665    153448   no data   no data
13.56/3.42	c  N st    23     60654       587      2535         0     14036      7665    258577   no data   no data
15.96/4.07	c  N st    24     69387       587      2535         0     11837      7665    188227   no data   no data
15.96/4.07	c  S st    24     69387       587      2535         0     11837      7665    188227   no data   no data
16.36/4.11	c  S st    24     69890       587      2535         0     12339      7665    200814   no data   no data
16.36/4.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.36/4.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.36/4.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
16.36/4.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.36/4.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.36/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.14	c lits-rem:        22  cl-subs:       70  v-elim:      0  v-fix:    0  time:  0.02 s
16.36/4.14	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
16.36/4.14	c vivif2 --  cl tried    12269 cl shrink        0 lits rem          0 time: 0.00
16.36/4.15	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.01
16.36/4.15	c calculated reachability. Time: 0.00
16.36/4.15	c  N st    24     69890       587      2535         0     12269      7665    198751   no data   no data
21.97/5.53	c  F st    25     87501       587      2535         0     17732      7665    342607   no data   no data
21.97/5.53	c  N st    25     87501       587      2535         0     17732      7665    342607   no data   no data
23.55/5.92	c Decided on static restart strategy
24.35/6.18	c  N st    32     95545       587      2535         0     25644      7665    545015   no data   no data
27.14/6.86	c  N st    34    104836       587      2535         0     22030      7665    439094   no data   no data
27.14/6.86	c  S st    34    104836       587      2535         0     22030      7665    439094   no data   no data
27.55/6.92	c  S st    34    105341       587      2535         0     22535      7665    451776   no data   no data
27.55/6.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.55/6.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.55/6.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.55/6.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.55/6.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.55/6.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
27.55/6.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.55/6.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.55/6.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.11	c lits-rem:       182  cl-subs:      703  v-elim:      0  v-fix:    0  time:  0.16 s
28.34/7.11	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
28.34/7.11	c vivif2 --  cl tried    21832 cl shrink        0 lits rem          0 time: 0.00
28.34/7.12	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.01
28.34/7.12	c calculated reachability. Time: 0.00
28.34/7.12	c  N st    34    105341       587      2535         0     21832      7665    429937   no data   no data
31.55/7.91	c  N st    35    114940       587      2535         0     17524      7665    290805   no data   no data
36.74/9.23	c  N st    36    129337       587      2535         0     16950      7665    250391   no data   no data
44.33/11.13	c  N st    37    150933       587      2535         0     22434      7665    375466   no data   no data
47.12/11.84	c  S st    38    158011       587      2535         0     29352      7665    554982   no data   no data
47.52/11.90	c  S st    38    158514       587      2535         0     29854      7665    567402   no data   no data
47.52/11.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.52/11.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.52/11.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.52/11.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.52/11.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.52/11.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
47.52/11.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.52/11.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.52/11.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.72/12.29	c lits-rem:       127  cl-subs:     1294  v-elim:      0  v-fix:    0  time:  0.35 s
48.72/12.29	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
48.72/12.30	c vivif2 --  cl tried    28560 cl shrink        0 lits rem          0 time: 0.01
49.12/12.31	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.02
49.12/12.32	c calculated reachability. Time: 0.00
49.12/12.32	c  N st    38    158514       587      2535         0     28560      7665    532573   no data   no data
69.49/17.49	c  N st    39    207103       587      2535         0     23104      7665    352024   no data   no data
83.09/20.82	c  N st    40    237774       587      2535         0     33609      7665    612919   no data   no data
83.09/20.82	c  S st    40    237774       587      2535         0     33609      7665    612919   no data   no data
83.09/20.90	c  S st    40    238279       587      2535         0     34111      7665    626032   no data   no data
83.49/20.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.49/20.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.49/20.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.49/20.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.49/20.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.49/20.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
83.49/20.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.49/20.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.49/20.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.27/21.63	c lits-rem:       335  cl-subs:     2241  v-elim:      0  v-fix:    0  time:  0.68 s
86.27/21.63	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
86.27/21.63	c vivif2 --  cl tried    31870 cl shrink        0 lits rem          0 time: 0.01
86.27/21.65	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.02
86.27/21.65	c calculated reachability. Time: 0.00
86.27/21.65	c  N st    40    238279       587      2535         0     31870      7665    568293   no data   no data
117.82/29.54	c  F st    41    306252       587      2535         0     33901      7665    563851   no data   no data
117.82/29.54	c  N st    41    306252       587      2535         0     33901      7665    563851   no data   no data
120.22/30.18	c Decided on static restart strategy
133.00/33.34	c  N st    51    334553       587      2535         0     38228      7665    664033   no data   no data
145.79/36.55	c  N st    53    357419       587      2535         0     36153      7665    582987   no data   no data
145.79/36.55	c  S st    53    357419       587      2535         0     36153      7665    582987   no data   no data
146.19/36.64	c  S st    53    357924       587      2535         0     36657      7665    595542   no data   no data
146.19/36.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.19/36.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
146.19/36.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.19/36.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.19/36.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.19/36.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
146.19/36.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.19/36.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.19/36.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.38/36.99	c lits-rem:       162  cl-subs:     1105  v-elim:      0  v-fix:    0  time:  0.31 s
147.38/36.99	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
147.78/37.00	c vivif2 --  cl tried    35552 cl shrink        0 lits rem          0 time: 0.01
147.78/37.03	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.02
147.78/37.03	c calculated reachability. Time: 0.00
147.78/37.03	c  N st    53    357924       587      2535         0     35552      7665    567431   no data   no data
164.10/41.13	c  N st    54    390316       587      2535         0     41832      7665    737593   no data   no data
191.66/48.02	c  N st    55    438904       587      2535         0     35497      7665    533554   no data   no data
238.41/59.70	c  N st    56    511788       587      2535         0     49138      7665    921088   no data   no data
254.80/63.86	c  N st    57    536889       587      2535         0     43327      7665    687830   no data   no data
254.80/63.86	c  S st    57    536889       587      2535         0     43327      7665    687830   no data   no data
255.18/63.98	c  S st    57    537391       587      2535         0     43827      7665    700308   no data   no data
255.18/63.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
255.18/64.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
255.58/64.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
255.58/64.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
255.58/64.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.58/64.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
255.58/64.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
255.58/64.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
255.58/64.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.18/64.49	c lits-rem:       148  cl-subs:     1066  v-elim:      0  v-fix:    0  time:  0.46 s
257.18/64.49	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
257.58/64.50	c vivif2 --  cl tried    42761 cl shrink        0 lits rem          0 time: 0.01
257.58/64.53	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.03
257.58/64.53	c calculated reachability. Time: 0.00
257.58/64.53	c  N st    57    537391       587      2535         0     42761      7665    670387   no data   no data
381.83/95.62	c  N st    58    701376       587      2535         0     36693      7665    413712   no data   no data
471.68/118.10	c  N st    59    806086       587      2535         0     65738      7665   1161010   no data   no data
471.68/118.10	c  S st    59    806086       587      2535         0     65738      7665   1161010   no data   no data
472.48/118.31	c  S st    59    806588       587      2535         0     66239      7665   1174166   no data   no data
472.48/118.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
472.48/118.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
472.48/118.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
472.48/118.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
472.48/118.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
472.48/118.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
472.48/118.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
472.48/118.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
472.89/118.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
484.47/121.31	c lits-rem:       650  cl-subs:     3231  v-elim:      0  v-fix:    0  time:  2.91 s
484.47/121.31	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
484.47/121.32	c vivif2 --  cl tried    63008 cl shrink        0 lits rem          0 time: 0.01
484.47/121.38	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.06
484.47/121.38	c calculated reachability. Time: 0.00
484.47/121.38	c  N st    59    806588       587      2535         0     63008      7665   1089645   no data   no data
724.96/181.55	c  F st    60   1071875       587      2535         0     78643      7665   1319079   no data   no data
724.96/181.56	c  N st    60   1071875       587      2535         0     78643      7665   1319079   no data   no data
732.14/183.39	c Decided on static restart strategy
752.90/188.57	c  N st    70   1100184       587      2535         0     62506      7665    925187   no data   no data
784.85/196.51	c  N st    72   1136179       587      2535         0     52886      7665    682422   no data   no data
813.22/203.67	c  N st    73   1168571       587      2535         0     84609      7665   1590056   no data   no data
849.56/212.76	c  N st    74   1209882       587      2535         0     79062      7665   1365409   no data   no data
849.56/212.76	c  S st    74   1209882       587      2535         0     79062      7665   1365409   no data   no data
850.76/213.07	c  S st    74   1210386       587      2535         0     79566      7665   1378453   no data   no data
850.76/213.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
851.16/213.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
851.16/213.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
851.16/213.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
851.16/213.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
851.16/213.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
851.16/213.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
851.16/213.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
851.56/213.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
871.93/218.33	c lits-rem:       319  cl-subs:     4058  v-elim:      0  v-fix:    0  time:  5.13 s
871.93/218.33	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
871.93/218.35	c vivif2 --  cl tried    75508 cl shrink        0 lits rem          0 time: 0.02
872.33/218.42	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.07
872.33/218.42	c calculated reachability. Time: 0.00
872.33/218.42	c  N st    74   1210386       587      2535         0     75508      7665   1263848   no data   no data
948.23/237.41	c  N st    75   1283269       587      2535         0     52041      7665    589434   no data   no data
1051.68/263.30	c  N st    76   1392592       587      2535         0     60164      7665    777000   no data   no data
1227.42/307.39	c  N st    77   1556576       587      2535         0     65361      7665    868614   no data   no data
1397.58/349.93	c  N st    78   1710387       587      2535         0    107291      7665   2044650   no data   no data
1397.58/349.93	c  S st    78   1710387       587      2535         0    107291      7665   2044650   no data   no data
1398.78/350.27	c  S st    78   1710889       587      2535         0    107792      7665   2057733   no data   no data
1398.78/350.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1399.18/350.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1399.18/350.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1399.18/350.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1399.18/350.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1399.18/350.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1399.18/350.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1399.18/350.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1399.58/350.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1451.51/363.47	c lits-rem:      1527  cl-subs:     6613  v-elim:      0  v-fix:    0  time: 13.04 s
1451.51/363.47	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
1451.51/363.49	c vivif2 --  cl tried   101179 cl shrink        0 lits rem          0 time: 0.03
1452.31/363.60	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.10
1452.31/363.60	c calculated reachability. Time: 0.00
1452.31/363.60	c  N st    78   1710889       587      2535         0    101179      7665   1870731   no data   no data
1863.76/466.63	c  N st    79   2079853       587      2535         0    112457      7665   2014861   no data   no data
2029.14/508.03	c  N st    80   2210889       587      2535         0    117255      7665   2156738   no data   no data
2029.14/508.03	c  S st    80   2210889       587      2535         0    117255      7665   2156738   no data   no data
2030.73/508.41	c  S st    80   2211392       587      2535         0    117758      7665   2169836   no data   no data
2030.73/508.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2030.73/508.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2030.73/508.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2030.73/508.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2030.73/508.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2030.73/508.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2030.73/508.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2031.13/508.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2031.13/508.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2077.06/520.06	c lits-rem:       817  cl-subs:     5597  v-elim:      0  v-fix:    0  time: 11.48 s
2077.06/520.06	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
2077.06/520.09	c vivif2 --  cl tried   112161 cl shrink        0 lits rem          0 time: 0.03
2077.88/520.21	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.12
2077.88/520.21	c calculated reachability. Time: 0.00
2077.88/520.21	c  N st    80   2211392       587      2535         0    112161      7665   2008424   no data   no data
2796.90/700.28	c  N st    81   2711392       587      2535         0    134478      7665   2444306   no data   no data
2796.90/700.28	c  S st    81   2711392       587      2535         0    134478      7665   2444306   no data   no data
2798.92/700.71	c  S st    81   2711900       587      2535         0    134985      7665   2457935   no data   no data
2798.92/700.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2798.92/700.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2798.92/700.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2798.92/700.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2798.92/700.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2798.92/700.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2798.92/700.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2799.29/700.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2799.69/700.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2895.58/724.94	c lits-rem:       969  cl-subs:    11438  v-elim:      0  v-fix:    0  time: 24.04 s
2895.58/724.94	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
2895.58/724.98	c vivif2 --  cl tried   123547 cl shrink        0 lits rem          0 time: 0.03
2896.36/725.11	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.13
2896.36/725.11	c calculated reachability. Time: 0.00
2896.36/725.11	c  N st    81   2711900       587      2535         0    123547      7665   2169013   no data   no data
3670.52/918.91	c  N st    82   3211902       587      2535         0     99681      7665   1359510   no data   no data
3670.52/918.91	c  S st    82   3211902       587      2535         0     99681      7665   1359510   no data   no data
3671.72/919.22	c  S st    82   3212405       587      2535         0    100182      7665   1372734   no data   no data
3671.72/919.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3671.72/919.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3671.72/919.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3671.72/919.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3671.72/919.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3671.72/919.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
3671.72/919.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3672.12/919.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3672.12/919.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3682.50/921.90	c lits-rem:       255  cl-subs:     3165  v-elim:      0  v-fix:    0  time:  2.55 s
3682.50/921.90	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
3682.50/921.92	c vivif2 --  cl tried    97017 cl shrink        0 lits rem          0 time: 0.02
3682.90/922.02	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.10
3682.90/922.02	c calculated reachability. Time: 0.00
3682.90/922.02	c  N st    82   3212405       587      2535         0     97017      7665   1295388   no data   no data
4499.81/1126.53	c  N st    83   3712405       587      2535         0    107303      7665   1405492   no data   no data
4499.81/1126.53	c  S st    83   3712405       587      2535         0    107303      7665   1405492   no data   no data
4501.41/1126.97	c  S st    83   3712908       587      2535         0    107804      7665   1418251   no data   no data
4501.41/1126.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4501.81/1127.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
4501.81/1127.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4501.81/1127.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4501.81/1127.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4501.81/1127.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
4501.81/1127.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4501.81/1127.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4502.21/1127.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4526.57/1133.25	c lits-rem:       444  cl-subs:     5201  v-elim:      0  v-fix:    0  time:  6.13 s
4526.57/1133.25	c vivif2 --  cl tried     2535 cl shrink        0 lits rem          0 time: 0.00
4526.57/1133.27	c vivif2 --  cl tried   102603 cl shrink        0 lits rem          0 time: 0.02
4526.97/1133.38	c asymm  cl-useful: 0/2535/2535 lits-rem:0 time: 0.11
4526.97/1133.39	c calculated reachability. Time: 0.00
4526.97/1133.39	c  N st    83   3712908       587      2535         0    102603      7665   1301760   no data   no data
4586.91/1148.32	c  F st    84   3751562       587      2535         0    140256      7665   2270521   no data   no data
4586.91/1148.32	c  N st    84   3751562       587      2535         0    140256      7665   2270521   no data   no data
4600.09/1151.67	c Decided on static restart strategy
4652.41/1164.75	c  N st    94   3779869       587      2535         0     85376      7665    845708   no data   no data
4695.95/1175.66	c  N st    96   3815861       587      2535         0    120755      7665   1839398   no data   no data
4753.47/1190.05	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.34 7.62 6.57 4/178 14013
/proc/meminfo: memFree=31283280/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 522468468 52441088 347 33554432000 4194304 4627427 140735917951984 18446744073709551615 47179719657394 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 12803 347 299 106 0 7774 0
[pid=14013/tid=14014] ppid=14011 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522468468 52441088 347 33554432000 4194304 4627427 140735917951984 18446744073709551615 47179719657394 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522468468 52441088 347 33554432000 4194304 4627427 140735917951984 18446744073709551615 47179719657394 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522468468 52441088 347 33554432000 4194304 4627427 140735917951984 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0563541 s]
/proc/loadavg: 6.34 7.62 6.57 4/178 14013
/proc/meminfo: memFree=31283280/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=282004 CPUtime=0.2 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 1604 0 0 0 20 0 0 0 18 0 4 0 522468468 288772096 1439 33554432000 4194304 4627427 140735917951984 18446744073709551615 4299718 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 70501 1439 384 106 0 65472 0
[pid=14013/tid=14014] ppid=14011 vsize=282004 CPUtime=0.05 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 320 0 0 0 5 0 0 0 18 0 4 0 522468468 288772096 1439 33554432000 4194304 4627427 140735917951984 18446744073709551615 4332922 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=282004 CPUtime=0.05 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 340 0 0 0 5 0 0 0 18 0 4 0 522468468 288772096 1439 33554432000 4194304 4627427 140735917951984 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=282004 CPUtime=0.04 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 216 0 0 0 4 0 0 0 25 0 4 0 522468468 288772096 1439 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282004

[startup+0.156337 s]
/proc/loadavg: 6.34 7.62 6.57 4/178 14013
/proc/meminfo: memFree=31283280/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=282152 CPUtime=0.6 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 2092 0 0 0 60 0 0 0 18 0 4 0 522468468 288923648 1927 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 70538 1928 384 106 0 65509 0
[pid=14013/tid=14014] ppid=14011 vsize=282152 CPUtime=0.15 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 443 0 0 0 15 0 0 0 18 0 4 0 522468468 288923648 1928 33554432000 4194304 4627427 140735917951984 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=282152 CPUtime=0.15 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 461 0 0 0 15 0 0 0 18 0 4 0 522468468 288923648 1928 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=282152 CPUtime=0.14 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 338 0 0 0 14 0 0 0 25 0 4 0 522468468 288923648 1928 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 282152

[startup+0.300312 s]
/proc/loadavg: 6.34 7.62 6.57 4/178 14013
/proc/meminfo: memFree=31283280/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=283736 CPUtime=1.18 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 2982 0 0 0 118 0 0 0 18 0 4 0 522468468 290545664 2188 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 70934 2188 385 106 0 65905 0
[pid=14013/tid=14014] ppid=14011 vsize=283736 CPUtime=0.29 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 664 0 0 0 29 0 0 0 18 0 4 0 522468468 290545664 2188 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=283736 CPUtime=0.29 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 683 0 0 0 29 0 0 0 18 0 4 0 522468468 290545664 2188 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=283736 CPUtime=0.29 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 565 0 0 0 29 0 0 0 25 0 4 0 522468468 290545664 2188 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283736

[startup+0.700244 s]
/proc/loadavg: 6.34 7.62 6.57 4/178 14013
/proc/meminfo: memFree=31283280/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=284532 CPUtime=2.77 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 4625 0 0 0 277 0 0 0 18 0 4 0 522468468 291360768 2897 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 71133 2897 385 106 0 66104 0
[pid=14013/tid=14014] ppid=14011 vsize=284532 CPUtime=0.69 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 1072 0 0 0 69 0 0 0 18 0 4 0 522468468 291360768 2897 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=284532 CPUtime=0.69 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 1090 0 0 0 69 0 0 0 18 0 4 0 522468468 291360768 2897 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=284532 CPUtime=0.69 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 986 0 0 0 69 0 0 0 25 0 4 0 522468468 291360768 2897 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284532

[startup+1.50111 s]
/proc/loadavg: 6.34 7.62 6.57 9/182 14017
/proc/meminfo: memFree=31262300/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=286000 CPUtime=5.97 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 9296 0 0 0 596 1 0 0 20 0 4 0 522468468 292864000 4798 33554432000 4194304 4627427 140735917951984 18446744073709551615 4305890 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 71500 4798 389 106 0 66471 0
[pid=14013/tid=14014] ppid=14011 vsize=286000 CPUtime=1.49 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 1878 0 0 0 149 0 0 0 19 0 4 0 522468468 292864000 4798 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=286000 CPUtime=1.49 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 1907 0 0 0 149 0 0 0 19 0 4 0 522468468 292864000 4798 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=286000 CPUtime=1.48 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 1802 0 0 0 148 0 0 0 25 0 4 0 522468468 292864000 4798 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286000

[startup+3.10083 s]
/proc/loadavg: 6.34 7.62 6.57 9/182 14017
/proc/meminfo: memFree=31224480/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=293984 CPUtime=12.37 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 19079 0 0 0 1234 3 0 0 25 0 4 0 522468468 301039616 10120 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 73496 10120 389 106 0 68467 0
[pid=14013/tid=14014] ppid=14011 vsize=293984 CPUtime=3.08 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 4345 0 0 0 308 0 0 0 25 0 4 0 522468468 301039616 10120 33554432000 4194304 4627427 140735917951984 18446744073709551615 4328909 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=293984 CPUtime=3.08 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 5169 0 0 0 308 0 0 0 25 0 4 0 522468468 301039616 10120 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=293984 CPUtime=3.07 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 4620 0 0 0 307 0 0 0 25 0 4 0 522468468 301039616 10120 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 293984

[startup+6.30028 s]
/proc/loadavg: 6.63 7.66 6.59 10/182 14017
/proc/meminfo: memFree=31182336/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=295064 CPUtime=25.15 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 30699 0 0 0 2510 5 0 0 25 0 4 0 522468468 302145536 13861 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 73766 13861 389 106 0 68737 0
[pid=14013/tid=14014] ppid=14011 vsize=295064 CPUtime=6.29 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 7788 0 0 0 628 1 0 0 25 0 4 0 522468468 302145536 13861 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308248 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=295064 CPUtime=6.29 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 8669 0 0 0 628 1 0 0 25 0 4 0 522468468 302145536 13861 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=295064 CPUtime=6.26 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 6765 0 0 0 625 1 0 0 25 0 4 0 522468468 302145536 13862 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 295064

[startup+12.7012 s]
/proc/loadavg: 6.82 7.68 6.60 10/182 14017
/proc/meminfo: memFree=31108696/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=304664 CPUtime=50.72 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 49000 0 0 0 5063 9 0 0 25 0 4 0 522468468 311975936 20264 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309247 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 76166 20264 389 106 0 71137 0
[pid=14013/tid=14014] ppid=14011 vsize=304664 CPUtime=12.69 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 11960 0 0 0 1267 2 0 0 25 0 4 0 522468468 311975936 20264 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=304664 CPUtime=12.68 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 12108 0 0 0 1267 1 0 0 25 0 4 0 522468468 311975936 20264 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=304664 CPUtime=12.63 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 11823 0 0 0 1261 2 0 0 25 0 4 0 522468468 311975936 20264 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 304664

[startup+25.501 s]
/proc/loadavg: 7.08 7.69 6.62 10/182 14017
/proc/meminfo: memFree=31053564/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=296044 CPUtime=101.85 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 73239 0 0 0 10169 16 0 0 25 0 4 0 522468468 303149056 27539 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 74011 27539 389 106 0 68982 0
[pid=14013/tid=14014] ppid=14011 vsize=296044 CPUtime=25.48 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 18569 0 0 0 2545 3 0 0 25 0 4 0 522468468 303149056 27539 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=296044 CPUtime=25.48 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 18451 0 0 0 2545 3 0 0 25 0 4 0 522468468 303149056 27539 33554432000 4194304 4627427 140735917951984 18446744073709551615 4352204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=296044 CPUtime=25.36 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 16502 0 0 0 2532 4 0 0 25 0 4 0 522468468 303149056 27539 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 296044

[startup+51.1006 s]
/proc/loadavg: 7.39 7.72 6.66 10/182 14018
/proc/meminfo: memFree=30983768/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=345740 CPUtime=204.05 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 104926 0 0 0 20380 25 0 0 25 0 4 0 522468468 354037760 35585 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 86435 35585 389 106 0 81406 0
[pid=14013/tid=14014] ppid=14011 vsize=345740 CPUtime=51.05 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 26086 0 0 0 5100 5 0 0 25 0 4 0 522468468 354037760 35585 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=345740 CPUtime=51.04 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 24951 0 0 0 5098 6 0 0 25 0 4 0 522468468 354037760 35585 33554432000 4194304 4627427 140735917951984 18446744073709551615 4328873 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=345740 CPUtime=50.83 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 25285 0 0 0 5078 5 0 0 25 0 4 0 522468468 354037760 35585 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 345740

[startup+102.307 s]
/proc/loadavg: 7.78 7.77 6.73 10/182 14019
/proc/meminfo: memFree=30935144/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=305648 CPUtime=408.59 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 144781 0 0 0 40817 42 0 0 25 0 4 0 522468468 312983552 41647 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 76412 41647 389 106 0 71383 0
[pid=14013/tid=14014] ppid=14011 vsize=305648 CPUtime=102.25 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 32756 0 0 0 10215 10 0 0 25 0 4 0 522468468 312983552 41647 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=305648 CPUtime=102.25 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 31377 0 0 0 10216 9 0 0 25 0 4 0 522468468 312983552 41647 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=305648 CPUtime=101.78 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 39761 0 0 0 10167 11 0 0 25 0 4 0 522468468 312983552 41647 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 305648

[startup+162.3 s]

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

[pid=14013] ppid=14011 vsize=653344 CPUtime=2805.29 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 410014 0 0 0 280365 164 0 0 25 0 4 0 522468468 669024256 117551 33554432000 4194304 4627427 140735917951984 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 163336 117551 389 106 0 158307 0
[pid=14013/tid=14014] ppid=14011 vsize=653344 CPUtime=702.15 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 100862 0 0 0 70175 40 0 0 25 0 4 0 522468468 669024256 117551 33554432000 4194304 4627427 140735917951984 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=653344 CPUtime=702.24 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 95926 0 0 0 70185 39 0 0 25 0 4 0 522468468 669024256 117551 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=653344 CPUtime=698.59 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 94502 0 0 0 69822 37 0 0 25 0 4 0 522468468 669024256 117551 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 653344

[startup+762.306 s]
/proc/loadavg: 8.00 8.01 7.39 10/182 14037
/proc/meminfo: memFree=30349788/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=653896 CPUtime=3044.98 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 424540 0 0 0 304325 173 0 0 25 0 4 0 522468468 669589504 113484 33554432000 4194304 4627427 140735917951984 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 163474 113484 389 106 0 158445 0
[pid=14013/tid=14014] ppid=14011 vsize=653896 CPUtime=762.16 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 107208 0 0 0 76171 45 0 0 25 0 4 0 522468468 669589504 113484 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=653896 CPUtime=762.24 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 102198 0 0 0 76182 42 0 0 25 0 4 0 522468468 669589504 113484 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=653896 CPUtime=758.26 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 94677 0 0 0 75789 37 0 0 25 0 4 0 522468468 669589504 113484 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.98
Current children cumulated vsize (KiB) 653896

[startup+822.301 s]
/proc/loadavg: 8.00 8.00 7.42 10/182 14038
/proc/meminfo: memFree=30318508/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=666716 CPUtime=3284.64 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 440597 0 0 0 328281 183 0 0 25 0 4 0 522468468 682717184 110977 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 166679 110977 389 106 0 161650 0
[pid=14013/tid=14014] ppid=14011 vsize=666716 CPUtime=822.15 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 113933 0 0 0 82166 49 0 0 25 0 4 0 522468468 682717184 110977 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=666716 CPUtime=822.24 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 106399 0 0 0 82180 44 0 0 25 0 4 0 522468468 682717184 110977 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=666716 CPUtime=817.94 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 94730 0 0 0 81757 37 0 0 25 0 4 0 522468468 682717184 110977 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.64
Current children cumulated vsize (KiB) 666716

[startup+882.3 s]
/proc/loadavg: 8.04 8.01 7.46 10/182 14040
/proc/meminfo: memFree=30255732/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=654556 CPUtime=3524.31 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 458624 0 0 0 352238 193 0 0 25 0 4 0 522468468 670265344 119208 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 163639 119208 389 106 0 158610 0
[pid=14013/tid=14014] ppid=14011 vsize=654556 CPUtime=882.14 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 120663 0 0 0 88161 53 0 0 25 0 4 0 522468468 670265344 119208 33554432000 4194304 4627427 140735917951984 18446744073709551615 4457661 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=654556 CPUtime=882.25 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 112852 0 0 0 88177 48 0 0 25 0 4 0 522468468 670265344 119208 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=654556 CPUtime=877.6 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 95125 0 0 0 87723 37 0 0 25 0 4 0 522468468 670265344 119208 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.31
Current children cumulated vsize (KiB) 654556

[startup+942.301 s]
/proc/loadavg: 8.06 8.02 7.50 10/182 14042
/proc/meminfo: memFree=30298100/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=667500 CPUtime=3763.99 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 476471 0 0 0 376197 202 0 0 25 0 4 0 522468468 683520000 116642 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 166875 116642 389 106 0 161846 0
[pid=14013/tid=14014] ppid=14011 vsize=667500 CPUtime=942.15 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 129406 0 0 0 94158 57 0 0 25 0 4 0 522468468 683520000 116642 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=667500 CPUtime=942.25 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 119364 0 0 0 94173 52 0 0 25 0 4 0 522468468 683520000 116642 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=667500 CPUtime=937.3 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 95827 0 0 0 93692 38 0 0 25 0 4 0 522468468 683520000 116642 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.99
Current children cumulated vsize (KiB) 667500

[startup+1002.3 s]
/proc/loadavg: 8.02 8.02 7.52 10/182 14043
/proc/meminfo: memFree=30296956/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=647232 CPUtime=4003.68 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 500633 0 0 0 400154 214 0 0 25 0 4 0 522468468 662765568 117283 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 161808 117283 389 106 0 156779 0
[pid=14013/tid=14014] ppid=14011 vsize=647232 CPUtime=1002.15 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 135631 0 0 0 100156 59 0 0 25 0 4 0 522468468 662765568 117283 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=647232 CPUtime=1002.24 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 126676 0 0 0 100169 55 0 0 25 0 4 0 522468468 662765568 117283 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=647232 CPUtime=996.97 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 100765 0 0 0 99658 39 0 0 25 0 4 0 522468468 662765568 117283 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 647232

[startup+1062.3 s]
/proc/loadavg: 8.09 8.04 7.56 10/182 14045
/proc/meminfo: memFree=30264424/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=647472 CPUtime=4243.35 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 521539 0 0 0 424110 225 0 0 25 0 4 0 522468468 663011328 114483 33554432000 4194304 4627427 140735917951984 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 161868 114483 389 106 0 156839 0
[pid=14013/tid=14014] ppid=14011 vsize=647472 CPUtime=1062.15 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 141985 0 0 0 106152 63 0 0 25 0 4 0 522468468 663011328 114483 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=647472 CPUtime=1062.25 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 133291 0 0 0 106166 59 0 0 25 0 4 0 522468468 663011328 114483 33554432000 4194304 4627427 140735917951984 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=647472 CPUtime=1056.65 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 105952 0 0 0 105623 42 0 0 25 0 4 0 522468468 663011328 114483 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.35
Current children cumulated vsize (KiB) 647472

[startup+1122.3 s]
/proc/loadavg: 8.10 8.06 7.60 9/182 14046
/proc/meminfo: memFree=30221100/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=716332 CPUtime=4483.03 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 547086 0 0 0 448069 234 0 0 25 0 4 0 522468468 733523968 123080 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 179083 123080 389 106 0 174054 0
[pid=14013/tid=14014] ppid=14011 vsize=716332 CPUtime=1122.15 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 150770 0 0 0 112149 66 0 0 25 0 4 0 522468468 733523968 123080 33554432000 4194304 4627427 140735917951984 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=716332 CPUtime=1122.25 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 138071 0 0 0 112163 62 0 0 25 0 4 0 522468468 733523968 123080 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=716332 CPUtime=1116.33 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 113735 0 0 0 111589 44 0 0 25 0 4 0 522468468 733523968 123080 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 716332

[startup+1182.3 s]
/proc/loadavg: 8.07 8.06 7.62 10/182 14048
/proc/meminfo: memFree=30211380/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=651176 CPUtime=4722.71 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 567041 0 0 0 472027 244 0 0 25 0 4 0 522468468 666804224 122635 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 162794 122635 389 106 0 157765 0
[pid=14013/tid=14014] ppid=14011 vsize=651176 CPUtime=1182.15 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 154416 0 0 0 118147 68 0 0 25 0 4 0 522468468 666804224 122635 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309134 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=651176 CPUtime=1182.25 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 144331 0 0 0 118160 65 0 0 25 0 4 0 522468468 666804224 122635 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=651176 CPUtime=1176.01 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 119810 0 0 0 117553 48 0 0 25 0 4 0 522468468 666804224 122635 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 651176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.07 7.64 9/182 14049
/proc/meminfo: memFree=30194380/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=703552 CPUtime=4800.22 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 574970 0 0 0 479774 248 0 0 25 0 4 0 522468468 720437248 122813 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 175888 122813 389 106 0 170859 0
[pid=14013/tid=14014] ppid=14011 vsize=703552 CPUtime=1201.55 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 155123 0 0 0 120087 68 0 0 25 0 4 0 522468468 720437248 122813 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=703552 CPUtime=1201.65 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 148266 0 0 0 120099 66 0 0 25 0 4 0 522468468 720437248 122813 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=703552 CPUtime=1195.3 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 120839 0 0 0 119482 48 0 0 25 0 4 0 522468468 720437248 122813 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 703552

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

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

[startup+1201.7 s]
/proc/loadavg: 8.11 8.07 7.64 9/182 14049
/proc/meminfo: memFree=30194380/32951132 swapFree=67111364/67111528
[pid=14013] ppid=14011 vsize=703552 CPUtime=4800.22 cores=1,3,5,7
/proc/14013/stat : 14013 (strangenight2-m) R 14011 14013 13971 0 -1 4202496 574970 0 0 0 479774 248 0 0 25 0 4 0 522468468 720437248 122813 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/14013/statm: 175888 122813 389 106 0 170859 0
[pid=14013/tid=14014] ppid=14011 vsize=703552 CPUtime=1201.55 cores=1,3,5,7
/proc/14013/task/14014/stat : 14014 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 155123 0 0 0 120087 68 0 0 25 0 4 0 522468468 720437248 122813 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14013/tid=14015] ppid=14011 vsize=703552 CPUtime=1201.65 cores=1,3,5,7
/proc/14013/task/14015/stat : 14015 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 148266 0 0 0 120099 66 0 0 25 0 4 0 522468468 720437248 122813 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14013/tid=14016] ppid=14011 vsize=703552 CPUtime=1195.3 cores=1,3,5,7
/proc/14013/task/14016/stat : 14016 (strangenight2-m) R 14011 14013 13971 0 -1 4202560 120839 0 0 0 119482 48 0 0 25 0 4 0 522468468 720437248 122813 33554432000 4194304 4627427 140735917951984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 703552

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.27
CPU user time (s): 4797.76
CPU system time (s): 2.50462
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 769968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.76
system time used= 2.50462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 574970
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= 280
involuntary context switches= 33563

runsolver used 1.77273 second user time and 4.63829 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 22:24:58
IDJOB=3174173
IDBENCH=82991
IDSOLVER=1586
FILE ID=node128/3174173-1304108698
RUNJOBID= node128-1304108698-13991
PBS_JOBID= 13170670
Free space on /tmp= 66968 MiB

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

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

MD5SUM BENCH= 2d7407b1b64ab354711b83851f166439
RANDOM SEED=1105032751

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:      31284304 kB
Buffers:        406412 kB
Cached:         776876 kB
SwapCached:          0 kB
Active:         136256 kB
Inactive:      1114280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31284304 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           11816 kB
Writeback:           0 kB
AnonPages:       67784 kB
Mapped:          16172 kB
Slab:           352000 kB
PageTables:       5028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   272824 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= 66964 MiB
End job on node128 at 2011-04-29 22:45:02