Trace number 3366378

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.21 1203.14

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf
MD5SUMd9cece0babfb15cb3db695bd3b0b9988
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.039993
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
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-3366378-1305402898.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.06/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.06/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.06/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.06/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.06/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.06/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.06/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.06/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.06/0.10	c calculated reachability. Time: 0.00
0.06/0.10	c Calc default polars -  time:   0.00 s pos:      63 undec:       3 neg:      59
0.06/0.10	c =========================================================================================
0.06/0.10	c types(t): F = full restart, N = normal restart
0.06/0.10	c types(t): S = simplification begin/end, E = solution found
0.06/0.10	c restart types(rt): st = static, dy = dynamic
0.06/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.06/0.10	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.06/0.10	c Decided on static restart strategy
0.41/0.15	c  N st     8      4916       125      2662         0      4675     13310    124824   no data   no data
1.17/0.34	c  N st    10     11299       125      2662         0      4304     13310     88477   no data   no data
1.96/0.55	c  N st    11     17044       125      2662         0      9709     13310    226462   no data   no data
3.17/0.89	c  F st    12     25000       125      2662         0     11890     13310    278911   no data   no data
3.17/0.89	c  N st    12     25000       125      2662         0     11890     13310    278911   no data   no data
4.00/1.10	c Decided on static restart strategy
4.00/1.10	c  N st    18     30003       125      2662         0     10192     13310    222842   no data   no data
4.00/1.10	c  S st    18     30003       125      2662         0     10192     13310    222842   no data   no data
4.40/1.13	c  S st    18     30508       125      2662         0     10685     13310    235647   no data   no data
4.40/1.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.40/1.14	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.40/1.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.40/1.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.40/1.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.40/1.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.33	c lits-rem:       223  cl-subs:     1573  v-elim:      0  v-fix:    0  time:  0.19 s
5.16/1.37	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.03
5.16/1.37	c calculated reachability. Time: 0.00
5.16/1.37	c  N st    18     30508       125      2662         0      9112     13310    193391   no data   no data
6.76/1.71	c  N st    20     37620       125      2662         0      8378     13310    161221   no data   no data
7.95/2.02	c  N st    21     44021       125      2662         0     14438     13310    320509   no data   no data
8.38/2.12	c  S st    22     45763       125      2662         0     16087     13310    364550   no data   no data
8.38/2.17	c  S st    22     46266       125      2662         0     16569     13310    377071   no data   no data
8.38/2.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.38/2.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.38/2.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.38/2.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.38/2.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.38/2.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.38/2.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.38/2.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.38/2.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.63	c lits-rem:       262  cl-subs:     1762  v-elim:      0  v-fix:    0  time:  0.44 s
10.34/2.63	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
10.34/2.63	c vivif2 --  cl tried    14807 cl shrink        0 lits rem          0 time: 0.00
10.34/2.69	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
10.34/2.69	c calculated reachability. Time: 0.00
10.34/2.69	c  N st    22     46266       125      2662         0     14807     13310    329247   no data   no data
13.93/3.55	c  N st    23     60663       125      2662         0     10637     13310    190261   no data   no data
15.94/4.05	c  N st    24     69402       125      2662         0     18871     13310    408631   no data   no data
15.94/4.05	c  S st    24     69402       125      2662         0     18871     13310    408631   no data   no data
16.33/4.10	c  S st    24     69905       125      2662         0     19358     13310    421577   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.3M 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:    125 time:  0.00 s
16.33/4.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  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.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.32/4.63	c lits-rem:       469  cl-subs:     1730  v-elim:      0  v-fix:    0  time:  0.50 s
18.32/4.63	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.32/4.63	c vivif2 --  cl tried    17628 cl shrink        0 lits rem          0 time: 0.00
18.73/4.70	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
18.73/4.70	c calculated reachability. Time: 0.00
18.73/4.70	c  N st    24     69905       125      2662         0     17628     13310    374812   no data   no data
22.71/5.78	c  F st    25     87501       125      2662         0     12586     13310    222295   no data   no data
22.71/5.78	c  N st    25     87501       125      2662         0     12586     13310    222295   no data   no data
23.91/6.05	c Decided on static restart strategy
24.72/6.22	c  N st    32     95541       125      2662         0     20219     13310    427082   no data   no data
27.10/6.83	c  N st    34    104858       125      2662         0     16761     13310    325380   no data   no data
27.10/6.83	c  S st    34    104858       125      2662         0     16761     13310    325380   no data   no data
27.10/6.88	c  S st    34    105365       125      2662         0     17255     13310    338614   no data   no data
27.10/6.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.10/6.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.10/6.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.10/6.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.10/6.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.10/6.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.10/6.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.10/6.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.50/6.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.30/7.13	c lits-rem:       133  cl-subs:     1165  v-elim:      0  v-fix:    0  time:  0.24 s
28.30/7.13	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.30/7.14	c vivif2 --  cl tried    16090 cl shrink        0 lits rem          0 time: 0.00
28.70/7.20	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
28.70/7.20	c calculated reachability. Time: 0.00
28.70/7.20	c  N st    34    105365       125      2662         0     16090     13310    306192   no data   no data
31.49/7.90	c  N st    35    114964       125      2662         0     25107     13310    538982   no data   no data
35.48/8.94	c  N st    36    129362       125      2662         0     25474     13310    535491   no data   no data
42.28/10.64	c  N st    37    150957       125      2662         0     16628     13310    269362   no data   no data
44.26/11.13	c  S st    38    158047       125      2662         0     23276     13310    437221   no data   no data
44.26/11.19	c  S st    38    158552       125      2662         0     23768     13310    449840   no data   no data
44.26/11.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.26/11.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.26/11.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.26/11.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.26/11.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.26/11.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
44.26/11.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.66/11.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
44.66/11.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.66/11.77	c lits-rem:       535  cl-subs:     2018  v-elim:      0  v-fix:    0  time:  0.56 s
46.66/11.77	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
46.66/11.77	c vivif2 --  cl tried    21750 cl shrink        0 lits rem          0 time: 0.00
47.06/11.85	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
47.06/11.85	c calculated reachability. Time: 0.00
47.06/11.85	c  N st    38    158552       125      2662         0     21750     13310    398568   no data   no data
63.82/16.05	c  N st    39    207143       125      2662         0     34445     13310    702332   no data   no data
75.00/18.80	c  N st    40    237828       125      2662         0     26751     13310    488310   no data   no data
75.00/18.80	c  S st    40    237828       125      2662         0     26751     13310    488310   no data   no data
75.00/18.87	c  S st    40    238332       125      2662         0     27236     13310    500696   no data   no data
75.00/18.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.00/18.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.00/18.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.00/18.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.00/18.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.00/18.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
75.00/18.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.00/18.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.00/18.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.79/19.52	c lits-rem:       441  cl-subs:     1844  v-elim:      0  v-fix:    0  time:  0.63 s
77.79/19.52	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
77.79/19.53	c vivif2 --  cl tried    25392 cl shrink        0 lits rem          0 time: 0.01
78.19/19.63	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
78.19/19.63	c calculated reachability. Time: 0.00
78.19/19.63	c  N st    40    238332       125      2662         0     25392     13310    453758   no data   no data
102.53/25.75	c  F st    41    306250       125      2662         0     27224     13310    454440   no data   no data
102.53/25.75	c  N st    41    306250       125      2662         0     27224     13310    454440   no data   no data
104.53/26.24	c Decided on static restart strategy
113.73/28.54	c  N st    51    334552       125      2662         0     31399     13310    541827   no data   no data
123.67/31.03	c  N st    53    357500       125      2662         0     29472     13310    475130   no data   no data
123.67/31.03	c  S st    53    357500       125      2662         0     29472     13310    475130   no data   no data
124.07/31.11	c  S st    53    358002       125      2662         0     29963     13310    487947   no data   no data
124.07/31.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.07/31.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
124.07/31.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
124.07/31.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.07/31.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.07/31.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
124.07/31.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.07/31.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
124.07/31.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.68/31.55	c lits-rem:       340  cl-subs:     1350  v-elim:      0  v-fix:    0  time:  0.42 s
125.68/31.55	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
125.68/31.56	c vivif2 --  cl tried    28613 cl shrink        0 lits rem          0 time: 0.01
126.08/31.67	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
126.08/31.67	c calculated reachability. Time: 0.00
126.08/31.67	c  N st    53    358002       125      2662         0     28613     13310    453177   no data   no data
140.48/35.22	c  N st    54    390396       125      2662         0     34577     13310    593110   no data   no data
165.58/41.55	c  N st    55    438984       125      2662         0     28554     13310    417893   no data   no data
201.93/50.63	c  N st    56    511869       125      2662         0     41612     13310    713488   no data   no data
215.11/53.94	c  N st    57    537004       125      2662         0     36079     13310    570306   no data   no data
215.11/53.94	c  S st    57    537004       125      2662         0     36079     13310    570306   no data   no data
215.47/54.04	c  S st    57    537507       125      2662         0     36566     13310    583215   no data   no data
215.47/54.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
215.47/54.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
215.47/54.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
215.47/54.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
215.47/54.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
215.47/54.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
215.47/54.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
215.47/54.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
215.47/54.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
218.66/54.81	c lits-rem:       500  cl-subs:     1894  v-elim:      0  v-fix:    0  time:  0.74 s
218.66/54.81	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
218.66/54.82	c vivif2 --  cl tried    34672 cl shrink        0 lits rem          0 time: 0.01
219.09/54.96	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
219.09/54.96	c calculated reachability. Time: 0.00
219.09/54.96	c  N st    57    537507       125      2662         0     34672     13310    533494   no data   no data
317.23/79.53	c  N st    58    701491       125      2662         0     62676     13310   1225846   no data   no data
384.28/96.37	c  N st    59    806260       125      2662         0     56711     13310   1001887   no data   no data
384.28/96.37	c  S st    59    806260       125      2662         0     56711     13310   1001887   no data   no data
385.08/96.53	c  S st    59    806763       125      2662         0     57198     13310   1014494   no data   no data
385.08/96.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
385.08/96.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
385.08/96.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
385.08/96.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
385.08/96.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
385.08/96.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
385.08/96.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
385.08/96.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
385.08/96.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
405.43/101.60	c lits-rem:      1034  cl-subs:     5686  v-elim:      0  v-fix:    0  time:  5.01 s
405.43/101.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
405.43/101.61	c vivif2 --  cl tried    51512 cl shrink        0 lits rem          0 time: 0.01
406.63/101.94	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.33
406.63/101.94	c calculated reachability. Time: 0.00
406.63/101.94	c  N st    59    806763       125      2662         0     51512     13310    875476   no data   no data
583.85/146.31	c  F st    60   1071875       125      2662         0     66533     13310   1180001   no data   no data
583.85/146.31	c  N st    60   1071875       125      2662         0     66533     13310   1180001   no data   no data
589.00/147.63	c Decided on static restart strategy
608.16/152.49	c  N st    70   1100181       125      2662         0     51328     13310    777368   no data   no data
632.90/158.61	c  N st    72   1136173       125      2662         0     85043     13310   1671558   no data   no data
652.05/163.48	c  N st    73   1168566       125      2662         0     72508     13310   1327018   no data   no data
686.37/172.03	c  N st    74   1210144       125      2662         0     67374     13310   1153935   no data   no data
686.37/172.03	c  S st    74   1210144       125      2662         0     67374     13310   1153935   no data   no data
687.57/172.32	c  S st    74   1210649       125      2662         0     67871     13310   1167034   no data   no data
687.57/172.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
687.57/172.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
687.57/172.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
687.57/172.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
687.57/172.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
687.57/172.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
687.57/172.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
687.97/172.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
687.97/172.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
742.23/186.03	c lits-rem:      1279  cl-subs:     5023  v-elim:      0  v-fix:    0  time: 13.59 s
742.23/186.03	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
742.23/186.05	c vivif2 --  cl tried    62848 cl shrink        0 lits rem          0 time: 0.02
744.63/186.60	c asymm  cl-useful: 0/2242/2662 lits-rem:0 time: 0.54
744.63/186.60	c calculated reachability. Time: 0.00
744.63/186.60	c  N st    74   1210649       125      2662         0     62848     13310   1037481   no data   no data
804.08/201.56	c  N st    75   1283532       125      2662         0     86384     13310   1667906   no data   no data
908.26/227.61	c  N st    76   1392855       125      2662         0     48199     13310    592957   no data   no data
1048.73/262.86	c  N st    77   1556839       125      2662         0     52818     13310    670400   no data   no data
1180.83/295.95	c  N st    78   1710650       125      2662         0     92665     13310   1686887   no data   no data
1180.83/295.95	c  S st    78   1710650       125      2662         0     92665     13310   1686887   no data   no data
1182.39/296.33	c  S st    78   1711153       125      2662         0     93153     13310   1700245   no data   no data
1182.39/296.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1182.79/296.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1182.79/296.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1182.79/296.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1182.79/296.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1182.79/296.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1182.79/296.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1182.79/296.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1182.79/296.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1314.47/329.40	c lits-rem:      1998  cl-subs:     9718  v-elim:      0  v-fix:    0  time: 32.92 s
1314.47/329.40	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1314.47/329.43	c vivif2 --  cl tried    83435 cl shrink        0 lits rem          0 time: 0.03
1316.90/330.04	c asymm  cl-useful: 0/1855/2662 lits-rem:0 time: 0.60
1316.90/330.04	c calculated reachability. Time: 0.00
1316.90/330.04	c  N st    78   1711153       125      2662         0     83435     13310   1460912   no data   no data
1666.01/417.50	c  N st    79   2080118       125      2662         0     94842     13310   1669755   no data   no data
1791.72/449.08	c  N st    80   2211155       125      2662         0     99163     13310   1754096   no data   no data
1791.72/449.08	c  S st    80   2211155       125      2662         0     99163     13310   1754096   no data   no data
1792.91/449.37	c  S st    80   2211659       125      2662         0     99654     13310   1767494   no data   no data
1792.91/449.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1793.31/449.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1793.31/449.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1793.31/449.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1793.31/449.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1793.31/449.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1793.31/449.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1793.31/449.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1793.72/449.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1882.73/471.84	c lits-rem:      2520  cl-subs:     9244  v-elim:      0  v-fix:    0  time: 22.35 s
1882.73/471.85	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1882.73/471.87	c vivif2 --  cl tried    90410 cl shrink        0 lits rem          0 time: 0.02
1883.89/472.15	c asymm  cl-useful: 0/807/2662 lits-rem:0 time: 0.28
1883.89/472.15	c calculated reachability. Time: 0.00
1883.89/472.15	c  N st    80   2211659       125      2662         0     90410     13310   1536606   no data   no data
2426.24/608.30	c  N st    81   2711662       125      2662         0    112682     13310   1981086   no data   no data
2426.24/608.30	c  S st    81   2711662       125      2662         0    112682     13310   1981086   no data   no data
2427.80/608.66	c  S st    81   2712164       125      2662         0    113171     13310   1994114   no data   no data
2427.80/608.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2428.20/608.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2428.20/608.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2428.20/608.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2428.20/608.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2428.20/608.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2428.20/608.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2428.20/608.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2428.61/608.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2556.69/640.96	c lits-rem:      2007  cl-subs:    14523  v-elim:      0  v-fix:    0  time: 32.15 s
2556.69/640.96	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2556.69/640.99	c vivif2 --  cl tried    98648 cl shrink        0 lits rem          0 time: 0.03
2559.08/641.50	c asymm  cl-useful: 0/1599/2662 lits-rem:0 time: 0.52
2559.08/641.51	c calculated reachability. Time: 0.00
2559.08/641.51	c  N st    81   2712164       125      2662         0     98648     13310   1655745   no data   no data
3182.40/797.78	c  N st    82   3212166       125      2662         0     76756     13310    954810   no data   no data
3182.40/797.78	c  S st    82   3212166       125      2662         0     76756     13310    954810   no data   no data
3183.60/798.00	c  S st    82   3212670       125      2662         0     77244     13310    967779   no data   no data
3183.60/798.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3183.60/798.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3183.60/798.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3183.60/798.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3183.60/798.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3183.60/798.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3183.60/798.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3183.60/798.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3183.60/798.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3187.18/798.97	c lits-rem:       148  cl-subs:     1022  v-elim:      0  v-fix:    0  time:  0.89 s
3187.18/798.97	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3187.18/798.99	c vivif2 --  cl tried    76222 cl shrink        0 lits rem          0 time: 0.01
3187.98/799.19	c asymm  cl-useful: 0/1063/2662 lits-rem:0 time: 0.20
3187.98/799.19	c calculated reachability. Time: 0.00
3187.98/799.19	c  N st    82   3212670       125      2662         0     76222     13310    943036   no data   no data
3776.22/946.52	c  N st    83   3712670       125      2662         0     86742     13310   1138915   no data   no data
3776.22/946.52	c  S st    83   3712670       125      2662         0     86742     13310   1138915   no data   no data
3777.02/946.79	c  S st    83   3713171       125      2662         0     87231     13310   1152139   no data   no data
3777.42/946.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3777.42/946.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3777.42/946.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3777.42/946.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3777.42/946.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3777.42/946.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3777.42/946.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3777.42/946.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3777.42/946.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3784.61/948.60	c lits-rem:       374  cl-subs:     1964  v-elim:      0  v-fix:    0  time:  1.71 s
3784.61/948.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3784.61/948.62	c vivif2 --  cl tried    85267 cl shrink        0 lits rem          0 time: 0.02
3785.81/948.95	c asymm  cl-useful: 0/1772/2662 lits-rem:0 time: 0.33
3785.81/948.95	c calculated reachability. Time: 0.00
3785.81/948.95	c  N st    83   3713171       125      2662         0     85267     13310   1102806   no data   no data
3830.51/960.13	c  F st    84   3751563       125      2662         0    121125     13310   2046148   no data   no data
3830.51/960.13	c  N st    84   3751563       125      2662         0    121125     13310   2046148   no data   no data
3840.12/962.52	c Decided on static restart strategy
3875.58/971.47	c  N st    94   3779867       125      2662         0    147681     13310   2765689   no data   no data
3926.26/984.10	c  N st    96   3815863       125      2662         0    102139     13310   1526594   no data   no data
3971.39/995.50	c  N st    97   3848255       125      2662         0    132415     13310   2330891   no data   no data
4036.41/1011.71	c  N st    98   3896843       125      2662         0     97300     13310   1363832   no data   no data
4146.55/1039.31	c  N st    99   3969726       125      2662         0     84139     13310   1014830   no data   no data
4300.62/1077.99	c  N st   100   4079049       125      2662         0    104205     13310   1531218   no data   no data
4495.73/1126.82	c  N st   101   4213172       125      2662         0    145960     13310   2575384   no data   no data
4495.73/1126.82	c  S st   101   4213172       125      2662         0    145960     13310   2575384   no data   no data
4497.73/1127.33	c  S st   101   4213673       125      2662         0    146449     13310   2588369   no data   no data
4497.73/1127.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4498.16/1127.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4498.16/1127.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4498.16/1127.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4498.16/1127.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4498.16/1127.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4498.16/1127.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4498.16/1127.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4498.56/1127.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366378-1305402898/watcher-3366378-1305402898 -o /tmp/evaluation-result-3366378-1305402898/solver-3366378-1305402898 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366378-1305402898.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: 8.12 8.18 8.12 1/299 16912
/proc/meminfo: memFree=12174924/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 4 0 651887694 52396032 352 33554432000 4194304 4580107 140733602894304 18446744073709551615 47794680108569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 12792 352 302 95 0 7774 0
[pid=16912/tid=16913] ppid=16910 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651887695 52396032 352 33554432000 4194304 4580107 140733602894304 18446744073709551615 47794680108569 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651887695 52396032 352 33554432000 4194304 4580107 140733602894304 18446744073709551615 47794680108569 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651887695 52396032 352 33554432000 4194304 4580107 140733602894304 18446744073709551615 47794680108978 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0246909 s]
/proc/loadavg: 8.12 8.18 8.12 1/299 16912
/proc/meminfo: memFree=12174924/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=281688 CPUtime=0.06 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) D 16910 16912 16480 0 -1 4202496 888 0 0 0 6 0 0 0 25 0 4 0 651887694 288448512 798 33554432000 4194304 4580107 140733602894304 18446744073709551615 255377327210 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 70422 798 362 95 0 65404 0
[pid=16912/tid=16913] ppid=16910 vsize=281688 CPUtime=0.01 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 111 0 0 0 1 0 0 0 25 0 4 0 651887695 288448512 798 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=281688 CPUtime=0.01 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) D 16910 16912 16480 0 -1 4202560 116 0 0 0 1 0 0 0 25 0 4 0 651887695 288448512 798 33554432000 4194304 4580107 140733602894304 18446744073709551615 255377344695 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=281688 CPUtime=0.01 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 128 0 0 0 1 0 0 0 25 0 4 0 651887695 288448512 798 33554432000 4194304 4580107 140733602894304 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 281688

