Trace number 3174093

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.44 1201.74

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-3174093-1304090944.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
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.82	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.82	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.82	c calculated reachability. Time: 0.00
3.17/0.82	c Calc default polars -  time:   0.00 s pos:      71 undec:       8 neg:      71
3.17/0.82	c =========================================================================================
3.17/0.82	c types(t): F = full restart, N = normal restart
3.17/0.82	c types(t): S = simplification begin/end, E = solution found
3.17/0.82	c restart types(rt): st = static, dy = dynamic
3.17/0.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.82	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
3.17/0.82	c Decided on static restart strategy
3.17/0.82	c  N st     8      4919       150      3195         0      4697     15975    143586   no data   no data
3.17/0.82	c  N st    10     11302       150      3195         0      4343     15975    103136   no data   no data
3.17/0.82	c  N st    11     17047       150      3195         0      9772     15975    264956   no data   no data
3.57/0.99	c  F st    12     25000       150      3195         0     12005     15975    335245   no data   no data
3.57/0.99	c  N st    12     25000       150      3195         0     12005     15975    335245   no data   no data
4.77/1.20	c Decided on static restart strategy
4.77/1.20	c  N st    18     30000       150      3195         0     10323     15975    266986   no data   no data
4.77/1.20	c  S st    18     30000       150      3195         0     10323     15975    266986   no data   no data
4.77/1.23	c  S st    18     30500       150      3195         0     10818     15975    281204   no data   no data
4.77/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.77/1.24	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.77/1.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.77/1.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.43	c lits-rem:       241  cl-subs:     1173  v-elim:      0  v-fix:    0  time:  0.18 s
5.57/1.47	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.57/1.47	c calculated reachability. Time: 0.00
5.57/1.47	c  N st    18     30500       150      3195         0      9645     15975    240992   no data   no data
7.17/1.82	c  N st    20     37612       150      3195         0      8884     15975    199462   no data   no data
8.37/2.15	c  N st    21     44011       150      3195         0     14985     15975    385704   no data   no data
8.76/2.26	c  S st    22     45750       150      3195         0     16647     15975    436142   no data   no data
9.16/2.31	c  S st    22     46256       150      3195         0      8615     15975    170570   no data   no data
9.16/2.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
9.16/2.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.34	c lits-rem:        20  cl-subs:      135  v-elim:      0  v-fix:    0  time:  0.02 s
9.16/2.34	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.16/2.35	c vivif2 --  cl tried     8480 cl shrink        0 lits rem          0 time: 0.00
9.16/2.38	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.16/2.38	c calculated reachability. Time: 0.00
9.16/2.38	c  N st    22     46256       150      3195         0      8480     15975    166046   no data   no data
12.36/3.13	c  N st    23     60653       150      3195         0     12658     15975    275393   no data   no data
14.36/3.66	c  N st    24     69389       150      3195         0     10524     15975    195258   no data   no data
14.36/3.66	c  S st    24     69389       150      3195         0     10524     15975    195258   no data   no data
14.36/3.69	c  S st    24     69892       150      3195         0     11019     15975    210181   no data   no data
14.36/3.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.76/3.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.76/3.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.75	c lits-rem:        42  cl-subs:      239  v-elim:      0  v-fix:    0  time:  0.04 s
14.76/3.75	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.76/3.75	c vivif2 --  cl tried    10780 cl shrink        0 lits rem          0 time: 0.00
14.76/3.80	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
14.76/3.80	c calculated reachability. Time: 0.00
14.76/3.80	c  N st    24     69892       150      3195         0     10780     15975    202320   no data   no data
19.16/4.85	c  F st    25     87500       150      3195         0     16082     15975    357274   no data   no data
19.16/4.85	c  N st    25     87500       150      3195         0     16082     15975    357274   no data   no data
20.75/5.20	c Decided on static restart strategy
21.55/5.42	c  N st    32     95536       150      3195         0     23747     15975    584635   no data   no data
23.96/6.06	c  N st    34    104838       150      3195         0     20209     15975    461092   no data   no data
23.96/6.06	c  S st    34    104838       150      3195         0     20209     15975    461092   no data   no data
24.37/6.11	c  S st    34    105341       150      3195         0     20694     15975    475006   no data   no data
24.37/6.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.37/6.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.37/6.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.37/6.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.37/6.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.37/6.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.37/6.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.37/6.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
24.37/6.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.94/6.59	c lits-rem:       321  cl-subs:     1490  v-elim:      0  v-fix:    0  time:  0.46 s
25.94/6.59	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
26.34/6.60	c vivif2 --  cl tried    19204 cl shrink        0 lits rem          0 time: 0.01
26.34/6.68	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
26.34/6.68	c calculated reachability. Time: 0.00
26.34/6.68	c  N st    34    105341       150      3195         0     19204     15975    429330   no data   no data
29.54/7.45	c  N st    35    114939       150      3195         0     15067     15975    300494   no data   no data
34.73/8.71	c  N st    36    129336       150      3195         0     14524     15975    258195   no data   no data
41.54/10.44	c  N st    37    150931       150      3195         0     19741     15975    392904   no data   no data
43.52/10.97	c  S st    38    158011       150      3195         0     26452     15975    588049   no data   no data
43.92/11.03	c  S st    38    158513       150      3195         0     26942     15975    602189   no data   no data
43.92/11.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.92/11.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
43.92/11.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.92/11.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.92/11.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.92/11.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
43.92/11.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.92/11.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.92/11.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.51/11.95	c lits-rem:       649  cl-subs:     2046  v-elim:      0  v-fix:    0  time:  0.88 s
47.51/11.95	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
47.51/11.96	c vivif2 --  cl tried    24896 cl shrink        0 lits rem          0 time: 0.01
47.91/12.05	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
47.91/12.05	c calculated reachability. Time: 0.00
47.91/12.05	c  N st    38    158513       150      3195         0     24896     15975    539567   no data   no data
64.69/16.25	c  N st    39    207101       150      3195         0     19833     15975    347411   no data   no data
77.10/19.35	c  N st    40    237771       150      3195         0     29815     15975    649256   no data   no data
77.10/19.35	c  S st    40    237771       150      3195         0     29815     15975    649256   no data   no data
77.48/19.41	c  S st    40    238273       150      3195         0     30306     15975    663394   no data   no data
77.48/19.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.48/19.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.48/19.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.48/19.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.48/19.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.48/19.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
77.48/19.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.48/19.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.48/19.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.26/20.67	c lits-rem:       821  cl-subs:     2254  v-elim:      0  v-fix:    0  time:  1.22 s
82.26/20.67	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
82.26/20.68	c vivif2 --  cl tried    28052 cl shrink        0 lits rem          0 time: 0.01
83.07/20.80	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
83.07/20.80	c calculated reachability. Time: 0.00
83.07/20.80	c  N st    40    238273       150      3195         0     28052     15975    588521   no data   no data
109.83/27.52	c  F st    41    306252       150      3195         0     30223     15975    605783   no data   no data
109.83/27.52	c  N st    41    306252       150      3195         0     30223     15975    605783   no data   no data
111.84/28.00	c Decided on static restart strategy
121.04/30.39	c  N st    51    334559       150      3195         0     34361     15975    706739   no data   no data
131.41/32.90	c  N st    53    357410       150      3195         0     32293     15975    613323   no data   no data
131.41/32.90	c  S st    53    357410       150      3195         0     32293     15975    613323   no data   no data
131.41/32.99	c  S st    53    357912       150      3195         0     32789     15975    628308   no data   no data
131.41/32.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
131.80/33.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
131.80/33.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131.80/33.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
131.80/33.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.80/33.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
131.80/33.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
131.80/33.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
131.80/33.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.60/33.75	c lits-rem:       583  cl-subs:     1524  v-elim:      0  v-fix:    0  time:  0.72 s
134.60/33.75	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
134.60/33.75	c vivif2 --  cl tried    31265 cl shrink        0 lits rem          0 time: 0.01
135.00/33.89	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
135.00/33.90	c calculated reachability. Time: 0.00
135.00/33.90	c  N st    53    357912       150      3195         0     31265     15975    581651   no data   no data
149.37/37.43	c  N st    54    390304       150      3195         0     37308     15975    751720   no data   no data
175.34/43.95	c  N st    55    438893       150      3195         0     31183     15975    544511   no data   no data
208.92/52.36	c  N st    56    511776       150      3195         0     44343     15975    912397   no data   no data
222.48/55.70	c  N st    57    536873       150      3195         0     38768     15975    712518   no data   no data
222.48/55.70	c  S st    57    536873       150      3195         0     38768     15975    712518   no data   no data
222.88/55.80	c  S st    57    537375       150      3195         0     39261     15975    727030   no data   no data
222.88/55.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
222.88/55.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
222.88/55.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
222.88/55.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
222.88/55.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
222.88/55.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
222.88/55.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
222.88/55.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
222.88/55.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
226.88/56.83	c lits-rem:       475  cl-subs:     1712  v-elim:      0  v-fix:    0  time:  0.99 s
226.88/56.83	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
226.88/56.84	c vivif2 --  cl tried    37549 cl shrink        0 lits rem          0 time: 0.01
227.67/57.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.18
227.67/57.02	c calculated reachability. Time: 0.00
227.67/57.02	c  N st    57    537375       150      3195         0     37549     15975    673129   no data   no data
322.35/80.80	c  N st    58    701361       150      3195         0     65671     15975   1489071   no data   no data
391.05/97.99	c  N st    59    806063       150      3195         0     59885     15975   1243741   no data   no data
391.05/97.99	c  S st    59    806063       150      3195         0     59885     15975   1243741   no data   no data
391.85/98.16	c  S st    59    806565       150      3195         0     60378     15975   1258245   no data   no data
391.85/98.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
391.85/98.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
391.85/98.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
391.85/98.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
391.85/98.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
391.85/98.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
391.85/98.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
392.25/98.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
392.25/98.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
418.62/104.87	c lits-rem:      1229  cl-subs:     4904  v-elim:      0  v-fix:    0  time:  6.63 s
418.62/104.87	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
418.62/104.88	c vivif2 --  cl tried    55474 cl shrink        0 lits rem          0 time: 0.01
419.84/105.17	c asymm  cl-useful: 0/2899/3195 lits-rem:0 time: 0.29
419.84/105.18	c calculated reachability. Time: 0.00
419.84/105.18	c  N st    59    806565       150      3195         0     55474     15975   1109631   no data   no data
600.38/150.32	c  F st    60   1071875       150      3195         0     70821     15975   1479923   no data   no data
600.38/150.32	c  N st    60   1071875       150      3195         0     70821     15975   1479923   no data   no data
604.77/151.49	c Decided on static restart strategy
621.96/155.71	c  N st    70   1100182       150      3195         0     55395     15975    985331   no data   no data
650.70/162.97	c  N st    72   1136177       150      3195         0     46026     15975    670635   no data   no data
673.08/168.55	c  N st    73   1168569       150      3195         0     76784     15975   1603277   no data   no data
715.82/179.24	c  N st    74   1209847       150      3195         0     71337     15975   1389212   no data   no data
715.82/179.24	c  S st    74   1209847       150      3195         0     71337     15975   1389212   no data   no data
717.02/179.59	c  S st    74   1210354       150      3195         0     71831     15975   1404112   no data   no data
717.42/179.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
717.42/179.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.06
717.42/179.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
717.42/179.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
717.42/179.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
717.42/179.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
717.42/179.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
717.42/179.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
717.82/179.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
784.13/196.34	c lits-rem:      1147  cl-subs:     5278  v-elim:      0  v-fix:    0  time: 16.60 s
784.13/196.34	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
784.13/196.36	c vivif2 --  cl tried    66553 cl shrink        0 lits rem          0 time: 0.02
786.12/196.81	c asymm  cl-useful: 0/2397/3195 lits-rem:0 time: 0.45
786.12/196.81	c calculated reachability. Time: 0.00
786.12/196.81	c  N st    74   1210354       150      3195         0     66553     15975   1251065   no data   no data
843.64/211.21	c  N st    75   1283236       150      3195         0     89993     15975   1955429   no data   no data
948.69/237.59	c  N st    76   1392559       150      3195         0     51685     15975    746185   no data   no data
1094.10/273.97	c  N st    77   1556543       150      3195         0     56241     15975    828007   no data   no data
1227.53/307.40	c  N st    78   1710355       150      3195         0     96300     15975   1981318   no data   no data
1227.53/307.40	c  S st    78   1710355       150      3195         0     96300     15975   1981318   no data   no data
1229.12/307.71	c  S st    78   1710858       150      3195         0     96797     15975   1996362   no data   no data
1229.12/307.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1229.12/307.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1229.12/307.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1229.12/307.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1229.12/307.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1229.12/307.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1229.12/307.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1229.12/307.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1229.52/307.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1356.15/339.52	c lits-rem:      2299  cl-subs:    10429  v-elim:      0  v-fix:    0  time: 31.68 s
1356.15/339.52	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1356.15/339.55	c vivif2 --  cl tried    86368 cl shrink        0 lits rem          0 time: 0.03
1356.95/339.79	c asymm  cl-useful: 0/798/3195 lits-rem:0 time: 0.23
1356.95/339.79	c calculated reachability. Time: 0.00
1356.95/339.79	c  N st    78   1710858       150      3195         0     86368     15975   1699121   no data   no data
1730.05/433.14	c  N st    79   2079823       150      3195         0     98105     15975   1960483   no data   no data
1851.49/463.50	c  N st    80   2210860       150      3195         0    102360     15975   2111404   no data   no data
1851.49/463.50	c  S st    80   2210860       150      3195         0    102360     15975   2111404   no data   no data
1852.31/463.78	c  S st    80   2211361       150      3195         0    102852     15975   2126327   no data   no data
1852.31/463.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1852.68/463.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1852.68/463.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1852.68/463.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1852.68/463.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1852.68/463.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1852.68/463.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1852.68/463.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1853.08/463.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1949.35/488.04	c lits-rem:      2657  cl-subs:     8581  v-elim:      0  v-fix:    0  time: 24.11 s
1949.35/488.04	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1949.35/488.07	c vivif2 --  cl tried    94271 cl shrink        0 lits rem          0 time: 0.03
1951.35/488.56	c asymm  cl-useful: 0/1745/3195 lits-rem:0 time: 0.49
1951.35/488.57	c calculated reachability. Time: 0.00
1951.35/488.57	c  N st    80   2211361       150      3195         0     94271     15975   1852140   no data   no data
2497.83/625.38	c  N st    81   2711361       150      3195         0    116901     15975   2403180   no data   no data
2497.83/625.38	c  S st    81   2711361       150      3195         0    116901     15975   2403180   no data   no data
2499.42/625.78	c  S st    81   2711862       150      3195         0    117390     15975   2418053   no data   no data
2499.42/625.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2499.82/625.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2499.82/625.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2499.82/625.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2499.82/625.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2499.82/625.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2499.82/625.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2499.82/625.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2500.22/625.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2635.24/659.74	c lits-rem:      2477  cl-subs:    11270  v-elim:      0  v-fix:    0  time: 33.79 s
2635.24/659.74	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2635.24/659.77	c vivif2 --  cl tried   106120 cl shrink        0 lits rem          0 time: 0.03
2636.84/660.15	c asymm  cl-useful: 0/1404/3195 lits-rem:0 time: 0.38
2636.84/660.15	c calculated reachability. Time: 0.00
2636.84/660.15	c  N st    81   2711862       150      3195         0    106120     15975   2085587   no data   no data
3294.76/824.84	c  N st    82   3211862       150      3195         0     83453     15975   1249764   no data   no data
3294.76/824.84	c  S st    82   3211862       150      3195         0     83453     15975   1249764   no data   no data
3295.56/825.07	c  S st    82   3212365       150      3195         0     83940     15975   1264874   no data   no data
3295.56/825.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3295.96/825.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3295.96/825.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3295.96/825.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3295.96/825.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3295.96/825.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3295.96/825.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3295.96/825.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3295.96/825.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3304.74/827.32	c lits-rem:       538  cl-subs:     1956  v-elim:      0  v-fix:    0  time:  2.15 s
3304.74/827.32	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3304.74/827.33	c vivif2 --  cl tried    81984 cl shrink        0 lits rem          0 time: 0.02
3305.94/827.66	c asymm  cl-useful: 0/2030/3195 lits-rem:0 time: 0.32
3305.94/827.66	c calculated reachability. Time: 0.00
3305.94/827.66	c  N st    82   3212365       150      3195         0     81984     15975   1203123   no data   no data
3959.87/991.31	c  N st    83   3712366       150      3195         0     92325     15975   1414356   no data   no data
3959.87/991.31	c  S st    83   3712366       150      3195         0     92325     15975   1414356   no data   no data
3960.67/991.59	c  S st    83   3712872       150      3195         0     92815     15975   1429077   no data   no data
3960.67/991.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3961.08/991.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3961.08/991.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3961.08/991.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3961.08/991.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3961.08/991.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3961.08/991.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3961.08/991.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3961.49/991.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3977.04/995.66	c lits-rem:       753  cl-subs:     3141  v-elim:      0  v-fix:    0  time:  3.95 s
3977.04/995.66	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3977.04/995.68	c vivif2 --  cl tried    89674 cl shrink        0 lits rem          0 time: 0.02
3978.24/995.94	c asymm  cl-useful: 0/1165/3195 lits-rem:0 time: 0.25
3978.24/995.94	c calculated reachability. Time: 0.00
3978.24/995.94	c  N st    83   3712872       150      3195         0     89674     15975   1335023   no data   no data
4026.99/1008.15	c  F st    84   3751562       150      3195         0    126157     15975   2465549   no data   no data
4026.99/1008.15	c  N st    84   3751562       150      3195         0    126157     15975   2465549   no data   no data
4035.78/1010.38	c Decided on static restart strategy
4079.31/1021.29	c  N st    94   3779868       150      3195         0    152978     15975   3287116   no data   no data
4134.83/1035.17	c  N st    96   3815861       150      3195         0    107157     15975   1846081   no data   no data
4184.78/1047.61	c  N st    97   3848253       150      3195         0    137794     15975   2799795   no data   no data
4259.47/1066.33	c  N st    98   3896841       150      3195         0    102639     15975   1690485   no data   no data
4384.90/1097.73	c  N st    99   3969723       150      3195         0     89344     15975   1236553   no data   no data
4541.51/1136.98	c  N st   100   4079047       150      3195         0    109297     15975   1839699   no data   no data
4723.25/1182.47	c  N st   101   4212872       150      3195         0    151566     15975   3103266   no data   no data
4723.25/1182.47	c  S st   101   4212872       150      3195         0    151566     15975   3103266   no data   no data
4725.25/1182.96	c  S st   101   4213374       150      3195         0    152055     15975   3117959   no data   no data
4725.25/1182.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4725.66/1183.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4725.66/1183.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4725.66/1183.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4725.66/1183.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4725.66/1183.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4725.66/1183.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4726.07/1183.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4726.07/1183.19	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-3174093-1304090944/watcher-3174093-1304090944 -o /tmp/evaluation-result-3174093-1304090944/solver-3174093-1304090944 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174093-1304090944.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: 6.95 7.84 8.00 2/173 792
/proc/meminfo: memFree=24399344/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 520692130 52441088 347 33554432000 4194304 4627427 140735209349072 18446744073709551615 212687731697 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 12803 347 299 106 0 7774 0
[pid=792/tid=796] ppid=790 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 520692130 52441088 348 33554432000 4194304 4627427 140735209349072 18446744073709551615 47070549436338 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 520692130 52441088 348 33554432000 4194304 4627427 140735209349072 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=792/tid=798] ppid=790 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 520692130 52441088 348 33554432000 4194304 4627427 140735209349072 18446744073709551615 47070549436338 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.639703 s]
/proc/loadavg: 6.95 7.84 8.00 2/173 792
/proc/meminfo: memFree=24399344/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=285536 CPUtime=2.52 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 5328 0 0 0 252 0 0 0 18 0 4 0 520692130 292388864 3011 33554432000 4194304 4627427 140735209349072 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 71384 3011 384 106 0 66355 0
[pid=792/tid=796] ppid=790 vsize=285536 CPUtime=0.63 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 1360 0 0 0 63 0 0 0 18 0 4 0 520692130 292388864 3011 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=285536 CPUtime=0.62 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 1237 0 0 0 62 0 0 0 18 0 4 0 520692130 292388864 3011 33554432000 4194304 4627427 140735209349072 18446744073709551615 212687718490 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=285536 CPUtime=0.63 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 1081 0 0 0 63 0 0 0 18 0 4 0 520692130 292388864 3011 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 285536

