Trace number 3366557

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.37 1203.14

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf
MD5SUM27350cd58dd0500df065558763d7d963
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 variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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-3366557-1305407853.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.36/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.36/0.10	c calculated reachability. Time: 0.00
0.36/0.10	c Calc default polars -  time:   0.00 s pos:     305 undec:      68 neg:     277
0.36/0.10	c =========================================================================================
0.36/0.10	c types(t): F = full restart, N = normal restart
0.36/0.10	c types(t): S = simplification begin/end, E = solution found
0.36/0.10	c restart types(rt): st = static, dy = dynamic
0.36/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.36/0.10	c  B st     0         0       630      2742         0         0      8353         0   no data   no data
0.36/0.10	c Decided on static restart strategy
0.36/0.17	c  N st     8      4917       630      2742         0      4854      8353    144756   no data   no data
1.57/0.46	c  N st    10     11299       630      2742         0      4509      8353     91153   no data   no data
2.76/0.74	c  N st    11     17042       630      2742         0     10166      8353    246809   no data   no data
4.39/1.19	c  F st    12     25001       630      2742         0     12483      8353    322511   no data   no data
4.39/1.19	c  N st    12     25001       630      2742         0     12483      8353    322511   no data   no data
5.55/1.46	c Decided on static restart strategy
5.55/1.46	c  N st    18     30000       630      2742         0     10728      8353    245490   no data   no data
5.55/1.46	c  S st    18     30000       630      2742         0     10728      8353    245490   no data   no data
5.55/1.49	c  S st    18     30501       630      2742         0     11228      8353    258172   no data   no data
5.55/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.50	c blocked clauses removed:       14 vars:      2 tried:         630 T: 0.00 s
5.96/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
5.96/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.56	c lits-rem:       116  cl-subs:      362  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.57	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.01
5.96/1.57	c calculated reachability. Time: 0.00
5.96/1.57	c  N st    18     30501       628      2728         0     10865      8311    245635   no data   no data
7.95/2.02	c  N st    20     37611       628      2728         0     10101      8311    203914   no data   no data
9.54/2.40	c  N st    21     44010       628      2728         0     16415      8311    397866   no data   no data
9.94/2.53	c  S st    22     45751       628      2728         0      9312      8311    156800   no data   no data
9.94/2.56	c  S st    22     46258       628      2728         0      9819      8311    169157   no data   no data
9.94/2.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.94/2.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.94/2.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
9.94/2.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.94/2.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.94/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.58	c lits-rem:        16  cl-subs:       42  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.58	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
9.94/2.58	c vivif2 --  cl tried     9777 cl shrink        0 lits rem          0 time: 0.00
9.94/2.59	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.01
9.94/2.59	c calculated reachability. Time: 0.00
9.94/2.59	c  N st    22     46258       628      2728         0      9777      8311    167812   no data   no data
13.93/3.56	c  N st    23     60656       628      2728         0     14125      8311    286947   no data   no data
16.73/4.27	c  N st    24     69387       628      2728         0     11887      8311    211458   no data   no data
16.73/4.27	c  S st    24     69387       628      2728         0     11887      8311    211458   no data   no data
16.73/4.30	c  S st    24     69890       628      2728         0     12389      8311    224449   no data   no data
16.73/4.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.73/4.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.73/4.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.73/4.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.73/4.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
16.73/4.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.15/4.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.15/4.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.34	c lits-rem:        69  cl-subs:      120  v-elim:      0  v-fix:    0  time:  0.02 s
17.15/4.34	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
17.15/4.34	c vivif2 --  cl tried    12269 cl shrink        0 lits rem          0 time: 0.00
17.15/4.35	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.01
17.15/4.35	c calculated reachability. Time: 0.00
17.15/4.35	c  N st    24     69890       628      2728         0     12269      8311    220527   no data   no data
22.71/5.79	c  F st    25     87500       628      2728         0     17759      8311    373713   no data   no data
22.71/5.79	c  N st    25     87500       628      2728         0     17759      8311    373713   no data   no data
24.70/6.24	c Decided on static restart strategy
25.50/6.51	c  N st    32     95540       628      2728         0     12938      8311    200242   no data   no data
28.29/7.19	c  N st    34    104836       628      2728         0     22065      8311    466557   no data   no data
28.29/7.19	c  S st    34    104836       628      2728         0     22065      8311    466557   no data   no data
28.69/7.24	c  S st    34    105338       628      2728         0     22567      8311    479858   no data   no data
28.69/7.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.69/7.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.69/7.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.69/7.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.69/7.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.69/7.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
28.69/7.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.69/7.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.69/7.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.50/7.42	c lits-rem:        81  cl-subs:      706  v-elim:      0  v-fix:    0  time:  0.15 s
29.50/7.42	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
29.50/7.43	c vivif2 --  cl tried    21861 cl shrink        0 lits rem          0 time: 0.00
29.50/7.44	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.01
29.50/7.44	c calculated reachability. Time: 0.00
29.50/7.44	c  N st    34    105338       628      2728         0     21861      8311    456530   no data   no data
32.69/8.25	c  N st    35    114936       628      2728         0     17560      8311    309496   no data   no data
37.88/9.59	c  N st    36    129334       628      2728         0     16969      8311    269660   no data   no data
45.85/11.59	c  N st    37    150929       628      2728         0     22488      8311    406476   no data   no data
48.64/12.25	c  S st    38    158008       628      2728         0     29464      8311    611615   no data   no data
49.04/12.33	c  S st    38    158513       628      2728         0     29969      8311    624547   no data   no data
49.04/12.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.04/12.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.04/12.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.04/12.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.04/12.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.04/12.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
49.04/12.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.04/12.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.04/12.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.24/12.68	c lits-rem:       228  cl-subs:      919  v-elim:      0  v-fix:    0  time:  0.31 s
50.24/12.68	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
50.24/12.68	c vivif2 --  cl tried    29050 cl shrink        0 lits rem          0 time: 0.01
50.64/12.71	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.02
50.64/12.71	c calculated reachability. Time: 0.00
50.64/12.71	c  N st    38    158513       628      2728         0     29050      8311    597318   no data   no data
70.58/17.72	c  N st    39    207104       628      2728         0     23674      8311    409939   no data   no data
84.96/21.33	c  N st    40    237769       628      2728         0     34132      8311    694986   no data   no data
84.96/21.33	c  S st    40    237769       628      2728         0     34132      8311    694986   no data   no data
85.36/21.45	c  S st    40    238271       628      2728         0     34633      8311    708078   no data   no data
85.36/21.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.36/21.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.36/21.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.36/21.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.36/21.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.36/21.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
85.36/21.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.36/21.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.75/21.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.54/22.28	c lits-rem:       243  cl-subs:     1398  v-elim:      0  v-fix:    0  time:  0.78 s
88.54/22.28	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
88.54/22.29	c vivif2 --  cl tried    33235 cl shrink        0 lits rem          0 time: 0.01
88.94/22.31	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.02
88.94/22.31	c calculated reachability. Time: 0.00
88.94/22.31	c  N st    40    238271       628      2728         0     33235      8311    663129   no data   no data
122.06/30.60	c  F st    41    306250       628      2728         0     35132      8311    687049   no data   no data
122.06/30.60	c  N st    41    306250       628      2728         0     35132      8311    687049   no data   no data
124.86/31.32	c Decided on static restart strategy
136.43/34.26	c  N st    51    334563       628      2728         0     39431      8311    770950   no data   no data
148.40/37.20	c  N st    53    357407       628      2728         0     37330      8311    680623   no data   no data
148.40/37.20	c  S st    53    357407       628      2728         0     37330      8311    680623   no data   no data
148.40/37.31	c  S st    53    357913       628      2728         0     37836      8311    694890   no data   no data
148.82/37.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
148.82/37.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
148.82/37.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
148.82/37.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
148.82/37.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.82/37.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
148.82/37.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
148.82/37.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
148.82/37.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.39/37.76	c lits-rem:       288  cl-subs:     1004  v-elim:      0  v-fix:    0  time:  0.41 s
150.39/37.77	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
150.39/37.77	c vivif2 --  cl tried    36832 cl shrink        0 lits rem          0 time: 0.01
150.79/37.80	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.03
150.79/37.80	c calculated reachability. Time: 0.00
150.79/37.80	c  N st    53    357913       628      2728         0     36832      8311    661598   no data   no data
168.74/42.32	c  N st    54    390306       628      2728         0     43060      8311    806088   no data   no data
198.66/49.83	c  N st    55    438894       628      2728         0     36915      8311    618552   no data   no data
244.56/61.40	c  N st    56    511779       628      2728         0     50432      8311    959246   no data   no data
260.91/65.48	c  N st    57    536871       628      2728         0     44619      8311    756442   no data   no data
260.91/65.48	c  S st    57    536871       628      2728         0     44619      8311    756442   no data   no data
261.31/65.59	c  S st    57    537372       628      2728         0     45120      8311    770107   no data   no data
261.71/65.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
261.71/65.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
261.71/65.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
261.71/65.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
261.71/65.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.71/65.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
261.71/65.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
261.71/65.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
261.71/65.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.11/66.29	c lits-rem:       906  cl-subs:     1332  v-elim:      0  v-fix:    0  time:  0.64 s
264.11/66.29	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
264.51/66.30	c vivif2 --  cl tried    43788 cl shrink        0 lits rem          0 time: 0.01
264.51/66.34	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.04
264.51/66.34	c calculated reachability. Time: 0.00
264.51/66.34	c  N st    57    537372       628      2728         0     43788      8311    729516   no data   no data
381.86/95.71	c  N st    58    701356       628      2728         0     37850      8311    474329   no data   no data
465.59/116.71	c  N st    59    806058       628      2728         0     67144      8311   1325612   no data   no data
465.59/116.71	c  S st    59    806058       628      2728         0     67144      8311   1325612   no data   no data
466.39/116.91	c  S st    59    806560       628      2728         0     67645      8311   1339534   no data   no data
466.39/116.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
466.39/116.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
466.39/116.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
466.39/116.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
466.39/116.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
466.39/116.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
466.39/116.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
466.39/116.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
466.80/117.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.40/119.97	c lits-rem:      1144  cl-subs:     2274  v-elim:      0  v-fix:    0  time:  2.97 s
478.40/119.97	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
478.40/119.99	c vivif2 --  cl tried    65371 cl shrink        0 lits rem          0 time: 0.02
478.76/120.05	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.06
478.76/120.06	c calculated reachability. Time: 0.00
478.76/120.06	c  N st    59    806560       628      2728         0     65371      8311   1268272   no data   no data
706.99/177.22	c  F st    60   1071875       628      2728         0     80904      8311   1574854   no data   no data
706.99/177.22	c  N st    60   1071875       628      2728         0     80904      8311   1574854   no data   no data
712.58/178.69	c Decided on static restart strategy
732.14/183.55	c  N st    70   1100181       628      2728         0     64831      8311   1085608   no data   no data
766.05/192.08	c  N st    72   1136174       628      2728         0     55043      8311    786080   no data   no data
797.56/199.93	c  N st    73   1168566       628      2728         0     86758      8311   1677699   no data   no data
837.47/209.95	c  N st    74   1209842       628      2728         0     81194      8311   1511671   no data   no data
837.47/209.95	c  S st    74   1209842       628      2728         0     81194      8311   1511671   no data   no data
838.31/210.19	c  S st    74   1210344       628      2728         0     81696      8311   1526222   no data   no data
838.66/210.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
838.66/210.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
838.66/210.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
838.66/210.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
838.66/210.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
838.66/210.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
838.66/210.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
838.66/210.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
839.06/210.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
855.03/214.34	c lits-rem:       392  cl-subs:     2941  v-elim:      0  v-fix:    0  time:  4.03 s
855.03/214.34	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
855.03/214.36	c vivif2 --  cl tried    78755 cl shrink        0 lits rem          0 time: 0.02
855.45/214.44	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.08
855.45/214.45	c calculated reachability. Time: 0.00
855.45/214.45	c  N st    74   1210344       628      2728         0     78755      8311   1438309   no data   no data
932.43/233.76	c  N st    75   1283226       628      2728         0     55241      8311    707302   no data   no data
1045.74/262.15	c  N st    76   1392552       628      2728         0     63299      8311    929157   no data   no data
1212.52/303.90	c  N st    77   1556539       628      2728         0     68265      8311   1008543   no data   no data
1372.51/344.05	c  N st    78   1710344       628      2728         0    110035      8311   2314807   no data   no data
1372.51/344.05	c  S st    78   1710344       628      2728         0    110035      8311   2314807   no data   no data
1374.11/344.41	c  S st    78   1710846       628      2728         0    110536      8311   2328331   no data   no data
1374.11/344.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1374.11/344.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1374.11/344.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1374.11/344.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1374.11/344.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1374.11/344.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
1374.11/344.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1374.51/344.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1374.51/344.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1440.75/361.19	c lits-rem:      1154  cl-subs:     5990  v-elim:      0  v-fix:    0  time: 16.60 s
1440.75/361.19	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
1441.15/361.22	c vivif2 --  cl tried   104546 cl shrink        0 lits rem          0 time: 0.03
1441.55/361.34	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.12
1441.55/361.34	c calculated reachability. Time: 0.00
1441.55/361.34	c  N st    78   1710846       628      2728         0    104546      8311   2132412   no data   no data
1856.90/465.43	c  N st    79   2079813       628      2728         0    116107      8311   2398353   no data   no data
2007.32/503.10	c  N st    80   2210846       628      2728         0    120079      8311   2466877   no data   no data
2007.32/503.10	c  S st    80   2210846       628      2728         0    120079      8311   2466877   no data   no data
2008.52/503.47	c  S st    80   2211346       628      2728         0    120574      8311   2480394   no data   no data
2008.52/503.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2008.92/503.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2008.92/503.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2008.92/503.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2008.92/503.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2008.92/503.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
2008.92/503.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2008.92/503.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2009.32/503.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2101.90/526.90	c lits-rem:      1001  cl-subs:     7913  v-elim:      0  v-fix:    0  time: 23.25 s
2101.90/526.90	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
2102.32/526.94	c vivif2 --  cl tried   112661 cl shrink        0 lits rem          0 time: 0.03
2102.68/527.08	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.14
2102.68/527.09	c calculated reachability. Time: 0.00
2102.68/527.09	c  N st    80   2211346       628      2728         0    112661      8311   2224398   no data   no data
2744.66/687.96	c  N st    81   2711346       628      2728         0    136168      8311   2789681   no data   no data
2744.66/687.96	c  S st    81   2711346       628      2728         0    136168      8311   2789681   no data   no data
2746.67/688.43	c  S st    81   2711850       628      2728         0    136672      8311   2803019   no data   no data
2746.67/688.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2747.09/688.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2747.09/688.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2747.09/688.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2747.09/688.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2747.09/688.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
2747.09/688.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2747.09/688.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2747.50/688.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2871.14/719.62	c lits-rem:      1258  cl-subs:     9286  v-elim:      0  v-fix:    0  time: 30.99 s
2871.14/719.62	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
2871.14/719.66	c vivif2 --  cl tried   127386 cl shrink        0 lits rem          0 time: 0.04
2871.94/719.81	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.16
2871.94/719.82	c calculated reachability. Time: 0.00
2871.94/719.82	c  N st    81   2711850       628      2728         0    127386      8311   2518522   no data   no data
3592.13/900.35	c  N st    82   3211852       628      2728         0    103729      8311   1614520   no data   no data
3592.13/900.35	c  S st    82   3211852       628      2728         0    103729      8311   1614520   no data   no data
3593.73/900.73	c  S st    82   3212356       628      2728         0    104233      8311   1629071   no data   no data
3593.73/900.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3593.73/900.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3593.73/900.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3593.73/900.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3593.73/900.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3593.73/900.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
3593.73/900.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3594.15/900.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3594.15/900.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3612.12/905.39	c lits-rem:       338  cl-subs:     3181  v-elim:      0  v-fix:    0  time:  4.53 s
3612.12/905.39	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
3612.47/905.41	c vivif2 --  cl tried   101052 cl shrink        0 lits rem          0 time: 0.02
3612.87/905.53	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.11
3612.87/905.53	c calculated reachability. Time: 0.00
3612.87/905.53	c  N st    82   3212356       628      2728         0    101052      8311   1529894   no data   no data
4391.31/1100.61	c  N st    83   3712356       628      2728         0    112002      8311   1819939   no data   no data
4391.31/1100.61	c  S st    83   3712356       628      2728         0    112002      8311   1819939   no data   no data
4392.51/1100.96	c  S st    83   3712859       628      2728         0    112503      8311   1833604   no data   no data
4392.51/1100.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4392.93/1101.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4392.93/1101.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4392.93/1101.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4392.93/1101.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4392.93/1101.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    628 time:  0.00 s
4392.93/1101.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4392.93/1101.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4393.34/1101.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4410.90/1105.57	c lits-rem:      1186  cl-subs:     1840  v-elim:      0  v-fix:    0  time:  4.46 s
4410.90/1105.57	c vivif2 --  cl tried     2728 cl shrink        0 lits rem          0 time: 0.00
4411.26/1105.60	c vivif2 --  cl tried   110663 cl shrink        0 lits rem          0 time: 0.03
4411.66/1105.76	c asymm  cl-useful: 0/2728/2728 lits-rem:0 time: 0.16
4411.66/1105.77	c calculated reachability. Time: 0.00
4411.66/1105.77	c  N st    83   3712859       628      2728         0    110663      8311   1765875   no data   no data
4486.27/1124.49	c  F st    84   3751564       628      2728         0    148531      8311   2984321   no data   no data
4486.27/1124.49	c  N st    84   3751564       628      2728         0    148531      8311   2984321   no data   no data
4500.24/1127.92	c Decided on static restart strategy
4540.53/1138.02	c  N st    94   3779865       628      2728         0     92933      8311   1097912   no data   no data
4598.79/1152.69	c  N st    96   3815857       628      2728         0    128314      8311   2133671   no data   no data
4669.85/1170.42	c  N st    97   3848249       628      2728         0    160098      8311   3099099   no data   no data
4746.81/1189.71	c  N st    98   3896837       628      2728         0    123384      8311   1991792   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-3366557-1305407853/watcher-3366557-1305407853 -o /tmp/evaluation-result-3366557-1305407853/solver-3366557-1305407853 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366557-1305407853.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.09 8.11 8.06 5/320 8190
/proc/meminfo: memFree=10651580/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 407 0 0 0 1 0 0 0 25 0 4 0 652387655 52396032 347 33554432000 4194304 4580107 140735998985600 18446744073709551615 47043193763762 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 12792 347 299 95 0 7774 0
[pid=8190/tid=8191] ppid=8188 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652387655 52396032 352 33554432000 4194304 4580107 140735998985600 18446744073709551615 47043193763762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652387655 52396032 352 33554432000 4194304 4580107 140735998985600 18446744073709551615 47043193763353 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652387655 52396032 352 33554432000 4194304 4580107 140735998985600 18446744073709551615 47043193763353 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0616979 s]
/proc/loadavg: 8.09 8.11 8.06 5/320 8190
/proc/meminfo: memFree=10651580/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=281988 CPUtime=0.21 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 1607 0 0 0 21 0 0 0 25 0 4 0 652387655 288755712 1472 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 70497 1472 376 95 0 65479 0
[pid=8190/tid=8191] ppid=8188 vsize=281988 CPUtime=0.05 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 337 0 0 0 5 0 0 0 18 0 4 0 652387655 288755712 1472 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=281988 CPUtime=0.04 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 263 0 0 0 4 0 0 0 25 0 4 0 652387655 288755712 1472 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=281988 CPUtime=0.05 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 227 0 0 0 5 0 0 0 25 0 4 0 652387655 288755712 1472 33554432000 4194304 4580107 140735998985600 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 281988

