Trace number 3173996

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.34 1201.73

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.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-3173996-1304075581.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.02	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.02	c -- vars added        550
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     249 undec:      54 neg:     247
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       536      2330         0         0      7083         0   no data   no data
0.34/0.10	c Decided on static restart strategy
0.40/0.15	c  N st     8      4915       536      2330         0      4826      7083    109687   no data   no data
1.58/0.40	c  N st    10     11297       536      2330         0      4471      7083     75528   no data   no data
2.38/0.65	c  N st    11     17040       536      2330         0     10089      7083    201990   no data   no data
3.99/1.08	c  F st    12     25000       536      2330         0     12348      7083    255699   no data   no data
3.99/1.08	c  N st    12     25000       536      2330         0     12348      7083    255699   no data   no data
5.18/1.33	c Decided on static restart strategy
5.18/1.33	c  N st    18     30000       536      2330         0     10667      7083    201281   no data   no data
5.18/1.33	c  S st    18     30000       536      2330         0     10667      7083    201281   no data   no data
5.18/1.36	c  S st    18     30511       536      2330         0     11178      7083    212548   no data   no data
5.18/1.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.18/1.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.18/1.37	c blocked clauses removed:        5 vars:      1 tried:         536 T: 0.00 s
5.18/1.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.18/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
5.18/1.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.18/1.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.18/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.44	c lits-rem:       192  cl-subs:      658  v-elim:      0  v-fix:    0  time:  0.06 s
5.57/1.44	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.01
5.57/1.44	c calculated reachability. Time: 0.00
5.57/1.44	c  N st    18     30511       535      2325         0     10520      7068    195912   no data   no data
7.18/1.82	c  N st    20     37622       535      2325         0      9756      7068    161599   no data   no data
8.79/2.20	c  N st    21     44021       535      2325         0     16041      7068    315489   no data   no data
9.17/2.33	c  S st    22     45767       535      2325         0      9005      7068    127114   no data   no data
9.17/2.36	c  S st    22     46267       535      2325         0      9505      7068    138741   no data   no data
9.17/2.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.17/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.17/2.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.17/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
9.17/2.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.17/2.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.17/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.38	c lits-rem:         9  cl-subs:       46  v-elim:      0  v-fix:    0  time:  0.01 s
9.17/2.38	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
9.17/2.38	c vivif2 --  cl tried     9459 cl shrink        0 lits rem          0 time: 0.00
9.17/2.39	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.00
9.17/2.39	c calculated reachability. Time: 0.00
9.17/2.39	c  N st    22     46267       535      2325         0      9459      7068    137559   no data   no data
13.19/3.31	c  N st    23     60664       535      2325         0     13789      7068    228248   no data   no data
15.56/3.92	c  N st    24     69401       535      2325         0     11595      7068    166605   no data   no data
15.56/3.92	c  S st    24     69401       535      2325         0     11595      7068    166605   no data   no data
15.56/3.95	c  S st    24     69905       535      2325         0     12098      7068    178536   no data   no data
15.56/3.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.56/3.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
15.56/3.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.56/3.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.98	c lits-rem:        36  cl-subs:      138  v-elim:      0  v-fix:    0  time:  0.02 s
15.56/3.98	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
15.56/3.98	c vivif2 --  cl tried    11960 cl shrink        0 lits rem          0 time: 0.00
15.56/3.99	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.01
15.56/3.99	c calculated reachability. Time: 0.00
15.56/3.99	c  N st    24     69905       535      2325         0     11960      7068    175137   no data   no data
20.76/5.22	c  F st    25     87500       535      2325         0     17407      7068    298058   no data   no data
20.76/5.22	c  N st    25     87500       535      2325         0     17407      7068    298058   no data   no data
22.35/5.65	c Decided on static restart strategy
23.55/5.92	c  N st    32     95537       535      2325         0     25213      7068    473927   no data   no data
26.36/6.63	c  N st    34    104857       535      2325         0     21636      7068    368014   no data   no data
26.36/6.63	c  S st    34    104857       535      2325         0     21636      7068    368014   no data   no data
26.36/6.68	c  S st    34    105358       535      2325         0     22137      7068    379762   no data   no data
26.36/6.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.36/6.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.36/6.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
26.36/6.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.36/6.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.74/6.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.89	c lits-rem:       118  cl-subs:     1051  v-elim:      0  v-fix:    0  time:  0.18 s
27.14/6.89	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
27.14/6.89	c vivif2 --  cl tried    21086 cl shrink        0 lits rem          0 time: 0.00
27.54/6.90	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.01
27.54/6.90	c calculated reachability. Time: 0.00
27.54/6.90	c  N st    34    105358       535      2325         0     21086      7068    356374   no data   no data
30.77/7.72	c  N st    35    114957       535      2325         0     16823      7068    247780   no data   no data
35.53/8.90	c  N st    36    129354       535      2325         0     16196      7068    213375   no data   no data
42.33/10.68	c  N st    37    150949       535      2325         0     21654      7068    337556   no data   no data
45.12/11.37	c  S st    38    158038       535      2325         0     28552      7068    502777   no data   no data
45.52/11.44	c  S st    38    158542       535      2325         0     29056      7068    514488   no data   no data
45.52/11.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.52/11.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.52/11.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.52/11.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.52/11.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.52/11.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
45.52/11.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.52/11.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.52/11.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.52/11.96	c lits-rem:       197  cl-subs:     1896  v-elim:      0  v-fix:    0  time:  0.48 s
47.52/11.96	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
47.52/11.97	c vivif2 --  cl tried    27160 cl shrink        0 lits rem          0 time: 0.01
47.52/11.98	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.02
47.52/11.98	c calculated reachability. Time: 0.00
47.52/11.98	c  N st    38    158542       535      2325         0     27160      7068    467775   no data   no data
66.69/16.75	c  N st    39    207130       535      2325         0     22034      7068    313608   no data   no data
79.47/19.99	c  N st    40    237813       535      2325         0     32436      7068    551223   no data   no data
79.47/19.99	c  S st    40    237813       535      2325         0     32436      7068    551223   no data   no data
79.87/20.08	c  S st    40    238316       535      2325         0     32939      7068    563317   no data   no data
79.87/20.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.87/20.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.87/20.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.87/20.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.87/20.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.87/20.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
79.87/20.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
80.27/20.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.27/20.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.87/20.56	c lits-rem:       360  cl-subs:     1458  v-elim:      0  v-fix:    0  time:  0.45 s
81.87/20.56	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
81.87/20.57	c vivif2 --  cl tried    31481 cl shrink        0 lits rem          0 time: 0.01
81.87/20.59	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.02
81.87/20.59	c calculated reachability. Time: 0.00
81.87/20.59	c  N st    40    238316       535      2325         0     31481      7068    529565   no data   no data
113.04/28.36	c  F st    41    306251       535      2325         0     33116      7068    509848   no data   no data
113.04/28.36	c  N st    41    306251       535      2325         0     33116      7068    509848   no data   no data
115.43/28.95	c Decided on static restart strategy
127.44/31.91	c  N st    51    334554       535      2325         0     37381      7068    579830   no data   no data
139.80/35.09	c  N st    53    357475       535      2325         0     35451      7068    538117   no data   no data
139.80/35.09	c  S st    53    357475       535      2325         0     35451      7068    538117   no data   no data
140.21/35.19	c  S st    53    357976       535      2325         0     35952      7068    549566   no data   no data
140.21/35.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.21/35.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
140.21/35.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.21/35.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.61/35.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.61/35.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
140.61/35.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
140.61/35.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.61/35.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.20/35.61	c lits-rem:       126  cl-subs:     1508  v-elim:      0  v-fix:    0  time:  0.38 s
142.20/35.61	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
142.20/35.61	c vivif2 --  cl tried    34444 cl shrink        0 lits rem          0 time: 0.01
142.20/35.64	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.02
142.20/35.64	c calculated reachability. Time: 0.00
142.20/35.64	c  N st    53    357976       535      2325         0     34444      7068    515975   no data   no data
160.18/40.18	c  N st    54    390369       535      2325         0     40673      7068    664909   no data   no data
187.34/46.95	c  N st    55    438957       535      2325         0     34689      7068    479818   no data   no data
228.89/57.33	c  N st    56    511843       535      2325         0     47958      7068    757999   no data   no data
243.27/60.91	c  N st    57    536967       535      2325         0     42286      7068    595924   no data   no data
243.27/60.91	c  S st    57    536967       535      2325         0     42286      7068    595924   no data   no data
243.67/61.03	c  S st    57    537471       535      2325         0     42790      7068    608040   no data   no data
243.67/61.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.67/61.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
243.67/61.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.67/61.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.67/61.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.67/61.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
243.67/61.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
243.67/61.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.67/61.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.67/61.57	c lits-rem:       208  cl-subs:     1640  v-elim:      0  v-fix:    0  time:  0.49 s
245.67/61.57	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
245.67/61.58	c vivif2 --  cl tried    41150 cl shrink        0 lits rem          0 time: 0.01
246.08/61.61	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.03
246.08/61.61	c calculated reachability. Time: 0.00
246.08/61.61	c  N st    57    537471       535      2325         0     41150      7068    572261   no data   no data
354.71/88.83	c  N st    58    701455       535      2325         0     35266      7068    359957   no data   no data
425.42/106.57	c  N st    59    806207       535      2325         0     64132      7068   1044997   no data   no data
425.42/106.57	c  S st    59    806207       535      2325         0     64132      7068   1044997   no data   no data
426.24/106.77	c  S st    59    806712       535      2325         0     64636      7068   1057393   no data   no data
426.24/106.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
426.62/106.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
426.62/106.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
426.62/106.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
426.62/106.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
426.62/106.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
426.62/106.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
426.62/106.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
426.62/106.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
437.80/109.62	c lits-rem:       491  cl-subs:     4599  v-elim:      0  v-fix:    0  time:  2.76 s
437.80/109.62	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
437.80/109.64	c vivif2 --  cl tried    60037 cl shrink        0 lits rem          0 time: 0.01
437.80/109.69	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.06
437.80/109.69	c calculated reachability. Time: 0.00
437.80/109.69	c  N st    59    806712       535      2325         0     60037      7068    950554   no data   no data
643.93/161.29	c  F st    60   1071875       535      2325         0     75641      7068   1179297   no data   no data
643.93/161.29	c  N st    60   1071875       535      2325         0     75641      7068   1179297   no data   no data
649.52/162.62	c Decided on static restart strategy
667.50/167.18	c  N st    70   1100178       535      2325         0     59592      7068    814574   no data   no data
698.26/174.81	c  N st    72   1136171       535      2325         0     50087      7068    581849   no data   no data
726.61/181.93	c  N st    73   1168563       535      2325         0     81636      7068   1358204   no data   no data
768.16/192.37	c  N st    74   1210068       535      2325         0     76167      7068   1200566   no data   no data
768.16/192.37	c  S st    74   1210068       535      2325         0     76167      7068   1200566   no data   no data
769.35/192.69	c  S st    74   1210569       535      2325         0     76668      7068   1212879   no data   no data
769.75/192.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
769.75/192.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
769.75/192.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
769.75/192.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
769.75/192.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
769.75/192.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
769.75/192.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
769.75/192.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
770.15/192.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
797.72/199.79	c lits-rem:       815  cl-subs:     5402  v-elim:      0  v-fix:    0  time:  6.94 s
797.72/199.79	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
798.12/199.81	c vivif2 --  cl tried    71266 cl shrink        0 lits rem          0 time: 0.02
798.52/199.91	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.09
798.52/199.91	c calculated reachability. Time: 0.00
798.52/199.91	c  N st    74   1210569       535      2325         0     71266      7068   1090014   no data   no data
867.62/217.25	c  N st    75   1283452       535      2325         0     47921      7068    466550   no data   no data
961.49/240.71	c  N st    76   1392776       535      2325         0     56041      7068    651022   no data   no data
1122.87/281.10	c  N st    77   1556761       535      2325         0     60587      7068    678377   no data   no data
1284.65/321.61	c  N st    78   1710569       535      2325         0    102092      7068   1646679   no data   no data
1284.65/321.61	c  S st    78   1710569       535      2325         0    102092      7068   1646679   no data   no data
1285.85/321.96	c  S st    78   1711076       535      2325         0    102599      7068   1659344   no data   no data
1285.85/321.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1286.25/322.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1286.25/322.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1286.25/322.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1286.25/322.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1286.25/322.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
1286.25/322.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1286.25/322.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1286.65/322.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1331.78/333.46	c lits-rem:      1062  cl-subs:     9136  v-elim:      0  v-fix:    0  time: 11.29 s
1331.78/333.46	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
1331.78/333.48	c vivif2 --  cl tried    93463 cl shrink        0 lits rem          0 time: 0.02
1332.18/333.58	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.10
1332.18/333.58	c calculated reachability. Time: 0.00
1332.18/333.58	c  N st    78   1711076       535      2325         0     93463      7068   1461845   no data   no data
1723.26/431.46	c  N st    79   2080041       535      2325         0    105477      7068   1679085   no data   no data
1885.84/472.13	c  N st    80   2211076       535      2325         0    109433      7068   1719563   no data   no data
1885.84/472.13	c  S st    80   2211076       535      2325         0    109433      7068   1719563   no data   no data
1887.04/472.47	c  S st    80   2211578       535      2325         0    109934      7068   1732039   no data   no data
1887.04/472.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1887.44/472.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1887.44/472.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1887.44/472.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1887.44/472.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1887.44/472.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
1887.44/472.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1887.44/472.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1887.84/472.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1929.00/482.95	c lits-rem:      1050  cl-subs:     7405  v-elim:      0  v-fix:    0  time: 10.28 s
1929.00/482.95	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
1929.00/482.98	c vivif2 --  cl tried   102529 cl shrink        0 lits rem          0 time: 0.02
1929.38/483.09	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.11
1929.38/483.09	c calculated reachability. Time: 0.00
1929.38/483.09	c  N st    80   2211578       535      2325         0    102529      7068   1572425   no data   no data
2542.16/636.46	c  N st    81   2711578       535      2325         0    125459      7068   2007605   no data   no data
2542.16/636.46	c  S st    81   2711578       535      2325         0    125459      7068   2007605   no data   no data
2544.18/636.93	c  S st    81   2712082       535      2325         0    125962      7068   2020601   no data   no data
2544.18/636.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2544.18/637.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2544.56/637.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2544.56/637.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2544.56/637.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2544.56/637.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
2544.56/637.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2544.56/637.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2544.56/637.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2630.84/658.61	c lits-rem:      1438  cl-subs:    13823  v-elim:      0  v-fix:    0  time: 21.41 s
2630.84/658.61	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
2630.84/658.64	c vivif2 --  cl tried   112139 cl shrink        0 lits rem          0 time: 0.03
2631.24/658.76	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.13
2631.24/658.77	c calculated reachability. Time: 0.00
2631.24/658.77	c  N st    81   2712082       535      2325         0    112139      7068   1726374   no data   no data
3293.94/824.63	c  N st    82   3212082       535      2325         0     88635      7068   1026050   no data   no data
3293.94/824.63	c  S st    82   3212082       535      2325         0     88635      7068   1026050   no data   no data
3295.15/824.91	c  S st    82   3212583       535      2325         0     89136      7068   1038155   no data   no data
3295.15/824.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3295.15/824.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3295.15/824.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3295.15/824.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3295.15/824.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3295.15/824.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
3295.15/824.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3295.15/824.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3295.56/825.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3299.95/826.18	c lits-rem:        85  cl-subs:     2489  v-elim:      0  v-fix:    0  time:  1.16 s
3299.95/826.18	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
3299.95/826.19	c vivif2 --  cl tried    86647 cl shrink        0 lits rem          0 time: 0.02
3300.33/826.28	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.09
3300.33/826.29	c calculated reachability. Time: 0.00
3300.33/826.29	c  N st    82   3212583       535      2325         0     86647      7068    984524   no data   no data
3991.78/999.33	c  N st    83   3712586       535      2325         0     97501      7068   1181596   no data   no data
3991.78/999.33	c  S st    83   3712586       535      2325         0     97501      7068   1181596   no data   no data
3992.98/999.63	c  S st    83   3713088       535      2325         0     98003      7068   1194211   no data   no data
3992.98/999.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3992.98/999.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3992.98/999.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3992.98/999.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3992.98/999.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3992.98/999.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
3992.98/999.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3993.38/999.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3993.38/999.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3999.37/1001.22	c lits-rem:       383  cl-subs:     2664  v-elim:      0  v-fix:    0  time:  1.46 s
3999.37/1001.22	c vivif2 --  cl tried     2325 cl shrink        0 lits rem          0 time: 0.00
3999.37/1001.24	c vivif2 --  cl tried    95339 cl shrink        0 lits rem          0 time: 0.02
3999.77/1001.34	c asymm  cl-useful: 0/2325/2325 lits-rem:0 time: 0.10
3999.77/1001.34	c calculated reachability. Time: 0.00
3999.77/1001.34	c  N st    83   3713088       535      2325         0     95339      7068   1136159   no data   no data
4052.09/1014.49	c  F st    84   3751563       535      2325         0    132701      7068   2113472   no data   no data
4052.09/1014.49	c  N st    84   3751563       535      2325         0    132701      7068   2113472   no data   no data
4062.08/1016.97	c Decided on static restart strategy
4103.64/1027.39	c  N st    94   3779869       535      2325         0    160383      7068   2785518   no data   no data
4147.99/1038.49	c  N st    96   3815862       535      2325         0    112968      7068   1495158   no data   no data
4197.90/1050.94	c  N st    97   3848254       535      2325         0    144494      7068   2289507   no data   no data
4273.80/1069.92	c  N st    98   3896842       535      2325         0    108084      7068   1384163   no data   no data
4377.65/1095.95	c  N st    99   3969725       535      2325         0     94301      7068   1032130   no data   no data
4528.65/1133.72	c  N st   100   4079048       535      2325         0    115295      7068   1558280   no data   no data
4757.14/1190.97	c  N st   101   4213090       535      2325         0    158519      7068   2485413   no data   no data
4757.14/1190.97	c  S st   101   4213090       535      2325         0    158519      7068   2485413   no data   no data
4759.53/1191.55	c  S st   101   4213592       535      2325         0    159019      7068   2497264   no data   no data
4759.53/1191.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4759.93/1191.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4759.93/1191.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4759.93/1191.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4759.93/1191.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4759.93/1191.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
4759.93/1191.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4759.93/1191.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4760.33/1191.77	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: 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-3173996-1304075581/watcher-3173996-1304075581 -o /tmp/evaluation-result-3173996-1304075581/solver-3173996-1304075581 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173996-1304075581.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: 1.85 5.54 6.90 5/180 540
/proc/meminfo: memFree=19208904/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 519157726 52441088 347 33554432000 4194304 4627427 140735097031680 18446744073709551615 274474023921 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/540/statm: 12803 347 299 106 0 7774 0
[pid=540/tid=541] ppid=538 vsize=281896 CPUtime=0 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 127 0 0 0 0 0 0 0 25 0 4 0 519157726 288661504 764 33554432000 4194304 4627427 140735097031680 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=281896 CPUtime=0 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 114 0 0 0 0 0 0 0 25 0 4 0 519157726 288661504 771 33554432000 4194304 4627427 140735097031680 18446744073709551615 274473992087 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=281896 CPUtime=0 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 99 0 0 0 0 0 0 0 25 0 4 0 519157726 288661504 771 33554432000 4194304 4627427 140735097031680 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.08922 s]
/proc/loadavg: 1.85 5.54 6.90 5/180 540
/proc/meminfo: memFree=19208904/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=282300 CPUtime=0.34 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 1667 0 0 0 34 0 0 0 25 0 4 0 519157726 289075200 1567 33554432000 4194304 4627427 140735097031680 18446744073709551615 274474072558 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 70575 1567 384 106 0 65546 0
[pid=540/tid=541] ppid=538 vsize=282300 CPUtime=0.08 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 326 0 0 0 8 0 0 0 25 0 4 0 519157726 289075200 1568 33554432000 4194304 4627427 140735097031680 18446744073709551615 274474072607 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=282300 CPUtime=0.08 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 321 0 0 0 8 0 0 0 25 0 4 0 519157726 289075200 1568 33554432000 4194304 4627427 140735097031680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=282300 CPUtime=0.08 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 237 0 0 0 8 0 0 0 25 0 4 0 519157726 289075200 1568 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 282300

