Trace number 3174087

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.24 1202.34

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf
MD5SUM5aca76da937068f3a8e48a26305deff6
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 variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174087-1304089438.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2982/2982 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:    700 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.80	c lits-rem:         0  cl-subs:        0  v-elim:     21  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:     314 undec:      86 neg:     300
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       679      2944         0         0      8947         0   no data   no data
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4921       679      2944         0      4865      8947    149260   no data   no data
0.00/0.80	c  N st    10     11304       679      2944         0      4504      8947     98256   no data   no data
0.00/0.80	c  N st    11     17047       679      2944         0     10212      8947    279153   no data   no data
5.00/1.30	c  F st    12     25000       679      2944         0     12515      8947    342370   no data   no data
5.00/1.30	c  N st    12     25000       679      2944         0     12515      8947    342370   no data   no data
5.97/1.50	c Decided on static restart strategy
5.97/1.50	c  N st    18     30000       679      2944         0     10746      8947    254530   no data   no data
5.97/1.50	c  S st    18     30000       679      2944         0     10746      8947    254530   no data   no data
5.97/1.52	c  S st    18     30502       679      2944         0     11248      8947    268319   no data   no data
5.97/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.53	c blocked clauses removed:        1 vars:      1 tried:         679 T: 0.00 s
5.97/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
5.97/1.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.59	c lits-rem:       128  cl-subs:      245  v-elim:      0  v-fix:    0  time:  0.04 s
5.97/1.59	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.01
5.97/1.60	c calculated reachability. Time: 0.00
5.97/1.60	c  N st    18     30502       678      2943         0     11001      8944    259349   no data   no data
7.96/2.02	c  N st    20     37612       678      2943         0     10220      8944    216578   no data   no data
9.56/2.46	c  N st    21     44011       678      2943         0     16523      8944    415751   no data   no data
9.96/2.58	c  S st    22     45754       678      2943         0      9445      8944    170144   no data   no data
10.37/2.60	c  S st    22     46258       678      2943         0      9949      8944    183822   no data   no data
10.37/2.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.37/2.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.37/2.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.37/2.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.37/2.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.37/2.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
10.37/2.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.37/2.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.37/2.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.37/2.63	c lits-rem:        58  cl-subs:       43  v-elim:      0  v-fix:    0  time:  0.01 s
10.37/2.63	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
10.37/2.63	c vivif2 --  cl tried     9906 cl shrink        0 lits rem          0 time: 0.00
10.37/2.64	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.01
10.37/2.64	c calculated reachability. Time: 0.00
10.37/2.64	c  N st    22     46258       678      2943         0      9906      8944    182257   no data   no data
14.26/3.66	c  N st    23     60655       678      2943         0     14282      8944    304250   no data   no data
17.05/4.33	c  N st    24     69388       678      2943         0     12073      8944    221655   no data   no data
17.05/4.33	c  S st    24     69388       678      2943         0     12073      8944    221655   no data   no data
17.05/4.37	c  S st    24     69893       678      2943         0     12578      8944    235125   no data   no data
17.05/4.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.05/4.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.05/4.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.05/4.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.05/4.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.05/4.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
17.05/4.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.05/4.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.05/4.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.45/4.41	c lits-rem:        52  cl-subs:       85  v-elim:      0  v-fix:    0  time:  0.02 s
17.45/4.41	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
17.45/4.41	c vivif2 --  cl tried    12493 cl shrink        0 lits rem          0 time: 0.00
17.45/4.42	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.01
17.45/4.42	c calculated reachability. Time: 0.00
17.45/4.42	c  N st    24     69893       678      2943         0     12493      8944    232224   no data   no data
23.05/5.80	c  F st    25     87501       678      2943         0     18031      8944    398566   no data   no data
23.05/5.80	c  N st    25     87501       678      2943         0     18031      8944    398566   no data   no data
24.66/6.27	c  N dy    32     93186       678      2943         0     23650      8944    570433     20.37     21.64
27.04/6.83	c  N dy    42    100143       678      2943         0     17623      8944    301123     18.63     19.66
28.64/7.22	c  S st    70    104840       678      2943         0     22280      8944    431932     18.96     16.84
28.64/7.27	c  S st    70    105343       678      2943         0     22783      8944    445645     18.96   no data
28.64/7.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.64/7.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.64/7.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.64/7.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.64/7.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.64/7.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
28.64/7.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.64/7.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.64/7.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.05/7.38	c lits-rem:        85  cl-subs:      289  v-elim:      0  v-fix:    0  time:  0.08 s
29.05/7.38	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
29.05/7.39	c vivif2 --  cl tried    22494 cl shrink        0 lits rem          0 time: 0.00
29.45/7.40	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.01
29.45/7.40	c calculated reachability. Time: 0.00
29.45/7.40	c  N dy    70    105343       678      2943         0     22494      8944    436752     18.96   no data
32.21/8.11	c  N dy   117    112952       678      2943         0     16165      8944    223131     19.43     20.79
34.60/8.71	c  N dy   135    120255       678      2943         0     23414      8944    429417     19.28     20.92
37.82/9.53	c  N dy   184    128097       678      2943         0     16326      8944    201267     19.45     20.85
40.60/10.21	c  N dy   218    136343       678      2943         0     24519      8944    442247     19.50     21.99
44.19/11.16	c  N dy   258    145794       678      2943         0     18017      8944    223746     19.52     20.62
47.39/11.99	c  N dy   305    155222       678      2943         0     27386      8944    496113     19.57     20.63
48.98/12.30	c  S st   314    158015       678      2943         0     30151      8944    575441     19.54     14.81
48.98/12.37	c  S st   314    158517       678      2943         0     30652      8944    588936     19.54   no data
48.98/12.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.98/12.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.98/12.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.98/12.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.98/12.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.98/12.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
48.98/12.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.98/12.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.38/12.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.78/12.56	c lits-rem:       150  cl-subs:      305  v-elim:      0  v-fix:    0  time:  0.14 s
49.78/12.56	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
49.78/12.57	c vivif2 --  cl tried    30347 cl shrink        0 lits rem          0 time: 0.01
49.78/12.59	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.02
49.78/12.59	c calculated reachability. Time: 0.00
49.78/12.59	c  N dy   314    158517       678      2943         0     30347      8944    577998     19.54   no data
53.78/13.57	c  N dy   364    168640       678      2943         0     23523      8944    353707     19.59     20.67
58.97/14.86	c  N dy   405    180505       678      2943         0     35280      8944    693849     19.55     20.80
64.18/16.13	c  N dy   433    193652       678      2943         0     30465      8944    536922     19.36     20.50
69.76/17.59	c  N dy   511    206129       678      2943         0     24005      8944    322087     19.47     20.50
76.55/19.24	c  N dy   599    220407       678      2943         0     38212      8944    737224     19.56     20.70
82.94/20.89	c  N dy   677    234765       678      2943         0     32615      8944    549760     19.65     20.73
84.93/21.35	c  S st   685    237775       678      2943         0     35607      8944    635489     19.63     18.16
85.33/21.44	c  S st   685    238278       678      2943         0     36109      8944    649804     19.63   no data
85.33/21.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.33/21.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.33/21.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.33/21.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.33/21.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.33/21.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
85.33/21.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.33/21.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.33/21.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.15/21.67	c lits-rem:       252  cl-subs:      335  v-elim:      0  v-fix:    0  time:  0.19 s
86.15/21.67	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
86.15/21.68	c vivif2 --  cl tried    35774 cl shrink        0 lits rem          0 time: 0.01
86.56/21.71	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.02
86.56/21.71	c calculated reachability. Time: 0.00
86.56/21.71	c  N dy   685    238278       678      2943         0     35774      8944    637931     19.63   no data
93.72/23.51	c  N dy   753    253578       678      2943         0     30086      8944    449555     19.66     20.89
102.11/25.63	c  N dy   840    269918       678      2943         0     24454      8944    260179     19.71     20.78
110.50/27.74	c  N dy   929    287169       678      2943         0     41612      8944    766913     19.74     20.81
119.68/30.04	c  N dy  1011    305596       678      2943         0     37038      8944    604577     19.77     20.82
120.08/30.14	c  F st  1015    306251       678      2943         0     37685      8944    623489     19.77     18.56
130.86/32.84	c  N dy  1074    327330       678      2943         0     34770      8944    519760     19.76     20.80
142.05/35.66	c  N dy  1118    347726       678      2943         0     30157      8944    355023     19.65     20.80
147.24/36.94	c  S st  1185    357418       678      2943         0     39798      8944    640359     19.70   no data
147.66/37.03	c  S st  1185    357919       678      2943         0     40299      8944    654871     19.70   no data
147.66/37.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.66/37.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
147.66/37.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.66/37.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.66/37.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.66/37.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
147.66/37.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
147.66/37.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.66/37.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.43/37.29	c lits-rem:       150  cl-subs:      339  v-elim:      0  v-fix:    0  time:  0.21 s
148.43/37.29	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
148.83/37.30	c vivif2 --  cl tried    39960 cl shrink        0 lits rem          0 time: 0.01
148.83/37.32	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.03
148.83/37.32	c calculated reachability. Time: 0.00
148.83/37.32	c  N dy  1185    357919       678      2943         0     39960      8944    642491     19.70   no data
160.83/40.32	c  N dy  1298    378191       678      2943         0     34302      8944    458082     19.74     20.87
177.69/44.93	c  N dy  1391    398496       678      2943         0     27644      8944    234741     19.76     20.91
188.88/47.77	c  N dy  1456    418532       678      2943         0     47475      8944    809749     19.73     21.19
201.26/50.88	c  N dy  1533    438671       678      2943         0     39700      8944    567938     19.72     20.76
216.04/54.50	c  N dy  1655    458684       678      2943         0     30786      8944    280469     19.76     21.22
228.03/57.51	c  N dy  1775    478686       678      2943         0     50647      8944    871208     19.81     23.60
241.20/60.88	c  N dy  1851    498782       678      2943         0     40807      8944    550424     19.81     23.89
256.41/64.68	c  N dy  1947    518922       678      2943         0     60806      8944   1137807     19.82     21.03
267.17/67.35	c  S st  2024    536878       678      2943         0     47873      8944    737232     19.83     20.79
267.57/67.46	c  S st  2024    537378       678      2943         0     48373      8944    751509     19.83   no data
267.57/67.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
267.57/67.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
267.57/67.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
267.57/67.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
267.57/67.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
267.57/67.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
267.57/67.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
267.97/67.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
267.97/67.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.19/67.80	c lits-rem:       153  cl-subs:      513  v-elim:      0  v-fix:    0  time:  0.28 s
269.19/67.80	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
269.19/67.81	c vivif2 --  cl tried    47860 cl shrink        0 lits rem          0 time: 0.01
269.19/67.85	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.04
269.19/67.85	c calculated reachability. Time: 0.00
269.19/67.85	c  N dy  2024    537378       678      2943         0     47860      8944    734273     19.83   no data
285.14/71.86	c  N dy  2102    557649       678      2943         0     36189      8944    372862     19.82     20.90
299.51/75.41	c  N dy  2172    578425       678      2943         0     56797      8944    973974     19.80     21.01
317.50/80.00	c  N dy  2244    604777       678      2943         0     50117      8944    747229     19.75     20.89
335.86/84.50	c  N dy  2347    626339       678      2943         0     37810      8944    373027     19.77     20.85
349.85/88.04	c  N dy  2430    646806       678      2943         0     58110      8944    973301     19.76     20.86
366.24/92.17	c  N dy  2530    667629       678      2943         0     44092      8944    536848     19.77     21.05
383.82/96.56	c  N dy  2602    689844       678      2943         0     66081      8944   1179777     19.76     21.00
399.38/100.45	c  N dy  2726    710329       678      2943         0     50760      8944    712964     19.79     21.14
418.57/105.27	c  N dy  2795    730397       678      2943         0     70597      8944   1284563     19.77     21.10
434.13/109.13	c  N dy  2895    750436       678      2943         0     53799      8944    776304     19.79     20.99
454.13/114.12	c  N dy  3022    770486       678      2943         0     73727      8944   1367306     19.82     21.02
468.89/117.84	c  N dy  3123    790820       678      2943         0     56212      8944    822006     19.83     20.94
483.27/121.48	c  S st  3197    806067       678      2943         0     71352      8944   1277052     19.84     17.62
484.07/121.65	c  S st  3197    806568       678      2943         0     71853      8944   1291255     19.84   no data
484.07/121.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
484.07/121.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
484.07/121.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
484.07/121.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
484.07/121.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
484.07/121.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
484.07/121.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
484.49/121.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
484.49/121.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
487.67/122.57	c lits-rem:       186  cl-subs:      991  v-elim:      0  v-fix:    0  time:  0.82 s
487.67/122.57	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
487.67/122.59	c vivif2 --  cl tried    70862 cl shrink        0 lits rem          0 time: 0.02
488.07/122.65	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.06
488.07/122.66	c calculated reachability. Time: 0.00
488.07/122.66	c  N dy  3197    806568       678      2943         0     70862      8944   1258420     19.84   no data
504.04/126.65	c  N dy  3258    826658       678      2943         0     52049      8944    675688     19.83     23.10
523.61/131.55	c  N dy  3372    847400       678      2943         0     72635      8944   1286770     19.85     20.93
541.10/135.91	c  N dy  3458    867856       678      2943         0     53281      8944    692065     19.86     21.00
560.52/140.85	c  N dy  3591    887920       678      2943         0     73188      8944   1287392     19.89     21.82
578.68/145.45	c  N dy  3710    907985       678      2943         0     52412      8944    646002     19.91     24.59
598.04/150.33	c  N dy  3830    928055       678      2943         0     72326      8944   1234491     19.93     21.07
615.49/154.74	c  N dy  3842    948152       678      2943         0     50537      8944    549456     19.88     21.57
633.06/159.19	c  N dy  3908    968492       678      2943         0     70650      8944   1128943     19.88     20.99
654.62/164.55	c  N dy  4010    988581       678      2943         0     47984      8944    468824     19.89     21.67
672.20/168.93	c  N dy  4121   1008635       678      2943         0     67859      8944   1067311     19.91     22.00
696.96/175.11	c  N dy  4238   1028650       678      2943         0     44112      8944    328600     19.93     23.49
712.93/179.13	c  N dy  4342   1048869       678      2943         0     64164      8944    924046     19.94     21.00
735.30/184.79	c  N dy  4423   1069121       678      2943         0     84261      8944   1525563     19.93     21.09
739.30/185.71	c  F st  4428   1071876       678      2943         0     86981      8944   1603023     19.93     17.39
744.50/187.00	c Decided on static restart strategy
754.08/189.43	c  N st  4437   1090581       678      2943         0     60856      8944    834711     19.93   no data
778.06/195.50	c  N st  4439   1114576       678      2943         0     84564      8944   1582013     19.93   no data
797.62/200.35	c  N st  4440   1136171       678      2943         0     60310      8944   1348411     19.93   no data
833.58/209.32	c  N st  4441   1168564       678      2943         0     92278      8944   2423509     19.93   no data
876.30/220.07	c  N st  4442   1209852       678      2943         0     86484      8944   2051075     19.93   no data
876.30/220.07	c  S st  4442   1209852       678      2943         0     86484      8944   2051075     19.93   no data
877.50/220.39	c  S st  4442   1210356       678      2943         0     86988      8944   2066084     19.93   no data
877.50/220.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
877.90/220.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
877.90/220.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
877.90/220.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
877.90/220.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
877.90/220.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
877.90/220.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
877.90/220.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
878.30/220.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
909.45/228.33	c lits-rem:       523  cl-subs:     3928  v-elim:      0  v-fix:    0  time:  7.78 s
909.45/228.33	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
909.45/228.35	c vivif2 --  cl tried    83060 cl shrink        0 lits rem          0 time: 0.03
909.87/228.44	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.09
909.87/228.44	c calculated reachability. Time: 0.00
909.87/228.44	c  N st  4442   1210356       678      2943         0     83060      8944   1934189     19.93   no data
984.57/247.11	c  N st  4443   1283238       678      2943         0     59317      8944   1102242     19.93   no data
1090.01/273.56	c  N st  4444   1392563       678      2943         0     67702      8944   1370256     19.93   no data
1271.34/318.97	c  N st  4445   1556548       678      2943         0     72682      8944   1359125     19.93   no data
1454.28/364.79	c  N st  4446   1710356       678      2943         0     58249      8944    774003     19.93   no data
1454.28/364.79	c  S st  4446   1710356       678      2943         0     58249      8944    774003     19.93   no data
1455.09/364.95	c  S st  4446   1710860       678      2943         0     58753      8944    788861     19.93   no data
1455.09/364.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1455.09/364.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1455.09/364.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1455.09/364.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1455.09/364.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1455.09/364.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
1455.09/364.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1455.47/365.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1455.47/365.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1456.67/365.38	c lits-rem:       120  cl-subs:      384  v-elim:      0  v-fix:    0  time:  0.36 s
1456.67/365.38	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
1457.07/365.40	c vivif2 --  cl tried    58369 cl shrink        0 lits rem          0 time: 0.01
1457.07/365.45	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.05
1457.07/365.45	c calculated reachability. Time: 0.00
1457.07/365.45	c  N st  4446   1710860       678      2943         0     58369      8944    778148     19.93   no data
1933.21/484.69	c  N st  4447   2079824       678      2943         0     64231      8944    805185     19.93   no data
2108.57/528.51	c  N st  4448   2210864       678      2943         0     66542      8944    832786     19.93   no data
2108.57/528.51	c  S st  4448   2210864       678      2943         0     66542      8944    832786     19.93   no data
2108.97/528.69	c  S st  4448   2211367       678      2943         0     67045      8944    847323     19.93   no data
2108.97/528.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2109.39/528.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2109.39/528.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2109.39/528.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2109.39/528.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2109.39/528.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
2109.39/528.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2109.39/528.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2109.39/528.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2110.56/529.05	c lits-rem:       178  cl-subs:      236  v-elim:      0  v-fix:    0  time:  0.28 s
2110.56/529.05	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
2110.56/529.06	c vivif2 --  cl tried    66809 cl shrink        0 lits rem          0 time: 0.01
2110.97/529.12	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.06
2110.97/529.12	c calculated reachability. Time: 0.00
2110.97/529.12	c  N st  4448   2211367       678      2943         0     66809      8944    839389     19.93   no data
2793.67/700.07	c  N st  4449   2711367       678      2943         0     83281      8944   1199454     19.93   no data
2793.67/700.07	c  S st  4449   2711367       678      2943         0     83281      8944   1199454     19.93   no data
2794.88/700.32	c  S st  4449   2711868       678      2943         0     83782      8944   1213480     19.93   no data
2794.88/700.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2794.88/700.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2794.88/700.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2794.88/700.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2794.88/700.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2794.88/700.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
2794.88/700.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2794.88/700.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2795.29/700.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2799.68/701.55	c lits-rem:       226  cl-subs:     1231  v-elim:      0  v-fix:    0  time:  1.11 s
2799.68/701.55	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
2799.68/701.57	c vivif2 --  cl tried    82551 cl shrink        0 lits rem          0 time: 0.02
2800.07/701.65	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.08
2800.07/701.65	c calculated reachability. Time: 0.00
2800.07/701.65	c  N st  4449   2711868       678      2943         0     82551      8944   1174121     19.93   no data
3581.82/897.31	c  N st  4450   3211868       678      2943         0    128032      8944   2378039     19.93   no data
3581.82/897.31	c  S st  4450   3211868       678      2943         0    128032      8944   2378039     19.93   no data
3583.39/897.72	c  S st  4450   3212376       678      2943         0    128540      8944   2393260     19.93   no data
3583.39/897.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3583.79/897.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
3583.79/897.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3583.79/897.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3583.79/897.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3583.79/897.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
3583.79/897.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3583.79/897.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3584.20/897.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3653.30/915.26	c lits-rem:       547  cl-subs:     7721  v-elim:      0  v-fix:    0  time: 17.35 s
3653.30/915.26	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
3653.70/915.30	c vivif2 --  cl tried   120819 cl shrink        0 lits rem          0 time: 0.03
3654.10/915.43	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.13
3654.10/915.43	c calculated reachability. Time: 0.00
3654.10/915.43	c  N st  4450   3212376       678      2943         0    120819      8944   2181123     19.93   no data
4421.87/1107.66	c  N st  4451   3712380       678      2943         0    132202      8944   2594990     19.93   no data
4421.87/1107.66	c  S st  4451   3712380       678      2943         0    132202      8944   2594990     19.93   no data
4423.47/1108.07	c  S st  4451   3712882       678      2943         0    132702      8944   2610262     19.93   no data
4423.47/1108.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4423.87/1108.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4423.87/1108.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4423.87/1108.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4423.87/1108.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4423.87/1108.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    678 time:  0.00 s
4423.87/1108.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4424.28/1108.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4424.28/1108.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4484.60/1123.36	c lits-rem:       474  cl-subs:     5061  v-elim:      0  v-fix:    0  time: 15.08 s
4484.60/1123.36	c vivif2 --  cl tried     2943 cl shrink        0 lits rem          0 time: 0.00
4485.00/1123.40	c vivif2 --  cl tried   127641 cl shrink        0 lits rem          0 time: 0.04
4485.40/1123.54	c asymm  cl-useful: 0/2943/2943 lits-rem:0 time: 0.14
4485.40/1123.55	c calculated reachability. Time: 0.00
4485.40/1123.55	c  N st  4451   3712882       678      2943         0    127641      8944   2431313     19.93   no data
4561.30/1142.57	c  F st  4452   3751562       678      2943         0    165603      8944   3715753     19.93   no data
4561.30/1142.57	c  N st  4452   3751562       678      2943         0    165603      8944   3715753     19.93   no data
4570.87/1144.93	c Decided on static restart strategy
4601.26/1152.51	c  N st  4462   3779868       678      2943         0    110237      8944   1741041     19.93   no data
4668.74/1169.47	c  N st  4464   3815860       678      2943         0    145760      8944   2908672     19.93   no data
4726.27/1183.89	c  N st  4465   3848254       678      2943         0     93152      8944   1152991     19.93   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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174087-1304089438/watcher-3174087-1304089438 -o /tmp/evaluation-result-3174087-1304089438/solver-3174087-1304089438 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174087-1304089438.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.80 8.09 8.05 5/178 12147
/proc/meminfo: memFree=26170064/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 520542488 52441088 348 33554432000 4194304 4627427 140733919129296 18446744073709551615 46951290312626 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12147/statm: 12803 348 299 106 0 7774 0
[pid=12147/tid=12148] ppid=12145 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520542488 52441088 348 33554432000 4194304 4627427 140733919129296 18446744073709551615 46951290312616 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520542488 52441088 348 33554432000 4194304 4627427 140733919129296 18446744073709551615 46951290312616 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520542488 52441088 348 33554432000 4194304 4627427 140733919129296 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.074628 s]
/proc/loadavg: 7.80 8.09 8.05 5/178 12147
/proc/meminfo: memFree=26170064/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=303492 CPUtime=3.33 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 5912 0 0 0 332 1 0 0 19 0 4 0 520542488 310775808 2888 33554432000 4194304 4627427 140733919129296 18446744073709551615 4327616 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12147/statm: 71499 2644 385 106 0 66470 0
[pid=12147/tid=12148] ppid=12145 vsize=285996 CPUtime=0.84 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1444 0 0 0 84 0 0 0 19 0 4 0 520542488 292859904 2644 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=285996 CPUtime=0.84 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1402 0 0 0 84 0 0 0 19 0 4 0 520542488 292859904 2644 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=285996 CPUtime=0.84 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1295 0 0 0 84 0 0 0 19 0 4 0 520542488 292859904 2644 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 303492

