Trace number 3367164

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 1979.3 526.504

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
MD5SUMcf1b8194ff6d413d396ac9e26bb031ef
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark202.908
Satisfiable
(Un)Satisfiability was proved
Number of variables50797
Number of clauses177980
Sum of the clauses size470252
Maximum clause length37
Minimum clause length1
Number of clauses of size 11318
Number of clauses of size 295086
Number of clauses of size 374860
Number of clauses of size 4486
Number of clauses of size 5945
Number of clauses of size over 55285

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.06	c Using 4 threads
0.28/0.11	c This is CryptoMiniSat 3.0.0
0.28/0.11	c WARNING: for repeatability, setting FPU to use double precision
0.28/0.11	c Reading file 'HOME/instance-3367164-1305389096.cnf'
0.28/0.12	c -- header says num vars:          50797
0.28/0.12	c -- header says num clauses:      177980
3.43/0.97	c -- clauses added:            0 learnts,       177980 normals,            0 xors
3.43/0.97	c -- vars added      50797
3.43/0.97	c Parsing time:  0.08 s
3.43/0.97	c  N st     0         0     50797     81576     95086         0    468934         0   no data   no data
3.85/1.01	c asymm  cl-useful: 32/2745/81426 lits-rem:64 time: 0.79
27.73/7.08	c Flit:   189 Blit:      3 bXBeca:    0 bXProp: 17530 Bins:      0 BRemL:      0 BRemN:      0 P: 127.3M T:  5.99
27.73/7.08	c Cleaning up after failed var search:     0.00 s 
28.13/7.11	c Replacing    17530 vars Replaced   329681 lits Time:     0.02 s 
28.13/7.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.13/7.14	c bin-w-bin subsume rem            6 bins  time:  0.01 s
28.13/7.15	c subs with bin:        2  lits-rem:         6  v-fix:    0  time:  0.01 s
29.73/7.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  31751 time:  0.39 s
30.15/7.69	c Removed useless bin:       2  fixed:     0  props:  20.01M  time:  0.15 s
31.32/7.96	c lits-rem:       283  cl-subs:       68  v-elim:  10583  v-fix:    0  time:  0.26 s
32.12/8.11	c Finding binary XORs  T:     0.16 s  found:    1023
32.12/8.12	c Replacing     1023 vars Replaced    21429 lits Time:     0.01 s 
32.12/8.19	c Finding non-binary XORs:     0.04 s (found:   12949, avg size: 3.0)
32.12/8.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5468 locsubst: 46782 time:   0.02
32.51/8.20	c Replacing      512 vars Replaced     5823 lits Time:     0.01 s 
32.51/8.22	c calculated reachability. Time: 0.02
32.51/8.22	c Calc default polars -  time:   0.00 s pos:    3299 undec:   38367 neg:    9131
32.51/8.22	c =========================================================================================
32.51/8.22	c types(t): F = full restart, N = normal restart
32.51/8.22	c types(t): S = simplification begin/end, E = solution found
32.51/8.22	c restart types(rt): st = static, dy = dynamic
32.51/8.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
32.51/8.22	c  B st     0         0     14165     22849     34135         0    229493         0   no data   no data
34.12/8.65	c  N dy    14      4270     14165     22849     34168      3839    229492    215946     11.25     11.99
35.31/8.92	c  N dy    32      8457     14165     22849     34902      7153    229489    299436     11.38     12.00
36.51/9.22	c  N dy    53     12481     14165     22849     35024     10449    229487    388645     11.28     11.92
37.31/9.48	c  N dy    71     16572     14164     22849     35050     13931    229484    480267     11.19     12.26
38.51/9.73	c  N dy    88     20813     14164     22849     35226      8970    229484    100470     10.76     11.69
38.93/9.87	c Finding binary XORs  T:     0.11 s  found:     164
38.93/9.88	c Replacing      166 vars Replaced     6556 lits Time:     0.01 s 
39.69/10.08	c  N dy   103     24865     13997     22828     35071     11046    229375    161869     10.64     11.35
39.69/10.10	c  F st   105     25001     13997     22828     35071     11166    229375    166063     10.69   no data
41.29/10.49	c  N dy   111     30000     13997     22828     35111     15319    229375    312712     10.69   no data
41.29/10.49	c  S st   111     30000     13997     22828     35111     15319    229375    312712     10.69   no data
41.69/10.55	c  S st   111     30501     13997     22828     35127     15746    229375    319469     10.69   no data
41.69/10.58	c x-sub:   580 x-cut:      0 vfix:      0 v-elim:   2799 locsubst:  1289 time:   0.03
54.06/13.64	c Flit:    11 Blit:      4 bXBeca:    0 bXProp: 2249 Bins:  88555 BRemL:  18168 BRemN:      0 P: 67.5M T:  3.05
54.06/13.67	c Replacing     2359 vars Replaced   290473 lits Time:     0.03 s 
54.06/13.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
54.46/13.72	c bin-w-bin subsume rem        69357 bins  time:  0.04 s
54.46/13.77	c subs with bin:     6704  lits-rem:     17037  v-fix:    0  time:  0.05 s
54.85/13.81	c Subs w/ non-existent bins:   2781 l-rem:   2663 v-fix:     0 done:   8823 time:  0.04 s
54.85/13.82	c Removed useless bin:     906  fixed:     0  props:   0.95M  time:  0.01 s
54.85/13.85	c lits-rem:        35  cl-subs:     3599  v-elim:    106  v-fix:    0  time:  0.03 s
54.85/13.86	c subs with bin:      183  lits-rem:      4380  v-fix:    0  time:  0.01 s
54.85/13.87	c lits-rem:       138  cl-subs:      481  v-elim:      0  v-fix:    0  time:  0.01 s
55.65/14.07	c asymm  cl-useful: 149/6545/9290 lits-rem:152 time: 0.20
55.65/14.08	c calculated reachability. Time: 0.00
55.65/14.08	c  N dy   111     30501      8717      9289     31930      1378    107939     39567     10.69   no data
56.05/14.16	c Finding binary XORs  T:     0.08 s  found:      24
56.89/14.38	c  N dy   134     34686      8717      9289     32025      4849    107934    117837     11.00     11.71
58.04/14.64	c Finding binary XORs  T:     0.07 s  found:      14
58.04/14.67	c  N dy   153     38775      8717      9289    107408      8222    107931    361949     11.61     30.16
59.24/14.91	c  N dy   183     42932      8717      9289    107425      6349    107931    260919     12.27     13.41
59.64/15.05	c  S st   200     45751      8717      9289    107440      8563    107929    316332     12.43   no data
59.64/15.09	c  S st   200     46253      8717      9289    107447      8989    107929    320891     12.43   no data
60.04/15.12	c x-sub:   169 x-cut:      0 vfix:      0 v-elim:   1332 locsubst:   647 time:   0.03
61.63/15.50	c Flit:     0 Blit:      4 bXBeca:    0 bXProp:   30 Bins:   2390 BRemL:  38718 BRemN:   1461 P:  6.3M T:  0.38
61.63/15.51	c Replacing      113 vars Replaced     2263 lits Time:     0.01 s 
61.63/15.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
61.63/15.53	c bin-w-bin subsume rem        44749 bins  time:  0.02 s
61.63/15.55	c subs with bin:      323  lits-rem:       258  v-fix:    0  time:  0.01 s
61.63/15.56	c Subs w/ non-existent bins:    144 l-rem:    146 v-fix:     0 done:   7268 time:  0.01 s
61.63/15.56	c Removed useless bin:      74  fixed:     0  props:   0.34M  time:  0.00 s
61.63/15.57	c lits-rem:        20  cl-subs:       90  v-elim:     36  v-fix:    0  time:  0.01 s
61.63/15.58	c subs with bin:       66  lits-rem:        64  v-fix:    0  time:  0.00 s
61.63/15.58	c lits-rem:        47  cl-subs:      229  v-elim:      0  v-fix:    0  time:  0.00 s
61.63/15.59	c vivif2 --  cl tried     8816 cl shrink       78 lits rem        122 time: 0.00
61.63/15.59	c vivif2 --  cl tried     1480 cl shrink       40 lits rem         51 time: 0.00
62.43/15.78	c asymm  cl-useful: 171/8816/8816 lits-rem:230 time: 0.19
62.43/15.78	c calculated reachability. Time: 0.00
62.43/15.78	c  N dy   200     46253      7232      8815     24472      1479     95061     33652     12.43   no data
63.22/15.93	c  N dy   225     51983      7232      8815     27497      5792     95058    145066     12.91     13.67
63.62/16.03	c  N dy   241     56006      7232      8815     28684      8462     95056    197757     12.87     17.93
64.02/16.14	c  N dy   255     60735      7232      8815     28685     12741     95051    275714     12.74     13.46
64.42/16.26	c Finding binary XORs  T:     0.07 s  found:      26
64.82/16.36	c  N dy   276     65333      7232      8815     28691      8875     95049    123221     12.92     13.90
65.25/16.50	c  S st   297     69379      7232      8815     28718     12116     95047    210425     13.17      8.68
65.66/16.54	c  S st   297     69883      7232      8815     28721     12553     95046    216642     13.17   no data
65.66/16.57	c x-sub:    52 x-cut:      0 vfix:      0 v-elim:    307 locsubst:   930 time:   0.03
66.41/16.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins:    104 BRemL:   9980 BRemN:     55 P:  4.7M T:  0.17
66.41/16.75	c Replacing       68 vars Replaced     2795 lits Time:     0.00 s 
66.41/16.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.41/16.75	c bin-w-bin subsume rem         1679 bins  time:  0.00 s
66.41/16.76	c subs with bin:      228  lits-rem:         0  v-fix:    0  time:  0.01 s
66.41/16.77	c Subs w/ non-existent bins:     50 l-rem:      0 v-fix:     0 done:   6857 time:  0.01 s
66.41/16.78	c Removed useless bin:     134  fixed:     0  props:   0.90M  time:  0.00 s
66.41/16.78	c lits-rem:         5  cl-subs:       60  v-elim:     20  v-fix:    0  time:  0.01 s
66.41/16.79	c subs with bin:       51  lits-rem:       253  v-fix:    0  time:  0.00 s
66.81/16.81	c lits-rem:       178  cl-subs:      763  v-elim:      0  v-fix:    0  time:  0.02 s
66.81/16.81	c vivif2 --  cl tried     8529 cl shrink        6 lits rem         18 time: 0.00
66.81/16.82	c vivif2 --  cl tried     5624 cl shrink        6 lits rem         12 time: 0.00
67.21/16.99	c asymm  cl-useful: 1250/8529/8529 lits-rem:3386 time: 0.17
67.21/16.99	c calculated reachability. Time: 0.00
67.21/16.99	c  N dy   297     69883      6837      7531     17763      5624     90709     73950     13.17   no data
68.01/17.18	c  N dy   330     74387      6837      7531     85539      9578     90709    338540     13.80     27.90
69.22/17.45	c Finding binary XORs  T:     0.07 s  found:     309
69.22/17.46	c Replacing      309 vars Replaced    23862 lits Time:     0.02 s 
69.65/17.52	c  N dy   368     81112      6528      7505     84607     14812     89363    508833     14.56     15.72
70.06/17.62	c  N dy   378     86622      6528      7505     84923     19778     89363    613690     14.54     15.39
70.06/17.64	c  F st   380     87501      6528      7505     84923     20433     89363    622534     14.49      8.14
70.40/17.76	c  N dy   386     92697      6528      7505     84931     14779     89362    383710     14.49   no data
70.80/17.89	c  N dy   400     98887      6528      7505     84937     19287     89361    466841     14.36     15.61
72.00/18.18	c  S st   437    104824      6528      7505     84948     24132     89352    644315     15.02   no data
72.40/18.22	c  S st   437    105326      6528      7505     84953     24562     89352    650001     15.02   no data
72.40/18.28	c x-sub:    37 x-cut:      0 vfix:      0 v-elim:    115 locsubst:  1052 time:   0.05
73.60/18.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   29 Bins:   4503 BRemL:  30010 BRemN:    366 P:  5.2M T:  0.29
73.60/18.57	c Replacing      105 vars Replaced     6406 lits Time:     0.01 s 
73.60/18.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.03/18.61	c bin-w-bin subsume rem        37977 bins  time:  0.03 s
74.03/18.63	c subs with bin:      222  lits-rem:         0  v-fix:    0  time:  0.01 s
74.03/18.64	c Subs w/ non-existent bins:     74 l-rem:      0 v-fix:     0 done:   6308 time:  0.01 s
74.03/18.64	c Removed useless bin:     114  fixed:     0  props:   0.44M  time:  0.00 s
74.03/18.65	c lits-rem:         0  cl-subs:      482  v-elim:     32  v-fix:    0  time:  0.01 s
74.03/18.68	c subs with bin:       29  lits-rem:      1969  v-fix:    0  time:  0.02 s
74.44/18.75	c lits-rem:       830  cl-subs:     1707  v-elim:      0  v-fix:    0  time:  0.07 s
74.44/18.76	c vivif2 --  cl tried     6863 cl shrink       41 lits rem         62 time: 0.00
74.44/18.76	c vivif2 --  cl tried    13311 cl shrink      250 lits rem        294 time: 0.01
75.19/18.90	c asymm  cl-useful: 653/6863/6863 lits-rem:2195 time: 0.14
75.19/18.90	c calculated reachability. Time: 0.00
75.19/18.90	c  N dy   437    105326      6276      6304     21123     13311     83168    205515     15.02   no data
75.59/19.06	c Finding binary XORs  T:     0.07 s  found:     442
75.59/19.08	c Replacing      442 vars Replaced    28065 lits Time:     0.01 s 
76.79/19.33	c  N dy   490    112101      5834      6261     21981     18763     81302    455348     16.34     59.61
77.19/19.45	c Finding binary XORs  T:     0.06 s  found:      22
78.83/19.83	c  N dy   550    119467      5834      6261     25528     14946     81295    410024     18.13     19.26
79.98/20.13	c  N dy   594    127139      5834      6261     25542     20944     81292    655520     18.89     52.43
81.18/20.48	c  N dy   646    135269      5834      6261     26667     27528     81289    947056     19.86     31.02
83.57/21.06	c  N dy   725    143906      5834      6261     26722     19606     81280    448809     21.56     47.66
84.77/21.32	c Finding binary XORs  T:     0.06 s  found:     306
84.77/21.35	c Replacing      328 vars Replaced    33824 lits Time:     0.03 s 
85.96/21.65	c  N dy   795    153113      5506      5801     25842     26536     79072    819439     22.66     29.59
87.19/21.94	c  S st   833    157989      5506      5801     25849     30244     79070   1018090     23.25   no data
87.19/21.98	c  S st   833    158491      5506      5801     25858     30586     79070   1021087     23.25   no data
87.61/22.06	c x-sub:   107 x-cut:      0 vfix:      0 v-elim:     92 locsubst:  2162 time:   0.08
88.36/22.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:    864 BRemL:   9401 BRemN:    235 P:  4.0M T:  0.15
88.36/22.22	c Replacing      177 vars Replaced    13166 lits Time:     0.01 s 
88.36/22.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88.36/22.23	c bin-w-bin subsume rem         1399 bins  time:  0.00 s
88.36/22.24	c subs with bin:      362  lits-rem:         0  v-fix:    0  time:  0.01 s
88.36/22.25	c Subs w/ non-existent bins:     64 l-rem:      0 v-fix:     0 done:   5237 time:  0.01 s
88.36/22.25	c Removed useless bin:      50  fixed:     0  props:   0.39M  time:  0.00 s
88.36/22.26	c lits-rem:         0  cl-subs:     1422  v-elim:     96  v-fix:    0  time:  0.01 s
88.36/22.28	c subs with bin:       26  lits-rem:      1767  v-fix:    0  time:  0.01 s
89.16/22.46	c lits-rem:      2300  cl-subs:     2898  v-elim:      0  v-fix:    0  time:  0.17 s
89.16/22.46	c vivif2 --  cl tried     4280 cl shrink       34 lits rem         62 time: 0.00
89.16/22.47	c vivif2 --  cl tried    15925 cl shrink       59 lits rem         61 time: 0.01
89.56/22.52	c asymm  cl-useful: 529/4280/4280 lits-rem:1797 time: 0.06
89.56/22.53	c calculated reachability. Time: 0.00
89.56/22.53	c  N dy   833    158491      5141      3813     15322     15925     68061    313506     23.25   no data
91.16/22.99	c Finding binary XORs  T:     0.08 s  found:      64
91.16/23.00	c Replacing       64 vars Replaced     3908 lits Time:     0.01 s 
92.35/23.28	c  N dy   925    169030      5077      3800     18673     12676     67771    147580     25.79     27.44
92.74/23.34	c Finding binary XORs  T:     0.06 s  found:      47
94.74/23.89	c  N dy  1028    179849      5077      3800     18904     20761     67771    754440     28.19     58.84
97.93/24.64	c  N dy  1130    191355      5077      3800     18937     30079     67771   1431824     30.22     70.30
104.32/26.25	c  N dy  1155    237737      5077      3800     18937     33815     67771    806512     29.36     24.56
104.32/26.25	c  S st  1155    237737      5077      3800     18937     33815     67771    806512     29.36     24.56
104.32/26.31	c Finding binary XORs  T:     0.05 s  found:      20
104.75/26.34	c Replacing       67 vars Replaced     8268 lits Time:     0.03 s 
104.75/26.38	c  S st  1155    238237      5010      3753     18797     34071     67532    808008     29.36   no data
105.16/26.47	c x-sub:   185 x-cut:      0 vfix:      0 v-elim:     72 locsubst:  2166 time:   0.08
105.51/26.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   1177 BRemL:   3374 BRemN:     83 P:  3.0M T:  0.12
105.91/26.64	c Replacing      155 vars Replaced    26720 lits Time:     0.05 s 
105.91/26.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
105.91/26.64	c bin-w-bin subsume rem          549 bins  time:  0.00 s
105.91/26.66	c subs with bin:      143  lits-rem:         0  v-fix:    0  time:  0.01 s
105.91/26.66	c Subs w/ non-existent bins:     56 l-rem:      0 v-fix:     0 done:   4783 time:  0.01 s
105.91/26.67	c Removed useless bin:      11  fixed:     0  props:   0.25M  time:  0.00 s
105.91/26.68	c lits-rem:         1  cl-subs:      210  v-elim:    127  v-fix:    0  time:  0.01 s
106.31/26.70	c subs with bin:       16  lits-rem:       352  v-fix:    0  time:  0.01 s
123.86/31.14	c lits-rem:      1553  cl-subs:     1566  v-elim:      0  v-fix:    0  time:  4.44 s
123.86/31.14	c vivif2 --  cl tried     3840 cl shrink       51 lits rem         95 time: 0.00
123.86/31.16	c vivif2 --  cl tried    23271 cl shrink       14 lits rem         15 time: 0.01
123.86/31.19	c asymm  cl-useful: 633/3839/3839 lits-rem:1931 time: 0.04
123.86/31.19	c calculated reachability. Time: 0.00
123.86/31.19	c  N dy  1155    238237      4656      3261     15542     23271     62282    583282     29.36   no data
125.86/31.63	c Finding binary XORs  T:     0.07 s  found:      25
128.25/32.20	c  N dy  1279    253930      4656      3261     18434     18050     62280    367191     31.14     34.01
134.24/33.70	c  N dy  1395    303946      4656      3261     18497     37755     62280    899686     31.40     33.66
134.24/33.74	c Finding binary XORs  T:     0.04 s  found:       2
134.63/33.83	c  F st  1414    306251      4656      3261     18503     39462     62280    995250     31.54   no data
134.63/33.83	c Replacing       27 vars Replaced     2155 lits Time:     0.01 s 
135.87/34.11	c Decided on static restart strategy
137.82/34.64	c  N st  1423    324955      4629      3250     18388     30833     62197   1335807     31.54   no data
151.38/38.03	c  N st  1425    348952      4629      3250     18389     28194     62197   2189191     31.54   no data
155.77/39.19	c  S st  1426    357356      4629      3250     18392     36242     62197   3236352     31.54   no data
156.17/39.24	c  S st  1426    357856      4629      3250     18401     36633     62197   3244500     31.54   no data
156.57/39.31	c x-sub:   155 x-cut:      0 vfix:      0 v-elim:     37 locsubst:   118 time:   0.07
156.97/39.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    549 BRemL:   1897 BRemN:    100 P:  2.1M T:  0.09
156.97/39.42	c Replacing       16 vars Replaced     1831 lits Time:     0.01 s 
156.97/39.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
156.97/39.42	c bin-w-bin subsume rem         1072 bins  time:  0.00 s
156.97/39.43	c subs with bin:      114  lits-rem:         0  v-fix:    0  time:  0.01 s
156.97/39.44	c Subs w/ non-existent bins:     18 l-rem:      0 v-fix:     0 done:   4576 time:  0.01 s
156.97/39.44	c Removed useless bin:      23  fixed:     0  props:   0.19M  time:  0.00 s
156.97/39.47	c lits-rem:         1  cl-subs:       59  v-elim:     46  v-fix:    0  time:  0.03 s
157.39/39.57	c subs with bin:        6  lits-rem:         1  v-fix:    0  time:  0.02 s
232.73/58.42	c lits-rem:      3628  cl-subs:     4127  v-elim:      0  v-fix:    0  time: 18.85 s
232.73/58.42	c vivif2 --  cl tried     3195 cl shrink       11 lits rem         22 time: 0.00
232.73/58.46	c vivif2 --  cl tried    29217 cl shrink        1 lits rem         10 time: 0.04
232.73/58.48	c asymm  cl-useful: 164/3195/3195 lits-rem:449 time: 0.03
232.73/58.49	c calculated reachability. Time: 0.00
232.73/58.49	c  N st  1426    357856      4530      3066     15622     29217     58339   2565860     31.54   no data
248.29/62.30	c  N st  1427    390248      4530      3066     15625     32654     58339   2657875     31.54   no data
248.29/62.35	c Finding binary XORs  T:     0.05 s  found:      21
278.21/69.83	c  N st  1428    438837      4530      3066     19124     47246     58339   4427196     31.54   no data
278.21/69.87	c Finding binary XORs  T:     0.04 s  found:       6
332.87/83.58	c  N st  1429    511720      4530      3066     19455     53981     58339   4843630     31.54   no data
344.42/86.42	c  N st  1430    536784      4530      3066     19461     43046     58339   3418324     31.54   no data
344.42/86.42	c  S st  1430    536784      4530      3066     19461     43046     58339   3418324     31.54   no data
344.42/86.48	c  S st  1430    537287      4530      3066     19468     43400     58339   3421395     31.54   no data
344.82/86.55	c x-sub:    15 x-cut:      0 vfix:      0 v-elim:     16 locsubst:    32 time:   0.07
345.22/86.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    588 BRemL:   2814 BRemN:     11 P:  2.1M T:  0.09
345.22/86.68	c Replacing       35 vars Replaced     5072 lits Time:     0.03 s 
345.22/86.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
345.22/86.68	c bin-w-bin subsume rem          149 bins  time:  0.00 s
345.22/86.69	c subs with bin:       87  lits-rem:         0  v-fix:    0  time:  0.01 s
345.61/86.70	c Subs w/ non-existent bins:      7 l-rem:      0 v-fix:     0 done:   4479 time:  0.00 s
345.61/86.70	c Removed useless bin:      16  fixed:     0  props:   0.17M  time:  0.00 s
345.61/86.74	c lits-rem:         5  cl-subs:       49  v-elim:     28  v-fix:    0  time:  0.04 s
346.04/86.85	c subs with bin:        8  lits-rem:        73  v-fix:    0  time:  0.03 s
428.96/107.60	c lits-rem:      5022  cl-subs:     3902  v-elim:      0  v-fix:    0  time: 20.76 s
428.96/107.60	c vivif2 --  cl tried     2982 cl shrink        7 lits rem         12 time: 0.00
428.96/107.66	c vivif2 --  cl tried    38415 cl shrink        2 lits rem          2 time: 0.05
428.96/107.68	c asymm  cl-useful: 88/2982/2982 lits-rem:119 time: 0.03
428.96/107.69	c calculated reachability. Time: 0.00
428.96/107.69	c  N st  1430    537287      4451      2975     16813     38415     57088   3018827     31.54   no data
459.67/115.35	c  N st  1431    701272      4451      2975     16813     40794     57088   2821817     31.54   no data
460.10/115.42	c Finding binary XORs  T:     0.04 s  found:      35
521.95/130.95	c  N st  1432    805930      4438      2975     18158     63405     56668   5567357     31.54   no data
521.95/130.95	c  S st  1432    805930      4438      2975     18158     63405     56668   5567357     31.54   no data
522.29/131.03	c Finding binary XORs  T:     0.03 s  found:      19
523.09/131.22	c Replacing       54 vars Replaced    25145 lits Time:     0.19 s 
523.09/131.28	c  S st  1432    806433      4383      2938     18369     63734     56332   5573300     31.54   no data
523.49/131.35	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:      5 locsubst:   165 time:   0.07
523.89/131.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:   2705 BRemL:   3336 BRemN:      3 P:  2.5M T:  0.11
524.69/131.62	c Replacing       29 vars Replaced    25439 lits Time:     0.16 s 
524.69/131.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
524.69/131.62	c bin-w-bin subsume rem          137 bins  time:  0.00 s
524.69/131.64	c subs with bin:      138  lits-rem:         7  v-fix:    0  time:  0.01 s
524.69/131.64	c Subs w/ non-existent bins:     10 l-rem:      0 v-fix:     0 done:   4349 time:  0.00 s
524.69/131.64	c Removed useless bin:       3  fixed:     0  props:   0.16M  time:  0.00 s
525.09/131.70	c lits-rem:         0  cl-subs:       47  v-elim:     39  v-fix:    0  time:  0.05 s
525.49/131.85	c subs with bin:        6  lits-rem:        62  v-fix:    0  time:  0.02 s
703.74/176.58	c lits-rem:      2911  cl-subs:     3492  v-elim:      0  v-fix:    0  time: 44.73 s
703.74/176.58	c vivif2 --  cl tried     2852 cl shrink        4 lits rem         12 time: 0.00
704.15/176.67	c vivif2 --  cl tried    59246 cl shrink        2 lits rem          2 time: 0.09
704.55/176.71	c asymm  cl-useful: 111/2852/2852 lits-rem:310 time: 0.03
704.55/176.71	c calculated reachability. Time: 0.00
704.55/176.71	c  N st  1432    806433      4310      2756     17404     59246     55040   5134310     31.54   no data
769.16/192.97	c  F st  1433   1071876      4310      2756     17404     52375     55040   2750370     31.54   no data
769.16/192.97	c  N st  1433   1071876      4310      2756     17404     52375     55040   2750370     31.54   no data
769.56/193.04	c Finding binary XORs  T:     0.04 s  found:      31
769.96/193.15	c Decided on static restart strategy
779.13/195.46	c  N st  1443   1100181      4298      2756     20887     75151     54650   4727645     31.54   no data
799.46/200.50	c  N st  1445   1136173      4298      2756     20889     67402     54650   5059820     31.54   no data
799.46/200.58	c Finding binary XORs  T:     0.03 s  found:      36
799.87/200.63	c Replacing       77 vars Replaced    11533 lits Time:     0.05 s 
805.06/201.96	c  N st  1446   1168565      4195      2704     27583     50560     53250   2919075     31.54   no data
830.18/208.26	c  N st  1447   1209649      4194      2704     27593     45068     53250   2693917     31.54   no data
830.18/208.26	c  S st  1447   1209649      4194      2704     27593     45068     53250   2693917     31.54   no data
830.58/208.35	c  S st  1447   1210152      4194      2704     27608     45456     53250   2711071     31.54   no data
830.98/208.43	c x-sub:    19 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    16 time:   0.08
831.38/208.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   11 Bins:   2433 BRemL:   9895 BRemN:      0 P:  2.2M T:  0.13
831.78/208.60	c Replacing       13 vars Replaced     2505 lits Time:     0.04 s 
831.78/208.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
831.78/208.61	c bin-w-bin subsume rem         1487 bins  time:  0.00 s
831.78/208.62	c subs with bin:       86  lits-rem:        29  v-fix:    0  time:  0.01 s
831.78/208.63	c Subs w/ non-existent bins:      6 l-rem:      0 v-fix:     0 done:   4181 time:  0.00 s
831.78/208.63	c Removed useless bin:       8  fixed:     0  props:   0.16M  time:  0.00 s
831.78/208.67	c lits-rem:         0  cl-subs:       27  v-elim:     26  v-fix:    0  time:  0.04 s
832.18/208.75	c subs with bin:       14  lits-rem:       156  v-fix:    0  time:  0.02 s
869.26/218.05	c lits-rem:      1624  cl-subs:     1964  v-elim:      0  v-fix:    0  time:  9.30 s
869.26/218.05	c vivif2 --  cl tried     2659 cl shrink        3 lits rem          6 time: 0.00
869.26/218.09	c vivif2 --  cl tried    42843 cl shrink      188 lits rem        199 time: 0.04
869.66/218.12	c asymm  cl-useful: 13/2659/2659 lits-rem:13 time: 0.03
869.66/218.12	c calculated reachability. Time: 0.00
869.66/218.12	c  N st  1447   1210152      4155      2659     18403     42843     51694   2540842     31.54   no data
877.64/220.18	c  N st  1448   1283035      4155      2659     18404     59894     51694   3517981     31.54   no data
878.04/220.25	c Finding binary XORs  T:     0.04 s  found:      12
887.62/222.63	c  N st  1449   1392359      4130      2659     18255     53258     50884   2698872     31.54   no data
887.62/222.68	c Finding binary XORs  T:     0.03 s  found:      10
912.74/228.91	c  N st  1450   1556344      4113      2659     19196     52101     50269   3073888     31.54   no data
935.87/234.73	c  N st  1451   1710152      4096      2659     19206     76512     50269   4785308     31.54   no data
935.87/234.73	c  S st  1451   1710152      4096      2659     19206     76512     50269   4785308     31.54   no data
935.87/234.78	c  S st  1451   1710655      4079      2659     19219     76856     50269   4793148     31.54   no data
936.27/234.86	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
937.07/235.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   43 Bins:  12522 BRemL:  10773 BRemN:      0 P:  2.8M T:  0.15
937.87/235.27	c Replacing       95 vars Replaced    29488 lits Time:     0.27 s 
937.87/235.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
937.87/235.28	c bin-w-bin subsume rem          656 bins  time:  0.00 s
937.87/235.29	c subs with bin:      105  lits-rem:        79  v-fix:    0  time:  0.01 s
937.87/235.29	c Subs w/ non-existent bins:     10 l-rem:      0 v-fix:     0 done:   3984 time:  0.00 s
937.87/235.30	c Removed useless bin:       2  fixed:     0  props:   0.13M  time:  0.00 s
938.29/235.35	c lits-rem:         0  cl-subs:       25  v-elim:      9  v-fix:    0  time:  0.05 s
938.71/235.49	c subs with bin:       33  lits-rem:       871  v-fix:    0  time:  0.04 s
1198.70/300.64	c lits-rem:      2894  cl-subs:     7051  v-elim:      0  v-fix:    0  time: 65.15 s
1198.70/300.65	c vivif2 --  cl tried     2488 cl shrink        7 lits rem         22 time: 0.00
1199.10/300.70	c vivif2 --  cl tried    69395 cl shrink       91 lits rem         91 time: 0.06
1199.10/300.73	c asymm  cl-useful: 31/2488/2488 lits-rem:96 time: 0.03
1199.10/300.73	c calculated reachability. Time: 0.00
1199.10/300.73	c  N st  1451   1710655      3975      2467     19161     69395     46738   4238589     31.54   no data
1415.67/355.09	c  N st  1452   2079619      3975      2467     19162     80426     46738   5958753     31.54   no data
1416.07/355.18	c Finding binary XORs  T:     0.03 s  found:     162
1417.25/355.48	c Replacing      162 vars Replaced    86808 lits Time:     0.30 s 
1565.67/392.66	c  N st  1453   2210656      3499      2335     12491     85697     35156   6799161     31.54   no data
1565.67/392.66	c  S st  1453   2210656      3499      2335     12491     85697     35156   6799161     31.54   no data
1566.09/392.76	c Finding binary XORs  T:     0.03 s  found:      70
1566.43/392.80	c Replacing       70 vars Replaced     4695 lits Time:     0.04 s 
1566.43/392.88	c  S st  1453   2211158      3169      1918      3338     78700     24081   6253085     31.54   no data
1566.83/392.96	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:      0 locsubst:   406 time:   0.08
1567.23/393.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     23 BRemL:    541 BRemN:      2 P:  1.4M T:  0.06
1567.23/393.04	c Replacing      145 vars Replaced     2875 lits Time:     0.02 s 
1567.23/393.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1567.23/393.04	c bin-w-bin subsume rem           84 bins  time:  0.00 s
1567.23/393.05	c subs with bin:       16  lits-rem:         9  v-fix:    0  time:  0.00 s
1567.23/393.05	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   3024 time:  0.00 s
1567.23/393.05	c Removed useless bin:       0  fixed:     0  props:   0.05M  time:  0.00 s
1567.63/393.11	c lits-rem:         8  cl-subs:      132  v-elim:     78  v-fix:    0  time:  0.06 s
1568.03/393.25	c subs with bin:       13  lits-rem:        13  v-fix:    0  time:  0.02 s
1978.95/526.36	c lits-rem:      4341  cl-subs:    13641  v-elim:      0  v-fix:    0  time: 133.11 s
1978.95/526.36	c vivif2 --  cl tried     1491 cl shrink       24 lits rem         29 time: 0.00
1979.15/526.41	c vivif2 --  cl tried    58779 cl shrink       94 lits rem         96 time: 0.05
1979.15/526.43	c asymm  cl-useful: 111/1491/1491 lits-rem:160 time: 0.02
1979.15/526.43	c calculated reachability. Time: 0.00
1979.15/526.43	c  N st  1453   2211158      2946      1491      2340     58779     22329   3787323     31.54   no data
1979.15/526.43	c Following stats are for *FIRST FINISHED THREAD ONLY*
1979.15/526.43	c num threads              : 4          
1979.15/526.43	c restarts                 : 12328      
1979.15/526.43	c dynamic restarts         : 12298      
1979.15/526.43	c static restarts          : 30         
1979.15/526.43	c full restarts            : 4          
1979.15/526.43	c total simplify time      : 2.91       
1979.15/526.43	c learnts DL2              : 0          
1979.15/526.43	c learnts size 2           : 518117     
1979.15/526.43	c learnts size 1           : 3160        (6.22      % of vars)
1979.15/526.43	c filedLit time            : 8.66        (1.66      % time)
1979.15/526.43	c v-elim SatELite          : 16262       (32.01     % vars)
1979.15/526.43	c SatELite time            : 5.36        (1.03      % time)
1979.15/526.43	c v-elim xor               : 0           (0.00      % vars)
1979.15/526.43	c xor elim time            : 0.08        (0.01      % time)
1979.15/526.43	c num binary xor trees     : 3985       
1979.15/526.43	c binxor trees' crown      : 25793       (6.47      leafs/tree)
1979.15/526.43	c bin xor find time        : 1.70       
1979.15/526.43	c OTF clause improved      : 173027      (0.06      clauses/conflict)
1979.15/526.43	c OTF impr. size diff      : 176990      (1.02       lits/clause)
1979.15/526.43	c OTF cl watch-shrink      : 878166      (0.32      clauses/conflict)
1979.15/526.43	c OTF cl watch-sh-lit      : 1727061     (1.97       lits/clause)
1979.15/526.43	c tried to recurMin cls    : 1115608     (40.50      % of conflicts)
1979.15/526.43	c updated cache            : 82623       (0.07       lits/tried recurMin)
1979.15/526.43	c unit cls recevied        : 9           (0.28      % of units)
1979.15/526.43	c unit cls sent            : 3666        (116.01    % of units)
1979.15/526.43	c bin cls recevied         : 273102     
1979.15/526.43	c bin cls sent             : 184014     
1979.15/526.43	c clauses over max glue    : 0           (0.00      % of all clauses)
1979.15/526.43	c conflicts                : 2754620     (5289.22   / sec)
1979.15/526.43	c decisions                : 6791219     (4.15      % random)
1979.15/526.43	c bogo-props               : 40516700259 (77797218.88 / sec)
1979.15/526.43	c conflict literals        : 63283969    (9.72      % deleted)
1979.15/526.43	c Memory used              : 1879.03     MB
1979.15/526.43	c single-thread CPU time   : 520.80      s
1979.15/526.43	c all-threads sum CPU time : 1976.64     s
1979.15/526.43	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-3367164-1305389096/watcher-3367164-1305389096 -o /tmp/evaluation-result-3367164-1305389096/solver-3367164-1305389096 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367164-1305389096.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: 5.99 4.01 3.79 6/360 17294
/proc/meminfo: memFree=18700072/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 631325450 52396032 348 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186974130 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 12792 348 299 95 0 7774 0
[pid=17294/tid=17295] ppid=17291 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 631325450 52396032 348 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186974130 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 631325450 52396032 348 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186974130 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 631325450 52396032 348 33554432000 4194304 4580107 140734793372736 18446744073709551615 233510353905 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0681739 s]
/proc/loadavg: 5.99 4.01 3.79 6/360 17294
/proc/meminfo: memFree=18700072/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=51168 CPUtime=0.18 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 411 0 0 0 18 0 0 0 25 0 4 0 631325450 52396032 352 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973721 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 12792 352 302 95 0 7774 0
[pid=17294/tid=17295] ppid=17291 vsize=51168 CPUtime=0.06 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 4 0 0 0 6 0 0 0 25 0 4 0 631325450 52396032 352 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973725 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 631325450 52396032 352 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186974130 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=51168 CPUtime=0.05 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 4 0 631325450 52396032 352 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973725 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 51168

