Trace number 3366486

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.18 1203.04

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf
MD5SUM2ab9bb0f88fa203f02db11acc4404e31
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.084986
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses3727
Sum of the clauses size18635
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 53727
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366486-1305405405.cnf'
0.00/0.01	c -- header says num vars:            175
0.00/0.01	c -- header says num clauses:        3727
0.00/0.01	c -- clauses added:            0 learnts,         3727 normals,            0 xors
0.00/0.01	c -- vars added        175
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       175      3727         0         0     18635         0   no data   no data
0.00/0.03	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.01
0.00/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1.17/0.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.17/0.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1.17/0.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
1.17/0.39	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.39	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.17/0.39	c calculated reachability. Time: 0.00
1.17/0.39	c Calc default polars -  time:   0.00 s pos:      95 undec:       7 neg:      73
1.17/0.39	c =========================================================================================
1.17/0.39	c types(t): F = full restart, N = normal restart
1.17/0.39	c types(t): S = simplification begin/end, E = solution found
1.17/0.39	c restart types(rt): st = static, dy = dynamic
1.17/0.39	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       175      3727         0         0     18635         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4917       175      3727         0      4729     18635    161206   no data   no data
3.57/0.90	c  N st    10     11302       175      3727         0      4377     18635    111173   no data   no data
3.57/0.90	c  N st    11     17046       175      3727         0      9880     18635    302272   no data   no data
4.00/1.10	c  F st    12     25001       175      3727         0     12103     18635    360130   no data   no data
4.00/1.10	c  N st    12     25001       175      3727         0     12103     18635    360130   no data   no data
5.15/1.30	c Decided on static restart strategy
5.15/1.30	c  N st    18     30002       175      3727         0     10389     18635    297533   no data   no data
5.15/1.30	c  S st    18     30002       175      3727         0     10389     18635    297533   no data   no data
5.15/1.30	c  S st    18     30512       175      3727         0     10891     18635    313917   no data   no data
5.15/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.15/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.15/1.30	c blocked clauses removed:        0 vars:      0 tried:         175 T: 0.00 s
5.15/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
5.15/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.15/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.15/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.47	c lits-rem:       175  cl-subs:      980  v-elim:      0  v-fix:    0  time:  0.19 s
5.96/1.52	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
5.96/1.52	c calculated reachability. Time: 0.00
5.96/1.52	c  N st    18     30512       175      3727         0      9911     18635    275030   no data   no data
7.56/1.90	c  N st    20     37622       175      3727         0      9149     18635    229430   no data   no data
8.79/2.28	c  N st    21     44021       175      3727         0     15255     18635    443049   no data   no data
9.55/2.42	c  S st    22     45768       175      3727         0     16919     18635    497747   no data   no data
9.55/2.47	c  S st    22     46268       175      3727         0      8843     18635    193076   no data   no data
9.55/2.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.55/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
9.55/2.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.50	c lits-rem:        23  cl-subs:      122  v-elim:      0  v-fix:    0  time:  0.02 s
9.95/2.50	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
9.95/2.50	c vivif2 --  cl tried     8721 cl shrink        0 lits rem          0 time: 0.00
9.95/2.54	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
9.95/2.54	c calculated reachability. Time: 0.00
9.95/2.54	c  N st    22     46268       175      3727         0      8721     18635    188269   no data   no data
13.18/3.38	c  N st    23     60665       175      3727         0     12929     18635    317917   no data   no data
15.54/3.95	c  N st    24     69402       175      3727         0     10791     18635    226960   no data   no data
15.54/3.95	c  S st    24     69402       175      3727         0     10791     18635    226960   no data   no data
15.54/3.99	c  S st    24     69904       175      3727         0     11285     18635    243500   no data   no data
15.54/3.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.54/3.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.54/3.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
15.54/3.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.54/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
15.93/4.06	c lits-rem:        43  cl-subs:      251  v-elim:      0  v-fix:    0  time:  0.06 s
15.93/4.06	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
15.93/4.06	c vivif2 --  cl tried    11034 cl shrink        0 lits rem          0 time: 0.00
16.34/4.11	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.05
16.34/4.11	c calculated reachability. Time: 0.00
16.34/4.11	c  N st    24     69904       175      3727         0     11034     18635    233456   no data   no data
21.12/5.30	c  F st    25     87500       175      3727         0     16365     18635    412416   no data   no data
21.12/5.30	c  N st    25     87500       175      3727         0     16365     18635    412416   no data   no data
22.31/5.66	c Decided on static restart strategy
23.12/5.86	c  N st    32     95535       175      3727         0     24090     18635    674609   no data   no data
25.95/6.51	c  N st    34    104857       175      3727         0     20546     18635    529851   no data   no data
25.95/6.51	c  S st    34    104857       175      3727         0     20546     18635    529851   no data   no data
25.95/6.57	c  S st    34    105362       175      3727         0     21046     18635    546083   no data   no data
25.95/6.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.95/6.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.95/6.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.95/6.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.95/6.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.95/6.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
25.95/6.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.95/6.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.95/6.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.91/7.09	c lits-rem:       280  cl-subs:     1388  v-elim:      0  v-fix:    0  time:  0.50 s
27.91/7.09	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
28.31/7.10	c vivif2 --  cl tried    19658 cl shrink        0 lits rem          0 time: 0.01
28.31/7.18	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.08
28.31/7.18	c calculated reachability. Time: 0.00
28.31/7.18	c  N st    34    105362       175      3727         0     19658     18635    494144   no data   no data
31.90/8.01	c  N st    35    114960       175      3727         0     15464     18635    337954   no data   no data
36.29/9.18	c  N st    36    129358       175      3727         0     14954     18635    297075   no data   no data
43.07/10.86	c  N st    37    150953       175      3727         0     20208     18635    450734   no data   no data
45.46/11.42	c  S st    38    158044       175      3727         0     26985     18635    682288   no data   no data
45.46/11.49	c  S st    38    158547       175      3727         0     27481     18635    698383   no data   no data
45.46/11.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.86/11.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.86/11.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.86/11.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.86/11.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.86/11.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
45.86/11.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.86/11.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.86/11.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.85/12.56	c lits-rem:      1724  cl-subs:     1883  v-elim:      0  v-fix:    0  time:  1.04 s
49.85/12.56	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
49.85/12.57	c vivif2 --  cl tried    25598 cl shrink        0 lits rem          0 time: 0.01
50.25/12.68	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.11
50.25/12.68	c calculated reachability. Time: 0.00
50.25/12.68	c  N st    38    158547       175      3727         0     25598     18635    627876   no data   no data
68.61/17.20	c  N st    39    207135       175      3727         0     20547     18635    414244   no data   no data
80.58/20.29	c  N st    40    237821       175      3727         0     30723     18635    774789   no data   no data
80.58/20.29	c  S st    40    237821       175      3727         0     30723     18635    774789   no data   no data
81.38/20.40	c  S st    40    238323       175      3727         0     31217     18635    791404   no data   no data
81.38/20.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.38/20.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.38/20.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.38/20.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.38/20.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.38/20.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
81.38/20.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.38/20.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.38/20.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.39/21.98	c lits-rem:       530  cl-subs:     1760  v-elim:      0  v-fix:    0  time:  1.53 s
87.39/21.98	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
87.39/21.99	c vivif2 --  cl tried    29457 cl shrink        0 lits rem          0 time: 0.01
88.16/22.13	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.14
88.16/22.13	c calculated reachability. Time: 0.00
88.16/22.13	c  N st    40    238323       175      3727         0     29457     18635    718747   no data   no data
115.69/29.09	c  F st    41    306251       175      3727         0     31220     18635    712169   no data   no data
115.69/29.09	c  N st    41    306251       175      3727         0     31220     18635    712169   no data   no data
117.70/29.56	c Decided on static restart strategy
126.47/31.75	c  N st    51    334553       175      3727         0     35547     18635    833611   no data   no data
136.84/34.35	c  N st    53    357484       175      3727         0     33582     18635    730889   no data   no data
136.84/34.36	c  S st    53    357484       175      3727         0     33582     18635    730889   no data   no data
137.24/34.44	c  S st    53    357984       175      3727         0     34067     18635    746093   no data   no data
137.24/34.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.24/34.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
137.24/34.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.24/34.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.24/34.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.24/34.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
137.24/34.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.24/34.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.24/34.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.83/35.34	c lits-rem:       534  cl-subs:     1423  v-elim:      0  v-fix:    0  time:  0.86 s
140.83/35.34	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
140.83/35.35	c vivif2 --  cl tried    32644 cl shrink        0 lits rem          0 time: 0.01
141.62/35.50	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.15
141.62/35.50	c calculated reachability. Time: 0.00
141.62/35.50	c  N st    53    357984       175      3727         0     32644     18635    690526   no data   no data
156.00/39.19	c  N st    54    390376       175      3727         0     38668     18635    873831   no data   no data
183.14/45.90	c  N st    55    438966       175      3727         0     32603     18635    654909   no data   no data
220.24/55.29	c  N st    56    511849       175      3727         0     45767     18635   1057120   no data   no data
232.24/58.31	c  N st    57    536977       175      3727         0     40125     18635    830399   no data   no data
232.24/58.31	c  S st    57    536977       175      3727         0     40125     18635    830399   no data   no data
233.00/58.40	c  S st    57    537478       175      3727         0     40616     18635    846468   no data   no data
233.00/58.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
233.00/58.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
233.00/58.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
233.00/58.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
233.00/58.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
233.00/58.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
233.00/58.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
233.00/58.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
233.00/58.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.59/59.81	c lits-rem:       873  cl-subs:     1925  v-elim:      0  v-fix:    0  time:  1.36 s
238.59/59.81	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
238.59/59.82	c vivif2 --  cl tried    38691 cl shrink        0 lits rem          0 time: 0.01
239.39/60.02	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.19
239.39/60.02	c calculated reachability. Time: 0.00
239.39/60.02	c  N st    57    537478       175      3727         0     38691     18635    777276   no data   no data
344.33/86.34	c  N st    58    701464       175      3727         0     66830     18635   1686597   no data   no data
416.16/104.32	c  N st    59    806218       175      3727         0     61346     18635   1417808   no data   no data
416.16/104.32	c  S st    59    806218       175      3727         0     61346     18635   1417808   no data   no data
416.59/104.50	c  S st    59    806720       175      3727         0     61839     18635   1433768   no data   no data
416.59/104.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
417.00/104.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
417.00/104.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
417.00/104.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
417.00/104.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
417.00/104.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
417.00/104.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
417.00/104.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
417.00/104.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
451.28/113.12	c lits-rem:      1672  cl-subs:     4838  v-elim:      0  v-fix:    0  time:  8.54 s
451.28/113.12	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
451.28/113.14	c vivif2 --  cl tried    57001 cl shrink        0 lits rem          0 time: 0.02
452.47/113.43	c asymm  cl-useful: 0/3230/3727 lits-rem:0 time: 0.29
452.47/113.43	c calculated reachability. Time: 0.00
452.47/113.43	c  N st    59    806720       175      3727         0     57001     18635   1262948   no data   no data
625.25/156.73	c  F st    60   1071876       175      3727         0     72335     18635   1711410   no data   no data
625.25/156.73	c  N st    60   1071876       175      3727         0     72335     18635   1711410   no data   no data
630.44/158.03	c Decided on static restart strategy
646.39/162.09	c  N st    70   1100183       175      3727         0     56827     18635   1120963   no data   no data
673.13/168.74	c  N st    72   1136175       175      3727         0     47470     18635    766562   no data   no data
696.67/174.60	c  N st    73   1168569       175      3727         0     78341     18635   1828186   no data   no data
735.37/184.34	c  N st    74   1210080       175      3727         0     73032     18635   1622951   no data   no data
735.37/184.34	c  S st    74   1210080       175      3727         0     73032     18635   1622951   no data   no data
736.57/184.65	c  S st    74   1210582       175      3727         0     73525     18635   1639025   no data   no data
736.57/184.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
736.57/184.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
736.57/184.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
736.57/184.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
736.57/184.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
736.57/184.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
736.57/184.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
737.00/184.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
737.00/184.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
804.40/201.66	c lits-rem:      1175  cl-subs:     4530  v-elim:      0  v-fix:    0  time: 16.89 s
804.40/201.66	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
804.40/201.68	c vivif2 --  cl tried    68995 cl shrink        0 lits rem          0 time: 0.02
806.40/202.15	c asymm  cl-useful: 0/2916/3727 lits-rem:0 time: 0.46
806.40/202.15	c calculated reachability. Time: 0.00
806.40/202.15	c  N st    74   1210582       175      3727         0     68995     18635   1471351   no data   no data
870.24/218.19	c  N st    75   1283465       175      3727         0     92706     18635   2336920   no data   no data
979.16/245.40	c  N st    76   1392790       175      3727         0     53827     18635    872418   no data   no data
1114.46/279.35	c  N st    77   1556774       175      3727         0     58652     18635    977189   no data   no data
1243.31/311.69	c  N st    78   1710584       175      3727         0     99350     18635   2396014   no data   no data
1243.31/311.69	c  S st    78   1710584       175      3727         0     99350     18635   2396014   no data   no data
1244.90/312.00	c  S st    78   1711085       175      3727         0     99842     18635   2412489   no data   no data
1244.90/312.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1244.90/312.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1244.90/312.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1244.90/312.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1244.90/312.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1244.90/312.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1244.90/312.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1244.90/312.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1245.30/312.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1355.43/339.77	c lits-rem:      3782  cl-subs:     8040  v-elim:      0  v-fix:    0  time: 27.62 s
1355.43/339.77	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1355.86/339.81	c vivif2 --  cl tried    91802 cl shrink        0 lits rem          0 time: 0.03
1356.27/339.97	c asymm  cl-useful: 0/811/3727 lits-rem:0 time: 0.16
1356.27/339.97	c calculated reachability. Time: 0.00
1356.27/339.97	c  N st    78   1711085       175      3727         0     91802     18635   2118826   no data   no data
1683.83/422.05	c  N st    79   2080049       175      3727         0    102893     18635   2363871   no data   no data
1811.50/454.01	c  N st    80   2211086       175      3727         0    107156     18635   2510593   no data   no data
1811.50/454.01	c  S st    80   2211086       175      3727         0    107156     18635   2510593   no data   no data
1812.74/454.35	c  S st    80   2211590       175      3727         0    107650     18635   2527100   no data   no data
1812.74/454.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1813.10/454.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1813.10/454.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1813.10/454.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1813.10/454.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1813.10/454.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1813.10/454.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1813.10/454.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1813.50/454.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1928.81/483.44	c lits-rem:      4799  cl-subs:     8020  v-elim:      0  v-fix:    0  time: 28.92 s
1928.81/483.44	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1928.81/483.48	c vivif2 --  cl tried    99630 cl shrink        0 lits rem          0 time: 0.04
1930.41/483.85	c asymm  cl-useful: 0/2023/3727 lits-rem:0 time: 0.37
1930.41/483.85	c calculated reachability. Time: 0.00
1930.41/483.85	c  N st    80   2211590       175      3727         0     99630     18635   2225604   no data   no data
2434.36/610.14	c  N st    81   2711590       175      3727         0    122020     18635   2881203   no data   no data
2434.36/610.14	c  S st    81   2711590       175      3727         0    122020     18635   2881203   no data   no data
2435.59/610.49	c  S st    81   2712092       175      3727         0    122513     18635   2897773   no data   no data
2435.59/610.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2436.00/610.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2436.00/610.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2436.00/610.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2436.00/610.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2436.00/610.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
2436.00/610.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2436.35/610.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2436.35/610.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2649.03/663.91	c lits-rem:      2602  cl-subs:    12779  v-elim:      0  v-fix:    0  time: 53.23 s
2649.03/663.91	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2649.03/663.94	c vivif2 --  cl tried   109734 cl shrink        0 lits rem          0 time: 0.03
2650.66/664.33	c asymm  cl-useful: 0/1571/3727 lits-rem:0 time: 0.39
2650.66/664.34	c calculated reachability. Time: 0.00
2650.66/664.34	c  N st    81   2712092       175      3727         0    109734     18635   2449552   no data   no data
3319.77/832.03	c  N st    82   3212093       175      3727         0     87400     18635   1475659   no data   no data
3319.77/832.03	c  S st    82   3212093       175      3727         0     87400     18635   1475659   no data   no data
3320.97/832.36	c  S st    82   3212594       175      3727         0     87894     18635   1492532   no data   no data
3320.97/832.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3321.37/832.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3321.37/832.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3321.37/832.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3321.37/832.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3321.37/832.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
3321.37/832.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3321.37/832.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3321.77/832.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3346.11/838.69	c lits-rem:       453  cl-subs:     2337  v-elim:      0  v-fix:    0  time:  6.19 s
3346.11/838.69	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
3346.51/838.71	c vivif2 --  cl tried    85557 cl shrink        0 lits rem          0 time: 0.02
3348.11/839.20	c asymm  cl-useful: 0/2222/3727 lits-rem:0 time: 0.48
3348.11/839.20	c calculated reachability. Time: 0.00
3348.11/839.20	c  N st    82   3212594       175      3727         0     85557     18635   1410206   no data   no data
4015.67/1006.48	c  N st    83   3712596       175      3727         0     96274     18635   1665980   no data   no data
4015.67/1006.48	c  S st    83   3712596       175      3727         0     96274     18635   1665980   no data   no data
4017.63/1006.94	c  S st    83   3713096       175      3727         0     96770     18635   1682566   no data   no data
4017.63/1006.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4018.03/1007.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.08
4018.03/1007.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4018.03/1007.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4018.03/1007.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4018.03/1007.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4018.03/1007.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4018.03/1007.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4018.43/1007.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4068.75/1019.78	c lits-rem:       758  cl-subs:     3073  v-elim:      0  v-fix:    0  time: 12.66 s
4068.75/1019.78	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
4069.10/1019.82	c vivif2 --  cl tried    93697 cl shrink        0 lits rem          0 time: 0.03
4071.10/1020.40	c asymm  cl-useful: 0/1505/3727 lits-rem:0 time: 0.58
4071.50/1020.40	c calculated reachability. Time: 0.00
4071.50/1020.40	c  N st    83   3713096       175      3727         0     93697     18635   1576800   no data   no data
4138.13/1037.18	c  F st    84   3751563       175      3727         0    130430     18635   2889477   no data   no data
4138.13/1037.18	c  N st    84   3751563       175      3727         0    130430     18635   2889477   no data   no data
4149.70/1040.04	c Decided on static restart strategy
4192.40/1050.75	c  N st    94   3779863       175      3727         0    157566     18635   3864321   no data   no data
4231.89/1060.69	c  N st    96   3815857       175      3727         0    111131     18635   2174164   no data   no data
4280.18/1072.70	c  N st    97   3848249       175      3727         0    141987     18635   3260892   no data   no data
4344.43/1088.88	c  N st    98   3896838       175      3727         0    106304     18635   1972844   no data   no data
4448.57/1114.97	c  N st    99   3969722       175      3727         0     92799     18635   1473129   no data   no data
4578.64/1147.51	c  N st   100   4079045       175      3727         0    112896     18635   2152918   no data   no data
4786.92/1199.74	c  N st   101   4213098       175      3727         0    155642     18635   3669464   no data   no data
4786.92/1199.74	c  S st   101   4213098       175      3727         0    155642     18635   3669464   no data   no data
4789.31/1200.31	c  S st   101   4213600       175      3727         0    156137     18635   3686443   no data   no data
4789.31/1200.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4789.71/1200.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4789.71/1200.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4789.71/1200.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4789.71/1200.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4789.71/1200.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4789.71/1200.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4789.71/1200.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4790.11/1200.55	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-3366486-1305405405/watcher-3366486-1305405405 -o /tmp/evaluation-result-3366486-1305405405/solver-3366486-1305405405 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366486-1305405405.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: 7.11 7.98 8.02 2/296 17231
/proc/meminfo: memFree=12175392/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 407 0 0 0 1 0 0 0 22 0 4 0 652138343 52396032 347 33554432000 4194304 4580107 140733314252720 18446744073709551615 47005645088688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 12792 347 299 95 0 7774 0
[pid=17231/tid=17232] ppid=17229 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652138343 52396032 347 33554432000 4194304 4580107 140733314252720 18446744073709551615 47005645088690 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652138343 52396032 347 33554432000 4194304 4580107 140733314252720 18446744073709551615 47005645088684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652138343 52396032 347 33554432000 4194304 4580107 140733314252720 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0995519 s]
/proc/loadavg: 7.11 7.98 8.02 2/296 17231
/proc/meminfo: memFree=12175392/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=282940 CPUtime=0.36 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 2130 0 0 0 36 0 0 0 18 0 4 0 652138343 289730560 1981 33554432000 4194304 4580107 140733314252720 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 70735 1981 376 95 0 65717 0
[pid=17231/tid=17232] ppid=17229 vsize=282940 CPUtime=0.09 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 515 0 0 0 9 0 0 0 18 0 4 0 652138343 289730560 1981 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=282940 CPUtime=0.09 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 463 0 0 0 9 0 0 0 18 0 4 0 652138343 289730560 1981 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=282940 CPUtime=0.08 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 255 0 0 0 8 0 0 0 25 0 4 0 652138343 289730560 1982 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282940

