Trace number 3366405

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.13 1202.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf
MD5SUMf2d2b125797e776fb2e7099729714d99
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366405-1305403450.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
3.41/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.41/0.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.41/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.41/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.41/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
3.41/0.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.41/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
3.41/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.41/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.41/0.90	c calculated reachability. Time: 0.00
3.41/0.90	c Calc default polars -  time:   0.00 s pos:     249 undec:      54 neg:     247
3.41/0.90	c =========================================================================================
3.41/0.90	c types(t): F = full restart, N = normal restart
3.41/0.90	c types(t): S = simplification begin/end, E = solution found
3.41/0.90	c restart types(rt): st = static, dy = dynamic
3.41/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.41/0.90	c  B st     0         0       536      2330         0         0      7083         0   no data   no data
3.41/0.90	c Decided on static restart strategy
3.41/0.90	c  N st     8      4915       536      2330         0      4826      7083    109687   no data   no data
3.41/0.90	c  N st    10     11297       536      2330         0      4471      7083     75528   no data   no data
3.41/0.90	c  N st    11     17040       536      2330         0     10089      7083    201990   no data   no data
4.21/1.10	c  F st    12     25000       536      2330         0     12348      7083    255699   no data   no data
4.21/1.10	c  N st    12     25000       536      2330         0     12348      7083    255699   no data   no data
5.17/1.34	c Decided on static restart strategy
5.17/1.34	c  N st    18     30000       536      2330         0     10667      7083    201281   no data   no data
5.17/1.34	c  S st    18     30000       536      2330         0     10667      7083    201281   no data   no data
5.17/1.37	c  S st    18     30511       536      2330         0     11178      7083    212548   no data   no data
5.17/1.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.38	c blocked clauses removed:        5 vars:      1 tried:         536 T: 0.00 s
5.17/1.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
5.17/1.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.17/1.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.45	c lits-rem:       192  cl-subs:      658  v-elim:      0  v-fix:    0  time:  0.06 s
5.57/1.45	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.01
5.57/1.45	c calculated reachability. Time: 0.00
5.57/1.45	c  N st    18     30511       535      2325         0     10520      7068    195912   no data   no data
7.18/1.83	c  N st    20     37622       535      2325         0      9756      7068    161599   no data   no data
8.75/2.21	c  N st    21     44021       535      2325         0     16041      7068    315489   no data   no data
9.15/2.34	c  S st    22     45767       535      2325         0      9005      7068    127114   no data   no data
9.15/2.37	c  S st    22     46267       535      2325         0      9505      7068    138741   no data   no data
9.15/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.15/2.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.15/2.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.15/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
9.15/2.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.15/2.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.15/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.39	c lits-rem:         9  cl-subs:       46  v-elim:      0  v-fix:    0  time:  0.01 s
9.15/2.39	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
9.15/2.39	c vivif2 --  cl tried     9459 cl shrink        0 lits rem          0 time: 0.00
9.15/2.40	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.01
9.56/2.40	c calculated reachability. Time: 0.00
9.56/2.40	c  N st    22     46267       535      2325         0      9459      7068    137559   no data   no data
13.15/3.32	c  N st    23     60664       535      2325         0     13789      7068    228248   no data   no data
15.55/3.93	c  N st    24     69401       535      2325         0     11595      7068    166605   no data   no data
15.55/3.93	c  S st    24     69401       535      2325         0     11595      7068    166605   no data   no data
15.55/3.96	c  S st    24     69905       535      2325         0     12098      7068    178536   no data   no data
15.55/3.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
15.55/3.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.55/3.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.99	c lits-rem:        36  cl-subs:      138  v-elim:      0  v-fix:    0  time:  0.01 s
15.55/3.99	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
15.55/3.99	c vivif2 --  cl tried    11960 cl shrink        0 lits rem          0 time: 0.00
15.55/4.00	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.01
15.55/4.00	c calculated reachability. Time: 0.00
15.55/4.00	c  N st    24     69905       535      2325         0     11960      7068    175137   no data   no data
20.76/5.23	c  F st    25     87500       535      2325         0     17407      7068    298058   no data   no data
20.76/5.23	c  N st    25     87500       535      2325         0     17407      7068    298058   no data   no data
22.32/5.66	c Decided on static restart strategy
23.53/5.92	c  N st    32     95537       535      2325         0     25213      7068    473927   no data   no data
26.31/6.64	c  N st    34    104857       535      2325         0     21636      7068    368014   no data   no data
26.31/6.64	c  S st    34    104857       535      2325         0     21636      7068    368014   no data   no data
26.31/6.69	c  S st    34    105358       535      2325         0     22137      7068    379762   no data   no data
26.31/6.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.71/6.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.71/6.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.71/6.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.71/6.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.71/6.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
26.71/6.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.71/6.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.71/6.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.51/6.90	c lits-rem:       118  cl-subs:     1051  v-elim:      0  v-fix:    0  time:  0.18 s
27.51/6.90	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
27.51/6.90	c vivif2 --  cl tried    21086 cl shrink        0 lits rem          0 time: 0.00
27.51/6.91	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.01
27.51/6.91	c calculated reachability. Time: 0.00
27.51/6.91	c  N st    34    105358       535      2325         0     21086      7068    356374   no data   no data
30.70/7.73	c  N st    35    114957       535      2325         0     16823      7068    247780   no data   no data
35.49/8.91	c  N st    36    129354       535      2325         0     16196      7068    213375   no data   no data
42.29/10.70	c  N st    37    150949       535      2325         0     21654      7068    337556   no data   no data
45.07/11.38	c  S st    38    158038       535      2325         0     28552      7068    502777   no data   no data
45.47/11.46	c  S st    38    158542       535      2325         0     29056      7068    514488   no data   no data
45.47/11.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.47/11.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.47/11.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.47/11.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.47/11.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.47/11.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
45.47/11.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.47/11.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.47/11.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.45/11.97	c lits-rem:       197  cl-subs:     1896  v-elim:      0  v-fix:    0  time:  0.48 s
47.45/11.97	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
47.45/11.97	c vivif2 --  cl tried    27160 cl shrink        0 lits rem          0 time: 0.01
47.45/11.99	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.02
47.45/11.99	c calculated reachability. Time: 0.00
47.45/11.99	c  N st    38    158542       535      2325         0     27160      7068    467775   no data   no data
66.61/16.76	c  N st    39    207130       535      2325         0     22034      7068    313608   no data   no data
79.78/20.00	c  N st    40    237813       535      2325         0     32436      7068    551223   no data   no data
79.78/20.00	c  S st    40    237813       535      2325         0     32436      7068    551223   no data   no data
79.78/20.08	c  S st    40    238316       535      2325         0     32939      7068    563317   no data   no data
79.78/20.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.78/20.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.19/20.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.19/20.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.19/20.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.19/20.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
80.19/20.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
80.19/20.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.19/20.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.80/20.56	c lits-rem:       360  cl-subs:     1458  v-elim:      0  v-fix:    0  time:  0.44 s
81.80/20.56	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
81.80/20.57	c vivif2 --  cl tried    31481 cl shrink        0 lits rem          0 time: 0.01
81.80/20.59	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.02
81.80/20.59	c calculated reachability. Time: 0.00
81.80/20.59	c  N st    40    238316       535      2325         0     31481      7068    529565   no data   no data
112.95/28.36	c  F st    41    306251       535      2325         0     33116      7068    509848   no data   no data
112.95/28.36	c  N st    41    306251       535      2325         0     33116      7068    509848   no data   no data
115.30/28.95	c Decided on static restart strategy
127.28/31.91	c  N st    51    334554       535      2325         0     37381      7068    579830   no data   no data
139.64/35.09	c  N st    53    357475       535      2325         0     35451      7068    538117   no data   no data
139.64/35.09	c  S st    53    357475       535      2325         0     35451      7068    538117   no data   no data
140.04/35.19	c  S st    53    357976       535      2325         0     35952      7068    549566   no data   no data
140.04/35.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.45/35.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
140.45/35.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.45/35.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.45/35.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.45/35.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
140.45/35.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
140.45/35.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.45/35.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.05/35.60	c lits-rem:       126  cl-subs:     1508  v-elim:      0  v-fix:    0  time:  0.38 s
142.05/35.60	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
142.05/35.61	c vivif2 --  cl tried    34444 cl shrink        0 lits rem          0 time: 0.01
142.05/35.64	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.02
142.05/35.64	c calculated reachability. Time: 0.00
142.05/35.64	c  N st    53    357976       535      2325         0     34444      7068    515975   no data   no data
160.01/40.19	c  N st    54    390369       535      2325         0     40673      7068    664909   no data   no data
187.15/46.92	c  N st    55    438957       535      2325         0     34689      7068    479818   no data   no data
228.65/57.32	c  N st    56    511843       535      2325         0     47958      7068    757999   no data   no data
242.61/60.87	c  N st    57    536967       535      2325         0     42286      7068    595924   no data   no data
242.61/60.87	c  S st    57    536967       535      2325         0     42286      7068    595924   no data   no data
243.01/60.99	c  S st    57    537471       535      2325         0     42790      7068    608040   no data   no data
243.01/60.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.41/61.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
243.41/61.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.41/61.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.41/61.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.41/61.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
243.41/61.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
243.41/61.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.41/61.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.40/61.53	c lits-rem:       208  cl-subs:     1640  v-elim:      0  v-fix:    0  time:  0.50 s
245.40/61.53	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
245.40/61.54	c vivif2 --  cl tried    41150 cl shrink        0 lits rem          0 time: 0.01
245.40/61.57	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.03
245.40/61.57	c calculated reachability. Time: 0.00
245.40/61.57	c  N st    57    537471       535      2325         0     41150      7068    572261   no data   no data
353.97/88.74	c  N st    58    701455       535      2325         0     35266      7068    359957   no data   no data
424.99/106.52	c  N st    59    806207       535      2325         0     64132      7068   1044997   no data   no data
424.99/106.52	c  S st    59    806207       535      2325         0     64132      7068   1044997   no data   no data
425.79/106.71	c  S st    59    806712       535      2325         0     64636      7068   1057393   no data   no data
425.79/106.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
425.79/106.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
425.79/106.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
425.79/106.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
425.79/106.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
425.79/106.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
425.79/106.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
425.79/106.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
425.79/106.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
436.96/109.59	c lits-rem:       491  cl-subs:     4599  v-elim:      0  v-fix:    0  time:  2.79 s
436.96/109.59	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
436.96/109.60	c vivif2 --  cl tried    60037 cl shrink        0 lits rem          0 time: 0.01
437.37/109.66	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.05
437.37/109.66	c calculated reachability. Time: 0.00
437.37/109.66	c  N st    59    806712       535      2325         0     60037      7068    950554   no data   no data
642.90/161.10	c  F st    60   1071875       535      2325         0     75641      7068   1179297   no data   no data
642.90/161.10	c  N st    60   1071875       535      2325         0     75641      7068   1179297   no data   no data
648.09/162.42	c Decided on static restart strategy
666.07/166.95	c  N st    70   1100178       535      2325         0     59592      7068    814574   no data   no data
696.38/174.54	c  N st    72   1136171       535      2325         0     50087      7068    581849   no data   no data
724.70/181.66	c  N st    73   1168563       535      2325         0     81636      7068   1358204   no data   no data
764.60/191.62	c  N st    74   1210068       535      2325         0     76167      7068   1200566   no data   no data
764.60/191.62	c  S st    74   1210068       535      2325         0     76167      7068   1200566   no data   no data
766.21/192.03	c  S st    74   1210569       535      2325         0     76668      7068   1212879   no data   no data
766.21/192.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
766.21/192.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.06
766.21/192.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
766.21/192.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
766.21/192.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
766.21/192.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
766.21/192.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
766.62/192.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
766.62/192.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
802.50/201.16	c lits-rem:       815  cl-subs:     5402  v-elim:      0  v-fix:    0  time:  8.98 s
802.50/201.16	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
802.50/201.18	c vivif2 --  cl tried    71266 cl shrink        0 lits rem          0 time: 0.02
802.90/201.27	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.10
802.90/201.27	c calculated reachability. Time: 0.00
802.90/201.27	c  N st    74   1210569       535      2325         0     71266      7068   1090014   no data   no data
871.97/218.61	c  N st    75   1283452       535      2325         0     47921      7068    466550   no data   no data
965.73/242.02	c  N st    76   1392776       535      2325         0     56041      7068    651022   no data   no data
1126.57/282.32	c  N st    77   1556761       535      2325         0     60587      7068    678377   no data   no data
1287.79/322.73	c  N st    78   1710569       535      2325         0    102092      7068   1646679   no data   no data
1287.79/322.73	c  S st    78   1710569       535      2325         0    102092      7068   1646679   no data   no data
1289.01/323.10	c  S st    78   1711076       535      2325         0    102599      7068   1659344   no data   no data
1289.01/323.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1289.43/323.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1289.43/323.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1289.43/323.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1289.43/323.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1289.43/323.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
1289.43/323.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1289.43/323.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1289.79/323.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1334.88/334.51	c lits-rem:      1062  cl-subs:     9136  v-elim:      0  v-fix:    0  time: 11.28 s
1334.88/334.51	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
1334.88/334.54	c vivif2 --  cl tried    93463 cl shrink        0 lits rem          0 time: 0.03
1335.28/334.64	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.10
1335.28/334.64	c calculated reachability. Time: 0.00
1335.28/334.64	c  N st    78   1711076       535      2325         0     93463      7068   1461845   no data   no data
1725.57/432.44	c  N st    79   2080041       535      2325         0    105477      7068   1679085   no data   no data
1887.60/473.06	c  N st    80   2211076       535      2325         0    109433      7068   1719563   no data   no data
1887.60/473.06	c  S st    80   2211076       535      2325         0    109433      7068   1719563   no data   no data
1889.20/473.40	c  S st    80   2211578       535      2325         0    109934      7068   1732039   no data   no data
1889.20/473.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1889.20/473.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1889.20/473.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1889.20/473.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1889.20/473.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1889.20/473.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
1889.20/473.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1889.20/473.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1889.60/473.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1929.91/483.67	c lits-rem:      1050  cl-subs:     7405  v-elim:      0  v-fix:    0  time: 10.13 s
1929.91/483.67	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
1929.91/483.69	c vivif2 --  cl tried   102529 cl shrink        0 lits rem          0 time: 0.02
1930.69/483.81	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.11
1930.69/483.81	c calculated reachability. Time: 0.00
1930.69/483.81	c  N st    80   2211578       535      2325         0    102529      7068   1572425   no data   no data
2541.69/636.92	c  N st    81   2711578       535      2325         0    125459      7068   2007605   no data   no data
2541.69/636.92	c  S st    81   2711578       535      2325         0    125459      7068   2007605   no data   no data
2543.69/637.42	c  S st    81   2712082       535      2325         0    125962      7068   2020601   no data   no data
2543.69/637.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2543.69/637.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2543.69/637.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2543.69/637.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2543.69/637.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2543.69/637.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
2543.69/637.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2544.09/637.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2544.09/637.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2627.89/658.57	c lits-rem:      1438  cl-subs:    13823  v-elim:      0  v-fix:    0  time: 20.99 s
2627.89/658.58	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
2627.89/658.60	c vivif2 --  cl tried   112139 cl shrink        0 lits rem          0 time: 0.03
2628.67/658.73	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.13
2628.67/658.73	c calculated reachability. Time: 0.00
2628.67/658.73	c  N st    81   2712082       535      2325         0    112139      7068   1726374   no data   no data
3283.97/822.93	c  N st    82   3212082       535      2325         0     88635      7068   1026050   no data   no data
3283.97/822.93	c  S st    82   3212082       535      2325         0     88635      7068   1026050   no data   no data
3285.17/823.21	c  S st    82   3212583       535      2325         0     89136      7068   1038155   no data   no data
3285.17/823.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3285.17/823.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3285.17/823.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3285.17/823.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3285.17/823.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3285.17/823.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
3285.17/823.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3285.17/823.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3285.57/823.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3289.95/824.47	c lits-rem:        85  cl-subs:     2489  v-elim:      0  v-fix:    0  time:  1.16 s
3289.95/824.47	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
3289.95/824.49	c vivif2 --  cl tried    86647 cl shrink        0 lits rem          0 time: 0.02
3290.35/824.58	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.09
3290.35/824.58	c calculated reachability. Time: 0.00
3290.35/824.58	c  N st    82   3212583       535      2325         0     86647      7068    984524   no data   no data
3979.18/997.12	c  N st    83   3712586       535      2325         0     97501      7068   1181596   no data   no data
3979.18/997.12	c  S st    83   3712586       535      2325         0     97501      7068   1181596   no data   no data
3980.41/997.42	c  S st    83   3713088       535      2325         0     98003      7068   1194211   no data   no data
3980.41/997.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3980.41/997.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3980.41/997.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3980.41/997.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3980.41/997.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3980.41/997.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
3980.41/997.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3980.76/997.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3980.76/997.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3986.35/998.98	c lits-rem:       383  cl-subs:     2664  v-elim:      0  v-fix:    0  time:  1.45 s
3986.35/998.98	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
3986.75/999.00	c vivif2 --  cl tried    95339 cl shrink        0 lits rem          0 time: 0.02
3987.15/999.10	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.10
3987.15/999.11	c calculated reachability. Time: 0.00
3987.15/999.11	c  N st    83   3713088       535      2325         0     95339      7068   1136159   no data   no data
4039.43/1012.23	c  F st    84   3751563       535      2325         0    132701      7068   2113472   no data   no data
4039.43/1012.23	c  N st    84   3751563       535      2325         0    132701      7068   2113472   no data   no data
4049.41/1014.70	c Decided on static restart strategy
4090.51/1025.09	c  N st    94   3779869       535      2325         0    160383      7068   2785518   no data   no data
4134.41/1036.06	c  N st    96   3815862       535      2325         0    112968      7068   1495158   no data   no data
4184.29/1048.52	c  N st    97   3848254       535      2325         0    144494      7068   2289507   no data   no data
4259.73/1067.43	c  N st    98   3896842       535      2325         0    108084      7068   1384163   no data   no data
4363.88/1093.50	c  N st    99   3969725       535      2325         0     94301      7068   1032130   no data   no data
4514.33/1131.25	c  N st   100   4079048       535      2325         0    115295      7068   1558280   no data   no data
4742.97/1188.50	c  N st   101   4213090       535      2325         0    158519      7068   2485413   no data   no data
4742.97/1188.50	c  S st   101   4213090       535      2325         0    158519      7068   2485413   no data   no data
4744.96/1189.09	c  S st   101   4213592       535      2325         0    159019      7068   2497264   no data   no data
4745.37/1189.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4745.37/1189.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4745.37/1189.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4745.37/1189.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4745.37/1189.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4745.37/1189.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
4745.37/1189.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4745.77/1189.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4746.17/1189.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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-3366405-1305403450/watcher-3366405-1305403450 -o /tmp/evaluation-result-3366405-1305403450/solver-3366405-1305403450 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366405-1305403450.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.49 5.30 6.82 2/291 2171
/proc/meminfo: memFree=13132924/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=40924 CPUtime=0 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 406 0 0 0 0 0 0 0 22 0 3 0 651944698 41906176 346 33554432000 4194304 4580107 140733313242624 18446744073709551615 208080288753 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2171/statm: 10231 346 299 95 0 5213 0
[pid=2171/tid=2173] ppid=2168 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651944698 52396032 347 33554432000 4194304 4580107 140733313242624 18446744073709551615 47478630356912 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651944698 52396032 347 33554432000 4194304 4580107 140733313242624 18446744073709551615 47478630356904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651944698 52396032 347 33554432000 4194304 4580107 140733313242624 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.167293 s]
/proc/loadavg: 3.49 5.30 6.82 2/291 2171
/proc/meminfo: memFree=13132924/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=285172 CPUtime=3.41 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 5249 0 0 0 341 0 0 0 19 0 4 0 651944698 292016128 2592 33554432000 4194304 4580107 140733313242624 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 71293 2592 377 95 0 66275 0
[pid=2171/tid=2173] ppid=2168 vsize=285172 CPUtime=0.85 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1230 0 0 0 85 0 0 0 25 0 4 0 651944698 292016128 2592 33554432000 4194304 4580107 140733313242624 18446744073709551615 4306299 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=285172 CPUtime=0.85 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1246 0 0 0 85 0 0 0 18 0 4 0 651944698 292016128 2592 33554432000 4194304 4580107 140733313242624 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=285172 CPUtime=0.84 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1175 0 0 0 84 0 0 0 19 0 4 0 651944698 292016128 2592 33554432000 4194304 4580107 140733313242624 18446744073709551615 4295908 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 285172

