Trace number 3173969

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.42 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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173969-1304074539.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	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.02	c Parsing time:  0.00 s
0.00/0.02	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.39/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.39/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.39/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.39/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.39/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.39/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.39/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.39/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.39/0.10	c calculated reachability. Time: 0.00
0.39/0.10	c Calc default polars -  time:   0.00 s pos:      63 undec:       3 neg:      59
0.39/0.10	c =========================================================================================
0.39/0.10	c types(t): F = full restart, N = normal restart
0.39/0.10	c types(t): S = simplification begin/end, E = solution found
0.39/0.10	c restart types(rt): st = static, dy = dynamic
0.39/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.39/0.10	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.39/0.10	c Decided on static restart strategy
0.39/0.18	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.98/0.54	c  N st    11     17044       125      2662         0      9709     13310    226462   no data   no data
3.17/0.88	c  F st    12     25000       125      2662         0     11890     13310    278911   no data   no data
3.17/0.88	c  N st    12     25000       125      2662         0     11890     13310    278911   no data   no data
3.97/1.09	c Decided on static restart strategy
3.97/1.09	c  N st    18     30003       125      2662         0     10192     13310    222842   no data   no data
3.97/1.09	c  S st    18     30003       125      2662         0     10192     13310    222842   no data   no data
4.38/1.12	c  S st    18     30508       125      2662         0     10685     13310    235647   no data   no data
4.38/1.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.38/1.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.38/1.13	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.38/1.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.38/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.38/1.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.38/1.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.38/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.20 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.97/2.01	c  N st    21     44021       125      2662         0     14438     13310    320509   no data   no data
8.36/2.11	c  S st    22     45763       125      2662         0     16087     13310    364550   no data   no data
8.36/2.16	c  S st    22     46266       125      2662         0     16569     13310    377071   no data   no data
8.36/2.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.36/2.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.36/2.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.36/2.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.36/2.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.36/2.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.36/2.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.36/2.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
8.36/2.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.63	c lits-rem:       262  cl-subs:     1762  v-elim:      0  v-fix:    0  time:  0.44 s
10.36/2.63	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
10.36/2.63	c vivif2 --  cl tried    14807 cl shrink        0 lits rem          0 time: 0.00
10.36/2.69	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
10.36/2.69	c calculated reachability. Time: 0.00
10.36/2.69	c  N st    22     46266       125      2662         0     14807     13310    329247   no data   no data
13.96/3.55	c  N st    23     60663       125      2662         0     10637     13310    190261   no data   no data
15.95/4.04	c  N st    24     69402       125      2662         0     18871     13310    408631   no data   no data
15.95/4.04	c  S st    24     69402       125      2662         0     18871     13310    408631   no data   no data
15.95/4.09	c  S st    24     69905       125      2662         0     19358     13310    421577   no data   no data
15.95/4.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
16.35/4.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.35/4.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
16.35/4.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.35/4.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
16.35/4.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/5.02	c lits-rem:       469  cl-subs:     1730  v-elim:      0  v-fix:    0  time:  0.51 s
16.75/5.02	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
16.75/5.02	c vivif2 --  cl tried    17628 cl shrink        0 lits rem          0 time: 0.00
16.75/5.09	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
16.75/5.09	c calculated reachability. Time: 0.00
16.75/5.09	c  N st    24     69905       125      2662         0     17628     13310    374812   no data   no data
24.99/6.75	c  F st    25     87501       125      2662         0     12586     13310    222295   no data   no data
24.99/6.75	c  N st    25     87501       125      2662         0     12586     13310    222295   no data   no data
26.19/7.02	c Decided on static restart strategy
26.60/7.20	c  N st    32     95541       125      2662         0     20219     13310    427082   no data   no data
29.38/7.83	c  N st    34    104858       125      2662         0     16761     13310    325380   no data   no data
29.38/7.83	c  S st    34    104858       125      2662         0     16761     13310    325380   no data   no data
29.38/7.87	c  S st    34    105365       125      2662         0     17255     13310    338614   no data   no data
29.38/7.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.38/7.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
29.38/7.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.38/7.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.38/7.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.38/7.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
29.38/7.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.38/7.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
29.38/7.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.59/8.13	c lits-rem:       133  cl-subs:     1165  v-elim:      0  v-fix:    0  time:  0.23 s
30.59/8.13	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
30.59/8.13	c vivif2 --  cl tried    16090 cl shrink        0 lits rem          0 time: 0.00
30.59/8.19	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
30.59/8.19	c calculated reachability. Time: 0.00
30.59/8.19	c  N st    34    105365       125      2662         0     16090     13310    306192   no data   no data
33.38/8.88	c  N st    35    114964       125      2662         0     25107     13310    538982   no data   no data
37.78/9.92	c  N st    36    129362       125      2662         0     25474     13310    535491   no data   no data
44.57/11.63	c  N st    37    150957       125      2662         0     16628     13310    269362   no data   no data
46.54/12.12	c  S st    38    158047       125      2662         0     23276     13310    437221   no data   no data
46.54/12.17	c  S st    38    158552       125      2662         0     23768     13310    449840   no data   no data
46.54/12.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.54/12.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
46.54/12.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.54/12.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.54/12.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.54/12.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
46.54/12.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.54/12.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.94/12.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.96/12.77	c lits-rem:       535  cl-subs:     2018  v-elim:      0  v-fix:    0  time:  0.56 s
48.96/12.77	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
48.96/12.77	c vivif2 --  cl tried    21750 cl shrink        0 lits rem          0 time: 0.01
49.33/12.85	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
49.33/12.86	c calculated reachability. Time: 0.00
49.33/12.86	c  N st    38    158552       125      2662         0     21750     13310    398568   no data   no data
66.12/17.10	c  N st    39    207143       125      2662         0     34445     13310    702332   no data   no data
76.88/19.79	c  N st    40    237828       125      2662         0     26751     13310    488310   no data   no data
76.88/19.79	c  S st    40    237828       125      2662         0     26751     13310    488310   no data   no data
77.28/19.85	c  S st    40    238332       125      2662         0     27236     13310    500696   no data   no data
77.28/19.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.28/19.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.28/19.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.28/19.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.28/19.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.28/19.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
77.28/19.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.28/19.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.28/19.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.09/20.53	c lits-rem:       441  cl-subs:     1844  v-elim:      0  v-fix:    0  time:  0.65 s
80.09/20.53	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
80.09/20.54	c vivif2 --  cl tried    25392 cl shrink        0 lits rem          0 time: 0.00
80.49/20.64	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
80.49/20.64	c calculated reachability. Time: 0.00
80.49/20.64	c  N st    40    238332       125      2662         0     25392     13310    453758   no data   no data
104.83/26.77	c  F st    41    306250       125      2662         0     27224     13310    454440   no data   no data
104.83/26.77	c  N st    41    306250       125      2662         0     27224     13310    454440   no data   no data
106.82/27.25	c Decided on static restart strategy
116.01/29.55	c  N st    51    334552       125      2662         0     31399     13310    541827   no data   no data
125.99/32.05	c  N st    53    357500       125      2662         0     29472     13310    475130   no data   no data
125.99/32.05	c  S st    53    357500       125      2662         0     29472     13310    475130   no data   no data
126.39/32.12	c  S st    53    358002       125      2662         0     29963     13310    487947   no data   no data
126.39/32.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
126.39/32.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
126.39/32.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
126.39/32.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
126.39/32.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
126.39/32.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
126.39/32.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
126.39/32.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
126.39/32.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.00/32.58	c lits-rem:       340  cl-subs:     1350  v-elim:      0  v-fix:    0  time:  0.43 s
128.00/32.58	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
128.00/32.59	c vivif2 --  cl tried    28613 cl shrink        0 lits rem          0 time: 0.01
128.78/32.70	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
128.78/32.70	c calculated reachability. Time: 0.00
128.78/32.70	c  N st    53    358002       125      2662         0     28613     13310    453177   no data   no data
143.56/36.45	c  N st    54    390396       125      2662         0     34577     13310    593110   no data   no data
167.90/42.59	c  N st    55    438984       125      2662         0     28554     13310    417893   no data   no data
204.24/51.67	c  N st    56    511869       125      2662         0     41612     13310    713488   no data   no data
217.80/55.00	c  N st    57    537004       125      2662         0     36079     13310    570306   no data   no data
217.80/55.00	c  S st    57    537004       125      2662         0     36079     13310    570306   no data   no data
217.80/55.09	c  S st    57    537507       125      2662         0     36566     13310    583215   no data   no data
217.80/55.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
218.20/55.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
218.20/55.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
218.20/55.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
218.20/55.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
218.20/55.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
218.20/55.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
218.20/55.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
218.20/55.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
221.00/55.87	c lits-rem:       500  cl-subs:     1894  v-elim:      0  v-fix:    0  time:  0.74 s
221.00/55.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
221.00/55.88	c vivif2 --  cl tried    34672 cl shrink        0 lits rem          0 time: 0.01
221.79/56.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
221.79/56.02	c calculated reachability. Time: 0.00
221.79/56.02	c  N st    57    537507       125      2662         0     34672     13310    533494   no data   no data
319.64/80.57	c  N st    58    701491       125      2662         0     62676     13310   1225846   no data   no data
386.75/97.40	c  N st    59    806260       125      2662         0     56711     13310   1001887   no data   no data
386.75/97.40	c  S st    59    806260       125      2662         0     56711     13310   1001887   no data   no data
387.53/97.56	c  S st    59    806763       125      2662         0     57198     13310   1014494   no data   no data
387.53/97.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
387.53/97.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
387.53/97.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
387.53/97.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
387.53/97.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
387.53/97.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
387.53/97.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
387.93/97.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
387.93/97.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
408.70/102.81	c lits-rem:      1034  cl-subs:     5686  v-elim:      0  v-fix:    0  time:  5.15 s
408.70/102.81	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
408.70/102.82	c vivif2 --  cl tried    51512 cl shrink        0 lits rem          0 time: 0.01
409.48/103.09	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.27
409.48/103.09	c calculated reachability. Time: 0.00
409.48/103.09	c  N st    59    806763       125      2662         0     51512     13310    875476   no data   no data
586.78/147.47	c  F st    60   1071875       125      2662         0     66533     13310   1180001   no data   no data
586.78/147.47	c  N st    60   1071875       125      2662         0     66533     13310   1180001   no data   no data
591.98/148.76	c Decided on static restart strategy
611.54/153.65	c  N st    70   1100181       125      2662         0     51328     13310    777368   no data   no data
635.91/159.71	c  N st    72   1136173       125      2662         0     85043     13310   1671558   no data   no data
656.25/164.83	c  N st    73   1168566       125      2662         0     72508     13310   1327018   no data   no data
696.59/174.98	c  N st    74   1210144       125      2662         0     67374     13310   1153935   no data   no data
696.59/174.98	c  S st    74   1210144       125      2662         0     67374     13310   1153935   no data   no data
697.79/175.29	c  S st    74   1210649       125      2662         0     67871     13310   1167034   no data   no data
698.19/175.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
698.19/175.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
698.19/175.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
698.19/175.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
698.19/175.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
698.19/175.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
698.19/175.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
698.19/175.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
698.60/175.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
742.11/186.32	c lits-rem:      1279  cl-subs:     5023  v-elim:      0  v-fix:    0  time: 10.84 s
742.11/186.32	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
742.11/186.34	c vivif2 --  cl tried    62848 cl shrink        0 lits rem          0 time: 0.02
743.71/186.77	c asymm  cl-useful: 0/2242/2662 lits-rem:0 time: 0.42
743.71/186.77	c calculated reachability. Time: 0.00
743.71/186.77	c  N st    74   1210649       125      2662         0     62848     13310   1037481   no data   no data
800.05/200.83	c  N st    75   1283532       125      2662         0     86384     13310   1667906   no data   no data
903.07/226.61	c  N st    76   1392855       125      2662         0     48199     13310    592957   no data   no data
1044.06/261.90	c  N st    77   1556839       125      2662         0     52818     13310    670400   no data   no data
1180.24/296.07	c  N st    78   1710650       125      2662         0     92665     13310   1686887   no data   no data
1180.24/296.07	c  S st    78   1710650       125      2662         0     92665     13310   1686887   no data   no data
1181.86/296.45	c  S st    78   1711153       125      2662         0     93153     13310   1700245   no data   no data
1181.86/296.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1182.26/296.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1182.26/296.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1182.26/296.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1182.26/296.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1182.26/296.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1182.26/296.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1182.26/296.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1182.63/296.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1321.54/331.41	c lits-rem:      1998  cl-subs:     9718  v-elim:      0  v-fix:    0  time: 34.52 s
1321.54/331.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1321.54/331.44	c vivif2 --  cl tried    83435 cl shrink        0 lits rem          0 time: 0.02
1323.53/331.91	c asymm  cl-useful: 0/1855/2662 lits-rem:0 time: 0.46
1323.53/331.91	c calculated reachability. Time: 0.00
1323.53/331.91	c  N st    78   1711153       125      2662         0     83435     13310   1460912   no data   no data
1661.56/417.07	c  N st    79   2080118       125      2662         0     94842     13310   1669755   no data   no data
1788.96/448.97	c  N st    80   2211155       125      2662         0     99163     13310   1754096   no data   no data
1788.96/448.97	c  S st    80   2211155       125      2662         0     99163     13310   1754096   no data   no data
1790.56/449.35	c  S st    80   2211659       125      2662         0     99654     13310   1767494   no data   no data
1790.56/449.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1790.96/449.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1790.96/449.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1790.96/449.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1790.96/449.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1790.96/449.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1790.96/449.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1790.96/449.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1791.36/449.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1921.14/482.04	c lits-rem:      2520  cl-subs:     9244  v-elim:      0  v-fix:    0  time: 32.31 s
1921.14/482.04	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1921.14/482.07	c vivif2 --  cl tried    90410 cl shrink        0 lits rem          0 time: 0.03
1922.73/482.40	c asymm  cl-useful: 0/807/2662 lits-rem:0 time: 0.34
1922.73/482.41	c calculated reachability. Time: 0.00
1922.73/482.41	c  N st    80   2211659       125      2662         0     90410     13310   1536606   no data   no data
2439.94/611.96	c  N st    81   2711662       125      2662         0    112682     13310   1981086   no data   no data
2439.94/611.96	c  S st    81   2711662       125      2662         0    112682     13310   1981086   no data   no data
2441.54/612.32	c  S st    81   2712164       125      2662         0    113171     13310   1994114   no data   no data
2441.54/612.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2441.54/612.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2441.54/612.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2441.54/612.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2441.54/612.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2441.54/612.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2441.54/612.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2441.94/612.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2441.94/612.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2627.35/658.94	c lits-rem:      2007  cl-subs:    14523  v-elim:      0  v-fix:    0  time: 45.83 s
2627.35/658.94	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2627.35/658.97	c vivif2 --  cl tried    98648 cl shrink        0 lits rem          0 time: 0.03
2629.73/659.57	c asymm  cl-useful: 0/1599/2662 lits-rem:0 time: 0.60
2629.73/659.57	c calculated reachability. Time: 0.00
2629.73/659.57	c  N st    81   2712164       125      2662         0     98648     13310   1655745   no data   no data
3236.81/811.64	c  N st    82   3212166       125      2662         0     76756     13310    954810   no data   no data
3236.81/811.64	c  S st    82   3212166       125      2662         0     76756     13310    954810   no data   no data
3237.61/811.86	c  S st    82   3212670       125      2662         0     77244     13310    967779   no data   no data
3237.61/811.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3238.01/811.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3238.01/811.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3238.01/811.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3238.01/811.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3238.01/811.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3238.01/811.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3238.01/811.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3238.01/811.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3241.61/812.85	c lits-rem:       148  cl-subs:     1022  v-elim:      0  v-fix:    0  time:  0.90 s
3241.61/812.85	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3241.61/812.86	c vivif2 --  cl tried    76222 cl shrink        0 lits rem          0 time: 0.01
3242.41/813.07	c asymm  cl-useful: 0/1063/2662 lits-rem:0 time: 0.21
3242.41/813.07	c calculated reachability. Time: 0.00
3242.41/813.07	c  N st    82   3212670       125      2662         0     76222     13310    943036   no data   no data
3823.12/958.42	c  N st    83   3712670       125      2662         0     86742     13310   1138915   no data   no data
3823.12/958.42	c  S st    83   3712670       125      2662         0     86742     13310   1138915   no data   no data
3824.30/958.74	c  S st    83   3713171       125      2662         0     87231     13310   1152139   no data   no data
3824.30/958.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3824.30/958.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3824.70/958.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3824.70/958.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3824.70/958.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3824.70/958.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3824.70/958.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3824.70/958.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3824.70/958.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3831.92/960.61	c lits-rem:       374  cl-subs:     1964  v-elim:      0  v-fix:    0  time:  1.73 s
3831.92/960.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3831.92/960.62	c vivif2 --  cl tried    85267 cl shrink        0 lits rem          0 time: 0.02
3833.09/960.95	c asymm  cl-useful: 0/1772/2662 lits-rem:0 time: 0.33
3833.09/960.95	c calculated reachability. Time: 0.00
3833.09/960.95	c  N st    83   3713171       125      2662         0     85267     13310   1102806   no data   no data
3878.63/972.39	c  F st    84   3751563       125      2662         0    121125     13310   2046148   no data   no data
3878.63/972.39	c  N st    84   3751563       125      2662         0    121125     13310   2046148   no data   no data
3890.20/975.22	c Decided on static restart strategy
3926.55/984.39	c  N st    94   3779867       125      2662         0    147681     13310   2765689   no data   no data
3974.07/996.26	c  N st    96   3815863       125      2662         0    102139     13310   1526594   no data   no data
4016.82/1006.97	c  N st    97   3848255       125      2662         0    132415     13310   2330891   no data   no data
4081.89/1023.26	c  N st    98   3896843       125      2662         0     97300     13310   1363832   no data   no data
4192.54/1050.93	c  N st    99   3969726       125      2662         0     84139     13310   1014830   no data   no data
4346.67/1089.52	c  N st   100   4079049       125      2662         0    104205     13310   1531218   no data   no data
4557.94/1142.48	c  N st   101   4213172       125      2662         0    145960     13310   2575384   no data   no data
4557.94/1142.48	c  S st   101   4213172       125      2662         0    145960     13310   2575384   no data   no data
4560.75/1143.13	c  S st   101   4213673       125      2662         0    146449     13310   2588369   no data   no data
4560.75/1143.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4561.16/1143.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.10
4561.16/1143.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4561.16/1143.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4561.16/1143.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4561.16/1143.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4561.16/1143.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4561.16/1143.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4561.56/1143.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173969-1304074539/watcher-3173969-1304074539 -o /tmp/evaluation-result-3173969-1304074539/solver-3173969-1304074539 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173969-1304074539.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.14 8.09 7.89 5/178 10827
/proc/meminfo: memFree=26304328/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 519052594 52441088 348 33554432000 4194304 4627427 140735606341152 18446744073709551615 47018998912946 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10827/statm: 12803 348 299 106 0 7774 0
[pid=10827/tid=10828] ppid=10825 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519052594 52441088 348 33554432000 4194304 4627427 140735606341152 18446744073709551615 47018998912940 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519052594 52441088 348 33554432000 4194304 4627427 140735606341152 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519052594 52441088 348 33554432000 4194304 4627427 140735606341152 18446744073709551615 47018998912940 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.105575 s]
/proc/loadavg: 8.14 8.09 7.89 5/178 10827
/proc/meminfo: memFree=26304328/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=282332 CPUtime=0.39 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 1887 0 0 0 39 0 0 0 25 0 4 0 519052594 289107968 1751 33554432000 4194304 4627427 140735606341152 18446744073709551615 4332648 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 70583 1751 383 106 0 65554 0
[pid=10827/tid=10828] ppid=10825 vsize=282332 CPUtime=0.09 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 405 0 0 0 9 0 0 0 25 0 4 0 519052594 289107968 1751 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=282332 CPUtime=0.09 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 389 0 0 0 9 0 0 0 25 0 4 0 519052594 289107968 1751 33554432000 4194304 4627427 140735606341152 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=282332 CPUtime=0.09 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 293 0 0 0 9 0 0 0 25 0 4 0 519052594 289107968 1751 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282332