[startup+0.957879 s]
/proc/loadavg: 7.80 8.09 8.05 5/178 12147
/proc/meminfo: memFree=26170064/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=285996 CPUtime=3.8 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 6306 0 0 0 379 1 0 0 19 0 4 0 520542488 292859904 2929 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12147/statm: 71499 2929 385 106 0 66470 0
[pid=12147/tid=12148] ppid=12145 vsize=285996 CPUtime=0.94 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1518 0 0 0 94 0 0 0 19 0 4 0 520542488 292859904 2929 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=285996 CPUtime=0.94 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1475 0 0 0 94 0 0 0 19 0 4 0 520542488 292859904 2929 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=285996 CPUtime=0.94 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1365 0 0 0 94 0 0 0 19 0 4 0 520542488 292859904 2929 33554432000 4194304 4627427 140733919129296 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 285996

[startup+1.05786 s]
/proc/loadavg: 7.80 8.09 8.05 5/178 12147
/proc/meminfo: memFree=26170064/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=285996 CPUtime=4.2 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 6601 0 0 0 419 1 0 0 19 0 4 0 520542488 292859904 3224 33554432000 4194304 4627427 140733919129296 18446744073709551615 4332626 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12147/statm: 71499 3224 385 106 0 66470 0
[pid=12147/tid=12148] ppid=12145 vsize=285996 CPUtime=1.04 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1595 0 0 0 104 0 0 0 19 0 4 0 520542488 292859904 3224 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=285996 CPUtime=1.04 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1540 0 0 0 104 0 0 0 19 0 4 0 520542488 292859904 3224 33554432000 4194304 4627427 140733919129296 18446744073709551615 4305826 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=285996 CPUtime=1.04 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1437 0 0 0 104 0 0 0 19 0 4 0 520542488 292859904 3225 33554432000 4194304 4627427 140733919129296 18446744073709551615 4332314 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 285996

