Trace number 3421700

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 4199.68 526.088

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
MD5SUMf2a1eb7937a7cda114ce344a30ca1145
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1222.87
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18718
Sum of the clauses size134151
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2435
Number of clauses of size 32341
Number of clauses of size 4498
Number of clauses of size 5677
Number of clauses of size over 514725

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.34/0.05	c This is CryptoMiniSat 3.0.0
0.34/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.34/0.05	c Reading file 'HOME/instance-3421700-1306786794.cnf'
0.34/0.05	c -- header says num vars:           2969
0.34/0.05	c -- header says num clauses:       18718
0.34/0.08	c -- clauses added:            0 learnts,        18718 normals,            0 xors
0.34/0.08	c -- vars added       2969
0.34/0.08	c Parsing time:  0.01 s
0.34/0.08	c  N st     0         0      2969     17259      1118         0    132209         0   no data   no data
0.67/0.22	c asymm  cl-useful: 1331/16139/16139 lits-rem:1978 time: 0.12
1.58/0.22	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
1.58/0.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.58/0.27	c bin-w-bin subsume rem         1011 bins  time:  0.00 s
1.58/0.33	c subs with bin:       24  lits-rem:       125  v-fix:    0  time:  0.00 s
1.58/0.33	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:   2912 time:  0.00 s
1.58/0.33	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1.58/0.33	c lits-rem:      6910  cl-subs:     3381  v-elim:    195  v-fix:    0  time:  0.03 s
1.58/0.33	c Finding binary XORs  T:     0.00 s  found:       0
1.58/0.33	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.58/0.33	c calculated reachability. Time: 0.00
1.58/0.33	c Calc default polars -  time:   0.00 s pos:     989 undec:     946 neg:    1034
1.58/0.33	c =========================================================================================
1.58/0.33	c types(t): F = full restart, N = normal restart
1.58/0.33	c types(t): S = simplification begin/end, E = solution found
1.58/0.33	c restart types(rt): st = static, dy = dynamic
1.58/0.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.58/0.33	c  B st     0         0      2717     12513      1073         0     91022         0   no data   no data
1.58/1.05	c  N dy    14      4475      2717     12513      1101      4287     91006     59367      6.80      7.30
1.58/1.05	c  N dy    39      8515      2717     12513      1287      5777     91001     75538      7.02      7.67
1.58/1.05	c  N dy    67     12527      2717     12513      1506      5553     90999     62856      7.18      7.92
1.58/1.05	c  N dy   100     16545      2717     12513      1533      9476     90999    133058      7.53      8.09
1.58/1.05	c  N dy   133     20549      2717     12513      1720      7949     90999     98670      7.81      8.55
1.58/1.05	c Finding binary XORs  T:     0.00 s  found:      41
1.58/1.05	c Replacing       41 vars Replaced     9101 lits Time:     0.01 s 
8.88/1.17	c  N dy   171     24633      2676     12466      1781     11957     90782    177438      8.08     10.11
8.88/1.20	c  F st   175     25000      2676     12466      1783     12320     90782    184611      8.09   no data
10.89/1.49	c  N dy   181     30001      2676     12466      1796     10571     90781    148355      8.09   no data
10.89/1.49	c  S st   181     30001      2676     12466      1796     10571     90781    148355      8.09   no data
11.69/1.52	c  S st   181     30502      2676     12466      1921     11031     90780    154306      8.09   no data
11.69/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.69/1.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    752 BRemL:     15 BRemN:      0 P:  0.6M T:  0.02
11.69/1.54	c Replacing        4 vars Replaced     1097 lits Time:     0.00 s 
11.69/1.55	c blocked clauses removed:      405 vars:    242 tried:        2672 T: 0.00 s
11.69/1.55	c bin-w-bin subsume rem           28 bins  time:  0.00 s
11.69/1.55	c subs with bin:      147  lits-rem:       766  v-fix:    0  time:  0.00 s
11.69/1.55	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:   2430 time:  0.00 s
11.69/1.55	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
11.69/1.57	c lits-rem:       763  cl-subs:      358  v-elim:     61  v-fix:    0  time:  0.02 s
12.50/1.61	c subs with bin:      404  lits-rem:      3832  v-fix:    0  time:  0.04 s
12.50/1.67	c lits-rem:      1049  cl-subs:      772  v-elim:      0  v-fix:    0  time:  0.05 s
15.01/1.97	c asymm  cl-useful: 103/11386/11386 lits-rem:108 time: 0.28
15.01/1.97	c calculated reachability. Time: 0.00
15.01/1.97	c  N dy   181     30502      2369     11386      2476      9566     81378    137025      8.09   no data
15.01/1.97	c Finding binary XORs  T:     0.00 s  found:       0
17.28/2.21	c  N dy   210     34595      2369     11386      2481     13561     81378    216172      8.24     11.37
18.87/2.48	c  N dy   245     38790      2369     11386      2675     10183     81378    120421      8.38      8.92
21.27/2.78	c  N dy   281     42818      2369     11386      2740     14139     81377    209425      8.56     10.10
23.80/3.04	c  S st   307     45753      2369     11386      2742     17033     81377    272155      8.65   no data
23.80/3.09	c  S st   307     46255      2369     11386      2747      8872     81377     76661      8.65   no data
23.80/3.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.47/3.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:     32 BRemL:      2 BRemN:      0 P:  0.6M T:  0.02
24.47/3.11	c Replacing        2 vars Replaced      943 lits Time:     0.00 s 
24.47/3.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.47/3.11	c bin-w-bin subsume rem           55 bins  time:  0.00 s
24.47/3.12	c subs with bin:       13  lits-rem:         8  v-fix:    0  time:  0.00 s
24.47/3.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2367 time:  0.00 s
24.47/3.12	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
24.47/3.13	c lits-rem:       127  cl-subs:       36  v-elim:     59  v-fix:    0  time:  0.01 s
24.47/3.14	c subs with bin:      230  lits-rem:       301  v-fix:    0  time:  0.01 s
24.47/3.16	c lits-rem:       134  cl-subs:      200  v-elim:      0  v-fix:    0  time:  0.01 s
24.47/3.16	c vivif2 --  cl tried    11317 cl shrink        1 lits rem          1 time: 0.00
24.47/3.16	c vivif2 --  cl tried     8440 cl shrink       22 lits rem         22 time: 0.00
26.87/3.45	c asymm  cl-useful: 45/11317/11317 lits-rem:45 time: 0.29
26.87/3.45	c calculated reachability. Time: 0.00
26.87/3.45	c  N dy   307     46255      2308     11317      2719      8440     80453     73749      8.65   no data
29.27/3.73	c  N dy   343     50432      2308     11317      2806     12529     80453    163804      8.79      9.30
29.27/3.76	c Finding binary XORs  T:     0.00 s  found:       0
32.58/4.12	c  N dy   377     54551      2308     11317      2812     16580     80453    253692      8.89      9.38
35.65/4.53	c  N dy   414     58572      2308     11317      2878     10820     80453    107633      9.01      9.94
38.05/4.85	c  N dy   443     62585      2308     11317      2912     14747     80453    194064      9.07     10.05
41.36/5.28	c  N dy   475     66648      2308     11317      2914     18753     80453    286469      9.12      9.82
43.63/5.58	c  S st   498     69383      2308     11317      2933     21446     80453    347334      9.18   no data
44.43/5.63	c  S st   498     69886      2308     11317      2934     11179     80453     98074      9.18   no data
44.43/5.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.43/5.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      2 BRemN:      0 P:  0.7M T:  0.02
44.43/5.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.43/5.65	c bin-w-bin subsume rem           10 bins  time:  0.00 s
44.43/5.66	c subs with bin:        3  lits-rem:         1  v-fix:    0  time:  0.00 s
44.43/5.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2308 time:  0.00 s
44.43/5.66	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
44.43/5.67	c lits-rem:        28  cl-subs:       22  v-elim:      5  v-fix:    0  time:  0.01 s
44.43/5.68	c subs with bin:      403  lits-rem:       259  v-fix:    0  time:  0.01 s
45.23/5.70	c lits-rem:       120  cl-subs:      203  v-elim:      0  v-fix:    0  time:  0.01 s
45.23/5.70	c vivif2 --  cl tried    11290 cl shrink        0 lits rem          0 time: 0.00
45.23/5.70	c vivif2 --  cl tried    10575 cl shrink        4 lits rem          4 time: 0.00
47.63/6.06	c asymm  cl-useful: 70/11290/11290 lits-rem:75 time: 0.36
47.63/6.06	c calculated reachability. Time: 0.00
47.63/6.06	c  N dy   498     69886      2303     11289      2925     10575     80087     94292      9.18   no data
50.14/6.38	c Finding binary XORs  T:     0.00 s  found:       0
50.81/6.44	c  N dy   529     74493      2303     11289      2986     15082     80087    197588      9.21      9.72
54.80/6.95	c  N dy   572     79357      2303     11289      3015     19865     80087    311294      9.30      9.86
59.59/7.57	c  N dy   609     84465      2303     11289      3020     13134     80087    132488      9.36     12.07
62.00/7.86	c  F st   630     87502      2303     11289      3039     16136     80087    205425      9.39   no data
65.19/8.20	c  N st   635     90801      2303     11289      3042     19389     80087    285159      9.39   no data
66.86/8.44	c Decided on static restart strategy
73.18/9.26	c  N st   638     99808      2303     11289      3051     16346     80087    247464      9.39   no data
77.96/9.85	c  S st   639    104829      2303     11289      3068     21229     80087    368090      9.39   no data
78.76/9.92	c  S st   639    105331      2303     11289      3068     21727     80087    379339      9.39   no data
78.76/9.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.76/9.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      1 BRemN:      0 P:  1.3M T:  0.03
78.76/9.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.76/9.95	c bin-w-bin subsume rem            7 bins  time:  0.00 s
78.76/9.96	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
78.76/9.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2303 time:  0.00 s
78.76/9.96	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
78.76/9.97	c lits-rem:        45  cl-subs:       27  v-elim:      9  v-fix:    0  time:  0.01 s
79.55/10.09	c subs with bin:      162  lits-rem:       811  v-fix:    0  time:  0.11 s
81.95/10.31	c lits-rem:       716  cl-subs:     1803  v-elim:      0  v-fix:    0  time:  0.22 s
81.95/10.32	c vivif2 --  cl tried    11255 cl shrink        0 lits rem          0 time: 0.00
81.95/10.32	c vivif2 --  cl tried    19768 cl shrink       14 lits rem         14 time: 0.01
85.28/10.77	c asymm  cl-useful: 54/7624/11255 lits-rem:57 time: 0.43
85.28/10.77	c calculated reachability. Time: 0.00
85.28/10.77	c  N st   639    105331      2294     11255      3064     19768     79689    348396      9.39   no data
95.52/12.03	c  N st   640    114932      2294     11255      3068     15803     79689    222948      9.39   no data
95.52/12.03	c Finding binary XORs  T:     0.00 s  found:       0
113.89/14.32	c  N st   641    129329      2294     11255      3097     29828     79689    581471      9.39   no data
139.43/17.59	c  N st   642    150924      2294     11255      3110     21153     79688    312418      9.39   no data
148.22/18.66	c  S st   643    157997      2294     11255      3127     28010     79688    470656      9.39   no data
149.02/18.75	c  S st   643    158497      2294     11255      3130     28507     79688    480674      9.39   no data
149.02/18.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.02/18.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.04
149.02/18.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.02/18.79	c bin-w-bin subsume rem            1 bins  time:  0.00 s
149.82/18.80	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
149.82/18.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2294 time:  0.00 s
149.82/18.80	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
149.82/18.81	c lits-rem:        23  cl-subs:       11  v-elim:      4  v-fix:    0  time:  0.01 s
150.63/18.96	c subs with bin:      147  lits-rem:       847  v-fix:    0  time:  0.13 s
153.83/19.36	c lits-rem:       819  cl-subs:     2916  v-elim:      0  v-fix:    0  time:  0.40 s
153.83/19.36	c vivif2 --  cl tried    11240 cl shrink        0 lits rem          0 time: 0.00
153.83/19.37	c vivif2 --  cl tried    25446 cl shrink       17 lits rem         17 time: 0.01
156.21/19.61	c asymm  cl-useful: 0/1730/11240 lits-rem:0 time: 0.22
156.21/19.61	c calculated reachability. Time: 0.00
156.21/19.61	c  N st   643    158497      2290     11240      3129     25446     79543    430728      9.39   no data
230.47/28.97	c  N st   644    207086      2290     11240      3134     38978     79541    725738      9.39   no data
230.47/28.97	c Finding binary XORs  T:     0.00 s  found:       0
279.96/35.14	c  N st   645    237747      2290     11240      3175     31079     79541    535562      9.39   no data
279.96/35.14	c  S st   645    237747      2290     11240      3175     31079     79541    535562      9.39   no data
280.76/35.25	c  S st   645    238249      2290     11240      3193     31581     79541    547599      9.39   no data
280.76/35.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
280.76/35.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.05
281.56/35.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
281.56/35.30	c bin-w-bin subsume rem            1 bins  time:  0.00 s
281.56/35.30	c subs with bin:        4  lits-rem:         0  v-fix:    0  time:  0.00 s
281.56/35.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2290 time:  0.00 s
281.56/35.30	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
281.56/35.31	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.01 s
283.16/35.51	c subs with bin:      167  lits-rem:      1273  v-fix:    0  time:  0.18 s
285.56/35.89	c lits-rem:      1003  cl-subs:     1556  v-elim:      0  v-fix:    0  time:  0.38 s
285.56/35.89	c vivif2 --  cl tried    11236 cl shrink        0 lits rem          0 time: 0.00
286.43/35.92	c vivif2 --  cl tried    29853 cl shrink        3 lits rem          3 time: 0.01
287.28/36.08	c asymm  cl-useful: 5/1882/11236 lits-rem:5 time: 0.16
287.28/36.09	c calculated reachability. Time: 0.00
287.28/36.09	c  N st   645    238249      2289     11236      3192     29853     79503    520356      9.39   no data
407.73/51.18	c  F st   646    306251      2289     11236      3195     31925     79503    498104      9.39   no data
407.73/51.19	c  N st   646    306251      2289     11236      3195     31925     79503    498104      9.39   no data
407.73/51.19	c Finding binary XORs  T:     0.00 s  found:       0
417.31/52.31	c Decided on static restart strategy
460.42/57.76	c  N st   656    334553      2289     11236      3219     36099     79503    583298      9.39   no data
506.86/63.57	c  N st   658    357374      2289     11236      3221     33976     79503    515102      9.39   no data
506.86/63.57	c  S st   658    357374      2289     11236      3221     33976     79503    515102      9.39   no data
507.52/63.68	c  S st   658    357879      2289     11236      3221     34474     79503    525770      9.39   no data
507.52/63.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
508.32/63.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.05
508.32/63.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
508.32/63.74	c bin-w-bin subsume rem            1 bins  time:  0.00 s
508.32/63.74	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
508.32/63.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2289 time:  0.00 s
508.32/63.74	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
508.32/63.75	c lits-rem:        25  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.01 s
509.92/63.91	c subs with bin:       68  lits-rem:       214  v-fix:    0  time:  0.14 s
511.52/64.18	c lits-rem:       569  cl-subs:     1535  v-elim:      0  v-fix:    0  time:  0.26 s
511.52/64.18	c vivif2 --  cl tried    11227 cl shrink        0 lits rem          0 time: 0.00
511.52/64.19	c vivif2 --  cl tried    32874 cl shrink      133 lits rem        136 time: 0.01
513.92/64.42	c asymm  cl-useful: 60/4290/11227 lits-rem:61 time: 0.23
513.92/64.43	c calculated reachability. Time: 0.00
513.92/64.43	c  N st   658    357879      2289     11227      3220     32874     79359    501164      9.39   no data
567.49/71.18	c  N st   659    390272      2289     11227      3220     39094     79359    630092      9.39   no data
664.10/83.23	c  N st   660    438860      2289     11227      3220     32795     79359    436279      9.39   no data
810.94/101.66	c  N st   661    511742      2289     11227      3221     46375     79359    751300      9.39   no data
862.84/108.14	c  N st   662    536818      2289     11227      3222     40633     79359    592431      9.39   no data
862.84/108.14	c  S st   662    536818      2289     11227      3222     40633     79359    592431      9.39   no data
863.63/108.26	c  S st   662    537318      2289     11227      3222     41131     79359    603407      9.39   no data
863.63/108.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
864.43/108.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.4M T:  0.06
864.43/108.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
864.43/108.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
864.43/108.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
864.43/108.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2289 time:  0.00 s
864.43/108.34	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
864.43/108.35	c lits-rem:        22  cl-subs:       18  v-elim:     10  v-fix:    0  time:  0.01 s
866.10/108.55	c subs with bin:        7  lits-rem:        29  v-fix:    0  time:  0.16 s
869.23/108.96	c lits-rem:      1856  cl-subs:     2180  v-elim:      0  v-fix:    0  time:  0.41 s
869.23/108.96	c vivif2 --  cl tried    11208 cl shrink        0 lits rem          0 time: 0.00
869.23/108.97	c vivif2 --  cl tried    38944 cl shrink       46 lits rem         46 time: 0.01
871.63/109.21	c asymm  cl-useful: 3/872/11208 lits-rem:3 time: 0.24
871.63/109.22	c calculated reachability. Time: 0.00
871.63/109.22	c  N st   662    537318      2279     11208      3222     38944     79167    573047      9.39   no data
1229.33/154.07	c  N st   663    701302      2279     11208      3223     68111     79167   1225264      9.39   no data
1480.92/185.54	c  N st   664    805978      2279     11208      3228     62548     79167   1087482      9.39   no data
1480.92/185.54	c  S st   664    805978      2279     11208      3228     62548     79167   1087482      9.39   no data
1482.42/185.74	c  S st   664    806481      2279     11208      3229     63048     79167   1098712      9.39   no data
1482.42/185.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1483.22/185.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.3M T:  0.10
1483.22/185.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1483.22/185.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1483.22/185.86	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.00 s
1483.22/185.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2279 time:  0.00 s
1483.22/185.86	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1483.22/185.88	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.02 s
1488.03/186.41	c subs with bin:      501  lits-rem:      5056  v-fix:    0  time:  0.50 s
1504.80/188.50	c lits-rem:      8461  cl-subs:     3788  v-elim:      0  v-fix:    0  time:  2.05 s
1504.80/188.50	c vivif2 --  cl tried    11203 cl shrink        0 lits rem          0 time: 0.00
1504.80/188.53	c vivif2 --  cl tried    58759 cl shrink       90 lits rem         90 time: 0.02
1507.27/188.83	c asymm  cl-useful: 3/677/11203 lits-rem:3 time: 0.29
1507.27/188.84	c calculated reachability. Time: 0.00
1507.27/188.84	c  N st   664    806481      2279     11203      3229     58759     79133   1018127      9.39   no data
2163.52/271.05	c  F st   665   1071875      2279     11203      3230     75109     79132   1373980      9.39   no data
2163.52/271.06	c  N st   665   1071875      2279     11203      3230     75109     79132   1373980      9.39   no data
2163.52/271.08	c Finding binary XORs  T:     0.00 s  found:       1
2177.08/272.74	c Decided on static restart strategy
2231.38/279.59	c  N st   675   1100178      2278     11187      3255     55454     78962    824060      9.39   no data
2331.20/292.09	c  N st   677   1136171      2278     11187      3255     47078     78962    574906      9.39   no data
2409.45/301.87	c  N st   678   1168564      2278     11187      3255     78722     78962   1413832      9.39   no data
2517.32/315.39	c  N st   679   1209721      2278     11187      3256     73861     78962   1247543      9.39   no data
2517.32/315.39	c  S st   679   1209721      2278     11187      3256     73861     78962   1247543      9.39   no data
2519.63/315.64	c  S st   679   1210223      2278     11187      3257     74359     78962   1258619      9.39   no data
2519.63/315.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2520.43/315.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      8 BRemN:      0 P:  3.7M T:  0.13
2521.23/315.80	c Replacing        1 vars Replaced     2841 lits Time:     0.01 s 
2521.23/315.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2521.23/315.80	c bin-w-bin subsume rem            7 bins  time:  0.00 s
2521.23/315.81	c subs with bin:      150  lits-rem:         2  v-fix:    0  time:  0.00 s
2521.23/315.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2277 time:  0.00 s
2521.23/315.81	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2521.23/315.84	c lits-rem:       115  cl-subs:       43  v-elim:      5  v-fix:    0  time:  0.03 s
2526.94/316.55	c subs with bin:      659  lits-rem:      4897  v-fix:    0  time:  0.66 s
2549.17/319.38	c lits-rem:      3904  cl-subs:     5599  v-elim:      0  v-fix:    0  time:  2.79 s
2549.17/319.38	c vivif2 --  cl tried    10991 cl shrink        0 lits rem          0 time: 0.00
2549.97/319.41	c vivif2 --  cl tried    68104 cl shrink       19 lits rem         19 time: 0.02
2552.44/319.73	c asymm  cl-useful: 2/441/10991 lits-rem:3 time: 0.31
2552.44/319.74	c calculated reachability. Time: 0.00
2552.44/319.74	c  N st   679   1210223      2272     10991      3241     68104     77560   1150579      9.39   no data
2769.55/346.91	c  N st   680   1283106      2272     10991      3241     92888     77560   1790483      9.39   no data
3094.52/387.60	c  N st   681   1392429      2272     10991      3246     53408     77560    663643      9.39   no data
3632.75/455.02	c  N st   682   1556415      2272     10991      3249     58439     77560    754846      9.39   no data
4065.43/509.22	c Finding binary XORs  T:     0.00 s  found:       6
4160.59/521.16	c  N st   683   1710224      2258      9601      3127     82854     68412   1421113      9.39   no data
4160.59/521.16	c  S st   683   1710224      2258      9601      3127     82854     68412   1421113      9.39   no data
4161.25/521.22	c Finding binary XORs  T:     0.00 s  found:       2
4162.84/521.47	c  S st   683   1710728      2252      9176      3094     61192     65545    903386      9.39   no data
4162.84/521.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4164.45/521.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    185 BRemL:    182 BRemN:      0 P:  4.4M T:  0.14
4164.45/521.63	c Replacing        8 vars Replaced     6614 lits Time:     0.02 s 
4164.45/521.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4164.45/521.64	c bin-w-bin subsume rem           36 bins  time:  0.00 s
4164.45/521.64	c subs with bin:      415  lits-rem:       162  v-fix:    0  time:  0.00 s
4164.45/521.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2244 time:  0.00 s
4164.45/521.64	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4164.45/521.67	c lits-rem:      1116  cl-subs:      457  v-elim:     76  v-fix:    0  time:  0.02 s
4170.83/522.45	c subs with bin:     2630  lits-rem:     21149  v-fix:    0  time:  0.73 s
4186.08/524.34	c lits-rem:      9078  cl-subs:     6347  v-elim:      0  v-fix:    0  time:  1.86 s
4186.08/524.35	c vivif2 --  cl tried     8282 cl shrink        1 lits rem          1 time: 0.00
4186.08/524.38	c vivif2 --  cl tried    52203 cl shrink     7756 lits rem      13888 time: 0.03
4189.20/524.71	c asymm  cl-useful: 47/293/8282 lits-rem:55 time: 0.34
4189.20/524.72	c calculated reachability. Time: 0.00
4189.20/524.72	c  N st   683   1710728      2168      8282      3059     52202     58130    709998      9.39   no data
4189.20/524.72	c Finding binary XORs  T:     0.00 s  found:       0
4199.52/526.06	c Following stats are for *FIRST FINISHED THREAD ONLY*
4199.52/526.06	c num threads              : 8          
4199.52/526.06	c restarts                 : 685        
4199.52/526.06	c dynamic restarts         : 619        
4199.52/526.06	c static restarts          : 66         
4199.52/526.06	c full restarts            : 4          
4199.52/526.06	c total simplify time      : 0.14       
4199.52/526.06	c learnts DL2              : 0          
4199.52/526.06	c learnts size 2           : 5347       
4199.52/526.06	c learnts size 1           : 252         (8.49      % of vars)
4199.52/526.06	c filedLit time            : 0.45        (0.09      % time)
4199.52/526.06	c v-elim SatELite          : 545         (18.36     % vars)
4199.52/526.06	c SatELite time            : 10.45       (1.99      % time)
4199.52/526.06	c v-elim xor               : 0           (0.00      % vars)
4199.52/526.06	c xor elim time            : 0.02        (0.00      % time)
4199.52/526.06	c num binary xor trees     : 57         
4199.52/526.06	c binxor trees' crown      : 57          (1.00      leafs/tree)
4199.52/526.06	c bin xor find time        : 0.01       
4199.52/526.06	c OTF clause improved      : 45171       (0.03      clauses/conflict)
4199.52/526.06	c OTF impr. size diff      : 60225       (1.33       lits/clause)
4199.52/526.06	c OTF cl watch-shrink      : 1387956     (0.78      clauses/conflict)
4199.52/526.06	c OTF cl watch-sh-lit      : 6665638     (4.80       lits/clause)
4199.52/526.06	c tried to recurMin cls    : 346541      (19.57      % of conflicts)
4199.52/526.06	c updated cache            : 9442        (0.03       lits/tried recurMin)
4199.52/526.06	c unit cls recevied        : 18          (7.14      % of units)
4199.52/526.06	c unit cls sent            : 8           (3.17      % of units)
4199.52/526.06	c bin cls recevied         : 2439       
4199.52/526.06	c bin cls sent             : 299        
4199.52/526.06	c clauses over max glue    : 0           (0.00      % of all clauses)
4199.52/526.06	c conflicts                : 1770950     (3368.35   / sec)
4199.52/526.06	c decisions                : 3743151     (2.75      % random)
4199.52/526.06	c bogo-props               : 64991019734 (123612986.17 / sec)
4199.52/526.06	c conflict literals        : 45107224    (51.36     % deleted)
4199.52/526.06	c Memory used              : 827.18      MB
4199.52/526.06	c single-thread CPU time   : 525.76      s
4199.52/526.06	c all-threads sum CPU time : 4197.47     s
4199.52/526.06	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3421700-1306786794/watcher-3421700-1306786794 -o /tmp/evaluation-result-3421700-1306786794/solver-3421700-1306786794 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421700-1306786794.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.77 1.97 1.98 2/474 16328
/proc/meminfo: memFree=11908572/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=92144 CPUtime=0.03 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 411 0 0 0 3 0 0 0 22 0 8 0 790281801 94355456 352 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187151282 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16328/statm: 23036 352 299 95 0 18018 0
[pid=16328/tid=16329] ppid=16326 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 790281801 94355456 359 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150873 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=92144 CPUtime=0 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 790281801 94355456 359 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187151282 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 790281801 94355456 359 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150873 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 790281801 94355456 359 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150871 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=92144 CPUtime=0 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 790281801 94355456 359 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150873 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=92144 CPUtime=0 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 790281801 94355456 359 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150873 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=92144 CPUtime=0 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 790281801 94355456 359 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150873 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.056883 s]
/proc/loadavg: 1.77 1.97 1.98 2/474 16328
/proc/meminfo: memFree=11908572/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=223216 CPUtime=0.34 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 449 0 0 0 34 0 0 0 23 0 8 0 790281801 228573184 378 33554432000 4194304 4580107 140733236910864 18446744073709551615 212435691864 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 55804 379 311 95 0 50786 0
[pid=16328/tid=16329] ppid=16326 vsize=223216 CPUtime=0.05 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) S 16326 16328 16302 0 -1 4202560 11 0 0 0 5 0 0 0 23 0 8 0 790281801 228573184 379 33554432000 4194304 4580107 140733236910864 18446744073709551615 212436122094 0 0 4096 2 18446604450236029632 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=223216 CPUtime=0 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) S 16326 16328 16302 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 8 0 790281801 228573184 379 33554432000 4194304 4580107 140733236910864 18446744073709551615 212436122094 0 0 4096 2 18446604450236029632 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=223216 CPUtime=0.05 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) S 16326 16328 16302 0 -1 4202560 3 0 0 0 5 0 0 0 23 0 8 0 790281801 228573184 379 33554432000 4194304 4580107 140733236910864 18446744073709551615 212436122094 0 0 4096 2 18446604450236029632 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=223216 CPUtime=0.05 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) S 16326 16328 16302 0 -1 4202560 7 0 0 0 5 0 0 0 24 0 8 0 790281801 228573184 379 33554432000 4194304 4580107 140733236910864 18446744073709551615 212436122094 0 0 4096 2 18446604450236029632 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=223216 CPUtime=0.04 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) S 16326 16328 16302 0 -1 4202560 4 0 0 0 4 0 0 0 24 0 8 0 790281801 228573184 379 33554432000 4194304 4580107 140733236910864 18446744073709551615 212436122094 0 0 4096 2 18446604450236029632 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=223216 CPUtime=0.04 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) D 16326 16328 16302 0 -1 4202560 5 0 0 0 4 0 0 0 18 0 8 0 790281801 228573184 379 33554432000 4194304 4580107 140733236910864 18446744073709551615 4441008 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=223216 CPUtime=0.04 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) D 16326 16328 16302 0 -1 4202560 5 0 0 0 4 0 0 0 18 0 8 0 790281801 228573184 379 33554432000 4194304 4580107 140733236910864 18446744073709551615 212436060295 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 223216

