Trace number 3366498

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.41 1203.35

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf
MD5SUM7a466863eebd6d1afeaf2ac3e2c1a1d9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.928857
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
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-3366498-1305405681.cnf'
0.00/0.01	c -- header says num vars:            500
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
3.17/0.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.83	c lits-rem:         0  cl-subs:        0  v-elim:      7  v-fix:    0  time:  0.00 s
3.17/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.83	c calculated reachability. Time: 0.00
3.17/0.83	c Calc default polars -  time:   0.00 s pos:     220 undec:      58 neg:     222
3.17/0.83	c =========================================================================================
3.17/0.83	c types(t): F = full restart, N = normal restart
3.17/0.83	c types(t): S = simplification begin/end, E = solution found
3.17/0.83	c restart types(rt): st = static, dy = dynamic
3.17/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.83	c  B st     0         0       493      2115         0         0      6377         0   no data   no data
3.17/0.83	c Decided on static restart strategy
3.17/0.83	c  N st     8      4913       493      2115         0      4838      6377    115479   no data   no data
3.17/0.83	c  N st    10     11298       493      2115         0      4471      6377     78102   no data   no data
3.17/0.83	c  N st    11     17041       493      2115         0     10090      6377    215034   no data   no data
4.40/1.13	c  F st    12     25000       493      2115         0     12416      6377    276032   no data   no data
4.40/1.13	c  N st    12     25000       493      2115         0     12416      6377    276032   no data   no data
5.16/1.33	c Decided on static restart strategy
5.16/1.33	c  N st    18     30002       493      2115         0     10688      6377    204490   no data   no data
5.16/1.33	c  S st    18     30002       493      2115         0     10688      6377    204490   no data   no data
5.16/1.36	c  S st    18     30502       493      2115         0     11187      6377    216187   no data   no data
5.16/1.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.36	c blocked clauses removed:        5 vars:      1 tried:         493 T: 0.00 s
5.16/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
5.16/1.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.42	c lits-rem:       122  cl-subs:      530  v-elim:      0  v-fix:    0  time:  0.05 s
5.56/1.43	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.01
5.56/1.43	c calculated reachability. Time: 0.00
5.56/1.43	c  N st    18     30502       492      2110         0     10648      6362    201489   no data   no data
7.16/1.81	c  N st    20     37612       492      2110         0      9892      6362    164313   no data   no data
8.38/2.19	c  N st    21     44011       492      2110         0     16161      6362    321473   no data   no data
9.14/2.31	c  S st    22     45754       492      2110         0      9123      6362    129537   no data   no data
9.14/2.34	c  S st    22     46258       492      2110         0      9626      6362    141353   no data   no data
9.14/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.14/2.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.14/2.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.14/2.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.14/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
9.14/2.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/2.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.14/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.14/2.36	c lits-rem:        23  cl-subs:       37  v-elim:      0  v-fix:    0  time:  0.01 s
9.14/2.36	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
9.14/2.36	c vivif2 --  cl tried     9589 cl shrink        0 lits rem          0 time: 0.00
9.14/2.36	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.00
9.14/2.36	c calculated reachability. Time: 0.00
9.14/2.36	c  N st    22     46258       492      2110         0      9589      6362    140433   no data   no data
12.76/3.25	c  N st    23     60655       492      2110         0     13949      6362    241688   no data   no data
15.13/3.83	c  N st    24     69387       492      2110         0     11714      6362    172101   no data   no data
15.13/3.83	c  S st    24     69387       492      2110         0     11714      6362    172101   no data   no data
15.13/3.86	c  S st    24     69888       492      2110         0     12214      6362    184109   no data   no data
15.13/3.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.13/3.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.13/3.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.13/3.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.13/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
15.13/3.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.13/3.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.13/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.89	c lits-rem:        36  cl-subs:      153  v-elim:      0  v-fix:    0  time:  0.02 s
15.13/3.90	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
15.53/3.90	c vivif2 --  cl tried    12061 cl shrink        0 lits rem          0 time: 0.00
15.53/3.90	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.01
15.53/3.90	c calculated reachability. Time: 0.00
15.53/3.90	c  N st    24     69888       492      2110         0     12061      6362    180395   no data   no data
20.32/5.12	c  F st    25     87500       492      2110         0     17627      6362    318625   no data   no data
20.32/5.12	c  N st    25     87500       492      2110         0     17627      6362    318625   no data   no data
21.54/5.50	c Decided on static restart strategy
22.71/5.76	c  N st    32     95539       492      2110         0     25536      6362    515960   no data   no data
25.51/6.43	c  N st    34    104832       492      2110         0     21843      6362    382539   no data   no data
25.51/6.43	c  S st    34    104832       492      2110         0     21843      6362    382539   no data   no data
25.51/6.48	c  S st    34    105338       492      2110         0     22349      6362    394996   no data   no data
25.51/6.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.51/6.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.51/6.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.51/6.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.51/6.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.51/6.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
25.51/6.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.51/6.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.51/6.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.63	c lits-rem:       119  cl-subs:      655  v-elim:      0  v-fix:    0  time:  0.13 s
26.34/6.63	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
26.34/6.64	c vivif2 --  cl tried    21694 cl shrink        0 lits rem          0 time: 0.00
26.34/6.65	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.01
26.34/6.65	c calculated reachability. Time: 0.00
26.34/6.65	c  N st    34    105338       492      2110         0     21694      6362    377060   no data   no data
29.50/7.46	c  N st    35    114936       492      2110         0     17361      6362    251465   no data   no data
34.28/8.68	c  N st    36    129334       492      2110         0     16760      6362    226571   no data   no data
41.87/10.52	c  N st    37    150930       492      2110         0     22181      6362    342185   no data   no data
44.25/11.15	c  S st    38    158007       492      2110         0     29116      6362    521471   no data   no data
44.65/11.22	c  S st    38    158511       492      2110         0     29619      6362    532868   no data   no data
44.65/11.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.65/11.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.65/11.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.65/11.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.65/11.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.65/11.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
44.65/11.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.65/11.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.65/11.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.25/11.60	c lits-rem:       212  cl-subs:     1467  v-elim:      0  v-fix:    0  time:  0.35 s
46.25/11.60	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
46.25/11.61	c vivif2 --  cl tried    28152 cl shrink        0 lits rem          0 time: 0.01
46.25/11.63	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.02
46.25/11.63	c calculated reachability. Time: 0.00
46.25/11.63	c  N st    38    158511       492      2110         0     28152      6362    495908   no data   no data
65.84/16.53	c  N st    39    207099       492      2110         0     22936      6362    325662   no data   no data
79.76/20.05	c  N st    40    237766       492      2110         0     33254      6362    541848   no data   no data
79.76/20.05	c  S st    40    237766       492      2110         0     33254      6362    541848   no data   no data
80.16/20.13	c  S st    40    238270       492      2110         0     33758      6362    552917   no data   no data
80.16/20.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.16/20.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.16/20.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.16/20.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.16/20.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.16/20.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
80.16/20.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.16/20.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.16/20.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.56/20.78	c lits-rem:       306  cl-subs:     2220  v-elim:      0  v-fix:    0  time:  0.61 s
82.56/20.78	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
82.56/20.79	c vivif2 --  cl tried    31538 cl shrink        0 lits rem          0 time: 0.01
82.56/20.80	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.02
82.56/20.81	c calculated reachability. Time: 0.00
82.56/20.81	c  N st    40    238270       492      2110         0     31538      6362    503833   no data   no data
114.86/28.85	c  F st    41    306251       492      2110         0     33460      6362    520938   no data   no data
114.86/28.85	c  N st    41    306251       492      2110         0     33460      6362    520938   no data   no data
117.66/29.51	c Decided on static restart strategy
128.83/32.30	c  N st    51    334562       492      2110         0     37815      6362    617129   no data   no data
141.18/35.46	c  N st    53    357405       492      2110         0     35740      6362    574719   no data   no data
141.18/35.46	c  S st    53    357405       492      2110         0     35740      6362    574719   no data   no data
141.58/35.55	c  S st    53    357915       492      2110         0     36249      6362    586872   no data   no data
141.58/35.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.58/35.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
141.58/35.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.58/35.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.58/35.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.58/35.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
141.58/35.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
141.58/35.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.58/35.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
143.18/35.90	c lits-rem:       126  cl-subs:      958  v-elim:      0  v-fix:    0  time:  0.32 s
143.18/35.90	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
143.18/35.91	c vivif2 --  cl tried    35291 cl shrink        0 lits rem          0 time: 0.01
143.18/35.93	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.02
143.18/35.93	c calculated reachability. Time: 0.00
143.18/35.93	c  N st    53    357915       492      2110         0     35291      6362    557576   no data   no data
161.14/40.43	c  N st    54    390307       492      2110         0     41466      6362    678350   no data   no data
190.25/47.74	c  N st    55    438895       492      2110         0     35146      6362    491544   no data   no data
232.93/58.44	c  N st    56    511779       492      2110         0     48785      6362    793876   no data   no data
248.50/62.37	c  N st    57    536874       492      2110         0     43011      6362    635122   no data   no data
248.50/62.37	c  S st    57    536874       492      2110         0     43011      6362    635122   no data   no data
248.90/62.48	c  S st    57    537375       492      2110         0     43511      6362    647236   no data   no data
248.90/62.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
249.30/62.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
249.30/62.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
249.30/62.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.30/62.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.30/62.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
249.30/62.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
249.30/62.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
249.30/62.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.28/63.05	c lits-rem:       340  cl-subs:     1508  v-elim:      0  v-fix:    0  time:  0.52 s
251.28/63.05	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
251.28/63.06	c vivif2 --  cl tried    42003 cl shrink        0 lits rem          0 time: 0.01
251.28/63.09	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.03
251.28/63.09	c calculated reachability. Time: 0.00
251.28/63.09	c  N st    57    537375       492      2110         0     42003      6362    608998   no data   no data
357.39/89.66	c  N st    58    701360       492      2110         0     36016      6362    373779   no data   no data
431.59/108.30	c  N st    59    806063       492      2110         0     64776      6362   1044674   no data   no data
431.59/108.30	c  S st    59    806063       492      2110         0     64776      6362   1044674   no data   no data
432.40/108.49	c  S st    59    806570       492      2110         0     65282      6362   1057048   no data   no data
432.40/108.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
432.80/108.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
432.80/108.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.80/108.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
432.80/108.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.80/108.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
432.80/108.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
432.80/108.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
432.80/108.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
446.36/111.95	c lits-rem:       580  cl-subs:     5855  v-elim:      0  v-fix:    0  time:  3.39 s
446.36/111.95	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
446.36/111.96	c vivif2 --  cl tried    59427 cl shrink        0 lits rem          0 time: 0.01
446.76/112.01	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.05
446.76/112.01	c calculated reachability. Time: 0.00
446.76/112.01	c  N st    59    806570       492      2110         0     59427      6362    924569   no data   no data
643.82/161.44	c  F st    60   1071876       492      2110         0     75691      6362   1236541   no data   no data
643.82/161.44	c  N st    60   1071876       492      2110         0     75691      6362   1236541   no data   no data
650.20/163.05	c Decided on static restart strategy
670.97/168.22	c  N st    70   1100177       492      2110         0     59398      6362    781761   no data   no data
704.05/176.58	c  N st    72   1136173       492      2110         0     49718      6362    541021   no data   no data
730.38/183.11	c  N st    73   1168566       492      2110         0     81230      6362   1278533   no data   no data
766.29/192.17	c  N st    74   1209857       492      2110         0     75546      6362   1131748   no data   no data
766.29/192.17	c  S st    74   1209857       492      2110         0     75546      6362   1131748   no data   no data
767.09/192.39	c  S st    74   1210361       492      2110         0     76050      6362   1144687   no data   no data
767.09/192.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
767.51/192.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
767.51/192.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
767.51/192.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
767.51/192.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
767.51/192.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
767.51/192.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
767.51/192.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
767.51/192.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
780.67/195.78	c lits-rem:       582  cl-subs:     5448  v-elim:      0  v-fix:    0  time:  3.30 s
780.67/195.78	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
780.67/195.80	c vivif2 --  cl tried    70602 cl shrink        0 lits rem          0 time: 0.02
781.08/195.88	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.08
781.08/195.88	c calculated reachability. Time: 0.00
781.08/195.88	c  N st    74   1210361       492      2110         0     70602      6362   1022054   no data   no data
858.43/215.29	c  N st    75   1283244       492      2110         0     95156      6362   1616618   no data   no data
970.51/243.37	c  N st    76   1392571       492      2110         0     55333      6362    599022   no data   no data
1122.10/281.37	c  N st    77   1556555       492      2110         0     60227      6362    700126   no data   no data
1272.12/318.97	c  N st    78   1710361       492      2110         0    102854      6362   1773873   no data   no data
1272.12/318.97	c  S st    78   1710361       492      2110         0    102854      6362   1773873   no data   no data
1273.68/319.32	c  S st    78   1710862       492      2110         0    103352      6362   1786134   no data   no data
1273.68/319.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1273.68/319.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1273.68/319.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1273.68/319.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1273.68/319.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1273.68/319.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
1273.68/319.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1274.08/319.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1274.08/319.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1306.00/327.47	c lits-rem:       717  cl-subs:     5514  v-elim:      0  v-fix:    0  time:  8.01 s
1306.00/327.47	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
1306.00/327.49	c vivif2 --  cl tried    97838 cl shrink        0 lits rem          0 time: 0.02
1306.40/327.59	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.10
1306.40/327.59	c calculated reachability. Time: 0.00
1306.40/327.59	c  N st    78   1710862       492      2110         0     97838      6362   1645751   no data   no data
1700.52/426.36	c  N st    79   2079826       492      2110         0    108473      6362   1809264   no data   no data
1847.35/463.19	c  N st    80   2210862       492      2110         0    112511      6362   1912775   no data   no data
1847.35/463.19	c  S st    80   2210862       492      2110         0    112511      6362   1912775   no data   no data
1848.90/463.56	c  S st    80   2211364       492      2110         0    113012      6362   1925021   no data   no data
1848.90/463.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1849.31/463.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1849.31/463.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1849.31/463.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1849.31/463.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1849.31/463.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
1849.31/463.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1849.31/463.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1849.71/463.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1898.77/476.04	c lits-rem:       629  cl-subs:     7636  v-elim:      0  v-fix:    0  time: 12.33 s
1898.77/476.04	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
1898.77/476.06	c vivif2 --  cl tried   105376 cl shrink        0 lits rem          0 time: 0.02
1899.18/476.17	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.10
1899.18/476.17	c calculated reachability. Time: 0.00
1899.18/476.17	c  N st    80   2211364       492      2110         0    105376      6362   1734048   no data   no data
2518.35/631.36	c  N st    81   2711364       492      2110         0    129416      6362   2311484   no data   no data
2518.35/631.36	c  S st    81   2711364       492      2110         0    129416      6362   2311484   no data   no data
2520.32/631.81	c  S st    81   2711866       492      2110         0    129915      6362   2323650   no data   no data
2520.32/631.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2520.32/631.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2520.32/631.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2520.32/631.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2520.32/631.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2520.32/631.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
2520.32/631.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2520.72/631.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2520.72/631.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2587.34/648.65	c lits-rem:       975  cl-subs:     7592  v-elim:      0  v-fix:    0  time: 16.66 s
2587.34/648.65	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
2587.34/648.68	c vivif2 --  cl tried   122323 cl shrink        0 lits rem          0 time: 0.03
2588.13/648.82	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.13
2588.13/648.82	c calculated reachability. Time: 0.00
2588.13/648.82	c  N st    81   2711866       492      2110         0    122323      6362   2133556   no data   no data
3300.69/827.40	c  N st    82   3211866       492      2110         0     98291      6362   1270887   no data   no data
3300.69/827.40	c  S st    82   3211866       492      2110         0     98291      6362   1270887   no data   no data
3301.88/827.79	c  S st    82   3212370       492      2110         0     98794      6362   1283150   no data   no data
3302.28/827.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3302.28/827.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3302.28/827.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3302.28/827.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3302.28/827.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3302.28/827.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
3302.28/827.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3302.28/827.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3302.68/827.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3314.25/830.89	c lits-rem:       398  cl-subs:     2463  v-elim:      0  v-fix:    0  time:  2.95 s
3314.25/830.89	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
3314.65/830.91	c vivif2 --  cl tried    96331 cl shrink        0 lits rem          0 time: 0.02
3315.05/831.03	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.12
3315.05/831.04	c calculated reachability. Time: 0.00
3315.05/831.04	c  N st    82   3212370       492      2110         0     96331      6362   1228074   no data   no data
4116.91/1032.03	c  N st    83   3712370       492      2110         0    106541      6362   1393506   no data   no data
4116.91/1032.03	c  S st    83   3712370       492      2110         0    106541      6362   1393506   no data   no data
4118.11/1032.37	c  S st    83   3712873       492      2110         0    107044      6362   1405561   no data   no data
4118.11/1032.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4118.52/1032.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4118.52/1032.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4118.52/1032.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4118.52/1032.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4118.52/1032.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    492 time:  0.00 s
4118.52/1032.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4118.52/1032.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4118.92/1032.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4130.88/1035.54	c lits-rem:       296  cl-subs:     4094  v-elim:      0  v-fix:    0  time:  3.04 s
4130.88/1035.54	c vivif2 --  cl tried     2110 cl shrink        0 lits rem          0 time: 0.00
4130.88/1035.56	c vivif2 --  cl tried   102950 cl shrink        0 lits rem          0 time: 0.02
4131.28/1035.66	c asymm  cl-useful: 0/2110/2110 lits-rem:0 time: 0.10
4131.28/1035.67	c calculated reachability. Time: 0.00
4131.28/1035.67	c  N st    83   3712873       492      2110         0    102950      6362   1309973   no data   no data
4200.28/1052.98	c  F st    84   3751563       492      2110         0    140498      6362   2272998   no data   no data
4200.28/1052.99	c  N st    84   3751563       492      2110         0    140498      6362   2272998   no data   no data
4217.85/1057.38	c Decided on static restart strategy
4288.05/1074.98	c  N st    94   3779864       492      2110         0     85465      6362    810284   no data   no data
4339.96/1087.95	c  N st    96   3815856       492      2110         0    120664      6362   1665276   no data   no data
4397.36/1102.32	c  N st    97   3848248       492      2110         0    152101      6362   2410867   no data   no data
4467.58/1119.92	c  N st    98   3896836       492      2110         0    116065      6362   1615515   no data   no data
4576.52/1147.29	c  N st    99   3969719       492      2110         0    102853      6362   1257260   no data   no data
4769.18/1195.58	c  N st   100   4079045       492      2110         0    123054      6362   1693070   no data   no data

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-3366498-1305405681/watcher-3366498-1305405681 -o /tmp/evaluation-result-3366498-1305405681/solver-3366498-1305405681 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366498-1305405681.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: 4.04 4.50 5.90 6/333 20807
/proc/meminfo: memFree=23407808/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 632983750 52396032 348 33554432000 4194304 4580107 140735283184720 18446744073709551615 47036581615532 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 12792 348 299 95 0 7774 0
[pid=20807/tid=20808] ppid=20805 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 632983751 52396032 348 33554432000 4194304 4580107 140735283184720 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 632983751 52396032 348 33554432000 4194304 4580107 140735283184720 18446744073709551615 47036581615532 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 632983751 52396032 348 33554432000 4194304 4580107 140735283184720 18446744073709551615 47036581615538 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.08415 s]
/proc/loadavg: 4.04 4.50 5.90 6/333 20807
/proc/meminfo: memFree=23407808/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=282164 CPUtime=0.3 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 1554 0 0 0 30 0 0 0 18 0 4 0 632983750 288935936 1436 33554432000 4194304 4580107 140735283184720 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 70541 1436 377 95 0 65523 0
[pid=20807/tid=20808] ppid=20805 vsize=282164 CPUtime=0.07 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 295 0 0 0 7 0 0 0 24 0 4 0 632983751 288935936 1436 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=282164 CPUtime=0.07 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 303 0 0 0 7 0 0 0 18 0 4 0 632983751 288935936 1436 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=282164 CPUtime=0.07 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 233 0 0 0 7 0 0 0 18 0 4 0 632983751 288935936 1436 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 282164

