Trace number 3366377

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.11 1203.24

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366377-1305402885.cnf'
0.00/0.01	c -- header says num vars:            600
0.00/0.01	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.11	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.11	c calculated reachability. Time: 0.00
0.00/0.11	c Calc default polars -  time:   0.00 s pos:     266 undec:      80 neg:     254
0.00/0.11	c =========================================================================================
0.00/0.11	c types(t): F = full restart, N = normal restart
0.00/0.11	c types(t): S = simplification begin/end, E = solution found
0.00/0.11	c restart types(rt): st = static, dy = dynamic
0.00/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.11	c  B st     0         0       585      2542         0         0      7720         0   no data   no data
0.00/0.11	c Decided on static restart strategy
0.42/0.17	c  N st     8      4915       585      2542         0      4850      7720    124533   no data   no data
1.57/0.43	c  N st    10     11298       585      2542         0      4498      7720     81964   no data   no data
2.37/0.70	c  N st    11     17042       585      2542         0     10175      7720    231233   no data   no data
4.39/1.12	c  F st    12     25000       585      2542         0     12434      7720    286289   no data   no data
4.39/1.12	c  N st    12     25000       585      2542         0     12434      7720    286289   no data   no data
5.16/1.36	c Decided on static restart strategy
5.16/1.36	c  N st    18     30000       585      2542         0     10714      7720    224867   no data   no data
5.16/1.36	c  S st    18     30000       585      2542         0     10714      7720    224867   no data   no data
5.16/1.39	c  S st    18     30503       585      2542         0     11217      7720    237742   no data   no data
5.16/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.39	c blocked clauses removed:        0 vars:      0 tried:         585 T: 0.00 s
5.16/1.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
5.16/1.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.16/1.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.40	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.16/1.88	c  N st    20     37617       585      2542         0     10100      7720    183544   no data   no data
8.77/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.45	c  S st    22     46257       585      2542         0      9802      7720    155561   no data   no data
9.55/2.45	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.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  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.47	c lits-rem:        13  cl-subs:       56  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.47	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
9.55/2.47	c vivif2 --  cl tried     9746 cl shrink        0 lits rem          0 time: 0.00
9.55/2.48	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.01
9.55/2.48	c calculated reachability. Time: 0.00
9.55/2.48	c  N st    22     46257       585      2542         0      9746      7720    154160   no data   no data
13.58/3.45	c  N st    23     60654       585      2542         0     14040      7720    254018   no data   no data
15.93/4.07	c  N st    24     69385       585      2542         0     11872      7720    186769   no data   no data
15.93/4.07	c  S st    24     69385       585      2542         0     11872      7720    186769   no data   no data
16.33/4.10	c  S st    24     69891       585      2542         0     12377      7720    199765   no data   no data
16.33/4.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.33/4.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.33/4.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
16.33/4.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.33/4.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.13	c lits-rem:        22  cl-subs:      172  v-elim:      0  v-fix:    0  time:  0.02 s
16.33/4.13	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
16.33/4.14	c vivif2 --  cl tried    12205 cl shrink        0 lits rem          0 time: 0.00
16.33/4.14	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.01
16.33/4.14	c calculated reachability. Time: 0.00
16.33/4.14	c  N st    24     69891       585      2542         0     12205      7720    195539   no data   no data
21.52/5.43	c  F st    25     87500       585      2542         0     17649      7720    339163   no data   no data
21.52/5.43	c  N st    25     87500       585      2542         0     17649      7720    339163   no data   no data
22.72/5.80	c Decided on static restart strategy
23.92/6.01	c  N st    32     95539       585      2542         0     25605      7720    560293   no data   no data
26.33/6.70	c  N st    34    104836       585      2542         0     21939      7720    409632   no data   no data
26.33/6.70	c  S st    34    104836       585      2542         0     21939      7720    409632   no data   no data
26.74/6.76	c  S st    34    105340       585      2542         0     22442      7720    422380   no data   no data
26.74/6.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.74/6.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.74/6.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
26.74/6.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.74/6.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.74/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.90/7.00	c lits-rem:       138  cl-subs:     1131  v-elim:      0  v-fix:    0  time:  0.21 s
27.90/7.00	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
27.90/7.00	c vivif2 --  cl tried    21311 cl shrink        0 lits rem          0 time: 0.00
27.90/7.01	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.01
27.90/7.01	c calculated reachability. Time: 0.00
27.90/7.01	c  N st    34    105340       585      2542         0     21311      7720    393572   no data   no data
31.14/7.84	c  N st    35    114941       585      2542         0     16984      7720    260749   no data   no data
35.88/9.08	c  N st    36    129338       585      2542         0     16418      7720    237197   no data   no data
43.47/10.97	c  N st    37    150936       585      2542         0     21890      7720    371035   no data   no data
46.26/11.61	c  S st    38    158011       585      2542         0     28819      7720    549974   no data   no data
46.26/11.68	c  S st    38    158512       585      2542         0     29320      7720    562963   no data   no data
46.26/11.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.26/11.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.26/11.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.26/11.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.26/11.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.66/11.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
46.66/11.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.66/11.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.66/11.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.69/12.22	c lits-rem:       250  cl-subs:     1569  v-elim:      0  v-fix:    0  time:  0.50 s
48.69/12.22	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
48.69/12.22	c vivif2 --  cl tried    27751 cl shrink        0 lits rem          0 time: 0.01
48.69/12.24	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.02
48.69/12.24	c calculated reachability. Time: 0.00
48.69/12.24	c  N st    38    158512       585      2542         0     27751      7720    521361   no data   no data
67.40/16.98	c  N st    39    207101       585      2542         0     22399      7720    339115   no data   no data
80.57/20.20	c  N st    40    237768       585      2542         0     32830      7720    601645   no data   no data
80.57/20.20	c  S st    40    237768       585      2542         0     32830      7720    601645   no data   no data
80.97/20.31	c  S st    40    238270       585      2542         0     33331      7720    614404   no data   no data
80.97/20.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.97/20.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.97/20.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.97/20.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.97/20.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.97/20.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
80.97/20.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
80.97/20.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.97/20.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.80/21.08	c lits-rem:       160  cl-subs:     2115  v-elim:      0  v-fix:    0  time:  0.72 s
83.80/21.08	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
83.80/21.08	c vivif2 --  cl tried    31216 cl shrink        0 lits rem          0 time: 0.01
84.16/21.10	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.02
84.16/21.11	c calculated reachability. Time: 0.00
84.16/21.11	c  N st    40    238270       585      2542         0     31216      7720    559617   no data   no data
114.89/28.86	c  F st    41    306250       585      2542         0     33466      7720    555211   no data   no data
114.89/28.86	c  N st    41    306250       585      2542         0     33466      7720    555211   no data   no data
117.28/29.47	c Decided on static restart strategy
127.27/31.98	c  N st    51    334565       585      2542         0     37690      7720    675773   no data   no data
138.42/34.79	c  N st    53    357406       585      2542         0     35615      7720    602329   no data   no data
138.42/34.79	c  S st    53    357406       585      2542         0     35615      7720    602329   no data   no data
138.82/34.88	c  S st    53    357915       585      2542         0     36123      7720    615514   no data   no data
138.82/34.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.82/34.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
138.82/34.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.82/34.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.82/34.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.82/34.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
138.82/34.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
139.22/34.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
139.22/34.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.02/35.16	c lits-rem:       100  cl-subs:      737  v-elim:      0  v-fix:    0  time:  0.24 s
140.02/35.16	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
140.02/35.17	c vivif2 --  cl tried    35386 cl shrink        0 lits rem          0 time: 0.01
140.02/35.20	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.02
140.02/35.20	c calculated reachability. Time: 0.00
140.02/35.20	c  N st    53    357915       585      2542         0     35386      7720    593749   no data   no data
158.77/39.84	c  N st    54    390307       585      2542         0     41599      7720    722418   no data   no data
185.10/46.41	c  N st    55    438898       585      2542         0     35229      7720    526963   no data   no data
228.99/57.41	c  N st    56    511781       585      2542         0     48529      7720    851913   no data   no data
245.36/61.58	c  N st    57    536872       585      2542         0     42874      7720    689098   no data   no data
245.36/61.58	c  S st    57    536872       585      2542         0     42874      7720    689098   no data   no data
245.78/61.68	c  S st    57    537373       585      2542         0     43375      7720    701050   no data   no data
245.78/61.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
245.78/61.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
245.78/61.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
245.78/61.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
245.78/61.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.78/61.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
245.78/61.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
246.19/61.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
246.19/61.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
248.14/62.22	c lits-rem:       292  cl-subs:     1179  v-elim:      0  v-fix:    0  time:  0.49 s
248.14/62.22	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
248.14/62.23	c vivif2 --  cl tried    42196 cl shrink        0 lits rem          0 time: 0.01
248.14/62.26	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.03
248.14/62.27	c calculated reachability. Time: 0.00
248.14/62.27	c  N st    57    537373       585      2542         0     42196      7720    667953   no data   no data
350.28/87.84	c  N st    58    701357       585      2542         0     36490      7720    419790   no data   no data
423.30/106.11	c  N st    59    806060       585      2542         0     65706      7720   1214798   no data   no data
423.30/106.11	c  S st    59    806060       585      2542         0     65706      7720   1214798   no data   no data
424.10/106.31	c  S st    59    806566       585      2542         0     66211      7720   1227810   no data   no data
424.10/106.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
424.10/106.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
424.10/106.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
424.10/106.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
424.10/106.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
424.10/106.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
424.10/106.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
424.10/106.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
424.50/106.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.49/108.43	c lits-rem:       543  cl-subs:     2298  v-elim:      0  v-fix:    0  time:  2.03 s
432.49/108.43	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
432.49/108.45	c vivif2 --  cl tried    63913 cl shrink        0 lits rem          0 time: 0.01
432.89/108.51	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.06
432.89/108.51	c calculated reachability. Time: 0.00
432.89/108.51	c  N st    59    806566       585      2542         0     63913      7720   1167233   no data   no data
642.75/161.16	c  F st    60   1071875       585      2542         0     79599      7720   1459656   no data   no data
642.75/161.16	c  N st    60   1071875       585      2542         0     79599      7720   1459656   no data   no data
649.97/162.93	c Decided on static restart strategy
666.69/167.19	c  N st    70   1100184       585      2542         0     63433      7720   1010765   no data   no data
699.40/175.31	c  N st    72   1136180       585      2542         0     53637      7720    703903   no data   no data
728.13/182.56	c  N st    73   1168573       585      2542         0     85287      7720   1548076   no data   no data
766.43/192.14	c  N st    74   1209850       585      2542         0     79683      7720   1402561   no data   no data
766.43/192.14	c  S st    74   1209850       585      2542         0     79683      7720   1402561   no data   no data
767.23/192.39	c  S st    74   1210353       585      2542         0     80185      7720   1416346   no data   no data
767.23/192.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
767.63/192.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
767.63/192.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
767.63/192.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
767.63/192.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
767.63/192.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
767.63/192.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
767.63/192.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
767.63/192.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
791.56/198.46	c lits-rem:       555  cl-subs:     3619  v-elim:      0  v-fix:    0  time:  5.97 s
791.56/198.46	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
791.56/198.48	c vivif2 --  cl tried    76566 cl shrink        0 lits rem          0 time: 0.02
791.96/198.58	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.10
791.96/198.58	c calculated reachability. Time: 0.00
791.96/198.58	c  N st    74   1210353       585      2542         0     76566      7720   1313232   no data   no data
866.58/217.29	c  N st    75   1283235       585      2542         0     52874      7720    614063   no data   no data
975.90/244.64	c  N st    76   1392560       585      2542         0     60974      7720    800088   no data   no data
1133.10/284.02	c  N st    77   1556545       585      2542         0     65947      7720    929893   no data   no data
1289.51/323.28	c  N st    78   1710353       585      2542         0    108052      7720   2183090   no data   no data
1289.51/323.28	c  S st    78   1710353       585      2542         0    108052      7720   2183090   no data   no data
1291.10/323.61	c  S st    78   1710856       585      2542         0    108554      7720   2196345   no data   no data
1291.10/323.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1291.10/323.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1291.10/323.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1291.10/323.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1291.10/323.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1291.10/323.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1291.10/323.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1291.50/323.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1291.50/323.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1339.78/335.83	c lits-rem:      1840  cl-subs:     5473  v-elim:      0  v-fix:    0  time: 12.06 s
1339.78/335.83	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
1339.78/335.85	c vivif2 --  cl tried   103081 cl shrink        0 lits rem          0 time: 0.03
1340.18/335.97	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.11
1340.18/335.97	c calculated reachability. Time: 0.00
1340.18/335.97	c  N st    78   1710856       585      2542         0    103081      7720   2035020   no data   no data
1751.91/439.16	c  N st    79   2079820       585      2542         0    114624      7720   2278333   no data   no data
1898.35/475.83	c  N st    80   2210858       585      2542         0    118581      7720   2193428   no data   no data
1898.35/475.83	c  S st    80   2210858       585      2542         0    118581      7720   2193428   no data   no data
1899.95/476.27	c  S st    80   2211364       585      2542         0    119087      7720   2206081   no data   no data
1899.95/476.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1900.37/476.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
1900.37/476.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1900.37/476.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1900.37/476.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1900.37/476.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1900.37/476.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1900.37/476.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1900.78/476.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1952.22/489.34	c lits-rem:       815  cl-subs:     7329  v-elim:      0  v-fix:    0  time: 12.91 s
1952.22/489.34	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
1952.22/489.37	c vivif2 --  cl tried   111758 cl shrink        0 lits rem          0 time: 0.03
1952.62/489.50	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.13
1952.62/489.50	c calculated reachability. Time: 0.00
1952.62/489.50	c  N st    80   2211364       585      2542         0    111758      7720   2023747   no data   no data
2555.08/640.68	c  N st    81   2711364       585      2542         0    135181      7720   2590653   no data   no data
2555.08/640.68	c  S st    81   2711364       585      2542         0    135181      7720   2590653   no data   no data
2557.07/641.16	c  S st    81   2711866       585      2542         0    135682      7720   2603664   no data   no data
2557.07/641.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2557.47/641.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2557.47/641.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2557.47/641.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2557.47/641.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2557.47/641.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
2557.47/641.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2557.47/641.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2557.89/641.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2646.84/663.62	c lits-rem:       442  cl-subs:     9742  v-elim:      0  v-fix:    0  time: 22.26 s
2646.84/663.62	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
2646.84/663.66	c vivif2 --  cl tried   125940 cl shrink        0 lits rem          0 time: 0.04
2647.64/663.83	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.17
2647.64/663.84	c calculated reachability. Time: 0.00
2647.64/663.84	c  N st    81   2711866       585      2542         0    125940      7720   2355366   no data   no data
3338.76/837.04	c  N st    82   3211868       585      2542         0    102049      7720   1487236   no data   no data
3338.76/837.04	c  S st    82   3211868       585      2542         0    102049      7720   1487236   no data   no data
3339.95/837.37	c  S st    82   3212371       585      2542         0    102551      7720   1501107   no data   no data
3339.95/837.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3340.35/837.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3340.35/837.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3340.35/837.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3340.35/837.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3340.35/837.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
3340.35/837.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3340.35/837.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3340.75/837.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3351.12/840.16	c lits-rem:       331  cl-subs:     2454  v-elim:      0  v-fix:    0  time:  2.66 s
3351.12/840.16	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
3351.12/840.18	c vivif2 --  cl tried   100097 cl shrink        0 lits rem          0 time: 0.02
3351.52/840.29	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.11
3351.92/840.30	c calculated reachability. Time: 0.00
3351.92/840.30	c  N st    82   3212371       585      2542         0    100097      7720   1434734   no data   no data
4110.91/1030.52	c  N st    83   3712371       585      2542         0    110410      7720   1577249   no data   no data
4110.91/1030.52	c  S st    83   3712371       585      2542         0    110410      7720   1577249   no data   no data
4112.14/1030.89	c  S st    83   3712876       585      2542         0    110914      7720   1590368   no data   no data
4112.50/1030.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4112.50/1030.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
4112.50/1030.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4112.50/1030.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4112.50/1030.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4112.50/1030.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
4112.50/1030.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4112.50/1030.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4112.89/1031.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4143.61/1038.79	c lits-rem:       586  cl-subs:     4361  v-elim:      0  v-fix:    0  time:  7.77 s
4143.61/1038.79	c vivif2 --  cl tried     2542 cl shrink        0 lits rem          0 time: 0.00
4144.01/1038.82	c vivif2 --  cl tried   106553 cl shrink        0 lits rem          0 time: 0.03
4144.41/1038.98	c asymm  cl-useful: 0/2542/2542 lits-rem:0 time: 0.15
4144.41/1038.98	c calculated reachability. Time: 0.00
4144.41/1038.98	c  N st    83   3712876       585      2542         0    106553      7720   1477816   no data   no data
4215.04/1056.65	c  F st    84   3751563       585      2542         0    144435      7720   2561469   no data   no data
4215.04/1056.65	c  N st    84   3751563       585      2542         0    144435      7720   2561469   no data   no data
4264.12/1068.96	c  N dy   129   3771660       585      2542         0    164262      7720   3096792     17.61     21.15
4298.04/1077.43	c  N dy   240   3791677       585      2542         0    100926      7720   1226806     18.26     21.86
4340.73/1088.14	c  N dy   295   3811839       585      2542         0    120768      7720   1736335     18.04     18.99
4395.40/1101.82	c  N dy   353   3834441       585      2542         0    143022      7720   2310004     17.89     19.11
4449.68/1115.42	c  N dy   443   3854488       585      2542         0    162808      7720   2824845     17.97     23.11
4487.58/1124.98	c  N dy   506   3874766       585      2542         0     98401      7720   1113335     17.90     19.13
4549.82/1140.59	c  N dy   561   3910124       585      2542         0    133094      7720   1977659     17.56     18.59
4606.08/1154.64	c  N dy   685   3932570       585      2542         0    155288      7720   2564491     17.68     18.83
4659.96/1168.19	c  N dy   796   3952643       585      2542         0     89538      7720    838627     17.78     18.73
4693.08/1176.43	c  N dy   874   3973649       585      2542         0    110250      7720   1374871     17.77     18.79
4736.17/1187.22	c  N dy   973   3994019       585      2542         0    130311      7720   1894558     17.79     18.84
4782.86/1198.99	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366377-1305402885/watcher-3366377-1305402885 -o /tmp/evaluation-result-3366377-1305402885/solver-3366377-1305402885 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366377-1305402885.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: 7.80 8.02 8.00 5/311 13825
/proc/meminfo: memFree=12022492/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 651887296 52396032 348 33554432000 4194304 4580107 140735441170240 18446744073709551615 47967185827762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 12792 348 299 95 0 7774 0
[pid=13825/tid=13826] ppid=13823 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651887296 52396032 353 33554432000 4194304 4580107 140735441170240 18446744073709551615 47967185827756 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651887296 52396032 353 33554432000 4194304 4580107 140735441170240 18446744073709551615 47967185827344 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651887296 52396032 353 33554432000 4194304 4580107 140735441170240 18446744073709551615 47967185827353 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.113225 s]
/proc/loadavg: 7.80 8.02 8.00 5/311 13825
/proc/meminfo: memFree=12022492/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=282120 CPUtime=0.42 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 1852 0 0 0 42 0 0 0 25 0 4 0 651887296 288890880 1693 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 70530 1693 377 95 0 65512 0
[pid=13825/tid=13826] ppid=13823 vsize=282120 CPUtime=0.1 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 376 0 0 0 10 0 0 0 25 0 4 0 651887296 288890880 1693 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=282120 CPUtime=0.1 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 375 0 0 0 10 0 0 0 25 0 4 0 651887296 288890880 1694 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=282120 CPUtime=0.1 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 296 0 0 0 10 0 0 0 25 0 4 0 651887296 288890880 1694 33554432000 4194304 4580107 140735441170240 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282120