[startup+0.101217 s]
/proc/loadavg: 1.77 1.97 1.98 2/474 16328
/proc/meminfo: memFree=11908572/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=492428 CPUtime=0.67 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) S 16326 16328 16302 0 -1 4202496 7001 0 0 0 61 6 0 0 18 0 8 0 790281801 504246272 6802 33554432000 4194304 4580107 140733236910864 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 123107 6810 358 95 0 118089 0
[pid=16328/tid=16329] ppid=16326 vsize=492428 CPUtime=0.08 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 804 0 0 0 8 0 0 0 17 0 8 0 790281801 504246272 6810 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=492428 CPUtime=0.03 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 875 0 0 0 3 0 0 0 18 0 8 0 790281801 504246272 6810 33554432000 4194304 4580107 140733236910864 18446744073709551615 4353656 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=492428 CPUtime=0.08 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 810 0 0 0 8 0 0 0 18 0 8 0 790281801 504246272 6810 33554432000 4194304 4580107 140733236910864 18446744073709551615 4505371 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=492428 CPUtime=0.09 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 706 0 0 0 8 1 0 0 18 0 8 0 790281801 504246272 6810 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=492428 CPUtime=0.08 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 879 0 0 0 8 0 0 0 18 0 8 0 790281801 504246272 6810 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=492428 CPUtime=0.07 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 848 0 0 0 7 0 0 0 18 0 8 0 790281801 504246272 6810 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=492428 CPUtime=0.07 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 839 0 0 0 7 0 0 0 18 0 8 0 790281801 504246272 6810 33554432000 4194304 4580107 140733236910864 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 492428