[startup+0.111924 s]
/proc/loadavg: 8.12 8.18 8.12 1/299 16912
/proc/meminfo: memFree=12174924/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=282352 CPUtime=0.41 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 1874 0 0 0 41 0 0 0 25 0 4 0 651887694 289128448 1756 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 70588 1756 376 95 0 65570 0
[pid=16912/tid=16913] ppid=16910 vsize=282352 CPUtime=0.1 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 390 0 0 0 10 0 0 0 25 0 4 0 651887695 289128448 1756 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=282352 CPUtime=0.1 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 418 0 0 0 10 0 0 0 25 0 4 0 651887695 289128448 1756 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=282352 CPUtime=0.09 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 263 0 0 0 9 0 0 0 25 0 4 0 651887695 289128448 1756 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282352

[startup+0.300891 s]
/proc/loadavg: 8.12 8.18 8.12 1/299 16912
/proc/meminfo: memFree=12174924/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=284012 CPUtime=1.17 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 3046 0 0 0 117 0 0 0 25 0 4 0 651887694 290828288 2296 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 71003 2296 377 95 0 65985 0
[pid=16912/tid=16913] ppid=16910 vsize=284012 CPUtime=0.29 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 675 0 0 0 29 0 0 0 25 0 4 0 651887695 290828288 2296 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=284012 CPUtime=0.29 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 720 0 0 0 29 0 0 0 25 0 4 0 651887695 290828288 2297 33554432000 4194304 4580107 140733602894304 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=284012 CPUtime=0.28 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 556 0 0 0 28 0 0 0 25 0 4 0 651887695 290828288 2297 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284012