[startup+0.101146 s]
/proc/loadavg: 4.04 4.50 5.90 6/333 20807
/proc/meminfo: memFree=23407808/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=282164 CPUtime=0.37 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 1632 0 0 0 37 0 0 0 18 0 4 0 632983750 288935936 1514 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 70541 1514 377 95 0 65523 0
[pid=20807/tid=20808] ppid=20805 vsize=282164 CPUtime=0.08 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 311 0 0 0 8 0 0 0 24 0 4 0 632983751 288935936 1514 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=282164 CPUtime=0.09 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 320 0 0 0 9 0 0 0 18 0 4 0 632983751 288935936 1515 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=282164 CPUtime=0.09 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 260 0 0 0 9 0 0 0 18 0 4 0 632983751 288935936 1515 33554432000 4194304 4580107 140735283184720 18446744073709551615 4324513 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282164

[startup+0.301106 s]
/proc/loadavg: 4.04 4.50 5.90 6/333 20807
/proc/meminfo: memFree=23407808/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=283752 CPUtime=1.17 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 2740 0 0 0 117 0 0 0 18 0 4 0 632983750 290562048 2055 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 70938 2055 377 95 0 65920 0
[pid=20807/tid=20808] ppid=20805 vsize=283752 CPUtime=0.28 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 588 0 0 0 28 0 0 0 25 0 4 0 632983751 290562048 2055 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=283752 CPUtime=0.29 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 588 0 0 0 29 0 0 0 18 0 4 0 632983751 290562048 2055 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=283752 CPUtime=0.29 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 550 0 0 0 29 0 0 0 18 0 4 0 632983751 290562048 2055 33554432000 4194304 4580107 140735283184720 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283752