[startup+0.201154 s]
/proc/loadavg: 7.80 8.02 8.00 5/311 13825
/proc/meminfo: memFree=12022492/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=283392 CPUtime=0.77 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 2510 0 0 0 77 0 0 0 25 0 4 0 651887296 290193408 1730 33554432000 4194304 4580107 140735441170240 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 70848 1730 377 95 0 65830 0
[pid=13825/tid=13826] ppid=13823 vsize=283392 CPUtime=0.19 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 539 0 0 0 19 0 0 0 25 0 4 0 651887296 290193408 1730 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=283392 CPUtime=0.19 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 544 0 0 0 19 0 0 0 25 0 4 0 651887296 290193408 1730 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=283392 CPUtime=0.19 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 460 0 0 0 19 0 0 0 25 0 4 0 651887296 290193408 1730 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283392

[startup+0.301136 s]
/proc/loadavg: 7.80 8.02 8.00 5/311 13825
/proc/meminfo: memFree=12022492/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=283688 CPUtime=1.17 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 2946 0 0 0 117 0 0 0 25 0 4 0 651887296 290496512 2166 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294460 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 70922 2166 377 95 0 65904 0
[pid=13825/tid=13826] ppid=13823 vsize=283688 CPUtime=0.29 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 645 0 0 0 29 0 0 0 25 0 4 0 651887296 290496512 2166 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=283688 CPUtime=0.28 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 650 0 0 0 28 0 0 0 25 0 4 0 651887296 290496512 2167 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=283688 CPUtime=0.29 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 574 0 0 0 29 0 0 0 25 0 4 0 651887296 290496512 2167 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283688

