Trace number 3281146

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-mtUNSAT 1698.46 427.687

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
MD5SUM2bee695ce4278b72ee9295631ad94252
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark180.219
Satisfiable
(Un)Satisfiability was proved
Number of variables31357
Number of clauses133420
Sum of the clauses size370492
Maximum clause length37
Minimum clause length1
Number of clauses of size 1278
Number of clauses of size 258046
Number of clauses of size 369900
Number of clauses of size 4166
Number of clauses of size 5305
Number of clauses of size over 54725

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-3281146-1304028696.cnf'
0.00/0.01	c -- header says num vars:          31357
0.00/0.01	c -- header says num clauses:      133420
0.18/0.14	c -- clauses added:            0 learnts,       133420 normals,            0 xors
0.18/0.14	c -- vars added      31357
0.18/0.14	c Parsing time:  0.05 s
0.18/0.14	c  N st     0         0     31357     75096     58046         0    370214         0   no data   no data
0.28/0.88	c asymm  cl-useful: 98/3955/74946 lits-rem:194 time: 0.77
13.03/3.38	c Flit:    29 Blit:      3 bXBeca:    0 bXProp: 3530 Bins:      0 BRemL:      0 BRemN:      0 P: 53.8M T:  2.47
13.43/3.41	c Replacing     3530 vars Replaced   149255 lits Time:     0.03 s 
13.43/3.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.43/3.44	c bin-w-bin subsume rem            6 bins  time:  0.01 s
13.43/3.45	c subs with bin:        2  lits-rem:         4  v-fix:    0  time:  0.01 s
14.63/3.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  27511 time:  0.26 s
15.03/3.90	c Removed useless bin:       3  fixed:     0  props:  20.01M  time:  0.18 s
16.23/4.11	c lits-rem:        13  cl-subs:       68  v-elim:   9170  v-fix:    0  time:  0.20 s
16.62/4.20	c Finding binary XORs  T:     0.09 s  found:     863
16.62/4.21	c Replacing      863 vars Replaced    19975 lits Time:     0.01 s 
16.62/4.27	c Finding non-binary XORs:     0.04 s (found:   11722, avg size: 3.1)
16.62/4.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5042 locsubst:  3432 time:   0.02
16.62/4.28	c Replacing      182 vars Replaced     2243 lits Time:     0.00 s 
16.62/4.30	c calculated reachability. Time: 0.01
17.02/4.30	c Calc default polars -  time:   0.00 s pos:    3229 undec:   19459 neg:    8669
17.02/4.30	c =========================================================================================
17.02/4.30	c types(t): F = full restart, N = normal restart
17.02/4.30	c types(t): S = simplification begin/end, E = solution found
17.02/4.30	c restart types(rt): st = static, dy = dynamic
17.02/4.30	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
17.02/4.30	c  B st     0         0     12254     22048     33175         0    221010         0   no data   no data
17.82/4.56	c  N dy    19      4085     12254     22048     33215      3364    221008     91625     15.77     16.68
19.02/4.83	c  N dy    37      8129     12254     22048     33645      6633    221008    176286     13.54     14.58
19.83/5.07	c  N dy    52     14790     12253     22048     33732     11688    221008    276396     11.09     11.93
20.61/5.27	c  N dy    63     18846     12252     22048     34036     14659    221006    334010     10.79     23.64
21.41/5.47	c  N dy    80     22966     12252     22048     34188      9994    221005    120561     10.74     11.49
22.22/5.63	c  F st    93     25000     12252     22048     34201     11685    221002    171366     10.89      5.35
22.22/5.64	c Replacing        1 vars Replaced       19 lits Time:     0.01 s 
23.02/5.83	c  N st    97     27031     12251     22036     34201     13397    220946    249725     10.89   no data
23.42/5.98	c Finding binary XORs  T:     0.07 s  found:     259
23.82/6.00	c Replacing      259 vars Replaced    17655 lits Time:     0.02 s 
25.01/6.35	c  S st    99     30000     11992     22034     34017     13656    220938    425907     10.89   no data
25.41/6.42	c  S st    99     30503     11992     22034     34029     14107    220936    435316     10.89   no data
25.41/6.45	c x-sub:   277 x-cut:      0 vfix:      0 v-elim:   2527 locsubst:  1667 time:   0.03
38.58/9.70	c Flit:    16 Blit:      2 bXBeca:    0 bXProp: 2246 Bins:  87690 BRemL:  19250 BRemN:      0 P: 64.4M T:  3.25
38.58/9.73	c Replacing     2342 vars Replaced   277172 lits Time:     0.03 s 
38.58/9.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
38.99/9.80	c bin-w-bin subsume rem        65769 bins  time:  0.06 s
38.99/9.85	c subs with bin:     7035  lits-rem:     14631  v-fix:    0  time:  0.05 s
38.99/9.88	c Subs w/ non-existent bins:   2159 l-rem:   2118 v-fix:     0 done:   7102 time:  0.03 s
38.99/9.89	c Removed useless bin:     702  fixed:     0  props:   0.99M  time:  0.01 s
39.39/9.92	c lits-rem:       249  cl-subs:     3202  v-elim:     39  v-fix:    0  time:  0.03 s
39.39/9.92	c subs with bin:      127  lits-rem:      2403  v-fix:    0  time:  0.01 s
39.39/9.93	c lits-rem:       130  cl-subs:      342  v-elim:      0  v-fix:    0  time:  0.01 s
40.19/10.12	c asymm  cl-useful: 88/5534/9489 lits-rem:88 time: 0.18
40.19/10.12	c calculated reachability. Time: 0.00
40.19/10.12	c  N dy    99     30503      7063      9489     31515      1308    108724     39422     10.89   no data
40.19/10.17	c Finding binary XORs  T:     0.05 s  found:      31
40.99/10.39	c  N dy   123     34735      7063      9489     31759      4633    108721    123237     11.59     12.34
41.81/10.56	c  N dy   142     38803      7063      9489     31764      8211    108718    210798     12.00     13.44
42.21/10.66	c  N dy   147     43208      7063      9489     31765      6758    108717    112664     11.91     12.56
42.58/10.79	c  S st   163     45755      7063      9489    105778      8746    108715    307284     12.01      5.91
42.99/10.83	c  S st   163     46258      7063      9489    105781      9163    108715    313824     12.01   no data
42.99/10.85	c x-sub:   206 x-cut:      0 vfix:      0 v-elim:   1146 locsubst:   359 time:   0.03
44.59/11.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   18 Bins:   2920 BRemL:  38918 BRemN:   1193 P:  6.2M T:  0.41
44.59/11.27	c Replacing       80 vars Replaced     1674 lits Time:     0.00 s 
44.59/11.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.99/11.31	c bin-w-bin subsume rem        44152 bins  time:  0.03 s
44.99/11.32	c subs with bin:      273  lits-rem:       234  v-fix:    0  time:  0.01 s
44.99/11.33	c Subs w/ non-existent bins:    132 l-rem:    238 v-fix:     0 done:   5837 time:  0.01 s
44.99/11.34	c Removed useless bin:      92  fixed:     0  props:   0.39M  time:  0.00 s
44.99/11.35	c lits-rem:        12  cl-subs:      127  v-elim:     12  v-fix:    0  time:  0.01 s
44.99/11.35	c subs with bin:       11  lits-rem:        65  v-fix:    0  time:  0.00 s
44.99/11.36	c lits-rem:        30  cl-subs:      214  v-elim:      0  v-fix:    0  time:  0.01 s
44.99/11.36	c vivif2 --  cl tried     8938 cl shrink       29 lits rem         72 time: 0.00
44.99/11.36	c vivif2 --  cl tried     1501 cl shrink       34 lits rem         38 time: 0.00
45.79/11.59	c asymm  cl-useful: 260/8938/8938 lits-rem:294 time: 0.23
45.79/11.60	c calculated reachability. Time: 0.00
45.79/11.60	c  N dy   163     46258      5825      8938     24202      1501     95538     33987     12.01   no data
46.20/11.64	c Finding binary XORs  T:     0.04 s  found:       0
46.60/11.79	c  N dy   191     50319      5825      8938     31631      4729     95537    136509     12.58     35.59
46.98/11.89	c  N dy   206     54415      5825      8938     31635      8033     95532    200398     12.49     23.54
47.78/12.05	c  N dy   230     59336      5825      8938     33257     12390     95527    302925     12.74     13.52
48.18/12.11	c Finding binary XORs  T:     0.04 s  found:      14
48.58/12.24	c  N dy   244     63393      5825      8938     33262     16034     95522    380721     12.79     25.66
48.98/12.39	c  N dy   269     67626      5825      8938     33264     11072     95519    198956     13.09     14.54
49.37/12.45	c  S st   281     69387      5825      8938     33275     12598     95519    237877     13.25   no data
49.37/12.49	c  S st   281     69888      5825      8938     33278     13014     95519    243389     13.25   no data
49.77/12.52	c x-sub:    33 x-cut:      0 vfix:      0 v-elim:    269 locsubst:   489 time:   0.03
50.59/12.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    213 BRemL:  13325 BRemN:      9 P:  4.9M T:  0.21
50.59/12.74	c Replacing       40 vars Replaced     2514 lits Time:     0.00 s 
50.59/12.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.59/12.75	c bin-w-bin subsume rem         2726 bins  time:  0.00 s
50.59/12.76	c subs with bin:      225  lits-rem:       205  v-fix:    0  time:  0.01 s
50.59/12.77	c Subs w/ non-existent bins:      5 l-rem:      2 v-fix:     0 done:   5516 time:  0.01 s
50.59/12.77	c Removed useless bin:      96  fixed:     0  props:   0.88M  time:  0.00 s
50.59/12.78	c lits-rem:        13  cl-subs:       30  v-elim:     20  v-fix:    0  time:  0.00 s
50.59/12.79	c subs with bin:      101  lits-rem:       285  v-fix:    0  time:  0.00 s
51.00/12.81	c lits-rem:       198  cl-subs:      666  v-elim:      0  v-fix:    0  time:  0.02 s
51.00/12.81	c vivif2 --  cl tried     8756 cl shrink      120 lits rem        132 time: 0.00
51.00/12.82	c vivif2 --  cl tried     5215 cl shrink        5 lits rem          5 time: 0.00
51.77/13.01	c asymm  cl-useful: 1387/8756/8756 lits-rem:3863 time: 0.20
51.77/13.02	c calculated reachability. Time: 0.00
51.77/13.02	c  N dy   281     69888      5496      7669     18287      5215     91898     72427     13.25   no data
52.57/13.29	c  N dy   322     74422      5496      7669     18287      9098     91898    268935     14.78     31.56
53.37/13.48	c  N dy   358     79228      5496      7669     18291     12949     91897    406064     15.51     54.13
54.57/13.72	c  N dy   393     86181      5496      7669     18625     18211     91895    560151     15.97     17.06
54.98/13.80	c  F st   404     87501      5496      7669     18629      9705     91895    125844     16.18   no data
54.98/13.85	c Finding binary XORs  T:     0.04 s  found:     269
54.98/13.85	c Replacing      269 vars Replaced    12465 lits Time:     0.01 s 
55.76/14.02	c Decided on static restart strategy
55.76/14.02	c  N st   410     92693      5227      7632     18046     14268     90627    308887     16.18   no data
56.96/14.32	c  N st   412     99803      5227      7632    118660     20435     90627    744175     16.18   no data
57.36/14.47	c  S st   413    104833      5227      7632    118660     25049     90627    980364     16.18   no data
57.76/14.51	c Finding binary XORs  T:     0.04 s  found:      12
57.76/14.56	c  S st   413    105337      5227      7632    119412     25469     90627    986968     16.18   no data
58.16/14.61	c x-sub:    25 x-cut:      0 vfix:      0 v-elim:    103 locsubst:   866 time:   0.06
59.79/15.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   31 Bins:   4581 BRemL:  41780 BRemN:    479 P:  5.9M T:  0.41
59.79/15.03	c Replacing      111 vars Replaced    11117 lits Time:     0.01 s 
59.79/15.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
60.16/15.11	c bin-w-bin subsume rem        56927 bins  time:  0.07 s
60.16/15.12	c subs with bin:      221  lits-rem:        64  v-fix:    0  time:  0.01 s
60.16/15.13	c Subs w/ non-existent bins:    147 l-rem:     16 v-fix:     0 done:   5013 time:  0.01 s
60.16/15.13	c Removed useless bin:     158  fixed:     0  props:   0.33M  time:  0.00 s
60.16/15.15	c lits-rem:         2  cl-subs:      405  v-elim:     25  v-fix:    0  time:  0.01 s
60.95/15.30	c subs with bin:       31  lits-rem:      2808  v-fix:    0  time:  0.14 s
63.35/15.93	c lits-rem:      1076  cl-subs:     2092  v-elim:      0  v-fix:    0  time:  0.62 s
63.35/15.93	c vivif2 --  cl tried     6971 cl shrink       25 lits rem         27 time: 0.00
63.35/15.95	c vivif2 --  cl tried    18728 cl shrink      158 lits rem        252 time: 0.02
64.18/16.11	c asymm  cl-useful: 615/6971/6971 lits-rem:2047 time: 0.16
64.18/16.11	c calculated reachability. Time: 0.00
64.18/16.11	c  N st   413    105337      4988      6481     24828     18728     84223    536552     16.18   no data
64.95/16.34	c  N st   414    114935      4988      6481     24828     14460     84223    374191     16.18   no data
64.95/16.38	c Finding binary XORs  T:     0.04 s  found:     396
65.35/16.40	c Replacing      396 vars Replaced    23927 lits Time:     0.02 s 
66.55/16.72	c  N st   415    129333      4592      6446     24980     25423     82550    793089     16.18   no data
66.55/16.76	c Finding binary XORs  T:     0.04 s  found:       1
81.35/20.47	c  N st   416    150928      4592      6446     28664     28925     82550   2361816     16.18   no data
81.75/20.50	c Finding binary XORs  T:     0.04 s  found:     361
82.12/20.63	c Replacing      362 vars Replaced   210377 lits Time:     0.13 s 
85.32/21.48	c  S st   417    158006      4230      6040     30703     35301     80405   2913248     16.18   no data
85.73/21.52	c  S st   417    158507      4230      6040     30744     35653     80403   2916747     16.18   no data
86.14/21.67	c x-sub:    89 x-cut:      0 vfix:      0 v-elim:    100 locsubst:  1387 time:   0.15
86.91/21.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   13 Bins:    792 BRemL:  13745 BRemN:    194 P:  3.8M T:  0.17
86.91/21.87	c Replacing      113 vars Replaced     8689 lits Time:     0.03 s 
86.91/21.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.91/21.87	c bin-w-bin subsume rem         1096 bins  time:  0.00 s
86.91/21.88	c subs with bin:      383  lits-rem:         0  v-fix:    0  time:  0.01 s
86.91/21.89	c Subs w/ non-existent bins:     63 l-rem:      0 v-fix:     0 done:   4017 time:  0.01 s
86.91/21.89	c Removed useless bin:      33  fixed:     0  props:   0.37M  time:  0.00 s
87.32/21.91	c lits-rem:         0  cl-subs:     1420  v-elim:    108  v-fix:    0  time:  0.01 s
87.32/21.93	c subs with bin:        6  lits-rem:       233  v-fix:    0  time:  0.01 s
90.53/22.72	c lits-rem:       721  cl-subs:     1324  v-elim:      0  v-fix:    0  time:  0.78 s
90.53/22.72	c vivif2 --  cl tried     4589 cl shrink       55 lits rem         81 time: 0.00
90.53/22.73	c vivif2 --  cl tried    11900 cl shrink       58 lits rem         64 time: 0.01
90.53/22.79	c asymm  cl-useful: 610/4589/4589 lits-rem:2164 time: 0.06
90.53/22.79	c calculated reachability. Time: 0.00
90.53/22.79	c  N st   417    158507      3909      4052     16131     11900     69699    403164     16.18   no data
118.88/29.89	c  N st   418    207096      3909      4052     16139     31939     69696   2812306     16.18   no data
119.28/29.95	c Finding binary XORs  T:     0.05 s  found:     111
119.28/29.98	c Replacing      111 vars Replaced     7848 lits Time:     0.03 s 
136.05/34.14	c  N st   419    237761      3798      3998     17366     38599     69301   3390116     16.18   no data
136.05/34.14	c  S st   419    237761      3798      3998     17366     38599     69301   3390116     16.18   no data
136.05/34.17	c Finding binary XORs  T:     0.03 s  found:       4
136.45/34.22	c  S st   419    238264      3798      3998     17944     38977     69301   3397992     16.18   no data
136.85/34.34	c x-sub:   144 x-cut:      0 vfix:      0 v-elim:     79 locsubst:  1099 time:   0.12
137.25/34.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    220 BRemL:   1241 BRemN:     83 P:  2.7M T:  0.13
137.25/34.48	c Replacing       91 vars Replaced     3019 lits Time:     0.01 s 
137.25/34.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.25/34.49	c bin-w-bin subsume rem          575 bins  time:  0.00 s
137.65/34.50	c subs with bin:      136  lits-rem:         0  v-fix:    0  time:  0.01 s
137.65/34.51	c Subs w/ non-existent bins:     51 l-rem:      0 v-fix:     0 done:   3628 time:  0.01 s
137.65/34.51	c Removed useless bin:      12  fixed:     0  props:   0.26M  time:  0.00 s
137.65/34.53	c lits-rem:         0  cl-subs:      137  v-elim:     90  v-fix:    0  time:  0.02 s
137.65/34.56	c subs with bin:        6  lits-rem:        73  v-fix:    0  time:  0.01 s
142.44/35.72	c lits-rem:       606  cl-subs:      714  v-elim:      0  v-fix:    0  time:  1.16 s
142.44/35.72	c vivif2 --  cl tried     4036 cl shrink       50 lits rem         97 time: 0.00
142.44/35.74	c vivif2 --  cl tried    15774 cl shrink      370 lits rem       1343 time: 0.02
142.44/35.79	c asymm  cl-useful: 505/4036/4036 lits-rem:1520 time: 0.04
142.44/35.79	c calculated reachability. Time: 0.00
142.44/35.79	c  N st   419    238264      3538      3590     15991     15774     64760    886943     16.18   no data
179.98/45.18	c  F st   420    306250      3538      3590     15994     43234     64754   4026215     16.18   no data
179.98/45.18	c  N st   420    306250      3538      3590     15994     43234     64754   4026215     16.18   no data
180.38/45.22	c Finding binary XORs  T:     0.04 s  found:      21
181.98/45.64	c Decided on static restart strategy
184.39/46.20	c Finding binary XORs  T:     0.02 s  found:      21
184.39/46.22	c Replacing       42 vars Replaced     4296 lits Time:     0.03 s 
191.19/47.99	c  N st   430    334554      3496      3546     20411     43040     64469   3640086     16.18   no data
191.60/48.01	c Finding binary XORs  T:     0.02 s  found:       3
203.56/51.04	c  N st   432    357396      3496      3546     20440     38386     64468   3080880     16.18   no data
203.56/51.04	c  S st   432    357396      3496      3546     20440     38386     64468   3080880     16.18   no data
203.96/51.10	c  S st   432    357897      3496      3546     20450     38738     64468   3083817     16.18   no data
203.96/51.20	c x-sub:    86 x-cut:      0 vfix:      0 v-elim:     64 locsubst:   463 time:   0.10
204.77/51.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:    183 BRemL:   2462 BRemN:     88 P:  2.3M T:  0.11
204.77/51.33	c Replacing       43 vars Replaced     1066 lits Time:     0.01 s 
204.77/51.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
204.77/51.33	c bin-w-bin subsume rem          430 bins  time:  0.00 s
204.77/51.34	c subs with bin:      117  lits-rem:         0  v-fix:    0  time:  0.01 s
204.77/51.35	c Subs w/ non-existent bins:     24 l-rem:      0 v-fix:     0 done:   3389 time:  0.00 s
204.77/51.35	c Removed useless bin:      28  fixed:     0  props:   0.24M  time:  0.00 s
204.77/51.38	c lits-rem:         0  cl-subs:       51  v-elim:     42  v-fix:    0  time:  0.03 s
205.15/51.44	c subs with bin:       11  lits-rem:        47  v-fix:    0  time:  0.02 s
221.53/55.60	c lits-rem:      1151  cl-subs:     1503  v-elim:      0  v-fix:    0  time:  4.16 s
221.95/55.60	c vivif2 --  cl tried     3504 cl shrink       20 lits rem         28 time: 0.00
221.95/55.63	c vivif2 --  cl tried    24361 cl shrink        4 lits rem          6 time: 0.03
221.95/55.67	c asymm  cl-useful: 183/3503/3503 lits-rem:538 time: 0.04
221.95/55.67	c calculated reachability. Time: 0.00
221.95/55.67	c  N st   432    357897      3347      3360     17444     24361     61700   1743298     16.18   no data
235.53/59.07	c  N st   433    390290      3347      3360     17446     31636     61700   2508972     16.18   no data
235.91/59.10	c Finding binary XORs  T:     0.03 s  found:      13
258.68/64.82	c  N st   434    438878      3347      3360     17453     48525     61700   4565547     16.18   no data
269.46/67.55	c  N st   435    511761      3347      3360     17485     47323     61700   3265234     16.18   no data
271.45/68.09	c  N st   436    536846      3347      3360     17486     36936     61700   2014952     16.18   no data
271.45/68.09	c  S st   436    536846      3347      3360     17486     36936     61700   2014952     16.18   no data
271.85/68.13	c  S st   436    537347      3347      3360     17494     37289     61700   2017429     16.18   no data
272.25/68.23	c x-sub:    37 x-cut:      0 vfix:      0 v-elim:     34 locsubst:    53 time:   0.09
272.65/68.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    7 Bins:    368 BRemL:    211 BRemN:     24 P:  2.2M T:  0.11
272.65/68.36	c Replacing       29 vars Replaced     2788 lits Time:     0.02 s 
272.65/68.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
272.65/68.36	c bin-w-bin subsume rem          137 bins  time:  0.00 s
272.65/68.37	c subs with bin:       75  lits-rem:         0  v-fix:    0  time:  0.01 s
272.65/68.38	c Subs w/ non-existent bins:     13 l-rem:      0 v-fix:     0 done:   3284 time:  0.00 s
272.65/68.38	c Removed useless bin:      18  fixed:     0  props:   0.22M  time:  0.00 s
273.05/68.41	c lits-rem:         2  cl-subs:       23  v-elim:     27  v-fix:    0  time:  0.03 s
273.05/68.47	c subs with bin:        4  lits-rem:        15  v-fix:    0  time:  0.01 s
304.22/76.25	c lits-rem:      4381  cl-subs:     6197  v-elim:      0  v-fix:    0  time:  7.78 s
304.22/76.25	c vivif2 --  cl tried     3339 cl shrink       18 lits rem         26 time: 0.00
304.22/76.28	c vivif2 --  cl tried    30447 cl shrink        4 lits rem          4 time: 0.03
304.62/76.32	c asymm  cl-useful: 128/3339/3339 lits-rem:167 time: 0.04
304.62/76.32	c calculated reachability. Time: 0.00
304.62/76.32	c  N st   436    537347      3257      3329     17248     30447     60397   1792451     16.18   no data
321.79/80.61	c  N st   437    701332      3257      3329     17248     36826     60397   1756431     16.18   no data
321.79/80.63	c Finding binary XORs  T:     0.02 s  found:      12
369.32/92.56	c  N st   438    806021      3257      3329     17259     63830     60397   5801938     16.18   no data
369.32/92.56	c  S st   438    806021      3257      3329     17259     63830     60397   5801938     16.18   no data
369.32/92.57	c Finding binary XORs  T:     0.02 s  found:       5
369.72/92.65	c  S st   438    806525      3257      3329     17455     64211     60397   5813578     16.18   no data
370.12/92.76	c x-sub:     9 x-cut:      0 vfix:      0 v-elim:     22 locsubst:    54 time:   0.10
370.52/92.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    212 BRemL:    247 BRemN:      4 P:  2.5M T:  0.12
370.92/92.97	c Replacing       25 vars Replaced     8468 lits Time:     0.09 s 
370.92/92.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
370.92/92.98	c bin-w-bin subsume rem            7 bins  time:  0.00 s
370.92/92.99	c subs with bin:      123  lits-rem:         0  v-fix:    0  time:  0.01 s
370.92/93.00	c Subs w/ non-existent bins:     22 l-rem:      0 v-fix:     0 done:   3210 time:  0.00 s
370.92/93.00	c Removed useless bin:      10  fixed:     0  props:   0.20M  time:  0.00 s
371.34/93.07	c lits-rem:         2  cl-subs:       16  v-elim:     17  v-fix:    0  time:  0.07 s
372.51/93.30	c subs with bin:        2  lits-rem:       619  v-fix:    0  time:  0.09 s
495.94/124.26	c lits-rem:      1991  cl-subs:     2930  v-elim:      0  v-fix:    0  time: 30.95 s
495.94/124.26	c vivif2 --  cl tried     3225 cl shrink       13 lits rem         25 time: 0.00
496.34/124.35	c vivif2 --  cl tried    60760 cl shrink        6 lits rem          6 time: 0.09
496.34/124.39	c asymm  cl-useful: 84/3225/3225 lits-rem:199 time: 0.04
496.34/124.39	c calculated reachability. Time: 0.00
496.34/124.39	c  N st   438    806525      3193      3169     17290     60760     59543   5502348     16.18   no data
644.95/161.50	c  F st   439   1071876      3193      3169     17297     61436     59543   5162821     16.18   no data
644.95/161.51	c  N st   439   1071876      3193      3169     17297     61436     59543   5162821     16.18   no data
644.95/161.53	c Finding binary XORs  T:     0.02 s  found:     108
645.74/161.72	c Replacing      108 vars Replaced    70204 lits Time:     0.19 s 
646.54/161.90	c Decided on static restart strategy
648.16/162.34	c  N st   449   1100179      3085      3089     19472     81128     59140   6004973     16.18   no data
652.13/163.35	c  N st   451   1136175      3085      3089     19472     67311     59140   3889835     16.18   no data
654.93/164.03	c  N st   452   1168568      3085      3089     19473     53412     59140   3039308     16.18   no data
654.93/164.07	c Finding binary XORs  T:     0.02 s  found:       2
659.32/165.11	c  N st   453   1209788      3072      3089     19654     41739     58720   2385996     16.18   no data
659.32/165.11	c  S st   453   1209788      3072      3089     19654     41739     58720   2385996     16.18   no data
659.32/165.16	c  S st   453   1210290      3072      3089     19717     42100     58720   2393184     16.18   no data
659.72/165.26	c x-sub:    46 x-cut:      0 vfix:      0 v-elim:      4 locsubst:    26 time:   0.10
660.12/165.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:   2436 BRemL:   3226 BRemN:     14 P:  2.2M T:  0.12
660.12/165.39	c Replacing       28 vars Replaced     1789 lits Time:     0.01 s 
660.12/165.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
660.52/165.40	c bin-w-bin subsume rem          196 bins  time:  0.00 s
660.52/165.41	c subs with bin:       77  lits-rem:         7  v-fix:    0  time:  0.01 s
660.52/165.42	c Subs w/ non-existent bins:     11 l-rem:      0 v-fix:     0 done:   3040 time:  0.00 s
660.52/165.42	c Removed useless bin:       8  fixed:     0  props:   0.19M  time:  0.00 s
660.52/165.45	c lits-rem:         0  cl-subs:      109  v-elim:     46  v-fix:    0  time:  0.04 s
660.92/165.51	c subs with bin:        5  lits-rem:        51  v-fix:    0  time:  0.01 s
689.68/172.72	c lits-rem:      2908  cl-subs:     3290  v-elim:      0  v-fix:    0  time:  7.21 s
689.68/172.72	c vivif2 --  cl tried     3009 cl shrink        6 lits rem         12 time: 0.00
689.68/172.76	c vivif2 --  cl tried    37872 cl shrink        6 lits rem          6 time: 0.03
689.68/172.79	c asymm  cl-useful: 34/3009/3009 lits-rem:43 time: 0.03
689.68/172.79	c calculated reachability. Time: 0.00
689.68/172.79	c  N st   453   1210290      2994      3007     18321     37872     56792   2175851     16.18   no data
700.47/175.49	c  N st   454   1283173      2994      3007     18323     53568     56792   3127008     16.18   no data
700.88/175.51	c Finding binary XORs  T:     0.02 s  found:      12
715.24/179.19	c  N st   455   1392497      2994      3007     21954     55088     56792   3755515     16.18   no data
751.60/188.24	c  N st   456   1556482      2994      3007     22052     57708     56792   3542838     16.18   no data
847.46/212.25	c  N st   457   1710291      2981      3007     22072     90492     56792   7950413     16.18   no data
847.46/212.25	c  S st   457   1710291      2981      3007     22072     90492     56792   7950413     16.18   no data
847.86/212.34	c Finding binary XORs  T:     0.02 s  found:      82
848.26/212.48	c Replacing       95 vars Replaced    14400 lits Time:     0.13 s 
849.06/212.67	c  S st   457   1710792      2748      2763     16797     87309     50181   7678427     16.18   no data
849.46/212.79	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:      0 locsubst:   374 time:   0.12
850.28/213.00	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:   12 Bins:   6452 BRemL:   6955 BRemN:     15 P:  2.7M T:  0.21
850.68/213.09	c Replacing      187 vars Replaced     6144 lits Time:     0.09 s 
850.68/213.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
851.06/213.10	c bin-w-bin subsume rem          309 bins  time:  0.00 s
851.06/213.11	c subs with bin:      198  lits-rem:       191  v-fix:    0  time:  0.01 s
851.06/213.12	c Subs w/ non-existent bins:     20 l-rem:      0 v-fix:     0 done:   2559 time:  0.01 s
851.06/213.12	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.00 s
851.46/213.23	c lits-rem:         0  cl-subs:       28  v-elim:     23  v-fix:    0  time:  0.11 s
885.01/221.68	c subs with bin:      390  lits-rem:       202  v-fix:    0  time:  8.20 s
1195.78/299.45	c lits-rem:      2871  cl-subs:     4203  v-elim:      0  v-fix:    0  time: 77.77 s
1195.78/299.46	c vivif2 --  cl tried     2598 cl shrink       10 lits rem         21 time: 0.00
1196.18/299.57	c vivif2 --  cl tried    82171 cl shrink      853 lits rem        867 time: 0.12
1196.59/299.60	c asymm  cl-useful: 58/2598/2598 lits-rem:157 time: 0.03
1196.59/299.61	c calculated reachability. Time: 0.00
1196.59/299.61	c  N st   457   1710792      2536      2550     15755     82159     48738   7211802     16.18   no data
1309.24/327.82	c  N st   458   2079756      2536      2550     15756     72733     48738   5451392     16.18   no data
1310.04/328.01	c Finding binary XORs  T:     0.02 s  found:      58
1310.43/328.10	c Replacing       68 vars Replaced    10254 lits Time:     0.08 s 
1380.73/345.71	c  N st   459   2210792      2339      2434     23283     72409     43676   5702146     16.18   no data
1380.73/345.71	c  S st   459   2210792      2339      2434     23283     72409     43676   5702146     16.18   no data
1380.73/345.72	c Finding binary XORs  T:     0.01 s  found:       1
1381.13/345.81	c  S st   459   2211294      2339      2434     23990     72739     43676   5712875     16.18   no data
1381.53/345.92	c x-sub:   163 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    95 time:   0.11
1381.94/346.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   40 Bins:   8852 BRemL:  13718 BRemN:      4 P:  2.8M T:  0.16
1382.35/346.10	c Replacing       84 vars Replaced     6007 lits Time:     0.02 s 
1382.35/346.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1382.35/346.11	c bin-w-bin subsume rem         2636 bins  time:  0.00 s
1382.35/346.12	c subs with bin:       70  lits-rem:       377  v-fix:    0  time:  0.01 s
1382.35/346.12	c Subs w/ non-existent bins:     14 l-rem:      0 v-fix:     0 done:   2255 time:  0.00 s
1382.35/346.12	c Removed useless bin:       9  fixed:     0  props:   0.13M  time:  0.00 s
1382.73/346.20	c lits-rem:         0  cl-subs:       10  v-elim:     15  v-fix:    0  time:  0.08 s
1384.33/346.64	c subs with bin:       89  lits-rem:       350  v-fix:    0  time:  0.31 s
1476.20/369.70	c lits-rem:       502  cl-subs:     2179  v-elim:      0  v-fix:    0  time: 23.06 s
1476.61/369.70	c vivif2 --  cl tried     2398 cl shrink       20 lits rem        140 time: 0.00
1476.61/369.78	c vivif2 --  cl tried    69324 cl shrink       93 lits rem        103 time: 0.08
1477.01/369.80	c asymm  cl-useful: 49/2398/2398 lits-rem:134 time: 0.03
1477.01/369.81	c calculated reachability. Time: 0.00
1477.01/369.81	c  N st   459   2211294      2240      2363     16185     69322     41438   5360671     16.18   no data
1498.57/375.27	c Finding binary XORs  T:     0.01 s  found:      78
1498.57/375.30	c Replacing       84 vars Replaced    10510 lits Time:     0.02 s 
1570.89/393.34	c  N st   460   2711294      2053      2255     23428     80939     37282   3876672     16.18   no data
1570.89/393.34	c  S st   460   2711294      2053      2255     23428     80939     37282   3876672     16.18   no data
1570.89/393.39	c Finding binary XORs  T:     0.01 s  found:      29
1571.29/393.43	c Replacing       41 vars Replaced     7373 lits Time:     0.04 s 
1571.67/393.52	c  S st   460   2711796      1896      2110     14055     80367     31997   3782578     16.18   no data
1572.07/393.63	c x-sub:    39 x-cut:      0 vfix:      0 v-elim:      4 locsubst:   108 time:   0.11
1572.47/393.74	c Flit:    12 Blit:      0 bXBeca:    0 bXProp:   14 Bins:   5323 BRemL:   6239 BRemN:      6 P:  2.0M T:  0.11
1572.47/393.79	c Replacing       68 vars Replaced     3403 lits Time:     0.04 s 
1572.47/393.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1572.47/393.79	c bin-w-bin subsume rem         2086 bins  time:  0.00 s
1572.47/393.80	c subs with bin:       30  lits-rem:       353  v-fix:    0  time:  0.00 s
1572.86/393.80	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:   1812 time:  0.00 s
1572.86/393.80	c Removed useless bin:       2  fixed:     0  props:   0.08M  time:  0.00 s
1572.86/393.85	c lits-rem:         0  cl-subs:       24  v-elim:     23  v-fix:    0  time:  0.05 s
1573.26/393.94	c subs with bin:       28  lits-rem:        32  v-fix:    0  time:  0.00 s
1698.14/427.56	c lits-rem:       550  cl-subs:     9304  v-elim:      0  v-fix:    0  time: 33.62 s
1698.14/427.56	c vivif2 --  cl tried     2009 cl shrink       42 lits rem         80 time: 0.00
1698.33/427.61	c vivif2 --  cl tried    71036 cl shrink        3 lits rem          4 time: 0.04
1698.33/427.63	c asymm  cl-useful: 17/1987/1987 lits-rem:19 time: 0.02
1698.33/427.63	c calculated reachability. Time: 0.00
1698.33/427.63	c  N st   460   2711796      1789      1987     10042     71035     29613   3339206     16.18   no data
1698.33/427.63	c Following stats are for *FIRST FINISHED THREAD ONLY*
1698.33/427.63	c num threads              : 4          
1698.33/427.63	c restarts                 : 12404      
1698.33/427.63	c dynamic restarts         : 12374      
1698.33/427.63	c static restarts          : 30         
1698.33/427.63	c full restarts            : 4          
1698.33/427.63	c total simplify time      : 2.53       
1698.33/427.63	c learnts DL2              : 0          
1698.33/427.63	c learnts size 2           : 683366     
1698.33/427.63	c learnts size 1           : 1164        (3.71      % of vars)
1698.33/427.63	c filedLit time            : 7.59        (1.78      % time)
1698.33/427.63	c v-elim SatELite          : 13591       (43.34     % vars)
1698.33/427.63	c SatELite time            : 7.51        (1.76      % time)
1698.33/427.63	c v-elim xor               : 0           (0.00      % vars)
1698.33/427.63	c xor elim time            : 0.08        (0.02      % time)
1698.33/427.63	c num binary xor trees     : 2510       
1698.33/427.63	c binxor trees' crown      : 11971       (4.77      leafs/tree)
1698.33/427.63	c bin xor find time        : 1.51       
1698.33/427.63	c OTF clause improved      : 176332      (0.06      clauses/conflict)
1698.33/427.63	c OTF impr. size diff      : 181085      (1.03       lits/clause)
1698.33/427.63	c OTF cl watch-shrink      : 861404      (0.31      clauses/conflict)
1698.33/427.63	c OTF cl watch-sh-lit      : 1808102     (2.10       lits/clause)
1698.33/427.63	c tried to recurMin cls    : 1118396     (40.55      % of conflicts)
1698.33/427.63	c updated cache            : 80717       (0.07       lits/tried recurMin)
1698.33/427.63	c unit cls recevied        : 21          (1.80      % of units)
1698.33/427.63	c unit cls sent            : 1234        (106.01    % of units)
1698.33/427.63	c bin cls recevied         : 319552     
1698.33/427.63	c bin cls sent             : 289896     
1698.33/427.63	c clauses over max glue    : 0           (0.00      % of all clauses)
1698.33/427.63	c conflicts                : 2758284     (6454.54   / sec)
1698.33/427.63	c decisions                : 6918716     (3.64      % random)
1698.33/427.63	c bogo-props               : 38377175015 (89804773.63 / sec)
1698.33/427.63	c conflict literals        : 64067923    (10.26     % deleted)
1698.33/427.63	c Memory used              : 1586.14     MB
1698.33/427.63	c single-thread CPU time   : 427.34      s
1698.33/427.63	c all-threads sum CPU time : 1695.80     s
1698.33/427.63	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3281146-1304028696/watcher-3281146-1304028696 -o /tmp/evaluation-result-3281146-1304028696/solver-3281146-1304028696 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3281146-1304028696.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: 0.00 0.00 0.01 1/172 13904
/proc/meminfo: memFree=18507164/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=182284 CPUtime=0 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) D 13902 13904 13846 0 -1 4202496 432 0 0 0 0 0 0 0 25 0 4 0 593100248 186658816 365 33554432000 4194304 4627427 140735239291424 18446744073709551615 224284969095 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 29187 367 312 106 0 24158 0
[pid=13904/tid=13905] ppid=13902 vsize=116760 CPUtime=0 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 4 0 593100248 119562240 397 33554432000 4194304 4627427 140735239291424 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=117720 CPUtime=0 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 4 0 593100248 120545280 415 33554432000 4194304 4627427 140735239291424 18446744073709551615 4534143 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=117720 CPUtime=0 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 27 0 0 0 0 0 0 0 25 0 4 0 593100248 120545280 451 33554432000 4194304 4627427 140735239291424 18446744073709551615 224284925755 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0698961 s]
/proc/loadavg: 0.00 0.00 0.01 1/172 13904
/proc/meminfo: memFree=18507164/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=367944 CPUtime=0.18 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 13145 0 0 0 15 3 0 0 17 0 4 0 593100248 376774656 11107 33554432000 4194304 4627427 140735239291424 18446744073709551615 224284969143 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 91986 11129 341 106 0 86957 0
[pid=13904/tid=13905] ppid=13902 vsize=367944 CPUtime=0.03 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 3186 0 0 0 3 0 0 0 17 0 4 0 593100248 376774656 11141 33554432000 4194304 4627427 140735239291424 18446744073709551615 224285030894 0 0 4096 2 18446604453881438336 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=367944 CPUtime=0.04 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 3144 0 0 0 4 0 0 0 18 0 4 0 593100248 376774656 11158 33554432000 4194304 4627427 140735239291424 18446744073709551615 224285030894 0 0 4096 2 18446604453881438336 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=367944 CPUtime=0.04 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 3259 0 0 0 4 0 0 0 18 0 4 0 593100248 376774656 11162 33554432000 4194304 4627427 140735239291424 18446744073709551615 224285030894 0 0 4096 2 18446604453881438336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 367944