[startup+0.200558 s]
/proc/loadavg: 8.14 8.09 7.89 5/178 10827
/proc/meminfo: memFree=26304328/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=283952 CPUtime=0.77 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 2652 0 0 0 77 0 0 0 25 0 4 0 519052594 290766848 1884 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 70988 1885 384 106 0 65959 0
[pid=10827/tid=10828] ppid=10825 vsize=283952 CPUtime=0.19 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 590 0 0 0 19 0 0 0 25 0 4 0 519052594 290766848 1885 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=283952 CPUtime=0.18 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 575 0 0 0 18 0 0 0 25 0 4 0 519052594 290766848 1885 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=283952 CPUtime=0.19 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 493 0 0 0 19 0 0 0 25 0 4 0 519052594 290766848 1885 33554432000 4194304 4627427 140735606341152 18446744073709551615 242970211361 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283952

[startup+0.300541 s]
/proc/loadavg: 8.14 8.09 7.89 5/178 10827
/proc/meminfo: memFree=26304328/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=284112 CPUtime=1.17 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 3115 0 0 0 117 0 0 0 25 0 4 0 519052594 290930688 2347 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 71028 2347 384 106 0 65999 0
[pid=10827/tid=10828] ppid=10825 vsize=284112 CPUtime=0.29 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 714 0 0 0 29 0 0 0 25 0 4 0 519052594 290930688 2347 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=284112 CPUtime=0.28 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 690 0 0 0 28 0 0 0 25 0 4 0 519052594 290930688 2347 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=284112 CPUtime=0.29 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 604 0 0 0 29 0 0 0 25 0 4 0 519052594 290930688 2347 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284112

