Trace number 3366502

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.3 1203.15

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf
MD5SUMed3fd2bb20521663519b3e49797ea8b1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
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 53195
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-3366502-1305405749.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 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:    150 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      71 undec:       8 neg:      71
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4919       150      3195         0      4697     15975    143586   no data   no data
3.17/0.80	c  N st    10     11302       150      3195         0      4343     15975    103136   no data   no data
3.17/0.80	c  N st    11     17047       150      3195         0      9772     15975    264956   no data   no data
3.57/1.00	c  F st    12     25000       150      3195         0     12005     15975    335245   no data   no data
3.57/1.00	c  N st    12     25000       150      3195         0     12005     15975    335245   no data   no data
4.76/1.21	c Decided on static restart strategy
4.76/1.21	c  N st    18     30000       150      3195         0     10323     15975    266986   no data   no data
4.76/1.21	c  S st    18     30000       150      3195         0     10323     15975    266986   no data   no data
4.76/1.24	c  S st    18     30500       150      3195         0     10818     15975    281204   no data   no data
4.76/1.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.76/1.24	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.76/1.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.76/1.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.76/1.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.76/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.43	c lits-rem:       241  cl-subs:     1173  v-elim:      0  v-fix:    0  time:  0.18 s
5.56/1.48	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.56/1.48	c calculated reachability. Time: 0.00
5.56/1.48	c  N st    18     30500       150      3195         0      9645     15975    240992   no data   no data
7.15/1.83	c  N st    20     37612       150      3195         0      8884     15975    199462   no data   no data
8.38/2.15	c  N st    21     44011       150      3195         0     14985     15975    385704   no data   no data
8.79/2.26	c  S st    22     45750       150      3195         0     16647     15975    436142   no data   no data
9.14/2.32	c  S st    22     46256       150      3195         0      8615     15975    170570   no data   no data
9.14/2.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.14/2.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.14/2.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
9.14/2.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/2.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.14/2.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.35	c lits-rem:        20  cl-subs:      135  v-elim:      0  v-fix:    0  time:  0.02 s
9.14/2.35	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.14/2.35	c vivif2 --  cl tried     8480 cl shrink        0 lits rem          0 time: 0.00
9.14/2.39	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.14/2.39	c calculated reachability. Time: 0.00
9.14/2.39	c  N st    22     46256       150      3195         0      8480     15975    166046   no data   no data
12.35/3.14	c  N st    23     60653       150      3195         0     12658     15975    275393   no data   no data
14.33/3.67	c  N st    24     69389       150      3195         0     10524     15975    195258   no data   no data
14.33/3.67	c  S st    24     69389       150      3195         0     10524     15975    195258   no data   no data
14.73/3.71	c  S st    24     69892       150      3195         0     11019     15975    210181   no data   no data
14.73/3.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.73/3.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.73/3.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.73/3.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.73/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.73/3.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.73/3.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.73/3.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.73/3.76	c lits-rem:        42  cl-subs:      239  v-elim:      0  v-fix:    0  time:  0.04 s
14.73/3.76	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.73/3.76	c vivif2 --  cl tried    10780 cl shrink        0 lits rem          0 time: 0.00
15.13/3.81	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.13/3.81	c calculated reachability. Time: 0.00
15.13/3.81	c  N st    24     69892       150      3195         0     10780     15975    202320   no data   no data
19.12/4.87	c  F st    25     87500       150      3195         0     16082     15975    357274   no data   no data
19.12/4.87	c  N st    25     87500       150      3195         0     16082     15975    357274   no data   no data
20.71/5.22	c Decided on static restart strategy
21.54/5.44	c  N st    32     95536       150      3195         0     23747     15975    584635   no data   no data
23.90/6.08	c  N st    34    104838       150      3195         0     20209     15975    461092   no data   no data
23.90/6.08	c  S st    34    104838       150      3195         0     20209     15975    461092   no data   no data
24.30/6.14	c  S st    34    105341       150      3195         0     20694     15975    475006   no data   no data
24.30/6.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.30/6.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.30/6.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.30/6.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.30/6.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.30/6.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.30/6.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.30/6.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.30/6.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.61	c lits-rem:       321  cl-subs:     1490  v-elim:      0  v-fix:    0  time:  0.45 s
26.34/6.61	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
26.34/6.62	c vivif2 --  cl tried    19204 cl shrink        0 lits rem          0 time: 0.00
26.70/6.70	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
26.70/6.70	c calculated reachability. Time: 0.00
26.70/6.70	c  N st    34    105341       150      3195         0     19204     15975    429330   no data   no data
29.49/7.48	c  N st    35    114939       150      3195         0     15067     15975    300494   no data   no data
34.70/8.75	c  N st    36    129336       150      3195         0     14524     15975    258195   no data   no data
41.46/10.48	c  N st    37    150931       150      3195         0     19741     15975    392904   no data   no data
43.89/11.01	c  S st    38    158011       150      3195         0     26452     15975    588049   no data   no data
43.89/11.08	c  S st    38    158513       150      3195         0     26942     15975    602189   no data   no data
43.89/11.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.89/11.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
43.89/11.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.89/11.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.89/11.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.89/11.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
43.89/11.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.89/11.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.25/11.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.44/11.99	c lits-rem:       649  cl-subs:     2046  v-elim:      0  v-fix:    0  time:  0.88 s
47.44/11.99	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
47.44/11.99	c vivif2 --  cl tried    24896 cl shrink        0 lits rem          0 time: 0.01
47.86/12.10	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
47.86/12.10	c calculated reachability. Time: 0.00
47.86/12.10	c  N st    38    158513       150      3195         0     24896     15975    539567   no data   no data
65.00/16.31	c  N st    39    207101       150      3195         0     19833     15975    347411   no data   no data
77.37/19.43	c  N st    40    237771       150      3195         0     29815     15975    649256   no data   no data
77.37/19.43	c  S st    40    237771       150      3195         0     29815     15975    649256   no data   no data
77.37/19.49	c  S st    40    238273       150      3195         0     30306     15975    663394   no data   no data
77.77/19.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.77/19.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.77/19.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.77/19.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.77/19.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.77/19.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
77.77/19.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.77/19.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.77/19.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.57/20.73	c lits-rem:       821  cl-subs:     2254  v-elim:      0  v-fix:    0  time:  1.20 s
82.57/20.73	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
82.57/20.73	c vivif2 --  cl tried    28052 cl shrink        0 lits rem          0 time: 0.01
82.98/20.86	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
82.98/20.86	c calculated reachability. Time: 0.00
82.98/20.86	c  N st    40    238273       150      3195         0     28052     15975    588521   no data   no data
109.73/27.59	c  F st    41    306252       150      3195         0     30223     15975    605783   no data   no data
109.73/27.59	c  N st    41    306252       150      3195         0     30223     15975    605783   no data   no data
111.68/28.08	c Decided on static restart strategy
121.27/30.48	c  N st    51    334559       150      3195         0     34361     15975    706739   no data   no data
131.26/33.01	c  N st    53    357410       150      3195         0     32293     15975    613323   no data   no data
131.26/33.01	c  S st    53    357410       150      3195         0     32293     15975    613323   no data   no data
131.68/33.09	c  S st    53    357912       150      3195         0     32789     15975    628308   no data   no data
131.68/33.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
132.03/33.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
132.03/33.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
132.03/33.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.03/33.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.03/33.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
132.03/33.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
132.03/33.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
132.03/33.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.84/33.84	c lits-rem:       583  cl-subs:     1524  v-elim:      0  v-fix:    0  time:  0.71 s
134.84/33.84	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
134.84/33.85	c vivif2 --  cl tried    31265 cl shrink        0 lits rem          0 time: 0.01
135.24/33.99	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
135.24/33.99	c calculated reachability. Time: 0.00
135.24/33.99	c  N st    53    357912       150      3195         0     31265     15975    581651   no data   no data
149.59/37.55	c  N st    54    390304       150      3195         0     37308     15975    751720   no data   no data
175.93/44.10	c  N st    55    438893       150      3195         0     31183     15975    544511   no data   no data
209.44/52.55	c  N st    56    511776       150      3195         0     44343     15975    912397   no data   no data
223.01/55.91	c  N st    57    536873       150      3195         0     38768     15975    712518   no data   no data
223.01/55.91	c  S st    57    536873       150      3195         0     38768     15975    712518   no data   no data
223.01/56.00	c  S st    57    537375       150      3195         0     39261     15975    727030   no data   no data
223.01/56.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
223.43/56.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
223.43/56.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
223.43/56.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
223.43/56.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
223.43/56.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
223.43/56.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
223.43/56.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
223.43/56.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
227.39/57.03	c lits-rem:       475  cl-subs:     1712  v-elim:      0  v-fix:    0  time:  0.99 s
227.39/57.03	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
227.39/57.04	c vivif2 --  cl tried    37549 cl shrink        0 lits rem          0 time: 0.01
228.23/57.22	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
228.23/57.22	c calculated reachability. Time: 0.00
228.23/57.22	c  N st    57    537375       150      3195         0     37549     15975    673129   no data   no data
323.56/81.11	c  N st    58    701361       150      3195         0     65671     15975   1489071   no data   no data
392.58/98.43	c  N st    59    806063       150      3195         0     59885     15975   1243741   no data   no data
392.58/98.43	c  S st    59    806063       150      3195         0     59885     15975   1243741   no data   no data
393.38/98.60	c  S st    59    806565       150      3195         0     60378     15975   1258245   no data   no data
393.38/98.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
393.38/98.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
393.38/98.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
393.38/98.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
393.38/98.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
393.38/98.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
393.38/98.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
393.38/98.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
393.38/98.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
420.11/105.33	c lits-rem:      1229  cl-subs:     4904  v-elim:      0  v-fix:    0  time:  6.65 s
420.11/105.33	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
420.11/105.35	c vivif2 --  cl tried    55474 cl shrink        0 lits rem          0 time: 0.02
421.34/105.63	c asymm  cl-useful: 0/2899/3195 lits-rem:0 time: 0.28
421.34/105.63	c calculated reachability. Time: 0.00
421.34/105.63	c  N st    59    806565       150      3195         0     55474     15975   1109631   no data   no data
602.04/150.94	c  F st    60   1071875       150      3195         0     70821     15975   1479923   no data   no data
602.04/150.94	c  N st    60   1071875       150      3195         0     70821     15975   1479923   no data   no data
606.84/152.11	c Decided on static restart strategy
623.59/156.35	c  N st    70   1100182       150      3195         0     55395     15975    985331   no data   no data
652.72/163.63	c  N st    72   1136177       150      3195         0     46026     15975    670635   no data   no data
675.07/169.24	c  N st    73   1168569       150      3195         0     76784     15975   1603277   no data   no data
716.17/179.60	c  N st    74   1209847       150      3195         0     71337     15975   1389212   no data   no data
716.57/179.60	c  S st    74   1209847       150      3195         0     71337     15975   1389212   no data   no data
717.77/179.96	c  S st    74   1210354       150      3195         0     71831     15975   1404112   no data   no data
717.77/179.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
718.17/180.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.06
718.17/180.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
718.17/180.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
718.17/180.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
718.17/180.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
718.17/180.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
718.17/180.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
718.56/180.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
788.76/197.75	c lits-rem:      1147  cl-subs:     5278  v-elim:      0  v-fix:    0  time: 17.65 s
788.76/197.75	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
788.76/197.77	c vivif2 --  cl tried    66553 cl shrink        0 lits rem          0 time: 0.02
790.75/198.25	c asymm  cl-useful: 0/2397/3195 lits-rem:0 time: 0.47
790.75/198.25	c calculated reachability. Time: 0.00
790.75/198.25	c  N st    74   1210354       150      3195         0     66553     15975   1251065   no data   no data
848.61/212.78	c  N st    75   1283236       150      3195         0     89993     15975   1955429   no data   no data
954.74/239.39	c  N st    76   1392559       150      3195         0     51685     15975    746185   no data   no data
1100.78/275.94	c  N st    77   1556543       150      3195         0     56241     15975    828007   no data   no data
1235.23/309.68	c  N st    78   1710355       150      3195         0     96300     15975   1981318   no data   no data
1235.23/309.68	c  S st    78   1710355       150      3195         0     96300     15975   1981318   no data   no data
1236.43/309.98	c  S st    78   1710858       150      3195         0     96797     15975   1996362   no data   no data
1236.43/309.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1236.83/310.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1236.83/310.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1236.83/310.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1236.83/310.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1236.83/310.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1236.83/310.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1236.83/310.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1237.26/310.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1355.75/339.86	c lits-rem:      2299  cl-subs:    10429  v-elim:      0  v-fix:    0  time: 29.74 s
1355.75/339.86	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1355.75/339.89	c vivif2 --  cl tried    86368 cl shrink        0 lits rem          0 time: 0.03
1356.92/340.13	c asymm  cl-useful: 0/798/3195 lits-rem:0 time: 0.24
1356.92/340.13	c calculated reachability. Time: 0.00
1356.92/340.13	c  N st    78   1710858       150      3195         0     86368     15975   1699121   no data   no data
1737.17/435.40	c  N st    79   2079823       150      3195         0     98105     15975   1960483   no data   no data
1858.85/465.93	c  N st    80   2210860       150      3195         0    102360     15975   2111404   no data   no data
1858.85/465.93	c  S st    80   2210860       150      3195         0    102360     15975   2111404   no data   no data
1860.05/466.21	c  S st    80   2211361       150      3195         0    102852     15975   2126327   no data   no data
1860.05/466.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1860.05/466.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1860.05/466.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1860.05/466.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1860.05/466.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1860.05/466.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1860.05/466.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1860.05/466.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1860.47/466.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1952.23/489.31	c lits-rem:      2657  cl-subs:     8581  v-elim:      0  v-fix:    0  time: 22.97 s
1952.23/489.31	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1952.23/489.34	c vivif2 --  cl tried    94271 cl shrink        0 lits rem          0 time: 0.02
1953.81/489.70	c asymm  cl-useful: 0/1745/3195 lits-rem:0 time: 0.36
1953.81/489.70	c calculated reachability. Time: 0.00
1953.81/489.70	c  N st    80   2211361       150      3195         0     94271     15975   1852140   no data   no data
2505.23/627.96	c  N st    81   2711361       150      3195         0    116901     15975   2403180   no data   no data
2505.23/627.96	c  S st    81   2711361       150      3195         0    116901     15975   2403180   no data   no data
2506.83/628.36	c  S st    81   2711862       150      3195         0    117390     15975   2418053   no data   no data
2506.83/628.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2507.23/628.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2507.23/628.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2507.23/628.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2507.23/628.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2507.23/628.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2507.23/628.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2507.23/628.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2507.63/628.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2640.09/661.73	c lits-rem:      2477  cl-subs:    11270  v-elim:      0  v-fix:    0  time: 33.21 s
2640.09/661.73	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2640.09/661.76	c vivif2 --  cl tried   106120 cl shrink        0 lits rem          0 time: 0.03
2641.70/662.14	c asymm  cl-useful: 0/1404/3195 lits-rem:0 time: 0.38
2641.70/662.15	c calculated reachability. Time: 0.00
2641.70/662.15	c  N st    81   2711862       150      3195         0    106120     15975   2085587   no data   no data
3301.61/827.57	c  N st    82   3211862       150      3195         0     83453     15975   1249764   no data   no data
3301.61/827.57	c  S st    82   3211862       150      3195         0     83453     15975   1249764   no data   no data
3302.81/827.81	c  S st    82   3212365       150      3195         0     83940     15975   1264874   no data   no data
3302.81/827.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3302.81/827.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3302.81/827.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3302.81/827.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3302.81/827.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3302.81/827.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3302.81/827.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3302.81/827.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3303.21/827.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3311.59/830.09	c lits-rem:       538  cl-subs:     1956  v-elim:      0  v-fix:    0  time:  2.18 s
3311.59/830.09	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3311.99/830.11	c vivif2 --  cl tried    81984 cl shrink        0 lits rem          0 time: 0.02
3313.21/830.42	c asymm  cl-useful: 0/2030/3195 lits-rem:0 time: 0.31
3313.21/830.42	c calculated reachability. Time: 0.00
3313.21/830.42	c  N st    82   3212365       150      3195         0     81984     15975   1203123   no data   no data
3969.92/995.02	c  N st    83   3712366       150      3195         0     92325     15975   1414356   no data   no data
3969.92/995.02	c  S st    83   3712366       150      3195         0     92325     15975   1414356   no data   no data
3971.12/995.30	c  S st    83   3712872       150      3195         0     92815     15975   1429077   no data   no data
3971.12/995.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3971.12/995.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3971.12/995.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3971.12/995.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3971.12/995.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3971.12/995.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3971.12/995.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3971.12/995.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3971.54/995.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3987.08/999.32	c lits-rem:       753  cl-subs:     3141  v-elim:      0  v-fix:    0  time:  3.91 s
3987.08/999.32	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3987.08/999.34	c vivif2 --  cl tried    89674 cl shrink        0 lits rem          0 time: 0.02
3988.27/999.60	c asymm  cl-useful: 0/1165/3195 lits-rem:0 time: 0.25
3988.27/999.60	c calculated reachability. Time: 0.00
3988.27/999.60	c  N st    83   3712872       150      3195         0     89674     15975   1335023   no data   no data
4036.96/1011.83	c  F st    84   3751562       150      3195         0    126157     15975   2465549   no data   no data
4036.96/1011.83	c  N st    84   3751562       150      3195         0    126157     15975   2465549   no data   no data
4045.73/1014.07	c Decided on static restart strategy
4095.20/1026.45	c  N st    94   3779868       150      3195         0    152978     15975   3287116   no data   no data
4144.68/1038.81	c  N st    96   3815861       150      3195         0    107157     15975   1846081   no data   no data
4194.16/1051.22	c  N st    97   3848253       150      3195         0    137794     15975   2799795   no data   no data
4269.17/1070.09	c  N st    98   3896841       150      3195         0    102639     15975   1690485   no data   no data
4395.25/1101.64	c  N st    99   3969723       150      3195         0     89344     15975   1236553   no data   no data
4552.03/1140.98	c  N st   100   4079047       150      3195         0    109297     15975   1839699   no data   no data
4735.20/1186.82	c  N st   101   4212872       150      3195         0    151566     15975   3103266   no data   no data
4735.20/1186.82	c  S st   101   4212872       150      3195         0    151566     15975   3103266   no data   no data
4737.16/1187.30	c  S st   101   4213374       150      3195         0    152055     15975   3117959   no data   no data
4737.16/1187.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4737.16/1187.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4737.16/1187.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4737.16/1187.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4737.16/1187.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4737.16/1187.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4737.16/1187.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4737.56/1187.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4737.96/1187.52	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-3366502-1305405749/watcher-3366502-1305405749 -o /tmp/evaluation-result-3366502-1305405749/solver-3366502-1305405749 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366502-1305405749.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.51 7.99 8.05 2/306 19268
/proc/meminfo: memFree=18232856/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 652174571 52396032 347 33554432000 4194304 4580107 140734152403680 18446744073709551615 47622856398764 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 12792 347 299 95 0 7774 0
[pid=19266/tid=19269] ppid=19263 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652174572 52396032 347 33554432000 4194304 4580107 140734152403680 18446744073709551615 47622856398770 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652174572 52396032 347 33554432000 4194304 4580107 140734152403680 18446744073709551615 47622856398764 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652174572 52396032 347 33554432000 4194304 4580107 140734152403680 18446744073709551615 274474023921 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.042676 s]
/proc/loadavg: 7.51 7.99 8.05 2/306 19268
/proc/meminfo: memFree=18232856/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=282316 CPUtime=0.14 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 1613 0 0 0 14 0 0 0 18 0 4 0 652174571 289091584 1427 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 70579 1427 375 95 0 65561 0
[pid=19266/tid=19269] ppid=19263 vsize=282316 CPUtime=0.03 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 342 0 0 0 3 0 0 0 24 0 4 0 652174572 289091584 1427 33554432000 4194304 4580107 140734152403680 18446744073709551615 4318508 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=282316 CPUtime=0.03 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 329 0 0 0 3 0 0 0 18 0 4 0 652174572 289091584 1427 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=282316 CPUtime=0.02 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 196 0 0 0 2 0 0 0 25 0 4 0 652174572 289091584 1427 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 282316