[startup+0.701029 s]
/proc/loadavg: 4.04 4.50 5.90 6/333 20807
/proc/meminfo: memFree=23407808/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=284680 CPUtime=2.77 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 4315 0 0 0 277 0 0 0 18 0 4 0 632983750 291512320 2761 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 71170 2761 377 95 0 66152 0
[pid=20807/tid=20808] ppid=20805 vsize=284680 CPUtime=0.68 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 977 0 0 0 68 0 0 0 25 0 4 0 632983751 291512320 2761 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=284680 CPUtime=0.69 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 958 0 0 0 69 0 0 0 18 0 4 0 632983751 291512320 2761 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=284680 CPUtime=0.69 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 969 0 0 0 69 0 0 0 18 0 4 0 632983751 291512320 2761 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284680

[startup+1.50087 s]
/proc/loadavg: 4.52 4.59 5.92 10/337 20811
/proc/meminfo: memFree=23385456/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=285964 CPUtime=5.96 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 8713 0 0 0 595 1 0 0 20 0 4 0 632983750 292827136 4509 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 71491 4509 379 95 0 66473 0
[pid=20807/tid=20808] ppid=20805 vsize=285964 CPUtime=1.47 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 1717 0 0 0 147 0 0 0 25 0 4 0 632983751 292827136 4509 33554432000 4194304 4580107 140735283184720 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=285964 CPUtime=1.49 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 1723 0 0 0 149 0 0 0 20 0 4 0 632983751 292827136 4509 33554432000 4194304 4580107 140735283184720 18446744073709551615 4316677 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=285964 CPUtime=1.49 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 1737 0 0 0 149 0 0 0 20 0 4 0 632983751 292827136 4509 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285964