[startup+0.104208 s]
/proc/loadavg: 1.85 5.54 6.90 5/180 540
/proc/meminfo: memFree=19208904/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=282436 CPUtime=0.4 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 1745 0 0 0 40 0 0 0 25 0 4 0 519157726 289214464 1645 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308280 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 70609 1645 384 106 0 65580 0
[pid=540/tid=541] ppid=538 vsize=282436 CPUtime=0.09 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 344 0 0 0 9 0 0 0 25 0 4 0 519157726 289214464 1645 33554432000 4194304 4627427 140735097031680 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=282436 CPUtime=0.09 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 340 0 0 0 9 0 0 0 25 0 4 0 519157726 289214464 1645 33554432000 4194304 4627427 140735097031680 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=282436 CPUtime=0.1 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 258 0 0 0 10 0 0 0 25 0 4 0 519157726 289214464 1645 33554432000 4194304 4627427 140735097031680 18446744073709551615 4326817 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282436

[startup+0.300174 s]
/proc/loadavg: 1.85 5.54 6.90 5/180 540
/proc/meminfo: memFree=19208904/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=283888 CPUtime=1.18 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 2787 0 0 0 118 0 0 0 25 0 4 0 519157726 290701312 2131 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 70972 2131 385 106 0 65943 0
[pid=540/tid=541] ppid=538 vsize=283888 CPUtime=0.29 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 593 0 0 0 29 0 0 0 25 0 4 0 519157726 290701312 2131 33554432000 4194304 4627427 140735097031680 18446744073709551615 4332156 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=283888 CPUtime=0.29 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 602 0 0 0 29 0 0 0 25 0 4 0 519157726 290701312 2131 33554432000 4194304 4627427 140735097031680 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=283888 CPUtime=0.29 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 528 0 0 0 29 0 0 0 25 0 4 0 519157726 290701312 2131 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283888