[startup+0.100665 s]
/proc/loadavg: 7.51 7.99 8.05 2/306 19268
/proc/meminfo: memFree=18232856/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=282468 CPUtime=0.37 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 1959 0 0 0 37 0 0 0 18 0 4 0 652174571 289247232 1773 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 70617 1773 376 95 0 65599 0
[pid=19266/tid=19269] ppid=19263 vsize=282468 CPUtime=0.09 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 433 0 0 0 9 0 0 0 24 0 4 0 652174572 289247232 1773 33554432000 4194304 4580107 140734152403680 18446744073709551615 4321408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=282468 CPUtime=0.09 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 410 0 0 0 9 0 0 0 18 0 4 0 652174572 289247232 1773 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=282468 CPUtime=0.08 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 288 0 0 0 8 0 0 0 25 0 4 0 652174572 289247232 1773 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282468

[startup+0.300631 s]
/proc/loadavg: 7.51 7.99 8.05 2/306 19268
/proc/meminfo: memFree=18232856/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=284420 CPUtime=1.17 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 3358 0 0 0 117 0 0 0 18 0 4 0 652174571 291246080 2455 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 71105 2455 377 95 0 66087 0
[pid=19266/tid=19269] ppid=19263 vsize=284420 CPUtime=0.29 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 775 0 0 0 29 0 0 0 25 0 4 0 652174572 291246080 2455 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=284420 CPUtime=0.29 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 748 0 0 0 29 0 0 0 18 0 4 0 652174572 291246080 2455 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=284420 CPUtime=0.28 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 652 0 0 0 28 0 0 0 25 0 4 0 652174572 291246080 2455 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284420