[startup+0.700472 s]
/proc/loadavg: 8.14 8.09 7.89 5/178 10827
/proc/meminfo: memFree=26304328/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=285692 CPUtime=2.77 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 5581 0 0 0 276 1 0 0 25 0 4 0 519052594 292548608 2659 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 71423 2659 384 106 0 66394 0
[pid=10827/tid=10828] ppid=10825 vsize=285692 CPUtime=0.69 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 1321 0 0 0 69 0 0 0 25 0 4 0 519052594 292548608 2659 33554432000 4194304 4627427 140735606341152 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=285692 CPUtime=0.68 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 1310 0 0 0 68 0 0 0 25 0 4 0 519052594 292548608 2659 33554432000 4194304 4627427 140735606341152 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=285692 CPUtime=0.69 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 1226 0 0 0 69 0 0 0 25 0 4 0 519052594 292548608 2659 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285692

[startup+1.50034 s]
/proc/loadavg: 8.14 8.09 7.89 9/182 10831
/proc/meminfo: memFree=26291516/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=291788 CPUtime=5.97 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 11567 0 0 0 595 2 0 0 25 0 4 0 519052594 298790912 5785 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 72947 5785 388 106 0 67918 0
[pid=10827/tid=10828] ppid=10825 vsize=291788 CPUtime=1.48 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 3407 0 0 0 148 0 0 0 25 0 4 0 519052594 298790912 5785 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=291788 CPUtime=1.48 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 2238 0 0 0 148 0 0 0 25 0 4 0 519052594 298790912 5785 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=291788 CPUtime=1.48 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 2162 0 0 0 148 0 0 0 25 0 4 0 519052594 298790912 5785 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291788