[startup+0.701104 s]
/proc/loadavg: 1.85 5.54 6.90 5/180 540
/proc/meminfo: memFree=19208904/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=284796 CPUtime=2.78 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 4358 0 0 0 278 0 0 0 25 0 4 0 519157726 291631104 2820 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 71199 2821 385 106 0 66170 0
[pid=540/tid=541] ppid=538 vsize=284796 CPUtime=0.69 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 962 0 0 0 69 0 0 0 25 0 4 0 519157726 291631104 2821 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=284796 CPUtime=0.69 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 1005 0 0 0 69 0 0 0 25 0 4 0 519157726 291631104 2821 33554432000 4194304 4627427 140735097031680 18446744073709551615 4507037 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=284796 CPUtime=0.69 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 936 0 0 0 69 0 0 0 25 0 4 0 519157726 291631104 2821 33554432000 4194304 4627427 140735097031680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284796

[startup+1.50097 s]
/proc/loadavg: 1.85 5.54 6.90 10/184 544
/proc/meminfo: memFree=19189404/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=286016 CPUtime=5.97 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 8628 0 0 0 596 1 0 0 25 0 4 0 519157726 292880384 4624 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 71504 4624 389 106 0 66475 0
[pid=540/tid=541] ppid=538 vsize=286016 CPUtime=1.49 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 1687 0 0 0 149 0 0 0 25 0 4 0 519157726 292880384 4624 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=286016 CPUtime=1.49 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 1741 0 0 0 149 0 0 0 25 0 4 0 519157726 292880384 4624 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=286016 CPUtime=1.49 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 1725 0 0 0 149 0 0 0 25 0 4 0 519157726 292880384 4624 33554432000 4194304 4627427 140735097031680 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286016