[startup+3.10055 s]
/proc/loadavg: 4.52 4.59 5.92 10/337 20811
/proc/meminfo: memFree=23347636/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=295028 CPUtime=12.34 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 18310 0 0 0 1231 3 0 0 25 0 4 0 632983750 302108672 9237 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 73757 9237 379 95 0 68739 0
[pid=20807/tid=20808] ppid=20805 vsize=295028 CPUtime=3.05 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 4022 0 0 0 305 0 0 0 25 0 4 0 632983751 302108672 9237 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=295028 CPUtime=3.08 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 4870 0 0 0 308 0 0 0 25 0 4 0 632983751 302108672 9237 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=295028 CPUtime=3.08 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 4431 0 0 0 308 0 0 0 25 0 4 0 632983751 302108672 9237 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 295028

[startup+6.30092 s]
/proc/loadavg: 4.52 4.59 5.92 9/337 20811
/proc/meminfo: memFree=23322268/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=291932 CPUtime=25.11 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 29078 0 0 0 2506 5 0 0 25 0 4 0 632983750 298938368 12578 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 72983 12578 379 95 0 67965 0
[pid=20807/tid=20808] ppid=20805 vsize=291932 CPUtime=6.22 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 7505 0 0 0 621 1 0 0 25 0 4 0 632983751 298938368 12578 33554432000 4194304 4580107 140735283184720 18446744073709551615 4318437 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=291932 CPUtime=6.28 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 7870 0 0 0 628 0 0 0 25 0 4 0 632983751 298938368 12578 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=291932 CPUtime=6.29 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 6446 0 0 0 628 1 0 0 25 0 4 0 632983751 298938368 12578 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 291932