[startup+0.701066 s]
/proc/loadavg: 7.80 8.02 8.00 5/311 13825
/proc/meminfo: memFree=12022492/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=284500 CPUtime=2.76 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 4600 0 0 0 276 0 0 0 25 0 4 0 651887296 291328000 2879 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 71125 2879 377 95 0 66107 0
[pid=13825/tid=13826] ppid=13823 vsize=284500 CPUtime=0.69 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 1070 0 0 0 69 0 0 0 25 0 4 0 651887296 291328000 2879 33554432000 4194304 4580107 140735441170240 18446744073709551615 4321176 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=284500 CPUtime=0.68 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 1067 0 0 0 68 0 0 0 25 0 4 0 651887296 291328000 2879 33554432000 4194304 4580107 140735441170240 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=284500 CPUtime=0.69 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 977 0 0 0 69 0 0 0 25 0 4 0 651887296 291328000 2879 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284500

[startup+1.50093 s]
/proc/loadavg: 7.80 8.02 8.00 9/315 13829
/proc/meminfo: memFree=12009936/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=285904 CPUtime=5.96 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 9349 0 0 0 595 1 0 0 25 0 4 0 651887296 292765696 4737 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 71476 4737 379 95 0 66458 0
[pid=13825/tid=13826] ppid=13823 vsize=285904 CPUtime=1.48 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 1903 0 0 0 148 0 0 0 25 0 4 0 651887296 292765696 4737 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=285904 CPUtime=1.47 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 1888 0 0 0 147 0 0 0 25 0 4 0 651887296 292765696 4737 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=285904 CPUtime=1.48 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 1798 0 0 0 148 0 0 0 25 0 4 0 651887296 292765696 4737 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285904

