Trace number 3367092

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 1496.81 375.396

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
MD5SUMee159af2e208d290f7f3fefd15c344f2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark731.23
Satisfiable
(Un)Satisfiability was proved
Number of variables44692
Number of clauses129620
Sum of the clauses size302444
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 286412
Number of clauses of size 343206
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367092-1305394207.cnf'
0.00/0.01	c -- header says num vars:          44692
0.00/0.01	c -- header says num clauses:      129620
1.49/0.47	c -- clauses added:            0 learnts,       129620 normals,            0 xors
1.49/0.47	c -- vars added      44692
1.49/0.47	c Parsing time:  0.05 s
1.49/0.47	c  N st     0         0     44692     43206     86412         0    302442         0   no data   no data
1.49/0.47	c asymm  cl-useful: 0/43205/43205 lits-rem:0 time: 0.34
5.13/1.35	c Flit:    60 Blit:   2357 bXBeca:    0 bXProp: 1247 Bins:      0 BRemL:      0 BRemN:      0 P: 13.2M T:  0.89
5.13/1.36	c Cleaning up after failed var search:     0.01 s 
5.13/1.38	c Replacing     1247 vars Replaced    24577 lits Time:     0.01 s 
5.47/1.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5.47/1.40	c bin-w-bin subsume rem          166 bins  time:  0.01 s
5.47/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
5.47/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40581 time:  0.06 s
5.87/1.54	c Removed useless bin:      82  fixed:     0  props:   5.97M  time:  0.05 s
6.27/1.66	c lits-rem:        96  cl-subs:       39  v-elim:  13527  v-fix:    0  time:  0.11 s
6.65/1.70	c Finding binary XORs  T:     0.04 s  found:      53
6.65/1.71	c Replacing       53 vars Replaced      890 lits Time:     0.01 s 
6.65/1.73	c Finding non-binary XORs:     0.01 s (found:     247, avg size: 3.0)
6.65/1.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     18 locsubst:     0 time:   0.01
6.65/1.74	c calculated reachability. Time: 0.01
6.65/1.75	c Calc default polars -  time:   0.00 s pos:    1523 undec:   18098 neg:   25071
6.65/1.75	c =========================================================================================
6.65/1.75	c types(t): F = full restart, N = normal restart
6.65/1.75	c types(t): S = simplification begin/end, E = solution found
6.65/1.75	c restart types(rt): st = static, dy = dynamic
6.65/1.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
6.65/1.75	c  B st     0         0     26983     36290     52986         0    226840         0   no data   no data
8.66/2.27	c  N dy    18      4134     26949     36290     53833      3226    226840     28813      3.92      4.20
11.44/2.93	c  N dy    45      8218     26639     35312     55410      3696    221551     40020      4.45     12.20
13.88/3.58	c  N dy    71     12287     26544     35312     55739      7376    221550     91954      4.64      4.89
15.82/4.01	c Finding binary XORs  T:     0.02 s  found:     573
15.82/4.03	c Replacing      576 vars Replaced    10621 lits Time:     0.01 s 
17.02/4.35	c  N dy   104     16457     25500     33809     54287      6173    211445     55058      5.00      5.31
19.82/5.05	c  N dy   136     20585     25444     33809     55518     10015    211445    157173      5.26      5.74
22.65/5.77	c  N dy   165     24757     25313     33809     56538      8060    211445     56645      5.50      5.86
23.00/5.80	c  F st   167     25000     25313     33809     56552      8289    211445     61631      5.51      4.97
23.00/5.81	c Replacing        1 vars Replaced       83 lits Time:     0.01 s 
26.61/6.79	c  N dy   173     30002     25281     33172     55949     13040    208317    552072      5.51   no data
26.61/6.79	c  S st   173     30002     25281     33172     55949     13040    208317    552072      5.51   no data
27.39/6.93	c  S st   173     30508     25281     33172     56455     13466    208317    557093      5.51   no data
27.39/6.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.01
55.70/14.04	c Flit:    54 Blit:    206 bXBeca:    0 bXProp:  693 Bins: 218318 BRemL:  26547 BRemN:     21 P: 72.4M T:  7.08
55.70/14.05	c Cleaning up after failed var search:     0.01 s 
55.70/14.09	c Replacing      693 vars Replaced   101855 lits Time:     0.03 s 
56.11/14.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
56.11/14.13	c bin-w-bin subsume rem        21004 bins  time:  0.03 s
56.11/14.17	c subs with bin:     1140  lits-rem:       787  v-fix:    0  time:  0.03 s
56.50/14.24	c Subs w/ non-existent bins:    213 l-rem:    221 v-fix:     0 done:  24131 time:  0.07 s
56.50/14.27	c Removed useless bin:      57  fixed:     0  props:   1.87M  time:  0.03 s
57.32/14.45	c lits-rem:        96  cl-subs:      821  v-elim:  13473  v-fix:    0  time:  0.18 s
57.32/14.48	c subs with bin:      827  lits-rem:      7471  v-fix:    0  time:  0.02 s
57.32/14.50	c lits-rem:        98  cl-subs:      220  v-elim:      0  v-fix:    0  time:  0.02 s
60.89/15.39	c asymm  cl-useful: 920/19151/38754 lits-rem:1195 time: 0.89
61.29/15.41	c calculated reachability. Time: 0.02
61.29/15.41	c  N dy   173     30508     10658     38744     92092      5158    162577    191364      5.51   no data
61.29/15.49	c Finding binary XORs  T:     0.08 s  found:      84
63.68/16.08	c  N dy   203     34632     10657     38744     92314      9013    162577    301549      5.68      6.02
66.52/16.75	c  N dy   232     38702     10636     38744     93032      8421    162577    283918      5.89     12.56
68.86/17.37	c Finding binary XORs  T:     0.04 s  found:      28
68.86/17.38	c Replacing      112 vars Replaced     5299 lits Time:     0.01 s 
68.86/17.39	c  N dy   260     42731     10521     38563    128111     12215    161844    472791      6.01     11.29
71.25/17.92	c  S st   283     45763     10521     38563    128229     15097    161844    579633      6.14   no data
71.65/18.01	c  S st   283     46266     10521     38563    128261     15565    161844    584393      6.14   no data
71.65/18.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      3 locsubst:     0 time:   0.01
81.62/20.55	c Flit:    13 Blit:     25 bXBeca:    0 bXProp:   40 Bins:  22379 BRemL:  48246 BRemN:     23 P: 29.6M T:  2.52
81.62/20.57	c Replacing       40 vars Replaced     4873 lits Time:     0.02 s 
81.62/20.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.02/20.60	c bin-w-bin subsume rem        15330 bins  time:  0.02 s
82.02/20.62	c subs with bin:      807  lits-rem:       387  v-fix:    0  time:  0.03 s
82.02/20.65	c Subs w/ non-existent bins:    405 l-rem:    261 v-fix:     0 done:  10434 time:  0.02 s
82.02/20.66	c Removed useless bin:      53  fixed:     0  props:   0.46M  time:  0.01 s
82.42/20.71	c lits-rem:        67  cl-subs:      408  v-elim:    199  v-fix:    0  time:  0.05 s
82.42/20.77	c subs with bin:      201  lits-rem:      2986  v-fix:    0  time:  0.05 s
82.82/20.80	c lits-rem:       246  cl-subs:      289  v-elim:      0  v-fix:    0  time:  0.03 s
82.82/20.83	c vivif2 --  cl tried    36944 cl shrink      736 lits rem        784 time: 0.03
82.82/20.87	c vivif2 --  cl tried    13804 cl shrink     3454 lits rem      15158 time: 0.04
86.40/21.76	c asymm  cl-useful: 0/15908/36592 lits-rem:0 time: 0.89
86.40/21.77	c calculated reachability. Time: 0.01
86.40/21.77	c  N dy   283     46266     10235     36592     83837     13577    154772    280116      6.14   no data
86.80/21.81	c Finding binary XORs  T:     0.04 s  found:      30
88.79/22.39	c  N dy   299     50712     10227     36592    136789     10713    154772    348539      6.13      6.75
90.00/22.69	c Finding binary XORs  T:     0.04 s  found:      66
91.20/23.00	c  N dy   326     55081     10214     36505    136764     14915    154377    466584      6.22      6.57
93.58/23.59	c  N dy   353     59159     10201     36505    154378     18910    154365    627500      6.29      9.61
96.38/24.22	c  N dy   381     63201     10200     36505    155009     13682    154365    438316      6.38      6.77
98.76/24.87	c  N dy   407     67516     10196     36505    155093     17845    154365    543342      6.46      6.82
99.56/25.03	c Finding binary XORs  T:     0.04 s  found:      56
99.56/25.04	c Replacing      155 vars Replaced    27302 lits Time:     0.02 s 
100.36/25.28	c  S st   421     69402     10037     36362    154591     19573    153617    593659      6.49   no data
100.76/25.39	c  S st   421     69902     10037     36362    154618     20043    153617    603295      6.49   no data
100.76/25.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.01
111.92/28.19	c Flit:    12 Blit:      7 bXBeca:    0 bXProp:   50 Bins:  13899 BRemL:  58234 BRemN:     12 P: 36.0M T:  2.80
112.32/28.22	c Replacing       50 vars Replaced     9893 lits Time:     0.02 s 
112.32/28.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
112.32/28.24	c bin-w-bin subsume rem        20084 bins  time:  0.02 s
112.32/28.27	c subs with bin:      361  lits-rem:       173  v-fix:    0  time:  0.03 s
112.72/28.30	c Subs w/ non-existent bins:     50 l-rem:     50 v-fix:     0 done:   9963 time:  0.03 s
112.72/28.31	c Removed useless bin:      49  fixed:     0  props:   0.45M  time:  0.01 s
112.72/28.36	c lits-rem:        33  cl-subs:      369  v-elim:    139  v-fix:    0  time:  0.05 s
113.12/28.42	c subs with bin:      411  lits-rem:      1932  v-fix:    0  time:  0.05 s
113.12/28.47	c lits-rem:       666  cl-subs:      505  v-elim:      0  v-fix:    0  time:  0.04 s
113.53/28.50	c vivif2 --  cl tried    35566 cl shrink      369 lits rem        391 time: 0.03
113.53/28.56	c vivif2 --  cl tried    18206 cl shrink     4169 lits rem      21582 time: 0.06
117.11/29.46	c asymm  cl-useful: 611/13199/35483 lits-rem:1027 time: 0.90
117.11/29.47	c calculated reachability. Time: 0.01
117.11/29.47	c  N dy   421     69902      9824     35405     87248     18101    149069    339149      6.49   no data
117.51/29.52	c Finding binary XORs  T:     0.05 s  found:      40
119.90/30.18	c  N dy   456     74414      9818     35405     94020     12673    149069    246046      6.58      8.71
122.30/30.78	c  N dy   489     79276      9801     35405     94082     17396    149069    385788      6.62      7.01
125.49/31.50	c  N dy   525     84572      9800     35405     96233     22577    149069    548341      6.72      7.10
126.29/31.76	c Finding binary XORs  T:     0.04 s  found:      75
126.29/31.78	c Replacing      115 vars Replaced    17161 lits Time:     0.02 s 
127.51/32.02	c  F st   550     87502      9665     35156     98334     25124    147945    651031      6.79   no data
129.08/32.45	c  N st   555     90802      9665     35156     98350     16971    147945    393453      6.79   no data
132.31/33.24	c  N dy   584     96600      9663     35156     99267     22667    147945    600521      6.85     10.33
136.27/34.23	c  N dy   626    102906      9655     35156     99511     28803    147945    785577      6.92      7.37
137.04/34.49	c  S st   639    104853      9653     35156     99765     18140    147945    317307      6.94   no data
137.84/34.61	c  S st   639    105356      9651     35156     99785     18617    147945    323052      6.94   no data
137.84/34.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.01
149.85/37.66	c Flit:    10 Blit:      3 bXBeca:    0 bXProp:   87 Bins:  16601 BRemL:  38382 BRemN:     26 P: 35.3M T:  3.05
149.85/37.68	c Replacing       87 vars Replaced    12634 lits Time:     0.02 s 
149.85/37.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.20/37.70	c bin-w-bin subsume rem         7098 bins  time:  0.01 s
150.20/37.72	c subs with bin:      472  lits-rem:       188  v-fix:    0  time:  0.02 s
150.20/37.75	c Subs w/ non-existent bins:     67 l-rem:     23 v-fix:     0 done:   9545 time:  0.02 s
150.20/37.76	c Removed useless bin:      22  fixed:     0  props:   0.32M  time:  0.01 s
150.60/37.80	c lits-rem:        83  cl-subs:      354  v-elim:    141  v-fix:    0  time:  0.04 s
150.60/37.84	c subs with bin:      744  lits-rem:      1614  v-fix:    0  time:  0.02 s
150.60/37.87	c lits-rem:       403  cl-subs:      421  v-elim:      0  v-fix:    0  time:  0.03 s
150.60/37.87	c Added XOR as norm:179
150.99/37.90	c vivif2 --  cl tried    34926 cl shrink      456 lits rem        469 time: 0.03
150.99/37.94	c vivif2 --  cl tried    16567 cl shrink     1803 lits rem       5824 time: 0.04
154.98/38.92	c asymm  cl-useful: 171/11024/34668 lits-rem:513 time: 0.98
154.98/38.94	c calculated reachability. Time: 0.01
154.98/38.94	c  N dy   639    105356      9404     34497     66071     16410    145396    219425      6.94   no data
154.98/38.99	c Finding binary XORs  T:     0.05 s  found:      50
158.98/39.90	c  N dy   685    112111      9394     34497     71447     23033    145396    416915      7.02     13.80
163.36/41.07	c  N dy   725    119354      9393     34497     74438     30119    145387    627802      7.07      7.50
163.76/41.15	c Finding binary XORs  T:     0.05 s  found:      40
168.94/42.42	c  N dy   773    127222      9379     34458     73111     23984    145164    373152      7.12      7.52
174.13/43.72	c  N dy   820    135403      9375     34458     73492     31972    145164    627466      7.19     10.30
179.72/45.16	c  N dy   878    144132      9371     34458     73732     26706    145159    463382      7.30      7.70
185.69/46.61	c  N dy   930    153383      9366     34458     73966     35779    145159    762880      7.37     14.43
186.49/46.80	c Finding binary XORs  T:     0.05 s  found:      78
186.49/46.83	c Replacing      168 vars Replaced    27310 lits Time:     0.03 s 
189.33/47.55	c  S st   954    158035      9197     34269     76340     25030    144090    320695      7.40   no data
189.68/47.66	c  S st   954    158536      9197     34269     76354     25513    144090    330677      7.40   no data
189.68/47.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
202.49/50.84	c Flit:     5 Blit:      1 bXBeca:    0 bXProp:   60 Bins:  33916 BRemL:  25849 BRemN:     23 P: 34.0M T:  3.17
202.49/50.86	c Replacing       60 vars Replaced     9970 lits Time:     0.02 s 
202.49/50.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
202.49/50.88	c bin-w-bin subsume rem         7624 bins  time:  0.01 s
202.49/50.90	c subs with bin:      347  lits-rem:       226  v-fix:    0  time:  0.02 s
202.84/50.92	c Subs w/ non-existent bins:     29 l-rem:     43 v-fix:     0 done:   9129 time:  0.03 s
202.84/50.93	c Removed useless bin:      41  fixed:     0  props:   0.37M  time:  0.01 s
202.84/50.97	c lits-rem:        30  cl-subs:      409  v-elim:    216  v-fix:    0  time:  0.04 s
203.24/51.03	c subs with bin:      631  lits-rem:      2540  v-fix:    0  time:  0.04 s
203.24/51.07	c lits-rem:       519  cl-subs:      473  v-elim:      0  v-fix:    0  time:  0.04 s
203.24/51.07	c Added XOR as norm:0
203.65/51.10	c vivif2 --  cl tried    33381 cl shrink      639 lits rem        758 time: 0.03
203.65/51.15	c vivif2 --  cl tried    23281 cl shrink     3117 lits rem       8667 time: 0.05
206.05/51.78	c asymm  cl-useful: 69/9013/33236 lits-rem:207 time: 0.63
206.05/51.80	c calculated reachability. Time: 0.01
206.05/51.80	c  N dy   954    158536      8913     33167     71801     23097    139843    288453      7.40   no data
206.46/51.85	c Finding binary XORs  T:     0.05 s  found:      30
212.01/53.28	c Finding binary XORs  T:     0.05 s  found:      27
212.41/53.35	c  N dy  1008    168707      8902     33134     82787     33065    139647    772087      7.41     16.83
218.80/54.95	c  N dy  1063    179571      8893     33134     88026     27367    139644    403962      7.43      8.61
222.79/55.95	c Finding binary XORs  T:     0.05 s  found:      45
222.79/55.97	c Replacing      102 vars Replaced    13437 lits Time:     0.02 s 
226.37/56.89	c  N dy  1138    191472      8787     33051     87685     38759    139183    854000      7.52      7.95
235.55/59.18	c  N dy  1209    203825      8784     33051     88014     34508    139183    595892      7.59      8.08
243.93/61.20	c Finding binary XORs  T:     0.05 s  found:      76
245.13/61.57	c  N dy  1286    216897      8772     33004     95191     47242    138914   1096057      7.65     15.45
255.48/64.19	c  N dy  1362    230945      8766     33004     97397     43825    138914    824538      7.71      8.28
260.68/65.50	c  S st  1406    237806      8766     33004     97536     50616    138914   1080434      7.77   no data
261.48/65.64	c  S st  1406    238311      8766     33004     97543     51112    138914   1097620      7.77   no data
261.48/65.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
274.23/68.81	c Flit:     7 Blit:      3 bXBeca:    0 bXProp:   54 Bins:  10283 BRemL:  32683 BRemN:     12 P: 37.4M T:  3.15
274.23/68.86	c Replacing      130 vars Replaced    24410 lits Time:     0.04 s 
274.23/68.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
274.23/68.88	c bin-w-bin subsume rem         7579 bins  time:  0.01 s
274.23/68.89	c subs with bin:      325  lits-rem:       263  v-fix:    0  time:  0.02 s
274.64/68.92	c Subs w/ non-existent bins:     69 l-rem:     26 v-fix:     0 done:   8626 time:  0.02 s
274.64/68.92	c Removed useless bin:      24  fixed:     0  props:   0.36M  time:  0.01 s
274.64/68.97	c lits-rem:        48  cl-subs:      485  v-elim:    114  v-fix:    0  time:  0.05 s
276.24/69.32	c subs with bin:      980  lits-rem:     10181  v-fix:    0  time:  0.31 s
277.42/69.61	c lits-rem:      2529  cl-subs:     1273  v-elim:      0  v-fix:    0  time:  0.29 s
277.42/69.61	c Added XOR as norm:0
277.42/69.65	c vivif2 --  cl tried    31989 cl shrink      418 lits rem        634 time: 0.03
277.82/69.77	c vivif2 --  cl tried    45759 cl shrink    11194 lits rem      59451 time: 0.13
279.82/70.24	c asymm  cl-useful: 343/4121/31914 lits-rem:530 time: 0.47
279.82/70.26	c calculated reachability. Time: 0.01
279.82/70.26	c  N dy  1406    238311      8512     31900     66234     45565    133633    719657      7.77   no data
280.22/70.31	c Finding binary XORs  T:     0.05 s  found:      43
289.81/72.76	c Finding binary XORs  T:     0.05 s  found:      11
291.38/73.12	c  N dy  1493    253619      8496     31868     70603     43122    133422    657928      7.82     11.18
303.74/76.22	c  N dy  1580    269904      8490     31868     70894     39938    133422    511493      7.88      8.33
317.69/79.75	c  N dy  1688    287517      8482     31868     71168     57337    133422   1116813      7.98      8.64
327.27/82.17	c Finding binary XORs  T:     0.05 s  found:      41
327.27/82.19	c Replacing       95 vars Replaced    12739 lits Time:     0.02 s 
333.25/83.66	c  N dy  1800    305883      8378     31769     70704     54286    132850    882621      8.07      8.61
333.66/83.74	c  F st  1803    306251      8378     31769     70704     54651    132850    894920      8.07      7.75
340.82/85.50	c Finding binary XORs  T:     0.05 s  found:      73
348.80/87.59	c  N dy  1889    325542      8344     31664     73288     51652    132390    757469      8.12      8.55
366.74/92.09	c  N dy  1996    346203      8330     31664     73608     49145    132390    604119      8.17      8.62
376.32/94.49	c  S st  2061    357467      8329     31664     73735     60295    132390    970435      8.20   no data
377.12/94.66	c  S st  2061    357971      8329     31664     73742     60790    132390    985075      8.20   no data
377.12/94.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
389.88/97.84	c Flit:     2 Blit:      4 bXBeca:    0 bXProp:   98 Bins:  23177 BRemL:  19349 BRemN:     30 P: 39.0M T:  3.16
389.88/97.89	c Replacing      171 vars Replaced    38974 lits Time:     0.05 s 
390.28/97.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
390.28/97.91	c bin-w-bin subsume rem         4779 bins  time:  0.01 s
390.28/97.92	c subs with bin:      295  lits-rem:       422  v-fix:    0  time:  0.02 s
390.28/97.95	c Subs w/ non-existent bins:     14 l-rem:      3 v-fix:     0 done:   8152 time:  0.02 s
390.28/97.95	c Removed useless bin:      37  fixed:     0  props:   0.36M  time:  0.01 s
390.28/98.00	c lits-rem:        87  cl-subs:      434  v-elim:    137  v-fix:    0  time:  0.05 s
391.47/98.24	c subs with bin:     1118  lits-rem:     10452  v-fix:    0  time:  0.21 s
392.27/98.43	c lits-rem:      1933  cl-subs:     1037  v-elim:      0  v-fix:    0  time:  0.18 s
392.27/98.43	c Added XOR as norm:0
392.27/98.46	c vivif2 --  cl tried    30848 cl shrink      390 lits rem        602 time: 0.03
392.67/98.58	c vivif2 --  cl tried    50675 cl shrink    10510 lits rem      40238 time: 0.12
394.67/99.04	c asymm  cl-useful: 100/5786/30792 lits-rem:238 time: 0.46
394.67/99.05	c calculated reachability. Time: 0.01
394.67/99.05	c  N dy  2061    357971      8015     30746     70717     50495    128083    642270      8.20   no data
394.67/99.11	c Finding binary XORs  T:     0.05 s  found:      63
406.23/101.98	c Finding binary XORs  T:     0.05 s  found:      29
406.63/102.01	c Replacing       92 vars Replaced    12757 lits Time:     0.02 s 
412.63/103.55	c  N dy  2171    378030      7916     30705     87755     48847    127807    674720      8.23      9.92
429.77/107.90	c  N dy  2291    398078      7913     30705     87953     68701    127807   1353847      8.30     10.91
432.55/108.50	c Finding binary XORs  T:     0.05 s  found:      45
447.32/112.20	c  N dy  2396    418710      7911     30692     91518     63857    127696   1052786      8.32      9.06
465.28/116.76	c  N dy  2525    438998      7908     30692     91688     57899    127696    830093      8.36      8.81
486.00/121.90	c  N dy  2635    459177      7905     30692     91870     51199    127696    549497      8.38      8.90
503.54/126.30	c Finding binary XORs  T:     0.05 s  found:      16
505.18/126.77	c  N dy  2744    479602      7904     30669     91511     71138    127552   1205925      8.41      8.89
523.48/131.38	c  N dy  2845    499695      7902     30669     91604     62964    127552    843310      8.43      8.97
545.01/136.71	c  N dy  2917    520051      7901     30669     91735     82959    127552   1345749      8.42      8.90
561.79/140.96	c  S st  3005    536956      7900     30669     91831     71074    127552   1043581      8.43      5.17
562.56/141.13	c  S st  3005    537458      7900     30669     91835     71570    127552   1059669      8.43   no data
562.56/141.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
574.52/144.10	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:   48 Bins:  11783 BRemL:  22993 BRemN:     35 P: 39.0M T:  2.97
574.52/144.16	c Replacing      109 vars Replaced    32340 lits Time:     0.05 s 
574.52/144.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
574.52/144.18	c bin-w-bin subsume rem         9509 bins  time:  0.01 s
574.52/144.20	c subs with bin:      226  lits-rem:       151  v-fix:    0  time:  0.02 s
574.94/144.22	c Subs w/ non-existent bins:      5 l-rem:      2 v-fix:     0 done:   7786 time:  0.02 s
574.94/144.23	c Removed useless bin:      38  fixed:     0  props:   0.35M  time:  0.01 s
574.94/144.28	c lits-rem:        21  cl-subs:      344  v-elim:     77  v-fix:    0  time:  0.05 s
576.52/144.63	c subs with bin:     1106  lits-rem:      9196  v-fix:    0  time:  0.31 s
577.72/144.98	c lits-rem:      4313  cl-subs:     1591  v-elim:      0  v-fix:    0  time:  0.35 s
577.72/144.98	c Added XOR as norm:0
578.12/145.01	c vivif2 --  cl tried    30077 cl shrink      220 lits rem        299 time: 0.03
578.52/145.16	c vivif2 --  cl tried    63481 cl shrink    10316 lits rem      45575 time: 0.15
580.50/145.60	c asymm  cl-useful: 23/2634/30015 lits-rem:69 time: 0.44
580.50/145.61	c calculated reachability. Time: 0.01
580.50/145.61	c  N dy  3005    537458      7709     29992     69024     63369    124644    796391      8.43   no data
580.50/145.67	c Finding binary XORs  T:     0.05 s  found:      37
589.67/147.95	c Finding binary XORs  T:     0.05 s  found:       5
600.85/150.77	c  N dy  3102    557530      7704     29984     75411     53780    124597    510056      8.44      9.13
619.23/155.32	c  N dy  3214    577649      7703     29984     75499     73682    124597   1126758      8.46      8.96
639.14/160.30	c  N dy  3324    597688      7701     29984     75585     62834    124597    694599      8.49     12.80
659.07/165.30	c  N dy  3438    617712      7700     29984     75657     82644    124597   1332237      8.51      8.99
678.61/170.29	c  N dy  3555    637729      7696     29984     75724     70664    124597    895966      8.53      9.25
700.54/175.77	c  N dy  3676    658523      7694     29984     75817     91233    124597   1527302      8.55      9.05
700.94/175.83	c Finding binary XORs  T:     0.05 s  found:      22
721.28/180.94	c  N dy  3788    678605      7694     29945     75420     77610    124273    986123      8.57      9.09
744.41/186.73	c  N dy  3901    699621      7693     29945     75468     98423    124273   1672143      8.59      9.22
748.80/187.83	c Finding binary XORs  T:     0.05 s  found:      31
748.80/187.86	c Replacing       95 vars Replaced    19944 lits Time:     0.03 s 
761.16/190.97	c Finding binary XORs  T:     0.05 s  found:      17
765.14/191.93	c  N dy  4011    720563      7590     29872     82104     84655    123923   1185933      8.60      9.24
789.08/197.94	c  N dy  4110    740575      7587     29872     82533     69743    123923    699821      8.61     16.77
811.02/203.41	c  N dy  4228    760655      7582     29872     82599     89714    123923   1405073      8.63     12.03
837.74/210.14	c  N dy  4365    780698      7582     29872     82685     73487    123923    756177      8.66      9.20
841.32/211.02	c Finding binary XORs  T:     0.05 s  found:      13
861.26/216.07	c  N dy  4503    800744      7582     29843     82284     93081    123784   1465565      8.69     13.09
868.44/217.87	c  S st  4541    806187      7582     29843     82293     98489    123784   1676749      8.69   no data
869.63/218.11	c  S st  4541    806690      7582     29843     82297     98986    123784   1693041      8.69   no data
869.63/218.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
881.60/221.17	c Flit:     6 Blit:      2 bXBeca:    0 bXProp:   28 Bins:   4147 BRemL:  16733 BRemN:     16 P: 44.0M T:  3.04
882.01/221.25	c Replacing       58 vars Replaced    29885 lits Time:     0.07 s 
882.01/221.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
882.01/221.27	c bin-w-bin subsume rem         5195 bins  time:  0.01 s
882.01/221.28	c subs with bin:      207  lits-rem:       132  v-fix:    0  time:  0.02 s
882.01/221.30	c Subs w/ non-existent bins:     10 l-rem:     15 v-fix:     0 done:   7516 time:  0.02 s
882.43/221.31	c Removed useless bin:      20  fixed:     0  props:   0.32M  time:  0.01 s
882.43/221.37	c lits-rem:        18  cl-subs:      277  v-elim:     81  v-fix:    0  time:  0.06 s
885.59/222.15	c subs with bin:     2399  lits-rem:     21170  v-fix:    0  time:  0.71 s
890.37/223.34	c lits-rem:      7802  cl-subs:     2723  v-elim:      0  v-fix:    0  time:  1.19 s
890.37/223.34	c Added XOR as norm:0
890.37/223.37	c vivif2 --  cl tried    29283 cl shrink      138 lits rem        182 time: 0.03
891.56/223.67	c vivif2 --  cl tried    88902 cl shrink    21313 lits rem     116659 time: 0.30
893.16/224.07	c asymm  cl-useful: 9/1600/29262 lits-rem:27 time: 0.41
893.16/224.09	c calculated reachability. Time: 0.01
893.16/224.09	c  N dy  4541    806690      7435     29253     62500     88711    121526   1260861      8.69   no data
893.56/224.14	c Finding binary XORs  T:     0.05 s  found:      17
903.53/226.68	c Finding binary XORs  T:     0.05 s  found:       2
918.28/230.32	c  N dy  4653    827430      7430     29238     65473     71411    121475    710826      8.70      9.23
939.05/235.61	c  N dy  4783    847452      7419     29238     65585     91274    121475   1377323      8.72      9.60
958.96/240.51	c Finding binary XORs  T:     0.05 s  found:      34
963.75/241.78	c  N dy  4912    867539      7407     29098     67330     72427    120940    699585      8.74      9.33
970.53/243.48	c Finding binary XORs  T:     0.05 s  found:       1
984.89/247.03	c  N dy  5013    887542      7404     29084     69853     91791    120896   1347170      8.74      9.36
1008.43/252.96	c  N dy  5128    907688      7394     29084     69929     73187    120896    686817      8.76      9.44
1029.16/258.17	c  N dy  5247    927703      7390     29084     69993     93085    120896   1382650      8.77      9.61
1053.87/264.31	c  N dy  5364    947754      7390     29084     70040    112959    120896   2089423      8.78     10.60
1074.22/269.46	c  N dy  5477    967810      7386     29084     70092     92792    120896   1264262      8.79      9.34
1098.94/275.69	c  N dy  5591    987875      7384     29084     70136    112689    120896   1935029      8.80      9.36
1111.70/278.80	c Finding binary XORs  T:     0.05 s  found:      23
1111.70/278.83	c Replacing       77 vars Replaced    19572 lits Time:     0.03 s 
1121.68/281.37	c  N dy  5702   1008059      7307     28906     69567     90157    120116   1158023      8.80      9.27
1146.80/287.63	c  N dy  5814   1028072      7307     28906     69633    110020    120116   1876421      8.81      9.49
1169.13/293.22	c  N dy  5916   1048100      7307     28906     69702     87567    120116    979905      8.81      9.91
1192.67/299.14	c  N dy  6038   1068102      7307     28906     69763    107444    120116   1622250      8.82     10.21
1197.05/300.27	c  F st  6060   1071876      7307     28906     69763    111186    120116   1757438      8.83      8.36
1218.19/305.51	c  N dy  6130   1088345      7300     28906     69796     84259    120116    827249      8.83      9.35
1240.92/311.22	c  N dy  6227   1108510      7300     28906     69823    104254    120116   1490561      8.83      9.32
1267.24/317.80	c  N dy  6319   1128619      7300     28906     69862    124181    120116   2134892      8.83      9.38
1291.16/323.86	c  N dy  6386   1148801      7299     28906     69887    100212    120116   1251293      8.82      9.32
1315.90/330.04	c  N dy  6466   1168923      7287     28906     69948    120057    120116   1940665      8.82      9.31
1337.03/335.36	c Finding binary XORs  T:     0.05 s  found:      48
1342.22/336.69	c  N dy  6556   1188986      7267     28667     68925     90357    119158   1008235      8.82      9.57
1367.74/343.07	c  N dy  6639   1209065      7267     28667     69126    110219    119158   1674036      8.82      9.44
1369.38/343.45	c  S st  6646   1210036      7267     28667     69126    111179    119158   1704631      8.82   no data
1370.53/343.73	c  S st  6646   1210537      7267     28667     69132    111674    119158   1720236      8.82   no data
1370.53/343.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1382.55/346.73	c Flit:    13 Blit:      4 bXBeca:    0 bXProp:   52 Bins:   3838 BRemL:   9415 BRemN:     14 P: 51.1M T:  2.99
1382.90/346.82	c Replacing      100 vars Replaced    35232 lits Time:     0.08 s 
1382.90/346.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1382.90/346.83	c bin-w-bin subsume rem         4537 bins  time:  0.01 s
1382.90/346.85	c subs with bin:      314  lits-rem:       196  v-fix:    0  time:  0.01 s
1382.90/346.87	c Subs w/ non-existent bins:     80 l-rem:     62 v-fix:     0 done:   7148 time:  0.02 s
1382.90/346.88	c Removed useless bin:      19  fixed:     0  props:   0.33M  time:  0.01 s
1383.29/346.94	c lits-rem:        38  cl-subs:      292  v-elim:    144  v-fix:    0  time:  0.06 s
1384.89/347.31	c subs with bin:     2492  lits-rem:     14692  v-fix:    0  time:  0.33 s
1387.28/347.97	c lits-rem:      4590  cl-subs:     2575  v-elim:      0  v-fix:    0  time:  0.66 s
1387.28/347.97	c Added XOR as norm:0
1387.68/348.00	c vivif2 --  cl tried    27791 cl shrink      183 lits rem        277 time: 0.03
1388.48/348.28	c vivif2 --  cl tried    87988 cl shrink    17151 lits rem      76379 time: 0.27
1390.07/348.68	c asymm  cl-useful: 5/2411/27768 lits-rem:15 time: 0.40
1390.07/348.69	c calculated reachability. Time: 0.01
1390.07/348.69	c  N dy  6646   1210537      7004     27763     57265     87794    115279   1008377      8.82   no data
1390.47/348.74	c Finding binary XORs  T:     0.05 s  found:      31
1396.83/350.38	c Finding binary XORs  T:     0.05 s  found:      17
1403.23/351.91	c Finding binary XORs  T:     0.05 s  found:      11
1413.59/354.52	c  N dy  6710   1230875      6995     27742     65646    107804    115130   1677378      8.81      9.40
1421.59/356.59	c Finding binary XORs  T:     0.05 s  found:     117
1422.02/356.62	c Replacing      176 vars Replaced    30521 lits Time:     0.03 s 
1435.93/360.15	c  N dy  6786   1250930      6635     26782     47422     85525    110639    976119      8.80     10.50
1451.88/364.14	c Finding binary XORs  T:     0.05 s  found:      15
1462.65/366.82	c  N dy  6886   1272297      6632     26774     47371    104483    110570   1471540      8.80      9.36
1486.98/372.94	c  N dy  6948   1292398      6618     26774     47443     80746    110570    806125      8.79      9.94
1496.59/375.35	c Following stats are for *FIRST FINISHED THREAD ONLY*
1496.59/375.35	c num threads              : 4          
1496.59/375.35	c restarts                 : 6892       
1496.59/375.35	c dynamic restarts         : 6862       
1496.59/375.35	c static restarts          : 30         
1496.59/375.35	c full restarts            : 4          
1496.59/375.35	c total simplify time      : 3.01       
1496.59/375.35	c learnts DL2              : 0          
1496.59/375.35	c learnts size 2           : 779198     
1496.59/375.35	c learnts size 1           : 8655        (19.37     % of vars)
1496.59/375.35	c filedLit time            : 24.36       (6.57      % time)
1496.59/375.35	c v-elim SatELite          : 24667       (55.19     % vars)
1496.59/375.35	c SatELite time            : 1.69        (0.46      % time)
1496.59/375.35	c v-elim xor               : 0           (0.00      % vars)
1496.59/375.35	c xor elim time            : 0.06        (0.02      % time)
1496.59/375.35	c num binary xor trees     : 3485       
1496.59/375.35	c binxor trees' crown      : 6704        (1.92      leafs/tree)
1496.59/375.35	c bin xor find time        : 2.02       
1496.59/375.35	c OTF clause improved      : 12705       (0.01      clauses/conflict)
1496.59/375.35	c OTF impr. size diff      : 16544       (1.30       lits/clause)
1496.59/375.35	c OTF cl watch-shrink      : 1012867     (0.77      clauses/conflict)
1496.59/375.35	c OTF cl watch-sh-lit      : 6867725     (6.78       lits/clause)
1496.59/375.35	c tried to recurMin cls    : 514054      (38.92      % of conflicts)
1496.59/375.35	c updated cache            : 43503       (0.08       lits/tried recurMin)
1496.59/375.35	c unit cls recevied        : 708         (8.18      % of units)
1496.59/375.35	c unit cls sent            : 4065        (46.97     % of units)
1496.59/375.35	c bin cls recevied         : 557505     
1496.59/375.35	c bin cls sent             : 241026     
1496.59/375.35	c clauses over max glue    : 0           (0.00      % of all clauses)
1496.59/375.35	c conflicts                : 1320932     (3564.41   / sec)
1496.59/375.35	c decisions                : 2332337     (1.60      % random)
1496.59/375.35	c bogo-props               : 23771573892 (64145270.08 / sec)
1496.59/375.35	c conflict literals        : 42177718    (41.67     % deleted)
1496.59/375.35	c Memory used              : 1104.16     MB
1496.59/375.35	c single-thread CPU time   : 370.59      s
1496.59/375.35	c all-threads sum CPU time : 1495.48     s
1496.59/375.35	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-3367092-1305394207/watcher-3367092-1305394207 -o /tmp/evaluation-result-3367092-1305394207/solver-3367092-1305394207 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367092-1305394207.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.14 7.83 7.05 6/369 4730
/proc/meminfo: memFree=16053668/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 729651401 52396032 347 33554432000 4194304 4580107 140736953608416 18446744073709551615 47461066684328 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 12792 347 299 95 0 7774 0
[pid=4730/tid=4731] ppid=4728 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 729651401 52396032 347 33554432000 4194304 4580107 140736953608416 18446744073709551615 47461066684338 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 729651401 52396032 347 33554432000 4194304 4580107 140736953608416 18446744073709551615 47461066684338 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 729651402 52396032 347 33554432000 4194304 4580107 140736953608416 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.227704 s]
/proc/loadavg: 8.14 7.83 7.05 6/369 4730
/proc/meminfo: memFree=16053668/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=388000 CPUtime=0.8 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 23563 0 0 0 71 9 0 0 17 0 4 0 729651401 397312000 19454 33554432000 4194304 4580107 140736953608416 18446744073709551615 224285030943 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 97000 19454 359 95 0 91982 0
[pid=4730/tid=4731] ppid=4728 vsize=388000 CPUtime=0.19 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 5886 0 0 0 17 2 0 0 17 0 4 0 729651401 397312000 19454 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=388000 CPUtime=0.2 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 5257 0 0 0 18 2 0 0 17 0 4 0 729651401 397312000 19454 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=388000 CPUtime=0.19 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 6232 0 0 0 17 2 0 0 18 0 4 0 729651402 397312000 19454 33554432000 4194304 4580107 140736953608416 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 388000

