Trace number 3173968

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.31 1201.94

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf
MD5SUM7a11fe5a7b45a740269507e820ccb021
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011997
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173968-1304074527.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.00	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.00	c -- vars added        600
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     266 undec:      80 neg:     254
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       585      2542         0         0      7720         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4915       585      2542         0      4850      7720    124533   no data   no data
3.17/0.80	c  N st    10     11298       585      2542         0      4498      7720     81964   no data   no data
3.17/0.80	c  N st    11     17042       585      2542         0     10175      7720    231233   no data   no data
4.79/1.20	c  F st    12     25000       585      2542         0     12434      7720    286289   no data   no data
4.79/1.20	c  N st    12     25000       585      2542         0     12434      7720    286289   no data   no data
5.17/1.36	c Decided on static restart strategy
5.17/1.36	c  N st    18     30000       585      2542         0     10714      7720    224867   no data   no data
5.17/1.36	c  S st    18     30000       585      2542         0     10714      7720    224867   no data   no data
5.17/1.39	c  S st    18     30503       585      2542         0     11217      7720    237742   no data   no data
5.17/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.39	c blocked clauses removed:        0 vars:      0 tried:         585 T: 0.00 s
5.17/1.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
5.17/1.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.45	c lits-rem:        93  cl-subs:      371  v-elim:      0  v-fix:    0  time:  0.05 s
5.56/1.46	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.01
5.56/1.46	c calculated reachability. Time: 0.00
5.56/1.46	c  N st    18     30503       585      2542         0     10846      7720    226508   no data   no data
7.17/1.88	c  N st    20     37617       585      2542         0     10100      7720    183544   no data   no data
9.18/2.30	c  N st    21     44017       585      2542         0     16376      7720    343222   no data   no data
9.55/2.43	c  S st    22     45754       585      2542         0      9300      7720    143012   no data   no data
9.55/2.46	c  S st    22     46257       585      2542         0      9802      7720    155561   no data   no data
9.55/2.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
9.55/2.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.55/2.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.48	c lits-rem:        13  cl-subs:       56  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.48	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
9.55/2.48	c vivif2 --  cl tried     9746 cl shrink        0 lits rem          0 time: 0.00
9.55/2.49	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.01
9.55/2.49	c calculated reachability. Time: 0.00
9.55/2.49	c  N st    22     46257       585      2542         0      9746      7720    154160   no data   no data
13.57/3.47	c  N st    23     60654       585      2542         0     14040      7720    254018   no data   no data
15.95/4.09	c  N st    24     69385       585      2542         0     11872      7720    186769   no data   no data
15.95/4.09	c  S st    24     69385       585      2542         0     11872      7720    186769   no data   no data
16.36/4.12	c  S st    24     69891       585      2542         0     12377      7720    199765   no data   no data
16.36/4.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.36/4.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.36/4.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
16.36/4.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.36/4.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.36/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.15	c lits-rem:        22  cl-subs:      172  v-elim:      0  v-fix:    0  time:  0.02 s
16.36/4.15	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
16.36/4.16	c vivif2 --  cl tried    12205 cl shrink        0 lits rem          0 time: 0.00
16.36/4.16	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.01
16.36/4.16	c calculated reachability. Time: 0.00
16.36/4.16	c  N st    24     69891       585      2542         0     12205      7720    195539   no data   no data
21.55/5.45	c  F st    25     87500       585      2542         0     17649      7720    339163   no data   no data
21.55/5.45	c  N st    25     87500       585      2542         0     17649      7720    339163   no data   no data
23.14/5.82	c Decided on static restart strategy
23.94/6.03	c  N st    32     95539       585      2542         0     25605      7720    560293   no data   no data
26.75/6.73	c  N st    34    104836       585      2542         0     21939      7720    409632   no data   no data
26.75/6.73	c  S st    34    104836       585      2542         0     21939      7720    409632   no data   no data
26.75/6.78	c  S st    34    105340       585      2542         0     22442      7720    422380   no data   no data
26.75/6.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.75/6.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.75/6.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.75/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.75/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
26.75/6.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.13/6.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.13/6.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.02	c lits-rem:       138  cl-subs:     1131  v-elim:      0  v-fix:    0  time:  0.21 s
27.94/7.02	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
27.94/7.03	c vivif2 --  cl tried    21311 cl shrink        0 lits rem          0 time: 0.00
27.94/7.04	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.01
27.94/7.04	c calculated reachability. Time: 0.00
27.94/7.04	c  N st    34    105340       585      2542         0     21311      7720    393572   no data   no data
31.15/7.87	c  N st    35    114941       585      2542         0     16984      7720    260749   no data   no data
36.32/9.12	c  N st    36    129338       585      2542         0     16418      7720    237197   no data   no data
43.51/11.00	c  N st    37    150936       585      2542         0     21890      7720    371035   no data   no data
46.31/11.65	c  S st    38    158011       585      2542         0     28819      7720    549974   no data   no data
46.71/11.72	c  S st    38    158512       585      2542         0     29320      7720    562963   no data   no data
46.71/11.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.71/11.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.71/11.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.71/11.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.71/11.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.71/11.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
46.71/11.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.71/11.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.71/11.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.72/12.25	c lits-rem:       250  cl-subs:     1569  v-elim:      0  v-fix:    0  time:  0.50 s
48.72/12.25	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
48.72/12.26	c vivif2 --  cl tried    27751 cl shrink        0 lits rem          0 time: 0.01
48.72/12.28	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.02
48.72/12.28	c calculated reachability. Time: 0.00
48.72/12.28	c  N st    38    158512       585      2542         0     27751      7720    521361   no data   no data
67.88/17.06	c  N st    39    207101       585      2542         0     22399      7720    339115   no data   no data
80.66/20.25	c  N st    40    237768       585      2542         0     32830      7720    601645   no data   no data
80.66/20.25	c  S st    40    237768       585      2542         0     32830      7720    601645   no data   no data
81.06/20.36	c  S st    40    238270       585      2542         0     33331      7720    614404   no data   no data
81.06/20.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.06/20.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.06/20.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.06/20.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.06/20.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.06/20.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
81.06/20.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.06/20.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.46/20.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.25/21.15	c lits-rem:       160  cl-subs:     2115  v-elim:      0  v-fix:    0  time:  0.75 s
84.25/21.15	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
84.25/21.16	c vivif2 --  cl tried    31216 cl shrink        0 lits rem          0 time: 0.01
84.25/21.18	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.02
84.25/21.18	c calculated reachability. Time: 0.00
84.25/21.18	c  N st    40    238270       585      2542         0     31216      7720    559617   no data   no data
115.42/28.95	c  F st    41    306250       585      2542         0     33466      7720    555211   no data   no data
115.42/28.96	c  N st    41    306250       585      2542         0     33466      7720    555211   no data   no data
117.82/29.56	c Decided on static restart strategy
127.81/32.07	c  N st    51    334565       585      2542         0     37690      7720    675773   no data   no data
138.98/34.89	c  N st    53    357406       585      2542         0     35615      7720    602329   no data   no data
138.98/34.89	c  S st    53    357406       585      2542         0     35615      7720    602329   no data   no data
139.38/34.98	c  S st    53    357915       585      2542         0     36123      7720    615514   no data   no data
139.38/34.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
139.38/34.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
139.38/34.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.38/34.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
139.38/34.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.38/34.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
139.38/34.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
139.78/35.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
139.78/35.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.60/35.27	c lits-rem:       100  cl-subs:      737  v-elim:      0  v-fix:    0  time:  0.24 s
140.60/35.27	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
140.60/35.28	c vivif2 --  cl tried    35386 cl shrink        0 lits rem          0 time: 0.01
141.00/35.30	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.03
141.00/35.30	c calculated reachability. Time: 0.00
141.00/35.30	c  N st    53    357915       585      2542         0     35386      7720    593749   no data   no data
159.35/39.94	c  N st    54    390307       585      2542         0     41599      7720    722418   no data   no data
185.72/46.56	c  N st    55    438898       585      2542         0     35229      7720    526963   no data   no data
229.65/57.55	c  N st    56    511781       585      2542         0     48529      7720    851913   no data   no data
246.46/61.72	c  N st    57    536872       585      2542         0     42874      7720    689098   no data   no data
246.46/61.72	c  S st    57    536872       585      2542         0     42874      7720    689098   no data   no data
246.84/61.83	c  S st    57    537373       585      2542         0     43375      7720    701050   no data   no data
246.84/61.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
246.84/61.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
246.84/61.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
246.84/61.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
246.84/61.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.84/61.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
246.84/61.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
246.84/61.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
246.84/61.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
248.84/62.37	c lits-rem:       292  cl-subs:     1179  v-elim:      0  v-fix:    0  time:  0.49 s
248.84/62.37	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
248.84/62.38	c vivif2 --  cl tried    42196 cl shrink        0 lits rem          0 time: 0.01
249.24/62.41	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.03
249.24/62.41	c calculated reachability. Time: 0.00
249.24/62.41	c  N st    57    537373       585      2542         0     42196      7720    667953   no data   no data
351.52/88.10	c  N st    58    701357       585      2542         0     36490      7720    419790   no data   no data
425.00/106.41	c  N st    59    806060       585      2542         0     65706      7720   1214798   no data   no data
425.00/106.41	c  S st    59    806060       585      2542         0     65706      7720   1214798   no data   no data
425.80/106.61	c  S st    59    806566       585      2542         0     66211      7720   1227810   no data   no data
425.80/106.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
425.80/106.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
425.80/106.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
425.80/106.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
425.80/106.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
425.80/106.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
425.80/106.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
425.80/106.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
426.22/106.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
434.18/108.76	c lits-rem:       543  cl-subs:     2298  v-elim:      0  v-fix:    0  time:  2.05 s
434.18/108.76	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
434.18/108.77	c vivif2 --  cl tried    63913 cl shrink        0 lits rem          0 time: 0.02
434.58/108.84	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.06
434.58/108.84	c calculated reachability. Time: 0.00
434.58/108.84	c  N st    59    806566       585      2542         0     63913      7720   1167233   no data   no data
644.69/161.49	c  F st    60   1071875       585      2542         0     79599      7720   1459656   no data   no data
644.69/161.49	c  N st    60   1071875       585      2542         0     79599      7720   1459656   no data   no data
651.89/163.28	c Decided on static restart strategy
669.07/167.56	c  N st    70   1100184       585      2542         0     63433      7720   1010765   no data   no data
701.82/175.73	c  N st    72   1136180       585      2542         0     53637      7720    703903   no data   no data
730.58/182.93	c  N st    73   1168573       585      2542         0     85287      7720   1548076   no data   no data
768.95/192.54	c  N st    74   1209850       585      2542         0     79683      7720   1402561   no data   no data
768.95/192.54	c  S st    74   1209850       585      2542         0     79683      7720   1402561   no data   no data
769.72/192.78	c  S st    74   1210353       585      2542         0     80185      7720   1416346   no data   no data
769.72/192.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
770.12/192.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
770.12/192.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
770.12/192.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
770.12/192.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
770.12/192.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
770.12/192.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
770.12/192.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
770.12/192.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
794.10/198.89	c lits-rem:       555  cl-subs:     3619  v-elim:      0  v-fix:    0  time:  5.99 s
794.10/198.89	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
794.49/198.91	c vivif2 --  cl tried    76566 cl shrink        0 lits rem          0 time: 0.02
794.89/199.01	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.10
794.89/199.01	c calculated reachability. Time: 0.00
794.89/199.01	c  N st    74   1210353       585      2542         0     76566      7720   1313232   no data   no data
869.59/217.72	c  N st    75   1283235       585      2542         0     52874      7720    614063   no data   no data
981.84/245.80	c  N st    76   1392560       585      2542         0     60974      7720    800088   no data   no data
1136.84/284.62	c  N st    77   1556545       585      2542         0     65947      7720    929893   no data   no data
1293.42/323.85	c  N st    78   1710353       585      2542         0    108052      7720   2183090   no data   no data
1293.42/323.85	c  S st    78   1710353       585      2542         0    108052      7720   2183090   no data   no data
1294.62/324.18	c  S st    78   1710856       585      2542         0    108554      7720   2196345   no data   no data
1294.62/324.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1295.02/324.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1295.02/324.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1295.02/324.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1295.02/324.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1295.02/324.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1295.02/324.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1295.02/324.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1295.42/324.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1344.14/336.54	c lits-rem:      1840  cl-subs:     5473  v-elim:      0  v-fix:    0  time: 12.19 s
1344.14/336.54	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
1344.14/336.57	c vivif2 --  cl tried   103081 cl shrink        0 lits rem          0 time: 0.03
1344.55/336.68	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.11
1344.55/336.68	c calculated reachability. Time: 0.00
1344.55/336.68	c  N st    78   1710856       585      2542         0    103081      7720   2035020   no data   no data
1757.99/440.11	c  N st    79   2079820       585      2542         0    114624      7720   2278333   no data   no data
1904.57/476.81	c  N st    80   2210858       585      2542         0    118581      7720   2193428   no data   no data
1904.57/476.81	c  S st    80   2210858       585      2542         0    118581      7720   2193428   no data   no data
1906.17/477.25	c  S st    80   2211364       585      2542         0    119087      7720   2206081   no data   no data
1906.17/477.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1906.57/477.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
1906.57/477.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1906.57/477.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1906.57/477.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1906.57/477.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1906.57/477.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1906.57/477.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1906.99/477.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1958.10/490.24	c lits-rem:       815  cl-subs:     7329  v-elim:      0  v-fix:    0  time: 12.81 s
1958.10/490.24	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
1958.10/490.27	c vivif2 --  cl tried   111758 cl shrink        0 lits rem          0 time: 0.03
1958.50/490.39	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.12
1958.50/490.39	c calculated reachability. Time: 0.00
1958.50/490.39	c  N st    80   2211364       585      2542         0    111758      7720   2023747   no data   no data
2559.67/641.02	c  N st    81   2711364       585      2542         0    135181      7720   2590653   no data   no data
2559.67/641.02	c  S st    81   2711364       585      2542         0    135181      7720   2590653   no data   no data
2561.29/641.49	c  S st    81   2711866       585      2542         0    135682      7720   2603664   no data   no data
2561.66/641.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2561.66/641.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2561.66/641.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2561.66/641.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2561.66/641.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2561.66/641.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
2561.66/641.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2562.06/641.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2562.06/641.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2649.17/663.41	c lits-rem:       442  cl-subs:     9742  v-elim:      0  v-fix:    0  time: 21.72 s
2649.17/663.41	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
2649.17/663.45	c vivif2 --  cl tried   125940 cl shrink        0 lits rem          0 time: 0.04
2649.54/663.60	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.14
2649.94/663.60	c calculated reachability. Time: 0.00
2649.94/663.60	c  N st    81   2711866       585      2542         0    125940      7720   2355366   no data   no data
3344.20/837.40	c  N st    82   3211868       585      2542         0    102049      7720   1487236   no data   no data
3344.20/837.40	c  S st    82   3211868       585      2542         0    102049      7720   1487236   no data   no data
3345.40/837.71	c  S st    82   3212371       585      2542         0    102551      7720   1501107   no data   no data
3345.40/837.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3345.40/837.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3345.40/837.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3345.40/837.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3345.40/837.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3345.40/837.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
3345.40/837.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3345.40/837.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3345.80/837.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3356.21/840.47	c lits-rem:       331  cl-subs:     2454  v-elim:      0  v-fix:    0  time:  2.63 s
3356.21/840.47	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
3356.21/840.49	c vivif2 --  cl tried   100097 cl shrink        0 lits rem          0 time: 0.02
3356.98/840.60	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.11
3356.98/840.60	c calculated reachability. Time: 0.00
3356.98/840.60	c  N st    82   3212371       585      2542         0    100097      7720   1434734   no data   no data
4131.94/1034.62	c  N st    83   3712371       585      2542         0    110410      7720   1577249   no data   no data
4131.94/1034.62	c  S st    83   3712371       585      2542         0    110410      7720   1577249   no data   no data
4133.54/1035.09	c  S st    83   3712876       585      2542         0    110914      7720   1590368   no data   no data
4133.54/1035.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4133.96/1035.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.07
4133.96/1035.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4133.96/1035.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4133.96/1035.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4133.96/1035.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
4133.96/1035.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4134.36/1035.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4134.36/1035.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4161.49/1042.08	c lits-rem:       586  cl-subs:     4361  v-elim:      0  v-fix:    0  time:  6.82 s
4161.49/1042.08	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
4161.89/1042.11	c vivif2 --  cl tried   106553 cl shrink        0 lits rem          0 time: 0.02
4162.29/1042.22	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.12
4162.29/1042.23	c calculated reachability. Time: 0.00
4162.29/1042.23	c  N st    83   3712876       585      2542         0    106553      7720   1477816   no data   no data
4219.82/1056.67	c  F st    84   3751563       585      2542         0    144435      7720   2561469   no data   no data
4219.82/1056.67	c  N st    84   3751563       585      2542         0    144435      7720   2561469   no data   no data
4269.36/1069.02	c  N dy   129   3771660       585      2542         0    164262      7720   3096792     17.61     21.15
4303.30/1077.51	c  N dy   240   3791677       585      2542         0    100926      7720   1226806     18.26     21.86
4338.86/1086.45	c  N dy   295   3811839       585      2542         0    120768      7720   1736335     18.04     18.99
4392.79/1099.94	c  N dy   353   3834441       585      2542         0    143022      7720   2310004     17.89     19.11
4454.72/1115.41	c  N dy   443   3854488       585      2542         0    162808      7720   2824845     17.97     23.11
4493.45/1125.13	c  N dy   506   3874766       585      2542         0     98401      7720   1113335     17.90     19.13
4555.78/1140.78	c  N dy   561   3910124       585      2542         0    133094      7720   1977659     17.56     18.59
4611.69/1154.76	c  N dy   685   3932570       585      2542         0    155288      7720   2564491     17.68     18.83
4666.41/1168.47	c  N dy   796   3952643       585      2542         0     89538      7720    838627     17.78     18.73
4699.17/1176.66	c  N dy   874   3973649       585      2542         0    110250      7720   1374871     17.77     18.79
4742.32/1187.43	c  N dy   973   3994019       585      2542         0    130311      7720   1894558     17.79     18.84
4789.45/1199.25	c  N dy  1063   4014058       585      2542         0    150075      7720   2415821     17.82     19.90

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

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

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