[startup+0.100551 s]
/proc/loadavg: 7.11 7.98 8.02 2/296 17231
/proc/meminfo: memFree=12175392/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=282940 CPUtime=0.37 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 2135 0 0 0 37 0 0 0 18 0 4 0 652138343 289730560 1986 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 70735 1986 376 95 0 65717 0
[pid=17231/tid=17232] ppid=17229 vsize=282940 CPUtime=0.09 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 517 0 0 0 9 0 0 0 18 0 4 0 652138343 289730560 1986 33554432000 4194304 4580107 140733314252720 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=282940 CPUtime=0.09 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 464 0 0 0 9 0 0 0 18 0 4 0 652138343 289730560 1986 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=282940 CPUtime=0.08 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 256 0 0 0 8 0 0 0 25 0 4 0 652138343 289730560 1986 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282940

[startup+0.300514 s]
/proc/loadavg: 7.11 7.98 8.02 2/296 17231
/proc/meminfo: memFree=12175392/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=284972 CPUtime=1.17 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 3515 0 0 0 117 0 0 0 18 0 4 0 652138343 291811328 2560 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 71243 2560 377 95 0 66225 0
[pid=17231/tid=17232] ppid=17229 vsize=284972 CPUtime=0.29 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 866 0 0 0 29 0 0 0 18 0 4 0 652138343 291811328 2560 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=284972 CPUtime=0.29 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 816 0 0 0 29 0 0 0 18 0 4 0 652138343 291811328 2560 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=284972 CPUtime=0.28 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 598 0 0 0 28 0 0 0 25 0 4 0 652138343 291811328 2560 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284972