[startup+0.700561 s]
/proc/loadavg: 7.51 7.99 8.05 2/306 19268
/proc/meminfo: memFree=18232856/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=286124 CPUtime=2.76 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 6027 0 0 0 276 0 0 0 18 0 4 0 652174571 292990976 2677 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 71531 2677 377 95 0 66513 0
[pid=19266/tid=19269] ppid=19263 vsize=286124 CPUtime=0.69 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 1430 0 0 0 69 0 0 0 25 0 4 0 652174572 292990976 2677 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=286124 CPUtime=0.69 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 1430 0 0 0 69 0 0 0 18 0 4 0 652174572 292990976 2677 33554432000 4194304 4580107 140734152403680 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=286124 CPUtime=0.68 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 1326 0 0 0 68 0 0 0 25 0 4 0 652174572 292990976 2677 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 286124

[startup+1.50042 s]
/proc/loadavg: 7.71 8.02 8.06 12/314 19306
/proc/meminfo: memFree=18211736/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=287480 CPUtime=5.96 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 12726 0 0 0 595 1 0 0 20 0 4 0 652174571 294379520 6210 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 71870 6210 379 95 0 66852 0
[pid=19266/tid=19269] ppid=19263 vsize=287480 CPUtime=1.49 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 3735 0 0 0 149 0 0 0 25 0 4 0 652174572 294379520 6211 33554432000 4194304 4580107 140734152403680 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=287480 CPUtime=1.48 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 2453 0 0 0 148 0 0 0 19 0 4 0 652174572 294379520 6211 33554432000 4194304 4580107 140734152403680 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=287480 CPUtime=1.47 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 2370 0 0 0 147 0 0 0 25 0 4 0 652174572 294379520 6211 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287480