[startup+12.7007 s]
/proc/loadavg: 5.05 4.70 5.95 10/337 20811
/proc/meminfo: memFree=23278688/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=301988 CPUtime=50.63 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 46032 0 0 0 5055 8 0 0 25 0 4 0 632983750 309235712 18669 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 75497 18669 379 95 0 70479 0
[pid=20807/tid=20808] ppid=20805 vsize=301988 CPUtime=12.55 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 10988 0 0 0 1253 2 0 0 25 0 4 0 632983751 309235712 18669 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=301988 CPUtime=12.68 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 10746 0 0 0 1267 1 0 0 25 0 4 0 632983751 309235712 18669 33554432000 4194304 4580107 140735283184720 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=301988 CPUtime=12.68 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 11365 0 0 0 1267 1 0 0 25 0 4 0 632983751 309235712 18669 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 301988

[startup+25.5011 s]
/proc/loadavg: 5.51 4.81 5.97 10/337 20812
/proc/meminfo: memFree=23229720/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=328688 CPUtime=101.69 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 68491 0 0 0 10155 14 0 0 25 0 4 0 632983750 336576512 27831 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 82172 27831 379 95 0 77154 0
[pid=20807/tid=20808] ppid=20805 vsize=328688 CPUtime=25.21 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 17130 0 0 0 2518 3 0 0 25 0 4 0 632983751 336576512 27831 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=328688 CPUtime=25.48 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 16528 0 0 0 2545 3 0 0 25 0 4 0 632983751 336576512 27831 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=328688 CPUtime=25.48 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 15980 0 0 0 2546 2 0 0 25 0 4 0 632983751 336576512 27831 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 328688