[startup+0.101168 s]
/proc/loadavg: 5.99 4.01 3.79 6/360 17294
/proc/meminfo: memFree=18700072/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=51168 CPUtime=0.28 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 411 0 0 0 28 0 0 0 25 0 4 0 631325450 52396032 352 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973712 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 12792 352 302 95 0 7774 0
[pid=17294/tid=17295] ppid=17291 vsize=51168 CPUtime=0.09 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 4 0 0 0 9 0 0 0 25 0 4 0 631325450 52396032 352 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973721 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 631325450 52396032 352 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186974130 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=51168 CPUtime=0.08 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 1 0 0 0 8 0 0 0 25 0 4 0 631325450 52396032 352 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973712 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 51168

[startup+0.301141 s]
/proc/loadavg: 5.99 4.01 3.79 6/360 17294
/proc/meminfo: memFree=18700072/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=395040 CPUtime=1.03 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 28527 0 0 0 98 5 0 0 18 0 4 0 631325450 404520960 24693 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 98760 24693 360 95 0 93742 0
[pid=17294/tid=17295] ppid=17291 vsize=395040 CPUtime=0.27 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 6662 0 0 0 26 1 0 0 18 0 4 0 631325450 404520960 24693 33554432000 4194304 4580107 140734793372736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=395040 CPUtime=0.18 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 6951 0 0 0 17 1 0 0 18 0 4 0 631325450 404520960 24693 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=395040 CPUtime=0.26 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 5882 0 0 0 26 0 0 0 18 0 4 0 631325450 404520960 24693 33554432000 4194304 4580107 140734793372736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 395040