[startup+0.700377 s]
/proc/loadavg: 6.95 7.84 8.00 2/173 792
/proc/meminfo: memFree=24399344/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=286192 CPUtime=2.77 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 6036 0 0 0 277 0 0 0 18 0 4 0 520692130 293060608 2689 33554432000 4194304 4627427 140735209349072 18446744073709551615 4321720 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 71548 2689 384 106 0 66519 0
[pid=792/tid=796] ppid=790 vsize=286192 CPUtime=0.69 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 1413 0 0 0 69 0 0 0 18 0 4 0 520692130 293060608 2689 33554432000 4194304 4627427 140735209349072 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=286192 CPUtime=0.68 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 1465 0 0 0 68 0 0 0 18 0 4 0 520692130 293060608 2689 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=286192 CPUtime=0.69 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 1285 0 0 0 69 0 0 0 18 0 4 0 520692130 293060608 2689 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286192

[startup+0.800358 s]
/proc/loadavg: 6.95 7.84 8.00 2/173 792
/proc/meminfo: memFree=24399344/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=286344 CPUtime=3.17 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 6366 0 0 0 317 0 0 0 18 0 4 0 520692130 293216256 3019 33554432000 4194304 4627427 140735209349072 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 71586 3019 384 106 0 66557 0
[pid=792/tid=796] ppid=790 vsize=286344 CPUtime=0.79 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 1494 0 0 0 79 0 0 0 18 0 4 0 520692130 293216256 3019 33554432000 4194304 4627427 140735209349072 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=286344 CPUtime=0.78 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 1557 0 0 0 78 0 0 0 19 0 4 0 520692130 293216256 3019 33554432000 4194304 4627427 140735209349072 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=286344 CPUtime=0.79 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 1361 0 0 0 79 0 0 0 19 0 4 0 520692130 293216256 3019 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 286344