[startup+0.101852 s]
/proc/loadavg: 0.00 0.00 0.01 1/172 13904
/proc/meminfo: memFree=18507164/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=375824 CPUtime=0.28 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) S 13902 13904 13846 0 -1 4202496 18447 0 0 0 23 5 0 0 17 0 4 0 593100248 384843776 16401 33554432000 4194304 4627427 140735239291424 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 94432 16977 366 106 0 89403 0
[pid=13904/tid=13905] ppid=13902 vsize=378388 CPUtime=0.83 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 4655 0 0 0 82 1 0 0 19 0 4 0 593100248 387469312 17547 33554432000 4194304 4627427 140735239291424 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=378388 CPUtime=0.83 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 4743 0 0 0 82 1 0 0 19 0 4 0 593100248 387469312 17547 33554432000 4194304 4627427 140735239291424 18446744073709551615 4297761 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=378388 CPUtime=0.84 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 5163 0 0 0 83 1 0 0 18 0 4 0 593100248 387469312 17547 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 375824

[startup+0.977622 s]
/proc/loadavg: 0.00 0.00 0.01 1/172 13904
/proc/meminfo: memFree=18507164/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=382324 CPUtime=3.76 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 23091 0 0 0 368 8 0 0 18 0 4 0 593100248 391499776 20942 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 95581 20942 368 106 0 90552 0
[pid=13904/tid=13905] ppid=13902 vsize=382324 CPUtime=0.93 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 5707 0 0 0 91 2 0 0 18 0 4 0 593100248 391499776 20942 33554432000 4194304 4627427 140735239291424 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=382324 CPUtime=0.92 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 5833 0 0 0 91 1 0 0 18 0 4 0 593100248 391499776 20942 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=382324 CPUtime=0.94 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 5182 0 0 0 93 1 0 0 19 0 4 0 593100248 391499776 20942 33554432000 4194304 4627427 140735239291424 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 382324

