Trace number 3366658

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.42 1203.54

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf
MD5SUMad19e852103e6838347ce97648b48b74
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.141977
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-3366658-1305411165.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.37/0.10	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.37/0.10	c -- vars added        125
0.37/0.10	c Parsing time:  0.00 s
0.37/0.10	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.37/0.10	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
0.37/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.37/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.37/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.37/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.37/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.10	c calculated reachability. Time: 0.00
0.37/0.10	c Calc default polars -  time:   0.00 s pos:      58 undec:      10 neg:      57
0.37/0.10	c =========================================================================================
0.37/0.10	c types(t): F = full restart, N = normal restart
0.37/0.10	c types(t): S = simplification begin/end, E = solution found
0.37/0.10	c restart types(rt): st = static, dy = dynamic
0.37/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.10	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.37/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4918       125      2662         0      4639     13310    119601   no data   no data
1.17/0.35	c  N st    10     11305       125      2662         0      4293     13310     88324   no data   no data
1.97/0.56	c  N st    11     17050       125      2662         0      9695     13310    229074   no data   no data
3.16/0.88	c  F st    12     25002       125      2662         0     11893     13310    278400   no data   no data
3.16/0.88	c  N st    12     25002       125      2662         0     11893     13310    278400   no data   no data
3.99/1.09	c Decided on static restart strategy
3.99/1.09	c  N st    18     30000       125      2662         0     10205     13310    225379   no data   no data
3.99/1.09	c  S st    18     30000       125      2662         0     10205     13310    225379   no data   no data
4.41/1.12	c  S st    18     30504       125      2662         0     10702     13310    238364   no data   no data
4.41/1.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.41/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.41/1.12	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.41/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.41/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.41/1.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.41/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.41/1.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.41/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.32	c lits-rem:       239  cl-subs:     1587  v-elim:      0  v-fix:    0  time:  0.19 s
5.16/1.36	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.16/1.36	c calculated reachability. Time: 0.00
5.16/1.36	c  N st    18     30504       125      2662         0      9115     13310    194854   no data   no data
6.35/1.69	c  N st    20     37620       125      2662         0      8385     13310    160812   no data   no data
7.96/2.02	c  N st    21     44020       125      2662         0     14430     13310    321715   no data   no data
8.38/2.13	c  S st    22     45757       125      2662         0     16059     13310    365021   no data   no data
8.38/2.17	c  S st    22     46263       125      2662         0     16548     13310    377732   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.62	c lits-rem:       340  cl-subs:     1707  v-elim:      0  v-fix:    0  time:  0.43 s
10.34/2.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
10.34/2.62	c vivif2 --  cl tried    14841 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.06
10.34/2.69	c calculated reachability. Time: 0.00
10.34/2.69	c  N st    22     46263       125      2662         0     14841     13310    330087   no data   no data
13.54/3.45	c  N st    23     60660       125      2662         0     10647     13310    192139   no data   no data
15.53/3.93	c  N st    24     69394       125      2662         0     18841     13310    412964   no data   no data
15.53/3.93	c  S st    24     69394       125      2662         0     18841     13310    412964   no data   no data
15.53/3.98	c  S st    24     69900       125      2662         0     19327     13310    425885   no data   no data
15.53/3.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.53/3.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/3.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.53/3.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.93/4.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.33/4.63	c lits-rem:       753  cl-subs:     1994  v-elim:      0  v-fix:    0  time:  0.62 s
18.33/4.63	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.33/4.63	c vivif2 --  cl tried    17333 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.06
18.73/4.70	c calculated reachability. Time: 0.00
18.73/4.70	c  N st    24     69900       125      2662         0     17333     13310    368804   no data   no data
23.11/5.83	c  F st    25     87503       125      2662         0     12391     13310    218459   no data   no data
23.11/5.83	c  N st    25     87503       125      2662         0     12391     13310    218459   no data   no data
23.91/6.09	c Decided on static restart strategy
24.71/6.27	c  N st    32     95542       125      2662         0     20005     13310    420822   no data   no data
27.09/6.88	c  N st    34    104850       125      2662         0     16521     13310    321411   no data   no data
27.09/6.88	c  S st    34    104850       125      2662         0     16521     13310    321411   no data   no data
27.49/6.93	c  S st    34    105354       125      2662         0     17013     13310    334125   no data   no data
27.49/6.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.49/6.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.49/6.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.49/6.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.49/6.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.49/6.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.49/6.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.49/6.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.49/6.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.30/7.16	c lits-rem:       194  cl-subs:     1044  v-elim:      0  v-fix:    0  time:  0.21 s
28.30/7.16	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.30/7.16	c vivif2 --  cl tried    15969 cl shrink        0 lits rem          0 time: 0.00
28.70/7.23	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
28.70/7.23	c calculated reachability. Time: 0.00
28.70/7.23	c  N st    34    105354       125      2662         0     15969     13310    304764   no data   no data
31.88/8.05	c  N st    35    114952       125      2662         0     24973     13310    540865   no data   no data
36.28/9.11	c  N st    36    129349       125      2662         0     25336     13310    529766   no data   no data
42.66/10.78	c  N st    37    150944       125      2662         0     16498     13310    264067   no data   no data
44.64/11.26	c  S st    38    158031       125      2662         0     23212     13310    442393   no data   no data
45.04/11.32	c  S st    38    158532       125      2662         0     23700     13310    455730   no data   no data
45.04/11.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.04/11.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
45.04/11.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.04/11.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.04/11.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.04/11.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
45.04/11.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.04/11.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
45.04/11.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.05/11.80	c lits-rem:       441  cl-subs:     1532  v-elim:      0  v-fix:    0  time:  0.45 s
47.05/11.80	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
47.05/11.81	c vivif2 --  cl tried    22168 cl shrink        0 lits rem          0 time: 0.00
47.05/11.89	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.09
47.05/11.89	c calculated reachability. Time: 0.00
47.05/11.89	c  N st    38    158532       125      2662         0     22168     13310    414365   no data   no data
63.40/15.96	c  N st    39    207120       125      2662         0     34932     13310    723231   no data   no data
74.96/18.81	c  N st    40    237799       125      2662         0     27078     13310    500337   no data   no data
74.96/18.81	c  S st    40    237799       125      2662         0     27078     13310    500337   no data   no data
74.96/18.88	c  S st    40    238300       125      2662         0     27567     13310    513340   no data   no data
74.96/18.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.96/18.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.96/18.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.96/18.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.96/18.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.96/18.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
74.96/18.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.96/18.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
75.36/18.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.16/19.67	c lits-rem:       757  cl-subs:     2233  v-elim:      0  v-fix:    0  time:  0.76 s
78.16/19.67	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
78.16/19.67	c vivif2 --  cl tried    25334 cl shrink        0 lits rem          0 time: 0.01
78.59/19.79	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
78.59/19.79	c calculated reachability. Time: 0.00
78.59/19.79	c  N st    40    238300       125      2662         0     25334     13310    454862   no data   no data
104.90/26.39	c  F st    41    306252       125      2662         0     27294     13310    462099   no data   no data
104.90/26.40	c  N st    41    306252       125      2662         0     27294     13310    462099   no data   no data
106.87/26.87	c Decided on static restart strategy
115.65/29.07	c  N st    51    334565       125      2662         0     31481     13310    555929   no data   no data
125.23/31.43	c  N st    53    357450       125      2662         0     29468     13310    481167   no data   no data
125.23/31.43	c  S st    53    357450       125      2662         0     29468     13310    481167   no data   no data
125.63/31.51	c  S st    53    357951       125      2662         0     29954     13310    493767   no data   no data
125.63/31.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
125.63/31.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
125.63/31.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
125.63/31.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
125.63/31.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.63/31.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
125.63/31.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
125.63/31.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
125.63/31.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
127.26/31.95	c lits-rem:       358  cl-subs:     1229  v-elim:      0  v-fix:    0  time:  0.41 s
127.26/31.95	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
127.26/31.96	c vivif2 --  cl tried    28725 cl shrink        0 lits rem          0 time: 0.01
127.62/32.07	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.12
127.62/32.07	c calculated reachability. Time: 0.00
127.62/32.07	c  N st    53    357951       125      2662         0     28725     13310    458970   no data   no data
140.44/35.29	c  N st    54    390343       125      2662         0     34734     13310    597346   no data   no data
163.52/41.07	c  N st    55    438934       125      2662         0     28719     13310    421835   no data   no data
199.43/50.02	c  N st    56    511816       125      2662         0     41503     13310    709229   no data   no data
210.99/52.97	c  N st    57    536926       125      2662         0     36088     13310    567892   no data   no data
210.99/52.97	c  S st    57    536926       125      2662         0     36088     13310    567892   no data   no data
211.39/53.06	c  S st    57    537428       125      2662         0     36572     13310    580422   no data   no data
211.39/53.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
211.39/53.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
211.39/53.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
211.39/53.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
211.39/53.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.39/53.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
211.39/53.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
211.39/53.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
211.39/53.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.19/53.71	c lits-rem:       527  cl-subs:     1388  v-elim:      0  v-fix:    0  time:  0.61 s
214.19/53.71	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
214.19/53.71	c vivif2 --  cl tried    35184 cl shrink        0 lits rem          0 time: 0.01
214.61/53.87	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.15
214.61/53.87	c calculated reachability. Time: 0.00
214.61/53.87	c  N st    57    537428       125      2662         0     35184     13310    543704   no data   no data
308.73/77.45	c  N st    58    701413       125      2662         0     62922     13310   1200284   no data   no data
369.36/92.67	c  N st    59    806144       125      2662         0     57348     13310   1018173   no data   no data
369.36/92.67	c  S st    59    806144       125      2662         0     57348     13310   1018173   no data   no data
370.16/92.83	c  S st    59    806648       125      2662         0     57842     13310   1031216   no data   no data
370.16/92.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
370.16/92.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
370.16/92.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
370.16/92.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
370.16/92.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
370.16/92.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
370.16/92.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
370.16/92.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
370.56/92.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
388.11/97.38	c lits-rem:      1500  cl-subs:     5437  v-elim:      0  v-fix:    0  time:  4.44 s
388.11/97.38	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
388.11/97.39	c vivif2 --  cl tried    52405 cl shrink        0 lits rem          0 time: 0.01
389.31/97.67	c asymm  cl-useful: 0/2609/2662 lits-rem:0 time: 0.28
389.31/97.67	c calculated reachability. Time: 0.00
389.31/97.67	c  N st    59    806648       125      2662         0     52405     13310    899370   no data   no data
558.42/140.05	c  F st    60   1071875       125      2662         0     67619     13310   1199876   no data   no data
558.42/140.05	c  N st    60   1071875       125      2662         0     67619     13310   1199876   no data   no data
562.82/141.12	c Decided on static restart strategy
580.36/145.58	c  N st    70   1100180       125      2662         0     52306     13310    790501   no data   no data
612.27/153.51	c  N st    72   1136173       125      2662         0     43055     13310    528529   no data   no data
633.42/158.83	c  N st    73   1168565       125      2662         0     73440     13310   1349121   no data   no data
667.71/167.41	c  N st    74   1209973       125      2662         0     68348     13310   1197033   no data   no data
667.71/167.41	c  S st    74   1209973       125      2662         0     68348     13310   1197033   no data   no data
668.91/167.74	c  S st    74   1210476       125      2662         0     68831     13310   1209806   no data   no data
668.91/167.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
669.31/167.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.05
669.31/167.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
669.31/167.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
669.31/167.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
669.31/167.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
669.31/167.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
669.31/167.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
669.31/167.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
722.75/181.27	c lits-rem:      2080  cl-subs:     4739  v-elim:      0  v-fix:    0  time: 13.24 s
722.75/181.27	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
722.75/181.29	c vivif2 --  cl tried    64092 cl shrink        0 lits rem          0 time: 0.02
724.74/181.74	c asymm  cl-useful: 0/2078/2662 lits-rem:0 time: 0.44
724.74/181.74	c calculated reachability. Time: 0.00
724.74/181.75	c  N st    74   1210476       125      2662         0     64092     13310   1082964   no data   no data
779.79/195.58	c  N st    75   1283360       125      2662         0     87488     13310   1694994   no data   no data
888.27/222.74	c  N st    76   1392685       125      2662         0     49116     13310    609254   no data   no data
1023.09/256.58	c  N st    77   1556669       125      2662         0     53768     13310    695505   no data   no data
1168.28/292.91	c  N st    78   1710476       125      2662         0     93535     13310   1698979   no data   no data
1168.28/292.91	c  S st    78   1710476       125      2662         0     93535     13310   1698979   no data   no data
1169.88/293.39	c  S st    78   1710982       125      2662         0     94031     13310   1712020   no data   no data
1170.28/293.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1170.28/293.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.07
1170.28/293.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1170.28/293.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1170.28/293.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1170.28/293.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1170.28/293.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1170.68/293.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1170.68/293.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1333.00/334.29	c lits-rem:      2189  cl-subs:    10523  v-elim:      0  v-fix:    0  time: 40.24 s
1333.00/334.29	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1333.42/334.33	c vivif2 --  cl tried    83508 cl shrink        0 lits rem          0 time: 0.03
1334.19/334.54	c asymm  cl-useful: 0/584/2662 lits-rem:0 time: 0.21
1334.19/334.55	c calculated reachability. Time: 0.00
1334.19/334.55	c  N st    78   1710982       125      2662         0     83508     13310   1457984   no data   no data
1666.89/417.99	c  N st    79   2079947       125      2662         0     95094     13310   1645721   no data   no data
1805.67/452.78	c  N st    80   2210984       125      2662         0     99397     13310   1773308   no data   no data
1805.67/452.78	c  S st    80   2210984       125      2662         0     99397     13310   1773308   no data   no data
1807.29/453.13	c  S st    80   2211489       125      2662         0     99883     13310   1786466   no data   no data
1807.29/453.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1807.29/453.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1807.29/453.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1807.29/453.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1807.29/453.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1807.29/453.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1807.29/453.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1807.29/453.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1807.71/453.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1904.59/477.60	c lits-rem:      2499  cl-subs:     9444  v-elim:      0  v-fix:    0  time: 24.06 s
1904.59/477.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1904.99/477.63	c vivif2 --  cl tried    90439 cl shrink        0 lits rem          0 time: 0.03
1907.39/478.22	c asymm  cl-useful: 0/1577/2662 lits-rem:0 time: 0.60
1907.39/478.23	c calculated reachability. Time: 0.00
1907.39/478.23	c  N st    80   2211489       125      2662         0     90439     13310   1543899   no data   no data
2453.45/615.14	c  N st    81   2711489       125      2662         0    112900     13310   2018116   no data   no data
2453.45/615.14	c  S st    81   2711489       125      2662         0    112900     13310   2018116   no data   no data
2455.04/615.51	c  S st    81   2711992       125      2662         0    113388     13310   2031429   no data   no data
2455.04/615.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2455.04/615.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2455.04/615.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2455.04/615.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2455.04/615.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2455.04/615.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2455.04/615.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2455.44/615.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2455.44/615.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2576.69/646.07	c lits-rem:      3338  cl-subs:    12213  v-elim:      0  v-fix:    0  time: 30.06 s
2576.69/646.07	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2576.69/646.09	c vivif2 --  cl tried   101175 cl shrink        0 lits rem          0 time: 0.03
2578.69/646.52	c asymm  cl-useful: 0/1085/2662 lits-rem:0 time: 0.43
2578.69/646.53	c calculated reachability. Time: 0.00
2578.69/646.53	c  N st    81   2711992       125      2662         0    101175     13310   1727596   no data   no data
3204.92/803.54	c  N st    82   3211994       125      2662         0     78927     13310   1003022   no data   no data
3204.92/803.54	c  S st    82   3211994       125      2662         0     78927     13310   1003022   no data   no data
3205.72/803.79	c  S st    82   3212498       125      2662         0     79409     13310   1015927   no data   no data
3205.72/803.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3206.12/803.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3206.12/803.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3206.12/803.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3206.12/803.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3206.12/803.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3206.12/803.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3206.12/803.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3206.12/803.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3210.91/805.02	c lits-rem:       303  cl-subs:     1534  v-elim:      0  v-fix:    0  time:  1.13 s
3210.91/805.02	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3210.91/805.03	c vivif2 --  cl tried    77875 cl shrink        0 lits rem          0 time: 0.01
3212.09/805.36	c asymm  cl-useful: 0/1791/2662 lits-rem:0 time: 0.31
3212.09/805.36	c calculated reachability. Time: 0.00
3212.09/805.36	c  N st    82   3212498       125      2662         0     77875     13310    980398   no data   no data
3893.34/976.19	c  N st    83   3712498       125      2662         0     88027     13310   1161659   no data   no data
3893.34/976.19	c  S st    83   3712498       125      2662         0     88027     13310   1161659   no data   no data
3894.54/976.46	c  S st    83   3713003       125      2662         0     88512     13310   1174216   no data   no data
3894.54/976.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3894.94/976.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3894.94/976.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3894.94/976.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3894.94/976.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3894.94/976.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3894.94/976.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3894.94/976.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3894.94/976.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3903.32/978.64	c lits-rem:       437  cl-subs:     2315  v-elim:      0  v-fix:    0  time:  2.06 s
3903.32/978.64	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3903.32/978.66	c vivif2 --  cl tried    86197 cl shrink        0 lits rem          0 time: 0.02
3904.12/978.86	c asymm  cl-useful: 0/871/2662 lits-rem:0 time: 0.20
3904.12/978.86	c calculated reachability. Time: 0.00
3904.12/978.86	c  N st    83   3713003       125      2662         0     86197     13310   1114592   no data   no data
3949.18/990.11	c  F st    84   3751562       125      2662         0    122219     13310   2066796   no data   no data
3949.18/990.12	c  N st    84   3751562       125      2662         0    122219     13310   2066796   no data   no data
3960.35/992.91	c Decided on static restart strategy
4006.61/1004.58	c  N st    94   3779874       125      2662         0    148828     13310   2768324   no data   no data
4050.88/1015.68	c  N st    96   3815866       125      2662         0    103527     13310   1574919   no data   no data
4101.55/1028.30	c  N st    97   3848258       125      2662         0    134006     13310   2406471   no data   no data
4179.73/1047.96	c  N st    98   3896848       125      2662         0     98888     13310   1407191   no data   no data
4285.83/1074.56	c  N st    99   3969730       125      2662         0     85747     13310   1054054   no data   no data
4438.20/1112.70	c  N st   100   4079053       125      2662         0    105484     13310   1555276   no data   no data
4613.70/1156.79	c  N st   101   4213005       125      2662         0    147461     13310   2626917   no data   no data
4613.70/1156.79	c  S st   101   4213005       125      2662         0    147461     13310   2626917   no data   no data
4616.08/1157.30	c  S st   101   4213508       125      2662         0    147936     13310   2639940   no data   no data
4616.08/1157.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4616.08/1157.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
4616.08/1157.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4616.08/1157.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4616.08/1157.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4616.08/1157.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4616.08/1157.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4616.48/1157.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4616.88/1157.50	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-3366658-1305411165/watcher-3366658-1305411165 -o /tmp/evaluation-result-3366658-1305411165/solver-3366658-1305411165 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366658-1305411165.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.15 8.12 8.09 6/357 13794
/proc/meminfo: memFree=21291452/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=199756 CPUtime=0 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) S 13792 13794 13351 0 -1 4202496 604 0 0 0 0 0 0 0 25 0 4 0 652714213 204550144 528 33554432000 4194304 4580107 140734658120608 18446744073709551615 218905836014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13794/statm: 49939 528 336 95 0 44921 0
[pid=13794/tid=13795] ppid=13792 vsize=207948 CPUtime=0 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 109 0 0 0 0 0 0 0 25 0 4 0 652714213 212938752 693 33554432000 4194304 4580107 140734658120608 18446744073709551615 218905392161 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=207948 CPUtime=0 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 93 0 0 0 0 0 0 0 25 0 4 0 652714213 212938752 693 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=207948 CPUtime=0 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 121 0 0 0 0 0 0 0 25 0 4 0 652714213 212938752 693 33554432000 4194304 4580107 140734658120608 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0337489 s]
/proc/loadavg: 8.15 8.12 8.09 6/357 13794
/proc/meminfo: memFree=21291452/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=217312 CPUtime=0.11 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 1424 0 0 0 11 0 0 0 25 0 4 0 652714213 222527488 1307 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 54328 1307 375 95 0 49310 0
[pid=13794/tid=13795] ppid=13792 vsize=217312 CPUtime=0.02 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 296 0 0 0 2 0 0 0 25 0 4 0 652714213 222527488 1307 33554432000 4194304 4580107 140734658120608 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=217312 CPUtime=0.02 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 306 0 0 0 2 0 0 0 25 0 4 0 652714213 222527488 1307 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=217312 CPUtime=0.02 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 165 0 0 0 2 0 0 0 25 0 4 0 652714213 222527488 1307 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 217312