[startup+0 s]
/proc/loadavg: 8.12 8.20 7.99 8/184 21204
/proc/meminfo: memFree=25381476/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 519050896 52441088 347 33554432000 4194304 4627427 140733431981312 18446744073709551615 47014784116652 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 12803 347 299 106 0 7774 0
[pid=21204/tid=21205] ppid=21202 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 519050896 52441088 347 33554432000 4194304 4627427 140733431981312 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 519050896 52441088 347 33554432000 4194304 4627427 140733431981312 18446744073709551615 47014784116648 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 519050896 52441088 347 33554432000 4194304 4627427 140733431981312 18446744073709551615 47014784116658 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.107875 s]
/proc/loadavg: 8.12 8.20 7.99 8/184 21204
/proc/meminfo: memFree=25381476/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=282228 CPUtime=0.4 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 1819 0 0 0 40 0 0 0 19 0 4 0 519050896 289001472 1694 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 70557 1694 384 106 0 65528 0
[pid=21204/tid=21205] ppid=21202 vsize=282228 CPUtime=0.09 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 368 0 0 0 9 0 0 0 20 0 4 0 519050896 289001472 1694 33554432000 4194304 4627427 140733431981312 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=282228 CPUtime=0.09 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 359 0 0 0 9 0 0 0 18 0 4 0 519050896 289001472 1694 33554432000 4194304 4627427 140733431981312 18446744073709551615 4333347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=282228 CPUtime=0.1 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 280 0 0 0 10 0 0 0 18 0 4 0 519050896 289001472 1694 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282228