[startup+3.10114 s]
/proc/loadavg: 7.71 8.02 8.06 9/314 19306
/proc/meminfo: memFree=18176892/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=298196 CPUtime=12.35 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 22341 0 0 0 1232 3 0 0 25 0 4 0 652174571 305352704 11080 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 74549 11080 379 95 0 69531 0
[pid=19266/tid=19269] ppid=19263 vsize=298196 CPUtime=3.08 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 5103 0 0 0 308 0 0 0 25 0 4 0 652174572 305352704 11080 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=298196 CPUtime=3.09 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 5724 0 0 0 308 1 0 0 25 0 4 0 652174572 305352704 11080 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=298196 CPUtime=3.05 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 5658 0 0 0 305 0 0 0 25 0 4 0 652174572 305352704 11080 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 298196

[startup+6.30058 s]
/proc/loadavg: 7.71 8.02 8.06 9/314 19306
/proc/meminfo: memFree=18122756/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=305168 CPUtime=25.1 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 35872 0 0 0 2504 6 0 0 25 0 4 0 652174571 312492032 16642 33554432000 4194304 4580107 140734152403680 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 76292 16642 379 95 0 71274 0
[pid=19266/tid=19269] ppid=19263 vsize=305168 CPUtime=6.29 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 9024 0 0 0 627 2 0 0 25 0 4 0 652174572 312492032 16642 33554432000 4194304 4580107 140734152403680 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=305168 CPUtime=6.28 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 9054 0 0 0 627 1 0 0 25 0 4 0 652174572 312492032 16642 33554432000 4194304 4580107 140734152403680 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=305168 CPUtime=6.21 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 8005 0 0 0 620 1 0 0 25 0 4 0 652174572 312492032 16642 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 305168