[startup+0.100737 s]
/proc/loadavg: 8.15 8.12 8.09 6/357 13794
/proc/meminfo: memFree=21291452/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=217448 CPUtime=0.37 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 1809 0 0 0 37 0 0 0 25 0 4 0 652714213 222666752 1692 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 54362 1692 376 95 0 49344 0
[pid=13794/tid=13795] ppid=13792 vsize=217448 CPUtime=0.09 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 378 0 0 0 9 0 0 0 25 0 4 0 652714213 222666752 1692 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294001 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=217448 CPUtime=0.09 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 397 0 0 0 9 0 0 0 25 0 4 0 652714213 222666752 1692 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=217448 CPUtime=0.09 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 278 0 0 0 9 0 0 0 25 0 4 0 652714213 222666752 1692 33554432000 4194304 4580107 140734658120608 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 217448

[startup+0.300701 s]
/proc/loadavg: 8.15 8.12 8.09 6/357 13794
/proc/meminfo: memFree=21291452/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=219520 CPUtime=1.17 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 3047 0 0 0 117 0 0 0 25 0 4 0 652714213 224788480 2308 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 54880 2308 377 95 0 49862 0
[pid=13794/tid=13795] ppid=13792 vsize=219520 CPUtime=0.29 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 674 0 0 0 29 0 0 0 25 0 4 0 652714213 224788480 2309 33554432000 4194304 4580107 140734658120608 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=219520 CPUtime=0.29 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 732 0 0 0 29 0 0 0 25 0 4 0 652714213 224788480 2309 33554432000 4194304 4580107 140734658120608 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=219520 CPUtime=0.29 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 581 0 0 0 29 0 0 0 25 0 4 0 652714213 224788480 2309 33554432000 4194304 4580107 140734658120608 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 219520