[startup+3.10065 s]
/proc/loadavg: 7.80 8.02 8.00 9/315 13829
/proc/meminfo: memFree=11997040/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=284560 CPUtime=12.35 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 19086 0 0 0 1232 3 0 0 25 0 4 0 651887296 291389440 10136 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 71140 10136 379 95 0 66122 0
[pid=13825/tid=13826] ppid=13823 vsize=284560 CPUtime=3.08 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 4089 0 0 0 308 0 0 0 25 0 4 0 651887296 291389440 10136 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=284560 CPUtime=3.06 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 5157 0 0 0 306 0 0 0 25 0 4 0 651887296 291389440 10136 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=284560 CPUtime=3.08 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 4778 0 0 0 308 0 0 0 25 0 4 0 651887296 291389440 10136 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 284560

[startup+6.30109 s]
/proc/loadavg: 7.81 8.02 8.00 9/315 13829
/proc/meminfo: memFree=11969892/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=294396 CPUtime=25.11 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 29413 0 0 0 2506 5 0 0 25 0 4 0 651887296 301461504 13205 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 73599 13205 379 95 0 68581 0
[pid=13825/tid=13826] ppid=13823 vsize=294396 CPUtime=6.28 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 6771 0 0 0 627 1 0 0 25 0 4 0 651887296 301461504 13205 33554432000 4194304 4580107 140735441170240 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=294396 CPUtime=6.22 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 8403 0 0 0 622 0 0 0 25 0 4 0 651887296 301461504 13205 33554432000 4194304 4580107 140735441170240 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=294396 CPUtime=6.29 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 6598 0 0 0 628 1 0 0 25 0 4 0 651887296 301461504 13205 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 294396