[startup+3.10068 s]
/proc/loadavg: 1.85 5.54 6.90 9/184 544
/proc/meminfo: memFree=19158416/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=294832 CPUtime=12.37 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 17736 0 0 0 1234 3 0 0 25 0 4 0 519157726 301907968 8955 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 73708 8955 389 106 0 68679 0
[pid=540/tid=541] ppid=538 vsize=294832 CPUtime=3.09 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 3879 0 0 0 309 0 0 0 25 0 4 0 519157726 301907968 8956 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=294832 CPUtime=3.08 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 4589 0 0 0 308 0 0 0 25 0 4 0 519157726 301907968 8956 33554432000 4194304 4627427 140735097031680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=294832 CPUtime=3.08 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 4511 0 0 0 308 0 0 0 25 0 4 0 519157726 301907968 8956 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 294832

[startup+6.30112 s]
/proc/loadavg: 2.34 5.58 6.91 9/184 544
/proc/meminfo: memFree=19119608/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=300764 CPUtime=25.15 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 27617 0 0 0 2511 4 0 0 25 0 4 0 519157726 307982336 12777 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 75191 12777 389 106 0 70162 0
[pid=540/tid=541] ppid=538 vsize=300764 CPUtime=6.28 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 6863 0 0 0 628 0 0 0 25 0 4 0 519157726 307982336 12777 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=300764 CPUtime=6.29 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 7440 0 0 0 628 1 0 0 25 0 4 0 519157726 307982336 12777 33554432000 4194304 4627427 140735097031680 18446744073709551615 4332997 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=300764 CPUtime=6.28 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 6441 0 0 0 628 0 0 0 25 0 4 0 519157726 307982336 12777 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 300764