[startup+0.700629 s]
/proc/loadavg: 8.15 8.12 8.09 6/357 13794
/proc/meminfo: memFree=21291452/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=221280 CPUtime=2.76 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 5490 0 0 0 276 0 0 0 25 0 4 0 652714213 226590720 2623 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 55320 2623 377 95 0 50302 0
[pid=13794/tid=13795] ppid=13792 vsize=221280 CPUtime=0.69 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 1291 0 0 0 69 0 0 0 25 0 4 0 652714213 226590720 2623 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=221280 CPUtime=0.69 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 1321 0 0 0 69 0 0 0 25 0 4 0 652714213 226590720 2623 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=221280 CPUtime=0.69 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 1195 0 0 0 69 0 0 0 25 0 4 0 652714213 226590720 2623 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 221280

[startup+1.50049 s]
/proc/loadavg: 8.29 8.16 8.10 10/361 13798
/proc/meminfo: memFree=21271108/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=228484 CPUtime=5.95 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 11326 0 0 0 594 1 0 0 25 0 4 0 652714213 233967616 5837 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 57121 5837 379 95 0 52103 0
[pid=13794/tid=13795] ppid=13792 vsize=228484 CPUtime=1.48 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 3316 0 0 0 148 0 0 0 25 0 4 0 652714213 233967616 5837 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=228484 CPUtime=1.49 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 2201 0 0 0 149 0 0 0 25 0 4 0 652714213 233967616 5837 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=228484 CPUtime=1.49 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 2121 0 0 0 149 0 0 0 25 0 4 0 652714213 233967616 5837 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 228484