[startup+12.7005 s]
/proc/loadavg: 7.75 8.02 8.06 9/314 19306
/proc/meminfo: memFree=18065096/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=306116 CPUtime=50.64 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 55218 0 0 0 5054 10 0 0 25 0 4 0 652174571 313462784 21599 33554432000 4194304 4580107 140734152403680 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 76529 21599 379 95 0 71511 0
[pid=19266/tid=19269] ppid=19263 vsize=306116 CPUtime=12.68 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 14232 0 0 0 1266 2 0 0 25 0 4 0 652174572 313462784 21599 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=306116 CPUtime=12.68 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 13281 0 0 0 1266 2 0 0 25 0 4 0 652174572 313462784 21599 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=306116 CPUtime=12.55 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 13433 0 0 0 1253 2 0 0 25 0 4 0 652174572 313462784 21599 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 306116

[startup+25.5012 s]
/proc/loadavg: 7.79 8.02 8.06 9/314 19306
/proc/meminfo: memFree=18003484/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=306224 CPUtime=101.71 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 86550 0 0 0 10154 17 0 0 25 0 4 0 652174571 313573376 29984 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 76556 29984 379 95 0 71538 0
[pid=19266/tid=19269] ppid=19263 vsize=306224 CPUtime=25.49 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 22171 0 0 0 2545 4 0 0 25 0 4 0 652174572 313573376 29984 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=306224 CPUtime=25.48 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 21447 0 0 0 2544 4 0 0 25 0 4 0 652174572 313573376 29984 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=306224 CPUtime=25.22 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 20956 0 0 0 2517 5 0 0 25 0 4 0 652174572 313573376 29984 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 306224