[startup+0.749604 s]
/proc/loadavg: 1.77 1.97 1.98 2/474 16328
/proc/meminfo: memFree=11908572/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=556664 CPUtime=8.88 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 24984 0 0 0 873 15 0 0 19 0 8 0 790281801 570023936 18402 33554432000 4194304 4580107 140733236910864 18446744073709551615 4318504 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 139166 18402 379 95 0 134148 0
[pid=16328/tid=16329] ppid=16326 vsize=556664 CPUtime=1.11 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3012 0 0 0 110 1 0 0 19 0 8 0 790281801 570023936 18402 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=556664 CPUtime=1.06 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3017 0 0 0 104 2 0 0 18 0 8 0 790281801 570023936 18403 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=556664 CPUtime=1.11 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3104 0 0 0 110 1 0 0 19 0 8 0 790281801 570023936 18403 33554432000 4194304 4580107 140733236910864 18446744073709551615 4484453 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=556664 CPUtime=1.12 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3048 0 0 0 110 2 0 0 19 0 8 0 790281801 570023936 18403 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=556664 CPUtime=1.11 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3500 0 0 0 110 1 0 0 19 0 8 0 790281801 570023936 18403 33554432000 4194304 4580107 140733236910864 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=556664 CPUtime=1.09 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3142 0 0 0 108 1 0 0 18 0 8 0 790281801 570023936 18403 33554432000 4194304 4580107 140733236910864 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=556664 CPUtime=1.1 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 2573 0 0 0 110 0 0 0 19 0 8 0 790281801 570023936 18404 33554432000 4194304 4580107 140733236910864 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.88
Current children cumulated vsize (KiB) 556664