[startup+0.300433 s]
/proc/loadavg: 8.14 7.83 7.05 6/369 4730
/proc/meminfo: memFree=16053668/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=388000 CPUtime=1.09 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 23575 0 0 0 100 9 0 0 18 0 4 0 729651401 397312000 19466 33554432000 4194304 4580107 140736953608416 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 97000 19466 359 95 0 91982 0
[pid=4730/tid=4731] ppid=4728 vsize=388000 CPUtime=0.27 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 5886 0 0 0 25 2 0 0 17 0 4 0 729651401 397312000 19466 33554432000 4194304 4580107 140736953608416 18446744073709551615 4292947 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=388000 CPUtime=0.27 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 5257 0 0 0 25 2 0 0 17 0 4 0 729651401 397312000 19466 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=388000 CPUtime=0.26 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 6244 0 0 0 24 2 0 0 18 0 4 0 729651402 397312000 19466 33554432000 4194304 4580107 140736953608416 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 388000

[startup+0.400415 s]
/proc/loadavg: 8.14 7.83 7.05 6/369 4730
/proc/meminfo: memFree=16053668/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=388000 CPUtime=1.49 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 23593 0 0 0 140 9 0 0 18 0 4 0 729651401 397312000 19484 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 97000 19484 359 95 0 91982 0
[pid=4730/tid=4731] ppid=4728 vsize=388000 CPUtime=0.37 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 5886 0 0 0 35 2 0 0 18 0 4 0 729651401 397312000 19484 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=388000 CPUtime=0.37 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 5257 0 0 0 35 2 0 0 18 0 4 0 729651401 397312000 19484 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=388000 CPUtime=0.36 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 6262 0 0 0 34 2 0 0 18 0 4 0 729651402 397312000 19484 33554432000 4194304 4580107 140736953608416 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 388000