[startup+0.963623 s]
/proc/loadavg: 3.49 5.30 6.82 2/291 2171
/proc/meminfo: memFree=13132924/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=285172 CPUtime=3.81 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 5516 0 0 0 381 0 0 0 19 0 4 0 651944698 292016128 2859 33554432000 4194304 4580107 140733313242624 18446744073709551615 4321809 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 71293 2859 377 95 0 66275 0
[pid=2171/tid=2173] ppid=2168 vsize=285172 CPUtime=0.95 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1301 0 0 0 95 0 0 0 25 0 4 0 651944698 292016128 2859 33554432000 4194304 4580107 140733313242624 18446744073709551615 4295731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=285172 CPUtime=0.95 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1307 0 0 0 95 0 0 0 19 0 4 0 651944698 292016128 2859 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=285172 CPUtime=0.94 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1242 0 0 0 94 0 0 0 19 0 4 0 651944698 292016128 2859 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 285172

[startup+1.06361 s]
/proc/loadavg: 3.49 5.30 6.82 2/291 2171
/proc/meminfo: memFree=13132924/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=285348 CPUtime=4.21 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 5720 0 0 0 421 0 0 0 19 0 4 0 651944698 292196352 3063 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 71337 3063 377 95 0 66319 0
[pid=2171/tid=2173] ppid=2168 vsize=285348 CPUtime=1.05 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1349 0 0 0 105 0 0 0 25 0 4 0 651944698 292196352 3063 33554432000 4194304 4580107 140733313242624 18446744073709551615 4321769 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=285348 CPUtime=1.05 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1350 0 0 0 105 0 0 0 19 0 4 0 651944698 292196352 3063 33554432000 4194304 4580107 140733313242624 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=285348 CPUtime=1.04 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1308 0 0 0 104 0 0 0 19 0 4 0 651944698 292196352 3063 33554432000 4194304 4580107 140733313242624 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 285348