[startup+1.24957 s]
/proc/loadavg: 1.77 1.97 1.98 2/474 16328
/proc/meminfo: memFree=11908572/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=556724 CPUtime=9.68 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 25821 0 0 0 953 15 0 0 19 0 8 0 790281801 570085376 18766 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 139181 18766 379 95 0 134163 0
[pid=16328/tid=16329] ppid=16326 vsize=556724 CPUtime=1.21 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3063 0 0 0 120 1 0 0 19 0 8 0 790281801 570085376 18766 33554432000 4194304 4580107 140733236910864 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=556724 CPUtime=1.15 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3260 0 0 0 113 2 0 0 19 0 8 0 790281801 570085376 18766 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=556724 CPUtime=1.21 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3160 0 0 0 120 1 0 0 19 0 8 0 790281801 570085376 18767 33554432000 4194304 4580107 140733236910864 18446744073709551615 4317012 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=556724 CPUtime=1.22 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3054 0 0 0 120 2 0 0 19 0 8 0 790281801 570085376 18767 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=556724 CPUtime=1.21 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3558 0 0 0 120 1 0 0 19 0 8 0 790281801 570085376 18767 33554432000 4194304 4580107 140733236910864 18446744073709551615 4321828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=556724 CPUtime=1.19 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3168 0 0 0 118 1 0 0 19 0 8 0 790281801 570085376 18767 33554432000 4194304 4580107 140733236910864 18446744073709551615 4318755 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=556724 CPUtime=1.2 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 2904 0 0 0 120 0 0 0 19 0 8 0 790281801 570085376 18767 33554432000 4194304 4580107 140733236910864 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (KiB) 556724

