Trace number 3291358

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 1869.49 468.02

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
MD5SUM9edcffddbe07377cf6685697aafad673
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark16.6405
Satisfiable
(Un)Satisfiability was proved
Number of variables8756
Number of clauses55571
Sum of the clauses size187746
Maximum clause length70
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 212786
Number of clauses of size 325852
Number of clauses of size 40
Number of clauses of size 516904
Number of clauses of size over 51

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3291358-1304127205.cnf'
0.00/0.00	c -- header says num vars:           8756
0.00/0.00	c -- header says num clauses:       55571
3.17/0.83	c -- clauses added:            0 learnts,        55571 normals,            0 xors
3.17/0.83	c -- vars added       8756
3.17/0.83	c Parsing time:  0.03 s
3.17/0.83	c  N st     0         0      8756     42719     12794         0    187620         0   no data   no data
3.17/0.83	c asymm  cl-useful: 22/8916/42701 lits-rem:29 time: 0.68
3.96/1.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.1M T:  0.29
4.36/1.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4.36/1.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.36/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4.36/1.13	c Subs w/ non-existent bins:      8 l-rem:      4 v-fix:     0 done:   8714 time:  0.02 s
4.36/1.13	c Removed useless bin:       0  fixed:     0  props:   2.44M  time:  0.02 s
4.77/1.23	c lits-rem:       108  cl-subs:      229  v-elim:    111  v-fix:    0  time:  0.06 s
4.77/1.23	c Finding binary XORs  T:     0.01 s  found:       0
4.77/1.23	c Finding non-binary XORs:     0.02 s (found:      53, avg size: 3.0)
4.77/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.23	c calculated reachability. Time: 0.00
4.77/1.23	c Calc default polars -  time:   0.00 s pos:    4239 undec:     158 neg:    4359
4.77/1.23	c =========================================================================================
4.77/1.23	c types(t): F = full restart, N = normal restart
4.77/1.23	c types(t): S = simplification begin/end, E = solution found
4.77/1.23	c restart types(rt): st = static, dy = dynamic
4.77/1.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.77/1.23	c  B st     0         0      8603     42243     12684         0    186454         0   no data   no data
7.19/1.83	c  N dy    19      4694      8597     42243     12766      4546    186454     61063      6.33      6.71
9.16/2.35	c  N dy    42      8728      8586     42243     13046      4997    186454     42784      6.46      8.23
11.58/2.93	c  N dy    72     12747      8581     42243     13211      8923    186454    113420      6.61      7.05
13.95/3.51	c  N dy    99     16826      8580     42243     13263      7263    186454     41917      6.81      8.39
15.15/3.81	c Finding binary XORs  T:     0.01 s  found:      55
15.97/4.04	c  N dy   115     20915      8571     42128     13485     11144    185864    106069      6.75      7.14
18.34/4.63	c  N dy   145     24966      8567     42128     13618      8056    185864     39598      6.87      7.30
18.34/4.64	c  F st   146     25000      8567     42128     13618      8090    185864     40017      6.87   no data
18.34/4.64	c Replacing       67 vars Replaced     1833 lits Time:     0.00 s 
21.55/5.42	c  N dy   152     30000      8499     42106     13531     12922    185719    242474      6.87   no data
21.55/5.42	c  S st   152     30000      8499     42106     13531     12922    185719    242474      6.87   no data
21.95/5.55	c  S st   152     30500      8499     42106     13695     13392    185719    246262      6.87   no data
21.95/5.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.36/6.12	c Flit:    11 Blit:      1 bXBeca:    0 bXProp:   32 Bins:  20020 BRemL:   8492 BRemN:      3 P: 12.7M T:  0.56
24.36/6.13	c Replacing       33 vars Replaced     2057 lits Time:     0.01 s 
24.36/6.15	c blocked clauses removed:       40 vars:      4 tried:        8344 T: 0.00 s
24.36/6.15	c bin-w-bin subsume rem          208 bins  time:  0.00 s
24.36/6.16	c subs with bin:      308  lits-rem:       278  v-fix:    0  time:  0.01 s
24.36/6.18	c Subs w/ non-existent bins:     31 l-rem:     43 v-fix:     0 done:   8448 time:  0.02 s
24.36/6.19	c Removed useless bin:      27  fixed:     0  props:   0.86M  time:  0.01 s
24.76/6.24	c lits-rem:         6  cl-subs:      479  v-elim:     54  v-fix:    0  time:  0.04 s
24.76/6.26	c subs with bin:      375  lits-rem:       836  v-fix:    0  time:  0.02 s
25.13/6.30	c lits-rem:       226  cl-subs:      211  v-elim:      0  v-fix:    0  time:  0.03 s
25.13/6.30	c Added XOR as norm:36
27.94/7.02	c asymm  cl-useful: 34/7864/41440 lits-rem:52 time: 0.72
27.94/7.03	c calculated reachability. Time: 0.00
27.94/7.03	c  N dy   152     30500      8394     41435     21142     10906    183015    116498      6.87   no data
27.94/7.03	c Finding binary XORs  T:     0.01 s  found:       3
30.32/7.65	c  N dy   171     34551      8390     41435     21194     14820    183015    188397      6.84      7.42
33.14/8.32	c  N dy   204     38628      8384     41435     21454     12377    183012    144828      6.97      8.91
35.92/9.00	c Finding binary XORs  T:     0.01 s  found:      36
35.92/9.03	c  N dy   240     42700      8381     41373     30485     16179    182756    257072      7.09     11.48
37.93/9.54	c  S st   264     45750      8381     41373     30500     19177    182756    337055      7.20   no data
38.31/9.67	c  S st   264     46253      8381     41373     30518     11213    182756     80163      7.20   no data
38.31/9.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.72/10.24	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   11 Bins:  11817 BRemL:  13680 BRemN:     28 P: 13.0M T:  0.56
40.72/10.25	c Replacing       50 vars Replaced     2417 lits Time:     0.01 s 
40.72/10.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.72/10.26	c bin-w-bin subsume rem          328 bins  time:  0.00 s
40.72/10.27	c subs with bin:      114  lits-rem:       121  v-fix:    0  time:  0.01 s
40.72/10.29	c Subs w/ non-existent bins:     13 l-rem:     11 v-fix:     0 done:   8330 time:  0.02 s
41.12/10.30	c Removed useless bin:       9  fixed:     0  props:   0.62M  time:  0.01 s
41.12/10.34	c lits-rem:         6  cl-subs:      219  v-elim:     36  v-fix:    0  time:  0.04 s
41.12/10.35	c subs with bin:      134  lits-rem:        70  v-fix:    0  time:  0.01 s
41.12/10.37	c lits-rem:        30  cl-subs:       49  v-elim:      0  v-fix:    0  time:  0.01 s
41.12/10.39	c vivif2 --  cl tried    41080 cl shrink       56 lits rem         75 time: 0.02
41.12/10.39	c vivif2 --  cl tried    10831 cl shrink       90 lits rem        130 time: 0.00
44.31/11.13	c asymm  cl-useful: 0/9673/41077 lits-rem:0 time: 0.74
44.31/11.14	c calculated reachability. Time: 0.00
44.31/11.14	c  N dy   264     46253      8294     41077     23596     10825    181414     64916      7.20   no data
44.31/11.15	c Finding binary XORs  T:     0.01 s  found:       1
46.73/11.75	c  N dy   287     50334      8290     41077     30870     14811    181411    182189      7.25      9.12
47.10/11.85	c Finding binary XORs  T:     0.01 s  found:      32
49.11/12.38	c  N dy   312     54563      8290     41054     30887     18946    181234    289916      7.30      7.83
52.30/13.15	c  N dy   345     59177      8287     41054     32022     13781    181229    109657      7.42      7.89
55.11/13.83	c  N dy   375     63278      8285     41054     32163     17810    181229    225282      7.49      7.91
57.89/14.56	c  N dy   411     67523      8283     41054     32242     22002    181229    350842      7.58      7.98
59.09/14.87	c  S st   427     69379      8283     41054     32250     23833    181229    406221      7.62      7.37
59.91/15.01	c  S st   427     69883      8283     41054     32262     24322    181229    415986      7.62   no data
59.91/15.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
62.69/15.71	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   68 Bins:  12736 BRemL:  11029 BRemN:     20 P: 15.6M T:  0.70
62.69/15.73	c Replacing      101 vars Replaced     7075 lits Time:     0.02 s 
62.69/15.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
62.69/15.75	c bin-w-bin subsume rem          278 bins  time:  0.01 s
62.69/15.76	c subs with bin:      133  lits-rem:       122  v-fix:    0  time:  0.01 s
62.69/15.78	c Subs w/ non-existent bins:     15 l-rem:     19 v-fix:     0 done:   8181 time:  0.02 s
62.69/15.79	c Removed useless bin:       3  fixed:     0  props:   0.70M  time:  0.01 s
63.09/15.83	c lits-rem:        10  cl-subs:      493  v-elim:     25  v-fix:    0  time:  0.04 s
63.48/15.92	c subs with bin:      269  lits-rem:      2046  v-fix:    0  time:  0.07 s
63.48/15.98	c lits-rem:       709  cl-subs:      217  v-elim:      0  v-fix:    0  time:  0.06 s
63.90/16.00	c vivif2 --  cl tried    40440 cl shrink       30 lits rem         39 time: 0.02
63.90/16.03	c vivif2 --  cl tried    22381 cl shrink     2787 lits rem       8940 time: 0.03
66.68/16.77	c asymm  cl-useful: 35/7491/40440 lits-rem:105 time: 0.74
66.68/16.78	c calculated reachability. Time: 0.00
66.68/16.78	c  N dy   427     69883      8156     40405     28332     22377    178735    315607      7.62   no data
66.68/16.79	c Finding binary XORs  T:     0.01 s  found:       2
70.27/17.64	c  N dy   462     74391      8149     40405     32272     17205    178735    164864      7.68      8.35
71.87/18.04	c Finding binary XORs  T:     0.01 s  found:      53
74.27/18.60	c  N dy   492     79201      8149     40369     33545     21910    178554    319054      7.72     10.07
77.86/19.54	c  N dy   535     84263      8149     40369     33567     26886    178554    465855      7.78      8.30
80.26/20.13	c  F st   564     87500      8149     40369     33655     18494    178554    153066      7.83   no data
80.26/20.13	c Replacing       55 vars Replaced     2309 lits Time:     0.01 s 
82.25/20.69	c  N st   569     90797      8094     40369     33548     21726    178542    320991      7.83   no data
85.05/21.35	c Finding binary XORs  T:     0.01 s  found:      47
87.05/21.85	c  N dy   604     96767      8092     40362     42783     27562    178503    545061      7.89      8.52
91.85/23.07	c  N dy   649    103018      8089     40362     42949     20739    178500    199447      7.94      9.81
93.44/23.40	c  S st   664    104824      8089     40362     43038     22517    178500    252110      7.97   no data
93.84/23.53	c  S st   664    105326      8088     40362     43054     23003    178500    261532      7.97   no data
93.84/23.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.04/24.36	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:   60 Bins:  15650 BRemL:  17821 BRemN:     22 P: 16.5M T:  0.82
97.04/24.38	c Replacing      107 vars Replaced     5762 lits Time:     0.02 s 
97.04/24.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
97.44/24.40	c bin-w-bin subsume rem          757 bins  time:  0.01 s
97.44/24.41	c subs with bin:      208  lits-rem:       218  v-fix:    0  time:  0.01 s
97.44/24.43	c Subs w/ non-existent bins:     21 l-rem:     27 v-fix:     0 done:   7977 time:  0.02 s
97.44/24.44	c Removed useless bin:      31  fixed:     0  props:   0.77M  time:  0.01 s
97.44/24.49	c lits-rem:         9  cl-subs:      780  v-elim:     54  v-fix:    0  time:  0.05 s
97.84/24.52	c subs with bin:      299  lits-rem:       824  v-fix:    0  time:  0.03 s
97.84/24.56	c lits-rem:       338  cl-subs:      259  v-elim:      0  v-fix:    0  time:  0.03 s
97.84/24.58	c vivif2 --  cl tried    39430 cl shrink       54 lits rem         59 time: 0.02
97.84/24.59	c vivif2 --  cl tried    21216 cl shrink     1090 lits rem       3693 time: 0.01
100.23/25.19	c asymm  cl-useful: 14/5482/39426 lits-rem:42 time: 0.60
100.63/25.20	c calculated reachability. Time: 0.00
100.63/25.20	c  N dy   664    105326      7923     39412     32310     21208    174601    183680      7.97   no data
100.63/25.21	c Finding binary XORs  T:     0.01 s  found:       5
105.43/26.43	c Finding binary XORs  T:     0.01 s  found:      38
105.43/26.46	c  N dy   711    112058      7916     39384     38593     27568    174449    402531      8.02     12.61
111.02/27.86	c  N dy   757    119254      7916     39384     40440     21590    174449    170588      8.08      8.77
115.82/29.05	c Finding binary XORs  T:     0.01 s  found:      49
115.82/29.07	c Replacing       92 vars Replaced     6928 lits Time:     0.01 s 
117.03/29.31	c  N dy   810    126933      7822     39378     43879     29079    174401    426649      8.10      9.28
123.40/30.91	c  N dy   859    135069      7819     39378     43968     37106    174401    676843      8.14     10.25
129.81/32.56	c  N dy   933    143704      7817     39378     44161     30942    174401    443483      8.24      8.85
136.99/34.38	c  N dy   982    152903      7817     39378     44228     40020    174401    724415      8.28     10.07
140.97/35.31	c  S st  1009    157989      7817     39378     44290     29019    174401    303593      8.29   no data
141.37/35.44	c  S st  1009    158491      7817     39378     44300     29506    174401    314690      8.29   no data
141.37/35.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
144.97/36.32	c Flit:     2 Blit:      1 bXBeca:    0 bXProp:   68 Bins:  18812 BRemL:  17496 BRemN:     24 P: 17.7M T:  0.87
144.97/36.34	c Replacing       68 vars Replaced     5365 lits Time:     0.02 s 
144.97/36.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.97/36.35	c bin-w-bin subsume rem          563 bins  time:  0.01 s
144.97/36.37	c subs with bin:      176  lits-rem:       168  v-fix:    0  time:  0.01 s
144.97/36.39	c Subs w/ non-existent bins:     16 l-rem:     34 v-fix:     0 done:   7746 time:  0.02 s
144.97/36.40	c Removed useless bin:       9  fixed:     0  props:   0.79M  time:  0.01 s
145.37/36.44	c lits-rem:         5  cl-subs:      776  v-elim:     32  v-fix:    0  time:  0.05 s
145.37/36.50	c subs with bin:      420  lits-rem:      1768  v-fix:    0  time:  0.04 s
145.77/36.55	c lits-rem:       482  cl-subs:      553  v-elim:      0  v-fix:    0  time:  0.05 s
145.77/36.57	c vivif2 --  cl tried    38462 cl shrink       57 lits rem         61 time: 0.02
145.77/36.59	c vivif2 --  cl tried    27730 cl shrink     2165 lits rem       6297 time: 0.02
148.96/37.36	c asymm  cl-useful: 158/5165/38462 lits-rem:211 time: 0.77
148.96/37.37	c calculated reachability. Time: 0.00
148.96/37.37	c  N dy  1009    158491      7714     38458     37683     27727    170434    260722      8.29   no data
148.96/37.38	c Finding binary XORs  T:     0.01 s  found:      11
156.95/39.38	c Finding binary XORs  T:     0.01 s  found:      62
157.35/39.50	c  N dy  1070    168702      7712     38452     41487     37436    170391    602838      8.32     11.48
165.74/41.58	c  N dy  1131    179477      7712     38452     41605     31397    170391    335529      8.34      8.79
175.33/43.91	c  N dy  1194    190940      7711     38452     41661     42718    170391    699143      8.38     11.91
176.13/44.13	c Finding binary XORs  T:     0.01 s  found:      58
176.13/44.15	c Replacing      131 vars Replaced    12061 lits Time:     0.02 s 
185.72/46.53	c  N dy  1278    203170      7579     38434     50743     36695    170322    537468      8.45     12.47
197.70/49.56	c  N dy  1369    216158      7577     38434     50875     30604    170322    264694      8.51     10.13
203.70/51.08	c Finding binary XORs  T:     0.01 s  found:      63
210.08/52.61	c  N dy  1450    230035      7574     38415     58511     44296    170230    763767      8.55     10.21
217.28/54.46	c  S st  1496    237738      7574     38415     58559     31870    170230    266441      8.56      6.38
217.69/54.58	c  S st  1496    238241      7574     38415     58564     32367    170230    282035      8.56   no data
217.69/54.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
221.67/55.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   20 Bins:   8607 BRemL:  19042 BRemN:      7 P: 18.0M T:  0.93
221.67/55.54	c Replacing       83 vars Replaced     5122 lits Time:     0.02 s 
221.67/55.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
221.67/55.56	c bin-w-bin subsume rem          706 bins  time:  0.01 s
221.67/55.57	c subs with bin:      151  lits-rem:       125  v-fix:    0  time:  0.01 s
221.67/55.59	c Subs w/ non-existent bins:     15 l-rem:     26 v-fix:     0 done:   7491 time:  0.02 s
221.67/55.60	c Removed useless bin:      12  fixed:     0  props:   0.85M  time:  0.01 s
222.09/55.65	c lits-rem:        11  cl-subs:      949  v-elim:     33  v-fix:    0  time:  0.05 s
222.09/55.69	c subs with bin:      466  lits-rem:       522  v-fix:    0  time:  0.03 s
222.49/55.73	c lits-rem:       318  cl-subs:      517  v-elim:      0  v-fix:    0  time:  0.03 s
222.49/55.75	c vivif2 --  cl tried    37371 cl shrink       44 lits rem         47 time: 0.02
222.49/55.77	c vivif2 --  cl tried    30604 cl shrink      666 lits rem       1907 time: 0.02
225.66/56.52	c asymm  cl-useful: 89/4333/37371 lits-rem:89 time: 0.76
225.66/56.53	c calculated reachability. Time: 0.00
225.66/56.53	c  N dy  1496    238241      7458     37371     41002     30602    165818    223880      8.56   no data
225.66/56.54	c Finding binary XORs  T:     0.01 s  found:       9
238.45/59.79	c  N dy  1578    253492      7458     37371     42860     45699    165817    723939      8.58      9.07
239.25/59.92	c Finding binary XORs  T:     0.01 s  found:      21
254.03/63.66	c  N dy  1663    270532      7458     37371     42933     40667    165817    514111      8.59      9.07
264.01/66.12	c Finding binary XORs  T:     0.01 s  found:      52
264.01/66.15	c Replacing       82 vars Replaced    11488 lits Time:     0.03 s 
272.00/68.17	c  N dy  1740    288204      7375     37368     47613     35772    165795    327369      8.59      9.06
291.57/73.09	c  F st  1833    306250      7375     37368     47682     53599    165795   1047565      8.62      8.10
292.39/73.25	c  N st  1835    306875      7375     37368     47685     54213    165795   1072645      8.62   no data
313.95/78.67	c  N dy  1910    326534      7372     37368     47769     50458    165795    834174      8.63      9.09
338.30/84.77	c  N dy  2019    347064      7369     37368     47851     46603    165795    714228      8.67      9.18
351.08/87.96	c  S st  2082    357361      7368     37368     47881     56806    165795   1196117      8.70      9.20
351.89/88.17	c  S st  2082    357866      7368     37368     47909     57302    165795   1218874      8.70   no data
351.89/88.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
356.29/89.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   38 Bins:  10404 BRemL:  11137 BRemN:     11 P: 23.0M T:  1.08
356.68/89.30	c Replacing       38 vars Replaced     4899 lits Time:     0.04 s 
356.68/89.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
356.68/89.32	c bin-w-bin subsume rem          358 bins  time:  0.01 s
356.68/89.33	c subs with bin:      107  lits-rem:        80  v-fix:    0  time:  0.01 s
356.68/89.35	c Subs w/ non-existent bins:      8 l-rem:     13 v-fix:     0 done:   7330 time:  0.02 s
356.68/89.36	c Removed useless bin:      10  fixed:     0  props:   0.77M  time:  0.01 s
357.08/89.41	c lits-rem:        14  cl-subs:      583  v-elim:     20  v-fix:    0  time:  0.05 s
358.70/89.81	c subs with bin:      294  lits-rem:      5816  v-fix:    0  time:  0.36 s
359.48/90.03	c lits-rem:      2576  cl-subs:     1412  v-elim:      0  v-fix:    0  time:  0.22 s
359.48/90.05	c vivif2 --  cl tried    36688 cl shrink       25 lits rem         32 time: 0.02
359.88/90.13	c vivif2 --  cl tried    48237 cl shrink     5848 lits rem      27477 time: 0.08
361.48/90.52	c asymm  cl-useful: 96/1722/36688 lits-rem:109 time: 0.39
361.48/90.52	c calculated reachability. Time: 0.00
361.48/90.52	c  N dy  2082    357866      7310     36686     42603     48230    162711    689764      8.70   no data
361.48/90.53	c Finding binary XORs  T:     0.01 s  found:      10
376.28/94.26	c Finding binary XORs  T:     0.01 s  found:      13
385.84/96.64	c  N dy  2203    378248      7309     36683     44088     49301    162692    871490      8.74      9.24
411.02/103.00	c  N dy  2322    398297      7309     36683     44162     42642    162692    481175      8.78      9.99
415.00/104.00	c Finding binary XORs  T:     0.01 s  found:      32
424.21/106.25	c Finding binary XORs  T:     0.01 s  found:      25
424.21/106.27	c Replacing       80 vars Replaced     7450 lits Time:     0.02 s 
438.17/109.79	c  N dy  2435    418674      7226     36678     54809     62682    162665   1397272      8.81      9.29
464.53/116.36	c  N dy  2575    438680      7221     36678     54904     55450    162665    993552      8.89      9.46
491.70/123.17	c  N dy  2764    458707      7219     36678     54960     46792    162665    581684      9.02     12.89
518.87/129.98	c  N dy  2919    478773      7218     36678     55004     66735    162665   1572784      9.10     11.00
546.43/136.81	c  N dy  3074    498913      7217     36678     55062     57027    162665   1010159      9.19      9.78
577.59/144.70	c  N dy  3209    521344      7217     36678     55103     48579    162665    555752      9.24      9.76
598.76/149.94	c  S st  3299    536800      7216     36678     55142     63919    162665   1236825      9.27      9.01
599.56/150.15	c Finding binary XORs  T:     0.01 s  found:      61
599.97/150.21	c  S st  3299    537301      7216     36622     49876     63863    162371   1245435      9.27   no data
599.97/150.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
604.37/151.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:  12754 BRemL:  14433 BRemN:      2 P: 24.6M T:  1.18
604.77/151.44	c Replacing       64 vars Replaced    12711 lits Time:     0.04 s 
604.77/151.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
604.77/151.46	c bin-w-bin subsume rem          561 bins  time:  0.01 s
604.77/151.47	c subs with bin:      122  lits-rem:        99  v-fix:    0  time:  0.01 s
604.77/151.49	c Subs w/ non-existent bins:     13 l-rem:     16 v-fix:     0 done:   7152 time:  0.02 s
605.15/151.50	c Removed useless bin:      13  fixed:     0  props:   0.77M  time:  0.01 s
605.15/151.55	c lits-rem:         9  cl-subs:      751  v-elim:     41  v-fix:    0  time:  0.05 s
605.95/151.77	c subs with bin:     1200  lits-rem:      2876  v-fix:    0  time:  0.20 s
606.75/151.91	c lits-rem:      1222  cl-subs:      989  v-elim:      0  v-fix:    0  time:  0.13 s
606.75/151.93	c vivif2 --  cl tried    35827 cl shrink       46 lits rem         49 time: 0.02
606.75/151.99	c vivif2 --  cl tried    49809 cl shrink     4211 lits rem      15190 time: 0.06
608.35/152.37	c asymm  cl-useful: 43/1501/35824 lits-rem:43 time: 0.39
608.35/152.38	c calculated reachability. Time: 0.00
608.35/152.38	c  N dy  3299    537301      7111     35824     41301     49808    159104    532583      9.27   no data
608.35/152.39	c Finding binary XORs  T:     0.01 s  found:       4
624.72/156.44	c Finding binary XORs  T:     0.01 s  found:      18
633.51/158.61	c  N dy  3393    557366      7107     35807     42043     47728    159027    545479      9.27      9.90
659.07/165.02	c  N dy  3524    577458      7105     35807     42097     67678    159027   1412529      9.32     15.03
686.24/171.85	c  N dy  3660    597553      7105     35807     42120     54941    159027    822423      9.37     10.49
714.62/178.90	c  N dy  3798    617958      7105     35807     42152     75217    159027   1692125      9.40      9.94
740.17/185.40	c  N dy  3924    638029      7103     35807     42192     61281    159027   1105996      9.44     11.31
768.52/192.41	c  N dy  4036    658033      7103     35807     42233     46242    159026    360545      9.47     10.03
792.50/198.45	c  N dy  4128    678121      7103     35807     42248     66061    159026   1065828      9.47     10.08
821.25/205.67	c  N dy  4253    699069      7102     35807     42274     51240    159026    565062      9.51     10.01
838.43/209.96	c Finding binary XORs  T:     0.01 s  found:      76
838.83/210.00	c Replacing       98 vars Replaced    15685 lits Time:     0.04 s 
848.82/212.51	c  N dy  4360    719092      7004     35780     43667     70773    158847   1397124      9.52     15.75
866.40/216.91	c Finding binary XORs  T:     0.01 s  found:      29
876.38/219.48	c  N dy  4488    739099      7004     35780     46621     53756    158847    560610      9.56     10.17
903.16/226.12	c  N dy  4588    759109      7004     35780     46654     73563    158847   1363649      9.57     10.73
931.90/233.30	c  N dy  4723    779241      7003     35780     46684     55787    158847    652692      9.60     10.19
958.67/240.06	c  N dy  4835    799315      7003     35780     46721     75716    158847   1476868      9.62     13.47
968.66/242.52	c  S st  4878    805952      7002     35780     46741     82266    158847   1728780      9.63   no data
969.48/242.76	c  S st  4878    806456      7002     35780     46744     82767    158847   1753609      9.63   no data
969.48/242.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
974.64/244.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   37 Bins:   3534 BRemL:   7206 BRemN:     17 P: 27.5M T:  1.24
974.64/244.09	c Replacing       66 vars Replaced    17834 lits Time:     0.08 s 
975.04/244.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
975.04/244.11	c bin-w-bin subsume rem          670 bins  time:  0.01 s
975.04/244.12	c subs with bin:       39  lits-rem:        30  v-fix:    0  time:  0.01 s
975.04/244.14	c Subs w/ non-existent bins:      5 l-rem:      1 v-fix:     0 done:   6936 time:  0.02 s
975.04/244.15	c Removed useless bin:       4  fixed:     0  props:   0.77M  time:  0.01 s
975.44/244.21	c lits-rem:         7  cl-subs:      827  v-elim:     35  v-fix:    0  time:  0.06 s
976.64/244.56	c subs with bin:     1131  lits-rem:      5401  v-fix:    0  time:  0.32 s
977.86/244.82	c lits-rem:      2599  cl-subs:     1299  v-elim:      0  v-fix:    0  time:  0.25 s
977.86/244.83	c vivif2 --  cl tried    34902 cl shrink       29 lits rem         32 time: 0.02
978.26/244.92	c vivif2 --  cl tried    61055 cl shrink     7097 lits rem      25825 time: 0.08
979.84/245.31	c asymm  cl-useful: 19/1292/34902 lits-rem:20 time: 0.39
979.84/245.31	c calculated reachability. Time: 0.00
979.84/245.31	c  N dy  4878    806456      6901     34902     39717     61052    155069    738756      9.63   no data
979.84/245.32	c Finding binary XORs  T:     0.01 s  found:      18
1005.81/251.85	c  N dy  4989    826500      6899     34902     40320     59381    155069    839414      9.65     15.93
1009.40/252.71	c Finding binary XORs  T:     0.01 s  found:       5
1032.97/258.62	c  N dy  5022    846548      6897     34895     39456     79212    155017   1694059      9.62     14.00
1061.35/265.71	c  N dy  5139    866602      6896     34895     39504     59241    155017    773300      9.63     10.14
1073.72/268.88	c Finding binary XORs  T:     0.01 s  found:      63
1074.12/268.92	c Replacing       86 vars Replaced    13033 lits Time:     0.04 s 
1090.10/272.93	c  N dy  5298    886628      6807     34873     40340     77194    154876   1524155      9.67     12.43
1120.85/280.62	c  N dy  5428    907625      6806     34873     40399     58863    154876    733609      9.70     10.30
1148.82/287.63	c  N dy  5523    927630      6806     34873     40426     78597    154875   1420861      9.70     11.23
1177.57/294.82	c  N dy  5643    948300      6805     34873     40456     57624    154875    606127      9.72     10.24
1204.75/301.62	c  N dy  5765    968345      6805     34873     40497     77549    154875   1311168      9.74     11.12
1233.90/308.92	c  N dy  5868    988435      6805     34873     40526     54655    154873    494960      9.76     12.97
1262.26/316.03	c  N dy  6027   1009261      6805     34873     40556     75369    154873   1254562      9.80     10.32
1293.82/324.00	c  N dy  6158   1030300      6805     34873     40583     52271    154873    394201      9.82     10.51
1308.20/327.54	c Finding binary XORs  T:     0.01 s  found:      86
1308.20/327.58	c Replacing       86 vars Replaced    13125 lits Time:     0.04 s 
1320.19/330.53	c  N dy  6258   1050538      6719     34860     39523     72008    154788   1120975      9.82     10.36
1348.95/337.73	c  N dy  6327   1070592      6718     34860     39555     91884    154788   1902678      9.81     12.43
1350.95/338.22	c  F st  6339   1071876      6718     34860     39555     93157    154788   1945581      9.81   no data
1375.71/344.46	c  N dy  6428   1090614      6718     34853     39503     67057    154758    878856      9.83     10.42
1404.08/351.53	c  N dy  6571   1110634      6717     34853     39538     86955    154758   1604616      9.85     12.20
1434.85/359.20	c  N dy  6665   1131974      6717     34853     39569     62184    154758    698775      9.86     10.38
1462.79/366.21	c  N dy  6802   1152013      6716     34853     39597     82069    154758   1378454      9.88     12.44
1495.95/374.56	c  N dy  6931   1173651      6716     34853     39618     56442    154758    509990      9.89     10.43
1522.32/381.12	c  N dy  7002   1193815      6716     34853     39644     76497    154758   1340736      9.89     10.53
1545.88/387.03	c  S st  7119   1209684      6716     34853     39668     92257    154758   1887985      9.91   no data
1547.08/387.35	c  S st  7119   1210189      6715     34853     39673     92755    154758   1910317      9.91   no data
1547.08/387.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1552.28/388.60	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:   79 Bins:   5275 BRemL:   6646 BRemN:     20 P: 27.0M T:  1.24
1552.68/388.72	c Replacing       79 vars Replaced    29648 lits Time:     0.12 s 
1552.68/388.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1552.68/388.73	c bin-w-bin subsume rem         1180 bins  time:  0.01 s
1552.68/388.75	c subs with bin:       66  lits-rem:        57  v-fix:    0  time:  0.01 s
1552.68/388.77	c Subs w/ non-existent bins:      2 l-rem:      1 v-fix:     0 done:   6633 time:  0.02 s
1552.68/388.77	c Removed useless bin:       6  fixed:     0  props:   0.70M  time:  0.01 s
1553.08/388.84	c lits-rem:        10  cl-subs:     1240  v-elim:     25  v-fix:    0  time:  0.07 s
1555.87/389.59	c subs with bin:      488  lits-rem:     17295  v-fix:    0  time:  0.70 s
1560.26/390.64	c lits-rem:      9091  cl-subs:     2122  v-elim:      0  v-fix:    0  time:  1.04 s
1560.26/390.65	c vivif2 --  cl tried    33534 cl shrink       21 lits rem         21 time: 0.02
1561.06/390.85	c vivif2 --  cl tried    81105 cl shrink    18288 lits rem      68960 time: 0.19
1562.68/391.27	c asymm  cl-useful: 26/1341/33534 lits-rem:31 time: 0.43
1562.68/391.28	c calculated reachability. Time: 0.00
1562.68/391.28	c  N dy  7119   1210189      6608     33532     34939     81105    149158   1364491      9.91   no data
1562.68/391.29	c Finding binary XORs  T:     0.01 s  found:      31
1570.65/393.23	c Finding binary XORs  T:     0.01 s  found:      89
1571.07/393.31	c Replacing      120 vars Replaced    22816 lits Time:     0.08 s 
1590.22/398.13	c  N dy  7146   1230792      6485     33519     41153     59916    149095    687539      9.88     10.44
1598.61/400.28	c Finding binary XORs  T:     0.01 s  found:      10
1618.58/405.28	c  N dy  7188   1252592      6482     33519     40708     81516    149077   1466483      9.86     10.43
1648.14/412.68	c  N dy  7270   1272665      6478     33519     40764     52765    149077    382715      9.85     11.50
1672.90/418.87	c  N dy  7346   1293130      6478     33519     40816     73047    149077   1020713      9.85     10.41
1699.67/425.58	c  N dy  7411   1313135      6477     33519     40845     92920    149077   1697881      9.84     10.41
1726.84/432.33	c  N dy  7492   1333305      6475     33519     40878     63386    149077    649162      9.84     10.42
1757.60/440.07	c  N dy  7583   1357786      6475     33519     40957     87711    149077   1455892      9.83     10.36
1777.99/445.15	c Finding binary XORs  T:     0.01 s  found:      80
1778.37/445.25	c Replacing       90 vars Replaced    20972 lits Time:     0.10 s 
1787.96/447.63	c  N dy  7638   1377827      6376     33395     49712     55992    148531    454733      9.83     10.37
1813.92/454.18	c  N dy  7732   1399123      6368     33395     49855     77075    148531   1083142      9.83     10.38
1840.68/460.81	c  N dy  7802   1419217      6367     33395     49892     96790    148530   1534810      9.82     11.88
1859.07/465.41	c Finding binary XORs  T:     0.01 s  found:      76
1859.07/465.43	c Replacing       76 vars Replaced     7020 lits Time:     0.02 s 
1866.25/467.24	c  N dy  7862   1439318      6229     32090     47894     60034    143245    591059      9.81     12.44
1869.05/467.98	c Finding binary XORs  T:     0.01 s  found:      77
1869.45/468.00	c Replacing       77 vars Replaced    11136 lits Time:     0.02 s 
1869.45/468.00	c Following stats are for *FIRST FINISHED THREAD ONLY*
1869.45/468.00	c num threads              : 4          
1869.45/468.00	c restarts                 : 7704       
1869.45/468.00	c dynamic restarts         : 7674       
1869.45/468.00	c static restarts          : 30         
1869.45/468.00	c full restarts            : 4          
1869.45/468.00	c total simplify time      : 1.19       
1869.45/468.00	c learnts DL2              : 0          
1869.45/468.00	c learnts size 2           : 266528     
1869.45/468.00	c learnts size 1           : 1506        (17.20     % of vars)
1869.45/468.00	c filedLit time            : 7.10        (1.52      % time)
1869.45/468.00	c v-elim SatELite          : 441         (5.04      % vars)
1869.45/468.00	c SatELite time            : 0.91        (0.19      % time)
1869.45/468.00	c v-elim xor               : 0           (0.00      % vars)
1869.45/468.00	c xor elim time            : 0.05        (0.01      % time)
1869.45/468.00	c num binary xor trees     : 412        
1869.45/468.00	c binxor trees' crown      : 1837        (4.46      leafs/tree)
1869.45/468.00	c bin xor find time        : 0.34       
1869.45/468.00	c OTF clause improved      : 13574       (0.01      clauses/conflict)
1869.45/468.00	c OTF impr. size diff      : 17283       (1.27       lits/clause)
1869.45/468.00	c OTF cl watch-shrink      : 1107862     (0.76      clauses/conflict)
1869.45/468.00	c OTF cl watch-sh-lit      : 6464648     (5.84       lits/clause)
1869.45/468.00	c tried to recurMin cls    : 481930      (33.04      % of conflicts)
1869.45/468.00	c updated cache            : 20023       (0.04       lits/tried recurMin)
1869.45/468.00	c unit cls recevied        : 164         (10.89     % of units)
1869.45/468.00	c unit cls sent            : 224         (14.87     % of units)
1869.45/468.00	c bin cls recevied         : 179919     
1869.45/468.00	c bin cls sent             : 55677      
1869.45/468.00	c clauses over max glue    : 0           (0.00      % of all clauses)
1869.45/468.00	c conflicts                : 1458542     (3117.51   / sec)
1869.45/468.00	c decisions                : 2367383     (0.61      % random)
1869.45/468.00	c bogo-props               : 31843843125 (68063506.07 / sec)
1869.45/468.00	c conflict literals        : 53872235    (47.14     % deleted)
1869.45/468.00	c Memory used              : 551.60      MB
1869.45/468.00	c single-thread CPU time   : 467.85      s
1869.45/468.00	c all-threads sum CPU time : 1868.38     s
1869.45/468.00	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.41 7.96 7.99 6/180 28598
/proc/meminfo: memFree=25778964/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 524323248 52441088 347 33554432000 4194304 4627427 140735308699024 18446744073709551615 46941265430450 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 12803 347 299 106 0 7774 0
[pid=28598/tid=28599] ppid=28596 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 524323248 52441088 347 33554432000 4194304 4627427 140735308699024 18446744073709551615 46941265430444 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524323248 52441088 347 33554432000 4194304 4627427 140735308699024 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524323248 52441088 347 33554432000 4194304 4627427 140735308699024 18446744073709551615 218382754870 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.726041 s]
/proc/loadavg: 7.41 7.96 7.99 6/180 28598
/proc/meminfo: memFree=25778964/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=292420 CPUtime=2.86 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 8858 0 0 0 286 0 0 0 19 0 4 0 524323248 299438080 7844 33554432000 4194304 4627427 140735308699024 18446744073709551615 218370618401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 73105 7845 366 106 0 68076 0
[pid=28598/tid=28599] ppid=28596 vsize=292420 CPUtime=0.72 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2197 0 0 0 72 0 0 0 18 0 4 0 524323248 299438080 7845 33554432000 4194304 4627427 140735308699024 18446744073709551615 218370618053 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=292420 CPUtime=0.71 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2090 0 0 0 71 0 0 0 19 0 4 0 524323248 299438080 7845 33554432000 4194304 4627427 140735308699024 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=292420 CPUtime=0.71 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 1990 0 0 0 71 0 0 0 18 0 4 0 524323248 299438080 7845 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 292420