[startup+0.700442 s]
/proc/loadavg: 7.11 7.98 8.02 2/296 17231
/proc/meminfo: memFree=12175392/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=286816 CPUtime=2.77 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 6279 0 0 0 276 1 0 0 18 0 4 0 652138343 293699584 2936 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294701 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 71704 2936 377 95 0 66686 0
[pid=17231/tid=17232] ppid=17229 vsize=286816 CPUtime=0.69 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 1372 0 0 0 69 0 0 0 18 0 4 0 652138343 293699584 2936 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=286816 CPUtime=0.69 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 1575 0 0 0 69 0 0 0 18 0 4 0 652138343 293699584 2936 33554432000 4194304 4580107 140733314252720 18446744073709551615 4321086 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=286816 CPUtime=0.68 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 1364 0 0 0 68 0 0 0 25 0 4 0 652138343 293699584 2936 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286816

[startup+1.50029 s]
/proc/loadavg: 7.11 7.98 8.02 9/308 17243
/proc/meminfo: memFree=12151860/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=288364 CPUtime=5.96 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 11912 0 0 0 594 2 0 0 20 0 4 0 652138343 295284736 5648 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294462 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 72091 5648 379 95 0 67073 0
[pid=17231/tid=17232] ppid=17229 vsize=288364 CPUtime=1.49 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 2388 0 0 0 149 0 0 0 19 0 4 0 652138343 295284736 5648 33554432000 4194304 4580107 140733314252720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=288364 CPUtime=1.49 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 2490 0 0 0 149 0 0 0 19 0 4 0 652138343 295284736 5648 33554432000 4194304 4580107 140733314252720 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=288364 CPUtime=1.47 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 2541 0 0 0 147 0 0 0 25 0 4 0 652138343 295284736 5648 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288364