[startup+1.50052 s]
/proc/loadavg: 1.77 1.97 1.98 2/474 16328
/proc/meminfo: memFree=11908572/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=556724 CPUtime=11.69 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 26784 0 0 0 1154 15 0 0 19 0 8 0 790281801 570085376 19729 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 139181 19729 379 95 0 134163 0
[pid=16328/tid=16329] ppid=16326 vsize=556724 CPUtime=1.46 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3160 0 0 0 145 1 0 0 19 0 8 0 790281801 570085376 19729 33554432000 4194304 4580107 140733236910864 18446744073709551615 4325660 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=556724 CPUtime=1.41 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3367 0 0 0 139 2 0 0 19 0 8 0 790281801 570085376 19729 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=556724 CPUtime=1.46 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3265 0 0 0 145 1 0 0 19 0 8 0 790281801 570085376 19729 33554432000 4194304 4580107 140733236910864 18446744073709551615 4318673 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=556724 CPUtime=1.47 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3098 0 0 0 145 2 0 0 19 0 8 0 790281801 570085376 19729 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=556724 CPUtime=1.46 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3655 0 0 0 145 1 0 0 19 0 8 0 790281801 570085376 19729 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=556724 CPUtime=1.44 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3259 0 0 0 143 1 0 0 19 0 8 0 790281801 570085376 19729 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=556724 CPUtime=1.45 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3017 0 0 0 145 0 0 0 19 0 8 0 790281801 570085376 19729 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 556724