[startup+3.10106 s]
/proc/loadavg: 8.14 8.09 7.89 9/182 10831
/proc/meminfo: memFree=26257068/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=283156 CPUtime=12.36 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 21067 0 0 0 1233 3 0 0 25 0 4 0 519052594 289951744 10686 33554432000 4194304 4627427 140735606341152 18446744073709551615 4310363 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 70789 10686 388 106 0 65760 0
[pid=10827/tid=10828] ppid=10825 vsize=283156 CPUtime=3.08 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 4566 0 0 0 308 0 0 0 25 0 4 0 519052594 289951744 10686 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=283156 CPUtime=3.08 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 5416 0 0 0 307 1 0 0 25 0 4 0 519052594 289951744 10686 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=283156 CPUtime=3.09 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 5272 0 0 0 308 1 0 0 25 0 4 0 519052594 289951744 10686 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 283156

[startup+6.30051 s]
/proc/loadavg: 8.29 8.12 7.90 9/182 10831
/proc/meminfo: memFree=26237204/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=289384 CPUtime=23.39 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 30835 0 0 0 2334 5 0 0 25 0 4 0 519052594 296329216 14858 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 72346 14858 388 106 0 67317 0
[pid=10827/tid=10828] ppid=10825 vsize=289384 CPUtime=5.59 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 7103 0 0 0 558 1 0 0 25 0 4 0 519052594 296329216 14858 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=289384 CPUtime=6.27 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 8584 0 0 0 626 1 0 0 25 0 4 0 519052594 296329216 14858 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=289384 CPUtime=6.18 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 7681 0 0 0 617 1 0 0 25 0 4 0 519052594 296329216 14858 33554432000 4194304 4627427 140735606341152 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.39
Current children cumulated vsize (KiB) 289384