[startup+0.207857 s]
/proc/loadavg: 8.12 8.20 7.99 8/184 21204
/proc/meminfo: memFree=25381476/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=283656 CPUtime=0.8 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 2520 0 0 0 79 1 0 0 19 0 4 0 519050896 290463744 1774 33554432000 4194304 4627427 140733431981312 18446744073709551615 4332271 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 70914 1774 385 106 0 65885 0
[pid=21204/tid=21205] ppid=21202 vsize=283656 CPUtime=0.19 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 544 0 0 0 19 0 0 0 20 0 4 0 519050896 290463744 1774 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=283656 CPUtime=0.19 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 534 0 0 0 19 0 0 0 18 0 4 0 519050896 290463744 1774 33554432000 4194304 4627427 140733431981312 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=283656 CPUtime=0.2 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 460 0 0 0 20 0 0 0 18 0 4 0 519050896 290463744 1774 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 283656

[startup+0.30784 s]
/proc/loadavg: 8.12 8.20 7.99 8/184 21204
/proc/meminfo: memFree=25381476/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=283800 CPUtime=1.2 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 2928 0 0 0 119 1 0 0 19 0 4 0 519050896 290611200 2182 33554432000 4194304 4627427 140733431981312 18446744073709551615 4332696 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 70950 2182 385 106 0 65921 0
[pid=21204/tid=21205] ppid=21202 vsize=283800 CPUtime=0.29 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 649 0 0 0 29 0 0 0 20 0 4 0 519050896 290611200 2182 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=283800 CPUtime=0.29 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 633 0 0 0 29 0 0 0 18 0 4 0 519050896 290611200 2182 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=283800 CPUtime=0.3 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 569 0 0 0 30 0 0 0 18 0 4 0 519050896 290611200 2182 33554432000 4194304 4627427 140733431981312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 283800

