Trace number 3174077

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.36 1201.94

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.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-3174077-1304087817.cnf'
0.00/0.00	c -- header says num vars:            175
0.00/0.00	c -- header says num clauses:        3727
0.00/0.00	c -- clauses added:            0 learnts,         3727 normals,            0 xors
0.00/0.00	c -- vars added        175
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       175      3727         0         0     18635         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.39/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.39/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.39/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.39/0.10	c calculated reachability. Time: 0.00
0.39/0.10	c Calc default polars -  time:   0.00 s pos:      95 undec:       7 neg:      73
0.39/0.10	c =========================================================================================
0.39/0.10	c types(t): F = full restart, N = normal restart
0.39/0.10	c types(t): S = simplification begin/end, E = solution found
0.39/0.10	c restart types(rt): st = static, dy = dynamic
0.39/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.39/0.10	c  B st     0         0       175      3727         0         0     18635         0   no data   no data
0.39/0.10	c Decided on static restart strategy
0.39/0.15	c  N st     8      4917       175      3727         0      4729     18635    161206   no data   no data
1.17/0.39	c  N st    10     11302       175      3727         0      4377     18635    111173   no data   no data
2.37/0.62	c  N st    11     17046       175      3727         0      9880     18635    302272   no data   no data
3.98/1.00	c  F st    12     25001       175      3727         0     12103     18635    360130   no data   no data
3.98/1.00	c  N st    12     25001       175      3727         0     12103     18635    360130   no data   no data
4.79/1.22	c Decided on static restart strategy
4.79/1.22	c  N st    18     30002       175      3727         0     10389     18635    297533   no data   no data
4.79/1.22	c  S st    18     30002       175      3727         0     10389     18635    297533   no data   no data
4.79/1.25	c  S st    18     30512       175      3727         0     10891     18635    313917   no data   no data
4.79/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.79/1.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.79/1.26	c blocked clauses removed:        0 vars:      0 tried:         175 T: 0.00 s
4.79/1.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.79/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4.79/1.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.79/1.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.79/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.46	c lits-rem:       175  cl-subs:      980  v-elim:      0  v-fix:    0  time:  0.20 s
5.97/1.51	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
5.97/1.51	c calculated reachability. Time: 0.00
5.97/1.51	c  N st    18     30512       175      3727         0      9911     18635    275030   no data   no data
7.17/1.89	c  N st    20     37622       175      3727         0      9149     18635    229430   no data   no data
8.78/2.27	c  N st    21     44021       175      3727         0     15255     18635    443049   no data   no data
9.56/2.40	c  S st    22     45768       175      3727         0     16919     18635    497747   no data   no data
9.56/2.45	c  S st    22     46268       175      3727         0      8843     18635    193076   no data   no data
9.56/2.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
9.56/2.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
9.56/2.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.56/2.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.49	c lits-rem:        23  cl-subs:      122  v-elim:      0  v-fix:    0  time:  0.02 s
9.56/2.49	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
9.56/2.49	c vivif2 --  cl tried     8721 cl shrink        0 lits rem          0 time: 0.00
9.96/2.53	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.04
9.96/2.53	c calculated reachability. Time: 0.00
9.96/2.53	c  N st    22     46268       175      3727         0      8721     18635    188269   no data   no data
13.17/3.37	c  N st    23     60665       175      3727         0     12929     18635    317917   no data   no data
15.55/3.93	c  N st    24     69402       175      3727         0     10791     18635    226960   no data   no data
15.55/3.93	c  S st    24     69402       175      3727         0     10791     18635    226960   no data   no data
15.55/3.96	c  S st    24     69904       175      3727         0     11285     18635    243500   no data   no data
15.55/3.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.55/3.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.55/3.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.55/3.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.55/3.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.55/3.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
15.55/3.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.55/3.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.04	c lits-rem:        43  cl-subs:      251  v-elim:      0  v-fix:    0  time:  0.06 s
15.95/4.04	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
15.95/4.04	c vivif2 --  cl tried    11034 cl shrink        0 lits rem          0 time: 0.00
15.95/4.09	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.05
15.95/4.09	c calculated reachability. Time: 0.00
15.95/4.09	c  N st    24     69904       175      3727         0     11034     18635    233456   no data   no data
20.74/5.27	c  F st    25     87500       175      3727         0     16365     18635    412416   no data   no data
20.74/5.27	c  N st    25     87500       175      3727         0     16365     18635    412416   no data   no data
22.36/5.63	c Decided on static restart strategy
23.13/5.83	c  N st    32     95535       175      3727         0     24090     18635    674609   no data   no data
25.54/6.48	c  N st    34    104857       175      3727         0     20546     18635    529851   no data   no data
25.54/6.48	c  S st    34    104857       175      3727         0     20546     18635    529851   no data   no data
25.94/6.53	c  S st    34    105362       175      3727         0     21046     18635    546083   no data   no data
25.94/6.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.94/6.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.94/6.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.94/6.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.94/6.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
25.94/6.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.94/6.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.94/6.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.93/7.06	c lits-rem:       280  cl-subs:     1388  v-elim:      0  v-fix:    0  time:  0.50 s
27.93/7.06	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
27.93/7.07	c vivif2 --  cl tried    19658 cl shrink        0 lits rem          0 time: 0.00
28.33/7.15	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.08
28.33/7.15	c calculated reachability. Time: 0.00
28.33/7.15	c  N st    34    105362       175      3727         0     19658     18635    494144   no data   no data
31.53/7.98	c  N st    35    114960       175      3727         0     15464     18635    337954   no data   no data
36.32/9.14	c  N st    36    129358       175      3727         0     14954     18635    297075   no data   no data
43.11/10.81	c  N st    37    150953       175      3727         0     20208     18635    450734   no data   no data
45.11/11.37	c  S st    38    158044       175      3727         0     26985     18635    682288   no data   no data
45.51/11.44	c  S st    38    158547       175      3727         0     27481     18635    698383   no data   no data
45.51/11.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.51/11.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.51/11.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.51/11.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.51/11.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.51/11.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
45.51/11.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.51/11.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.51/11.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.91/12.51	c lits-rem:      1724  cl-subs:     1883  v-elim:      0  v-fix:    0  time:  1.04 s
49.91/12.51	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
49.91/12.52	c vivif2 --  cl tried    25598 cl shrink        0 lits rem          0 time: 0.01
50.30/12.63	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.11
50.30/12.63	c calculated reachability. Time: 0.00
50.30/12.63	c  N st    38    158547       175      3727         0     25598     18635    627876   no data   no data
68.28/17.12	c  N st    39    207135       175      3727         0     20547     18635    414244   no data   no data
80.66/20.20	c  N st    40    237821       175      3727         0     30723     18635    774789   no data   no data
80.66/20.20	c  S st    40    237821       175      3727         0     30723     18635    774789   no data   no data
81.06/20.30	c  S st    40    238323       175      3727         0     31217     18635    791404   no data   no data
81.06/20.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.06/20.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
81.06/20.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.06/20.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.06/20.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.06/20.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
81.06/20.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.06/20.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.06/20.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.46/21.90	c lits-rem:       530  cl-subs:     1760  v-elim:      0  v-fix:    0  time:  1.55 s
87.46/21.91	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
87.46/21.91	c vivif2 --  cl tried    29457 cl shrink        0 lits rem          0 time: 0.01
87.87/22.06	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.14
87.87/22.06	c calculated reachability. Time: 0.00
87.87/22.06	c  N st    40    238323       175      3727         0     29457     18635    718747   no data   no data
115.81/29.00	c  F st    41    306251       175      3727         0     31220     18635    712169   no data   no data
115.81/29.01	c  N st    41    306251       175      3727         0     31220     18635    712169   no data   no data
117.41/29.47	c Decided on static restart strategy
126.19/31.64	c  N st    51    334553       175      3727         0     35547     18635    833611   no data   no data
136.60/34.23	c  N st    53    357484       175      3727         0     33582     18635    730889   no data   no data
136.60/34.23	c  S st    53    357484       175      3727         0     33582     18635    730889   no data   no data
136.98/34.32	c  S st    53    357984       175      3727         0     34067     18635    746093   no data   no data
136.98/34.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.98/34.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
136.98/34.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.98/34.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.98/34.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.98/34.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
136.98/34.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.98/34.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.98/34.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.60/35.21	c lits-rem:       534  cl-subs:     1423  v-elim:      0  v-fix:    0  time:  0.85 s
140.60/35.21	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
140.60/35.22	c vivif2 --  cl tried    32644 cl shrink        0 lits rem          0 time: 0.01
141.00/35.37	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.15
141.00/35.37	c calculated reachability. Time: 0.00
141.00/35.37	c  N st    53    357984       175      3727         0     32644     18635    690526   no data   no data
155.75/39.04	c  N st    54    390376       175      3727         0     38668     18635    873831   no data   no data
182.52/45.73	c  N st    55    438966       175      3727         0     32603     18635    654909   no data   no data
219.69/55.10	c  N st    56    511849       175      3727         0     45767     18635   1057120   no data   no data
231.65/58.09	c  N st    57    536977       175      3727         0     40125     18635    830399   no data   no data
231.65/58.09	c  S st    57    536977       175      3727         0     40125     18635    830399   no data   no data
232.05/58.19	c  S st    57    537478       175      3727         0     40616     18635    846468   no data   no data
232.05/58.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
232.45/58.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
232.45/58.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
232.45/58.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
232.45/58.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
232.45/58.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
232.45/58.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
232.45/58.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
232.45/58.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
238.04/59.61	c lits-rem:       873  cl-subs:     1925  v-elim:      0  v-fix:    0  time:  1.37 s
238.04/59.61	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
238.04/59.62	c vivif2 --  cl tried    38691 cl shrink        0 lits rem          0 time: 0.01
238.84/59.81	c asymm  cl-useful: 0/3727/3727 lits-rem:0 time: 0.19
238.84/59.82	c calculated reachability. Time: 0.00
238.84/59.82	c  N st    57    537478       175      3727         0     38691     18635    777276   no data   no data
343.49/86.02	c  N st    58    701464       175      3727         0     66830     18635   1686597   no data   no data
415.01/103.93	c  N st    59    806218       175      3727         0     61346     18635   1417808   no data   no data
415.01/103.93	c  S st    59    806218       175      3727         0     61346     18635   1417808   no data   no data
415.81/104.11	c  S st    59    806720       175      3727         0     61839     18635   1433768   no data   no data
415.81/104.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
415.81/104.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
415.81/104.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
415.81/104.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
415.81/104.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
415.81/104.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
415.81/104.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
415.81/104.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
415.81/104.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
450.15/112.75	c lits-rem:      1672  cl-subs:     4838  v-elim:      0  v-fix:    0  time:  8.55 s
450.15/112.75	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
450.15/112.76	c vivif2 --  cl tried    57001 cl shrink        0 lits rem          0 time: 0.02
451.36/113.06	c asymm  cl-useful: 0/3230/3727 lits-rem:0 time: 0.30
451.36/113.06	c calculated reachability. Time: 0.00
451.36/113.06	c  N st    59    806720       175      3727         0     57001     18635   1262948   no data   no data
626.30/157.04	c  F st    60   1071876       175      3727         0     72335     18635   1711410   no data   no data
626.30/157.04	c  N st    60   1071876       175      3727         0     72335     18635   1711410   no data   no data
631.50/158.32	c Decided on static restart strategy
647.47/162.37	c  N st    70   1100183       175      3727         0     56827     18635   1120963   no data   no data
673.84/168.95	c  N st    72   1136175       175      3727         0     47470     18635    766562   no data   no data
697.83/174.97	c  N st    73   1168569       175      3727         0     78341     18635   1828186   no data   no data
738.95/185.25	c  N st    74   1210080       175      3727         0     73032     18635   1622951   no data   no data
738.95/185.25	c  S st    74   1210080       175      3727         0     73032     18635   1622951   no data   no data
740.15/185.56	c  S st    74   1210582       175      3727         0     73525     18635   1639025   no data   no data
740.15/185.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
740.55/185.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
740.55/185.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
740.55/185.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
740.55/185.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
740.55/185.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
740.55/185.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
740.55/185.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
740.55/185.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
802.07/201.03	c lits-rem:      1175  cl-subs:     4530  v-elim:      0  v-fix:    0  time: 15.33 s
802.07/201.03	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
802.07/201.05	c vivif2 --  cl tried    68995 cl shrink        0 lits rem          0 time: 0.03
804.06/201.51	c asymm  cl-useful: 0/2916/3727 lits-rem:0 time: 0.45
804.06/201.51	c calculated reachability. Time: 0.00
804.06/201.51	c  N st    74   1210582       175      3727         0     68995     18635   1471351   no data   no data
867.18/217.35	c  N st    75   1283465       175      3727         0     92706     18635   2336920   no data   no data
975.05/244.33	c  N st    76   1392790       175      3727         0     53827     18635    872418   no data   no data
1110.46/278.25	c  N st    77   1556774       175      3727         0     58652     18635    977189   no data   no data
1239.48/310.56	c  N st    78   1710584       175      3727         0     99350     18635   2396014   no data   no data
1239.48/310.56	c  S st    78   1710584       175      3727         0     99350     18635   2396014   no data   no data
1240.68/310.87	c  S st    78   1711085       175      3727         0     99842     18635   2412489   no data   no data
1240.68/310.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1241.08/310.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1241.08/310.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1241.08/310.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1241.08/310.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1241.08/310.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1241.08/310.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1241.08/310.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1241.48/311.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1351.73/338.60	c lits-rem:      3782  cl-subs:     8040  v-elim:      0  v-fix:    0  time: 27.57 s
1351.73/338.60	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1351.73/338.64	c vivif2 --  cl tried    91802 cl shrink        0 lits rem          0 time: 0.04
1352.13/338.80	c asymm  cl-useful: 0/811/3727 lits-rem:0 time: 0.16
1352.55/338.80	c calculated reachability. Time: 0.00
1352.55/338.80	c  N st    78   1711085       175      3727         0     91802     18635   2118826   no data   no data
1678.48/420.44	c  N st    79   2080049       175      3727         0    102893     18635   2363871   no data   no data
1805.54/452.28	c  N st    80   2211086       175      3727         0    107156     18635   2510593   no data   no data
1805.54/452.28	c  S st    80   2211086       175      3727         0    107156     18635   2510593   no data   no data
1807.12/452.61	c  S st    80   2211590       175      3727         0    107650     18635   2527100   no data   no data
1807.12/452.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1807.12/452.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1807.12/452.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1807.12/452.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1807.12/452.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1807.12/452.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
1807.12/452.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1807.52/452.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1807.52/452.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1923.77/481.88	c lits-rem:      4799  cl-subs:     8020  v-elim:      0  v-fix:    0  time: 29.09 s
1923.77/481.88	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
1924.17/481.92	c vivif2 --  cl tried    99630 cl shrink        0 lits rem          0 time: 0.04
1925.35/482.29	c asymm  cl-useful: 0/2023/3727 lits-rem:0 time: 0.37
1925.35/482.29	c calculated reachability. Time: 0.00
1925.35/482.29	c  N st    80   2211590       175      3727         0     99630     18635   2225604   no data   no data
2427.07/607.86	c  N st    81   2711590       175      3727         0    122020     18635   2881203   no data   no data
2427.07/607.86	c  S st    81   2711590       175      3727         0    122020     18635   2881203   no data   no data
2428.67/608.22	c  S st    81   2712092       175      3727         0    122513     18635   2897773   no data   no data
2428.67/608.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2428.67/608.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2428.67/608.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2428.67/608.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2428.67/608.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2428.67/608.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
2428.67/608.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2429.10/608.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2429.50/608.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2641.59/661.59	c lits-rem:      2602  cl-subs:    12779  v-elim:      0  v-fix:    0  time: 53.18 s
2641.59/661.59	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
2641.99/661.63	c vivif2 --  cl tried   109734 cl shrink        0 lits rem          0 time: 0.04
2643.59/662.02	c asymm  cl-useful: 0/1571/3727 lits-rem:0 time: 0.39
2643.59/662.03	c calculated reachability. Time: 0.00
2643.59/662.03	c  N st    81   2712092       175      3727         0    109734     18635   2449552   no data   no data
3301.90/826.89	c  N st    82   3212093       175      3727         0     87400     18635   1475659   no data   no data
3301.90/826.89	c  S st    82   3212093       175      3727         0     87400     18635   1475659   no data   no data
3303.52/827.22	c  S st    82   3212594       175      3727         0     87894     18635   1492532   no data   no data
3303.52/827.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3303.52/827.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3303.52/827.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3303.52/827.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3303.52/827.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3303.52/827.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
3303.52/827.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3303.92/827.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3303.92/827.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3328.67/833.50	c lits-rem:       453  cl-subs:     2337  v-elim:      0  v-fix:    0  time:  6.13 s
3328.67/833.50	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
3328.67/833.53	c vivif2 --  cl tried    85557 cl shrink        0 lits rem          0 time: 0.03
3330.66/834.00	c asymm  cl-useful: 0/2222/3727 lits-rem:0 time: 0.47
3330.66/834.01	c calculated reachability. Time: 0.00
3330.66/834.01	c  N st    82   3212594       175      3727         0     85557     18635   1410206   no data   no data
4020.54/1006.73	c  N st    83   3712596       175      3727         0     96274     18635   1665980   no data   no data
4020.54/1006.73	c  S st    83   3712596       175      3727         0     96274     18635   1665980   no data   no data
4022.14/1007.19	c  S st    83   3713096       175      3727         0     96770     18635   1682566   no data   no data
4022.53/1007.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4022.53/1007.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.08
4022.53/1007.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4022.53/1007.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4022.53/1007.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4022.53/1007.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4022.53/1007.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4022.93/1007.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4022.93/1007.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4070.86/1019.30	c lits-rem:       758  cl-subs:     3073  v-elim:      0  v-fix:    0  time: 11.93 s
4070.86/1019.31	c vivif2 --  cl tried     3727 cl shrink        0 lits rem          0 time: 0.00
4070.86/1019.34	c vivif2 --  cl tried    93697 cl shrink        0 lits rem          0 time: 0.04
4072.88/1019.83	c asymm  cl-useful: 0/1505/3727 lits-rem:0 time: 0.49
4072.88/1019.84	c calculated reachability. Time: 0.00
4072.88/1019.84	c  N st    83   3713096       175      3727         0     93697     18635   1576800   no data   no data
4130.78/1034.34	c  F st    84   3751563       175      3727         0    130430     18635   2889477   no data   no data
4130.78/1034.34	c  N st    84   3751563       175      3727         0    130430     18635   2889477   no data   no data
4140.37/1036.75	c Decided on static restart strategy
4175.92/1045.64	c  N st    94   3779863       175      3727         0    157566     18635   3864321   no data   no data
4215.47/1055.53	c  N st    96   3815857       175      3727         0    111131     18635   2174164   no data   no data
4263.41/1067.50	c  N st    97   3848249       175      3727         0    141987     18635   3260892   no data   no data
4327.34/1083.59	c  N st    98   3896838       175      3727         0    106304     18635   1972844   no data   no data
4431.58/1109.65	c  N st    99   3969722       175      3727         0     92799     18635   1473129   no data   no data
4560.63/1141.95	c  N st   100   4079045       175      3727         0    112896     18635   2152918   no data   no data
4767.92/1193.88	c  N st   101   4213098       175      3727         0    155642     18635   3669464   no data   no data
4767.92/1193.88	c  S st   101   4213098       175      3727         0    155642     18635   3669464   no data   no data
4770.32/1194.44	c  S st   101   4213600       175      3727         0    156137     18635   3686443   no data   no data
4770.32/1194.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4770.72/1194.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4770.72/1194.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4770.72/1194.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4770.72/1194.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4770.72/1194.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    175 time:  0.00 s
4770.72/1194.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4770.72/1194.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
4771.14/1194.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174077-1304087817/watcher-3174077-1304087817 -o /tmp/evaluation-result-3174077-1304087817/solver-3174077-1304087817 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174077-1304087817.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.81 7.94 7.04 5/180 24263
/proc/meminfo: memFree=12722732/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=191456 CPUtime=0 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) D 24261 24263 24128 0 -1 4202496 587 0 0 0 0 0 0 0 25 0 4 0 599012325 196050944 510 33554432000 4194304 4627427 140737432677120 18446744073709551615 216734841190 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 51966 511 337 106 0 46937 0
[pid=24263/tid=24264] ppid=24261 vsize=298024 CPUtime=0 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) D 24261 24263 24128 0 -1 4202560 59 0 0 0 0 0 0 0 25 0 4 0 599012325 305176576 523 33554432000 4194304 4627427 140737432677120 18446744073709551615 4314181 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=273400 CPUtime=0 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 4 0 599012325 279961600 533 33554432000 4194304 4627427 140737432677120 18446744073709551615 216763762832 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=273404 CPUtime=0 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 63 0 0 0 0 0 0 0 25 0 4 0 599012325 279965696 534 33554432000 4194304 4627427 140737432677120 18446744073709551615 4314040 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.104718 s]
/proc/loadavg: 7.81 7.94 7.04 5/180 24263
/proc/meminfo: memFree=12722732/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=282508 CPUtime=0.39 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 2215 0 0 0 39 0 0 0 25 0 4 0 599012325 289288192 2025 33554432000 4194304 4627427 140737432677120 18446744073709551615 4332830 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 70627 2025 383 106 0 65598 0
[pid=24263/tid=24264] ppid=24261 vsize=282508 CPUtime=0.09 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 486 0 0 0 9 0 0 0 25 0 4 0 599012325 289288192 2025 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=282508 CPUtime=0.09 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 474 0 0 0 9 0 0 0 25 0 4 0 599012325 289288192 2026 33554432000 4194304 4627427 140737432677120 18446744073709551615 4328849 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=282508 CPUtime=0.09 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 322 0 0 0 9 0 0 0 25 0 4 0 599012325 289288192 2026 33554432000 4194304 4627427 140737432677120 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282508