[startup+1.15785 s]
/proc/loadavg: 7.80 8.09 8.05 5/178 12147
/proc/meminfo: memFree=26170064/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=285996 CPUtime=4.6 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 6851 0 0 0 459 1 0 0 19 0 4 0 520542488 292859904 3474 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12147/statm: 71499 3474 385 106 0 66470 0
[pid=12147/tid=12148] ppid=12145 vsize=285996 CPUtime=1.14 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1651 0 0 0 114 0 0 0 19 0 4 0 520542488 292859904 3474 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=285996 CPUtime=1.14 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1608 0 0 0 114 0 0 0 19 0 4 0 520542488 292859904 3474 33554432000 4194304 4627427 140733919129296 18446744073709551615 4322185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=285996 CPUtime=1.14 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1497 0 0 0 114 0 0 0 19 0 4 0 520542488 292859904 3474 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 285996

[startup+1.50079 s]
/proc/loadavg: 7.80 8.09 8.05 5/178 12147
/proc/meminfo: memFree=26170064/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=286612 CPUtime=5.97 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 8529 0 0 0 596 1 0 0 20 0 4 0 520542488 293490688 3459 33554432000 4194304 4627427 140733919129296 18446744073709551615 4332210 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12147/statm: 71653 3459 386 106 0 66624 0
[pid=12147/tid=12148] ppid=12145 vsize=286612 CPUtime=1.48 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 2063 0 0 0 148 0 0 0 20 0 4 0 520542488 293490688 3459 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=286612 CPUtime=1.48 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 2026 0 0 0 148 0 0 0 19 0 4 0 520542488 293490688 3459 33554432000 4194304 4627427 140733919129296 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=286612 CPUtime=1.49 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 1918 0 0 0 149 0 0 0 20 0 4 0 520542488 293490688 3459 33554432000 4194304 4627427 140733919129296 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286612