[startup+0.700816 s]
/proc/loadavg: 8.12 8.18 8.12 1/299 16912
/proc/meminfo: memFree=12174924/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=285648 CPUtime=2.76 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 5479 0 0 0 276 0 0 0 25 0 4 0 651887694 292503552 2575 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294455 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 71412 2575 377 95 0 66394 0
[pid=16912/tid=16913] ppid=16910 vsize=285648 CPUtime=0.69 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 1252 0 0 0 69 0 0 0 25 0 4 0 651887695 292503552 2575 33554432000 4194304 4580107 140733602894304 18446744073709551615 4489289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=285648 CPUtime=0.69 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 1327 0 0 0 69 0 0 0 25 0 4 0 651887695 292503552 2575 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=285648 CPUtime=0.68 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 1178 0 0 0 68 0 0 0 25 0 4 0 651887695 292503552 2575 33554432000 4194304 4580107 140733602894304 18446744073709551615 4296799 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285648

[startup+1.50067 s]
/proc/loadavg: 8.12 8.18 8.12 5/303 16916
/proc/meminfo: memFree=12162984/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=292676 CPUtime=5.95 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 10282 0 0 0 594 1 0 0 25 0 4 0 651887694 299700224 4716 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 73169 4716 379 95 0 68151 0
[pid=16912/tid=16913] ppid=16910 vsize=292676 CPUtime=1.49 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 2135 0 0 0 149 0 0 0 25 0 4 0 651887695 299700224 4716 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=292676 CPUtime=1.49 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 2280 0 0 0 149 0 0 0 25 0 4 0 651887695 299700224 4716 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=292676 CPUtime=1.47 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 2131 0 0 0 147 0 0 0 25 0 4 0 651887695 299700224 4716 33554432000 4194304 4580107 140733602894304 18446744073709551615 4322678 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 292676