[startup+0.200701 s]
/proc/loadavg: 7.81 7.94 7.04 5/180 24263
/proc/meminfo: memFree=12722732/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=284540 CPUtime=0.77 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 3099 0 0 0 77 0 0 0 25 0 4 0 599012325 291368960 2103 33554432000 4194304 4627427 140737432677120 18446744073709551615 4308408 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 71135 2103 384 106 0 66106 0
[pid=24263/tid=24264] ppid=24261 vsize=284540 CPUtime=0.19 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 704 0 0 0 19 0 0 0 25 0 4 0 599012325 291368960 2103 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=284540 CPUtime=0.19 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 677 0 0 0 19 0 0 0 25 0 4 0 599012325 291368960 2103 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=284540 CPUtime=0.19 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 554 0 0 0 19 0 0 0 25 0 4 0 599012325 291368960 2103 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284540

[startup+0.300682 s]
/proc/loadavg: 7.81 7.94 7.04 5/180 24263
/proc/meminfo: memFree=12722732/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=284672 CPUtime=1.17 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 3598 0 0 0 117 0 0 0 25 0 4 0 599012325 291504128 2602 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 71168 2602 384 106 0 66139 0
[pid=24263/tid=24264] ppid=24261 vsize=284672 CPUtime=0.29 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 832 0 0 0 29 0 0 0 25 0 4 0 599012325 291504128 2602 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=284672 CPUtime=0.29 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 783 0 0 0 29 0 0 0 25 0 4 0 599012325 291504128 2602 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=284672 CPUtime=0.29 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 690 0 0 0 29 0 0 0 25 0 4 0 599012325 291504128 2602 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309164 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) 284672