[startup+12.7064 s]
/proc/loadavg: 8.26 8.12 7.90 9/182 10831
/proc/meminfo: memFree=26215280/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=299292 CPUtime=48.96 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 46456 0 0 0 4888 8 0 0 25 0 4 0 519052594 306475008 19503 33554432000 4194304 4627427 140735606341152 18446744073709551615 4428390 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 74823 19503 388 106 0 69794 0
[pid=10827/tid=10828] ppid=10825 vsize=299292 CPUtime=11.99 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 10391 0 0 0 1198 1 0 0 25 0 4 0 519052594 306475008 19503 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=299292 CPUtime=12.67 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 12376 0 0 0 1265 2 0 0 25 0 4 0 519052594 306475008 19503 33554432000 4194304 4627427 140735606341152 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=299292 CPUtime=12.59 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 12731 0 0 0 1257 2 0 0 25 0 4 0 519052594 306475008 19503 33554432000 4194304 4627427 140735606341152 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.96
Current children cumulated vsize (KiB) 299292

[startup+25.5002 s]
/proc/loadavg: 8.28 8.13 7.91 9/182 10831
/proc/meminfo: memFree=26194072/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=322044 CPUtime=100.04 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 69267 0 0 0 9991 13 0 0 25 0 4 0 519052594 329773056 27551 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 80511 27551 388 106 0 75482 0
[pid=10827/tid=10828] ppid=10825 vsize=322044 CPUtime=24.78 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 15710 0 0 0 2476 2 0 0 25 0 4 0 519052594 329773056 27551 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=322044 CPUtime=25.45 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 19354 0 0 0 2542 3 0 0 25 0 4 0 519052594 329773056 27551 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=322044 CPUtime=25.37 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 18792 0 0 0 2534 3 0 0 25 0 4 0 519052594 329773056 27551 33554432000 4194304 4627427 140735606341152 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.04
Current children cumulated vsize (KiB) 322044