[startup+3.10034 s]
/proc/loadavg: 7.79 8.12 8.10 10/308 16946
/proc/meminfo: memFree=12128992/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=296860 CPUtime=12.34 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 20673 0 0 0 1231 3 0 0 25 0 4 0 651887694 303984640 10458 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 74215 10458 379 95 0 69197 0
[pid=16912/tid=16913] ppid=16910 vsize=296860 CPUtime=3.08 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 4496 0 0 0 308 0 0 0 25 0 4 0 651887695 303984640 10458 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=296860 CPUtime=3.09 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 5452 0 0 0 308 1 0 0 25 0 4 0 651887695 303984640 10458 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=296860 CPUtime=3.06 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 5187 0 0 0 305 1 0 0 25 0 4 0 651887695 303984640 10458 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 296860

[startup+6.30075 s]
/proc/loadavg: 7.79 8.12 8.10 9/308 16946
/proc/meminfo: memFree=12078416/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=301088 CPUtime=25.12 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 30844 0 0 0 2506 6 0 0 25 0 4 0 651887694 308314112 15659 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 75272 15659 379 95 0 70254 0
[pid=16912/tid=16913] ppid=16910 vsize=301088 CPUtime=6.29 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 7874 0 0 0 628 1 0 0 25 0 4 0 651887695 308314112 15659 33554432000 4194304 4580107 140733602894304 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=301088 CPUtime=6.28 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 8650 0 0 0 627 1 0 0 25 0 4 0 651887695 308314112 15659 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294936 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=301088 CPUtime=6.23 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 6979 0 0 0 622 1 0 0 25 0 4 0 651887695 308314112 15659 33554432000 4194304 4580107 140733602894304 18446744073709551615 4296096 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 301088