[startup+0.90034 s]
/proc/loadavg: 6.95 7.84 8.00 2/173 792
/proc/meminfo: memFree=24399344/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=286344 CPUtime=3.57 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 6678 0 0 0 357 0 0 0 19 0 4 0 520692130 293216256 3331 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 71586 3331 384 106 0 66557 0
[pid=792/tid=796] ppid=790 vsize=286344 CPUtime=0.89 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 1557 0 0 0 89 0 0 0 19 0 4 0 520692130 293216256 3331 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=286344 CPUtime=0.88 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 1635 0 0 0 88 0 0 0 19 0 4 0 520692130 293216256 3331 33554432000 4194304 4627427 140735209349072 18446744073709551615 4322219 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=286344 CPUtime=0.89 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 1450 0 0 0 89 0 0 0 19 0 4 0 520692130 293216256 3331 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 286344

[startup+1.50023 s]
/proc/loadavg: 6.95 7.84 8.00 2/173 792
/proc/meminfo: memFree=24399344/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=294284 CPUtime=5.97 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 12789 0 0 0 596 1 0 0 20 0 4 0 520692130 301346816 6405 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 73571 6405 388 106 0 68542 0
[pid=792/tid=796] ppid=790 vsize=294284 CPUtime=1.49 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 3725 0 0 0 149 0 0 0 20 0 4 0 520692130 301346816 6405 33554432000 4194304 4627427 140735209349072 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=294284 CPUtime=1.48 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 2524 0 0 0 148 0 0 0 20 0 4 0 520692130 301346816 6405 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=294284 CPUtime=1.49 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 2356 0 0 0 149 0 0 0 20 0 4 0 520692130 301346816 6405 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 294284