[startup+1.0007 s]
/proc/loadavg: 0.00 0.00 0.01 1/172 13904
/proc/meminfo: memFree=18507164/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=385024 CPUtime=3.85 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 24201 0 0 0 377 8 0 0 18 0 4 0 593100248 394264576 22052 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308599 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 96256 22052 369 106 0 91227 0
[pid=13904/tid=13905] ppid=13902 vsize=385024 CPUtime=0.95 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 5948 0 0 0 93 2 0 0 18 0 4 0 593100248 394264576 22052 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=385024 CPUtime=0.95 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 6076 0 0 0 93 2 0 0 18 0 4 0 593100248 394264576 22053 33554432000 4194304 4627427 140735239291424 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=385024 CPUtime=0.97 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 5563 0 0 0 96 1 0 0 19 0 4 0 593100248 394264576 22053 33554432000 4194304 4627427 140735239291424 18446744073709551615 4299638 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 385024

[startup+1.50059 s]
/proc/loadavg: 0.00 0.00 0.01 1/172 13904
/proc/meminfo: memFree=18507164/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=407040 CPUtime=5.85 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 39999 0 0 0 574 11 0 0 18 0 4 0 593100248 416808960 37850 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 101760 37853 369 106 0 96731 0
[pid=13904/tid=13905] ppid=13902 vsize=407040 CPUtime=1.45 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 11212 0 0 0 142 3 0 0 18 0 4 0 593100248 416808960 37853 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=407040 CPUtime=1.44 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 11307 0 0 0 142 2 0 0 18 0 4 0 593100248 416808960 37853 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=407040 CPUtime=1.47 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 5661 0 0 0 146 1 0 0 20 0 4 0 593100248 416808960 37853 33554432000 4194304 4627427 140735239291424 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 407040