[startup+0.700772 s]
/proc/loadavg: 8.12 8.20 7.99 8/184 21204
/proc/meminfo: memFree=25381476/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=284588 CPUtime=2.77 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 4577 0 0 0 276 1 0 0 19 0 4 0 519050896 291418112 2890 33554432000 4194304 4627427 140733431981312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 71147 2890 385 106 0 66118 0
[pid=21204/tid=21205] ppid=21202 vsize=284588 CPUtime=0.69 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 1086 0 0 0 69 0 0 0 21 0 4 0 519050896 291418112 2890 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=284588 CPUtime=0.68 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 1050 0 0 0 68 0 0 0 18 0 4 0 519050896 291418112 2890 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=284588 CPUtime=0.69 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 961 0 0 0 69 0 0 0 18 0 4 0 519050896 291418112 2890 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284588

[startup+1.50063 s]
/proc/loadavg: 8.12 8.20 7.99 10/188 21208
/proc/meminfo: memFree=25357760/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=286244 CPUtime=5.96 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 9344 0 0 0 594 2 0 0 21 0 4 0 519050896 293113856 4720 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 71561 4720 389 106 0 66532 0
[pid=21204/tid=21205] ppid=21202 vsize=286244 CPUtime=1.48 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 1897 0 0 0 148 0 0 0 23 0 4 0 519050896 293113856 4721 33554432000 4194304 4627427 140733431981312 18446744073709551615 4299701 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=286244 CPUtime=1.48 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 1874 0 0 0 148 0 0 0 20 0 4 0 519050896 293113856 4721 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=286244 CPUtime=1.49 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 1802 0 0 0 149 0 0 0 19 0 4 0 519050896 293113856 4721 33554432000 4194304 4627427 140733431981312 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286244