[startup+51.1007 s]
/proc/loadavg: 7.94 8.03 8.06 9/314 19307
/proc/meminfo: memFree=17928340/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=377540 CPUtime=203.85 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 128327 0 0 0 20356 29 0 0 25 0 4 0 652174571 386600960 39408 33554432000 4194304 4580107 140734152403680 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 94385 39408 379 95 0 89367 0
[pid=19266/tid=19269] ppid=19263 vsize=377540 CPUtime=51.08 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 33590 0 0 0 5102 6 0 0 25 0 4 0 652174572 386600960 39408 33554432000 4194304 4580107 140734152403680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=377540 CPUtime=51.09 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 31384 0 0 0 5102 7 0 0 25 0 4 0 652174572 386600960 39408 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=377540 CPUtime=50.56 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 31068 0 0 0 5048 8 0 0 25 0 4 0 652174572 386600960 39408 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 377540

[startup+102.312 s]
/proc/loadavg: 8.05 8.04 8.06 9/314 19308
/proc/meminfo: memFree=17830752/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=335008 CPUtime=408.17 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 193286 0 0 0 40768 49 0 0 25 0 4 0 652174571 343048192 49333 33554432000 4194304 4580107 140734152403680 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 83752 49333 379 95 0 78734 0
[pid=19266/tid=19269] ppid=19263 vsize=335008 CPUtime=102.3 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 48919 0 0 0 10219 11 0 0 25 0 4 0 652174572 343048192 49333 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=335008 CPUtime=102.29 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 47004 0 0 0 10217 12 0 0 25 0 4 0 652174572 343048192 49333 33554432000 4194304 4580107 140734152403680 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=335008 CPUtime=101.25 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 47341 0 0 0 10113 12 0 0 25 0 4 0 652174572 343048192 49333 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 335008

[startup+162.301 s]

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

[pid=19266] ppid=19263 vsize=661464 CPUtime=2802.08 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 590445 0 0 0 280010 198 0 0 25 0 4 0 652174571 677339136 120997 33554432000 4194304 4580107 140734152403680 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 165366 120997 379 95 0 160348 0
[pid=19266/tid=19269] ppid=19263 vsize=661464 CPUtime=702.3 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 153440 0 0 0 70173 57 0 0 25 0 4 0 652174572 677339136 120997 33554432000 4194304 4580107 140734152403680 18446744073709551615 4321096 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=661464 CPUtime=702.29 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 141078 0 0 0 70182 47 0 0 25 0 4 0 652174572 677339136 120997 33554432000 4194304 4580107 140734152403680 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=661464 CPUtime=695.16 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 144951 0 0 0 69473 43 0 0 25 0 4 0 652174572 677339136 120997 33554432000 4194304 4580107 140734152403680 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.08
Current children cumulated vsize (KiB) 661464

[startup+762.313 s]
/proc/loadavg: 8.08 8.09 8.07 9/314 19326
/proc/meminfo: memFree=17266072/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=675108 CPUtime=3041.52 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 619441 0 0 0 303941 211 0 0 25 0 4 0 652174571 691310592 128164 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 168777 128164 380 95 0 163759 0
[pid=19266/tid=19269] ppid=19263 vsize=675108 CPUtime=762.32 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 167135 0 0 0 76170 62 0 0 25 0 4 0 652174572 691310592 128164 33554432000 4194304 4580107 140734152403680 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=675108 CPUtime=762.31 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 146165 0 0 0 76180 51 0 0 25 0 4 0 652174572 691310592 128164 33554432000 4194304 4580107 140734152403680 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=675108 CPUtime=754.56 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 149095 0 0 0 75411 45 0 0 25 0 4 0 652174572 691310592 128164 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.52
Current children cumulated vsize (KiB) 675108