[startup+12.701 s]
/proc/loadavg: 2.79 5.62 6.91 9/184 544
/proc/meminfo: memFree=19065656/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=301660 CPUtime=50.72 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 45734 0 0 0 5064 8 0 0 25 0 4 0 519157726 308899840 17753 33554432000 4194304 4627427 140735097031680 18446744073709551615 4329682 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 75415 17753 389 106 0 70386 0
[pid=540/tid=541] ppid=538 vsize=301660 CPUtime=12.68 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 11325 0 0 0 1267 1 0 0 25 0 4 0 519157726 308899840 17753 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=301660 CPUtime=12.69 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 10678 0 0 0 1267 2 0 0 25 0 4 0 519157726 308899840 17753 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=301660 CPUtime=12.68 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 11338 0 0 0 1267 1 0 0 25 0 4 0 519157726 308899840 17753 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 301660

[startup+25.5007 s]
/proc/loadavg: 4.02 5.75 6.94 9/184 544
/proc/meminfo: memFree=19012568/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=309700 CPUtime=101.85 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 70274 0 0 0 10172 13 0 0 25 0 4 0 519157726 317132800 24227 33554432000 4194304 4627427 140735097031680 18446744073709551615 4324754 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 77425 24227 389 106 0 72396 0
[pid=540/tid=541] ppid=538 vsize=309700 CPUtime=25.49 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 18422 0 0 0 2546 3 0 0 25 0 4 0 519157726 317132800 24227 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=309700 CPUtime=25.49 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 16770 0 0 0 2546 3 0 0 25 0 4 0 519157726 317132800 24227 33554432000 4194304 4627427 140735097031680 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=309700 CPUtime=25.48 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 16254 0 0 0 2545 3 0 0 25 0 4 0 519157726 317132800 24227 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 309700