[startup+3.10051 s]
/proc/loadavg: 7.80 8.09 8.05 11/182 12151
/proc/meminfo: memFree=26134296/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=297048 CPUtime=12.35 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 20597 0 0 0 1231 4 0 0 25 0 4 0 520542488 304177152 10952 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12147/statm: 74262 10952 389 106 0 69233 0
[pid=12147/tid=12148] ppid=12145 vsize=297048 CPUtime=3.09 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 4472 0 0 0 308 1 0 0 25 0 4 0 520542488 304177152 10952 33554432000 4194304 4627427 140733919129296 18446744073709551615 4330133 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=297048 CPUtime=3.08 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 5543 0 0 0 307 1 0 0 25 0 4 0 520542488 304177152 10952 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=297048 CPUtime=3.07 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 5049 0 0 0 307 0 0 0 25 0 4 0 520542488 304177152 10952 33554432000 4194304 4627427 140733919129296 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 297048

[startup+6.30696 s]
/proc/loadavg: 8.14 8.15 8.07 9/182 12151
/proc/meminfo: memFree=26118560/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=298300 CPUtime=25.06 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 31355 0 0 0 2498 8 0 0 25 0 4 0 520542488 305459200 14490 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12147/statm: 74575 14490 389 106 0 69546 0
[pid=12147/tid=12148] ppid=12145 vsize=298300 CPUtime=6.29 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 8417 0 0 0 628 1 0 0 25 0 4 0 520542488 305459200 14490 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=298300 CPUtime=6.19 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 7596 0 0 0 616 3 0 0 25 0 4 0 520542488 305459200 14490 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=298300 CPUtime=6.26 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 7292 0 0 0 625 1 0 0 25 0 4 0 520542488 305459200 14490 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 298300