[startup+3.101 s]
/proc/loadavg: 7.11 7.98 8.02 9/308 17243
/proc/meminfo: memFree=12115336/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=309516 CPUtime=12.35 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 23999 0 0 0 1232 3 0 0 25 0 4 0 652138343 316944384 12259 33554432000 4194304 4580107 140733314252720 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 77379 12259 379 95 0 72361 0
[pid=17231/tid=17232] ppid=17229 vsize=309516 CPUtime=3.08 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 5521 0 0 0 308 0 0 0 25 0 4 0 652138343 316944384 12259 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=309516 CPUtime=3.09 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 6340 0 0 0 308 1 0 0 25 0 4 0 652138343 316944384 12259 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=309516 CPUtime=3.06 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 6074 0 0 0 305 1 0 0 19 0 4 0 652138343 316944384 12259 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 309516

[startup+6.30041 s]
/proc/loadavg: 7.26 7.99 8.02 9/308 17243
/proc/meminfo: memFree=12073316/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=306912 CPUtime=25.12 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 37278 0 0 0 2506 6 0 0 25 0 4 0 652138343 314277888 17439 33554432000 4194304 4580107 140733314252720 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 76728 17439 379 95 0 71710 0
[pid=17231/tid=17232] ppid=17229 vsize=306912 CPUtime=6.29 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 9427 0 0 0 628 1 0 0 25 0 4 0 652138343 314277888 17439 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=306912 CPUtime=6.29 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 9886 0 0 0 627 2 0 0 25 0 4 0 652138343 314277888 17439 33554432000 4194304 4580107 140733314252720 18446744073709551615 4415782 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=306912 CPUtime=6.23 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 8742 0 0 0 622 1 0 0 25 0 4 0 652138343 314277888 17439 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 306912