[startup+51.101 s]
/proc/loadavg: 6.57 5.13 6.04 10/337 20813
/proc/meminfo: memFree=23200092/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=330308 CPUtime=203.82 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 99362 0 0 0 20358 24 0 0 25 0 4 0 632983750 338235392 32612 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 82577 32612 379 95 0 77559 0
[pid=20807/tid=20808] ppid=20805 vsize=330308 CPUtime=50.54 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 26649 0 0 0 5048 6 0 0 25 0 4 0 632983751 338235392 32612 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=330308 CPUtime=51.08 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 21670 0 0 0 5103 5 0 0 25 0 4 0 632983751 338235392 32612 33554432000 4194304 4580107 140735283184720 18446744073709551615 4314996 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=330308 CPUtime=51.08 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 24550 0 0 0 5103 5 0 0 25 0 4 0 632983751 338235392 32612 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 330308

[startup+102.313 s]
/proc/loadavg: 7.42 5.58 6.14 10/337 20814
/proc/meminfo: memFree=23144876/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=332060 CPUtime=408.1 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 151544 0 0 0 40767 43 0 0 25 0 4 0 632983750 340029440 40308 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 83015 40308 379 95 0 77997 0
[pid=20807/tid=20808] ppid=20805 vsize=332060 CPUtime=101.19 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 40440 0 0 0 10108 11 0 0 25 0 4 0 632983751 340029440 40308 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=332060 CPUtime=102.29 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 32631 0 0 0 10220 9 0 0 25 0 4 0 632983751 340029440 40308 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=332060 CPUtime=102.27 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 38626 0 0 0 10218 9 0 0 25 0 4 0 632983751 340029440 40308 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 332060

[startup+162.301 s]

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

[pid=20807] ppid=20805 vsize=561820 CPUtime=2801.59 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 523745 0 0 0 279958 201 0 0 25 0 4 0 632983750 575303680 90134 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 140455 90134 379 95 0 135437 0
[pid=20807/tid=20808] ppid=20805 vsize=561820 CPUtime=694.75 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 122680 0 0 0 69425 50 0 0 25 0 4 0 632983751 575303680 90134 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=561820 CPUtime=702.29 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 124321 0 0 0 70180 49 0 0 25 0 4 0 632983751 575303680 90135 33554432000 4194304 4580107 140735283184720 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=561820 CPUtime=702.2 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 131761 0 0 0 70171 49 0 0 25 0 4 0 632983751 575303680 90135 33554432000 4194304 4580107 140735283184720 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.59
Current children cumulated vsize (KiB) 561820

[startup+762.313 s]
/proc/loadavg: 4.10 5.47 6.14 5/328 20848
/proc/meminfo: memFree=23050752/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=566084 CPUtime=3041.01 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 548417 0 0 0 303886 215 0 0 25 0 4 0 632983750 579670016 91049 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 141521 91049 379 95 0 136503 0
[pid=20807/tid=20808] ppid=20805 vsize=566084 CPUtime=754.13 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 126217 0 0 0 75361 52 0 0 25 0 4 0 632983751 579670016 91049 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=566084 CPUtime=762.3 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 132079 0 0 0 76177 53 0 0 25 0 4 0 632983751 579670016 91049 33554432000 4194304 4580107 140735283184720 18446744073709551615 4305984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=566084 CPUtime=762.22 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 138435 0 0 0 76168 54 0 0 25 0 4 0 632983751 579670016 91049 33554432000 4194304 4580107 140735283184720 18446744073709551615 4321144 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.01
Current children cumulated vsize (KiB) 566084