[startup+3.10094 s]
/proc/loadavg: 6.95 7.84 8.00 9/184 833
/proc/meminfo: memFree=24328436/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=294788 CPUtime=12.36 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 22317 0 0 0 1233 3 0 0 25 0 4 0 520692130 301862912 11225 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 73697 11225 388 106 0 68668 0
[pid=792/tid=796] ppid=790 vsize=294788 CPUtime=3.09 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 5127 0 0 0 308 1 0 0 25 0 4 0 520692130 301862912 11225 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=294788 CPUtime=3.07 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 5785 0 0 0 307 0 0 0 25 0 4 0 520692130 301862912 11225 33554432000 4194304 4627427 140735209349072 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=294788 CPUtime=3.08 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 5664 0 0 0 308 0 0 0 25 0 4 0 520692130 301862912 11225 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 294788

[startup+6.30036 s]
/proc/loadavg: 7.03 7.84 8.00 9/184 833
/proc/meminfo: memFree=24284496/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=302776 CPUtime=25.14 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 35842 0 0 0 2508 6 0 0 25 0 4 0 520692130 310042624 16461 33554432000 4194304 4627427 140735209349072 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 75694 16461 388 106 0 70665 0
[pid=792/tid=796] ppid=790 vsize=302776 CPUtime=6.28 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 9069 0 0 0 627 1 0 0 25 0 4 0 520692130 310042624 16461 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=302776 CPUtime=6.25 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 9184 0 0 0 624 1 0 0 25 0 4 0 520692130 310042624 16461 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=302776 CPUtime=6.29 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 7987 0 0 0 628 1 0 0 25 0 4 0 520692130 310042624 16461 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 302776