[startup+0.800754 s]
/proc/loadavg: 7.41 7.96 7.99 6/180 28598
/proc/meminfo: memFree=25778964/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=293608 CPUtime=3.17 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 9861 0 0 0 316 1 0 0 19 0 4 0 524323248 300654592 8847 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 73402 8847 366 106 0 68373 0
[pid=28598/tid=28599] ppid=28596 vsize=293608 CPUtime=0.79 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2527 0 0 0 79 0 0 0 19 0 4 0 524323248 300654592 8847 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=293608 CPUtime=0.78 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2413 0 0 0 78 0 0 0 19 0 4 0 524323248 300654592 8847 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=293608 CPUtime=0.79 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2018 0 0 0 79 0 0 0 18 0 4 0 524323248 300654592 8847 33554432000 4194304 4627427 140735308699024 18446744073709551615 4332200 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 293608

[startup+0.900739 s]
/proc/loadavg: 7.41 7.96 7.99 6/180 28598
/proc/meminfo: memFree=25778964/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=295060 CPUtime=3.56 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 11061 0 0 0 355 1 0 0 19 0 4 0 524323248 302141440 10047 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308764 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 73765 10047 367 106 0 68736 0
[pid=28598/tid=28599] ppid=28596 vsize=295060 CPUtime=0.89 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2880 0 0 0 89 0 0 0 19 0 4 0 524323248 302141440 10047 33554432000 4194304 4627427 140735308699024 18446744073709551615 4310247 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=295060 CPUtime=0.88 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2779 0 0 0 88 0 0 0 19 0 4 0 524323248 302141440 10047 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=295060 CPUtime=0.89 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2143 0 0 0 89 0 0 0 19 0 4 0 524323248 302141440 10047 33554432000 4194304 4627427 140735308699024 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 295060