[startup+1.16359 s]
/proc/loadavg: 3.49 5.30 6.82 2/291 2171
/proc/meminfo: memFree=13132924/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=285516 CPUtime=4.62 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 6040 0 0 0 461 1 0 0 19 0 4 0 651944698 292368384 3383 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 71379 3383 378 95 0 66361 0
[pid=2171/tid=2173] ppid=2168 vsize=285516 CPUtime=1.15 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1427 0 0 0 115 0 0 0 25 0 4 0 651944698 292368384 3383 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=285516 CPUtime=1.15 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1435 0 0 0 115 0 0 0 19 0 4 0 651944698 292368384 3383 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=285516 CPUtime=1.14 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1382 0 0 0 114 0 0 0 19 0 4 0 651944698 292368384 3383 33554432000 4194304 4580107 140733313242624 18446744073709551615 4321304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 285516

[startup+1.50052 s]
/proc/loadavg: 3.49 5.30 6.82 2/291 2171
/proc/meminfo: memFree=13132924/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=285820 CPUtime=5.96 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 8653 0 0 0 595 1 0 0 20 0 4 0 651944698 292679680 4562 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 71455 4562 379 95 0 66437 0
[pid=2171/tid=2173] ppid=2168 vsize=285820 CPUtime=1.49 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1742 0 0 0 149 0 0 0 25 0 4 0 651944698 292679680 4562 33554432000 4194304 4580107 140733313242624 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=285820 CPUtime=1.48 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1759 0 0 0 148 0 0 0 20 0 4 0 651944698 292679680 4562 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=285820 CPUtime=1.48 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 1713 0 0 0 148 0 0 0 20 0 4 0 651944698 292679680 4562 33554432000 4194304 4580107 140733313242624 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285820