[startup+12.7062 s]
/proc/loadavg: 7.11 7.85 8.00 9/184 843
/proc/meminfo: memFree=24224608/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=310152 CPUtime=50.73 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 54857 0 0 0 5063 10 0 0 25 0 4 0 520692130 317595648 21721 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 77538 21721 388 106 0 72509 0
[pid=792/tid=796] ppid=790 vsize=310152 CPUtime=12.69 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 14162 0 0 0 1267 2 0 0 25 0 4 0 520692130 317595648 21721 33554432000 4194304 4627427 140735209349072 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=310152 CPUtime=12.62 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 13478 0 0 0 1260 2 0 0 25 0 4 0 520692130 317595648 21721 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=310152 CPUtime=12.69 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 13322 0 0 0 1267 2 0 0 25 0 4 0 520692130 317595648 21721 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 310152

[startup+25.5009 s]
/proc/loadavg: 7.38 7.87 8.01 9/184 843
/proc/meminfo: memFree=24177888/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=326760 CPUtime=101.85 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 85612 0 0 0 10167 18 0 0 25 0 4 0 520692130 334602240 28489 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 81690 28489 388 106 0 76661 0
[pid=792/tid=796] ppid=790 vsize=326760 CPUtime=25.49 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 22228 0 0 0 2545 4 0 0 25 0 4 0 520692130 334602240 28489 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=326760 CPUtime=25.36 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 21780 0 0 0 2531 5 0 0 25 0 4 0 520692130 334602240 28489 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=326760 CPUtime=25.49 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 20636 0 0 0 2544 5 0 0 25 0 4 0 520692130 334602240 28489 33554432000 4194304 4627427 140735209349072 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 326760