[startup+3.10019 s]
/proc/loadavg: 8.29 8.16 8.10 9/361 13798
/proc/meminfo: memFree=21233164/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=240476 CPUtime=12.35 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 20380 0 0 0 1232 3 0 0 25 0 4 0 652714213 246247424 10559 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 60119 10559 379 95 0 55101 0
[pid=13794/tid=13795] ppid=13792 vsize=240476 CPUtime=3.09 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 4624 0 0 0 308 1 0 0 25 0 4 0 652714213 246247424 10559 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=240476 CPUtime=3.09 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 5233 0 0 0 309 0 0 0 25 0 4 0 652714213 246247424 10559 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=240476 CPUtime=3.08 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 5148 0 0 0 308 0 0 0 25 0 4 0 652714213 246247424 10559 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 240476

[startup+6.30061 s]
/proc/loadavg: 8.27 8.15 8.10 9/361 13798
/proc/meminfo: memFree=21191128/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=260108 CPUtime=25.11 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 31506 0 0 0 2506 5 0 0 25 0 4 0 652714213 266350592 14678 33554432000 4194304 4580107 140734658120608 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 65027 14678 379 95 0 60009 0
[pid=13794/tid=13795] ppid=13792 vsize=260108 CPUtime=6.28 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 8097 0 0 0 627 1 0 0 25 0 4 0 652714213 266350592 14678 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=260108 CPUtime=6.28 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 8045 0 0 0 628 0 0 0 25 0 4 0 652714213 266350592 14678 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=260108 CPUtime=6.29 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 7589 0 0 0 628 1 0 0 25 0 4 0 652714213 266350592 14678 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 260108