[startup+1.00072 s]
/proc/loadavg: 7.41 7.96 7.99 6/180 28598
/proc/meminfo: memFree=25778964/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=295060 CPUtime=3.96 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 11084 0 0 0 395 1 0 0 19 0 4 0 524323248 302141440 10070 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 73765 10070 368 106 0 68736 0
[pid=28598/tid=28599] ppid=28596 vsize=295060 CPUtime=0.99 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2880 0 0 0 99 0 0 0 19 0 4 0 524323248 302141440 10070 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=295060 CPUtime=0.98 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2779 0 0 0 98 0 0 0 19 0 4 0 524323248 302141440 10070 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=295060 CPUtime=0.99 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2166 0 0 0 99 0 0 0 19 0 4 0 524323248 302141440 10070 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 295060

[startup+1.50063 s]
/proc/loadavg: 7.41 7.96 7.99 6/180 28598
/proc/meminfo: memFree=25778964/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=306672 CPUtime=5.97 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 18663 0 0 0 594 3 0 0 18 0 4 0 524323248 314032128 15038 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308408 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 76668 15038 388 106 0 71639 0
[pid=28598/tid=28599] ppid=28596 vsize=306672 CPUtime=1.49 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 5216 0 0 0 149 0 0 0 18 0 4 0 524323248 314032128 15038 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=306672 CPUtime=1.48 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 5380 0 0 0 147 1 0 0 18 0 4 0 524323248 314032128 15038 33554432000 4194304 4627427 140735308699024 18446744073709551615 4400970 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=306672 CPUtime=1.48 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2267 0 0 0 148 0 0 0 20 0 4 0 524323248 314032128 15038 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 306672