[startup+3.10022 s]
/proc/loadavg: 3.49 5.30 6.82 9/302 2186
/proc/meminfo: memFree=13051632/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=293436 CPUtime=12.35 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 17375 0 0 0 1232 3 0 0 25 0 4 0 651944698 300478464 9331 33554432000 4194304 4580107 140733313242624 18446744073709551615 4304946 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 73359 9331 379 95 0 68341 0
[pid=2171/tid=2173] ppid=2168 vsize=293436 CPUtime=3.08 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 3927 0 0 0 308 0 0 0 25 0 4 0 651944698 300478464 9331 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294818 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=293436 CPUtime=3.09 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 4561 0 0 0 308 1 0 0 25 0 4 0 651944698 300478464 9331 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=293436 CPUtime=3.06 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 4380 0 0 0 306 0 0 0 25 0 4 0 651944698 300478464 9331 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 293436

[startup+6.31061 s]
/proc/loadavg: 3.85 5.35 6.83 9/302 2186
/proc/meminfo: memFree=13026808/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=294404 CPUtime=25.15 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 27791 0 0 0 2511 4 0 0 25 0 4 0 651944698 301469696 12424 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 73601 12424 379 95 0 68583 0
[pid=2171/tid=2173] ppid=2168 vsize=294404 CPUtime=6.3 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 6976 0 0 0 629 1 0 0 25 0 4 0 651944698 301469696 12424 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=294404 CPUtime=6.29 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 7726 0 0 0 628 1 0 0 25 0 4 0 651944698 301469696 12424 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=294404 CPUtime=6.24 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 6381 0 0 0 624 0 0 0 25 0 4 0 651944698 301469696 12424 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 294404