[startup+12.7006 s]
/proc/loadavg: 7.82 8.11 8.09 9/308 16947
/proc/meminfo: memFree=12043444/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=311372 CPUtime=50.65 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 47141 0 0 0 5057 8 0 0 25 0 4 0 651887694 318844928 19505 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 77843 19505 379 95 0 72825 0
[pid=16912/tid=16913] ppid=16910 vsize=311372 CPUtime=12.68 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 12124 0 0 0 1267 1 0 0 25 0 4 0 651887695 318844928 19505 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=311372 CPUtime=12.68 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 12459 0 0 0 1266 2 0 0 25 0 4 0 651887695 318844928 19505 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=311372 CPUtime=12.57 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 11987 0 0 0 1255 2 0 0 25 0 4 0 651887695 318844928 19505 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 311372

[startup+25.5002 s]
/proc/loadavg: 7.92 8.12 8.10 9/308 16947
/proc/meminfo: memFree=12008880/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=301840 CPUtime=101.72 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 71763 0 0 0 10158 14 0 0 25 0 4 0 651887694 309084160 23751 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 75460 23751 379 95 0 70442 0
[pid=16912/tid=16913] ppid=16910 vsize=301840 CPUtime=25.48 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 19117 0 0 0 2545 3 0 0 25 0 4 0 651887695 309084160 23751 33554432000 4194304 4580107 140733602894304 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=301840 CPUtime=25.49 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 19550 0 0 0 2545 4 0 0 25 0 4 0 651887695 309084160 23751 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=301840 CPUtime=25.24 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 17662 0 0 0 2521 3 0 0 25 0 4 0 651887695 309084160 23751 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 301840