[startup+0.70107 s]
/proc/loadavg: 5.99 4.01 3.79 6/360 17294
/proc/meminfo: memFree=18700072/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=395040 CPUtime=2.63 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 28636 0 0 0 258 5 0 0 18 0 4 0 631325450 404520960 24802 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293251 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 98760 24802 360 95 0 93742 0
[pid=17294/tid=17295] ppid=17291 vsize=395040 CPUtime=0.67 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 6662 0 0 0 66 1 0 0 18 0 4 0 631325450 404520960 24802 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=395040 CPUtime=0.58 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 6979 0 0 0 57 1 0 0 18 0 4 0 631325450 404520960 24802 33554432000 4194304 4580107 140734793372736 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=395040 CPUtime=0.66 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 5936 0 0 0 66 0 0 0 18 0 4 0 631325450 404520960 24802 33554432000 4194304 4580107 140734793372736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 395040

[startup+1.50092 s]
/proc/loadavg: 5.99 4.01 3.79 9/364 17298
/proc/meminfo: memFree=18596500/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=408492 CPUtime=5.81 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 43348 0 0 0 572 9 0 0 19 0 4 0 631325450 418295808 39514 33554432000 4194304 4580107 140734793372736 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 102123 39514 362 95 0 97105 0
[pid=17294/tid=17295] ppid=17291 vsize=408492 CPUtime=1.48 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 11526 0 0 0 145 3 0 0 20 0 4 0 631325450 418295808 39514 33554432000 4194304 4580107 140734793372736 18446744073709551615 4355467 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=408492 CPUtime=1.38 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 11408 0 0 0 136 2 0 0 20 0 4 0 631325450 418295808 39514 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=408492 CPUtime=1.45 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 6612 0 0 0 145 0 0 0 19 0 4 0 631325450 418295808 39514 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 408492