[startup+3.10035 s]
/proc/loadavg: 7.41 7.96 7.99 9/184 28602
/proc/meminfo: memFree=25694376/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=308220 CPUtime=12.36 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 20234 0 0 0 1232 4 0 0 21 0 4 0 524323248 315617280 16063 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308824 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 77055 16063 388 106 0 72026 0
[pid=28598/tid=28599] ppid=28596 vsize=308220 CPUtime=3.09 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 5439 0 0 0 309 0 0 0 21 0 4 0 524323248 315617280 16063 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=308220 CPUtime=3.07 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 5745 0 0 0 306 1 0 0 21 0 4 0 524323248 315617280 16063 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=308220 CPUtime=3.08 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 2937 0 0 0 308 0 0 0 25 0 4 0 524323248 315617280 16063 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 308220

[startup+6.30078 s]
/proc/loadavg: 7.45 7.96 7.99 9/184 28602
/proc/meminfo: memFree=25666972/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=313684 CPUtime=25.13 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 27113 0 0 0 2508 5 0 0 25 0 4 0 524323248 321212416 18289 33554432000 4194304 4627427 140735308699024 18446744073709551615 4303003 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 78421 18289 391 106 0 73392 0
[pid=28598/tid=28599] ppid=28596 vsize=313684 CPUtime=6.28 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 7070 0 0 0 628 0 0 0 25 0 4 0 524323248 321212416 18289 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=313684 CPUtime=6.25 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 7521 0 0 0 624 1 0 0 25 0 4 0 524323248 321212416 18289 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=313684 CPUtime=6.28 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 4374 0 0 0 628 0 0 0 25 0 4 0 524323248 321212416 18289 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 313684