[startup+51.1002 s]
/proc/loadavg: 7.59 7.88 8.01 9/184 844
/proc/meminfo: memFree=24091036/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=328404 CPUtime=204.11 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 126706 0 0 0 20382 29 0 0 25 0 4 0 520692130 336285696 40979 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 82101 40979 388 106 0 77072 0
[pid=792/tid=796] ppid=790 vsize=328404 CPUtime=51.09 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 34843 0 0 0 5103 6 0 0 25 0 4 0 520692130 336285696 40980 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=328404 CPUtime=50.81 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 32638 0 0 0 5073 8 0 0 25 0 4 0 520692130 336285696 40980 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=328404 CPUtime=51.09 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 31135 0 0 0 5101 8 0 0 25 0 4 0 520692130 336285696 40980 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 328404

[startup+102.301 s]
/proc/loadavg: 7.91 7.93 8.01 9/184 845
/proc/meminfo: memFree=24009800/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=399672 CPUtime=408.63 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 195920 0 0 0 40811 52 0 0 25 0 4 0 520692130 409264128 48062 33554432000 4194304 4627427 140735209349072 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 99918 48062 388 106 0 94889 0
[pid=792/tid=796] ppid=790 vsize=399672 CPUtime=102.29 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 53358 0 0 0 10216 13 0 0 25 0 4 0 520692130 409264128 48062 33554432000 4194304 4627427 140735209349072 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=399672 CPUtime=101.74 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 50354 0 0 0 10160 14 0 0 25 0 4 0 520692130 409264128 48062 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=399672 CPUtime=102.28 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 48668 0 0 0 10215 13 0 0 25 0 4 0 520692130 409264128 48062 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 399672

[startup+162.307 s]

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

[pid=792] ppid=790 vsize=670328 CPUtime=2805.42 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 575940 0 0 0 280338 204 0 0 25 0 4 0 520692130 686415872 118098 33554432000 4194304 4627427 140735209349072 18446744073709551615 4332712 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 167582 118098 389 106 0 162553 0
[pid=792/tid=796] ppid=790 vsize=670328 CPUtime=702.31 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 157388 0 0 0 70174 57 0 0 25 0 4 0 520692130 686415872 118098 33554432000 4194304 4627427 140735209349072 18446744073709551615 4332206 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=670328 CPUtime=698.47 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 158050 0 0 0 69794 53 0 0 25 0 4 0 520692130 686415872 118098 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=670328 CPUtime=702.32 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 137254 0 0 0 70182 50 0 0 25 0 4 0 520692130 686415872 118098 33554432000 4194304 4627427 140735209349072 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 670328