[startup+12.7005 s]
/proc/loadavg: 8.25 8.15 8.10 9/361 13799
/proc/meminfo: memFree=21149036/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=256788 CPUtime=50.63 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 47591 0 0 0 5055 8 0 0 25 0 4 0 652714213 262950912 19243 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 64197 19243 379 95 0 59179 0
[pid=13794/tid=13795] ppid=13792 vsize=256788 CPUtime=12.69 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 12497 0 0 0 1267 2 0 0 25 0 4 0 652714213 262950912 19243 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=256788 CPUtime=12.69 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 10711 0 0 0 1268 1 0 0 25 0 4 0 652714213 262950912 19243 33554432000 4194304 4580107 140734658120608 18446744073709551615 4340673 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=256788 CPUtime=12.69 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 12587 0 0 0 1267 2 0 0 25 0 4 0 652714213 262950912 19243 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 256788

[startup+25.5011 s]
/proc/loadavg: 8.26 8.16 8.10 9/361 13799
/proc/meminfo: memFree=21095840/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=281756 CPUtime=101.69 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 68081 0 0 0 10156 13 0 0 25 0 4 0 652714213 288518144 27182 33554432000 4194304 4580107 140734658120608 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 70439 27182 379 95 0 65421 0
[pid=13794/tid=13795] ppid=13792 vsize=281756 CPUtime=25.49 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 19443 0 0 0 2545 4 0 0 25 0 4 0 652714213 288518144 27182 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=281756 CPUtime=25.49 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 14366 0 0 0 2547 2 0 0 25 0 4 0 652714213 288518144 27182 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=281756 CPUtime=25.48 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 19096 0 0 0 2545 3 0 0 25 0 4 0 652714213 288518144 27182 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 281756