[startup+0.100691 s]
/proc/loadavg: 8.09 8.11 8.06 5/320 8190
/proc/meminfo: memFree=10651580/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=282136 CPUtime=0.36 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 1830 0 0 0 36 0 0 0 25 0 4 0 652387655 288907264 1695 33554432000 4194304 4580107 140735998985600 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 70534 1695 377 95 0 65516 0
[pid=8190/tid=8191] ppid=8188 vsize=282136 CPUtime=0.09 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 391 0 0 0 9 0 0 0 18 0 4 0 652387655 288907264 1695 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=282136 CPUtime=0.08 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 326 0 0 0 8 0 0 0 25 0 4 0 652387655 288907264 1695 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=282136 CPUtime=0.09 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 281 0 0 0 9 0 0 0 25 0 4 0 652387655 288907264 1695 33554432000 4194304 4580107 140735998985600 18446744073709551615 4296003 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282136

[startup+0.300653 s]
/proc/loadavg: 8.09 8.11 8.06 5/320 8190
/proc/meminfo: memFree=10651580/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=283508 CPUtime=1.17 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 2970 0 0 0 116 1 0 0 25 0 4 0 652387655 290312192 2165 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293167 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 70877 2165 377 95 0 65859 0
[pid=8190/tid=8191] ppid=8188 vsize=283508 CPUtime=0.29 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 662 0 0 0 29 0 0 0 18 0 4 0 652387655 290312192 2165 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=283508 CPUtime=0.28 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 606 0 0 0 28 0 0 0 25 0 4 0 652387655 290312192 2165 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=283508 CPUtime=0.29 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 577 0 0 0 29 0 0 0 25 0 4 0 652387655 290312192 2165 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283508