[startup+12.7004 s]
/proc/loadavg: 4.18 5.39 6.84 9/302 2186
/proc/meminfo: memFree=12984060/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=303484 CPUtime=50.66 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 46284 0 0 0 5059 7 0 0 25 0 4 0 651944698 310767616 17805 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 75871 17805 379 95 0 70853 0
[pid=2171/tid=2173] ppid=2168 vsize=303484 CPUtime=12.68 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 11630 0 0 0 1267 1 0 0 25 0 4 0 651944698 310767616 17805 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=303484 CPUtime=12.68 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 11245 0 0 0 1266 2 0 0 25 0 4 0 651944698 310767616 17805 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=303484 CPUtime=12.57 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 11102 0 0 0 1257 0 0 0 25 0 4 0 651944698 310767616 17805 33554432000 4194304 4580107 140733313242624 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 303484

[startup+25.501 s]
/proc/loadavg: 5.03 5.52 6.85 9/302 2186
/proc/meminfo: memFree=12947980/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=304516 CPUtime=101.74 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 70820 0 0 0 10163 11 0 0 25 0 4 0 651944698 311824384 23791 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 76129 23791 379 95 0 71111 0
[pid=2171/tid=2173] ppid=2168 vsize=304516 CPUtime=25.48 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 18747 0 0 0 2546 2 0 0 25 0 4 0 651944698 311824384 23791 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=304516 CPUtime=25.47 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 17642 0 0 0 2544 3 0 0 25 0 4 0 651944698 311824384 23791 33554432000 4194304 4580107 140733313242624 18446744073709551615 4320891 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=304516 CPUtime=25.25 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 15744 0 0 0 2524 1 0 0 25 0 4 0 651944698 311824384 23791 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 304516