[startup+51.1005 s]
/proc/loadavg: 8.24 8.16 8.10 9/361 13800
/proc/meminfo: memFree=21050248/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=273236 CPUtime=203.81 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 100484 0 0 0 20359 22 0 0 25 0 4 0 652714213 279793664 31276 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 68309 31276 379 95 0 63291 0
[pid=13794/tid=13795] ppid=13792 vsize=273236 CPUtime=51.09 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 29974 0 0 0 5104 5 0 0 25 0 4 0 652714213 279793664 31276 33554432000 4194304 4580107 140734658120608 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=273236 CPUtime=51.09 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 20931 0 0 0 5105 4 0 0 25 0 4 0 652714213 279793664 31276 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=273236 CPUtime=51.08 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 28515 0 0 0 5102 6 0 0 25 0 4 0 652714213 279793664 31276 33554432000 4194304 4580107 140734658120608 18446744073709551615 4320793 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 273236

[startup+102.313 s]
/proc/loadavg: 8.31 8.18 8.11 9/361 13801
/proc/meminfo: memFree=20979284/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=295004 CPUtime=408.09 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 152242 0 0 0 40775 34 0 0 25 0 4 0 652714213 302084096 42176 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 73751 42176 379 95 0 68733 0
[pid=13794/tid=13795] ppid=13792 vsize=295004 CPUtime=102.3 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 41316 0 0 0 10222 8 0 0 25 0 4 0 652714213 302084096 42176 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=295004 CPUtime=102.3 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 30788 0 0 0 10224 6 0 0 25 0 4 0 652714213 302084096 42176 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=295004 CPUtime=102.3 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 46070 0 0 0 10219 11 0 0 25 0 4 0 652714213 302084096 42176 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 295004

[startup+162.3 s]

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

[pid=13794] ppid=13792 vsize=525180 CPUtime=2801.23 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 459916 0 0 0 279962 161 0 0 25 0 4 0 652714213 537784320 105200 33554432000 4194304 4580107 140734658120608 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 131295 105200 379 95 0 126277 0
[pid=13794/tid=13795] ppid=13792 vsize=525180 CPUtime=702.3 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 124651 0 0 0 70187 43 0 0 25 0 4 0 652714213 537784320 105200 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=525180 CPUtime=702.31 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 105583 0 0 0 70188 43 0 0 25 0 4 0 652714213 537784320 105200 33554432000 4194304 4580107 140734658120608 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=525180 CPUtime=702.3 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 128351 0 0 0 70191 39 0 0 25 0 4 0 652714213 537784320 105200 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.23
Current children cumulated vsize (KiB) 525180