[startup+0.700578 s]
/proc/loadavg: 8.09 8.11 8.06 5/320 8190
/proc/meminfo: memFree=10651580/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=284328 CPUtime=2.76 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 4688 0 0 0 275 1 0 0 25 0 4 0 652387655 291151872 2884 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 71082 2884 377 95 0 66064 0
[pid=8190/tid=8191] ppid=8188 vsize=284328 CPUtime=0.69 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 1096 0 0 0 69 0 0 0 18 0 4 0 652387655 291151872 2884 33554432000 4194304 4580107 140735998985600 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=284328 CPUtime=0.68 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 1076 0 0 0 68 0 0 0 25 0 4 0 652387655 291151872 2884 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=284328 CPUtime=0.69 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 962 0 0 0 69 0 0 0 25 0 4 0 652387655 291151872 2884 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284328

[startup+1.50043 s]
/proc/loadavg: 8.09 8.11 8.06 9/324 8194
/proc/meminfo: memFree=10638528/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=285632 CPUtime=5.96 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 8062 0 0 0 594 2 0 0 25 0 4 0 652387655 292487168 3423 33554432000 4194304 4580107 140735998985600 18446744073709551615 4234472 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 71408 3423 379 95 0 66390 0
[pid=8190/tid=8191] ppid=8188 vsize=285632 CPUtime=1.48 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 1968 0 0 0 148 0 0 0 19 0 4 0 652387655 292487168 3423 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=285632 CPUtime=1.46 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 1924 0 0 0 146 0 0 0 25 0 4 0 652387655 292487168 3423 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=285632 CPUtime=1.48 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 1772 0 0 0 148 0 0 0 25 0 4 0 652387655 292487168 3423 33554432000 4194304 4580107 140735998985600 18446744073709551615 4318699 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285632