[startup+51.1002 s]
/proc/loadavg: 5.37 5.93 6.96 9/184 545
/proc/meminfo: memFree=18970212/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=317092 CPUtime=204.11 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 106958 0 0 0 20388 23 0 0 25 0 4 0 519157726 324702208 30627 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 79273 30628 389 106 0 74244 0
[pid=540/tid=541] ppid=538 vsize=317092 CPUtime=51.09 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 28512 0 0 0 5104 5 0 0 25 0 4 0 519157726 324702208 30628 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=317092 CPUtime=51.08 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 25810 0 0 0 5103 5 0 0 25 0 4 0 519157726 324702208 30628 33554432000 4194304 4627427 140735097031680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=317092 CPUtime=51.08 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 24911 0 0 0 5102 6 0 0 25 0 4 0 519157726 324702208 30628 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 317092

[startup+102.306 s]
/proc/loadavg: 6.91 6.26 7.02 9/184 546
/proc/meminfo: memFree=18910560/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=319496 CPUtime=408.66 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 164567 0 0 0 40831 35 0 0 25 0 4 0 519157726 327163904 36828 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 79874 36828 389 106 0 74845 0
[pid=540/tid=541] ppid=538 vsize=319496 CPUtime=102.29 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 43609 0 0 0 10221 8 0 0 25 0 4 0 519157726 327163904 36828 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=319496 CPUtime=102.28 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 38398 0 0 0 10221 7 0 0 25 0 4 0 519157726 327163904 36828 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=319496 CPUtime=102.28 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 40431 0 0 0 10219 9 0 0 25 0 4 0 519157726 327163904 36828 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 319496

[startup+162.301 s]

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

[pid=540] ppid=538 vsize=443848 CPUtime=2805.4 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 523228 0 0 0 280375 165 0 0 25 0 4 0 519157726 454500352 82461 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 110962 82461 389 106 0 105933 0
[pid=540/tid=541] ppid=538 vsize=443848 CPUtime=702.3 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 133361 0 0 0 70188 42 0 0 25 0 4 0 519157726 454500352 82461 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=443848 CPUtime=702.24 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 132591 0 0 0 70182 42 0 0 25 0 4 0 519157726 454500352 82461 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=443848 CPUtime=702.29 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 126999 0 0 0 70189 40 0 0 25 0 4 0 519157726 454500352 82461 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309186 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 443848