[startup+3.10032 s]
/proc/loadavg: 0.56 0.12 0.05 9/184 13921
/proc/meminfo: memFree=17938048/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=433300 CPUtime=12.23 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 62089 0 0 0 1205 18 0 0 21 0 4 0 593100248 443699200 59066 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 108325 59066 370 106 0 103296 0
[pid=13904/tid=13905] ppid=13902 vsize=433300 CPUtime=3.04 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 18234 0 0 0 299 5 0 0 19 0 4 0 593100248 443699200 59066 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=433300 CPUtime=3.05 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 18218 0 0 0 300 5 0 0 20 0 4 0 593100248 443699200 59066 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=433300 CPUtime=3.07 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 6699 0 0 0 305 2 0 0 24 0 4 0 593100248 443699200 59066 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 433300

[startup+6.30079 s]
/proc/loadavg: 1.16 0.25 0.09 9/184 13921
/proc/meminfo: memFree=17868116/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=499032 CPUtime=25.01 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 92115 0 0 0 2479 22 0 0 23 0 4 0 593100248 511008768 75395 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 124758 75395 390 106 0 119729 0
[pid=13904/tid=13905] ppid=13902 vsize=499032 CPUtime=6.22 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 27428 0 0 0 616 6 0 0 25 0 4 0 593100248 511008768 75395 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=499032 CPUtime=6.25 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 27480 0 0 0 618 7 0 0 24 0 4 0 593100248 511008768 75395 33554432000 4194304 4627427 140735239291424 18446744073709551615 4257778 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=499032 CPUtime=6.27 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 9712 0 0 0 625 2 0 0 25 0 4 0 593100248 511008768 75395 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 499032