[startup+51.1011 s]
/proc/loadavg: 6.11 5.73 6.89 9/302 2187
/proc/meminfo: memFree=12891240/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=309148 CPUtime=203.91 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 107572 0 0 0 20370 21 0 0 25 0 4 0 651944698 316567552 29856 33554432000 4194304 4580107 140733313242624 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 77287 29856 379 95 0 72269 0
[pid=2171/tid=2173] ppid=2168 vsize=309148 CPUtime=51.08 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 29138 0 0 0 5104 4 0 0 25 0 4 0 651944698 316567552 29856 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=309148 CPUtime=51.07 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 27034 0 0 0 5101 6 0 0 25 0 4 0 651944698 316567552 29856 33554432000 4194304 4580107 140733313242624 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=309148 CPUtime=50.63 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 24147 0 0 0 5059 4 0 0 25 0 4 0 651944698 316567552 29856 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 309148

[startup+102.3 s]
/proc/loadavg: 7.25 6.10 6.95 9/302 2188
/proc/meminfo: memFree=12831572/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=324124 CPUtime=408.22 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 165460 0 0 0 40783 39 0 0 25 0 4 0 651944698 331902976 36960 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 81031 36960 379 95 0 76013 0
[pid=2171/tid=2173] ppid=2168 vsize=324124 CPUtime=102.29 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 44326 0 0 0 10220 9 0 0 25 0 4 0 651944698 331902976 36960 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=324124 CPUtime=102.25 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 40123 0 0 0 10215 10 0 0 25 0 4 0 651944698 331902976 36960 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=324124 CPUtime=101.35 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 39492 0 0 0 10127 8 0 0 25 0 4 0 651944698 331902976 36960 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.22
Current children cumulated vsize (KiB) 324124

[startup+162.301 s]

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

[pid=2171] ppid=2168 vsize=573856 CPUtime=2563.23 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 484519 0 0 0 256171 152 0 0 25 0 4 0 651944698 587628544 92380 33554432000 4194304 4580107 140733313242624 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 143464 92380 379 95 0 138446 0
[pid=2171/tid=2173] ppid=2168 vsize=573856 CPUtime=642.31 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 128608 0 0 0 64192 39 0 0 25 0 4 0 651944698 587628544 92380 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=573856 CPUtime=642.19 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 128917 0 0 0 64177 42 0 0 25 0 4 0 651944698 587628544 92380 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=573856 CPUtime=636.41 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 104965 0 0 0 63612 29 0 0 25 0 4 0 651944698 587628544 92380 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2563.23
Current children cumulated vsize (KiB) 573856

[startup+702.301 s]
/proc/loadavg: 8.15 7.86 7.49 9/302 2204
/proc/meminfo: memFree=12373344/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=561768 CPUtime=2802.69 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 508378 0 0 0 280107 162 0 0 25 0 4 0 651944698 575250432 86783 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 140442 86783 379 95 0 135424 0
[pid=2171/tid=2173] ppid=2168 vsize=561768 CPUtime=702.31 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 136258 0 0 0 70189 42 0 0 25 0 4 0 651944698 575250432 86783 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=561768 CPUtime=702.19 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 132890 0 0 0 70174 45 0 0 25 0 4 0 651944698 575250432 86783 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=561768 CPUtime=695.87 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 111924 0 0 0 69555 32 0 0 25 0 4 0 651944698 575250432 86783 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.69
Current children cumulated vsize (KiB) 561768