[startup+12.7006 s]
/proc/loadavg: 7.50 7.96 7.99 9/184 28603
/proc/meminfo: memFree=25615500/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=327872 CPUtime=50.72 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 39576 0 0 0 5063 9 0 0 25 0 4 0 524323248 335740928 24079 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 81968 24081 391 106 0 76939 0
[pid=28598/tid=28599] ppid=28596 vsize=327872 CPUtime=12.69 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 9570 0 0 0 1268 1 0 0 25 0 4 0 524323248 335740928 24086 33554432000 4194304 4627427 140735308699024 18446744073709551615 4330056 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=327872 CPUtime=12.62 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 10193 0 0 0 1260 2 0 0 25 0 4 0 524323248 335740928 24089 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=327872 CPUtime=12.69 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 10175 0 0 0 1267 2 0 0 25 0 4 0 524323248 335740928 24092 33554432000 4194304 4627427 140735308699024 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 327872

[startup+25.5004 s]
/proc/loadavg: 7.61 7.96 7.99 9/184 28603
/proc/meminfo: memFree=25576940/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=322424 CPUtime=101.83 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 59492 0 0 0 10170 13 0 0 25 0 4 0 524323248 330162176 29236 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 80606 29236 391 106 0 75577 0
[pid=28598/tid=28599] ppid=28596 vsize=322424 CPUtime=25.49 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 14126 0 0 0 2546 3 0 0 25 0 4 0 524323248 330162176 29236 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=322424 CPUtime=25.35 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 15115 0 0 0 2532 3 0 0 25 0 4 0 524323248 330162176 29236 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=322424 CPUtime=25.48 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 15363 0 0 0 2545 3 0 0 25 0 4 0 524323248 330162176 29236 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 322424