[startup+12.7007 s]
/proc/loadavg: 1.70 0.38 0.13 9/184 13921
/proc/meminfo: memFree=17506080/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=717948 CPUtime=50.59 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 122767 0 0 0 5031 28 0 0 25 0 4 0 593100248 735178752 103079 33554432000 4194304 4627427 140735239291424 18446744073709551615 4342033 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 179487 103079 391 106 0 174458 0
[pid=13904/tid=13905] ppid=13902 vsize=717948 CPUtime=12.59 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 30894 0 0 0 1252 7 0 0 25 0 4 0 593100248 735178752 103079 33554432000 4194304 4627427 140735239291424 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=717948 CPUtime=12.65 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 31664 0 0 0 1257 8 0 0 25 0 4 0 593100248 735178752 103079 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=717948 CPUtime=12.67 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 28118 0 0 0 1261 6 0 0 25 0 4 0 593100248 735178752 103079 33554432000 4194304 4627427 140735239291424 18446744073709551615 4409957 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 717948

[startup+25.5006 s]
/proc/loadavg: 2.75 0.64 0.22 9/184 13923
/proc/meminfo: memFree=17002748/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=791512 CPUtime=101.7 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 165544 0 0 0 10132 38 0 0 25 0 4 0 593100248 810508288 127161 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309646 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 197878 127161 391 106 0 192849 0
[pid=13904/tid=13905] ppid=13902 vsize=791512 CPUtime=25.32 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 40982 0 0 0 2523 9 0 0 25 0 4 0 593100248 810508288 127161 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309660 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=791512 CPUtime=25.44 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 40091 0 0 0 2534 10 0 0 25 0 4 0 593100248 810508288 127161 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309607 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=791512 CPUtime=25.46 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 39042 0 0 0 2538 8 0 0 25 0 4 0 593100248 810508288 127161 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 791512