[startup+51.1008 s]
/proc/loadavg: 8.18 8.12 7.91 9/182 10832
/proc/meminfo: memFree=26158740/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=399900 CPUtime=202.26 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 106647 0 0 0 20198 28 0 0 25 0 4 0 519052594 409497600 36073 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 99975 36073 388 106 0 94946 0
[pid=10827/tid=10828] ppid=10825 vsize=399900 CPUtime=50.38 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 24380 0 0 0 5034 4 0 0 25 0 4 0 519052594 409497600 36073 33554432000 4194304 4627427 140735606341152 18446744073709551615 4338562 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=399900 CPUtime=51.04 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 30386 0 0 0 5098 6 0 0 25 0 4 0 519052594 409497600 36073 33554432000 4194304 4627427 140735606341152 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=399900 CPUtime=50.98 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 28927 0 0 0 5091 7 0 0 25 0 4 0 519052594 409497600 36073 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.26
Current children cumulated vsize (KiB) 399900

[startup+102.301 s]
/proc/loadavg: 8.17 8.12 7.92 9/182 10833
/proc/meminfo: memFree=26097568/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=337572 CPUtime=406.69 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 152151 0 0 0 40628 41 0 0 25 0 4 0 519052594 345673728 44204 33554432000 4194304 4627427 140735606341152 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 84393 44204 388 106 0 79364 0
[pid=10827/tid=10828] ppid=10825 vsize=337572 CPUtime=101.56 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 27092 0 0 0 10152 4 0 0 25 0 4 0 519052594 345673728 44204 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=337572 CPUtime=102.2 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 47123 0 0 0 10209 11 0 0 25 0 4 0 519052594 345673728 44204 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=337572 CPUtime=102.16 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 46071 0 0 0 10206 10 0 0 25 0 4 0 519052594 345673728 44204 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 406.69
Current children cumulated vsize (KiB) 337572

[startup+162.307 s]

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

[pid=10827] ppid=10825 vsize=582128 CPUtime=2561.22 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 478481 0 0 0 255953 169 0 0 25 0 4 0 519052594 596099072 101155 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 145532 101155 389 106 0 140503 0
[pid=10827/tid=10828] ppid=10825 vsize=582128 CPUtime=641.55 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 89394 0 0 0 64130 25 0 0 25 0 4 0 519052594 596099072 101155 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=582128 CPUtime=642.05 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 141274 0 0 0 64154 51 0 0 25 0 4 0 519052594 596099072 101155 33554432000 4194304 4627427 140735606341152 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=582128 CPUtime=641.38 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 133512 0 0 0 64100 38 0 0 25 0 4 0 519052594 596099072 101155 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2561.22
Current children cumulated vsize (KiB) 582128