[startup+762.301 s]
/proc/loadavg: 8.14 8.11 8.04 9/184 869
/proc/meminfo: memFree=23404608/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=679432 CPUtime=3045.1 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 602496 0 0 0 304292 218 0 0 25 0 4 0 520692130 695738368 127582 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 169858 127582 389 106 0 164829 0
[pid=792/tid=796] ppid=790 vsize=679432 CPUtime=762.3 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 170381 0 0 0 76169 61 0 0 25 0 4 0 520692130 695738368 127582 33554432000 4194304 4627427 140735209349072 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=679432 CPUtime=758.14 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 166532 0 0 0 75755 59 0 0 25 0 4 0 520692130 695738368 127582 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=679432 CPUtime=762.31 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 140627 0 0 0 76179 52 0 0 25 0 4 0 520692130 695738368 127582 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 679432

[startup+822.307 s]
/proc/loadavg: 8.09 8.10 8.04 9/184 870
/proc/meminfo: memFree=23416248/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=830924 CPUtime=3284.8 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 632674 0 0 0 328244 236 0 0 25 0 4 0 520692130 850866176 128506 33554432000 4194304 4627427 140735209349072 18446744073709551615 4324104 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 207731 128506 389 106 0 202702 0
[pid=792/tid=796] ppid=790 vsize=830924 CPUtime=822.32 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 175176 0 0 0 82168 64 0 0 25 0 4 0 520692130 850866176 128506 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=830924 CPUtime=817.82 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 174637 0 0 0 81718 64 0 0 25 0 4 0 520692130 850866176 128506 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=830924 CPUtime=822.32 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 150040 0 0 0 82175 57 0 0 25 0 4 0 520692130 850866176 128506 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.8
Current children cumulated vsize (KiB) 830924

[startup+882.301 s]
/proc/loadavg: 8.07 8.10 8.04 9/184 872
/proc/meminfo: memFree=23426780/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=735796 CPUtime=3524.45 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 664880 0 0 0 352196 249 0 0 25 0 4 0 520692130 753455104 126535 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 183949 126535 389 106 0 178920 0
[pid=792/tid=796] ppid=790 vsize=735796 CPUtime=882.31 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 182886 0 0 0 88163 68 0 0 25 0 4 0 520692130 753455104 126535 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=735796 CPUtime=877.5 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 183847 0 0 0 87683 67 0 0 25 0 4 0 520692130 753455104 126535 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=735796 CPUtime=882.31 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 155918 0 0 0 88172 59 0 0 25 0 4 0 520692130 753455104 126535 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 735796

[startup+942.301 s]
/proc/loadavg: 8.12 8.11 8.05 9/184 873
/proc/meminfo: memFree=23409524/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=746392 CPUtime=3764.13 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 699034 0 0 0 376149 264 0 0 25 0 4 0 520692130 764305408 129417 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 186598 129417 389 106 0 181569 0
[pid=792/tid=796] ppid=790 vsize=746392 CPUtime=942.31 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 192638 0 0 0 94159 72 0 0 25 0 4 0 520692130 764305408 129417 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=746392 CPUtime=937.16 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 192441 0 0 0 93645 71 0 0 25 0 4 0 520692130 764305408 129417 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=746392 CPUtime=942.31 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 162898 0 0 0 94169 62 0 0 25 0 4 0 520692130 764305408 129417 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 746392

[startup+1002.3 s]
/proc/loadavg: 8.10 8.10 8.05 9/184 875
/proc/meminfo: memFree=23378132/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=695108 CPUtime=4003.81 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 729579 0 0 0 400100 281 0 0 25 0 4 0 520692130 711790592 131445 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 173777 131445 388 106 0 168748 0
[pid=792/tid=796] ppid=790 vsize=695108 CPUtime=1002.32 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 200320 0 0 0 100158 74 0 0 25 0 4 0 520692130 711790592 131445 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=695108 CPUtime=996.84 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 200169 0 0 0 99608 76 0 0 25 0 4 0 520692130 711790592 131445 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=695108 CPUtime=1002.31 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 170452 0 0 0 100164 67 0 0 25 0 4 0 520692130 711790592 131445 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 695108

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 8.05 9/184 878
/proc/meminfo: memFree=23365836/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=752292 CPUtime=4243.49 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 755861 0 0 0 424056 293 0 0 25 0 4 0 520692130 770347008 129050 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 188073 129050 388 106 0 183044 0
[pid=792/tid=796] ppid=790 vsize=752292 CPUtime=1062.32 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 206847 0 0 0 106155 77 0 0 25 0 4 0 520692130 770347008 129050 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=752292 CPUtime=1056.52 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 208246 0 0 0 105572 80 0 0 25 0 4 0 520692130 770347008 129050 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=752292 CPUtime=1062.32 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 175012 0 0 0 106162 70 0 0 25 0 4 0 520692130 770347008 129050 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 752292