[startup+3.10064 s]
/proc/loadavg: 5.99 4.01 3.79 9/364 17298
/proc/meminfo: memFree=18471500/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=552912 CPUtime=12.19 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 88167 0 0 0 1200 19 0 0 20 0 4 0 631325450 566181888 84333 33554432000 4194304 4580107 140734793372736 18446744073709551615 4234384 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 138228 84333 362 95 0 133210 0
[pid=17294/tid=17295] ppid=17291 vsize=552912 CPUtime=3.08 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 26191 0 0 0 302 6 0 0 20 0 4 0 631325450 566181888 84333 33554432000 4194304 4580107 140734793372736 18446744073709551615 4234877 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=552912 CPUtime=2.98 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 26345 0 0 0 292 6 0 0 18 0 4 0 631325450 566181888 84333 33554432000 4194304 4580107 140734793372736 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=552912 CPUtime=3.04 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 7017 0 0 0 303 1 0 0 24 0 4 0 631325450 566181888 84333 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 552912

[startup+6.30106 s]
/proc/loadavg: 6.15 4.08 3.81 10/364 17298
/proc/meminfo: memFree=18236264/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=623708 CPUtime=24.94 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 117389 0 0 0 2467 27 0 0 25 0 4 0 631325450 638676992 112625 33554432000 4194304 4580107 140734793372736 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 155927 112625 363 95 0 150909 0
[pid=17294/tid=17295] ppid=17291 vsize=623708 CPUtime=6.27 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 35571 0 0 0 619 8 0 0 21 0 4 0 631325450 638676992 112625 33554432000 4194304 4580107 140734793372736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=623708 CPUtime=6.16 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 35357 0 0 0 608 8 0 0 21 0 4 0 631325450 638676992 112625 33554432000 4194304 4580107 140734793372736 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=623708 CPUtime=6.2 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 8423 0 0 0 619 1 0 0 25 0 4 0 631325450 638676992 112625 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 623708