[startup+822.301 s]
/proc/loadavg: 4.08 5.22 6.01 5/328 20850
/proc/meminfo: memFree=23034496/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=566468 CPUtime=3280.34 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 575187 0 0 0 327803 231 0 0 25 0 4 0 632983750 580063232 95486 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 141617 95486 379 95 0 136599 0
[pid=20807/tid=20808] ppid=20805 vsize=566468 CPUtime=813.49 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 131723 0 0 0 81294 55 0 0 25 0 4 0 632983751 580063232 95486 33554432000 4194304 4580107 140735283184720 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=566468 CPUtime=822.29 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 138815 0 0 0 82172 57 0 0 25 0 4 0 632983751 580063232 95486 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=566468 CPUtime=822.21 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 145025 0 0 0 82163 58 0 0 25 0 4 0 632983751 580063232 95486 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.34
Current children cumulated vsize (KiB) 566468

[startup+882.301 s]
/proc/loadavg: 4.03 4.99 5.88 5/328 20852
/proc/meminfo: memFree=23007932/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=554060 CPUtime=3519.7 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 602730 0 0 0 351728 242 0 0 25 0 4 0 632983750 567357440 101954 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 138515 101954 379 95 0 133497 0
[pid=20807/tid=20808] ppid=20805 vsize=554060 CPUtime=872.84 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 137501 0 0 0 87228 56 0 0 25 0 4 0 632983751 567357440 101954 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=554060 CPUtime=882.29 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 145038 0 0 0 88168 61 0 0 25 0 4 0 632983751 567357440 101954 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=554060 CPUtime=882.21 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 154515 0 0 0 88161 60 0 0 25 0 4 0 632983751 567357440 101954 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.7
Current children cumulated vsize (KiB) 554060

[startup+942.3 s]
/proc/loadavg: 4.05 4.82 5.77 5/328 20853
/proc/meminfo: memFree=22984096/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=631396 CPUtime=3759.07 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 628012 0 0 0 375652 255 0 0 25 0 4 0 632983750 646549504 107884 33554432000 4194304 4580107 140735283184720 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 157849 107884 379 95 0 152831 0
[pid=20807/tid=20808] ppid=20805 vsize=631396 CPUtime=932.21 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 142227 0 0 0 93162 59 0 0 25 0 4 0 632983751 646549504 107884 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=631396 CPUtime=942.29 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 152970 0 0 0 94165 64 0 0 25 0 4 0 632983751 646549504 107884 33554432000 4194304 4580107 140735283184720 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=631396 CPUtime=942.21 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 160850 0 0 0 94157 64 0 0 25 0 4 0 632983751 646549504 107884 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.07
Current children cumulated vsize (KiB) 631396

[startup+1002.3 s]
/proc/loadavg: 4.05 4.68 5.66 5/328 20855
/proc/meminfo: memFree=22983584/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=643436 CPUtime=3998.43 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 651341 0 0 0 399574 269 0 0 25 0 4 0 632983750 658878464 108169 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 160859 108169 379 95 0 155841 0
[pid=20807/tid=20808] ppid=20805 vsize=643436 CPUtime=991.55 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 145754 0 0 0 99094 61 0 0 25 0 4 0 632983751 658878464 108169 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=643436 CPUtime=1002.29 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 159948 0 0 0 100161 68 0 0 25 0 4 0 632983751 658878464 108169 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=643436 CPUtime=1002.21 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 167047 0 0 0 100154 67 0 0 25 0 4 0 632983751 658878464 108169 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.43
Current children cumulated vsize (KiB) 643436

[startup+1062.3 s]
/proc/loadavg: 4.02 4.56 5.55 5/328 20856
/proc/meminfo: memFree=22948232/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=657688 CPUtime=4237.79 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 671350 0 0 0 423501 278 0 0 25 0 4 0 632983750 673472512 116966 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 164422 116966 379 95 0 159404 0
[pid=20807/tid=20808] ppid=20805 vsize=657688 CPUtime=1050.92 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 149679 0 0 0 105029 63 0 0 25 0 4 0 632983751 673472512 116966 33554432000 4194304 4580107 140735283184720 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=657688 CPUtime=1062.29 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 162596 0 0 0 106159 70 0 0 25 0 4 0 632983751 673472512 116966 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=657688 CPUtime=1062.22 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 174550 0 0 0 106152 70 0 0 25 0 4 0 632983751 673472512 116966 33554432000 4194304 4580107 140735283184720 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.79
Current children cumulated vsize (KiB) 657688

[startup+1122.3 s]
/proc/loadavg: 4.00 4.45 5.45 5/328 20858
/proc/meminfo: memFree=22947076/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=644988 CPUtime=4477.15 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 693257 0 0 0 447425 290 0 0 25 0 4 0 632983750 660467712 117261 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 161247 117261 379 95 0 156229 0
[pid=20807/tid=20808] ppid=20805 vsize=644988 CPUtime=1110.27 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 154122 0 0 0 110961 66 0 0 25 0 4 0 632983751 660467712 117261 33554432000 4194304 4580107 140735283184720 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=644988 CPUtime=1122.29 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 168278 0 0 0 112156 73 0 0 25 0 4 0 632983751 660467712 117261 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=644988 CPUtime=1122.22 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 180392 0 0 0 112149 73 0 0 25 0 4 0 632983751 660467712 117261 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.15
Current children cumulated vsize (KiB) 644988