[startup+3.10035 s]
/proc/loadavg: 8.12 8.20 7.99 9/188 21208
/proc/meminfo: memFree=25329000/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=284852 CPUtime=12.35 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 18714 0 0 0 1231 4 0 0 25 0 4 0 519050896 291688448 9868 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 71213 9868 389 106 0 66184 0
[pid=21204/tid=21205] ppid=21202 vsize=284852 CPUtime=3.07 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 4132 0 0 0 306 1 0 0 25 0 4 0 519050896 291688448 9868 33554432000 4194304 4627427 140733431981312 18446744073709551615 4330066 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=284852 CPUtime=3.08 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 5136 0 0 0 308 0 0 0 25 0 4 0 519050896 291688448 9868 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=284852 CPUtime=3.08 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 4572 0 0 0 308 0 0 0 25 0 4 0 519050896 291688448 9868 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 284852

[startup+6.30078 s]
/proc/loadavg: 8.11 8.19 7.99 9/188 21208
/proc/meminfo: memFree=25284980/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=285968 CPUtime=25.14 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 29303 0 0 0 2508 6 0 0 25 0 4 0 519050896 292831232 13988 33554432000 4194304 4627427 140733431981312 18446744073709551615 4327509 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 71492 13988 389 106 0 66463 0
[pid=21204/tid=21205] ppid=21202 vsize=285968 CPUtime=6.26 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 7667 0 0 0 625 1 0 0 25 0 4 0 519050896 292831232 13988 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=285968 CPUtime=6.28 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 7525 0 0 0 627 1 0 0 25 0 4 0 519050896 292831232 13988 33554432000 4194304 4627427 140733431981312 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=285968 CPUtime=6.29 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 6744 0 0 0 628 1 0 0 25 0 4 0 519050896 292831232 13988 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 285968