[startup+51.1008 s]
/proc/loadavg: 7.81 7.98 7.99 9/184 28604
/proc/meminfo: memFree=25509908/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=323404 CPUtime=204.09 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 87544 0 0 0 20386 23 0 0 25 0 4 0 524323248 331165696 36687 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 80851 36687 391 106 0 75822 0
[pid=28598/tid=28599] ppid=28596 vsize=323404 CPUtime=51.09 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 21754 0 0 0 5104 5 0 0 25 0 4 0 524323248 331165696 36687 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=323404 CPUtime=50.81 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 23323 0 0 0 5075 6 0 0 25 0 4 0 524323248 331165696 36687 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308143 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=323404 CPUtime=51.08 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 22590 0 0 0 5102 6 0 0 25 0 4 0 524323248 331165696 36687 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 323404

[startup+102.301 s]
/proc/loadavg: 8.00 8.00 8.00 9/184 28635
/proc/meminfo: memFree=25485192/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=333432 CPUtime=408.61 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 131146 0 0 0 40823 38 0 0 25 0 4 0 524323248 341434368 49403 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 83358 49403 391 106 0 78329 0
[pid=28598/tid=28599] ppid=28596 vsize=333432 CPUtime=102.29 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 31459 0 0 0 10222 7 0 0 25 0 4 0 524323248 341434368 49403 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=333432 CPUtime=101.73 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 33607 0 0 0 10163 10 0 0 25 0 4 0 524323248 341434368 49403 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=333432 CPUtime=102.28 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 35907 0 0 0 10217 11 0 0 25 0 4 0 524323248 341434368 49403 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 333432