[startup+12.7009 s]
/proc/loadavg: 6.30 4.15 3.83 9/364 17298
/proc/meminfo: memFree=18057112/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=885768 CPUtime=50.47 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 170580 0 0 0 5010 37 0 0 25 0 4 0 631325450 907026432 156735 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293308 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 221442 156735 380 95 0 216424 0
[pid=17294/tid=17295] ppid=17291 vsize=885768 CPUtime=12.68 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 46661 0 0 0 1259 9 0 0 25 0 4 0 631325450 907026432 156735 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=885768 CPUtime=12.57 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 45061 0 0 0 1247 10 0 0 25 0 4 0 631325450 907026432 156735 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=885768 CPUtime=12.52 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 32150 0 0 0 1246 6 0 0 25 0 4 0 631325450 907026432 156735 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 885768

[startup+25.5006 s]
/proc/loadavg: 6.81 4.37 3.91 9/364 17299
/proc/meminfo: memFree=17983916/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=957628 CPUtime=101.52 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 209704 0 0 0 10109 43 0 0 25 0 4 0 631325450 980611072 175773 33554432000 4194304 4580107 140734793372736 18446744073709551615 4301856 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 239407 175779 381 95 0 234389 0
[pid=17294/tid=17295] ppid=17291 vsize=957628 CPUtime=25.47 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 55336 0 0 0 2536 11 0 0 25 0 4 0 631325450 980611072 175781 33554432000 4194304 4580107 140734793372736 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=957628 CPUtime=25.37 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 52291 0 0 0 2526 11 0 0 25 0 4 0 631325450 980611072 175784 33554432000 4194304 4580107 140734793372736 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=957628 CPUtime=25.18 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 45359 0 0 0 2510 8 0 0 25 0 4 0 631325450 980611072 175787 33554432000 4194304 4580107 140734793372736 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 957628