[startup+51.1005 s]
/proc/loadavg: 8.01 8.13 8.10 9/308 16948
/proc/meminfo: memFree=11968216/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=317056 CPUtime=203.9 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 111061 0 0 0 20366 24 0 0 25 0 4 0 651887694 324665344 31008 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 79264 31008 379 95 0 74246 0
[pid=16912/tid=16913] ppid=16910 vsize=317056 CPUtime=51.08 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 29775 0 0 0 5102 6 0 0 25 0 4 0 651887695 324665344 31008 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=317056 CPUtime=51.08 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 29903 0 0 0 5103 5 0 0 25 0 4 0 651887695 324665344 31008 33554432000 4194304 4580107 140733602894304 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=317056 CPUtime=50.61 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 27485 0 0 0 5055 6 0 0 25 0 4 0 651887695 324665344 31008 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 317056

[startup+102.312 s]
/proc/loadavg: 8.22 8.16 8.11 9/308 16979
/proc/meminfo: memFree=11921736/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=391036 CPUtime=408.26 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 170726 0 0 0 40787 39 0 0 25 0 4 0 651887694 400420864 41259 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 97759 41259 379 95 0 92741 0
[pid=16912/tid=16913] ppid=16910 vsize=391036 CPUtime=102.3 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 43962 0 0 0 10220 10 0 0 25 0 4 0 651887695 400420864 41259 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=391036 CPUtime=102.29 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 47129 0 0 0 10219 10 0 0 25 0 4 0 651887695 400420864 41259 33554432000 4194304 4580107 140733602894304 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=391036 CPUtime=101.35 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 43756 0 0 0 10124 11 0 0 25 0 4 0 651887695 400420864 41259 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 391036

[startup+162.301 s]

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

[pid=16912] ppid=16910 vsize=670000 CPUtime=2801.68 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 527020 0 0 0 280006 162 0 0 25 0 4 0 651887694 686080000 114160 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 167500 114160 379 95 0 162482 0
[pid=16912/tid=16913] ppid=16910 vsize=670000 CPUtime=702.3 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 131101 0 0 0 70191 39 0 0 25 0 4 0 651887695 686080000 114160 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=670000 CPUtime=702.29 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 141650 0 0 0 70186 43 0 0 25 0 4 0 651887695 686080000 114160 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=670000 CPUtime=695.65 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 136611 0 0 0 69526 39 0 0 25 0 4 0 651887695 686080000 114160 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.68
Current children cumulated vsize (KiB) 670000

[startup+762.312 s]
/proc/loadavg: 8.22 8.24 8.16 9/308 17009
/proc/meminfo: memFree=11348072/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=647232 CPUtime=3041.17 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 553659 0 0 0 303945 172 0 0 25 0 4 0 651887694 662765568 115671 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 161808 115671 379 95 0 156790 0
[pid=16912/tid=16913] ppid=16910 vsize=647232 CPUtime=762.3 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 140031 0 0 0 76188 42 0 0 25 0 4 0 651887695 662765568 115671 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=647232 CPUtime=762.3 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 149380 0 0 0 76184 46 0 0 25 0 4 0 651887695 662765568 115671 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=647232 CPUtime=755.1 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 142765 0 0 0 75469 41 0 0 25 0 4 0 651887695 662765568 115671 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.17
Current children cumulated vsize (KiB) 647232