[startup+12.701 s]
/proc/loadavg: 7.83 8.02 8.00 9/315 13829
/proc/meminfo: memFree=11915384/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=294184 CPUtime=50.64 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 45836 0 0 0 5055 9 0 0 25 0 4 0 651887296 301244416 24320 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 73546 24320 379 95 0 68528 0
[pid=13825/tid=13826] ppid=13823 vsize=294184 CPUtime=12.68 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 11586 0 0 0 1266 2 0 0 25 0 4 0 651887296 301244416 24320 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=294184 CPUtime=12.56 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 11486 0 0 0 1254 2 0 0 25 0 4 0 651887296 301244416 24320 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=294184 CPUtime=12.69 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 10179 0 0 0 1267 2 0 0 25 0 4 0 651887296 301244416 24320 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 294184

[startup+25.5007 s]
/proc/loadavg: 7.86 8.02 8.00 9/315 13830
/proc/meminfo: memFree=11894776/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=292864 CPUtime=101.71 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 64051 0 0 0 10158 13 0 0 25 0 4 0 651887296 299892736 29029 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 73216 29029 379 95 0 68198 0
[pid=13825/tid=13826] ppid=13823 vsize=292864 CPUtime=25.48 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 18775 0 0 0 2545 3 0 0 25 0 4 0 651887296 299892736 29029 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=292864 CPUtime=25.23 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 15913 0 0 0 2520 3 0 0 25 0 4 0 651887296 299892736 29029 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=292864 CPUtime=25.49 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 11257 0 0 0 2547 2 0 0 25 0 4 0 651887296 299892736 29029 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 292864