[startup+51.101 s]
/proc/loadavg: 7.27 4.67 4.02 9/364 17299
/proc/meminfo: memFree=17837996/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1198624 CPUtime=203.62 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 299471 0 0 0 20298 64 0 0 25 0 4 0 631325450 1227390976 210750 33554432000 4194304 4580107 140734793372736 18446744073709551615 4406375 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 299656 210750 381 95 0 294638 0
[pid=17294/tid=17295] ppid=17291 vsize=1198624 CPUtime=51.07 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 84734 0 0 0 5089 18 0 0 25 0 4 0 631325450 1227390976 210750 33554432000 4194304 4580107 140734793372736 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1198624 CPUtime=50.96 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 74561 0 0 0 5078 18 0 0 25 0 4 0 631325450 1227390976 210750 33554432000 4194304 4580107 140734793372736 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1198624 CPUtime=50.49 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 58426 0 0 0 5038 11 0 0 25 0 4 0 631325450 1227390976 210750 33554432000 4194304 4580107 140734793372736 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.62
Current children cumulated vsize (KiB) 1198624

[startup+102.314 s]
/proc/loadavg: 7.85 5.23 4.24 9/364 17301
/proc/meminfo: memFree=17718816/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1279620 CPUtime=407.87 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 421435 0 0 0 40688 99 0 0 25 0 4 0 631325450 1310330880 233341 33554432000 4194304 4580107 140734793372736 18446744073709551615 4406350 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 319905 233342 381 95 0 314887 0
[pid=17294/tid=17295] ppid=17291 vsize=1279620 CPUtime=102.28 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 117184 0 0 0 10199 29 0 0 25 0 4 0 631325450 1310330880 233342 33554432000 4194304 4580107 140734793372736 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1279620 CPUtime=102.16 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 115423 0 0 0 10187 29 0 0 25 0 4 0 631325450 1310330880 233342 33554432000 4194304 4580107 140734793372736 18446744073709551615 4322741 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1279620 CPUtime=101.12 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 71742 0 0 0 10097 15 0 0 25 0 4 0 631325450 1310330880 233342 33554432000 4194304 4580107 140734793372736 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.87
Current children cumulated vsize (KiB) 1279620