[startup+12.7009 s]
/proc/loadavg: 8.13 8.15 8.07 9/182 12151
/proc/meminfo: memFree=26085636/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=304568 CPUtime=50.59 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 51797 0 0 0 5044 15 0 0 25 0 4 0 520542488 311877632 22780 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12147/statm: 76142 22780 389 106 0 71113 0
[pid=12147/tid=12148] ppid=12145 vsize=304568 CPUtime=12.68 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 13364 0 0 0 1266 2 0 0 25 0 4 0 520542488 311877632 22780 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=304568 CPUtime=12.56 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 12315 0 0 0 1249 7 0 0 25 0 4 0 520542488 311877632 22780 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=304568 CPUtime=12.62 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 12855 0 0 0 1260 2 0 0 25 0 4 0 520542488 311877632 22780 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 304568

[startup+25.5007 s]
/proc/loadavg: 8.18 8.16 8.07 9/182 12152
/proc/meminfo: memFree=26059608/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=314568 CPUtime=101.71 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 77167 0 0 0 10149 22 0 0 25 0 4 0 520542488 322117632 28803 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12147/statm: 78642 28803 389 106 0 73613 0
[pid=12147/tid=12148] ppid=12145 vsize=314568 CPUtime=25.49 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 21107 0 0 0 2544 5 0 0 25 0 4 0 520542488 322117632 28803 33554432000 4194304 4627427 140733919129296 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=314568 CPUtime=25.36 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 18976 0 0 0 2527 9 0 0 25 0 4 0 520542488 322117632 28803 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=314568 CPUtime=25.35 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 18899 0 0 0 2532 3 0 0 25 0 4 0 520542488 322117632 28803 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 314568