[startup+3.10113 s]
/proc/loadavg: 8.08 8.10 8.06 9/324 8194
/proc/meminfo: memFree=10623820/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=277384 CPUtime=12.34 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 18843 0 0 0 1230 4 0 0 25 0 4 0 652387655 284041216 10406 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 69346 10406 379 95 0 64328 0
[pid=8190/tid=8191] ppid=8188 vsize=277384 CPUtime=3.08 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 4371 0 0 0 308 0 0 0 25 0 4 0 652387655 284041216 10406 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=277384 CPUtime=3.06 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 5258 0 0 0 305 1 0 0 25 0 4 0 652387655 284041216 10406 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=277384 CPUtime=3.09 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 3897 0 0 0 308 1 0 0 25 0 4 0 652387655 284041216 10406 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 277384

[startup+6.30052 s]
/proc/loadavg: 8.08 8.10 8.06 9/324 8194
/proc/meminfo: memFree=10587612/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=278780 CPUtime=25.1 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 29902 0 0 0 2504 6 0 0 25 0 4 0 652387655 285470720 15676 33554432000 4194304 4580107 140735998985600 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 69695 15676 379 95 0 64677 0
[pid=8190/tid=8191] ppid=8188 vsize=278780 CPUtime=6.29 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 7846 0 0 0 628 1 0 0 25 0 4 0 652387655 285470720 15676 33554432000 4194304 4580107 140735998985600 18446744073709551615 4339077 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=278780 CPUtime=6.22 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 8751 0 0 0 621 1 0 0 25 0 4 0 652387655 285470720 15676 33554432000 4194304 4580107 140735998985600 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=278780 CPUtime=6.28 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 5549 0 0 0 627 1 0 0 25 0 4 0 652387655 285470720 15676 33554432000 4194304 4580107 140735998985600 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 278780