[startup+822.301 s]
/proc/loadavg: 8.11 8.10 8.07 9/314 19327
/proc/meminfo: memFree=17248804/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=623440 CPUtime=3280.87 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 630964 0 0 0 327870 217 0 0 25 0 4 0 652174571 638402560 125541 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 155860 125541 380 95 0 150842 0
[pid=19266/tid=19269] ppid=19263 vsize=623440 CPUtime=822.31 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 171621 0 0 0 82167 64 0 0 25 0 4 0 652174572 638402560 125541 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=623440 CPUtime=822.29 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 148214 0 0 0 82178 51 0 0 25 0 4 0 652174572 638402560 125541 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=623440 CPUtime=813.93 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 153017 0 0 0 81346 47 0 0 25 0 4 0 652174572 638402560 125541 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.87
Current children cumulated vsize (KiB) 623440

[startup+882.301 s]
/proc/loadavg: 8.15 8.11 8.08 9/314 19329
/proc/meminfo: memFree=17272448/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=681284 CPUtime=3520.26 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 661844 0 0 0 351798 228 0 0 25 0 4 0 652174571 697634816 126306 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 170321 126306 380 95 0 165303 0
[pid=19266/tid=19269] ppid=19263 vsize=681284 CPUtime=882.3 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 179420 0 0 0 88164 66 0 0 25 0 4 0 652174572 697634816 126306 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=681284 CPUtime=882.3 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 154983 0 0 0 88176 54 0 0 25 0 4 0 652174572 697634816 126306 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=681284 CPUtime=873.32 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 160120 0 0 0 87282 50 0 0 25 0 4 0 652174572 697634816 126306 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.26
Current children cumulated vsize (KiB) 681284

[startup+942.301 s]
/proc/loadavg: 8.10 8.10 8.08 9/314 19331
/proc/meminfo: memFree=17278484/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=683164 CPUtime=3759.66 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 687703 0 0 0 375728 238 0 0 25 0 4 0 652174571 699559936 124097 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 170791 124097 380 95 0 165773 0
[pid=19266/tid=19269] ppid=19263 vsize=683164 CPUtime=942.3 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 188849 0 0 0 94160 70 0 0 25 0 4 0 652174572 699559936 124097 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=683164 CPUtime=942.3 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 159957 0 0 0 94174 56 0 0 25 0 4 0 652174572 699559936 124097 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=683164 CPUtime=932.72 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 162757 0 0 0 93222 50 0 0 25 0 4 0 652174572 699559936 124097 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.66
Current children cumulated vsize (KiB) 683164

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.08 9/314 19332
/proc/meminfo: memFree=17240108/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=613032 CPUtime=3999.04 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 712833 0 0 0 399655 249 0 0 25 0 4 0 652174571 627744768 124619 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 153258 124619 380 95 0 148240 0
[pid=19266/tid=19269] ppid=19263 vsize=613032 CPUtime=1002.31 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 195951 0 0 0 100159 72 0 0 25 0 4 0 652174572 627744768 124619 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=613032 CPUtime=1002.3 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 167889 0 0 0 100170 60 0 0 25 0 4 0 652174572 627744768 124619 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=613032 CPUtime=992.1 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 165254 0 0 0 99158 52 0 0 25 0 4 0 652174572 627744768 124619 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.04
Current children cumulated vsize (KiB) 613032

[startup+1062.3 s]
/proc/loadavg: 8.07 8.09 8.08 9/314 19334
/proc/meminfo: memFree=17201396/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=743788 CPUtime=4238.45 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 740630 0 0 0 423584 261 0 0 25 0 4 0 652174571 761638912 131442 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 185947 131442 380 95 0 180929 0
[pid=19266/tid=19269] ppid=19263 vsize=743788 CPUtime=1062.31 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 202447 0 0 0 106156 75 0 0 25 0 4 0 652174572 761638912 131442 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=743788 CPUtime=1062.3 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 176264 0 0 0 106166 64 0 0 25 0 4 0 652174572 761638912 131442 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=743788 CPUtime=1051.5 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 172259 0 0 0 105096 54 0 0 25 0 4 0 652174572 761638912 131442 33554432000 4194304 4580107 140734152403680 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.45
Current children cumulated vsize (KiB) 743788

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.08 9/314 19345
/proc/meminfo: memFree=17190100/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=753412 CPUtime=4477.82 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 771114 0 0 0 447509 273 0 0 25 0 4 0 652174571 771493888 136251 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 188353 136251 380 95 0 183335 0
[pid=19266/tid=19269] ppid=19263 vsize=753412 CPUtime=1122.31 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 210519 0 0 0 112153 78 0 0 25 0 4 0 652174572 771493888 136251 33554432000 4194304 4580107 140734152403680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=753412 CPUtime=1122.3 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 183819 0 0 0 112163 67 0 0 25 0 4 0 652174572 771493888 136251 33554432000 4194304 4580107 140734152403680 18446744073709551615 4296082 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=753412 CPUtime=1110.88 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 179746 0 0 0 111031 57 0 0 25 0 4 0 652174572 771493888 136251 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4477.82
Current children cumulated vsize (KiB) 753412