[startup+12.7006 s]
/proc/loadavg: 8.10 8.19 7.99 9/188 21208
/proc/meminfo: memFree=25224288/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=292232 CPUtime=50.71 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 44272 0 0 0 5062 9 0 0 25 0 4 0 519050896 299245568 23120 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 73058 23120 389 106 0 68029 0
[pid=21204/tid=21205] ppid=21202 vsize=292232 CPUtime=12.62 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 11965 0 0 0 1260 2 0 0 25 0 4 0 519050896 299245568 23120 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=292232 CPUtime=12.69 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 9753 0 0 0 1267 2 0 0 25 0 4 0 519050896 299245568 23120 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=292232 CPUtime=12.68 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 10018 0 0 0 1267 1 0 0 25 0 4 0 519050896 299245568 23120 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 292232

[startup+25.5004 s]
/proc/loadavg: 8.08 8.18 7.99 9/188 21209
/proc/meminfo: memFree=25181380/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=331680 CPUtime=101.83 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 65915 0 0 0 10169 14 0 0 25 0 4 0 519050896 339640320 29727 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 82920 29727 389 106 0 77891 0
[pid=21204/tid=21205] ppid=21202 vsize=331680 CPUtime=25.34 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 18849 0 0 0 2531 3 0 0 25 0 4 0 519050896 339640320 29727 33554432000 4194304 4627427 140733431981312 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=331680 CPUtime=25.48 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 15801 0 0 0 2545 3 0 0 25 0 4 0 519050896 339640320 29727 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=331680 CPUtime=25.48 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 12501 0 0 0 2546 2 0 0 25 0 4 0 519050896 339640320 29727 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 331680

[startup+51.1008 s]
/proc/loadavg: 8.17 8.20 8.00 9/188 21209
/proc/meminfo: memFree=25117332/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=301708 CPUtime=204.09 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 98311 0 0 0 20387 22 0 0 25 0 4 0 519050896 308948992 38059 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 75427 38059 389 106 0 70398 0
[pid=21204/tid=21205] ppid=21202 vsize=301708 CPUtime=50.8 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 26996 0 0 0 5075 5 0 0 25 0 4 0 519050896 308948992 38059 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=301708 CPUtime=51.08 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 25388 0 0 0 5103 5 0 0 25 0 4 0 519050896 308948992 38059 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=301708 CPUtime=51.09 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 18764 0 0 0 5105 4 0 0 25 0 4 0 519050896 308948992 38059 33554432000 4194304 4627427 140733431981312 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 301708

[startup+102.301 s]
/proc/loadavg: 8.10 8.17 8.00 9/188 21211
/proc/meminfo: memFree=25084068/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=335772 CPUtime=408.64 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 144600 0 0 0 40828 36 0 0 25 0 4 0 519050896 343830528 44034 33554432000 4194304 4627427 140733431981312 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 83943 44034 389 106 0 78914 0
[pid=21204/tid=21205] ppid=21202 vsize=335772 CPUtime=101.74 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 35754 0 0 0 10165 9 0 0 25 0 4 0 519050896 343830528 44034 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=335772 CPUtime=102.29 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 36436 0 0 0 10220 9 0 0 25 0 4 0 519050896 343830528 44034 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=335772 CPUtime=102.29 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 32158 0 0 0 10222 7 0 0 25 0 4 0 519050896 343830528 44034 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 335772

[startup+162.301 s]

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

[pid=21204] ppid=21202 vsize=638896 CPUtime=2564.86 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 429022 0 0 0 256327 159 0 0 25 0 4 0 519050896 654229504 105958 33554432000 4194304 4627427 140733431981312 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 159724 105958 389 106 0 154695 0
[pid=21204/tid=21205] ppid=21202 vsize=638896 CPUtime=637.95 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 100800 0 0 0 63756 39 0 0 25 0 4 0 519050896 654229504 105958 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=638896 CPUtime=642.29 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 105546 0 0 0 64188 41 0 0 25 0 4 0 519050896 654229504 105958 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=638896 CPUtime=642.29 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 99413 0 0 0 64193 36 0 0 25 0 4 0 519050896 654229504 105958 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2564.86
Current children cumulated vsize (KiB) 638896

[startup+702.3 s]
/proc/loadavg: 8.15 8.15 8.05 10/188 21239
/proc/meminfo: memFree=24657204/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=651648 CPUtime=2804.53 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 456275 0 0 0 280279 174 0 0 25 0 4 0 519050896 667287552 111830 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 162912 111830 389 106 0 157883 0
[pid=21204/tid=21205] ppid=21202 vsize=651648 CPUtime=697.62 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 108928 0 0 0 69718 44 0 0 25 0 4 0 519050896 667287552 111830 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=651648 CPUtime=702.29 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 112092 0 0 0 70184 45 0 0 25 0 4 0 519050896 667287552 111830 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=651648 CPUtime=702.29 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 106289 0 0 0 70189 40 0 0 25 0 4 0 519050896 667287552 111830 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.53
Current children cumulated vsize (KiB) 651648