[startup+762.307 s]
/proc/loadavg: 8.23 7.94 7.57 9/184 564
/proc/meminfo: memFree=18537508/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=484756 CPUtime=3045.1 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 549080 0 0 0 304336 174 0 0 25 0 4 0 519157726 496390144 84562 33554432000 4194304 4627427 140735097031680 18446744073709551615 4324134 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 121189 84562 389 106 0 116160 0
[pid=540/tid=541] ppid=538 vsize=484756 CPUtime=762.31 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 140494 0 0 0 76186 45 0 0 25 0 4 0 519157726 496390144 84562 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=484756 CPUtime=762.24 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 141152 0 0 0 76179 45 0 0 25 0 4 0 519157726 496390144 84562 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=484756 CPUtime=762.29 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 133019 0 0 0 76188 41 0 0 25 0 4 0 519157726 496390144 84562 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 484756

[startup+822.3 s]
/proc/loadavg: 8.16 7.97 7.60 9/184 566
/proc/meminfo: memFree=18448080/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=614012 CPUtime=3284.75 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 579345 0 0 0 328291 184 0 0 25 0 4 0 519157726 628748288 100690 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 153503 100690 389 106 0 148474 0
[pid=540/tid=541] ppid=538 vsize=614012 CPUtime=822.31 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 149574 0 0 0 82183 48 0 0 25 0 4 0 519157726 628748288 100690 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=614012 CPUtime=822.23 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 149538 0 0 0 82175 48 0 0 25 0 4 0 519157726 628748288 100690 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=614012 CPUtime=822.29 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 141649 0 0 0 82185 44 0 0 25 0 4 0 519157726 628748288 100690 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 614012

[startup+882.301 s]
/proc/loadavg: 8.06 7.97 7.62 9/184 567
/proc/meminfo: memFree=18426728/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=614132 CPUtime=3524.42 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 602669 0 0 0 352248 194 0 0 25 0 4 0 519157726 628871168 105709 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 153533 105709 389 106 0 148504 0
[pid=540/tid=541] ppid=538 vsize=614132 CPUtime=882.3 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 157112 0 0 0 88179 51 0 0 25 0 4 0 519157726 628871168 105709 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=614132 CPUtime=882.22 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 156834 0 0 0 88171 51 0 0 25 0 4 0 519157726 628871168 105709 33554432000 4194304 4627427 140735097031680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=614132 CPUtime=882.29 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 146570 0 0 0 88183 46 0 0 25 0 4 0 519157726 628871168 105709 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 614132

[startup+942.3 s]
/proc/loadavg: 8.02 7.97 7.64 9/184 569
/proc/meminfo: memFree=18375228/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=614276 CPUtime=3764.1 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 623751 0 0 0 376208 202 0 0 25 0 4 0 519157726 629018624 110779 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 153569 110779 389 106 0 148540 0
[pid=540/tid=541] ppid=538 vsize=614276 CPUtime=942.31 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 160779 0 0 0 94178 53 0 0 25 0 4 0 519157726 629018624 110779 33554432000 4194304 4627427 140735097031680 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=614276 CPUtime=942.22 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 164707 0 0 0 94168 54 0 0 25 0 4 0 519157726 629018624 110779 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=614276 CPUtime=942.29 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 152465 0 0 0 94181 48 0 0 25 0 4 0 519157726 629018624 110779 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 614276

[startup+1002.3 s]
/proc/loadavg: 8.00 7.97 7.66 9/184 570
/proc/meminfo: memFree=18375452/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=618836 CPUtime=4003.77 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 639169 0 0 0 400169 208 0 0 25 0 4 0 519157726 633688064 108611 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 154709 108611 389 106 0 149680 0
[pid=540/tid=541] ppid=538 vsize=618836 CPUtime=1002.31 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 165444 0 0 0 100177 54 0 0 25 0 4 0 519157726 633688064 108611 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=618836 CPUtime=1002.21 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 170518 0 0 0 100165 56 0 0 25 0 4 0 519157726 633688064 108611 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=618836 CPUtime=1002.29 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 154579 0 0 0 100181 48 0 0 25 0 4 0 519157726 633688064 108611 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 618836

[startup+1062.3 s]
/proc/loadavg: 8.00 7.97 7.68 9/184 572
/proc/meminfo: memFree=18354964/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=671196 CPUtime=4243.44 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 655672 0 0 0 424128 216 0 0 25 0 4 0 519157726 687304704 111591 33554432000 4194304 4627427 140735097031680 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 167799 111591 389 106 0 162770 0
[pid=540/tid=541] ppid=538 vsize=671196 CPUtime=1062.31 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 169105 0 0 0 106174 57 0 0 25 0 4 0 519157726 687304704 111591 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=671196 CPUtime=1062.21 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 176716 0 0 0 106162 59 0 0 25 0 4 0 519157726 687304704 111591 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=671196 CPUtime=1062.29 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 159292 0 0 0 106179 50 0 0 25 0 4 0 519157726 687304704 111591 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 671196