[startup+162.301 s]
/proc/loadavg: 8.12 8.03 8.00 9/184 28637
/proc/meminfo: memFree=25224592/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=408788 CPUtime=648.3 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 175320 0 0 0 64776 54 0 0 25 0 4 0 524323248 418598912 59931 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 102197 59931 391 106 0 97168 0
[pid=28598/tid=28599] ppid=28596 vsize=408788 CPUtime=162.3 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 41696 0 0 0 16219 11 0 0 25 0 4 0 524323248 418598912 59931 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=408788 CPUtime=161.41 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 45263 0 0 0 16127 14 0 0 25 0 4 0 524323248 418598912 59931 33554432000 4194304 4627427 140735308699024 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=408788 CPUtime=162.28 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 48346 0 0 0 16212 16 0 0 25 0 4 0 524323248 418598912 59931 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 648.3
Current children cumulated vsize (KiB) 408788

[startup+222.3 s]
/proc/loadavg: 8.11 8.04 8.00 9/184 28638
/proc/meminfo: memFree=24736872/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=485484 CPUtime=887.97 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 210313 0 0 0 88726 71 0 0 25 0 4 0 524323248 497135616 78948 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 121371 78948 391 106 0 116342 0
[pid=28598/tid=28599] ppid=28596 vsize=485484 CPUtime=222.29 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 48447 0 0 0 22215 14 0 0 25 0 4 0 524323248 497135616 78948 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=485484 CPUtime=221.08 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 52956 0 0 0 22090 18 0 0 25 0 4 0 524323248 497135616 78948 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=485484 CPUtime=222.27 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 58502 0 0 0 22207 20 0 0 25 0 4 0 524323248 497135616 78948 33554432000 4194304 4627427 140735308699024 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.97
Current children cumulated vsize (KiB) 485484

[startup+282.307 s]
/proc/loadavg: 8.14 8.06 8.01 9/184 28640
/proc/meminfo: memFree=24570568/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=551396 CPUtime=1127.66 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 229007 0 0 0 112687 79 0 0 25 0 4 0 524323248 564629504 76787 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 137849 76787 391 106 0 132820 0
[pid=28598/tid=28599] ppid=28596 vsize=551396 CPUtime=282.29 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 48733 0 0 0 28215 14 0 0 25 0 4 0 524323248 564629504 76787 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=551396 CPUtime=280.76 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 58302 0 0 0 28055 21 0 0 25 0 4 0 524323248 564629504 76787 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=551396 CPUtime=282.28 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 66346 0 0 0 28205 23 0 0 25 0 4 0 524323248 564629504 76787 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1127.66
Current children cumulated vsize (KiB) 551396

[startup+342.301 s]
/proc/loadavg: 8.14 8.07 8.01 9/184 28641
/proc/meminfo: memFree=24559012/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=432468 CPUtime=1367.33 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 251629 0 0 0 136643 90 0 0 25 0 4 0 524323248 442847232 72136 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 108117 72136 391 106 0 103088 0
[pid=28598/tid=28599] ppid=28596 vsize=432468 CPUtime=342.3 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 48798 0 0 0 34215 15 0 0 25 0 4 0 524323248 442847232 72136 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308104 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=432468 CPUtime=340.43 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 65166 0 0 0 34020 23 0 0 25 0 4 0 524323248 442847232 72136 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=432468 CPUtime=342.28 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 75224 0 0 0 34201 27 0 0 25 0 4 0 524323248 442847232 72136 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1367.33
Current children cumulated vsize (KiB) 432468

[startup+402.301 s]
/proc/loadavg: 8.10 8.07 8.01 9/184 28643
/proc/meminfo: memFree=24405220/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=487516 CPUtime=1607 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 278606 0 0 0 160599 101 0 0 25 0 4 0 524323248 499216384 81723 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 121879 81723 391 106 0 116850 0
[pid=28598/tid=28599] ppid=28596 vsize=487516 CPUtime=402.3 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 49104 0 0 0 40215 15 0 0 25 0 4 0 524323248 499216384 81723 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=487516 CPUtime=400.1 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 70839 0 0 0 39983 27 0 0 25 0 4 0 524323248 499216384 81723 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=487516 CPUtime=402.28 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 86558 0 0 0 40198 30 0 0 25 0 4 0 524323248 499216384 81723 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1607
Current children cumulated vsize (KiB) 487516