[startup+0.700616 s]
/proc/loadavg: 7.81 7.94 7.04 5/180 24263
/proc/meminfo: memFree=12722732/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=286400 CPUtime=2.77 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 6359 0 0 0 277 0 0 0 25 0 4 0 599012325 293273600 2975 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 71600 2975 384 106 0 66571 0
[pid=24263/tid=24264] ppid=24261 vsize=286400 CPUtime=0.69 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 1352 0 0 0 69 0 0 0 25 0 4 0 599012325 293273600 2975 33554432000 4194304 4627427 140737432677120 18446744073709551615 4338562 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=286400 CPUtime=0.69 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 1530 0 0 0 69 0 0 0 25 0 4 0 599012325 293273600 2975 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=286400 CPUtime=0.69 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 1436 0 0 0 69 0 0 0 25 0 4 0 599012325 293273600 2975 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309905 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) 286400

[startup+1.50048 s]
/proc/loadavg: 7.83 7.94 7.04 9/184 24267
/proc/meminfo: memFree=12699696/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=295276 CPUtime=5.97 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 11980 0 0 0 595 2 0 0 25 0 4 0 599012325 302362624 5874 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 73819 5874 388 106 0 68790 0
[pid=24263/tid=24264] ppid=24261 vsize=295276 CPUtime=1.49 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 2411 0 0 0 149 0 0 0 25 0 4 0 599012325 302362624 5874 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=295276 CPUtime=1.48 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 2425 0 0 0 148 0 0 0 25 0 4 0 599012325 302362624 5874 33554432000 4194304 4627427 140737432677120 18446744073709551615 4324280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=295276 CPUtime=1.48 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 2585 0 0 0 148 0 0 0 25 0 4 0 599012325 302362624 5874 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 295276