[startup+3.10122 s]
/proc/loadavg: 1.77 1.97 1.98 9/482 16336
/proc/meminfo: memFree=11802376/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=547296 CPUtime=24.47 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 36830 0 0 0 2429 18 0 0 23 0 8 0 790281801 560431104 26988 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 136824 26988 380 95 0 131806 0
[pid=16328/tid=16329] ppid=16326 vsize=547296 CPUtime=3.07 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 4527 0 0 0 305 2 0 0 23 0 8 0 790281801 560431104 26988 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=547296 CPUtime=3.01 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 5478 0 0 0 298 3 0 0 23 0 8 0 790281801 560431104 26988 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=547296 CPUtime=3.06 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 4588 0 0 0 305 1 0 0 23 0 8 0 790281801 560431104 26988 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=547296 CPUtime=3.07 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 4013 0 0 0 305 2 0 0 23 0 8 0 790281801 560431104 26989 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=547296 CPUtime=3.06 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 4602 0 0 0 305 1 0 0 24 0 8 0 790281801 560431104 26989 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=547296 CPUtime=3.05 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 4247 0 0 0 303 2 0 0 23 0 8 0 790281801 560431104 26989 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=547296 CPUtime=3.06 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 3701 0 0 0 305 1 0 0 24 0 8 0 790281801 560431104 26989 33554432000 4194304 4580107 140733236910864 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.47
Current children cumulated vsize (KiB) 547296

[startup+6.31762 s]
/proc/loadavg: 2.27 2.07 2.02 9/482 16336
/proc/meminfo: memFree=11772072/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=547464 CPUtime=50.14 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 50613 0 0 0 4994 20 0 0 25 0 8 0 790281801 560603136 34799 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 136866 34799 380 95 0 131848 0
[pid=16328/tid=16329] ppid=16326 vsize=547464 CPUtime=6.28 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 7035 0 0 0 626 2 0 0 25 0 8 0 790281801 560603136 34799 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=547464 CPUtime=6.22 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 6646 0 0 0 619 3 0 0 25 0 8 0 790281801 560603136 34799 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=547464 CPUtime=6.29 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 5661 0 0 0 627 2 0 0 25 0 8 0 790281801 560603136 34799 33554432000 4194304 4580107 140733236910864 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=547464 CPUtime=6.29 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 5852 0 0 0 627 2 0 0 25 0 8 0 790281801 560603136 34799 33554432000 4194304 4580107 140733236910864 18446744073709551615 4316692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=547464 CPUtime=6.28 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 7462 0 0 0 626 2 0 0 25 0 8 0 790281801 560603136 34799 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=547464 CPUtime=6.26 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 5268 0 0 0 624 2 0 0 25 0 8 0 790281801 560603136 34799 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=547464 CPUtime=6.27 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 6083 0 0 0 626 1 0 0 25 0 8 0 790281801 560603136 34799 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 5 0 0 0

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