[startup+702.301 s]
/proc/loadavg: 8.20 8.15 8.02 9/182 10892
/proc/meminfo: memFree=25915456/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=650084 CPUtime=2800.27 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 492210 0 0 0 279846 181 0 0 25 0 4 0 519052594 665686016 107970 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 162521 107971 389 106 0 157492 0
[pid=10827/tid=10828] ppid=10825 vsize=650084 CPUtime=701.54 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 89911 0 0 0 70129 25 0 0 25 0 4 0 519052594 665686016 107971 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=650084 CPUtime=702.05 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 148013 0 0 0 70150 55 0 0 25 0 4 0 519052594 665686016 107971 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=650084 CPUtime=701.38 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 135392 0 0 0 70099 39 0 0 25 0 4 0 519052594 665686016 107971 33554432000 4194304 4627427 140735606341152 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.27
Current children cumulated vsize (KiB) 650084

[startup+762.3 s]
/proc/loadavg: 8.26 8.17 8.03 9/182 10894
/proc/meminfo: memFree=25848368/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=595208 CPUtime=3039.9 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 512068 0 0 0 303797 193 0 0 25 0 4 0 519052594 609492992 109370 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 148802 109370 389 106 0 143773 0
[pid=10827/tid=10828] ppid=10825 vsize=595208 CPUtime=761.54 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 92690 0 0 0 76128 26 0 0 25 0 4 0 519052594 609492992 109370 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=595208 CPUtime=762.04 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 155657 0 0 0 76146 58 0 0 25 0 4 0 519052594 609492992 109370 33554432000 4194304 4627427 140735606341152 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=595208 CPUtime=761.38 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 139889 0 0 0 76097 41 0 0 25 0 4 0 519052594 609492992 109370 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3039.9
Current children cumulated vsize (KiB) 595208

[startup+822.301 s]
/proc/loadavg: 8.24 8.17 8.03 9/182 10896
/proc/meminfo: memFree=25736372/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=739572 CPUtime=3279.54 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 541117 0 0 0 327750 204 0 0 25 0 4 0 519052594 757321728 131209 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 184893 131209 389 106 0 179864 0
[pid=10827/tid=10828] ppid=10825 vsize=739572 CPUtime=821.55 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 95979 0 0 0 82128 27 0 0 25 0 4 0 519052594 757321728 131209 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=739572 CPUtime=822.04 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 165283 0 0 0 82142 62 0 0 25 0 4 0 519052594 757321728 131209 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=739572 CPUtime=821.39 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 147400 0 0 0 82095 44 0 0 25 0 4 0 519052594 757321728 131209 33554432000 4194304 4627427 140735606341152 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.54
Current children cumulated vsize (KiB) 739572

[startup+882.301 s]
/proc/loadavg: 8.15 8.15 8.03 9/182 10897
/proc/meminfo: memFree=25734732/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=784592 CPUtime=3519.17 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 563623 0 0 0 351704 213 0 0 25 0 4 0 519052594 803422208 124521 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 196148 124521 389 106 0 191119 0
[pid=10827/tid=10828] ppid=10825 vsize=784592 CPUtime=881.54 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 101035 0 0 0 88126 28 0 0 25 0 4 0 519052594 803422208 124521 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=784592 CPUtime=882.03 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 172836 0 0 0 88138 65 0 0 25 0 4 0 519052594 803422208 124521 33554432000 4194304 4627427 140735606341152 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=784592 CPUtime=881.38 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 152787 0 0 0 88092 46 0 0 25 0 4 0 519052594 803422208 124521 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.17
Current children cumulated vsize (KiB) 784592

[startup+942.3 s]
/proc/loadavg: 8.18 8.15 8.04 9/182 10899
/proc/meminfo: memFree=25745500/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=733148 CPUtime=3758.81 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 590299 0 0 0 375658 223 0 0 25 0 4 0 519052594 750743552 123921 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 183287 123921 389 106 0 178258 0
[pid=10827/tid=10828] ppid=10825 vsize=733148 CPUtime=941.54 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 105836 0 0 0 94125 29 0 0 25 0 4 0 519052594 750743552 123921 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=733148 CPUtime=942.03 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 181773 0 0 0 94134 69 0 0 25 0 4 0 519052594 750743552 123921 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=733148 CPUtime=941.39 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 159851 0 0 0 94090 49 0 0 25 0 4 0 519052594 750743552 123921 33554432000 4194304 4627427 140735606341152 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.81
Current children cumulated vsize (KiB) 733148

[startup+1002.3 s]
/proc/loadavg: 8.18 8.15 8.04 9/182 10900
/proc/meminfo: memFree=25717452/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=720116 CPUtime=3998.43 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 613778 0 0 0 399609 234 0 0 25 0 4 0 519052594 737398784 118742 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 180029 118742 388 106 0 175000 0
[pid=10827/tid=10828] ppid=10825 vsize=720116 CPUtime=1001.55 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 110050 0 0 0 100123 32 0 0 25 0 4 0 519052594 737398784 118742 33554432000 4194304 4627427 140735606341152 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=720116 CPUtime=1002.03 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 190515 0 0 0 100131 72 0 0 25 0 4 0 519052594 737398784 118742 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=720116 CPUtime=1001.39 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 163361 0 0 0 100089 50 0 0 25 0 4 0 519052594 737398784 118742 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3998.43
Current children cumulated vsize (KiB) 720116