[startup+0.700363 s]
/proc/loadavg: 8.14 7.83 7.05 6/369 4730
/proc/meminfo: memFree=16053668/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=395480 CPUtime=2.69 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 31687 0 0 0 258 11 0 0 18 0 4 0 729651401 404971520 27578 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 98870 27578 360 95 0 93852 0
[pid=4730/tid=4731] ppid=4728 vsize=395480 CPUtime=0.66 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 8529 0 0 0 63 3 0 0 18 0 4 0 729651401 404971520 27580 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=395480 CPUtime=0.67 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 7981 0 0 0 65 2 0 0 18 0 4 0 729651401 404971520 27580 33554432000 4194304 4580107 140736953608416 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=395480 CPUtime=0.66 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 6315 0 0 0 64 2 0 0 18 0 4 0 729651402 404971520 27585 33554432000 4194304 4580107 140736953608416 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 395480

[startup+1.50123 s]
/proc/loadavg: 8.21 7.85 7.06 9/373 4734
/proc/meminfo: memFree=15910416/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=406956 CPUtime=5.87 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 45658 0 0 0 573 14 0 0 18 0 4 0 729651401 416722944 41547 33554432000 4194304 4580107 140736953608416 18446744073709551615 4490617 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 101739 41547 373 95 0 96721 0
[pid=4730/tid=4731] ppid=4728 vsize=406956 CPUtime=1.47 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 12597 0 0 0 143 4 0 0 18 0 4 0 729651401 416722944 41547 33554432000 4194304 4580107 140736953608416 18446744073709551615 4292103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=406956 CPUtime=1.46 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 12662 0 0 0 143 3 0 0 18 0 4 0 729651401 416722944 41547 33554432000 4194304 4580107 140736953608416 18446744073709551615 4292012 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=406956 CPUtime=1.44 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 6988 0 0 0 142 2 0 0 20 0 4 0 729651402 416722944 41547 33554432000 4194304 4580107 140736953608416 18446744073709551615 224284591418 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 406956