[startup+51.1003 s]
/proc/loadavg: 7.84 8.08 8.05 9/182 12183
/proc/meminfo: memFree=26425988/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=325196 CPUtime=202.45 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 112972 0 0 0 20202 43 0 0 25 0 4 0 520542488 333000704 34578 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 81299 34578 389 106 0 76270 0
[pid=12147/tid=12148] ppid=12145 vsize=325196 CPUtime=51.09 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 30084 0 0 0 5100 9 0 0 25 0 4 0 520542488 333000704 34579 33554432000 4194304 4627427 140733919129296 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=325196 CPUtime=50.43 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 28717 0 0 0 5028 15 0 0 25 0 4 0 520542488 333000704 34579 33554432000 4194304 4627427 140733919129296 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=325196 CPUtime=50.8 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 27987 0 0 0 5074 6 0 0 25 0 4 0 520542488 333000704 34579 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.45
Current children cumulated vsize (KiB) 325196

[startup+102.3 s]
/proc/loadavg: 8.01 8.09 8.06 9/182 12185
/proc/meminfo: memFree=26360916/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=328612 CPUtime=406.96 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 165175 0 0 0 40633 63 0 0 25 0 4 0 520542488 336498688 42573 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 82153 42573 389 106 0 77124 0
[pid=12147/tid=12148] ppid=12145 vsize=328612 CPUtime=102.28 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 43382 0 0 0 10215 13 0 0 25 0 4 0 520542488 336498688 42573 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=328612 CPUtime=101.63 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 41145 0 0 0 10144 19 0 0 25 0 4 0 520542488 336498688 42573 33554432000 4194304 4627427 140733919129296 18446744073709551615 4302467 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=328612 CPUtime=101.73 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 44963 0 0 0 10162 11 0 0 25 0 4 0 520542488 336498688 42573 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 406.96
Current children cumulated vsize (KiB) 328612

[startup+162.301 s]

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