[startup+1122.3 s]
/proc/loadavg: 8.00 7.97 7.70 9/184 574
/proc/meminfo: memFree=18351112/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=671632 CPUtime=4483.11 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 672208 0 0 0 448087 224 0 0 25 0 4 0 519157726 687751168 107723 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 167908 107723 389 106 0 162879 0
[pid=540/tid=541] ppid=538 vsize=671632 CPUtime=1122.32 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 173044 0 0 0 112172 60 0 0 25 0 4 0 519157726 687751168 107723 33554432000 4194304 4627427 140735097031680 18446744073709551615 4332622 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=671632 CPUtime=1122.2 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 182717 0 0 0 112159 61 0 0 25 0 4 0 519157726 687751168 107723 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=671632 CPUtime=1122.29 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 162507 0 0 0 112178 51 0 0 25 0 4 0 519157726 687751168 107723 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 671632

[startup+1182.3 s]
/proc/loadavg: 8.00 7.97 7.71 9/184 575
/proc/meminfo: memFree=18337944/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=760548 CPUtime=4722.78 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 693906 0 0 0 472046 232 0 0 25 0 4 0 519157726 778801152 111614 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 190137 111614 389 106 0 185108 0
[pid=540/tid=541] ppid=538 vsize=760548 CPUtime=1182.31 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 177579 0 0 0 118168 63 0 0 25 0 4 0 519157726 778801152 111614 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=760548 CPUtime=1182.2 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 189959 0 0 0 118157 63 0 0 25 0 4 0 519157726 778801152 111614 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=760548 CPUtime=1182.3 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 166485 0 0 0 118177 53 0 0 25 0 4 0 519157726 778801152 111614 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.78
Current children cumulated vsize (KiB) 760548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.00 7.97 7.72 9/184 576
/proc/meminfo: memFree=18336452/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=707368 CPUtime=4800.28 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 703047 0 0 0 479793 235 0 0 25 0 4 0 519157726 724344832 113365 33554432000 4194304 4627427 140735097031680 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 176842 113365 389 106 0 171813 0
[pid=540/tid=541] ppid=538 vsize=707368 CPUtime=1201.72 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 180289 0 0 0 120108 64 0 0 25 0 4 0 519157726 724344832 113365 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=707368 CPUtime=1201.6 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 192157 0 0 0 120097 63 0 0 25 0 4 0 519157726 724344832 113365 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=707368 CPUtime=1201.7 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 166547 0 0 0 120117 53 0 0 25 0 4 0 519157726 724344832 113365 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 707368

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.00 7.97 7.72 9/184 576
/proc/meminfo: memFree=18336452/32950928 swapFree=67111528/67111528
[pid=540] ppid=538 vsize=707368 CPUtime=4800.28 cores=0,2,4,6
/proc/540/stat : 540 (strangenight2-m) R 538 540 499 0 -1 4202496 703047 0 0 0 479793 235 0 0 25 0 4 0 519157726 724344832 113365 33554432000 4194304 4627427 140735097031680 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/540/statm: 176842 113365 389 106 0 171813 0
[pid=540/tid=541] ppid=538 vsize=707368 CPUtime=1201.72 cores=0,2,4,6
/proc/540/task/541/stat : 541 (strangenight2-m) R 538 540 499 0 -1 4202560 180289 0 0 0 120108 64 0 0 25 0 4 0 519157726 724344832 113365 33554432000 4194304 4627427 140735097031680 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=540/tid=542] ppid=538 vsize=707368 CPUtime=1201.6 cores=0,2,4,6
/proc/540/task/542/stat : 542 (strangenight2-m) R 538 540 499 0 -1 4202560 192157 0 0 0 120097 63 0 0 25 0 4 0 519157726 724344832 113365 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=540/tid=543] ppid=538 vsize=707368 CPUtime=1201.7 cores=0,2,4,6
/proc/540/task/543/stat : 543 (strangenight2-m) R 538 540 499 0 -1 4202560 166547 0 0 0 120117 53 0 0 25 0 4 0 519157726 724344832 113365 33554432000 4194304 4627427 140735097031680 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 707368

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.34
CPU user time (s): 4797.97
CPU system time (s): 2.37464
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 760548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.97
system time used= 2.37464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 703047
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= 238
involuntary context switches= 34157

runsolver used 1.9497 second user time and 4.54431 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 13:13:01
IDJOB=3173996
IDBENCH=82814
IDSOLVER=1586
FILE ID=node125/3173996-1304075581
RUNJOBID= node125-1304075581-517
PBS_JOBID= 13170502
Free space on /tmp= 72760 MiB

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

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

MD5SUM BENCH= f2d2b125797e776fb2e7099729714d99
RANDOM SEED=121585096

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19210176 kB
Buffers:       2217740 kB
Cached:       10925296 kB
SwapCached:          0 kB
Active:        8428172 kB
Inactive:      4779224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19210176 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11804 kB
Writeback:           0 kB
AnonPages:       64016 kB
Mapped:          15108 kB
Slab:           467060 kB
PageTables:       5452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   239000 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= 72752 MiB
End job on node125 at 2011-04-29 13:33:04