[startup+822.301 s]
/proc/loadavg: 8.22 8.22 8.16 9/308 17010
/proc/meminfo: memFree=11324244/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=660600 CPUtime=3280.57 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 581062 0 0 0 327874 183 0 0 25 0 4 0 651887694 676454400 118474 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 165150 118474 379 95 0 160132 0
[pid=16912/tid=16913] ppid=16910 vsize=660600 CPUtime=822.29 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 148313 0 0 0 82184 45 0 0 25 0 4 0 651887695 676454400 118474 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=660600 CPUtime=822.3 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 156073 0 0 0 82182 48 0 0 25 0 4 0 651887695 676454400 118474 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=660600 CPUtime=814.54 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 151336 0 0 0 81409 45 0 0 25 0 4 0 651887695 676454400 118474 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.57
Current children cumulated vsize (KiB) 660600

[startup+882.3 s]
/proc/loadavg: 8.20 8.21 8.16 9/308 17012
/proc/meminfo: memFree=11330916/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=621152 CPUtime=3520 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 606287 0 0 0 351807 193 0 0 25 0 4 0 651887694 636059648 110881 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 155288 110881 379 95 0 150270 0
[pid=16912/tid=16913] ppid=16910 vsize=621152 CPUtime=882.29 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 156113 0 0 0 88181 48 0 0 25 0 4 0 651887695 636059648 110881 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=621152 CPUtime=882.3 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 160425 0 0 0 88180 50 0 0 25 0 4 0 651887695 636059648 110881 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=621152 CPUtime=873.98 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 158682 0 0 0 87350 48 0 0 25 0 4 0 651887695 636059648 110881 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520
Current children cumulated vsize (KiB) 621152

[startup+942.3 s]
/proc/loadavg: 8.20 8.20 8.15 9/308 17013
/proc/meminfo: memFree=11336464/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=648624 CPUtime=3759.46 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 637564 0 0 0 375742 204 0 0 25 0 4 0 651887694 664190976 108282 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 162156 108282 379 95 0 157138 0
[pid=16912/tid=16913] ppid=16910 vsize=648624 CPUtime=942.3 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 165259 0 0 0 94179 51 0 0 25 0 4 0 651887695 664190976 108282 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=648624 CPUtime=942.3 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 165341 0 0 0 94179 51 0 0 25 0 4 0 651887695 664190976 108282 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=648624 CPUtime=933.44 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 167928 0 0 0 93292 52 0 0 25 0 4 0 651887695 664190976 108282 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.46
Current children cumulated vsize (KiB) 648624

[startup+1002.3 s]
/proc/loadavg: 8.24 8.21 8.16 9/308 17015
/proc/meminfo: memFree=11326652/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=651316 CPUtime=3998.89 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 664563 0 0 0 399673 216 0 0 25 0 4 0 651887694 666947584 110977 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 162829 110977 379 95 0 157811 0
[pid=16912/tid=16913] ppid=16910 vsize=651316 CPUtime=1002.3 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 172159 0 0 0 100177 53 0 0 25 0 4 0 651887695 666947584 110977 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=651316 CPUtime=1002.3 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 171193 0 0 0 100176 54 0 0 25 0 4 0 651887695 666947584 110977 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=651316 CPUtime=992.88 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 174842 0 0 0 99232 56 0 0 25 0 4 0 651887695 666947584 110977 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3998.89
Current children cumulated vsize (KiB) 651316

[startup+1062.3 s]
/proc/loadavg: 8.32 8.23 8.17 9/308 17017
/proc/meminfo: memFree=11313472/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=651648 CPUtime=4238.34 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 692830 0 0 0 423605 229 0 0 25 0 4 0 651887694 667287552 110906 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 162912 110906 379 95 0 157894 0
[pid=16912/tid=16913] ppid=16910 vsize=651648 CPUtime=1062.3 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 179509 0 0 0 106173 57 0 0 25 0 4 0 651887695 667287552 110906 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=651648 CPUtime=1062.3 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 178465 0 0 0 106173 57 0 0 25 0 4 0 651887695 667287552 110906 33554432000 4194304 4580107 140733602894304 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=651648 CPUtime=1052.33 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 181582 0 0 0 105174 59 0 0 25 0 4 0 651887695 667287552 110906 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.34
Current children cumulated vsize (KiB) 651648

[startup+1122.3 s]
/proc/loadavg: 8.27 8.23 8.17 9/308 17018
/proc/meminfo: memFree=11282320/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=707984 CPUtime=4477.77 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 721587 0 0 0 447537 240 0 0 25 0 4 0 651887694 724975616 114564 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 176996 114564 379 95 0 171978 0
[pid=16912/tid=16913] ppid=16910 vsize=707984 CPUtime=1122.3 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 187140 0 0 0 112170 60 0 0 25 0 4 0 651887695 724975616 114564 33554432000 4194304 4580107 140733602894304 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=707984 CPUtime=1122.31 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 185707 0 0 0 112171 60 0 0 25 0 4 0 651887695 724975616 114564 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=707984 CPUtime=1111.77 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 188587 0 0 0 111115 62 0 0 25 0 4 0 651887695 724975616 114564 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.77
Current children cumulated vsize (KiB) 707984