[startup+762.301 s]
/proc/loadavg: 8.25 8.18 8.07 10/188 21240
/proc/meminfo: memFree=24612056/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=651896 CPUtime=3044.24 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 478836 0 0 0 304235 189 0 0 25 0 4 0 519050896 667541504 114667 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 162974 114667 389 106 0 157945 0
[pid=21204/tid=21205] ppid=21202 vsize=651896 CPUtime=757.3 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 115786 0 0 0 75682 48 0 0 25 0 4 0 519050896 667541504 114667 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=651896 CPUtime=762.3 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 115996 0 0 0 76183 47 0 0 25 0 4 0 519050896 667541504 114667 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=651896 CPUtime=762.3 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 113354 0 0 0 76185 45 0 0 25 0 4 0 519050896 667541504 114667 33554432000 4194304 4627427 140733431981312 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.24
Current children cumulated vsize (KiB) 651896

[startup+822.301 s]
/proc/loadavg: 8.18 8.17 8.07 9/188 21242
/proc/meminfo: memFree=24605716/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=665008 CPUtime=3283.89 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 502619 0 0 0 328188 201 0 0 25 0 4 0 519050896 680968192 117961 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 166252 117961 389 106 0 161223 0
[pid=21204/tid=21205] ppid=21202 vsize=665008 CPUtime=816.97 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 122377 0 0 0 81644 53 0 0 25 0 4 0 519050896 680968192 117961 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=665008 CPUtime=822.29 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 122562 0 0 0 82180 49 0 0 25 0 4 0 519050896 680968192 117961 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=665008 CPUtime=822.3 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 120576 0 0 0 82181 49 0 0 25 0 4 0 519050896 680968192 117961 33554432000 4194304 4627427 140733431981312 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.89
Current children cumulated vsize (KiB) 665008

[startup+882.306 s]
/proc/loadavg: 8.27 8.20 8.09 9/188 21243
/proc/meminfo: memFree=24623048/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=678164 CPUtime=3523.58 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 527331 0 0 0 352145 213 0 0 25 0 4 0 519050896 694439936 117573 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 169541 117573 389 106 0 164512 0
[pid=21204/tid=21205] ppid=21202 vsize=678164 CPUtime=876.64 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 128902 0 0 0 87610 54 0 0 25 0 4 0 519050896 694439936 117573 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=678164 CPUtime=882.3 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 129038 0 0 0 88177 53 0 0 25 0 4 0 519050896 694439936 117573 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=678164 CPUtime=882.31 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 126196 0 0 0 88179 52 0 0 25 0 4 0 519050896 694439936 117573 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.58
Current children cumulated vsize (KiB) 678164

[startup+942.301 s]
/proc/loadavg: 8.19 8.18 8.09 9/188 21245
/proc/meminfo: memFree=24561144/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=717460 CPUtime=3763.24 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 555211 0 0 0 376097 227 0 0 25 0 4 0 519050896 734679040 124142 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 179365 124142 389 106 0 174336 0
[pid=21204/tid=21205] ppid=21202 vsize=717460 CPUtime=936.31 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 135165 0 0 0 93574 57 0 0 25 0 4 0 519050896 734679040 124142 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=717460 CPUtime=942.3 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 137170 0 0 0 94173 57 0 0 25 0 4 0 519050896 734679040 124142 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=717460 CPUtime=942.3 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 133107 0 0 0 94174 56 0 0 25 0 4 0 519050896 734679040 124142 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.24
Current children cumulated vsize (KiB) 717460

[startup+1002.3 s]
/proc/loadavg: 8.30 8.20 8.10 9/188 21247
/proc/meminfo: memFree=24569932/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=678948 CPUtime=4002.91 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 583259 0 0 0 400052 239 0 0 25 0 4 0 519050896 695242752 120235 33554432000 4194304 4627427 140733431981312 18446744073709551615 4333086 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 169737 120235 389 106 0 164708 0
[pid=21204/tid=21205] ppid=21202 vsize=678948 CPUtime=995.98 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 141920 0 0 0 99538 60 0 0 25 0 4 0 519050896 695242752 120235 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=678948 CPUtime=1002.29 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 144177 0 0 0 100169 60 0 0 25 0 4 0 519050896 695242752 120235 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=678948 CPUtime=1002.31 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 140491 0 0 0 100172 59 0 0 25 0 4 0 519050896 695242752 120235 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.91
Current children cumulated vsize (KiB) 678948

[startup+1062.3 s]
/proc/loadavg: 8.24 8.20 8.10 9/188 21248
/proc/meminfo: memFree=24567308/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=737312 CPUtime=4242.58 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 605795 0 0 0 424007 251 0 0 25 0 4 0 519050896 755007488 123385 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 184328 123385 389 106 0 179299 0
[pid=21204/tid=21205] ppid=21202 vsize=737312 CPUtime=1055.65 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 147026 0 0 0 105502 63 0 0 25 0 4 0 519050896 755007488 123385 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=737312 CPUtime=1062.3 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 150881 0 0 0 106165 65 0 0 25 0 4 0 519050896 755007488 123385 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=737312 CPUtime=1062.31 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 144959 0 0 0 106170 61 0 0 25 0 4 0 519050896 755007488 123385 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.58
Current children cumulated vsize (KiB) 737312