[startup+462.301 s]
/proc/loadavg: 8.08 8.07 8.01 9/184 28644
/proc/meminfo: memFree=24340232/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=553052 CPUtime=1846.68 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 294255 0 0 0 184560 108 0 0 25 0 4 0 524323248 566325248 85583 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 138263 85583 391 106 0 133234 0
[pid=28598/tid=28599] ppid=28596 vsize=553052 CPUtime=462.3 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 49428 0 0 0 46215 15 0 0 25 0 4 0 524323248 566325248 85583 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=553052 CPUtime=459.78 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 75784 0 0 0 45949 29 0 0 25 0 4 0 524323248 566325248 85583 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=553052 CPUtime=462.27 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 90972 0 0 0 46195 32 0 0 25 0 4 0 524323248 566325248 85583 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1846.68
Current children cumulated vsize (KiB) 553052

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

[startup+464.601 s]
/proc/loadavg: 8.16 8.09 8.02 9/184 28645
/proc/meminfo: memFree=24344944/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=564832 CPUtime=1855.87 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 295274 0 0 0 185478 109 0 0 25 0 4 0 524323248 578387968 78293 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 141208 78293 391 106 0 136179 0
[pid=28598/tid=28599] ppid=28596 vsize=564832 CPUtime=464.6 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 49428 0 0 0 46445 15 0 0 25 0 4 0 524323248 578387968 78293 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=564832 CPUtime=462.06 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 75784 0 0 0 46177 29 0 0 25 0 4 0 524323248 578387968 78293 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=564832 CPUtime=464.58 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 91874 0 0 0 46425 33 0 0 25 0 4 0 524323248 578387968 78293 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1855.87
Current children cumulated vsize (KiB) 564832

[startup+466.201 s]
/proc/loadavg: 8.16 8.09 8.02 9/184 28645
/proc/meminfo: memFree=24355236/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=564832 CPUtime=1862.26 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 295411 0 0 0 186117 109 0 0 25 0 4 0 524323248 578387968 78430 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308326 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 141208 78430 391 106 0 136179 0
[pid=28598/tid=28599] ppid=28596 vsize=564832 CPUtime=466.2 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 49428 0 0 0 46605 15 0 0 25 0 4 0 524323248 578387968 78430 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=564832 CPUtime=463.65 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 75784 0 0 0 46336 29 0 0 25 0 4 0 524323248 578387968 78430 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=564832 CPUtime=466.18 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 92011 0 0 0 46585 33 0 0 25 0 4 0 524323248 578387968 78430 33554432000 4194304 4627427 140735308699024 18446744073709551615 4330971 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1862.26
Current children cumulated vsize (KiB) 564832

[startup+467.001 s]
/proc/loadavg: 8.16 8.09 8.02 9/184 28645
/proc/meminfo: memFree=24350896/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=564832 CPUtime=1865.47 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 295464 0 0 0 186438 109 0 0 25 0 4 0 524323248 578387968 78483 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 141208 78483 391 106 0 136179 0
[pid=28598/tid=28599] ppid=28596 vsize=564832 CPUtime=467 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 49428 0 0 0 46685 15 0 0 25 0 4 0 524323248 578387968 78483 33554432000 4194304 4627427 140735308699024 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=564832 CPUtime=464.45 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 75784 0 0 0 46416 29 0 0 25 0 4 0 524323248 578387968 78483 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=564832 CPUtime=466.99 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 92064 0 0 0 46666 33 0 0 25 0 4 0 524323248 578387968 78483 33554432000 4194304 4627427 140735308699024 18446744073709551615 4324328 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1865.47
Current children cumulated vsize (KiB) 564832

[startup+467.801 s]
/proc/loadavg: 8.16 8.09 8.02 9/184 28645
/proc/meminfo: memFree=24350896/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=564832 CPUtime=1868.65 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 295521 0 0 0 186756 109 0 0 25 0 4 0 524323248 578387968 78540 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308755 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 141208 78540 391 106 0 136179 0
[pid=28598/tid=28599] ppid=28596 vsize=564832 CPUtime=467.8 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 49428 0 0 0 46765 15 0 0 25 0 4 0 524323248 578387968 78540 33554432000 4194304 4627427 140735308699024 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=564832 CPUtime=465.25 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 75784 0 0 0 46496 29 0 0 25 0 4 0 524323248 578387968 78540 33554432000 4194304 4627427 140735308699024 18446744073709551615 4328890 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=564832 CPUtime=467.78 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 92121 0 0 0 46745 33 0 0 25 0 4 0 524323248 578387968 78540 33554432000 4194304 4627427 140735308699024 18446744073709551615 4321538 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1868.65
Current children cumulated vsize (KiB) 564832

[startup+468 s]
/proc/loadavg: 8.16 8.09 8.02 9/184 28645
/proc/meminfo: memFree=24350896/32951124 swapFree=67051468/67111528
[pid=28598] ppid=28596 vsize=564832 CPUtime=1869.45 cores=1,3,5,7
/proc/28598/stat : 28598 (strangenight2-m) R 28596 28598 28077 0 -1 4202496 295532 0 0 0 186836 109 0 0 25 0 4 0 524323248 578387968 78551 33554432000 4194304 4627427 140735308699024 18446744073709551615 4324280 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28598/statm: 141208 78551 391 106 0 136179 0
[pid=28598/tid=28599] ppid=28596 vsize=564832 CPUtime=468 cores=1,3,5,7
/proc/28598/task/28599/stat : 28599 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 49428 0 0 0 46785 15 0 0 25 0 4 0 524323248 578387968 78551 33554432000 4194304 4627427 140735308699024 18446744073709551615 46941265405483 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28598/tid=28600] ppid=28596 vsize=564832 CPUtime=465.45 cores=1,3,5,7
/proc/28598/task/28600/stat : 28600 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 75784 0 0 0 46516 29 0 0 25 0 4 0 524323248 578387968 78551 33554432000 4194304 4627427 140735308699024 18446744073709551615 46941265430041 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28598/tid=28601] ppid=28596 vsize=564832 CPUtime=467.98 cores=1,3,5,7
/proc/28598/task/28601/stat : 28601 (strangenight2-m) R 28596 28598 28077 0 -1 4202560 92132 0 0 0 46765 33 0 0 25 0 4 0 524323248 578387968 78551 33554432000 4194304 4627427 140735308699024 18446744073709551615 46941265430039 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1869.45
Current children cumulated vsize (KiB) 564832

Child status: 20
Real time (s): 468.02
CPU time (s): 1869.49
CPU user time (s): 1868.38
CPU system time (s): 1.10983
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 610400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1868.38
system time used= 1.10983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295535
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= 1131
involuntary context switches= 13093

runsolver used 0.742887 second user time and 1.82972 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-30 03:33:25
IDJOB=3291358
IDBENCH=84211
IDSOLVER=1586
FILE ID=node101/3291358-1304127205
RUNJOBID= node101-1304126001-28482
PBS_JOBID= 13170744
Free space on /tmp= 72016 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291358-1304127205/watcher-3291358-1304127205 -o /tmp/evaluation-result-3291358-1304127205/solver-3291358-1304127205 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3291358-1304127205.cnf

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

MD5SUM BENCH= 9edcffddbe07377cf6685697aafad673
RANDOM SEED=519781722

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25779244 kB
Buffers:       1913680 kB
Cached:        4748836 kB
SwapCached:      30424 kB
Active:        1775008 kB
Inactive:      4952656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25779244 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           13612 kB
Writeback:           0 kB
AnonPages:       56152 kB
Mapped:           9572 kB
Slab:           380956 kB
PageTables:       4700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   296356 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= 72008 MiB
End job on node101 at 2011-04-30 03:41:13