[startup+1182.3 s]
/proc/loadavg: 8.19 8.22 8.17 9/308 17020
/proc/meminfo: memFree=11237024/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=676096 CPUtime=4717.15 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 743399 0 0 0 471467 248 0 0 25 0 4 0 651887694 692322304 125808 33554432000 4194304 4580107 140733602894304 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 169024 125808 379 95 0 164006 0
[pid=16912/tid=16913] ppid=16910 vsize=676096 CPUtime=1182.31 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 190711 0 0 0 118170 61 0 0 25 0 4 0 651887695 692322304 125808 33554432000 4194304 4580107 140733602894304 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=676096 CPUtime=1182.31 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 193458 0 0 0 118168 63 0 0 25 0 4 0 651887695 692322304 125808 33554432000 4194304 4580107 140733602894304 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=676096 CPUtime=1171.15 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 193174 0 0 0 117050 65 0 0 25 0 4 0 651887695 692322304 125808 33554432000 4194304 4580107 140733602894304 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.15
Current children cumulated vsize (KiB) 676096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.20 8.22 8.17 9/308 17020
/proc/meminfo: memFree=11224124/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=676096 CPUtime=4800.15 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 749135 0 0 0 479766 249 0 0 25 0 4 0 651887694 692322304 131544 33554432000 4194304 4580107 140733602894304 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 169024 131544 379 95 0 164006 0
[pid=16912/tid=16913] ppid=16910 vsize=676096 CPUtime=1203.12 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 190711 0 0 0 120251 61 0 0 25 0 4 0 651887695 692322304 131544 33554432000 4194304 4580107 140733602894304 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=676096 CPUtime=1203.12 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 193458 0 0 0 120249 63 0 0 25 0 4 0 651887695 692322304 131544 33554432000 4194304 4580107 140733602894304 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=676096 CPUtime=1191.72 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 198910 0 0 0 119106 66 0 0 25 0 4 0 651887695 692322304 131544 33554432000 4194304 4580107 140733602894304 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 676096

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

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

[startup+1203.1 s]
/proc/loadavg: 8.20 8.22 8.17 9/308 17020
/proc/meminfo: memFree=11224124/32951124 swapFree=66050672/67111528
[pid=16912] ppid=16910 vsize=676096 CPUtime=4800.15 cores=0,2,4,6
/proc/16912/stat : 16912 (strangenight2-m) R 16910 16912 16480 0 -1 4202496 749135 0 0 0 479766 249 0 0 25 0 4 0 651887694 692322304 131544 33554432000 4194304 4580107 140733602894304 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16912/statm: 169024 131544 379 95 0 164006 0
[pid=16912/tid=16913] ppid=16910 vsize=676096 CPUtime=1203.12 cores=0,2,4,6
/proc/16912/task/16913/stat : 16913 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 190711 0 0 0 120251 61 0 0 25 0 4 0 651887695 692322304 131544 33554432000 4194304 4580107 140733602894304 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16912/tid=16914] ppid=16910 vsize=676096 CPUtime=1203.12 cores=0,2,4,6
/proc/16912/task/16914/stat : 16914 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 193458 0 0 0 120249 63 0 0 25 0 4 0 651887695 692322304 131544 33554432000 4194304 4580107 140733602894304 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16912/tid=16915] ppid=16910 vsize=676096 CPUtime=1191.72 cores=0,2,4,6
/proc/16912/task/16915/stat : 16915 (strangenight2-m) R 16910 16912 16480 0 -1 4202560 198910 0 0 0 119106 66 0 0 25 0 4 0 651887695 692322304 131544 33554432000 4194304 4580107 140733602894304 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 676096

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.21
CPU user time (s): 4797.69
CPU system time (s): 2.52162
CPU usage (%): 398.973
Max. virtual memory (cumulated for all children) (KiB): 768260

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

runsolver used 3.16852 second user time and 8.21375 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-14 21:54:58
IDJOB=3366378
IDBENCH=82787
IDSOLVER=1844
FILE ID=node135/3366378-1305402898
RUNJOBID= node135-1305401693-16794
PBS_JOBID= 13324477
Free space on /tmp= 73336 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366378-1305402898/watcher-3366378-1305402898 -o /tmp/evaluation-result-3366378-1305402898/solver-3366378-1305402898 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366378-1305402898.cnf

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

MD5SUM BENCH= d9cece0babfb15cb3db695bd3b0b9988
RANDOM SEED=288694166

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12175080 kB
Buffers:        273984 kB
Cached:        5847048 kB
SwapCached:      50684 kB
Active:        9872780 kB
Inactive:     10660160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12175080 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:            5496 kB
Writeback:           0 kB
AnonPages:    14366680 kB
Mapped:          18936 kB
Slab:           134752 kB
PageTables:      46832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57065496 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= 73332 MiB
End job on node135 at 2011-05-14 22:15:03