[startup+1122.3 s]
/proc/loadavg: 8.34 8.22 8.11 10/188 21250
/proc/meminfo: memFree=24532548/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=787828 CPUtime=4482.26 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 628103 0 0 0 447964 262 0 0 25 0 4 0 519050896 806735872 130602 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 196957 130602 389 106 0 191928 0
[pid=21204/tid=21205] ppid=21202 vsize=787828 CPUtime=1115.33 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 154409 0 0 0 111467 66 0 0 25 0 4 0 519050896 806735872 130602 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=787828 CPUtime=1122.29 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 155065 0 0 0 112162 67 0 0 25 0 4 0 519050896 806735872 130602 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=787828 CPUtime=1122.31 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 150476 0 0 0 112167 64 0 0 25 0 4 0 519050896 806735872 130602 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.26
Current children cumulated vsize (KiB) 787828

[startup+1182.3 s]
/proc/loadavg: 8.30 8.22 8.11 9/188 21251
/proc/meminfo: memFree=24520748/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=681772 CPUtime=4721.94 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 648625 0 0 0 471920 274 0 0 25 0 4 0 519050896 698134528 130050 33554432000 4194304 4627427 140733431981312 18446744073709551615 4327640 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 170443 130050 389 106 0 165414 0
[pid=21204/tid=21205] ppid=21202 vsize=681772 CPUtime=1175.01 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 160992 0 0 0 117432 69 0 0 25 0 4 0 519050896 698134528 130050 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=681772 CPUtime=1182.3 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 159763 0 0 0 118160 70 0 0 25 0 4 0 519050896 698134528 130050 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=681772 CPUtime=1182.31 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 157425 0 0 0 118162 69 0 0 25 0 4 0 519050896 698134528 130050 33554432000 4194304 4627427 140733431981312 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.94
Current children cumulated vsize (KiB) 681772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.22 8.21 8.11 5/183 21253
/proc/meminfo: memFree=24843800/32951124 swapFree=67111524/67111528
[pid=21204] ppid=21202 vsize=736592 CPUtime=4800.25 cores=1,3,5,7
/proc/21204/stat : 21204 (strangenight2-m) R 21202 21204 20824 0 -1 4202496 653430 0 0 0 479749 276 0 0 25 0 4 0 519050896 754270208 134619 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309186 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21204/statm: 184148 134619 389 106 0 179119 0
[pid=21204/tid=21205] ppid=21202 vsize=736592 CPUtime=1194.5 cores=1,3,5,7
/proc/21204/task/21205/stat : 21205 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 162225 0 0 0 119380 70 0 0 25 0 4 0 519050896 754270208 134619 33554432000 4194304 4627427 140733431981312 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21204/tid=21206] ppid=21202 vsize=736592 CPUtime=1201.91 cores=1,3,5,7
/proc/21204/task/21206/stat : 21206 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 161908 0 0 0 120120 71 0 0 25 0 4 0 519050896 754270208 134619 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21204/tid=21207] ppid=21202 vsize=736592 CPUtime=1201.92 cores=1,3,5,7
/proc/21204/task/21207/stat : 21207 (strangenight2-m) R 21202 21204 20824 0 -1 4202560 158699 0 0 0 120122 70 0 0 25 0 4 0 519050896 754270208 134619 33554432000 4194304 4627427 140733431981312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 736592

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): 1201.94
CPU time (s): 4800.31
CPU user time (s): 4797.52
CPU system time (s): 2.79357
CPU usage (%): 399.382
Max. virtual memory (cumulated for all children) (KiB): 905568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.52
system time used= 2.79357
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653430
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= 547
involuntary context switches= 22466

runsolver used 1.75773 second user time and 4.81627 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 12:55:27
IDJOB=3173968
IDBENCH=82786
IDSOLVER=1586
FILE ID=node132/3173968-1304074527
RUNJOBID= node132-1304072119-20994
PBS_JOBID= 13170489
Free space on /tmp= 71868 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173968-1304074527/watcher-3173968-1304074527 -o /tmp/evaluation-result-3173968-1304074527/solver-3173968-1304074527 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173968-1304074527.cnf

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

MD5SUM BENCH= 7a11fe5a7b45a740269507e820ccb021
RANDOM SEED=736603147

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:     32951124 kB
MemFree:      25381756 kB
Buffers:        767940 kB
Cached:        6235600 kB
SwapCached:          4 kB
Active:        2080104 kB
Inactive:      4992376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25381756 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11276 kB
Writeback:          52 kB
AnonPages:       68696 kB
Mapped:          15312 kB
Slab:           435484 kB
PageTables:       4568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   275032 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71868 MiB
End job on node132 at 2011-04-29 13:15:31