[startup+12.7002 s]
/proc/loadavg: 7.32 7.99 8.02 9/308 17244
/proc/meminfo: memFree=12010020/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=335476 CPUtime=50.65 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 57654 0 0 0 5055 10 0 0 25 0 4 0 652138343 343527424 24801 33554432000 4194304 4580107 140733314252720 18446744073709551615 4296772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 83869 24801 379 95 0 78851 0
[pid=17231/tid=17232] ppid=17229 vsize=335476 CPUtime=12.68 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 14110 0 0 0 1266 2 0 0 25 0 4 0 652138343 343527424 24801 33554432000 4194304 4580107 140733314252720 18446744073709551615 4295731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=335476 CPUtime=12.68 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 14002 0 0 0 1266 2 0 0 25 0 4 0 652138343 343527424 24801 33554432000 4194304 4580107 140733314252720 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=335476 CPUtime=12.56 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 14764 0 0 0 1254 2 0 0 25 0 4 0 652138343 343527424 24801 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 335476

[startup+25.5009 s]
/proc/loadavg: 7.54 8.01 8.02 9/308 17244
/proc/meminfo: memFree=11963300/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=337320 CPUtime=101.72 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 88178 0 0 0 10155 17 0 0 25 0 4 0 652138343 345415680 30917 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 84330 30917 379 95 0 79312 0
[pid=17231/tid=17232] ppid=17229 vsize=337320 CPUtime=25.49 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 22585 0 0 0 2545 4 0 0 25 0 4 0 652138343 345415680 30917 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=337320 CPUtime=25.49 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 21361 0 0 0 2544 5 0 0 25 0 4 0 652138343 345415680 30917 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=337320 CPUtime=25.23 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 21541 0 0 0 2519 4 0 0 25 0 4 0 652138343 345415680 30917 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 337320