[startup+12.7003 s]
/proc/loadavg: 8.07 8.10 8.06 9/324 8194
/proc/meminfo: memFree=10560984/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=289172 CPUtime=50.64 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 47449 0 0 0 5054 10 0 0 25 0 4 0 652387655 296112128 22022 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 72293 22022 379 95 0 67275 0
[pid=8190/tid=8191] ppid=8188 vsize=289172 CPUtime=12.69 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 11601 0 0 0 1267 2 0 0 25 0 4 0 652387655 296112128 22022 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=289172 CPUtime=12.56 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 12203 0 0 0 1254 2 0 0 25 0 4 0 652387655 296112128 22022 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=289172 CPUtime=12.68 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 9322 0 0 0 1266 2 0 0 25 0 4 0 652387655 296112128 22022 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 289172

[startup+25.5009 s]
/proc/loadavg: 8.06 8.10 8.06 9/324 8195
/proc/meminfo: memFree=10498224/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=298876 CPUtime=101.71 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 72770 0 0 0 10156 15 0 0 25 0 4 0 652387655 306049024 30263 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 74719 30263 379 95 0 69701 0
[pid=8190/tid=8191] ppid=8188 vsize=298876 CPUtime=25.49 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 18864 0 0 0 2546 3 0 0 25 0 4 0 652387655 306049024 30263 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=298876 CPUtime=25.22 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 19815 0 0 0 2519 3 0 0 25 0 4 0 652387655 306049024 30263 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=298876 CPUtime=25.49 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 12803 0 0 0 2545 4 0 0 25 0 4 0 652387655 306049024 30263 33554432000 4194304 4580107 140735998985600 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 298876