[startup+51.1012 s]
/proc/loadavg: 8.05 8.05 8.01 9/315 13831
/proc/meminfo: memFree=11848908/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=361712 CPUtime=203.86 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 94973 0 0 0 20366 20 0 0 25 0 4 0 651887296 370393088 39811 33554432000 4194304 4580107 140735441170240 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 90428 39811 379 95 0 85410 0
[pid=13825/tid=13826] ppid=13823 vsize=361712 CPUtime=51.09 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 27688 0 0 0 5103 6 0 0 25 0 4 0 651887296 370393088 39811 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=361712 CPUtime=50.57 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 24231 0 0 0 5053 4 0 0 25 0 4 0 651887296 370393088 39811 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=361712 CPUtime=51.09 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 17712 0 0 0 5105 4 0 0 25 0 4 0 651887296 370393088 39811 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293700 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 361712

[startup+102.301 s]
/proc/loadavg: 8.09 8.06 8.01 9/315 13832
/proc/meminfo: memFree=11784020/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=371624 CPUtime=408.17 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 137610 0 0 0 40783 34 0 0 25 0 4 0 651887296 380542976 49012 33554432000 4194304 4580107 140735441170240 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 92906 49012 379 95 0 87888 0
[pid=13825/tid=13826] ppid=13823 vsize=371624 CPUtime=102.29 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 36440 0 0 0 10221 8 0 0 25 0 4 0 651887296 380542976 49014 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=371624 CPUtime=101.27 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 32979 0 0 0 10120 7 0 0 25 0 4 0 651887296 380542976 49014 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=371624 CPUtime=102.3 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 30680 0 0 0 10222 8 0 0 25 0 4 0 651887296 380542976 49014 33554432000 4194304 4580107 140735441170240 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 371624

[startup+162.301 s]

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

[pid=13825] ppid=13823 vsize=686000 CPUtime=2801.26 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 417282 0 0 0 279984 142 0 0 25 0 4 0 651887296 702464000 112286 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 171500 112286 379 95 0 166482 0
[pid=13825/tid=13826] ppid=13823 vsize=686000 CPUtime=702.3 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 117839 0 0 0 70191 39 0 0 25 0 4 0 651887296 702464000 112286 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=686000 CPUtime=695.11 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 102910 0 0 0 69474 37 0 0 25 0 4 0 651887296 702464000 112286 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=686000 CPUtime=702.28 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 80525 0 0 0 70200 28 0 0 25 0 4 0 651887296 702464000 112286 33554432000 4194304 4580107 140735441170240 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.26
Current children cumulated vsize (KiB) 686000

[startup+762.301 s]
/proc/loadavg: 5.30 7.28 7.75 5/306 13879
/proc/meminfo: memFree=11881992/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=674176 CPUtime=3040.7 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 443573 0 0 0 303915 155 0 0 25 0 4 0 651887296 690356224 112192 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 168544 112192 379 95 0 163526 0
[pid=13825/tid=13826] ppid=13823 vsize=674176 CPUtime=762.31 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 126132 0 0 0 76189 42 0 0 25 0 4 0 651887296 690356224 112194 33554432000 4194304 4580107 140735441170240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=674176 CPUtime=754.54 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 109619 0 0 0 75415 39 0 0 25 0 4 0 651887296 690356224 112194 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=674176 CPUtime=762.29 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 87120 0 0 0 76197 32 0 0 25 0 4 0 651887296 690356224 112194 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.7
Current children cumulated vsize (KiB) 674176