[startup+51.1011 s]
/proc/loadavg: 7.69 8.01 8.02 9/308 17245
/proc/meminfo: memFree=11904160/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=357852 CPUtime=203.88 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 128799 0 0 0 20359 29 0 0 25 0 4 0 652138343 366440448 40305 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 89463 40305 379 95 0 84445 0
[pid=17231/tid=17232] ppid=17229 vsize=357852 CPUtime=51.09 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 33091 0 0 0 5102 7 0 0 25 0 4 0 652138343 366440448 40305 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=357852 CPUtime=51.08 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 31343 0 0 0 5101 7 0 0 25 0 4 0 652138343 366440448 40305 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=357852 CPUtime=50.59 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 30455 0 0 0 5052 7 0 0 25 0 4 0 652138343 366440448 40305 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 357852

[startup+102.312 s]
/proc/loadavg: 7.99 8.03 8.03 9/308 17246
/proc/meminfo: memFree=11844136/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=424992 CPUtime=408.23 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 198280 0 0 0 40773 50 0 0 25 0 4 0 652138343 435191808 50304 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 106248 50304 379 95 0 101230 0
[pid=17231/tid=17232] ppid=17229 vsize=424992 CPUtime=102.3 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 52073 0 0 0 10218 12 0 0 25 0 4 0 652138343 435191808 50304 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=424992 CPUtime=102.3 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 48559 0 0 0 10218 12 0 0 25 0 4 0 652138343 435191808 50304 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=424992 CPUtime=101.3 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 48448 0 0 0 10117 13 0 0 25 0 4 0 652138343 435191808 50304 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.23
Current children cumulated vsize (KiB) 424992

[startup+162.301 s]

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

[pid=17231] ppid=17229 vsize=681456 CPUtime=2562.88 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 631451 0 0 0 256076 212 0 0 25 0 4 0 652138343 697810944 116429 33554432000 4194304 4580107 140733314252720 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 170364 116429 379 95 0 165346 0
[pid=17231/tid=17232] ppid=17229 vsize=681456 CPUtime=642.31 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 149863 0 0 0 64179 52 0 0 25 0 4 0 652138343 697810944 116429 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=681456 CPUtime=642.31 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 159514 0 0 0 64179 52 0 0 25 0 4 0 652138343 697810944 116429 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=681456 CPUtime=635.93 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 157813 0 0 0 63537 56 0 0 25 0 4 0 652138343 697810944 116429 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.88
Current children cumulated vsize (KiB) 681456

[startup+702.3 s]
/proc/loadavg: 8.06 8.12 8.08 9/308 17262
/proc/meminfo: memFree=11427040/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=779720 CPUtime=2802.25 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 664509 0 0 0 279997 228 0 0 25 0 4 0 652138343 798433280 114334 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294442 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 194930 114334 379 95 0 189912 0
[pid=17231/tid=17232] ppid=17229 vsize=779720 CPUtime=702.3 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 158908 0 0 0 70173 57 0 0 25 0 4 0 652138343 798433280 114334 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=779720 CPUtime=702.31 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 169774 0 0 0 70174 57 0 0 25 0 4 0 652138343 798433280 114334 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=779720 CPUtime=695.33 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 166983 0 0 0 69471 62 0 0 25 0 4 0 652138343 798433280 114334 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.25
Current children cumulated vsize (KiB) 779720