[startup+3.10097 s]
/proc/loadavg: 8.21 7.85 7.06 9/373 4734
/proc/meminfo: memFree=15866768/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=417084 CPUtime=12.24 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 54561 0 0 0 1207 17 0 0 20 0 4 0 729651401 427094016 46111 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 104271 46111 379 95 0 99253 0
[pid=4730/tid=4731] ppid=4728 vsize=417084 CPUtime=3.07 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 15829 0 0 0 302 5 0 0 20 0 4 0 729651401 427094016 46111 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=417084 CPUtime=3.05 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 15323 0 0 0 301 4 0 0 20 0 4 0 729651401 427094016 46111 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=417084 CPUtime=3.03 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 7474 0 0 0 301 2 0 0 24 0 4 0 729651402 427094016 46111 33554432000 4194304 4580107 140736953608416 18446744073709551615 4301698 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 417084

[startup+6.30044 s]
/proc/loadavg: 8.21 7.85 7.06 9/373 4734
/proc/meminfo: memFree=15857732/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=389348 CPUtime=25 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 71367 0 0 0 2480 20 0 0 25 0 4 0 729651401 398692352 48288 33554432000 4194304 4580107 140736953608416 18446744073709551615 4322933 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 97337 48288 380 95 0 92319 0
[pid=4730/tid=4731] ppid=4728 vsize=389348 CPUtime=6.26 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 18600 0 0 0 621 5 0 0 25 0 4 0 729651401 398692352 48288 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=389348 CPUtime=6.25 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 20780 0 0 0 620 5 0 0 25 0 4 0 729651401 398692352 48288 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=389348 CPUtime=6.2 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 10364 0 0 0 617 3 0 0 25 0 4 0 729651402 398692352 48288 33554432000 4194304 4580107 140736953608416 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 389348