[startup+51.1003 s]
/proc/loadavg: 4.54 1.23 0.43 9/184 13923
/proc/meminfo: memFree=16754216/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=993132 CPUtime=203.96 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 243808 0 0 0 20344 52 0 0 25 0 4 0 593100248 1016967168 149397 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 248283 149398 391 106 0 243254 0
[pid=13904/tid=13905] ppid=13902 vsize=993132 CPUtime=50.78 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 68192 0 0 0 5065 13 0 0 25 0 4 0 593100248 1016967168 149398 33554432000 4194304 4627427 140735239291424 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=993132 CPUtime=51.03 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 63618 0 0 0 5089 14 0 0 25 0 4 0 593100248 1016967168 149398 33554432000 4194304 4627427 140735239291424 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=993132 CPUtime=51.06 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 47664 0 0 0 5096 10 0 0 25 0 4 0 593100248 1016967168 149398 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 993132

[startup+102.301 s]
/proc/loadavg: 6.71 2.40 0.87 9/184 13925
/proc/meminfo: memFree=16545876/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1175096 CPUtime=408.47 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 403255 0 0 0 40762 85 0 0 25 0 4 0 593100248 1203298304 182824 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 293774 182824 391 106 0 288745 0
[pid=13904/tid=13905] ppid=13902 vsize=1175096 CPUtime=101.71 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 114711 0 0 0 10148 23 0 0 25 0 4 0 593100248 1203298304 182824 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1175096 CPUtime=102.23 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 105527 0 0 0 10199 24 0 0 25 0 4 0 593100248 1203298304 182824 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1175096 CPUtime=102.26 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 58945 0 0 0 10213 13 0 0 25 0 4 0 593100248 1203298304 182824 33554432000 4194304 4627427 140735239291424 18446744073709551615 4426787 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.47
Current children cumulated vsize (KiB) 1175096