[startup+1182.3 s]
/proc/loadavg: 8.04 8.08 8.08 9/314 19346
/proc/meminfo: memFree=17150412/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=745964 CPUtime=4717.22 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 796505 0 0 0 471437 285 0 0 25 0 4 0 652174571 763867136 133151 33554432000 4194304 4580107 140734152403680 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 186491 133151 380 95 0 181473 0
[pid=19266/tid=19269] ppid=19263 vsize=745964 CPUtime=1182.31 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 218500 0 0 0 118150 81 0 0 25 0 4 0 652174572 763867136 133151 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=745964 CPUtime=1182.3 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 190246 0 0 0 118161 69 0 0 25 0 4 0 652174572 763867136 133151 33554432000 4194304 4580107 140734152403680 18446744073709551615 4292952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=745964 CPUtime=1170.28 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 182807 0 0 0 116968 60 0 0 25 0 4 0 652174572 763867136 133151 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4717.22
Current children cumulated vsize (KiB) 745964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.03 8.07 8.08 9/314 19347
/proc/meminfo: memFree=17115556/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=725504 CPUtime=4800.23 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 809809 0 0 0 479733 290 0 0 25 0 4 0 652174571 742916096 141031 33554432000 4194304 4580107 140734152403680 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 181376 141031 380 95 0 176358 0
[pid=19266/tid=19269] ppid=19263 vsize=725504 CPUtime=1203.12 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 221242 0 0 0 120230 82 0 0 25 0 4 0 652174572 742916096 141032 33554432000 4194304 4580107 140734152403680 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=725504 CPUtime=1203.11 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 193251 0 0 0 120240 71 0 0 25 0 4 0 652174572 742916096 141032 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=725504 CPUtime=1190.87 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 185785 0 0 0 119025 62 0 0 25 0 4 0 652174572 742916096 141032 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 725504

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

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

[startup+1203.1 s]
/proc/loadavg: 8.03 8.07 8.08 9/314 19347
/proc/meminfo: memFree=17115556/32950928 swapFree=67111348/67111528
[pid=19266] ppid=19263 vsize=725504 CPUtime=4800.23 cores=0,2,4,6
/proc/19266/stat : 19266 (strangenight2-m) R 19263 19266 18635 0 -1 4202496 809809 0 0 0 479733 290 0 0 25 0 4 0 652174571 742916096 141031 33554432000 4194304 4580107 140734152403680 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19266/statm: 181376 141031 380 95 0 176358 0
[pid=19266/tid=19269] ppid=19263 vsize=725504 CPUtime=1203.12 cores=0,2,4,6
/proc/19266/task/19269/stat : 19269 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 221242 0 0 0 120230 82 0 0 25 0 4 0 652174572 742916096 141032 33554432000 4194304 4580107 140734152403680 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19266/tid=19270] ppid=19263 vsize=725504 CPUtime=1203.11 cores=0,2,4,6
/proc/19266/task/19270/stat : 19270 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 193251 0 0 0 120240 71 0 0 25 0 4 0 652174572 742916096 141032 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19266/tid=19273] ppid=19263 vsize=725504 CPUtime=1190.87 cores=0,2,4,6
/proc/19266/task/19273/stat : 19273 (strangenight2-m) R 19263 19266 18635 0 -1 4202560 185785 0 0 0 119025 62 0 0 25 0 4 0 652174572 742916096 141032 33554432000 4194304 4580107 140734152403680 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 725504

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.15
CPU time (s): 4800.3
CPU user time (s): 4797.37
CPU system time (s): 2.93655
CPU usage (%): 398.979
Max. virtual memory (cumulated for all children) (KiB): 868288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.37
system time used= 2.93655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 809810
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= 536
involuntary context switches= 23307

runsolver used 3.53946 second user time and 8.5227 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-14 22:42:29
IDJOB=3366502
IDBENCH=82911
IDSOLVER=1844
FILE ID=node125/3366502-1305405749
RUNJOBID= node125-1305405749-19249
PBS_JOBID= 13324489
Free space on /tmp= 73196 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366502-1305405749/watcher-3366502-1305405749 -o /tmp/evaluation-result-3366502-1305405749/solver-3366502-1305405749 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366502-1305405749.cnf

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

MD5SUM BENCH= ed3fd2bb20521663519b3e49797ea8b1
RANDOM SEED=1664082249

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18233168 kB
Buffers:        255660 kB
Cached:        4033016 kB
SwapCached:          0 kB
Active:       11128172 kB
Inactive:      3215508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18233168 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           10996 kB
Writeback:           0 kB
AnonPages:    10054804 kB
Mapped:          28996 kB
Slab:           274472 kB
PageTables:      35792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 50986840 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= 73188 MiB
End job on node125 at 2011-05-14 23:02:34