/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 76482 0 0 0 40195 23 0 0 25 0 8 0 790281801 849047552 132455 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=829148 CPUtime=402.27 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 64811 0 0 0 40203 24 0 0 25 0 8 0 790281801 849047552 132455 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=829148 CPUtime=402.29 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 65996 0 0 0 40206 23 0 0 25 0 8 0 790281801 849047552 132455 33554432000 4194304 4580107 140733236910864 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3212.01
Current children cumulated vsize (KiB) 829148

[startup+462.301 s]
/proc/loadavg: 8.05 6.75 4.34 9/482 16348
/proc/meminfo: memFree=11346204/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=871292 CPUtime=3690.96 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 591759 0 0 0 368895 201 0 0 25 0 8 0 790281801 892203008 138227 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 217823 138227 381 95 0 212805 0
[pid=16328/tid=16329] ppid=16326 vsize=871292 CPUtime=462.28 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 78789 0 0 0 46205 23 0 0 25 0 8 0 790281801 892203008 138227 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=871292 CPUtime=462.22 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 75815 0 0 0 46195 27 0 0 25 0 8 0 790281801 892203008 138227 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=871292 CPUtime=462.27 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 63357 0 0 0 46207 20 0 0 25 0 8 0 790281801 892203008 138227 33554432000 4194304 4580107 140733236910864 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=871292 CPUtime=462.28 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 74980 0 0 0 46203 25 0 0 25 0 8 0 790281801 892203008 138227 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=871292 CPUtime=462.15 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 85925 0 0 0 46190 25 0 0 25 0 8 0 790281801 892203008 138227 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=871292 CPUtime=462.26 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 69490 0 0 0 46199 27 0 0 25 0 8 0 790281801 892203008 138227 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=871292 CPUtime=462.27 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 73127 0 0 0 46200 27 0 0 25 0 8 0 790281801 892203008 138227 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3690.96
Current children cumulated vsize (KiB) 871292

[startup+522.301 s]
/proc/loadavg: 8.08 7.00 4.58 9/482 16350
/proc/meminfo: memFree=11330992/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=847028 CPUtime=4170.03 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 623650 0 0 0 416787 216 0 0 25 0 8 0 790281801 867356672 144432 33554432000 4194304 4580107 140733236910864 18446744073709551615 4412391 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 211757 144432 381 95 0 206739 0
[pid=16328/tid=16329] ppid=16326 vsize=847028 CPUtime=522.28 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 85654 0 0 0 52202 26 0 0 25 0 8 0 790281801 867356672 144432 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=847028 CPUtime=522.22 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 81901 0 0 0 52193 29 0 0 25 0 8 0 790281801 867356672 144432 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=847028 CPUtime=522.28 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 63893 0 0 0 52208 20 0 0 25 0 8 0 790281801 867356672 144433 33554432000 4194304 4580107 140733236910864 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=847028 CPUtime=522.28 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 81750 0 0 0 52200 28 0 0 25 0 8 0 790281801 867356672 144433 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=847028 CPUtime=522.14 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 90348 0 0 0 52187 27 0 0 25 0 8 0 790281801 867356672 144433 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=847028 CPUtime=522.26 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 72502 0 0 0 52197 29 0 0 25 0 8 0 790281801 867356672 144433 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=847028 CPUtime=522.28 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 76453 0 0 0 52199 29 0 0 25 0 8 0 790281801 867356672 144433 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4170.03
Current children cumulated vsize (KiB) 847028

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

[startup+523.901 s]
/proc/loadavg: 8.08 7.00 4.58 9/482 16350
/proc/meminfo: memFree=11324296/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=847028 CPUtime=4182.81 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 625348 0 0 0 418064 217 0 0 25 0 8 0 790281801 867356672 146124 33554432000 4194304 4580107 140733236910864 18446744073709551615 4416376 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 211757 146124 381 95 0 206739 0
[pid=16328/tid=16329] ppid=16326 vsize=847028 CPUtime=523.88 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 85736 0 0 0 52362 26 0 0 25 0 8 0 790281801 867356672 146124 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=847028 CPUtime=523.82 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 81983 0 0 0 52353 29 0 0 25 0 8 0 790281801 867356672 146124 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=847028 CPUtime=523.87 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 63993 0 0 0 52367 20 0 0 25 0 8 0 790281801 867356672 146124 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=847028 CPUtime=523.88 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 81836 0 0 0 52360 28 0 0 25 0 8 0 790281801 867356672 146124 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=847028 CPUtime=523.74 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 90440 0 0 0 52347 27 0 0 25 0 8 0 790281801 867356672 146124 33554432000 4194304 4580107 140733236910864 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=847028 CPUtime=523.86 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 72505 0 0 0 52357 29 0 0 25 0 8 0 790281801 867356672 146124 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=847028 CPUtime=523.88 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 76453 0 0 0 52359 29 0 0 25 0 8 0 790281801 867356672 146124 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4182.81
Current children cumulated vsize (KiB) 847028

[startup+524.701 s]
/proc/loadavg: 8.07 7.02 4.60 9/482 16350
/proc/meminfo: memFree=11323180/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=847028 CPUtime=4189.2 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 625598 0 0 0 418703 217 0 0 25 0 8 0 790281801 867356672 145160 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 211757 145160 381 95 0 206739 0
[pid=16328/tid=16329] ppid=16326 vsize=847028 CPUtime=524.68 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 85780 0 0 0 52442 26 0 0 25 0 8 0 790281801 867356672 145160 33554432000 4194304 4580107 140733236910864 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=847028 CPUtime=524.62 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 82026 0 0 0 52433 29 0 0 25 0 8 0 790281801 867356672 145160 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=847028 CPUtime=524.67 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 64045 0 0 0 52447 20 0 0 25 0 8 0 790281801 867356672 145160 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=847028 CPUtime=524.68 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 81877 0 0 0 52440 28 0 0 25 0 8 0 790281801 867356672 145160 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=847028 CPUtime=524.54 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 90482 0 0 0 52427 27 0 0 25 0 8 0 790281801 867356672 145160 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=847028 CPUtime=524.66 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 72507 0 0 0 52437 29 0 0 25 0 8 0 790281801 867356672 145160 33554432000 4194304 4580107 140733236910864 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=847028 CPUtime=524.68 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 76479 0 0 0 52439 29 0 0 25 0 8 0 790281801 867356672 145160 33554432000 4194304 4580107 140733236910864 18446744073709551615 4412930 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4189.2
Current children cumulated vsize (KiB) 847028