[startup+51.101 s]
/proc/loadavg: 8.04 8.09 8.06 9/324 8195
/proc/meminfo: memFree=10469816/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=355872 CPUtime=203.86 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 105200 0 0 0 20361 25 0 0 25 0 4 0 652387655 364412928 36882 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 88968 36882 379 95 0 83950 0
[pid=8190/tid=8191] ppid=8188 vsize=355872 CPUtime=51.08 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 26160 0 0 0 5103 5 0 0 25 0 4 0 652387655 364412928 36882 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=355872 CPUtime=50.57 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 29414 0 0 0 5052 5 0 0 25 0 4 0 652387655 364412928 36882 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=355872 CPUtime=51.09 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 17935 0 0 0 5103 6 0 0 25 0 4 0 652387655 364412928 36882 33554432000 4194304 4580107 140735998985600 18446744073709551615 4321513 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 355872

[startup+102.312 s]
/proc/loadavg: 8.05 8.08 8.06 9/324 8197
/proc/meminfo: memFree=10428872/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=366892 CPUtime=408.19 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 151650 0 0 0 40778 41 0 0 25 0 4 0 652387655 375697408 45172 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 91723 45172 379 95 0 86705 0
[pid=8190/tid=8191] ppid=8188 vsize=366892 CPUtime=102.3 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 35659 0 0 0 10222 8 0 0 25 0 4 0 652387655 375697408 45172 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=366892 CPUtime=101.27 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 43402 0 0 0 10116 11 0 0 25 0 4 0 652387655 375697408 45172 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=366892 CPUtime=102.3 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 27408 0 0 0 10221 9 0 0 25 0 4 0 652387655 375697408 45172 33554432000 4194304 4580107 140735998985600 18446744073709551615 4321207 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.19
Current children cumulated vsize (KiB) 366892

[startup+162.301 s]

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

[pid=8190] ppid=8188 vsize=689328 CPUtime=2802.11 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 443243 0 0 0 280058 153 0 0 25 0 4 0 652387655 705871872 105329 33554432000 4194304 4580107 140735998985600 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 172332 105329 379 95 0 167314 0
[pid=8190/tid=8191] ppid=8188 vsize=689328 CPUtime=702.21 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 114258 0 0 0 70181 40 0 0 25 0 4 0 652387655 705871872 105329 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=689328 CPUtime=695.28 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 116942 0 0 0 69492 36 0 0 25 0 4 0 652387655 705871872 105329 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=689328 CPUtime=702.32 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 79858 0 0 0 70200 32 0 0 25 0 4 0 652387655 705871872 105329 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.11
Current children cumulated vsize (KiB) 689328