[startup+3.1012 s]
/proc/loadavg: 7.83 7.94 7.04 9/184 24267
/proc/meminfo: memFree=12666216/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=295852 CPUtime=12.36 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 24083 0 0 0 1233 3 0 0 25 0 4 0 599012325 302952448 12234 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 73963 12234 388 106 0 68934 0
[pid=24263/tid=24264] ppid=24261 vsize=295852 CPUtime=3.08 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 5507 0 0 0 308 0 0 0 25 0 4 0 599012325 302952448 12234 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=295852 CPUtime=3.09 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 6319 0 0 0 308 1 0 0 25 0 4 0 599012325 302952448 12234 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=295852 CPUtime=3.07 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 6316 0 0 0 307 0 0 0 25 0 4 0 599012325 302952448 12234 33554432000 4194304 4627427 140737432677120 18446744073709551615 4308156 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 295852

[startup+6.30064 s]
/proc/loadavg: 7.83 7.94 7.04 9/184 24267
/proc/meminfo: memFree=12640312/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=288816 CPUtime=25.14 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 37551 0 0 0 2508 6 0 0 25 0 4 0 599012325 295747584 17703 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 72204 17703 388 106 0 67175 0
[pid=24263/tid=24264] ppid=24261 vsize=288816 CPUtime=6.28 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 9398 0 0 0 627 1 0 0 25 0 4 0 599012325 295747584 17703 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=288816 CPUtime=6.28 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 10155 0 0 0 627 1 0 0 25 0 4 0 599012325 295747584 17703 33554432000 4194304 4627427 140737432677120 18446744073709551615 4427131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=288816 CPUtime=6.26 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 8922 0 0 0 625 1 0 0 25 0 4 0 599012325 295747584 17703 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 288816