[startup+12.7004 s]
/proc/loadavg: 8.17 7.85 7.07 9/373 4734
/proc/meminfo: memFree=15710564/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=708680 CPUtime=50.52 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 116397 0 0 0 5024 28 0 0 25 0 4 0 729651401 725688320 91979 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 177170 91979 380 95 0 172152 0
[pid=4730/tid=4731] ppid=4728 vsize=708680 CPUtime=12.66 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 31963 0 0 0 1258 8 0 0 25 0 4 0 729651401 725688320 91979 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=708680 CPUtime=12.65 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 29083 0 0 0 1259 6 0 0 25 0 4 0 729651401 725688320 91979 33554432000 4194304 4580107 140736953608416 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=708680 CPUtime=12.52 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 21929 0 0 0 1247 5 0 0 22 0 4 0 729651402 725688320 91979 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 708680

[startup+25.5143 s]
/proc/loadavg: 8.15 7.86 7.08 9/373 4734
/proc/meminfo: memFree=15516512/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=737772 CPUtime=101.6 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 166820 0 0 0 10120 40 0 0 25 0 4 0 729651401 755478528 132671 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 184443 132671 380 95 0 179425 0
[pid=4730/tid=4731] ppid=4728 vsize=737772 CPUtime=25.47 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 40188 0 0 0 2537 10 0 0 25 0 4 0 729651401 755478528 132671 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=737772 CPUtime=25.47 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 41527 0 0 0 2537 10 0 0 25 0 4 0 729651401 755478528 132671 33554432000 4194304 4580107 140736953608416 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=737772 CPUtime=25.17 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 45145 0 0 0 2507 10 0 0 25 0 4 0 729651402 755478528 132671 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 737772