[startup+162.301 s]
/proc/loadavg: 8.05 5.76 4.49 9/364 17302
/proc/meminfo: memFree=17605808/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1289400 CPUtime=647.12 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 558345 0 0 0 64576 136 0 0 25 0 4 0 631325450 1320345600 258950 33554432000 4194304 4580107 140734793372736 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 322350 258950 381 95 0 317332 0
[pid=17294/tid=17295] ppid=17291 vsize=1289400 CPUtime=162.27 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 163996 0 0 0 16184 43 0 0 25 0 4 0 631325450 1320345600 258950 33554432000 4194304 4580107 140734793372736 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1289400 CPUtime=162.14 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 165500 0 0 0 16173 41 0 0 25 0 4 0 631325450 1320345600 258950 33554432000 4194304 4580107 140734793372736 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1289400 CPUtime=160.42 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 84180 0 0 0 16022 20 0 0 25 0 4 0 631325450 1320345600 258950 33554432000 4194304 4580107 140734793372736 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.12
Current children cumulated vsize (KiB) 1289400

[startup+222.3 s]
/proc/loadavg: 8.07 6.18 4.71 9/364 17304
/proc/meminfo: memFree=17444944/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1587552 CPUtime=886.41 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 641627 0 0 0 88477 164 0 0 25 0 4 0 631325450 1625653248 293685 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 396888 293685 381 95 0 391870 0
[pid=17294/tid=17295] ppid=17291 vsize=1587552 CPUtime=222.28 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 188245 0 0 0 22176 52 0 0 25 0 4 0 631325450 1625653248 293685 33554432000 4194304 4580107 140734793372736 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1587552 CPUtime=222.13 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 196152 0 0 0 22164 49 0 0 25 0 4 0 631325450 1625653248 293685 33554432000 4194304 4580107 140734793372736 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1587552 CPUtime=219.72 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 93988 0 0 0 21946 26 0 0 25 0 4 0 631325450 1625653248 293685 33554432000 4194304 4580107 140734793372736 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 886.41
Current children cumulated vsize (KiB) 1587552

[startup+282.301 s]
/proc/loadavg: 8.12 6.54 4.92 9/364 17305
/proc/meminfo: memFree=17363444/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1834484 CPUtime=1125.71 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 755850 0 0 0 112373 198 0 0 25 0 4 0 631325450 1878511616 314011 33554432000 4194304 4580107 140734793372736 18446744073709551615 4416098 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 458621 314011 381 95 0 453603 0
[pid=17294/tid=17295] ppid=17291 vsize=1834484 CPUtime=282.27 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 232399 0 0 0 28160 67 0 0 25 0 4 0 631325450 1878511616 314011 33554432000 4194304 4580107 140734793372736 18446744073709551615 4294163 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1834484 CPUtime=282.11 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 242714 0 0 0 28149 62 0 0 25 0 4 0 631325450 1878511616 314011 33554432000 4194304 4580107 140734793372736 18446744073709551615 4256943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1834484 CPUtime=279.04 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 107020 0 0 0 27875 29 0 0 25 0 4 0 631325450 1878511616 314011 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1125.71
Current children cumulated vsize (KiB) 1834484

[startup+342.301 s]
/proc/loadavg: 8.13 6.83 5.12 9/364 17307
/proc/meminfo: memFree=17258256/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1834040 CPUtime=1365 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 829862 0 0 0 136276 224 0 0 25 0 4 0 631325450 1878056960 338120 33554432000 4194304 4580107 140734793372736 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 458510 338120 381 95 0 453492 0
[pid=17294/tid=17295] ppid=17291 vsize=1834040 CPUtime=342.28 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 254384 0 0 0 34153 75 0 0 25 0 4 0 631325450 1878056960 338120 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1834040 CPUtime=342.11 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 247867 0 0 0 34148 63 0 0 25 0 4 0 631325450 1878056960 338120 33554432000 4194304 4580107 140734793372736 18446744073709551615 4416737 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1834040 CPUtime=338.33 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 116841 0 0 0 33802 31 0 0 25 0 4 0 631325450 1878056960 338120 33554432000 4194304 4580107 140734793372736 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1365
Current children cumulated vsize (KiB) 1834040

[startup+402.301 s]
/proc/loadavg: 8.08 7.06 5.30 9/364 17309
/proc/meminfo: memFree=17199208/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1923304 CPUtime=1604.33 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 930642 0 0 0 160183 250 0 0 25 0 4 0 631325450 1969463296 340264 33554432000 4194304 4580107 140734793372736 18446744073709551615 4451883 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 480826 340264 381 95 0 475808 0
[pid=17294/tid=17295] ppid=17291 vsize=1923304 CPUtime=402.28 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 308067 0 0 0 40141 87 0 0 25 0 4 0 631325450 1969463296 340264 33554432000 4194304 4580107 140734793372736 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1923304 CPUtime=402.1 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 247867 0 0 0 40147 63 0 0 25 0 4 0 631325450 1969463296 340264 33554432000 4194304 4580107 140734793372736 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1923304 CPUtime=397.67 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 129473 0 0 0 39731 36 0 0 25 0 4 0 631325450 1969463296 340264 33554432000 4194304 4580107 140734793372736 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1604.33
Current children cumulated vsize (KiB) 1923304