[startup+762.301 s]
/proc/loadavg: 8.11 7.89 7.53 9/302 2206
/proc/meminfo: memFree=12389580/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=615364 CPUtime=3042.13 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 533723 0 0 0 304040 173 0 0 25 0 4 0 651944698 630132736 91899 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 153841 91899 379 95 0 148823 0
[pid=2171/tid=2173] ppid=2168 vsize=615364 CPUtime=762.31 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 141355 0 0 0 76187 44 0 0 25 0 4 0 651944698 630132736 91899 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=615364 CPUtime=762.18 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 141185 0 0 0 76171 47 0 0 25 0 4 0 651944698 630132736 91899 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=615364 CPUtime=755.32 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 116312 0 0 0 75497 35 0 0 25 0 4 0 651944698 630132736 91899 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.13
Current children cumulated vsize (KiB) 615364

[startup+822.301 s]
/proc/loadavg: 8.09 7.93 7.56 9/302 2207
/proc/meminfo: memFree=12297920/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=628112 CPUtime=3281.57 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 555809 0 0 0 327974 183 0 0 25 0 4 0 651944698 643186688 106721 33554432000 4194304 4580107 140733313242624 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 157028 106721 379 95 0 152010 0
[pid=2171/tid=2173] ppid=2168 vsize=628112 CPUtime=822.31 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 145149 0 0 0 82185 46 0 0 25 0 4 0 651944698 643186688 106721 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=628112 CPUtime=822.16 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 149534 0 0 0 82165 51 0 0 25 0 4 0 651944698 643186688 106721 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=628112 CPUtime=814.78 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 120118 0 0 0 81442 36 0 0 25 0 4 0 651944698 643186688 106721 33554432000 4194304 4580107 140733313242624 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.57
Current children cumulated vsize (KiB) 628112

[startup+882.301 s]
/proc/loadavg: 8.07 7.95 7.59 9/302 2209
/proc/meminfo: memFree=12299024/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=640924 CPUtime=3521.02 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 579359 0 0 0 351908 194 0 0 25 0 4 0 651944698 656306176 113873 33554432000 4194304 4580107 140733313242624 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 160231 113873 379 95 0 155213 0
[pid=2171/tid=2173] ppid=2168 vsize=640924 CPUtime=882.32 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 149938 0 0 0 88183 49 0 0 25 0 4 0 651944698 656306176 113873 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294701 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=640924 CPUtime=882.16 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 156821 0 0 0 88162 54 0 0 25 0 4 0 651944698 656306176 113873 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=640924 CPUtime=874.22 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 124076 0 0 0 87384 38 0 0 25 0 4 0 651944698 656306176 113873 33554432000 4194304 4580107 140733313242624 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.02
Current children cumulated vsize (KiB) 640924

[startup+942.3 s]
/proc/loadavg: 8.11 7.97 7.62 9/302 2211
/proc/meminfo: memFree=12281032/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=641068 CPUtime=3760.49 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 593205 0 0 0 375849 200 0 0 25 0 4 0 651944698 656453632 111271 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 160267 111271 379 95 0 155249 0
[pid=2171/tid=2173] ppid=2168 vsize=641068 CPUtime=942.33 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 151810 0 0 0 94183 50 0 0 25 0 4 0 651944698 656453632 111273 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=641068 CPUtime=942.16 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 161752 0 0 0 94161 55 0 0 25 0 4 0 651944698 656453632 111273 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=641068 CPUtime=933.69 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 124083 0 0 0 93331 38 0 0 25 0 4 0 651944698 656453632 111273 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.49
Current children cumulated vsize (KiB) 641068

[startup+1002.3 s]
/proc/loadavg: 8.11 7.99 7.64 9/302 2212
/proc/meminfo: memFree=12268252/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=641120 CPUtime=3999.92 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 607041 0 0 0 399784 208 0 0 25 0 4 0 651944698 656506880 114863 33554432000 4194304 4580107 140733313242624 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 160280 114863 379 95 0 155262 0
[pid=2171/tid=2173] ppid=2168 vsize=641120 CPUtime=1002.32 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 154717 0 0 0 100180 52 0 0 25 0 4 0 651944698 656506880 114863 33554432000 4194304 4580107 140733313242624 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=641120 CPUtime=1002.14 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 166400 0 0 0 100156 58 0 0 25 0 4 0 651944698 656506880 114863 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=641120 CPUtime=993.13 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 124228 0 0 0 99275 38 0 0 25 0 4 0 651944698 656506880 114863 33554432000 4194304 4580107 140733313242624 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.92
Current children cumulated vsize (KiB) 641120