[startup+1062.3 s]
/proc/loadavg: 8.12 8.14 8.04 9/182 10902
/proc/meminfo: memFree=25728972/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=665680 CPUtime=4238.05 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 635602 0 0 0 423561 244 0 0 25 0 4 0 519052594 681656320 115514 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 166420 115514 388 106 0 161391 0
[pid=10827/tid=10828] ppid=10825 vsize=665680 CPUtime=1061.55 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 113672 0 0 0 106122 33 0 0 25 0 4 0 519052594 681656320 115514 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=665680 CPUtime=1062.02 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 198155 0 0 0 106127 75 0 0 25 0 4 0 519052594 681656320 115514 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=665680 CPUtime=1061.39 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 167000 0 0 0 106087 52 0 0 25 0 4 0 519052594 681656320 115514 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4238.05
Current children cumulated vsize (KiB) 665680

[startup+1122.3 s]
/proc/loadavg: 8.04 8.11 8.03 9/182 10904
/proc/meminfo: memFree=25668572/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=666920 CPUtime=4477.7 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 660867 0 0 0 447515 255 0 0 25 0 4 0 519052594 682926080 122223 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 166730 122223 388 106 0 161701 0
[pid=10827/tid=10828] ppid=10825 vsize=666920 CPUtime=1121.55 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 117786 0 0 0 112121 34 0 0 25 0 4 0 519052594 682926080 122227 33554432000 4194304 4627427 140735606341152 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=666920 CPUtime=1122.03 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 205837 0 0 0 112125 78 0 0 25 0 4 0 519052594 682926080 122227 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=666920 CPUtime=1121.4 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 173827 0 0 0 112086 54 0 0 25 0 4 0 519052594 682926080 122228 33554432000 4194304 4627427 140735606341152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4477.7
Current children cumulated vsize (KiB) 666920

[startup+1182.3 s]
/proc/loadavg: 8.01 8.09 8.03 9/182 10905
/proc/meminfo: memFree=25561292/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=679148 CPUtime=4717.29 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 677020 0 0 0 471470 259 0 0 25 0 4 0 519052594 695447552 131384 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 169787 131384 388 106 0 164758 0
[pid=10827/tid=10828] ppid=10825 vsize=679148 CPUtime=1181.56 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 120532 0 0 0 118121 35 0 0 25 0 4 0 519052594 695447552 131384 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=679148 CPUtime=1182.01 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 213634 0 0 0 118121 80 0 0 25 0 4 0 519052594 695447552 131384 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=679148 CPUtime=1181.39 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 175478 0 0 0 118085 54 0 0 25 0 4 0 519052594 695447552 131384 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4717.29
Current children cumulated vsize (KiB) 679148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.01 8.08 8.03 9/182 10906
/proc/meminfo: memFree=25583604/32951132 swapFree=67111364/67111528
[pid=10827] ppid=10825 vsize=679148 CPUtime=4800.37 cores=0,2,4,6
/proc/10827/stat : 10827 (strangenight2-m) R 10825 10827 10537 0 -1 4202496 677020 0 0 0 479777 260 0 0 25 0 4 0 519052594 695447552 131384 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10827/statm: 169787 131384 388 106 0 164758 0
[pid=10827/tid=10828] ppid=10825 vsize=679148 CPUtime=1202.36 cores=0,2,4,6
/proc/10827/task/10828/stat : 10828 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 120532 0 0 0 120201 35 0 0 25 0 4 0 519052594 695447552 131384 33554432000 4194304 4627427 140735606341152 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10827/tid=10829] ppid=10825 vsize=679148 CPUtime=1202.82 cores=0,2,4,6
/proc/10827/task/10829/stat : 10829 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 213634 0 0 0 120202 80 0 0 25 0 4 0 519052594 695447552 131384 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10827/tid=10830] ppid=10825 vsize=679148 CPUtime=1202.19 cores=0,2,4,6
/proc/10827/task/10830/stat : 10830 (strangenight2-m) R 10825 10827 10537 0 -1 4202560 175478 0 0 0 120165 54 0 0 25 0 4 0 519052594 695447552 131384 33554432000 4194304 4627427 140735606341152 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 679148

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.42
CPU user time (s): 4797.8
CPU system time (s): 2.6286
CPU usage (%): 398.992
Max. virtual memory (cumulated for all children) (KiB): 825428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.8
system time used= 2.6286
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 677020
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= 285
involuntary context switches= 21314

runsolver used 1.88971 second user time and 5.33019 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 12:55:39
IDJOB=3173969
IDBENCH=82787
IDSOLVER=1586
FILE ID=node128/3173969-1304074539
RUNJOBID= node128-1304072088-10555
PBS_JOBID= 13170490
Free space on /tmp= 66968 MiB

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

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

MD5SUM BENCH= d9cece0babfb15cb3db695bd3b0b9988
RANDOM SEED=812304426

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26304608 kB
Buffers:       1274940 kB
Cached:        4394560 kB
SwapCached:        160 kB
Active:         648392 kB
Inactive:      5412164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26304608 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5976 kB
Writeback:           0 kB
AnonPages:      390448 kB
Mapped:          15760 kB
Slab:           523824 kB
PageTables:       5556 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   642996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66964 MiB
End job on node128 at 2011-04-29 13:15:45