[startup+51.101 s]
/proc/loadavg: 8.14 7.88 7.12 9/373 4736
/proc/meminfo: memFree=15425504/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=881880 CPUtime=203.65 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 207012 0 0 0 20314 51 0 0 25 0 4 0 729651401 903045120 153337 33554432000 4194304 4580107 140736953608416 18446744073709551615 4502081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 220470 153337 380 95 0 215452 0
[pid=4730/tid=4731] ppid=4728 vsize=881880 CPUtime=51.06 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 49562 0 0 0 5093 13 0 0 25 0 4 0 729651401 903045120 153337 33554432000 4194304 4580107 140736953608416 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=881880 CPUtime=51.05 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 51504 0 0 0 5092 13 0 0 25 0 4 0 729651401 903045120 153337 33554432000 4194304 4580107 140736953608416 18446744073709551615 224284584178 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=881880 CPUtime=50.46 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 56716 0 0 0 5034 12 0 0 25 0 4 0 729651402 903045120 153337 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.65
Current children cumulated vsize (KiB) 881880

[startup+102.301 s]
/proc/loadavg: 8.16 7.93 7.17 9/373 4736
/proc/meminfo: memFree=15345732/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=916576 CPUtime=407.83 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 261019 0 0 0 40717 66 0 0 25 0 4 0 729651401 938573824 169984 33554432000 4194304 4580107 140736953608416 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 229144 169984 380 95 0 224126 0
[pid=4730/tid=4731] ppid=4728 vsize=916576 CPUtime=102.25 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 63691 0 0 0 10208 17 0 0 25 0 4 0 729651401 938573824 169984 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=916576 CPUtime=102.25 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 66201 0 0 0 10207 18 0 0 25 0 4 0 729651401 938573824 169984 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=916576 CPUtime=101.06 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 67921 0 0 0 10091 15 0 0 25 0 4 0 729651402 938573824 169984 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.83
Current children cumulated vsize (KiB) 916576