[startup+762.313 s]
/proc/loadavg: 8.13 8.14 8.09 9/361 13819
/proc/meminfo: memFree=20477692/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=616912 CPUtime=3040.62 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 480182 0 0 0 303891 171 0 0 25 0 4 0 652714213 631717888 119166 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 154228 119166 379 95 0 149210 0
[pid=13794/tid=13795] ppid=13792 vsize=616912 CPUtime=762.32 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 127604 0 0 0 76188 44 0 0 25 0 4 0 652714213 631717888 119166 33554432000 4194304 4580107 140734658120608 18446744073709551615 4304874 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=616912 CPUtime=762.32 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 110161 0 0 0 76187 45 0 0 25 0 4 0 652714213 631717888 119166 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=616912 CPUtime=762.31 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 137090 0 0 0 76189 42 0 0 25 0 4 0 652714213 631717888 119166 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.62
Current children cumulated vsize (KiB) 616912

[startup+822.301 s]
/proc/loadavg: 8.15 8.14 8.09 9/361 13820
/proc/meminfo: memFree=20433644/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=604580 CPUtime=3279.89 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 491696 0 0 0 327814 175 0 0 25 0 4 0 652714213 619089920 118438 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 151145 118438 379 95 0 146127 0
[pid=13794/tid=13795] ppid=13792 vsize=604580 CPUtime=822.31 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 127607 0 0 0 82187 44 0 0 25 0 4 0 652714213 619089920 118438 33554432000 4194304 4580107 140734658120608 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=604580 CPUtime=822.31 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 115324 0 0 0 82184 47 0 0 25 0 4 0 652714213 619089920 118438 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406370 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=604580 CPUtime=822.3 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 143196 0 0 0 82185 45 0 0 25 0 4 0 652714213 619089920 118438 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.89
Current children cumulated vsize (KiB) 604580

[startup+882.301 s]
/proc/loadavg: 8.05 8.11 8.09 9/361 13822
/proc/meminfo: memFree=20403960/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=631184 CPUtime=3519.22 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 502802 0 0 0 351740 182 0 0 25 0 4 0 652714213 646332416 123229 33554432000 4194304 4580107 140734658120608 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 157796 123229 379 95 0 152778 0
[pid=13794/tid=13795] ppid=13792 vsize=631184 CPUtime=882.31 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 130890 0 0 0 88185 46 0 0 25 0 4 0 652714213 646332416 123229 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=631184 CPUtime=882.31 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 115500 0 0 0 88184 47 0 0 25 0 4 0 652714213 646332416 123229 33554432000 4194304 4580107 140734658120608 18446744073709551615 4341614 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=631184 CPUtime=882.29 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 147113 0 0 0 88182 47 0 0 25 0 4 0 652714213 646332416 123229 33554432000 4194304 4580107 140734658120608 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.22
Current children cumulated vsize (KiB) 631184

[startup+942.301 s]
/proc/loadavg: 8.05 8.10 8.09 9/361 13823
/proc/meminfo: memFree=20401680/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=580196 CPUtime=3758.55 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 526169 0 0 0 375662 193 0 0 25 0 4 0 652714213 594120704 116952 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 145049 116952 379 95 0 140031 0
[pid=13794/tid=13795] ppid=13792 vsize=580196 CPUtime=942.31 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 139318 0 0 0 94182 49 0 0 25 0 4 0 652714213 594120704 116952 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=580196 CPUtime=942.31 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 118309 0 0 0 94183 48 0 0 25 0 4 0 652714213 594120704 116952 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=580196 CPUtime=942.3 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 156023 0 0 0 94179 51 0 0 25 0 4 0 652714213 594120704 116952 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.55
Current children cumulated vsize (KiB) 580196

[startup+1002.3 s]
/proc/loadavg: 8.05 8.10 8.09 9/361 13825
/proc/meminfo: memFree=20397292/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=580620 CPUtime=3997.84 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 544269 0 0 0 399583 201 0 0 25 0 4 0 652714213 594554880 118054 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 145155 118054 379 95 0 140137 0
[pid=13794/tid=13795] ppid=13792 vsize=580620 CPUtime=1002.32 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 142850 0 0 0 100181 51 0 0 25 0 4 0 652714213 594554880 118054 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=580620 CPUtime=1002.32 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 122517 0 0 0 100182 50 0 0 25 0 4 0 652714213 594554880 118054 33554432000 4194304 4580107 140734658120608 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=580620 CPUtime=1002.3 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 163125 0 0 0 100176 54 0 0 25 0 4 0 652714213 594554880 118054 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.84
Current children cumulated vsize (KiB) 580620

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.08 9/361 13827
/proc/meminfo: memFree=20366492/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=608204 CPUtime=4237.17 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 562000 0 0 0 423505 212 0 0 25 0 4 0 652714213 622800896 124612 33554432000 4194304 4580107 140734658120608 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 152051 124612 379 95 0 147033 0
[pid=13794/tid=13795] ppid=13792 vsize=608204 CPUtime=1062.32 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 150057 0 0 0 106177 55 0 0 25 0 4 0 652714213 622800896 124612 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=608204 CPUtime=1062.32 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 122753 0 0 0 106182 50 0 0 25 0 4 0 652714213 622800896 124612 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=608204 CPUtime=1062.3 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 169481 0 0 0 106172 58 0 0 25 0 4 0 652714213 622800896 124612 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.17
Current children cumulated vsize (KiB) 608204