[startup+12.7005 s]
/proc/loadavg: 7.85 7.94 7.05 9/184 24267
/proc/meminfo: memFree=12588356/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=315972 CPUtime=50.7 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 58109 0 0 0 5059 11 0 0 25 0 4 0 599012325 323555328 24868 33554432000 4194304 4627427 140737432677120 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 78993 24868 388 106 0 73964 0
[pid=24263/tid=24264] ppid=24261 vsize=315972 CPUtime=12.68 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 14014 0 0 0 1266 2 0 0 25 0 4 0 599012325 323555328 24868 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=315972 CPUtime=12.68 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 14665 0 0 0 1266 2 0 0 25 0 4 0 599012325 323555328 24868 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=315972 CPUtime=12.61 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 14972 0 0 0 1259 2 0 0 25 0 4 0 599012325 323555328 24868 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 315972

[startup+25.5003 s]
/proc/loadavg: 7.88 7.94 7.06 9/184 24268
/proc/meminfo: memFree=12538496/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=322264 CPUtime=101.83 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 89491 0 0 0 10164 19 0 0 25 0 4 0 599012325 329998336 31750 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 80566 31750 388 106 0 75537 0
[pid=24263/tid=24264] ppid=24261 vsize=322264 CPUtime=25.48 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 21673 0 0 0 2544 4 0 0 25 0 4 0 599012325 329998336 31750 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=322264 CPUtime=25.49 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 22943 0 0 0 2545 4 0 0 25 0 4 0 599012325 329998336 31750 33554432000 4194304 4627427 140737432677120 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=322264 CPUtime=25.35 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 22725 0 0 0 2530 5 0 0 25 0 4 0 599012325 329998336 31750 33554432000 4194304 4627427 140737432677120 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 322264