[startup+822.301 s]
/proc/loadavg: 4.51 6.69 7.51 5/306 13881
/proc/meminfo: memFree=11892364/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=651468 CPUtime=3280.1 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 474745 0 0 0 327844 166 0 0 25 0 4 0 651887296 667103232 116314 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 162867 116314 379 95 0 157849 0
[pid=13825/tid=13826] ppid=13823 vsize=651468 CPUtime=822.31 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 133382 0 0 0 82186 45 0 0 25 0 4 0 651887296 667103232 116314 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=651468 CPUtime=813.96 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 113299 0 0 0 81355 41 0 0 25 0 4 0 651887296 667103232 116314 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=651468 CPUtime=822.29 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 100667 0 0 0 82193 36 0 0 25 0 4 0 651887296 667103232 116314 33554432000 4194304 4580107 140735441170240 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.1
Current children cumulated vsize (KiB) 651468

[startup+882.311 s]
/proc/loadavg: 4.18 6.20 7.29 5/306 13883
/proc/meminfo: memFree=11866516/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=716048 CPUtime=3519.53 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 496642 0 0 0 351778 175 0 0 25 0 4 0 651887296 733233152 116251 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 179012 116251 379 95 0 173994 0
[pid=13825/tid=13826] ppid=13823 vsize=716048 CPUtime=882.32 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 142154 0 0 0 88185 47 0 0 25 0 4 0 651887296 733233152 116251 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=716048 CPUtime=873.37 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 119528 0 0 0 87293 44 0 0 25 0 4 0 651887296 733233152 116251 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=716048 CPUtime=882.29 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 104776 0 0 0 88191 38 0 0 25 0 4 0 651887296 733233152 116251 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.53
Current children cumulated vsize (KiB) 716048

[startup+942.301 s]
/proc/loadavg: 4.14 5.81 7.09 5/306 13884
/proc/meminfo: memFree=11839820/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=651900 CPUtime=3758.93 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 524846 0 0 0 375705 188 0 0 25 0 4 0 651887296 667545600 123159 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 162975 123159 379 95 0 157957 0
[pid=13825/tid=13826] ppid=13823 vsize=651900 CPUtime=942.3 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 148572 0 0 0 94180 50 0 0 25 0 4 0 651887296 667545600 123159 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=651900 CPUtime=932.8 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 128114 0 0 0 93232 48 0 0 25 0 4 0 651887296 667545600 123159 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=651900 CPUtime=942.28 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 111453 0 0 0 94186 42 0 0 25 0 4 0 651887296 667545600 123159 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.93
Current children cumulated vsize (KiB) 651900

[startup+1002.3 s]
/proc/loadavg: 4.12 5.50 6.90 5/306 13886
/proc/meminfo: memFree=11855160/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=665292 CPUtime=3998.36 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 552774 0 0 0 399636 200 0 0 25 0 4 0 651887296 681259008 119161 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 166323 119161 379 95 0 161305 0
[pid=13825/tid=13826] ppid=13823 vsize=665292 CPUtime=1002.3 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 155616 0 0 0 100177 53 0 0 25 0 4 0 651887296 681259008 119161 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=665292 CPUtime=992.22 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 135009 0 0 0 99172 50 0 0 25 0 4 0 651887296 681259008 119161 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=665292 CPUtime=1002.28 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 118539 0 0 0 100183 45 0 0 25 0 4 0 651887296 681259008 119161 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.36
Current children cumulated vsize (KiB) 665292

[startup+1062.3 s]
/proc/loadavg: 4.10 5.24 6.72 5/306 13887
/proc/meminfo: memFree=11830324/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=789232 CPUtime=4237.79 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 577305 0 0 0 423569 210 0 0 25 0 4 0 651887296 808173568 125512 33554432000 4194304 4580107 140735441170240 18446744073709551615 4306033 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 197308 125512 379 95 0 192290 0
[pid=13825/tid=13826] ppid=13823 vsize=789232 CPUtime=1062.31 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 161778 0 0 0 106175 56 0 0 25 0 4 0 651887296 808173568 125512 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=789232 CPUtime=1051.64 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 140651 0 0 0 105112 52 0 0 25 0 4 0 651887296 808173568 125512 33554432000 4194304 4580107 140735441170240 18446744073709551615 4318421 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=789232 CPUtime=1062.29 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 126419 0 0 0 106181 48 0 0 25 0 4 0 651887296 808173568 125512 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.79
Current children cumulated vsize (KiB) 789232