[startup+162.301 s]

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

/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 71064 0 0 0 16211 15 0 0 25 0 4 0 593100248 1186275328 205214 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.16
Current children cumulated vsize (KiB) 1158472

[startup+222.301 s]
/proc/loadavg: 7.89 4.28 1.74 9/184 13927
/proc/meminfo: memFree=16219708/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1345348 CPUtime=887.81 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 702775 0 0 0 88633 148 0 0 25 0 4 0 593100248 1377636352 253156 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 336337 253156 391 106 0 331308 0
[pid=13904/tid=13905] ppid=13902 vsize=1345348 CPUtime=221.07 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 208050 0 0 0 22063 44 0 0 25 0 4 0 593100248 1377636352 253156 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1345348 CPUtime=222.23 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 191455 0 0 0 22181 42 0 0 25 0 4 0 593100248 1377636352 253156 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1345348 CPUtime=222.26 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 73091 0 0 0 22210 16 0 0 25 0 4 0 593100248 1377636352 253156 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.81
Current children cumulated vsize (KiB) 1345348

[startup+282.307 s]
/proc/loadavg: 8.00 4.97 2.14 9/184 13929
/proc/meminfo: memFree=16067556/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1432656 CPUtime=1127.51 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 744038 0 0 0 112576 175 0 0 25 0 4 0 593100248 1467039744 264974 33554432000 4194304 4627427 140735239291424 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 358164 264974 391 106 0 353135 0
[pid=13904/tid=13905] ppid=13902 vsize=1432656 CPUtime=280.75 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 208050 0 0 0 28031 44 0 0 25 0 4 0 593100248 1467039744 264974 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1432656 CPUtime=282.23 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 230031 0 0 0 28157 66 0 0 25 0 4 0 593100248 1467039744 264974 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1432656 CPUtime=282.26 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 75778 0 0 0 28208 18 0 0 25 0 4 0 593100248 1467039744 264974 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1127.51
Current children cumulated vsize (KiB) 1432656

[startup+342.301 s]
/proc/loadavg: 8.00 5.52 2.50 9/184 13931
/proc/meminfo: memFree=15773036/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1558144 CPUtime=1367.15 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 884254 0 0 0 136505 210 0 0 25 0 4 0 593100248 1595539456 295346 33554432000 4194304 4627427 140735239291424 18446744073709551615 4299569 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 389536 295346 391 106 0 384507 0
[pid=13904/tid=13905] ppid=13902 vsize=1558144 CPUtime=340.42 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 240642 0 0 0 33989 53 0 0 25 0 4 0 593100248 1595539456 295346 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1558144 CPUtime=342.23 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 270612 0 0 0 34149 74 0 0 25 0 4 0 593100248 1595539456 295346 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1558144 CPUtime=342.26 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 87102 0 0 0 34205 21 0 0 25 0 4 0 593100248 1595539456 295346 33554432000 4194304 4627427 140735239291424 18446744073709551615 4310142 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1367.15
Current children cumulated vsize (KiB) 1558144

[startup+402.301 s]
/proc/loadavg: 8.00 5.97 2.84 9/184 13933
/proc/meminfo: memFree=15637376/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1656560 CPUtime=1606.82 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 995825 0 0 0 160439 243 0 0 25 0 4 0 593100248 1696317440 295592 33554432000 4194304 4627427 140735239291424 18446744073709551615 4467823 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 414140 295592 391 106 0 409111 0
[pid=13904/tid=13905] ppid=13902 vsize=1656560 CPUtime=400.1 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 282027 0 0 0 39943 67 0 0 25 0 4 0 593100248 1696317440 295592 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1656560 CPUtime=402.22 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 311791 0 0 0 40136 86 0 0 25 0 4 0 593100248 1696317440 295592 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1656560 CPUtime=402.25 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 96495 0 0 0 40201 24 0 0 25 0 4 0 593100248 1696317440 295592 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1606.82
Current children cumulated vsize (KiB) 1656560

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