[startup+51.1008 s]
/proc/loadavg: 7.99 7.96 7.09 9/184 24268
/proc/meminfo: memFree=12484124/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=326940 CPUtime=204.09 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 132425 0 0 0 20377 32 0 0 25 0 4 0 599012325 334786560 39763 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 81735 39763 388 106 0 76706 0
[pid=24263/tid=24264] ppid=24261 vsize=326940 CPUtime=51.07 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 30771 0 0 0 5102 5 0 0 25 0 4 0 599012325 334786560 39763 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=326940 CPUtime=51.09 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 35703 0 0 0 5101 8 0 0 25 0 4 0 599012325 334786560 39763 33554432000 4194304 4627427 140737432677120 18446744073709551615 4332937 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=326940 CPUtime=50.81 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 33790 0 0 0 5072 9 0 0 25 0 4 0 599012325 334786560 39763 33554432000 4194304 4627427 140737432677120 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 326940

[startup+102.301 s]
/proc/loadavg: 8.07 7.98 7.14 9/184 24270
/proc/meminfo: memFree=12426812/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=356632 CPUtime=408.63 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 197211 0 0 0 40812 51 0 0 25 0 4 0 599012325 365191168 51743 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 89158 51743 388 106 0 84129 0
[pid=24263/tid=24264] ppid=24261 vsize=356632 CPUtime=102.28 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 46160 0 0 0 10219 9 0 0 25 0 4 0 599012325 365191168 51743 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=356632 CPUtime=102.29 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 53428 0 0 0 10216 13 0 0 25 0 4 0 599012325 365191168 51743 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=356632 CPUtime=101.74 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 54135 0 0 0 10159 15 0 0 25 0 4 0 599012325 365191168 51743 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 356632

[startup+162.3 s]

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

[pid=24263] ppid=24261 vsize=636204 CPUtime=2564.89 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 635103 0 0 0 256266 223 0 0 25 0 4 0 599012325 651472896 109674 33554432000 4194304 4627427 140737432677120 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 159051 109674 388 106 0 154022 0
[pid=24263/tid=24264] ppid=24261 vsize=636204 CPUtime=642.29 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 159798 0 0 0 64172 57 0 0 25 0 4 0 599012325 651472896 109674 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=636204 CPUtime=639.46 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 162072 0 0 0 63890 56 0 0 25 0 4 0 599012325 651472896 109674 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=636204 CPUtime=641.52 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 173296 0 0 0 64092 60 0 0 25 0 4 0 599012325 651472896 109674 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2564.89
Current children cumulated vsize (KiB) 636204