[startup+762.312 s]
/proc/loadavg: 8.20 8.15 8.10 9/308 17264
/proc/meminfo: memFree=11395024/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=726380 CPUtime=3041.7 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 704048 0 0 0 303926 244 0 0 25 0 4 0 652138343 743813120 117542 33554432000 4194304 4580107 140733314252720 18446744073709551615 4305233 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 181595 117542 379 95 0 176577 0
[pid=17231/tid=17232] ppid=17229 vsize=726380 CPUtime=762.31 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 169605 0 0 0 76170 61 0 0 25 0 4 0 652138343 743813120 117542 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=726380 CPUtime=762.32 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 179461 0 0 0 76171 61 0 0 25 0 4 0 652138343 743813120 117542 33554432000 4194304 4580107 140733314252720 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=726380 CPUtime=754.74 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 177992 0 0 0 75409 65 0 0 25 0 4 0 652138343 743813120 117542 33554432000 4194304 4580107 140733314252720 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.7
Current children cumulated vsize (KiB) 726380

[startup+822.3 s]
/proc/loadavg: 8.17 8.15 8.10 9/308 17265
/proc/meminfo: memFree=11296056/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=790824 CPUtime=3281.06 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 732431 0 0 0 327848 258 0 0 25 0 4 0 652138343 809803776 136863 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 197706 136863 379 95 0 192688 0
[pid=17231/tid=17232] ppid=17229 vsize=790824 CPUtime=822.3 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 173354 0 0 0 82168 62 0 0 25 0 4 0 652138343 809803776 136863 33554432000 4194304 4580107 140733314252720 18446744073709551615 4416709 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=790824 CPUtime=822.31 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 191412 0 0 0 82163 68 0 0 25 0 4 0 652138343 809803776 136863 33554432000 4194304 4580107 140733314252720 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=790824 CPUtime=814.13 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 183031 0 0 0 81347 66 0 0 25 0 4 0 652138343 809803776 136863 33554432000 4194304 4580107 140733314252720 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.06
Current children cumulated vsize (KiB) 790824

[startup+882.301 s]
/proc/loadavg: 8.34 8.21 8.12 9/308 17267
/proc/meminfo: memFree=11258824/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=833920 CPUtime=3520.47 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 755909 0 0 0 351775 272 0 0 25 0 4 0 652138343 853934080 140803 33554432000 4194304 4580107 140733314252720 18446744073709551615 4321089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 208480 140803 379 95 0 203462 0
[pid=17231/tid=17232] ppid=17229 vsize=833920 CPUtime=882.3 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 178606 0 0 0 88166 64 0 0 25 0 4 0 652138343 853934080 140803 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=833920 CPUtime=882.31 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 193479 0 0 0 88162 69 0 0 25 0 4 0 652138343 853934080 140803 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=833920 CPUtime=873.53 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 191137 0 0 0 87281 72 0 0 25 0 4 0 652138343 853934080 140803 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.47
Current children cumulated vsize (KiB) 833920

[startup+942.301 s]
/proc/loadavg: 8.33 8.24 8.13 9/308 17268
/proc/meminfo: memFree=11261792/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=921100 CPUtime=3759.87 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 783779 0 0 0 375702 285 0 0 25 0 4 0 652138343 943206400 141040 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 230275 141040 379 95 0 225257 0
[pid=17231/tid=17232] ppid=17229 vsize=921100 CPUtime=942.31 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 188067 0 0 0 94162 69 0 0 25 0 4 0 652138343 943206400 141040 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=921100 CPUtime=942.31 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 195757 0 0 0 94160 71 0 0 25 0 4 0 652138343 943206400 141040 33554432000 4194304 4580107 140733314252720 18446744073709551615 4304870 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=921100 CPUtime=932.94 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 200475 0 0 0 93217 77 0 0 25 0 4 0 652138343 943206400 141040 33554432000 4194304 4580107 140733314252720 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.87
Current children cumulated vsize (KiB) 921100

[startup+1002.3 s]
/proc/loadavg: 8.21 8.23 8.13 9/308 17270
/proc/meminfo: memFree=11255188/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=862820 CPUtime=3999.28 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 813812 0 0 0 399627 301 0 0 25 0 4 0 652138343 883527680 139540 33554432000 4194304 4580107 140733314252720 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 215705 139540 379 95 0 210687 0
[pid=17231/tid=17232] ppid=17229 vsize=862820 CPUtime=1002.3 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 196064 0 0 0 100157 73 0 0 25 0 4 0 652138343 883527680 139540 33554432000 4194304 4580107 140733314252720 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=862820 CPUtime=1002.32 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 200862 0 0 0 100158 74 0 0 25 0 4 0 652138343 883527680 139540 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=862820 CPUtime=992.34 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 208538 0 0 0 99154 80 0 0 25 0 4 0 652138343 883527680 139540 33554432000 4194304 4580107 140733314252720 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.28
Current children cumulated vsize (KiB) 862820