[startup+762.312 s]
/proc/loadavg: 8.18 8.13 8.09 9/324 8245
/proc/meminfo: memFree=10436252/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=626776 CPUtime=3041.54 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 468942 0 0 0 303992 162 0 0 25 0 4 0 652387655 641818624 113731 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 156694 113731 379 95 0 151676 0
[pid=8190/tid=8191] ppid=8188 vsize=626776 CPUtime=762.22 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 121429 0 0 0 76179 43 0 0 25 0 4 0 652387655 641818624 113731 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=626776 CPUtime=754.68 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 123971 0 0 0 75430 38 0 0 25 0 4 0 652387655 641818624 113731 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=626776 CPUtime=762.33 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 85317 0 0 0 76199 34 0 0 25 0 4 0 652387655 641818624 113731 33554432000 4194304 4580107 140735998985600 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.54
Current children cumulated vsize (KiB) 626776

[startup+822.3 s]
/proc/loadavg: 8.17 8.14 8.09 9/324 8247
/proc/meminfo: memFree=10446772/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=585556 CPUtime=3280.91 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 493549 0 0 0 327916 175 0 0 25 0 4 0 652387655 599609344 104152 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 146389 104152 379 95 0 141371 0
[pid=8190/tid=8191] ppid=8188 vsize=585556 CPUtime=822.2 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 128984 0 0 0 82173 47 0 0 25 0 4 0 652387655 599609344 104152 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=585556 CPUtime=814.08 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 130980 0 0 0 81367 41 0 0 25 0 4 0 652387655 599609344 104152 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=585556 CPUtime=822.32 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 88025 0 0 0 82196 36 0 0 25 0 4 0 652387655 599609344 104152 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3280.91
Current children cumulated vsize (KiB) 585556

[startup+882.301 s]
/proc/loadavg: 8.06 8.11 8.09 9/324 8248
/proc/meminfo: memFree=10392040/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=664248 CPUtime=3520.3 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 524671 0 0 0 351841 189 0 0 25 0 4 0 652387655 680189952 117406 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 166062 117407 379 95 0 161044 0
[pid=8190/tid=8191] ppid=8188 vsize=664248 CPUtime=882.18 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 139978 0 0 0 88168 50 0 0 25 0 4 0 652387655 680189952 117407 33554432000 4194304 4580107 140735998985600 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=664248 CPUtime=873.48 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 138017 0 0 0 87304 44 0 0 25 0 4 0 652387655 680189952 117407 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=664248 CPUtime=882.32 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 93540 0 0 0 88194 38 0 0 25 0 4 0 652387655 680189952 117407 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.3
Current children cumulated vsize (KiB) 664248

[startup+942.301 s]
/proc/loadavg: 8.08 8.10 8.09 9/324 8250
/proc/meminfo: memFree=10309932/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=716652 CPUtime=3759.7 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 550622 0 0 0 375770 200 0 0 25 0 4 0 652387655 733851648 123687 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 179163 123687 379 95 0 174145 0
[pid=8190/tid=8191] ppid=8188 vsize=716652 CPUtime=942.18 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 144007 0 0 0 94165 53 0 0 25 0 4 0 652387655 733851648 123687 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=716652 CPUtime=932.89 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 147408 0 0 0 93241 48 0 0 25 0 4 0 652387655 733851648 123687 33554432000 4194304 4580107 140735998985600 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=716652 CPUtime=942.32 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 98462 0 0 0 94192 40 0 0 25 0 4 0 652387655 733851648 123687 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3759.7
Current children cumulated vsize (KiB) 716652