[startup+462.3 s]
/proc/loadavg: 7.91 7.21 5.46 8/364 17310
/proc/meminfo: memFree=17158016/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1924120 CPUtime=1832.68 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 947221 0 0 0 183009 259 0 0 25 0 4 0 631325450 1970298880 347421 33554432000 4194304 4580107 140734793372736 18446744073709551615 4406355 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 481030 347421 381 95 0 476012 0
[pid=17294/tid=17295] ppid=17291 vsize=1924120 CPUtime=462.29 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 308067 0 0 0 46142 87 0 0 25 0 4 0 631325450 1970298880 347421 33554432000 4194304 4580107 140734793372736 18446744073709551615 4406400 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1924120 CPUtime=451.07 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) S 17291 17294 17203 0 -1 4202560 257442 0 0 0 45039 68 0 0 25 0 4 0 631325450 1970298880 347421 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973748 0 0 4096 2 18446604453965949760 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1924120 CPUtime=457.06 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 136477 0 0 0 45666 40 0 0 25 0 4 0 631325450 1970298880 347421 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186949163 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1832.68
Current children cumulated vsize (KiB) 1924120

[startup+522.301 s]
/proc/loadavg: 6.93 7.06 5.52 7/364 17312
/proc/meminfo: memFree=17126500/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1924120 CPUtime=1970.95 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 947321 0 0 0 196836 259 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 4416732 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 481030 347521 381 95 0 476012 0
[pid=17294/tid=17295] ppid=17291 vsize=1924120 CPUtime=480.55 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) S 17291 17294 17203 0 -1 4202560 308167 0 0 0 47968 87 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973748 0 0 4096 2 18446604453965949760 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1924120 CPUtime=451.07 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) S 17291 17294 17203 0 -1 4202560 257442 0 0 0 45039 68 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973748 0 0 4096 2 18446604453965949760 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1924120 CPUtime=517.06 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 136477 0 0 0 51666 40 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186949316 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1970.95
Current children cumulated vsize (KiB) 1924120

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

[startup+524.714 s]
/proc/loadavg: 6.85 7.04 5.52 7/364 17312
/proc/meminfo: memFree=17122904/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1924120 CPUtime=1975.78 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 947321 0 0 0 197319 259 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 481030 347521 381 95 0 476012 0
[pid=17294/tid=17295] ppid=17291 vsize=1924120 CPUtime=480.55 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) S 17291 17294 17203 0 -1 4202560 308167 0 0 0 47968 87 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973748 0 0 4096 2 18446604453965949760 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1924120 CPUtime=451.07 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) S 17291 17294 17203 0 -1 4202560 257442 0 0 0 45039 68 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973748 0 0 4096 2 18446604453965949760 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1924120 CPUtime=519.47 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 136477 0 0 0 51907 40 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186949316 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1975.78
Current children cumulated vsize (KiB) 1924120

[startup+525.501 s]
/proc/loadavg: 6.85 7.04 5.52 7/364 17312
/proc/meminfo: memFree=17122904/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1924120 CPUtime=1977.35 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 947321 0 0 0 197476 259 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 4406355 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 481030 347521 381 95 0 476012 0
[pid=17294/tid=17295] ppid=17291 vsize=1924120 CPUtime=480.55 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) S 17291 17294 17203 0 -1 4202560 308167 0 0 0 47968 87 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973748 0 0 4096 2 18446604453965949760 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1924120 CPUtime=451.07 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) S 17291 17294 17203 0 -1 4202560 257442 0 0 0 45039 68 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973748 0 0 4096 2 18446604453965949760 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1924120 CPUtime=520.26 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 136477 0 0 0 51986 40 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186949316 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1977.35
Current children cumulated vsize (KiB) 1924120

[startup+526.301 s]
/proc/loadavg: 6.85 7.04 5.52 7/364 17312
/proc/meminfo: memFree=17128484/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=1924120 CPUtime=1978.95 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) R 17291 17294 17203 0 -1 4202496 947321 0 0 0 197636 259 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 4417015 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 481030 347521 381 95 0 476012 0
[pid=17294/tid=17295] ppid=17291 vsize=1924120 CPUtime=480.55 cores=0,2,4,6
/proc/17294/task/17295/stat : 17295 (strangenight2-m) S 17291 17294 17203 0 -1 4202560 308167 0 0 0 47968 87 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973748 0 0 4096 2 18446604453965949760 0 0 -1 4 0 0 0
[pid=17294/tid=17296] ppid=17291 vsize=1924120 CPUtime=451.07 cores=0,2,4,6
/proc/17294/task/17296/stat : 17296 (strangenight2-m) S 17291 17294 17203 0 -1 4202560 257442 0 0 0 45039 68 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186973748 0 0 4096 2 18446604453965949760 0 0 -1 2 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=1924120 CPUtime=521.06 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202560 136477 0 0 0 52066 40 0 0 25 0 4 0 631325450 1970298880 347521 33554432000 4194304 4580107 140734793372736 18446744073709551615 47820186949163 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1978.95
Current children cumulated vsize (KiB) 1924120

[startup+526.501 s]
/proc/loadavg: 6.85 7.04 5.52 7/364 17312
/proc/meminfo: memFree=17128484/32951124 swapFree=67111348/67111528
[pid=17294] ppid=17291 vsize=0 CPUtime=1979.3 cores=0,2,4,6
/proc/17294/stat : 17294 (strangenight2-m) Z 17291 17294 17203 0 -1 4203548 947337 0 0 0 197664 266 0 0 25 0 2 0 631325450 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17294/statm: 0 0 0 0 0 0 0
[pid=17294/tid=17297] ppid=17291 vsize=0 CPUtime=521.25 cores=0,2,4,6
/proc/17294/task/17297/stat : 17297 (strangenight2-m) R 17291 17294 17203 0 -1 4202564 136480 0 0 0 52079 46 0 0 25 0 2 0 631325450 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1979.3
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 526.504
CPU time (s): 1979.3
CPU user time (s): 1976.64
CPU system time (s): 2.66259
CPU usage (%): 375.933
Max. virtual memory (cumulated for all children) (KiB): 1929524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1976.64
system time used= 2.6626
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 947337
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= 4774
involuntary context switches= 10741

runsolver used 1.69874 second user time and 4.41233 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 18:04:56
IDJOB=3367164
IDBENCH=20536
IDSOLVER=1844
FILE ID=node145/3367164-1305389096
RUNJOBID= node145-1305389027-17227
PBS_JOBID= 13324435
Free space on /tmp= 73652 MiB

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

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

MD5SUM BENCH= cf1b8194ff6d413d396ac9e26bb031ef
RANDOM SEED=249538100

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18700228 kB
Buffers:        288120 kB
Cached:        8029128 kB
SwapCached:          0 kB
Active:        7364368 kB
Inactive:      6532968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18700228 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            9880 kB
Writeback:           0 kB
AnonPages:     5579976 kB
Mapped:          27944 kB
Slab:           255564 kB
PageTables:      33924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79543648 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= 73644 MiB
End job on node145 at 2011-05-14 18:13:43