[startup+162.301 s]
/proc/loadavg: 8.06 7.94 7.22 9/373 4738
/proc/meminfo: memFree=15296816/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1059676 CPUtime=647.11 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 310047 0 0 0 64631 80 0 0 25 0 4 0 729651401 1085108224 182666 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 264919 182666 390 95 0 259901 0
[pid=4730/tid=4731] ppid=4728 vsize=1059676 CPUtime=162.25 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 75909 0 0 0 16204 21 0 0 25 0 4 0 729651401 1085108224 182666 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293273 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1059676 CPUtime=162.25 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 77178 0 0 0 16203 22 0 0 25 0 4 0 729651401 1085108224 182666 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1059676 CPUtime=160.34 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 80075 0 0 0 16016 18 0 0 25 0 4 0 729651402 1085108224 182666 33554432000 4194304 4580107 140736953608416 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.11
Current children cumulated vsize (KiB) 1059676

[startup+222.301 s]
/proc/loadavg: 8.05 7.96 7.27 9/373 4740
/proc/meminfo: memFree=15143004/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1113508 CPUtime=886.4 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 350249 0 0 0 88546 94 0 0 25 0 4 0 729651401 1140232192 196217 33554432000 4194304 4580107 140736953608416 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 278377 196217 382 95 0 273359 0
[pid=4730/tid=4731] ppid=4728 vsize=1113508 CPUtime=222.27 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 88440 0 0 0 22202 25 0 0 25 0 4 0 729651401 1140232192 196217 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1113508 CPUtime=222.26 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 85514 0 0 0 22200 26 0 0 25 0 4 0 729651401 1140232192 196217 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1113508 CPUtime=219.64 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 90300 0 0 0 21943 21 0 0 25 0 4 0 729651402 1140232192 196217 33554432000 4194304 4580107 140736953608416 18446744073709551615 4317207 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 886.4
Current children cumulated vsize (KiB) 1113508

[startup+282.301 s]
/proc/loadavg: 8.13 8.00 7.32 9/373 4742
/proc/meminfo: memFree=15121376/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1105072 CPUtime=1125.66 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 396370 0 0 0 112459 107 0 0 25 0 4 0 729651401 1131593728 199397 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293251 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 276268 199397 382 95 0 271250 0
[pid=4730/tid=4731] ppid=4728 vsize=1105072 CPUtime=282.25 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 99067 0 0 0 28197 28 0 0 25 0 4 0 729651401 1131593728 199397 33554432000 4194304 4580107 140736953608416 18446744073709551615 4321452 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1105072 CPUtime=282.25 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 98782 0 0 0 28195 30 0 0 25 0 4 0 729651401 1131593728 199397 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1105072 CPUtime=278.93 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 101904 0 0 0 27868 25 0 0 25 0 4 0 729651402 1131593728 199397 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1125.66
Current children cumulated vsize (KiB) 1105072

[startup+342.314 s]
/proc/loadavg: 8.12 8.01 7.37 9/373 4744
/proc/meminfo: memFree=15058704/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1184756 CPUtime=1364.99 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 437539 0 0 0 136377 122 0 0 25 0 4 0 729651401 1213190144 208322 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293685 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 296189 208322 381 95 0 291171 0
[pid=4730/tid=4731] ppid=4728 vsize=1184756 CPUtime=342.26 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 108968 0 0 0 34194 32 0 0 25 0 4 0 729651401 1213190144 208322 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1184756 CPUtime=342.26 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 109458 0 0 0 34192 34 0 0 25 0 4 0 729651401 1213190144 208322 33554432000 4194304 4580107 140736953608416 18446744073709551615 4317012 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1184756 CPUtime=338.23 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 111433 0 0 0 33795 28 0 0 25 0 4 0 729651402 1213190144 208322 33554432000 4194304 4580107 140736953608416 18446744073709551615 4412649 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1364.99
Current children cumulated vsize (KiB) 1184756

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

[startup+358.501 s]
/proc/loadavg: 8.09 8.01 7.38 9/373 4744
/proc/meminfo: memFree=15041704/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1117864 CPUtime=1429.55 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 449291 0 0 0 142828 127 0 0 25 0 4 0 729651401 1144692736 209489 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 279466 209489 381 95 0 274448 0
[pid=4730/tid=4731] ppid=4728 vsize=1117864 CPUtime=358.45 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 112342 0 0 0 35812 33 0 0 25 0 4 0 729651401 1144692736 209489 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1117864 CPUtime=358.44 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 112259 0 0 0 35809 35 0 0 25 0 4 0 729651401 1144692736 209489 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1117864 CPUtime=354.24 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 115109 0 0 0 35395 29 0 0 25 0 4 0 729651402 1144692736 209489 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1429.55
Current children cumulated vsize (KiB) 1117864