[startup+1002.3 s]
/proc/loadavg: 8.07 8.10 8.08 9/324 8252
/proc/meminfo: memFree=10280276/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=704204 CPUtime=3999.1 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 571854 0 0 0 399700 210 0 0 25 0 4 0 652387655 721104896 125045 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 176051 125045 379 95 0 171033 0
[pid=8190/tid=8191] ppid=8188 vsize=704204 CPUtime=1002.17 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 147818 0 0 0 100163 54 0 0 25 0 4 0 652387655 721104896 125045 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=704204 CPUtime=992.28 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 152624 0 0 0 99179 49 0 0 25 0 4 0 652387655 721104896 125045 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=704204 CPUtime=1002.32 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 103086 0 0 0 100190 42 0 0 25 0 4 0 652387655 721104896 125045 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.1
Current children cumulated vsize (KiB) 704204

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 8.08 9/324 8253
/proc/meminfo: memFree=10260776/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=651896 CPUtime=4238.5 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 591554 0 0 0 423630 220 0 0 25 0 4 0 652387655 667541504 120450 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 162974 120450 379 95 0 157956 0
[pid=8190/tid=8191] ppid=8188 vsize=651896 CPUtime=1062.16 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 148499 0 0 0 106161 55 0 0 25 0 4 0 652387655 667541504 120450 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=651896 CPUtime=1051.69 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 159875 0 0 0 105117 52 0 0 25 0 4 0 652387655 667541504 120450 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=651896 CPUtime=1062.33 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 107229 0 0 0 106188 45 0 0 25 0 4 0 652387655 667541504 120450 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4238.5
Current children cumulated vsize (KiB) 651896

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 8.08 9/324 8255
/proc/meminfo: memFree=10255296/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=730872 CPUtime=4477.9 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 613295 0 0 0 447560 230 0 0 25 0 4 0 652387655 748412928 129379 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 182718 129379 379 95 0 177700 0
[pid=8190/tid=8191] ppid=8188 vsize=730872 CPUtime=1122.16 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 153531 0 0 0 112159 57 0 0 25 0 4 0 652387655 748412928 129379 33554432000 4194304 4580107 140735998985600 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=730872 CPUtime=1111.09 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 166776 0 0 0 111053 56 0 0 25 0 4 0 652387655 748412928 129379 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=730872 CPUtime=1122.33 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 109348 0 0 0 112187 46 0 0 25 0 4 0 652387655 748412928 129379 33554432000 4194304 4580107 140735998985600 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4477.9
Current children cumulated vsize (KiB) 730872

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 8.09 9/324 8256
/proc/meminfo: memFree=10217568/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=836508 CPUtime=4717.29 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 635768 0 0 0 471491 238 0 0 25 0 4 0 652387655 856584192 134594 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 209127 134594 379 95 0 204109 0
[pid=8190/tid=8191] ppid=8188 vsize=836508 CPUtime=1182.15 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 158277 0 0 0 118157 58 0 0 25 0 4 0 652387655 856584192 134594 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=836508 CPUtime=1170.49 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 173744 0 0 0 116991 58 0 0 25 0 4 0 652387655 856584192 134594 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=836508 CPUtime=1182.33 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 113620 0 0 0 118185 48 0 0 25 0 4 0 652387655 856584192 134594 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4717.29
Current children cumulated vsize (KiB) 836508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.18 8.11 8.09 9/324 8257
/proc/meminfo: memFree=10198948/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=769924 CPUtime=4800.3 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 643019 0 0 0 479788 242 0 0 25 0 4 0 652387655 788402176 136914 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 192481 136914 379 95 0 187463 0
[pid=8190/tid=8191] ppid=8188 vsize=769924 CPUtime=1202.95 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 161091 0 0 0 120236 59 0 0 25 0 4 0 652387655 788402176 136915 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=769924 CPUtime=1191.09 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 174357 0 0 0 119050 59 0 0 25 0 4 0 652387655 788402176 136915 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=769924 CPUtime=1203.14 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 115713 0 0 0 120265 49 0 0 25 0 4 0 652387655 788402176 136915 33554432000 4194304 4580107 140735998985600 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 769924

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

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

[startup+1203.1 s]
/proc/loadavg: 8.18 8.11 8.09 9/324 8257
/proc/meminfo: memFree=10198948/32951124 swapFree=67093864/67111528
[pid=8190] ppid=8188 vsize=769924 CPUtime=4800.3 cores=0,2,4,6
/proc/8190/stat : 8190 (strangenight2-m) R 8188 8190 7962 0 -1 4202496 643019 0 0 0 479788 242 0 0 25 0 4 0 652387655 788402176 136914 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8190/statm: 192481 136914 379 95 0 187463 0
[pid=8190/tid=8191] ppid=8188 vsize=769924 CPUtime=1202.95 cores=0,2,4,6
/proc/8190/task/8191/stat : 8191 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 161091 0 0 0 120236 59 0 0 25 0 4 0 652387655 788402176 136915 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8190/tid=8192] ppid=8188 vsize=769924 CPUtime=1191.09 cores=0,2,4,6
/proc/8190/task/8192/stat : 8192 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 174357 0 0 0 119050 59 0 0 25 0 4 0 652387655 788402176 136915 33554432000 4194304 4580107 140735998985600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8190/tid=8193] ppid=8188 vsize=769924 CPUtime=1203.14 cores=0,2,4,6
/proc/8190/task/8193/stat : 8193 (strangenight2-m) R 8188 8190 7962 0 -1 4202560 115713 0 0 0 120265 49 0 0 25 0 4 0 652387655 788402176 136915 33554432000 4194304 4580107 140735998985600 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 769924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.37
CPU user time (s): 4797.92
CPU system time (s): 2.44763
CPU usage (%): 398.986
Max. virtual memory (cumulated for all children) (KiB): 890104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.92
system time used= 2.44763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 643020
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= 402
involuntary context switches= 22390

runsolver used 3.35749 second user time and 8.71167 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-14 23:17:33
IDJOB=3366557
IDBENCH=82966
IDSOLVER=1844
FILE ID=node102/3366557-1305407853
RUNJOBID= node102-1305405872-7980
PBS_JOBID= 13324503
Free space on /tmp= 73532 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366557-1305407853/watcher-3366557-1305407853 -o /tmp/evaluation-result-3366557-1305407853/solver-3366557-1305407853 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366557-1305407853.cnf

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

MD5SUM BENCH= 27350cd58dd0500df065558763d7d963
RANDOM SEED=1989195049

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10651744 kB
Buffers:        256908 kB
Cached:        2804776 kB
SwapCached:       1128 kB
Active:       20024232 kB
Inactive:      1981232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10651744 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:            5444 kB
Writeback:           0 kB
AnonPages:    18942144 kB
Mapped:          26872 kB
Slab:           176720 kB
PageTables:      54148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59699064 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= 73524 MiB
End job on node102 at 2011-05-14 23:37:38