[startup+1122.3 s]
/proc/loadavg: 8.14 8.10 8.09 9/361 13828
/proc/meminfo: memFree=20413088/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=623384 CPUtime=4476.49 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 579899 0 0 0 447429 220 0 0 25 0 4 0 652714213 638345216 114372 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 155846 114372 379 95 0 150828 0
[pid=13794/tid=13795] ppid=13792 vsize=623384 CPUtime=1122.32 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 157241 0 0 0 112174 58 0 0 25 0 4 0 652714213 638345216 114372 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=623384 CPUtime=1122.32 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 124781 0 0 0 112181 51 0 0 25 0 4 0 652714213 638345216 114372 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=623384 CPUtime=1122.3 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 175212 0 0 0 112169 61 0 0 25 0 4 0 652714213 638345216 114372 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.49
Current children cumulated vsize (KiB) 623384

[startup+1182.3 s]
/proc/loadavg: 8.15 8.11 8.09 9/361 13830
/proc/meminfo: memFree=20383184/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=660756 CPUtime=4715.79 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 608182 0 0 0 471347 232 0 0 25 0 4 0 652714213 676614144 124627 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406365 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 165189 124627 379 95 0 160171 0
[pid=13794/tid=13795] ppid=13792 vsize=660756 CPUtime=1182.32 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 163780 0 0 0 118171 61 0 0 25 0 4 0 652714213 676614144 124627 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=660756 CPUtime=1182.32 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 134400 0 0 0 118177 55 0 0 25 0 4 0 652714213 676614144 124627 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=660756 CPUtime=1182.31 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 181920 0 0 0 118166 65 0 0 25 0 4 0 652714213 676614144 124627 33554432000 4194304 4580107 140734658120608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.79
Current children cumulated vsize (KiB) 660756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.17 8.12 8.09 5/356 13831
/proc/meminfo: memFree=20775180/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=726292 CPUtime=4800.35 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 613480 0 0 0 479801 234 0 0 25 0 4 0 652714213 743723008 129924 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 181573 129924 379 95 0 176555 0
[pid=13794/tid=13795] ppid=13792 vsize=726292 CPUtime=1203.54 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 163780 0 0 0 120293 61 0 0 25 0 4 0 652714213 743723008 129924 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=726292 CPUtime=1203.53 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 134400 0 0 0 120298 55 0 0 25 0 4 0 652714213 743723008 129924 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=726292 CPUtime=1203.52 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 187218 0 0 0 120286 66 0 0 25 0 4 0 652714213 743723008 129924 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 726292

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

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

[startup+1203.5 s]
/proc/loadavg: 8.17 8.12 8.09 5/356 13831
/proc/meminfo: memFree=20775180/32951124 swapFree=65581052/67111528
[pid=13794] ppid=13792 vsize=726292 CPUtime=4800.35 cores=1,3,5,7
/proc/13794/stat : 13794 (strangenight2-m) R 13792 13794 13351 0 -1 4202496 613480 0 0 0 479801 234 0 0 25 0 4 0 652714213 743723008 129924 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13794/statm: 181573 129924 379 95 0 176555 0
[pid=13794/tid=13795] ppid=13792 vsize=726292 CPUtime=1203.54 cores=1,3,5,7
/proc/13794/task/13795/stat : 13795 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 163780 0 0 0 120293 61 0 0 25 0 4 0 652714213 743723008 129924 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13794/tid=13796] ppid=13792 vsize=726292 CPUtime=1203.53 cores=1,3,5,7
/proc/13794/task/13796/stat : 13796 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 134400 0 0 0 120298 55 0 0 25 0 4 0 652714213 743723008 129924 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13794/tid=13797] ppid=13792 vsize=726292 CPUtime=1203.52 cores=1,3,5,7
/proc/13794/task/13797/stat : 13797 (strangenight2-m) R 13792 13794 13351 0 -1 4202560 187218 0 0 0 120286 66 0 0 25 0 4 0 652714213 743723008 129924 33554432000 4194304 4580107 140734658120608 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 726292

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.42
CPU user time (s): 4798.06
CPU system time (s): 2.36264
CPU usage (%): 398.858
Max. virtual memory (cumulated for all children) (KiB): 726292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.06
system time used= 2.36264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 613480
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= 128
involuntary context switches= 33427

runsolver used 3.81842 second user time and 9.98548 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-15 00:12:45
IDJOB=3366658
IDBENCH=83067
IDSOLVER=1844
FILE ID=node137/3366658-1305411165
RUNJOBID= node137-1305409959-13666
PBS_JOBID= 13324510
Free space on /tmp= 73672 MiB

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

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

MD5SUM BENCH= ad19e852103e6838347ce97648b48b74
RANDOM SEED=1321566365

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21291732 kB
Buffers:        282636 kB
Cached:        3704756 kB
SwapCached:      36328 kB
Active:        1628700 kB
Inactive:      9805604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21291732 kB
SwapTotal:    67111528 kB
SwapFree:     65581052 kB
Dirty:           10904 kB
Writeback:           0 kB
AnonPages:     7420188 kB
Mapped:          19324 kB
Slab:           119980 kB
PageTables:      38328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75987872 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73672 MiB
End job on node137 at 2011-05-15 00:32:51