[startup+1182.3 s]
/proc/loadavg: 4.00 4.37 5.36 5/328 20869
/proc/meminfo: memFree=22925564/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=697424 CPUtime=4716.52 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 711758 0 0 0 471350 302 0 0 25 0 4 0 632983750 714162176 122305 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 174356 122305 379 95 0 169338 0
[pid=20807/tid=20808] ppid=20805 vsize=697424 CPUtime=1169.63 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 157435 0 0 0 116896 67 0 0 25 0 4 0 632983751 714162176 122305 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=697424 CPUtime=1182.29 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 173322 0 0 0 118152 77 0 0 25 0 4 0 632983751 714162176 122305 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=697424 CPUtime=1182.23 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 185491 0 0 0 118147 76 0 0 25 0 4 0 632983751 714162176 122305 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.52
Current children cumulated vsize (KiB) 697424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 4.00 4.34 5.33 6/328 20869
/proc/meminfo: memFree=22918216/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=710736 CPUtime=4800.35 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 720636 0 0 0 479729 306 0 0 25 0 4 0 632983750 727793664 124119 33554432000 4194304 4580107 140735283184720 18446744073709551615 4306048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 177684 124119 379 95 0 172666 0
[pid=20807/tid=20808] ppid=20805 vsize=710736 CPUtime=1190.4 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 159278 0 0 0 118972 68 0 0 25 0 4 0 632983751 727793664 124119 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=710736 CPUtime=1203.31 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 175416 0 0 0 120253 78 0 0 25 0 4 0 632983751 727793664 124119 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=710736 CPUtime=1203.25 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 187978 0 0 0 120248 77 0 0 25 0 4 0 632983751 727793664 124119 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 710736

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

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

[startup+1203.3 s]
/proc/loadavg: 4.00 4.34 5.33 6/328 20869
/proc/meminfo: memFree=22918216/32951124 swapFree=59367104/67111528
[pid=20807] ppid=20805 vsize=710736 CPUtime=4800.35 cores=1,3,5,7
/proc/20807/stat : 20807 (strangenight2-m) R 20805 20807 20095 0 -1 4202496 720636 0 0 0 479729 306 0 0 25 0 4 0 632983750 727793664 124119 33554432000 4194304 4580107 140735283184720 18446744073709551615 4306048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20807/statm: 177684 124119 379 95 0 172666 0
[pid=20807/tid=20808] ppid=20805 vsize=710736 CPUtime=1190.4 cores=1,3,5,7
/proc/20807/task/20808/stat : 20808 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 159278 0 0 0 118972 68 0 0 25 0 4 0 632983751 727793664 124119 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20807/tid=20809] ppid=20805 vsize=710736 CPUtime=1203.31 cores=1,3,5,7
/proc/20807/task/20809/stat : 20809 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 175416 0 0 0 120253 78 0 0 25 0 4 0 632983751 727793664 124119 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20807/tid=20810] ppid=20805 vsize=710736 CPUtime=1203.25 cores=1,3,5,7
/proc/20807/task/20810/stat : 20810 (strangenight2-m) R 20805 20807 20095 0 -1 4202560 187978 0 0 0 120248 77 0 0 25 0 4 0 632983751 727793664 124119 33554432000 4194304 4580107 140735283184720 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 710736

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.35
CPU time (s): 4800.41
CPU user time (s): 4797.33
CPU system time (s): 3.08253
CPU usage (%): 398.92
Max. virtual memory (cumulated for all children) (KiB): 815192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.33
system time used= 3.08253
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 720638
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= 239
involuntary context switches= 25690

runsolver used 3.60245 second user time and 9.38257 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-14 22:41:21
IDJOB=3366498
IDBENCH=82907
IDSOLVER=1844
FILE ID=node143/3366498-1305405681
RUNJOBID= node143-1305405681-20785
PBS_JOBID= 13324468
Free space on /tmp= 73412 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366498-1305405681/watcher-3366498-1305405681 -o /tmp/evaluation-result-3366498-1305405681/solver-3366498-1305405681 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366498-1305405681.cnf

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

MD5SUM BENCH= 7a466863eebd6d1afeaf2ac3e2c1a1d9
RANDOM SEED=1949209802

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23407964 kB
Buffers:        146624 kB
Cached:         649996 kB
SwapCached:      67336 kB
Active:          91848 kB
Inactive:      9229108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23407964 kB
SwapTotal:    67111528 kB
SwapFree:     59367104 kB
Dirty:           10904 kB
Writeback:           0 kB
AnonPages:     8456828 kB
Mapped:          22448 kB
Slab:           105040 kB
PageTables:      52744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70023508 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= 73412 MiB
End job on node143 at 2011-05-14 23:01:27