[startup+1122.3 s]
/proc/loadavg: 8.07 8.09 8.05 9/184 879
/proc/meminfo: memFree=23316952/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=867520 CPUtime=4483.17 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 784264 0 0 0 448011 306 0 0 25 0 4 0 520692130 888340480 140140 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 216880 140140 388 106 0 211851 0
[pid=792/tid=796] ppid=790 vsize=867520 CPUtime=1122.31 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 215088 0 0 0 112151 80 0 0 25 0 4 0 520692130 888340480 140140 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=867520 CPUtime=1116.19 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 214931 0 0 0 111536 83 0 0 25 0 4 0 520692130 888340480 140140 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=867520 CPUtime=1122.31 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 182420 0 0 0 112159 72 0 0 25 0 4 0 520692130 888340480 140140 33554432000 4194304 4627427 140735209349072 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 867520

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 8.05 9/184 881
/proc/meminfo: memFree=23310728/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=696108 CPUtime=4722.85 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 813962 0 0 0 471961 324 0 0 25 0 4 0 520692130 712814592 136324 33554432000 4194304 4627427 140735209349072 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 174027 136324 388 106 0 168998 0
[pid=792/tid=796] ppid=790 vsize=696108 CPUtime=1182.32 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 223504 0 0 0 118146 86 0 0 25 0 4 0 520692130 712814592 136324 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=696108 CPUtime=1175.87 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 222986 0 0 0 117500 87 0 0 25 0 4 0 520692130 712814592 136324 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=696108 CPUtime=1182.32 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 187620 0 0 0 118157 75 0 0 25 0 4 0 520692130 712814592 136324 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 696108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.11 8.05 9/184 881
/proc/meminfo: memFree=23306756/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=760216 CPUtime=4800.38 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 820470 0 0 0 479712 326 0 0 25 0 4 0 520692130 778461184 134167 33554432000 4194304 4627427 140735209349072 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 190054 134167 388 106 0 185025 0
[pid=792/tid=796] ppid=790 vsize=760216 CPUtime=1201.74 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 226102 0 0 0 120087 87 0 0 25 0 4 0 520692130 778461184 134167 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=760216 CPUtime=1195.17 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 225556 0 0 0 119429 88 0 0 25 0 4 0 520692130 778461184 134167 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=760216 CPUtime=1201.73 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 187723 0 0 0 120098 75 0 0 25 0 4 0 520692130 778461184 134167 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 760216

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

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

[startup+1201.7 s]
/proc/loadavg: 8.18 8.11 8.05 9/184 881
/proc/meminfo: memFree=23306756/32951124 swapFree=67111524/67111528
[pid=792] ppid=790 vsize=760216 CPUtime=4800.38 cores=1,3,5,7
/proc/792/stat : 792 (strangenight2-m) R 790 792 32720 0 -1 4202496 820470 0 0 0 479712 326 0 0 25 0 4 0 520692130 778461184 134167 33554432000 4194304 4627427 140735209349072 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 190054 134167 388 106 0 185025 0
[pid=792/tid=796] ppid=790 vsize=760216 CPUtime=1201.74 cores=1,3,5,7
/proc/792/task/796/stat : 796 (strangenight2-m) R 790 792 32720 0 -1 4202560 226102 0 0 0 120087 87 0 0 25 0 4 0 520692130 778461184 134167 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=792/tid=797] ppid=790 vsize=760216 CPUtime=1195.17 cores=1,3,5,7
/proc/792/task/797/stat : 797 (strangenight2-m) R 790 792 32720 0 -1 4202560 225556 0 0 0 119429 88 0 0 25 0 4 0 520692130 778461184 134167 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=792/tid=798] ppid=790 vsize=760216 CPUtime=1201.73 cores=1,3,5,7
/proc/792/task/798/stat : 798 (strangenight2-m) R 790 792 32720 0 -1 4202560 187723 0 0 0 120098 75 0 0 25 0 4 0 520692130 778461184 134167 33554432000 4194304 4627427 140735209349072 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 760216

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.44
CPU user time (s): 4797.15
CPU system time (s): 3.2885
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 913728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.15
system time used= 3.2885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 820471
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= 482
involuntary context switches= 31618

runsolver used 1.87172 second user time and 4.70328 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 17:29:04
IDJOB=3174093
IDBENCH=82911
IDSOLVER=1586
FILE ID=node139/3174093-1304090944
RUNJOBID= node139-1304090944-777
PBS_JOBID= 13170557
Free space on /tmp= 72552 MiB

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

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

MD5SUM BENCH= ed3fd2bb20521663519b3e49797ea8b1
RANDOM SEED=727353366

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24399384 kB
Buffers:       2041800 kB
Cached:        5928812 kB
SwapCached:          4 kB
Active:         922008 kB
Inactive:      7111352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24399384 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11412 kB
Writeback:          24 kB
AnonPages:       63044 kB
Mapped:          14500 kB
Slab:           453688 kB
PageTables:       4888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185896 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= 72544 MiB
End job on node139 at 2011-04-29 17:49:08