[startup+702.301 s]
/proc/loadavg: 8.09 8.08 7.58 9/184 24289
/proc/meminfo: memFree=11998260/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=648060 CPUtime=2804.57 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 669871 0 0 0 280218 239 0 0 25 0 4 0 599012325 663613440 111894 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 162015 111894 388 106 0 156986 0
[pid=24263/tid=24264] ppid=24261 vsize=648060 CPUtime=702.29 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 170270 0 0 0 70168 61 0 0 25 0 4 0 599012325 663613440 111894 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=648060 CPUtime=699.14 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 172402 0 0 0 69853 61 0 0 25 0 4 0 599012325 663613440 111894 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=648060 CPUtime=701.53 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 182933 0 0 0 70088 65 0 0 25 0 4 0 599012325 663613440 111894 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2804.57
Current children cumulated vsize (KiB) 648060

[startup+762.301 s]
/proc/loadavg: 8.03 8.06 7.61 9/184 24290
/proc/meminfo: memFree=11916152/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=650376 CPUtime=3044.27 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 707127 0 0 0 304170 257 0 0 25 0 4 0 599012325 665985024 123540 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 162594 123540 388 106 0 157565 0
[pid=24263/tid=24264] ppid=24261 vsize=650376 CPUtime=762.29 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 179863 0 0 0 76163 66 0 0 25 0 4 0 599012325 665985024 123540 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=650376 CPUtime=758.82 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 181882 0 0 0 75815 67 0 0 25 0 4 0 599012325 665985024 123540 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=650376 CPUtime=761.53 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 199709 0 0 0 76082 71 0 0 25 0 4 0 599012325 665985024 123540 33554432000 4194304 4627427 140737432677120 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.27
Current children cumulated vsize (KiB) 650376

[startup+822.3 s]
/proc/loadavg: 8.07 8.06 7.63 9/184 24292
/proc/meminfo: memFree=11878812/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=777248 CPUtime=3283.93 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 733449 0 0 0 328124 269 0 0 25 0 4 0 599012325 795901952 136271 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 194312 136271 388 106 0 189283 0
[pid=24263/tid=24264] ppid=24261 vsize=777248 CPUtime=822.29 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 188097 0 0 0 82161 68 0 0 25 0 4 0 599012325 795901952 136271 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=777248 CPUtime=818.49 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 192504 0 0 0 81777 72 0 0 25 0 4 0 599012325 795901952 136271 33554432000 4194304 4627427 140737432677120 18446744073709551615 4467868 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=777248 CPUtime=821.53 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 202821 0 0 0 82081 72 0 0 25 0 4 0 599012325 795901952 136272 33554432000 4194304 4627427 140737432677120 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.93
Current children cumulated vsize (KiB) 777248

[startup+882.307 s]
/proc/loadavg: 8.08 8.06 7.66 9/184 24294
/proc/meminfo: memFree=11844072/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=849932 CPUtime=3523.62 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 761432 0 0 0 352079 283 0 0 25 0 4 0 599012325 870330368 141244 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 212483 141244 388 106 0 207454 0
[pid=24263/tid=24264] ppid=24261 vsize=849932 CPUtime=882.3 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 197190 0 0 0 88157 73 0 0 25 0 4 0 599012325 870330368 141244 33554432000 4194304 4627427 140737432677120 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=849932 CPUtime=878.16 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 198018 0 0 0 87742 74 0 0 25 0 4 0 599012325 870330368 141244 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=849932 CPUtime=881.53 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 211713 0 0 0 88077 76 0 0 25 0 4 0 599012325 870330368 141244 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.62
Current children cumulated vsize (KiB) 849932

[startup+942.3 s]
/proc/loadavg: 8.11 8.07 7.68 9/184 24295
/proc/meminfo: memFree=11894152/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=709684 CPUtime=3763.28 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 798354 0 0 0 376030 298 0 0 25 0 4 0 599012325 726716416 131842 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 177421 131842 388 106 0 172392 0
[pid=24263/tid=24264] ppid=24261 vsize=709684 CPUtime=942.29 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 208238 0 0 0 94152 77 0 0 25 0 4 0 599012325 726716416 131842 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=709684 CPUtime=937.83 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 207341 0 0 0 93705 78 0 0 25 0 4 0 599012325 726716416 131842 33554432000 4194304 4627427 140737432677120 18446744073709551615 4338629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=709684 CPUtime=941.53 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 221152 0 0 0 94072 81 0 0 25 0 4 0 599012325 726716416 131842 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.28
Current children cumulated vsize (KiB) 709684

[startup+1002.3 s]
/proc/loadavg: 8.11 8.07 7.70 9/184 24297
/proc/meminfo: memFree=11857936/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=841644 CPUtime=4002.95 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 831478 0 0 0 399983 312 0 0 25 0 4 0 599012325 861843456 138571 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 210411 138571 388 106 0 205382 0
[pid=24263/tid=24264] ppid=24261 vsize=841644 CPUtime=1002.29 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 216285 0 0 0 100148 81 0 0 25 0 4 0 599012325 861843456 138571 33554432000 4194304 4627427 140737432677120 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=841644 CPUtime=997.51 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 215551 0 0 0 99668 83 0 0 25 0 4 0 599012325 861843456 138571 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=841644 CPUtime=1001.53 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 229893 0 0 0 100070 83 0 0 25 0 4 0 599012325 861843456 138571 33554432000 4194304 4627427 140737432677120 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.95
Current children cumulated vsize (KiB) 841644