[startup+1122.3 s]
/proc/loadavg: 4.09 5.02 6.55 5/306 13889
/proc/meminfo: memFree=11827048/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=723448 CPUtime=4477.2 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 601925 0 0 0 447501 219 0 0 25 0 4 0 651887296 740810752 126180 33554432000 4194304 4580107 140735441170240 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 180862 126180 379 95 0 175844 0
[pid=13825/tid=13826] ppid=13823 vsize=723448 CPUtime=1122.31 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 169363 0 0 0 112173 58 0 0 25 0 4 0 651887296 740810752 126180 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=723448 CPUtime=1111.05 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 146831 0 0 0 111050 55 0 0 25 0 4 0 651887296 740810752 126180 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=723448 CPUtime=1122.29 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 132329 0 0 0 112178 51 0 0 25 0 4 0 651887296 740810752 126180 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4477.2
Current children cumulated vsize (KiB) 723448

[startup+1182.3 s]
/proc/loadavg: 4.08 4.85 6.39 5/306 13891
/proc/meminfo: memFree=11801568/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=776744 CPUtime=4716.62 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 619047 0 0 0 471435 227 0 0 25 0 4 0 651887296 795385856 132341 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 194186 132341 379 95 0 189168 0
[pid=13825/tid=13826] ppid=13823 vsize=776744 CPUtime=1182.31 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 174728 0 0 0 118171 60 0 0 25 0 4 0 651887296 795385856 132341 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=776744 CPUtime=1170.47 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 150850 0 0 0 116989 58 0 0 25 0 4 0 651887296 795385856 132341 33554432000 4194304 4580107 140735441170240 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=776744 CPUtime=1182.29 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 137823 0 0 0 118175 54 0 0 25 0 4 0 651887296 795385856 132341 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716.62
Current children cumulated vsize (KiB) 776744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 4.06 4.78 6.33 5/306 13891
/proc/meminfo: memFree=11802916/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=723660 CPUtime=4800.03 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 626145 0 0 0 479772 231 0 0 25 0 4 0 651887296 741027840 131776 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 180915 131776 379 95 0 175897 0
[pid=13825/tid=13826] ppid=13823 vsize=723660 CPUtime=1203.22 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 177369 0 0 0 120261 61 0 0 25 0 4 0 651887296 741027840 131777 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=723660 CPUtime=1191.17 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 152664 0 0 0 119058 59 0 0 25 0 4 0 651887296 741027840 131777 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=723660 CPUtime=1203.21 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 140467 0 0 0 120265 56 0 0 25 0 4 0 651887296 741027840 131777 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 723660

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

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

[startup+1203.2 s]
/proc/loadavg: 4.06 4.78 6.33 5/306 13891
/proc/meminfo: memFree=11802916/32950928 swapFree=67111348/67111528
[pid=13825] ppid=13823 vsize=723660 CPUtime=4800.03 cores=0,2,4,6
/proc/13825/stat : 13825 (strangenight2-m) R 13823 13825 13350 0 -1 4202496 626145 0 0 0 479772 231 0 0 25 0 4 0 651887296 741027840 131776 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13825/statm: 180915 131776 379 95 0 175897 0
[pid=13825/tid=13826] ppid=13823 vsize=723660 CPUtime=1203.22 cores=0,2,4,6
/proc/13825/task/13826/stat : 13826 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 177369 0 0 0 120261 61 0 0 25 0 4 0 651887296 741027840 131777 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13825/tid=13827] ppid=13823 vsize=723660 CPUtime=1191.17 cores=0,2,4,6
/proc/13825/task/13827/stat : 13827 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 152664 0 0 0 119058 59 0 0 25 0 4 0 651887296 741027840 131777 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13825/tid=13828] ppid=13823 vsize=723660 CPUtime=1203.21 cores=0,2,4,6
/proc/13825/task/13828/stat : 13828 (strangenight2-m) R 13823 13825 13350 0 -1 4202560 140467 0 0 0 120265 56 0 0 25 0 4 0 651887296 741027840 131777 33554432000 4194304 4580107 140735441170240 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 723660

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.24
CPU time (s): 4800.11
CPU user time (s): 4797.77
CPU system time (s): 2.33864
CPU usage (%): 398.931
Max. virtual memory (cumulated for all children) (KiB): 881972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.77
system time used= 2.33864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 626147
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= 197
involuntary context switches= 20755

runsolver used 3.55046 second user time and 8.35373 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-14 21:54:45
IDJOB=3366377
IDBENCH=82786
IDSOLVER=1844
FILE ID=node120/3366377-1305402885
RUNJOBID= node120-1305401168-13664
PBS_JOBID= 13324463
Free space on /tmp= 73504 MiB

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

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

MD5SUM BENCH= 7a11fe5a7b45a740269507e820ccb021
RANDOM SEED=563671498

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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:      12022772 kB
Buffers:        256016 kB
Cached:        3577240 kB
SwapCached:          0 kB
Active:       17663872 kB
Inactive:      2976704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12022772 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5456 kB
Writeback:           0 kB
AnonPages:    16807084 kB
Mapped:          25144 kB
Slab:           174540 kB
PageTables:      49484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51987900 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= 73504 MiB
End job on node120 at 2011-05-14 22:14:51