[startup+364.901 s]
/proc/loadavg: 8.08 8.01 7.38 9/373 4744
/proc/meminfo: memFree=15029172/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1130652 CPUtime=1455.07 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 451846 0 0 0 145380 127 0 0 25 0 4 0 729651401 1157787648 212043 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 282663 212043 380 95 0 277645 0
[pid=4730/tid=4731] ppid=4728 vsize=1130652 CPUtime=364.86 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 112896 0 0 0 36452 34 0 0 25 0 4 0 729651401 1157787648 212043 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1130652 CPUtime=364.84 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 112809 0 0 0 36449 35 0 0 25 0 4 0 729651401 1157787648 212043 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1130652 CPUtime=360.56 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 116560 0 0 0 36027 29 0 0 25 0 4 0 729651402 1157787648 212043 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1455.07
Current children cumulated vsize (KiB) 1130652

[startup+371.301 s]
/proc/loadavg: 8.14 8.03 7.39 9/373 4744
/proc/meminfo: memFree=15027684/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1130652 CPUtime=1480.59 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 454164 0 0 0 147931 128 0 0 25 0 4 0 729651401 1157787648 211652 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 282663 211652 380 95 0 277645 0
[pid=4730/tid=4731] ppid=4728 vsize=1130652 CPUtime=371.25 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 114454 0 0 0 37091 34 0 0 25 0 4 0 729651401 1157787648 211652 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1130652 CPUtime=371.24 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 112949 0 0 0 37089 35 0 0 25 0 4 0 729651401 1157787648 211652 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1130652 CPUtime=366.88 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 117179 0 0 0 36658 30 0 0 25 0 4 0 729651402 1157787648 211652 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1480.59
Current children cumulated vsize (KiB) 1130652

[startup+372.901 s]
/proc/loadavg: 8.14 8.03 7.39 9/373 4744
/proc/meminfo: memFree=15026568/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1130652 CPUtime=1486.98 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 454498 0 0 0 148570 128 0 0 25 0 4 0 729651401 1157787648 211986 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 282663 211986 380 95 0 277645 0
[pid=4730/tid=4731] ppid=4728 vsize=1130652 CPUtime=372.85 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 114607 0 0 0 37251 34 0 0 25 0 4 0 729651401 1157787648 211986 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1130652 CPUtime=372.84 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 112949 0 0 0 37249 35 0 0 25 0 4 0 729651401 1157787648 211986 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1130652 CPUtime=368.47 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 117360 0 0 0 36817 30 0 0 25 0 4 0 729651402 1157787648 211986 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1486.98
Current children cumulated vsize (KiB) 1130652

[startup+374.5 s]
/proc/loadavg: 8.14 8.03 7.39 9/373 4744
/proc/meminfo: memFree=15024336/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1130652 CPUtime=1493.35 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 454746 0 0 0 149207 128 0 0 25 0 4 0 729651401 1157787648 212234 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 282663 212234 380 95 0 277645 0
[pid=4730/tid=4731] ppid=4728 vsize=1130652 CPUtime=374.45 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 114752 0 0 0 37411 34 0 0 25 0 4 0 729651401 1157787648 212234 33554432000 4194304 4580107 140736953608416 18446744073709551615 4295828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1130652 CPUtime=374.44 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 112949 0 0 0 37409 35 0 0 25 0 4 0 729651401 1157787648 212234 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1130652 CPUtime=370.04 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 117463 0 0 0 36974 30 0 0 25 0 4 0 729651402 1157787648 212234 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1493.35
Current children cumulated vsize (KiB) 1130652

[startup+374.9 s]
/proc/loadavg: 8.14 8.03 7.39 9/373 4744
/proc/meminfo: memFree=15024336/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1130652 CPUtime=1494.95 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 454815 0 0 0 149367 128 0 0 25 0 4 0 729651401 1157787648 212303 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293280 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 282663 212303 380 95 0 277645 0
[pid=4730/tid=4731] ppid=4728 vsize=1130652 CPUtime=374.85 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 114793 0 0 0 37451 34 0 0 25 0 4 0 729651401 1157787648 212303 33554432000 4194304 4580107 140736953608416 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1130652 CPUtime=374.84 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 112949 0 0 0 37449 35 0 0 25 0 4 0 729651401 1157787648 212303 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1130652 CPUtime=370.44 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 117491 0 0 0 37014 30 0 0 25 0 4 0 729651402 1157787648 212303 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1494.95
Current children cumulated vsize (KiB) 1130652

[startup+375.314 s]
/proc/loadavg: 8.14 8.03 7.39 9/373 4744
/proc/meminfo: memFree=15023468/32951124 swapFree=45193364/67111528
[pid=4730] ppid=4728 vsize=1130652 CPUtime=1496.59 cores=0,2,4,6
/proc/4730/stat : 4730 (strangenight2-m) R 4728 4730 3827 0 -1 4202496 454870 0 0 0 149531 128 0 0 25 0 4 0 729651401 1157787648 212358 33554432000 4194304 4580107 140736953608416 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4730/statm: 282663 212358 380 95 0 277645 0
[pid=4730/tid=4731] ppid=4728 vsize=1130652 CPUtime=375.26 cores=0,2,4,6
/proc/4730/task/4731/stat : 4731 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 114836 0 0 0 37492 34 0 0 25 0 4 0 729651401 1157787648 212358 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4730/tid=4732] ppid=4728 vsize=1130652 CPUtime=375.26 cores=0,2,4,6
/proc/4730/task/4732/stat : 4732 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 112949 0 0 0 37491 35 0 0 25 0 4 0 729651401 1157787648 212358 33554432000 4194304 4580107 140736953608416 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4730/tid=4733] ppid=4728 vsize=1130652 CPUtime=370.84 cores=0,2,4,6
/proc/4730/task/4733/stat : 4733 (strangenight2-m) R 4728 4730 3827 0 -1 4202560 117503 0 0 0 37054 30 0 0 25 0 4 0 729651402 1157787648 212358 33554432000 4194304 4580107 140736953608416 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1496.59
Current children cumulated vsize (KiB) 1130652

Child status: 20
Real time (s): 375.396
CPU time (s): 1496.81
CPU user time (s): 1495.48
CPU system time (s): 1.3288
CPU usage (%): 398.729
Max. virtual memory (cumulated for all children) (KiB): 1239876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1495.48
system time used= 1.3288
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454882
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= 9079
involuntary context switches= 6885

runsolver used 1.26481 second user time and 3.19651 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-14 19:30:07
IDJOB=3367092
IDBENCH=82466
IDSOLVER=1844
FILE ID=node118/3367092-1305394207
RUNJOBID= node118-1305393346-4473
PBS_JOBID= 13324422
Free space on /tmp= 73024 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367092-1305394207/watcher-3367092-1305394207 -o /tmp/evaluation-result-3367092-1305394207/solver-3367092-1305394207 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367092-1305394207.cnf

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

MD5SUM BENCH= ee159af2e208d290f7f3fefd15c344f2
RANDOM SEED=1847941456

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16053948 kB
Buffers:        269276 kB
Cached:        4398328 kB
SwapCached:      22084 kB
Active:       14011740 kB
Inactive:      2577864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16053948 kB
SwapTotal:    67111528 kB
SwapFree:     45193364 kB
Dirty:            7816 kB
Writeback:           0 kB
AnonPages:    11913084 kB
Mapped:          15544 kB
Slab:           148172 kB
PageTables:      94796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 91235468 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= 73016 MiB
End job on node118 at 2011-05-14 19:36:23