[startup+1062.3 s]
/proc/loadavg: 8.19 8.23 8.13 9/308 17272
/proc/meminfo: memFree=11233212/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=935860 CPUtime=4238.68 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 829070 0 0 0 423560 308 0 0 25 0 4 0 652138343 958320640 144786 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 233965 144786 379 95 0 228947 0
[pid=17231/tid=17232] ppid=17229 vsize=935860 CPUtime=1062.31 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 200038 0 0 0 106156 75 0 0 25 0 4 0 652138343 958320640 144786 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=935860 CPUtime=1062.32 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 205671 0 0 0 106154 78 0 0 25 0 4 0 652138343 958320640 144786 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=935860 CPUtime=1051.75 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 209278 0 0 0 105095 80 0 0 25 0 4 0 652138343 958320640 144786 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.68
Current children cumulated vsize (KiB) 935860

[startup+1122.3 s]
/proc/loadavg: 8.24 8.24 8.14 9/308 17273
/proc/meminfo: memFree=11233068/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=876372 CPUtime=4478.09 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 862709 0 0 0 447486 323 0 0 25 0 4 0 652138343 897404928 146142 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294551 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 219093 146142 379 95 0 214075 0
[pid=17231/tid=17232] ppid=17229 vsize=876372 CPUtime=1122.3 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 208197 0 0 0 112152 78 0 0 25 0 4 0 652138343 897404928 146142 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=876372 CPUtime=1122.32 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 214255 0 0 0 112150 82 0 0 25 0 4 0 652138343 897404928 146142 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=876372 CPUtime=1111.14 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 217107 0 0 0 111031 83 0 0 25 0 4 0 652138343 897404928 146142 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.09
Current children cumulated vsize (KiB) 876372

[startup+1182.3 s]
/proc/loadavg: 8.25 8.24 8.15 9/308 17275
/proc/meminfo: memFree=11158528/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=956828 CPUtime=4717.5 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 894725 0 0 0 471412 338 0 0 25 0 4 0 652138343 979791872 157640 33554432000 4194304 4580107 140733314252720 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 239207 157640 379 95 0 234189 0
[pid=17231/tid=17232] ppid=17229 vsize=956828 CPUtime=1182.3 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 214546 0 0 0 118148 82 0 0 25 0 4 0 652138343 979791872 157640 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=956828 CPUtime=1182.32 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 222731 0 0 0 118147 85 0 0 25 0 4 0 652138343 979791872 157640 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=956828 CPUtime=1170.55 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 225400 0 0 0 116968 87 0 0 25 0 4 0 652138343 979791872 157640 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.5
Current children cumulated vsize (KiB) 956828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.18 8.22 8.14 5/304 17276
/proc/meminfo: memFree=11503644/32951124 swapFree=66050672/67111528
[pid=17231] ppid=17229 vsize=1001232 CPUtime=4800.12 cores=1,3,5,7
/proc/17231/stat : 17231 (strangenight2-m) R 17229 17231 16480 0 -1 4202496 909320 0 0 0 479669 343 0 0 25 0 4 0 652138343 1025261568 166878 33554432000 4194304 4580107 140733314252720 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17231/statm: 250308 166878 379 95 0 245290 0
[pid=17231/tid=17232] ppid=17229 vsize=1001232 CPUtime=1203.02 cores=1,3,5,7
/proc/17231/task/17232/stat : 17232 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 217946 0 0 0 120218 84 0 0 25 0 4 0 652138343 1025261568 166878 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17231/tid=17233] ppid=17229 vsize=1001232 CPUtime=1203.04 cores=1,3,5,7
/proc/17231/task/17233/stat : 17233 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 223703 0 0 0 120217 87 0 0 25 0 4 0 652138343 1025261568 166878 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17231/tid=17234] ppid=17229 vsize=1001232 CPUtime=1191.04 cores=1,3,5,7
/proc/17231/task/17234/stat : 17234 (strangenight2-m) R 17229 17231 16480 0 -1 4202560 227080 0 0 0 119016 88 0 0 25 0 4 0 652138343 1025261568 166878 33554432000 4194304 4580107 140733314252720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1001232

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.04
CPU time (s): 4800.18
CPU user time (s): 4796.72
CPU system time (s): 3.45947
CPU usage (%): 399.003
Max. virtual memory (cumulated for all children) (KiB): 1016300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.72
system time used= 3.45947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 909320
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= 639
involuntary context switches= 20905

runsolver used 3.40348 second user time and 8.60669 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-14 22:36:45
IDJOB=3366486
IDBENCH=82895
IDSOLVER=1844
FILE ID=node135/3366486-1305405405
RUNJOBID= node135-1305405405-17217
PBS_JOBID= 13324477
Free space on /tmp= 73344 MiB

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

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

MD5SUM BENCH= 2ab9bb0f88fa203f02db11acc4404e31
RANDOM SEED=1062348642

node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12175788 kB
Buffers:        275088 kB
Cached:        5846692 kB
SwapCached:      50684 kB
Active:        9867352 kB
Inactive:     10664200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12175788 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:           11024 kB
Writeback:           0 kB
AnonPages:    14364896 kB
Mapped:          18380 kB
Slab:           134924 kB
PageTables:      47188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57031932 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73336 MiB
End job on node135 at 2011-05-14 22:56:50