[startup+410.2 s]
/proc/loadavg: 8.00 6.00 2.87 9/184 13933
/proc/meminfo: memFree=15602780/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1593224 CPUtime=1638.37 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 1008640 0 0 0 163588 249 0 0 25 0 4 0 593100248 1631461376 295247 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 398306 295247 391 106 0 393277 0
[pid=13904/tid=13905] ppid=13902 vsize=1593224 CPUtime=407.96 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 289825 0 0 0 40726 70 0 0 25 0 4 0 593100248 1631461376 295247 33554432000 4194304 4627427 140735239291424 18446744073709551615 4310076 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1593224 CPUtime=410.12 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 315685 0 0 0 40924 88 0 0 25 0 4 0 593100248 1631461376 295247 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1593224 CPUtime=410.16 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 97618 0 0 0 40991 25 0 0 25 0 4 0 593100248 1631461376 295247 33554432000 4194304 4627427 140735239291424 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1638.37
Current children cumulated vsize (KiB) 1593224

[startup+416.601 s]
/proc/loadavg: 8.08 6.09 2.93 9/184 13933
/proc/meminfo: memFree=15595712/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1590508 CPUtime=1663.94 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 1020595 0 0 0 166140 254 0 0 25 0 4 0 593100248 1628680192 294745 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 397627 294745 391 106 0 392598 0
[pid=13904/tid=13905] ppid=13902 vsize=1590508 CPUtime=414.31 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 293555 0 0 0 41359 72 0 0 25 0 4 0 593100248 1628680192 294745 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1590508 CPUtime=416.52 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 322563 0 0 0 41562 90 0 0 25 0 4 0 593100248 1628680192 294745 33554432000 4194304 4627427 140735239291424 18446744073709551615 4328651 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1590508 CPUtime=416.56 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 98965 0 0 0 41631 25 0 0 25 0 4 0 593100248 1628680192 294745 33554432000 4194304 4627427 140735239291424 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1663.94
Current children cumulated vsize (KiB) 1590508

[startup+423.001 s]
/proc/loadavg: 8.07 6.12 2.96 7/184 13933
/proc/meminfo: memFree=15557396/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1624208 CPUtime=1689.14 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 1031605 0 0 0 168654 260 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420146 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 406052 301808 391 106 0 401023 0
[pid=13904/tid=13905] ppid=13902 vsize=1624208 CPUtime=420.5 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 300163 0 0 0 41975 75 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631494196 0 0 4096 2 18446604453881438336 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1624208 CPUtime=422.73 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 325946 0 0 0 42180 93 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631494196 0 0 4096 2 18446604453881438336 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1624208 CPUtime=422.97 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 99984 0 0 0 42271 26 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631469611 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1689.14
Current children cumulated vsize (KiB) 1624208

[startup+426.201 s]
/proc/loadavg: 8.07 6.12 2.96 7/184 13933
/proc/meminfo: memFree=15590876/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1624208 CPUtime=1695.53 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 1031605 0 0 0 169293 260 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 406052 301808 391 106 0 401023 0
[pid=13904/tid=13905] ppid=13902 vsize=1624208 CPUtime=420.5 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 300163 0 0 0 41975 75 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631494196 0 0 4096 2 18446604453881438336 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1624208 CPUtime=422.73 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 325946 0 0 0 42180 93 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631494196 0 0 4096 2 18446604453881438336 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1624208 CPUtime=426.16 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 99984 0 0 0 42590 26 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631469611 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1695.53
Current children cumulated vsize (KiB) 1624208

[startup+427 s]
/proc/loadavg: 7.91 6.12 2.97 7/184 13933
/proc/meminfo: memFree=15604144/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1624208 CPUtime=1697.13 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 1031605 0 0 0 169453 260 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 4428383 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 406052 301808 391 106 0 401023 0
[pid=13904/tid=13905] ppid=13902 vsize=1624208 CPUtime=420.5 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 300163 0 0 0 41975 75 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631494196 0 0 4096 2 18446604453881438336 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1624208 CPUtime=422.73 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 325946 0 0 0 42180 93 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631494196 0 0 4096 2 18446604453881438336 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1624208 CPUtime=426.96 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 99984 0 0 0 42670 26 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631469611 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1697.13
Current children cumulated vsize (KiB) 1624208

[startup+427.4 s]
/proc/loadavg: 7.91 6.12 2.97 7/184 13933
/proc/meminfo: memFree=15612328/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1624208 CPUtime=1697.94 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 1031605 0 0 0 169534 260 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 4427330 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 406052 301808 391 106 0 401023 0
[pid=13904/tid=13905] ppid=13902 vsize=1624208 CPUtime=420.5 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 300163 0 0 0 41975 75 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631494196 0 0 4096 2 18446604453881438336 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1624208 CPUtime=422.73 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 325946 0 0 0 42180 93 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631494196 0 0 4096 2 18446604453881438336 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1624208 CPUtime=427.37 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 99984 0 0 0 42711 26 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631469764 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1697.94
Current children cumulated vsize (KiB) 1624208

[startup+427.6 s]
/proc/loadavg: 7.91 6.12 2.97 7/184 13933
/proc/meminfo: memFree=15612328/32951124 swapFree=67110396/67111528
[pid=13904] ppid=13902 vsize=1624208 CPUtime=1698.33 cores=0,2,4,6
/proc/13904/stat : 13904 (strangenight2-m) R 13902 13904 13846 0 -1 4202496 1031605 0 0 0 169573 260 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 4520547 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13904/statm: 406052 301808 391 106 0 401023 0
[pid=13904/tid=13905] ppid=13902 vsize=1624208 CPUtime=420.5 cores=0,2,4,6
/proc/13904/task/13905/stat : 13905 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 300163 0 0 0 41975 75 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631494196 0 0 4096 2 18446604453881438336 0 0 -1 6 0 0 0
[pid=13904/tid=13906] ppid=13902 vsize=1624208 CPUtime=422.73 cores=0,2,4,6
/proc/13904/task/13906/stat : 13906 (strangenight2-m) S 13902 13904 13846 0 -1 4202560 325946 0 0 0 42180 93 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 47624631494196 0 0 4096 2 18446604453881438336 0 0 -1 4 0 0 0
[pid=13904/tid=13907] ppid=13902 vsize=1624208 CPUtime=427.56 cores=0,2,4,6
/proc/13904/task/13907/stat : 13907 (strangenight2-m) R 13902 13904 13846 0 -1 4202560 99984 0 0 0 42730 26 0 0 25 0 4 0 593100248 1663188992 301808 33554432000 4194304 4627427 140735239291424 18446744073709551615 4219962 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1698.33
Current children cumulated vsize (KiB) 1624208

Child status: 20
Real time (s): 427.687
CPU time (s): 1698.46
CPU user time (s): 1695.8
CPU system time (s): 2.6556
CPU usage (%): 397.126
Max. virtual memory (cumulated for all children) (KiB): 1794828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1695.8
system time used= 2.6556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1031608
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= 9105
involuntary context switches= 7551

runsolver used 0.696894 second user time and 1.61375 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-29 00:11:36
IDJOB=3281146
IDBENCH=20529
IDSOLVER=1586
FILE ID=node118/3281146-1304028696
RUNJOBID= node118-1304028687-13864
PBS_JOBID= 13170334
Free space on /tmp= 71616 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281146-1304028696/watcher-3281146-1304028696 -o /tmp/evaluation-result-3281146-1304028696/solver-3281146-1304028696 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3281146-1304028696.cnf

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

MD5SUM BENCH= 2bee695ce4278b72ee9295631ad94252
RANDOM SEED=921657129

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18507328 kB
Buffers:       1895440 kB
Cached:       11949516 kB
SwapCached:        600 kB
Active:        9370208 kB
Inactive:      4539164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18507328 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:            9148 kB
Writeback:           0 kB
AnonPages:       63104 kB
Mapped:          14704 kB
Slab:           471228 kB
PageTables:       4656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190304 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= 71588 MiB
End job on node118 at 2011-04-29 00:18:44