[startup+1062.31 s]
/proc/loadavg: 8.11 8.01 7.67 9/302 2214
/proc/meminfo: memFree=12229296/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=723292 CPUtime=4239.41 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 629678 0 0 0 423723 218 0 0 25 0 4 0 651944698 740651008 117120 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 180823 117120 379 95 0 175805 0
[pid=2171/tid=2173] ppid=2168 vsize=723292 CPUtime=1062.33 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 161731 0 0 0 106178 55 0 0 25 0 4 0 651944698 740651008 117120 33554432000 4194304 4580107 140733313242624 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=723292 CPUtime=1062.15 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 172544 0 0 0 106154 61 0 0 25 0 4 0 651944698 740651008 117120 33554432000 4194304 4580107 140733313242624 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=723292 CPUtime=1052.6 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 127505 0 0 0 105220 40 0 0 25 0 4 0 651944698 740651008 117120 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.41
Current children cumulated vsize (KiB) 723292

[startup+1122.3 s]
/proc/loadavg: 8.14 8.03 7.69 9/302 2215
/proc/meminfo: memFree=12216512/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=650912 CPUtime=4478.8 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 649286 0 0 0 447651 229 0 0 25 0 4 0 651944698 666533888 112896 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 162728 112897 379 95 0 157710 0
[pid=2171/tid=2173] ppid=2168 vsize=650912 CPUtime=1122.33 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 168752 0 0 0 112174 59 0 0 25 0 4 0 651944698 666533888 112897 33554432000 4194304 4580107 140733313242624 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=650912 CPUtime=1122.13 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 178434 0 0 0 112149 64 0 0 25 0 4 0 651944698 666533888 112897 33554432000 4194304 4580107 140733313242624 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=650912 CPUtime=1112.03 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 128648 0 0 0 111163 40 0 0 25 0 4 0 651944698 666533888 112897 33554432000 4194304 4580107 140733313242624 18446744073709551615 4293704 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.8
Current children cumulated vsize (KiB) 650912

[startup+1182.3 s]
/proc/loadavg: 8.05 8.02 7.71 9/302 2217
/proc/meminfo: memFree=12163528/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=731152 CPUtime=4718.23 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 672578 0 0 0 471585 238 0 0 25 0 4 0 651944698 748699648 124188 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 182788 124188 379 95 0 177770 0
[pid=2171/tid=2173] ppid=2168 vsize=731152 CPUtime=1182.32 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 175079 0 0 0 118171 61 0 0 25 0 4 0 651944698 748699648 124188 33554432000 4194304 4580107 140733313242624 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=731152 CPUtime=1182.12 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 184444 0 0 0 118146 66 0 0 25 0 4 0 651944698 748699648 124188 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=731152 CPUtime=1171.46 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 133713 0 0 0 117104 42 0 0 25 0 4 0 651944698 748699648 124188 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.23
Current children cumulated vsize (KiB) 731152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.03 8.02 7.72 9/302 2218
/proc/meminfo: memFree=12169108/32950928 swapFree=67083212/67111528
[pid=2171] ppid=2168 vsize=585424 CPUtime=4800.05 cores=0,2,4,6
/proc/2171/stat : 2171 (strangenight2-m) R 2168 2171 1603 0 -1 4202496 679663 0 0 0 479764 241 0 0 25 0 4 0 651944698 599474176 117482 33554432000 4194304 4580107 140733313242624 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2171/statm: 146356 117482 379 95 0 141338 0
[pid=2171/tid=2173] ppid=2168 vsize=585424 CPUtime=1202.84 cores=0,2,4,6
/proc/2171/task/2173/stat : 2173 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 176573 0 0 0 120222 62 0 0 25 0 4 0 651944698 599474176 117484 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2171/tid=2174] ppid=2168 vsize=585424 CPUtime=1202.63 cores=0,2,4,6
/proc/2171/task/2174/stat : 2174 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 186734 0 0 0 120196 67 0 0 25 0 4 0 651944698 599474176 117484 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2171/tid=2176] ppid=2168 vsize=585424 CPUtime=1191.77 cores=0,2,4,6
/proc/2171/task/2176/stat : 2176 (strangenight2-m) R 2168 2171 1603 0 -1 4202560 133751 0 0 0 119134 43 0 0 25 0 4 0 651944698 599474176 117484 33554432000 4194304 4580107 140733313242624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 585424

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.13
CPU user time (s): 4797.69
CPU system time (s): 2.43663
CPU usage (%): 399.066
Max. virtual memory (cumulated for all children) (KiB): 775848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.69
system time used= 2.43663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679665
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= 390
involuntary context switches= 22300

runsolver used 3.10053 second user time and 7.98679 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-14 22:04:10
IDJOB=3366405
IDBENCH=82814
IDSOLVER=1844
FILE ID=node127/3366405-1305403450
RUNJOBID= node127-1305403450-2158
PBS_JOBID= 13324449
Free space on /tmp= 73480 MiB

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

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

MD5SUM BENCH= f2d2b125797e776fb2e7099729714d99
RANDOM SEED=1857691071

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13133220 kB
Buffers:        288436 kB
Cached:        3359072 kB
SwapCached:       1620 kB
Active:       16814396 kB
Inactive:      2666864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13133220 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:            6896 kB
Writeback:           0 kB
AnonPages:    15832156 kB
Mapped:          25732 kB
Slab:           226140 kB
PageTables:      46748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44320784 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73468 MiB
End job on node127 at 2011-05-14 22:24:15