[pid=12147] ppid=12145 vsize=623916 CPUtime=2802.87 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 441043 0 0 0 280093 194 0 0 25 0 4 0 520542488 638889984 105934 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 155979 105934 389 106 0 150950 0
[pid=12147/tid=12148] ppid=12145 vsize=623916 CPUtime=702.25 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 101996 0 0 0 70187 38 0 0 25 0 4 0 520542488 638889984 105934 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=623916 CPUtime=701.62 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 121586 0 0 0 70102 60 0 0 25 0 4 0 520542488 638889984 105934 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=623916 CPUtime=697.67 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 97226 0 0 0 69732 35 0 0 25 0 4 0 520542488 638889984 105934 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.87
Current children cumulated vsize (KiB) 623916

[startup+762.301 s]
/proc/loadavg: 8.13 8.09 8.08 9/182 12235
/proc/meminfo: memFree=25961312/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=618100 CPUtime=3042.53 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 455462 0 0 0 304051 202 0 0 25 0 4 0 520542488 632934400 106752 33554432000 4194304 4627427 140733919129296 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 154525 106752 389 106 0 149496 0
[pid=12147/tid=12148] ppid=12145 vsize=618100 CPUtime=762.26 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 105489 0 0 0 76185 41 0 0 25 0 4 0 520542488 632934400 106752 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=618100 CPUtime=761.62 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 124017 0 0 0 76100 62 0 0 25 0 4 0 520542488 632934400 106752 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=618100 CPUtime=757.34 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 100362 0 0 0 75697 37 0 0 25 0 4 0 520542488 632934400 106752 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.53
Current children cumulated vsize (KiB) 618100

[startup+822.3 s]
/proc/loadavg: 8.20 8.12 8.09 9/182 12237
/proc/meminfo: memFree=25946540/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=576076 CPUtime=3282.21 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 468056 0 0 0 328012 209 0 0 25 0 4 0 520542488 589901824 104739 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 144019 104739 389 106 0 138990 0
[pid=12147/tid=12148] ppid=12145 vsize=576076 CPUtime=822.26 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 109664 0 0 0 82183 43 0 0 25 0 4 0 520542488 589901824 104739 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=576076 CPUtime=821.62 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 125070 0 0 0 82100 62 0 0 25 0 4 0 520542488 589901824 104739 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=576076 CPUtime=817.02 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 100809 0 0 0 81665 37 0 0 25 0 4 0 520542488 589901824 104739 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3282.21
Current children cumulated vsize (KiB) 576076

[startup+882.301 s]
/proc/loadavg: 8.16 8.12 8.09 9/182 12238
/proc/meminfo: memFree=25893072/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=602364 CPUtime=3521.88 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 484711 0 0 0 351971 217 0 0 25 0 4 0 520542488 616820736 109409 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 150591 109409 389 106 0 145562 0
[pid=12147/tid=12148] ppid=12145 vsize=602364 CPUtime=882.26 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 112840 0 0 0 88181 45 0 0 25 0 4 0 520542488 616820736 109409 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=602364 CPUtime=881.62 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 130992 0 0 0 88097 65 0 0 25 0 4 0 520542488 616820736 109409 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=602364 CPUtime=876.69 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 101405 0 0 0 87632 37 0 0 25 0 4 0 520542488 616820736 109409 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308590 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.88
Current children cumulated vsize (KiB) 602364

[startup+942.301 s]
/proc/loadavg: 8.09 8.11 8.09 9/182 12240
/proc/meminfo: memFree=25837256/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=702244 CPUtime=3761.58 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 503899 0 0 0 375932 226 0 0 25 0 4 0 520542488 719097856 118563 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 175561 118563 389 106 0 170532 0
[pid=12147/tid=12148] ppid=12145 vsize=702244 CPUtime=942.25 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 117072 0 0 0 94178 47 0 0 25 0 4 0 520542488 719097856 118563 33554432000 4194304 4627427 140733919129296 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=702244 CPUtime=941.63 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 134586 0 0 0 94096 67 0 0 25 0 4 0 520542488 719097856 118563 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=702244 CPUtime=936.36 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 104744 0 0 0 93597 39 0 0 25 0 4 0 520542488 719097856 118563 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3761.58
Current children cumulated vsize (KiB) 702244

[startup+1002.3 s]
/proc/loadavg: 8.07 8.10 8.09 9/182 12242
/proc/meminfo: memFree=25847160/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=589396 CPUtime=4001.24 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 519432 0 0 0 399889 235 0 0 25 0 4 0 520542488 603541504 115605 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 147349 115605 389 106 0 142320 0
[pid=12147/tid=12148] ppid=12145 vsize=589396 CPUtime=1002.25 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 117387 0 0 0 100177 48 0 0 25 0 4 0 520542488 603541504 115605 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=589396 CPUtime=1001.63 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 137721 0 0 0 100094 69 0 0 25 0 4 0 520542488 603541504 115605 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=589396 CPUtime=996.04 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 110270 0 0 0 99561 43 0 0 25 0 4 0 520542488 603541504 115605 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4001.24
Current children cumulated vsize (KiB) 589396

[startup+1062.31 s]
/proc/loadavg: 8.13 8.12 8.09 9/182 12243
/proc/meminfo: memFree=25787736/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=762840 CPUtime=4240.94 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 542768 0 0 0 423850 244 0 0 25 0 4 0 520542488 781148160 127743 33554432000 4194304 4627427 140733919129296 18446744073709551615 4330236 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 190710 127743 389 106 0 185681 0
[pid=12147/tid=12148] ppid=12145 vsize=762840 CPUtime=1062.26 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 121686 0 0 0 106176 50 0 0 25 0 4 0 520542488 781148160 127743 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=762840 CPUtime=1061.64 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 142504 0 0 0 106093 71 0 0 25 0 4 0 520542488 781148160 127743 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=762840 CPUtime=1055.72 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 118573 0 0 0 105527 45 0 0 25 0 4 0 520542488 781148160 127743 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4240.94
Current children cumulated vsize (KiB) 762840