[startup+1062.3 s]
/proc/loadavg: 8.11 8.07 7.73 9/184 24298
/proc/meminfo: memFree=11877632/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=769164 CPUtime=4242.63 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 856492 0 0 0 423939 324 0 0 25 0 4 0 599012325 787623936 138938 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 192291 138938 388 106 0 187262 0
[pid=24263/tid=24264] ppid=24261 vsize=769164 CPUtime=1062.29 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 220900 0 0 0 106145 84 0 0 25 0 4 0 599012325 787623936 138938 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=769164 CPUtime=1057.19 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 224775 0 0 0 105632 87 0 0 25 0 4 0 599012325 787623936 138938 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=769164 CPUtime=1061.53 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 234766 0 0 0 106068 85 0 0 25 0 4 0 599012325 787623936 138938 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.63
Current children cumulated vsize (KiB) 769164

[startup+1122.3 s]
/proc/loadavg: 8.14 8.08 7.75 9/184 24300
/proc/meminfo: memFree=11843760/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=813640 CPUtime=4482.31 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 889305 0 0 0 447891 340 0 0 25 0 4 0 599012325 833167360 147912 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 203410 147912 388 106 0 198381 0
[pid=24263/tid=24264] ppid=24261 vsize=813640 CPUtime=1122.29 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 229083 0 0 0 112142 87 0 0 25 0 4 0 599012325 833167360 147912 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=813640 CPUtime=1116.86 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 232153 0 0 0 111595 91 0 0 25 0 4 0 599012325 833167360 147912 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=813640 CPUtime=1121.54 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 242848 0 0 0 112065 89 0 0 25 0 4 0 599012325 833167360 147912 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.31
Current children cumulated vsize (KiB) 813640

[startup+1182.3 s]
/proc/loadavg: 8.11 8.08 7.77 9/184 24301
/proc/meminfo: memFree=11837164/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=813880 CPUtime=4721.99 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 917632 0 0 0 471847 352 0 0 25 0 4 0 599012325 833413120 148195 33554432000 4194304 4627427 140737432677120 18446744073709551615 4308120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 203470 148195 388 106 0 198441 0
[pid=24263/tid=24264] ppid=24261 vsize=813880 CPUtime=1182.29 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 235272 0 0 0 118139 90 0 0 25 0 4 0 599012325 833413120 148195 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=813880 CPUtime=1176.53 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 240806 0 0 0 117559 94 0 0 25 0 4 0 599012325 833413120 148195 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=813880 CPUtime=1181.53 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 247580 0 0 0 118063 90 0 0 25 0 4 0 599012325 833413120 148195 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.99
Current children cumulated vsize (KiB) 813880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 7.75 8.01 7.75 10/184 24333
/proc/meminfo: memFree=12118724/32951124 swapFree=67102140/67111528
[pid=24263] ppid=24261 vsize=834180 CPUtime=4800.31 cores=1,3,5,7
/proc/24263/stat : 24263 (strangenight2-m) R 24261 24263 24128 0 -1 4202496 931751 0 0 0 479674 357 0 0 25 0 4 0 599012325 854200320 156899 33554432000 4194304 4627427 140737432677120 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24263/statm: 208545 156899 388 106 0 203516 0
[pid=24263/tid=24264] ppid=24261 vsize=834180 CPUtime=1201.9 cores=1,3,5,7
/proc/24263/task/24264/stat : 24264 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 238641 0 0 0 120098 92 0 0 25 0 4 0 599012325 854200320 156899 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24263/tid=24265] ppid=24261 vsize=834180 CPUtime=1196.03 cores=1,3,5,7
/proc/24263/task/24265/stat : 24265 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 244113 0 0 0 119507 96 0 0 25 0 4 0 599012325 854200320 156899 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24263/tid=24266] ppid=24261 vsize=834180 CPUtime=1201.14 cores=1,3,5,7
/proc/24263/task/24266/stat : 24266 (strangenight2-m) R 24261 24263 24128 0 -1 4202560 249363 0 0 0 120023 91 0 0 25 0 4 0 599012325 854200320 156899 33554432000 4194304 4627427 140737432677120 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 834180

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): 1201.94
CPU time (s): 4800.36
CPU user time (s): 4796.76
CPU system time (s): 3.59745
CPU usage (%): 399.384
Max. virtual memory (cumulated for all children) (KiB): 945080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.76
system time used= 3.59745
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 931753
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= 376
involuntary context switches= 21150

runsolver used 1.78973 second user time and 4.78727 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 16:36:57
IDJOB=3174077
IDBENCH=82895
IDSOLVER=1586
FILE ID=node119/3174077-1304087817
RUNJOBID= node119-1304086609-24147
PBS_JOBID= 13170550
Free space on /tmp= 71812 MiB

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

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

MD5SUM BENCH= 2ab9bb0f88fa203f02db11acc4404e31
RANDOM SEED=1480049076

node119.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.815
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.63
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.815
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.815
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12723012 kB
Buffers:       2234600 kB
Cached:       17313580 kB
SwapCached:       5504 kB
Active:        8010856 kB
Inactive:     11632584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12723012 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           11324 kB
Writeback:           0 kB
AnonPages:       92288 kB
Mapped:          15336 kB
Slab:           521720 kB
PageTables:       4832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   306472 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= 71804 MiB
End job on node119 at 2011-04-29 16:57:01