[startup+525.519 s]
/proc/loadavg: 8.07 7.02 4.60 9/482 16350
/proc/meminfo: memFree=11324668/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=847028 CPUtime=4195.72 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 626290 0 0 0 419355 217 0 0 25 0 8 0 790281801 867356672 143008 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 211757 143008 381 95 0 206739 0
[pid=16328/tid=16329] ppid=16326 vsize=847028 CPUtime=525.51 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 85868 0 0 0 52524 27 0 0 25 0 8 0 790281801 867356672 143008 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=847028 CPUtime=525.44 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 82068 0 0 0 52515 29 0 0 25 0 8 0 790281801 867356672 143008 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=847028 CPUtime=525.49 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 64103 0 0 0 52529 20 0 0 25 0 8 0 790281801 867356672 143008 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=847028 CPUtime=525.5 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 81914 0 0 0 52522 28 0 0 25 0 8 0 790281801 867356672 143008 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=847028 CPUtime=525.36 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 90525 0 0 0 52509 27 0 0 25 0 8 0 790281801 867356672 143008 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=847028 CPUtime=525.48 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 72508 0 0 0 52519 29 0 0 25 0 8 0 790281801 867356672 143008 33554432000 4194304 4580107 140733236910864 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=847028 CPUtime=525.5 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 76902 0 0 0 52521 29 0 0 25 0 8 0 790281801 867356672 143008 33554432000 4194304 4580107 140733236910864 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4195.72
Current children cumulated vsize (KiB) 847028

[startup+525.901 s]
/proc/loadavg: 8.07 7.02 4.60 9/482 16350
/proc/meminfo: memFree=11324668/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=847028 CPUtime=4198.78 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) R 16326 16328 16302 0 -1 4202496 626387 0 0 0 419661 217 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150871 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 211757 142714 381 95 0 206739 0
[pid=16328/tid=16329] ppid=16326 vsize=847028 CPUtime=525.89 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 85870 0 0 0 52562 27 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150873 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=847028 CPUtime=525.82 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 82092 0 0 0 52553 29 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150873 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=847028 CPUtime=525.87 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 64127 0 0 0 52567 20 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150871 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=847028 CPUtime=525.88 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 81929 0 0 0 52560 28 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187126315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=847028 CPUtime=525.74 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 90556 0 0 0 52547 27 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150864 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=847028 CPUtime=525.86 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 72509 0 0 0 52557 29 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150873 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=847028 CPUtime=525.88 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 76902 0 0 0 52559 29 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4198.78
Current children cumulated vsize (KiB) 847028

[startup+526.001 s]
/proc/loadavg: 8.07 7.02 4.60 9/482 16350
/proc/meminfo: memFree=11324668/32951124 swapFree=38422276/67111528
[pid=16328] ppid=16326 vsize=847028 CPUtime=4199.52 cores=0-7
/proc/16328/stat : 16328 (strangenight2-m) S 16326 16328 16302 0 -1 4202496 626387 0 0 0 419735 217 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150900 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16328/statm: 211757 142714 381 95 0 206739 0
[pid=16328/tid=16329] ppid=16326 vsize=847028 CPUtime=525.98 cores=0-7
/proc/16328/task/16329/stat : 16329 (strangenight2-m) S 16326 16328 16302 0 -1 4202560 85870 0 0 0 52571 27 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150900 0 0 4096 2 18446604450236029632 0 0 -1 2 0 0 0
[pid=16328/tid=16330] ppid=16326 vsize=847028 CPUtime=525.91 cores=0-7
/proc/16328/task/16330/stat : 16330 (strangenight2-m) S 16326 16328 16302 0 -1 4202560 82092 0 0 0 52562 29 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150900 0 0 4096 2 18446604450236029632 0 0 -1 4 0 0 0
[pid=16328/tid=16331] ppid=16326 vsize=847028 CPUtime=525.96 cores=0-7
/proc/16328/task/16331/stat : 16331 (strangenight2-m) S 16326 16328 16302 0 -1 4202560 64127 0 0 0 52576 20 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150900 0 0 4096 2 18446604450236029632 0 0 -1 0 0 0 0
[pid=16328/tid=16332] ppid=16326 vsize=847028 CPUtime=525.98 cores=0-7
/proc/16328/task/16332/stat : 16332 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 81929 0 0 0 52570 28 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187126468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16328/tid=16333] ppid=16326 vsize=847028 CPUtime=525.83 cores=0-7
/proc/16328/task/16333/stat : 16333 (strangenight2-m) S 16326 16328 16302 0 -1 4202560 90556 0 0 0 52556 27 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150900 0 0 4096 2 18446604450236029632 0 0 -1 6 0 0 0
[pid=16328/tid=16334] ppid=16326 vsize=847028 CPUtime=525.95 cores=0-7
/proc/16328/task/16334/stat : 16334 (strangenight2-m) S 16326 16328 16302 0 -1 4202560 72509 0 0 0 52566 29 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 47162187150900 0 0 4096 2 18446604450236029632 0 0 -1 3 0 0 0
[pid=16328/tid=16335] ppid=16326 vsize=847028 CPUtime=525.98 cores=0-7
/proc/16328/task/16335/stat : 16335 (strangenight2-m) R 16326 16328 16302 0 -1 4202560 76902 0 0 0 52569 29 0 0 25 0 8 0 790281801 867356672 142714 33554432000 4194304 4580107 140733236910864 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4199.52
Current children cumulated vsize (KiB) 847028

Child status: 20
Real time (s): 526.088
CPU time (s): 4199.68
CPU user time (s): 4197.47
CPU system time (s): 2.20466
CPU usage (%): 798.284
Max. virtual memory (cumulated for all children) (KiB): 949440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4197.47
system time used= 2.20466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 626390
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= 19746
involuntary context switches= 17785

runsolver used 2.30665 second user time and 5.84011 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-30 22:19:54
IDJOB=3421700
IDBENCH=85793
IDSOLVER=1878
FILE ID=node102/3421700-1306786794
RUNJOBID= node102-1306786794-16316
PBS_JOBID= 13475036
Free space on /tmp= 58864 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn009.shuffled-as.sat05-3849.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421700-1306786794/watcher-3421700-1306786794 -o /tmp/evaluation-result-3421700-1306786794/solver-3421700-1306786794 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421700-1306786794.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= f2a1eb7937a7cda114ce344a30ca1145
RANDOM SEED=1692107954

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11908976 kB
Buffers:        259512 kB
Cached:       16393388 kB
SwapCached:      76372 kB
Active:       15639956 kB
Inactive:      4726920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11908976 kB
SwapTotal:    67111528 kB
SwapFree:     38422276 kB
Dirty:            6352 kB
Writeback:           0 kB
AnonPages:     3650080 kB
Mapped:          13072 kB
Slab:           505780 kB
PageTables:      99096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135452900 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= 58860 MiB
End job on node102 at 2011-05-30 22:28:41