[startup+1122.3 s]
/proc/loadavg: 8.05 8.10 8.09 9/182 12245
/proc/meminfo: memFree=25794540/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=608272 CPUtime=4480.6 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 566009 0 0 0 447806 254 0 0 25 0 4 0 520542488 622870528 125612 33554432000 4194304 4627427 140733919129296 18446744073709551615 4467852 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 152068 125612 389 106 0 147039 0
[pid=12147/tid=12148] ppid=12145 vsize=608272 CPUtime=1122.25 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 126225 0 0 0 112173 52 0 0 25 0 4 0 520542488 622870528 125612 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=608272 CPUtime=1121.63 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 149949 0 0 0 112089 74 0 0 25 0 4 0 520542488 622870528 125612 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=608272 CPUtime=1115.4 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 124085 0 0 0 111491 49 0 0 25 0 4 0 520542488 622870528 125612 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4480.6
Current children cumulated vsize (KiB) 608272

[startup+1182.3 s]
/proc/loadavg: 8.05 8.09 8.08 9/182 12246
/proc/meminfo: memFree=25758684/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=670648 CPUtime=4720.27 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 586699 0 0 0 471762 265 0 0 25 0 4 0 520542488 686743552 127823 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 167662 127823 389 106 0 162633 0
[pid=12147/tid=12148] ppid=12145 vsize=670648 CPUtime=1182.25 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 131108 0 0 0 118171 54 0 0 25 0 4 0 520542488 686743552 127823 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=670648 CPUtime=1181.63 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 156907 0 0 0 118086 77 0 0 25 0 4 0 520542488 686743552 127823 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=670648 CPUtime=1175.07 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 126046 0 0 0 117457 50 0 0 25 0 4 0 520542488 686743552 127823 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4720.27
Current children cumulated vsize (KiB) 670648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.3 s]
/proc/loadavg: 8.04 8.09 8.08 9/182 12247
/proc/meminfo: memFree=25730900/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=687728 CPUtime=4800.18 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 593409 0 0 0 479749 269 0 0 25 0 4 0 520542488 704233472 133339 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 171932 133339 389 106 0 166903 0
[pid=12147/tid=12148] ppid=12145 vsize=687728 CPUtime=1202.25 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 133377 0 0 0 120170 55 0 0 25 0 4 0 520542488 704233472 133339 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=687728 CPUtime=1201.64 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 157986 0 0 0 120086 78 0 0 25 0 4 0 520542488 704233472 133339 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=687728 CPUtime=1194.97 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 127654 0 0 0 119446 51 0 0 25 0 4 0 520542488 704233472 133339 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 687728

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

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

[startup+1202.3 s]
/proc/loadavg: 8.04 8.09 8.08 9/182 12247
/proc/meminfo: memFree=25730900/32951132 swapFree=67111364/67111528
[pid=12147] ppid=12145 vsize=687728 CPUtime=4800.18 cores=1,3,5,7
/proc/12147/stat : 12147 (strangenight2-m) R 12145 12147 12004 0 -1 4202496 593409 0 0 0 479749 269 0 0 25 0 4 0 520542488 704233472 133339 33554432000 4194304 4627427 140733919129296 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12147/statm: 171932 133339 389 106 0 166903 0
[pid=12147/tid=12148] ppid=12145 vsize=687728 CPUtime=1202.25 cores=1,3,5,7
/proc/12147/task/12148/stat : 12148 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 133377 0 0 0 120170 55 0 0 25 0 4 0 520542488 704233472 133339 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12147/tid=12149] ppid=12145 vsize=687728 CPUtime=1201.64 cores=1,3,5,7
/proc/12147/task/12149/stat : 12149 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 157986 0 0 0 120086 78 0 0 25 0 4 0 520542488 704233472 133339 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12147/tid=12150] ppid=12145 vsize=687728 CPUtime=1194.97 cores=1,3,5,7
/proc/12147/task/12150/stat : 12150 (strangenight2-m) R 12145 12147 12004 0 -1 4202560 127654 0 0 0 119446 51 0 0 25 0 4 0 520542488 704233472 133339 33554432000 4194304 4627427 140733919129296 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 687728

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.34
CPU time (s): 4800.24
CPU user time (s): 4797.51
CPU system time (s): 2.72458
CPU usage (%): 399.242
Max. virtual memory (cumulated for all children) (KiB): 814568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.51
system time used= 2.72458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593412
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= 626
involuntary context switches= 33369

runsolver used 1.92771 second user time and 4.52631 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 17:03:58
IDJOB=3174087
IDBENCH=82905
IDSOLVER=1586
FILE ID=node128/3174087-1304089438
RUNJOBID= node128-1304088234-12023
PBS_JOBID= 13170567
Free space on /tmp= 66968 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174087-1304089438/watcher-3174087-1304089438 -o /tmp/evaluation-result-3174087-1304089438/solver-3174087-1304089438 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174087-1304089438.cnf

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

MD5SUM BENCH= 5aca76da937068f3a8e48a26305deff6
RANDOM SEED=1307697592

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26170220 kB
Buffers:       1279580 kB
Cached:        4401548 kB
SwapCached:        160 kB
Active:         789928 kB
Inactive:      5404224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26170220 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5456 kB
Writeback:           0 kB
AnonPages:      512724 kB
Mapped:          15796 kB
Slab:           523660 kB
PageTables:       5772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   803184 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66964 MiB
End job on node128 at 2011-04-29 17:24:03