Trace number 3394310

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 1241.99 155.865

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
MD5SUM3fad4722cb319d6fee4192f2fe2c31ed
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark153.665
Satisfiable
(Un)Satisfiability was proved
Number of variables98935
Number of clauses296405
Sum of the clauses size691609
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2197602
Number of clauses of size 398801
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.02	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3394310-1306094146.cnf'
0.00/0.03	c -- header says num vars:          98935
0.00/0.03	c -- header says num clauses:      296405
2.32/0.44	c -- clauses added:            0 learnts,       296405 normals,            0 xors
2.32/0.44	c -- vars added      98935
2.32/0.44	c Parsing time:  0.19 s
2.32/0.44	c  N st     0         0     98935     98801    197602         0    691607         0   no data   no data
6.17/0.91	c asymm  cl-useful: 0/56250/98800 lits-rem:0 time: 0.47
21.31/2.89	c Flit:   477 Blit:   4520 bXBeca:    0 bXProp: 6100 Bins:      0 BRemL:      0 BRemN:      0 P: 36.9M T:  1.97
22.11/2.91	c Cleaning up after failed var search:     0.02 s 
22.11/2.96	c Replacing     6100 vars Replaced   109854 lits Time:     0.04 s 
22.89/3.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22.89/3.03	c bin-w-bin subsume rem          237 bins  time:  0.02 s
22.89/3.08	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  0.04 s
24.57/3.26	c Subs w/ non-existent bins:      2 l-rem:      2 v-fix:     0 done:  87292 time:  0.18 s
26.04/3.40	c Removed useless bin:     933  fixed:     0  props:  20.00M  time:  0.14 s
28.27/3.79	c lits-rem:       977  cl-subs:     1170  v-elim:  29097  v-fix:    0  time:  0.30 s
29.03/3.81	c Finding binary XORs  T:     0.02 s  found:      29
29.03/3.84	c Replacing       29 vars Replaced      273 lits Time:     0.02 s 
29.03/3.88	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
29.03/3.88	c calculated reachability. Time: 0.00
29.03/3.89	c Calc default polars -  time:   0.01 s pos:    3704 undec:   41567 neg:   53664
29.03/3.89	c =========================================================================================
29.03/3.89	c types(t): F = full restart, N = normal restart
29.03/3.89	c types(t): S = simplification begin/end, E = solution found
29.03/3.89	c restart types(rt): st = static, dy = dynamic
29.03/3.89	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
29.03/3.89	c  B st     0         0     58166     80422    122527         0    514916         0   no data   no data
34.60/4.55	c  N dy    14      4689     58027     80422    122782      4354    514911     43251      4.66      4.92
41.01/5.31	c  N dy    34      9118     57504     77209    122950      8117    500362     77023      4.61      4.88
47.39/6.18	c  N dy    58     13137     57319     77209    124652     11923    500361    115618      4.68      4.94
53.77/6.97	c  N dy    83     17214     56868     73997    123371     15257    485091    145586      4.72      5.99
59.48/7.62	c Finding binary XORs  T:     0.02 s  found:    1791
59.48/7.65	c Replacing     1791 vars Replaced    40679 lits Time:     0.03 s 
61.75/7.99	c  N dy   109     21621     54298     69838    120036     10201    459320     67383      4.77      5.05
68.25/8.72	c  F st   133     25000     54273     69838    121279     13447    459320    106289      4.81      5.03
72.13/9.28	c  N st   135     25628     54269     69429    120883     14005    457079    113668      4.81   no data
80.10/10.20	c  N dy   139     30006     54176     69429    120983     18250    457078    181798      4.81   no data
80.10/10.20	c  S st   139     30006     54176     69429    120983     18250    457078    181798      4.81   no data
81.70/10.48	c  S st   139     30506     54174     69429    121109     18579    457078    183907      4.81   no data
82.50/10.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
119.21/15.17	c Flit:   255 Blit:    180 bXBeca:    0 bXProp: 2372 Bins: 705115 BRemL: 218759 BRemN:    304 P: 42.2M T:  4.61
120.01/15.20	c Cleaning up after failed var search:     0.02 s 
120.01/15.26	c Replacing     2372 vars Replaced   322050 lits Time:     0.06 s 
120.01/15.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
121.75/15.47	c bin-w-bin subsume rem        86251 bins  time:  0.18 s
122.39/15.53	c subs with bin:     3623  lits-rem:      2686  v-fix:    0  time:  0.06 s
123.99/15.73	c Subs w/ non-existent bins:    264 l-rem:   1062 v-fix:     0 done:  51218 time:  0.19 s
124.80/15.82	c Removed useless bin:     687  fixed:     0  props:   5.73M  time:  0.09 s
127.99/16.26	c lits-rem:      2219  cl-subs:     4521  v-elim:  29566  v-fix:    0  time:  0.42 s
127.99/16.29	c subs with bin:      614  lits-rem:       713  v-fix:    0  time:  0.02 s
128.80/16.33	c lits-rem:        63  cl-subs:      556  v-elim:      0  v-fix:    0  time:  0.03 s
131.17/16.60	c asymm  cl-useful: 1/26945/83195 lits-rem:3 time: 0.27
131.17/16.62	c calculated reachability. Time: 0.01
131.17/16.63	c  N dy   139     30506     21652     83194    109730      4702    363778    175140      4.81   no data
131.17/16.67	c Finding binary XORs  T:     0.05 s  found:      31
137.56/17.44	c  N dy   151     34865     21637     83194    112507      8729    363772    220063      4.74      5.03
143.94/18.20	c  N dy   167     38942     21576     83194    219386     12576    363767    472752      4.71      4.98
147.23/18.63	c Finding binary XORs  T:     0.03 s  found:     153
151.09/19.10	c  N dy   190     42971     21555     82892    214585      9563    361398    412389      4.72      6.62
155.99/19.72	c  S st   206     45759     21553     82892    215145     12229    361395    441077      4.71      3.82
157.47/19.91	c  S st   206     46260     21552     82892    215258     12587    361395    443186      4.71   no data
157.47/19.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
167.04/21.19	c Flit:    87 Blit:     16 bXBeca:    0 bXProp:  193 Bins:  30342 BRemL:  37925 BRemN:    127 P: 12.8M T:  1.25
167.04/21.19	c Cleaning up after failed var search:     0.00 s 
167.84/21.24	c Replacing      377 vars Replaced    50394 lits Time:     0.04 s 
167.84/21.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
168.62/21.31	c bin-w-bin subsume rem        68925 bins  time:  0.05 s
168.62/21.35	c subs with bin:     6547  lits-rem:      8234  v-fix:    0  time:  0.04 s
169.42/21.42	c Subs w/ non-existent bins:   1410 l-rem:   3756 v-fix:     0 done:  21043 time:  0.06 s
169.42/21.45	c Removed useless bin:     762  fixed:     0  props:   1.05M  time:  0.03 s
171.03/21.60	c lits-rem:       762  cl-subs:     2386  v-elim:   2070  v-fix:    0  time:  0.15 s
171.03/21.63	c subs with bin:      246  lits-rem:       857  v-fix:    0  time:  0.02 s
171.03/21.68	c lits-rem:       110  cl-subs:      495  v-elim:      0  v-fix:    0  time:  0.04 s
171.83/21.71	c vivif2 --  cl tried    75208 cl shrink     2608 lits rem       2868 time: 0.03
171.83/21.72	c vivif2 --  cl tried     9885 cl shrink     1580 lits rem       3132 time: 0.01
180.60/22.88	c asymm  cl-useful: 1718/64874/74523 lits-rem:2054 time: 1.15
180.60/22.89	c calculated reachability. Time: 0.01
180.60/22.89	c  N dy   206     46260     18973     74464     91081      9749    317124    173309      4.71   no data
181.40/22.93	c Finding binary XORs  T:     0.03 s  found:      29
187.78/23.71	c  N dy   226     50366     18957     74464    204310     13596    317122    442536      4.71      4.96
189.38/23.95	c Finding binary XORs  T:     0.03 s  found:     141
194.15/24.55	c  N dy   245     54402     18874     74194    203223     17391    315454    478640      4.71      5.39
197.35/24.94	c Finding binary XORs  T:     0.03 s  found:      59
197.35/24.97	c Replacing      229 vars Replaced    93054 lits Time:     0.03 s 
202.92/25.64	c  N dy   272     58476     18609     73849    271177     21276    313526    657967      4.74      5.05
210.90/26.66	c  N dy   303     62544     18607     73849    309227     25193    313524    781411      4.77      5.04
211.70/26.77	c Finding binary XORs  T:     0.03 s  found:      74
220.48/27.81	c  N dy   332     66721     18553     73745    307625     17406    312636    659315      4.82      5.11
225.27/28.48	c  S st   351     69391     18546     73745    310305     19995    312635    699865      4.84   no data
227.02/28.69	c  S st   351     69894     18531     73745    310380     20403    312635    702618      4.84   no data
227.65/28.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
234.96/29.70	c Flit:    69 Blit:      5 bXBeca:    0 bXProp:  132 Bins:   1575 BRemL:  13953 BRemN:     17 P: 14.0M T:  0.98
235.80/29.74	c Replacing      206 vars Replaced    45241 lits Time:     0.04 s 
235.80/29.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
247.60/31.23	c bin-w-bin subsume rem       172288 bins  time:  1.46 s
247.60/31.26	c subs with bin:     3374  lits-rem:       980  v-fix:    0  time:  0.03 s
248.40/31.31	c Subs w/ non-existent bins:    526 l-rem:    310 v-fix:     0 done:  18240 time:  0.05 s
248.40/31.33	c Removed useless bin:     643  fixed:     0  props:   0.91M  time:  0.02 s
249.20/31.44	c lits-rem:       561  cl-subs:     1664  v-elim:    708  v-fix:    0  time:  0.11 s
249.20/31.49	c subs with bin:      614  lits-rem:       959  v-fix:    0  time:  0.03 s
250.00/31.54	c lits-rem:       281  cl-subs:      675  v-elim:      0  v-fix:    0  time:  0.04 s
250.00/31.57	c vivif2 --  cl tried    68246 cl shrink      862 lits rem        922 time: 0.03
250.00/31.59	c vivif2 --  cl tried    18030 cl shrink     1959 lits rem       4197 time: 0.02
250.81/31.67	c asymm  cl-useful: 64/3089/67963 lits-rem:192 time: 0.08
250.81/31.68	c calculated reachability. Time: 0.01
250.81/31.68	c  N dy   351     69894     17532     67899    110888     17885    289005    265363      4.84   no data
260.39/32.84	c  N dy   387     74472     17530     67899    122236     22306    289001    356101      4.89      5.17
265.97/33.58	c Finding binary XORs  T:     0.03 s  found:      64
270.07/34.09	c  N dy   421     79286     17497     67822    121781     26959    288387    422649      4.92      5.34
281.12/35.42	c  N dy   459     84369     17445     67822    126841     31899    288387    508257      4.97      5.28
287.63/36.31	c  F st   486     87500     17440     67822    127832     34942    288387    568421      5.03   no data
288.47/36.35	c Replacing       64 vars Replaced     4559 lits Time:     0.02 s 
294.70/37.13	c  N st   491     90799     17376     67557    126234     23793    286925    353532      5.03   no data
301.87/38.08	c Finding binary XORs  T:     0.03 s  found:     104
308.26/38.81	c  N dy   525     96662     17371     67553    126766     29542    286863    520269      5.09      6.95
322.74/40.65	c  N dy   578    102858     17366     67553    127442     35596    286862    661135      5.20      6.78
328.21/41.35	c  S st   595    104841     17364     67553    130018     37532    286860    720302      5.23   no data
329.82/41.59	c  S st   595    105341     17364     67553    130067     37976    286860    723983      5.23   no data
330.62/41.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
341.76/43.04	c Flit:    30 Blit:      2 bXBeca:    0 bXProp:  166 Bins:  12068 BRemL:  47182 BRemN:    210 P: 14.3M T:  1.43
341.76/43.09	c Replacing      270 vars Replaced    22837 lits Time:     0.05 s 
342.55/43.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
342.55/43.13	c bin-w-bin subsume rem         8051 bins  time:  0.01 s
342.55/43.16	c subs with bin:     2658  lits-rem:       738  v-fix:    0  time:  0.03 s
343.36/43.20	c Subs w/ non-existent bins:    332 l-rem:    231 v-fix:     0 done:  17009 time:  0.04 s
343.36/43.22	c Removed useless bin:     629  fixed:     0  props:   0.77M  time:  0.02 s
344.15/43.32	c lits-rem:       288  cl-subs:      844  v-elim:    550  v-fix:    0  time:  0.10 s
344.96/43.40	c subs with bin:      865  lits-rem:      5132  v-fix:    0  time:  0.05 s
345.76/43.50	c lits-rem:      1304  cl-subs:     1190  v-elim:      0  v-fix:    0  time:  0.08 s
345.76/43.53	c vivif2 --  cl tried    63492 cl shrink      561 lits rem        625 time: 0.03
345.76/43.58	c vivif2 --  cl tried    32607 cl shrink     4561 lits rem      10769 time: 0.05
351.34/44.20	c asymm  cl-useful: 2601/19979/63328 lits-rem:3941 time: 0.62
351.34/44.22	c calculated reachability. Time: 0.01
351.34/44.22	c  N dy   595    105341     16459     62977     79880     32500    267476    344641      5.23   no data
351.34/44.25	c Finding binary XORs  T:     0.03 s  found:      47
367.46/46.22	c  N dy   652    112085     16452     62977     81703     39090    267472    488900      5.31      9.83
379.28/47.79	c Finding binary XORs  T:     0.03 s  found:      31
385.65/48.59	c  N dy   714    119319     16451     62968     89004     31281    267330    358031      5.41      7.16
405.61/51.09	c  N dy   784    126977     16448     62968     89475     38816    267328    560182      5.53      6.51
415.19/52.20	c Finding binary XORs  T:     0.03 s  found:      85
427.17/53.74	c  N dy   853    135098     16423     62901     95918     46769    266872    760180      5.62      6.84
450.31/56.69	c  N dy   924    143788     16404     62901    100052     37356    266871    403185      5.71      6.45
455.25/57.24	c Finding binary XORs  T:     0.03 s  found:      46
455.25/57.26	c Replacing      209 vars Replaced    13378 lits Time:     0.03 s 
475.05/59.77	c  N dy  1002    153040     16187     62598     99792     46431    265308    639945      5.80      6.71
482.23/60.68	c Finding binary XORs  T:     0.03 s  found:      37
489.53/61.58	c  S st  1047    158013     16172     62561    108318     51308    264945    802491      5.86   no data
491.81/61.86	c  S st  1047    158513     16172     62561    108354     51771    264945    808440      5.86   no data
491.81/61.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
509.36/64.08	c Flit:    31 Blit:      4 bXBeca:    0 bXProp:  103 Bins:  56919 BRemL:  55887 BRemN:    623 P: 18.1M T:  2.20
510.16/64.13	c Replacing      140 vars Replaced     9798 lits Time:     0.04 s 
510.16/64.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
510.16/64.17	c bin-w-bin subsume rem        11956 bins  time:  0.02 s
510.96/64.20	c subs with bin:     3186  lits-rem:      1080  v-fix:    0  time:  0.03 s
510.96/64.25	c Subs w/ non-existent bins:    347 l-rem:    138 v-fix:     0 done:  15997 time:  0.05 s
510.96/64.27	c Removed useless bin:     345  fixed:     0  props:   0.58M  time:  0.02 s
511.76/64.38	c lits-rem:       319  cl-subs:     1449  v-elim:    805  v-fix:    0  time:  0.11 s
512.56/64.49	c subs with bin:     1336  lits-rem:      6962  v-fix:    0  time:  0.08 s
514.16/64.61	c lits-rem:      1547  cl-subs:     1389  v-elim:      0  v-fix:    0  time:  0.11 s
514.16/64.65	c vivif2 --  cl tried    58200 cl shrink      533 lits rem        575 time: 0.03
514.97/64.72	c vivif2 --  cl tried    44312 cl shrink     5809 lits rem      16446 time: 0.08
519.73/65.30	c asymm  cl-useful: 768/8725/58120 lits-rem:2304 time: 0.58
519.73/65.32	c calculated reachability. Time: 0.01
519.73/65.32	c  N dy  1047    158513     15192     57352     84087     44284    247119    447846      5.86   no data
519.73/65.35	c Finding binary XORs  T:     0.04 s  found:     110
539.70/67.84	c Finding binary XORs  T:     0.03 s  found:      58
539.70/67.87	c Replacing      168 vars Replaced    10017 lits Time:     0.03 s 
548.48/68.94	c  N dy  1130    168660     15008     57231    109873     36178    245954    352614      5.97     16.08
561.23/70.52	c Finding binary XORs  T:     0.03 s  found:       5
576.42/72.45	c  N dy  1210    179499     15006     57230    119367     46906    245935    645465      6.05      6.50
608.33/76.42	c  N dy  1297    191039     15004     57230    120020     58320    245935    945074      6.14      6.52
641.05/80.59	c  N dy  1389    203262     15001     57230    120331     49682    245934    585544      6.22     10.95
657.81/82.64	c Finding binary XORs  T:     0.03 s  found:      77
679.36/85.32	c  N dy  1486    216396     14982     57176    127932     62664    245509    925321      6.28      6.79
708.99/89.02	c Finding binary XORs  T:     0.03 s  found:      47
722.44/90.75	c  N dy  1604    230249     14973     57144    130185     53968    245291    651295      6.40      7.70
744.95/93.53	c  S st  1661    237769     14969     57144    130424     61428    245286    844243      6.44   no data
747.19/93.81	c  S st  1661    238269     14969     57144    130444     61903    245285    848948      6.44   no data
747.19/93.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
766.35/96.29	c Flit:     6 Blit:      0 bXBeca:    0 bXProp:   37 Bins:  17692 BRemL:  35119 BRemN:    232 P: 21.8M T:  2.46
767.15/96.34	c Replacing      166 vars Replaced    16020 lits Time:     0.05 s 
767.15/96.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
767.15/96.38	c bin-w-bin subsume rem        19202 bins  time:  0.02 s
767.95/96.40	c subs with bin:     1427  lits-rem:       271  v-fix:    0  time:  0.03 s
767.95/96.45	c Subs w/ non-existent bins:    159 l-rem:     74 v-fix:     0 done:  14797 time:  0.05 s
767.95/96.47	c Removed useless bin:     288  fixed:     0  props:   0.60M  time:  0.02 s
768.74/96.56	c lits-rem:       132  cl-subs:      597  v-elim:    328  v-fix:    0  time:  0.09 s
770.45/96.79	c subs with bin:      876  lits-rem:      7077  v-fix:    0  time:  0.19 s
772.72/97.03	c lits-rem:      1789  cl-subs:     1307  v-elim:      0  v-fix:    0  time:  0.22 s
772.72/97.06	c vivif2 --  cl tried    55000 cl shrink      211 lits rem        230 time: 0.03
773.52/97.18	c vivif2 --  cl tried    58111 cl shrink     7486 lits rem      58434 time: 0.12
778.32/97.71	c asymm  cl-useful: 30/8699/54967 lits-rem:90 time: 0.52
778.32/97.72	c calculated reachability. Time: 0.01
778.32/97.72	c  N dy  1661    238269     14469     54937     88267     58071    235177    647964      6.44   no data
778.32/97.76	c Finding binary XORs  T:     0.04 s  found:       3
784.70/98.59	c Finding binary XORs  T:     0.03 s  found:      37
804.66/101.05	c Finding binary XORs  T:     0.03 s  found:       2
827.00/103.88	c  N dy  1777    253539     14461     54928    113787     73215    235095   1102823      6.51      8.36
859.08/107.89	c Finding binary XORs  T:     0.04 s  found:      40
875.80/109.93	c  N dy  1908    269724     14453     54909    115257     65260    234911    859542      6.61      6.98
928.47/116.58	c  N dy  2038    287333     14447     54909    115655     58165    234910    556960      6.70      7.15
982.62/123.39	c  N dy  2165    305737     14446     54909    116095     76423    234910   1042718      6.76     10.35
985.02/123.63	c Finding binary XORs  T:     0.03 s  found:      19
985.02/123.68	c  F st  2171    306250     14443     54881    115224     76645    234691   1057187      6.77   no data
985.82/123.71	c Replacing      101 vars Replaced    10799 lits Time:     0.03 s 
1044.07/131.05	c  N dy  2263    325508     14337     54771    115524     70174    234175    772674      6.80      7.16
1062.41/133.34	c Finding binary XORs  T:     0.04 s  found:      51
1111.91/139.58	c  N dy  2401    345558     14314     54707    122040     89500    233794   1369441      6.87      7.81
1135.05/142.43	c Finding binary XORs  T:     0.04 s  found:       6
1149.41/144.28	c  S st  2489    357403     14309     54692    122145     75057    233592    849388      6.91   no data
1151.80/144.54	c  S st  2489    357903     14309     54692    122154     75547    233592    856991      6.91   no data
1151.80/144.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1173.37/147.22	c Flit:    15 Blit:      4 bXBeca:    0 bXProp:   28 Bins:  12479 BRemL:  23650 BRemN:     55 P: 27.8M T:  2.66
1173.37/147.27	c Replacing       85 vars Replaced     8921 lits Time:     0.05 s 
1173.37/147.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1173.37/147.31	c bin-w-bin subsume rem        12469 bins  time:  0.02 s
1174.27/147.34	c subs with bin:      815  lits-rem:       149  v-fix:    0  time:  0.03 s
1174.27/147.38	c Subs w/ non-existent bins:     86 l-rem:     56 v-fix:     0 done:  14199 time:  0.04 s
1174.27/147.40	c Removed useless bin:     175  fixed:     0  props:   0.60M  time:  0.02 s
1175.11/147.48	c lits-rem:        66  cl-subs:      371  v-elim:    152  v-fix:    0  time:  0.09 s
1177.34/147.70	c subs with bin:     1131  lits-rem:      5535  v-fix:    0  time:  0.18 s
1178.15/147.89	c lits-rem:      2010  cl-subs:     1530  v-elim:      0  v-fix:    0  time:  0.18 s
1178.95/147.93	c vivif2 --  cl tried    53351 cl shrink      171 lits rem        183 time: 0.04
1179.75/148.06	c vivif2 --  cl tried    70727 cl shrink     6719 lits rem      31028 time: 0.13
1183.89/148.56	c asymm  cl-useful: 75/4981/53326 lits-rem:225 time: 0.49
1183.89/148.57	c calculated reachability. Time: 0.01
1183.89/148.57	c  N dy  2489    357903     14047     53251     95193     70648    227757    650789      6.91   no data
1184.53/148.61	c Finding binary XORs  T:     0.04 s  found:      21
1214.86/152.42	c Finding binary XORs  T:     0.04 s  found:       3
1241.19/155.78	c  E dy  2597    375546     13870     52355     98615     77840    223431    865814      6.94      4.99
1241.19/155.78	c Following stats are for *FIRST FINISHED THREAD ONLY*
1241.19/155.78	c num threads              : 8          
1241.19/155.78	c restarts                 : 2597       
1241.19/155.78	c dynamic restarts         : 2573       
1241.19/155.78	c static restarts          : 24         
1241.19/155.78	c full restarts            : 3          
1241.19/155.78	c total simplify time      : 1.49       
1241.19/155.78	c learnts DL2              : 0          
1241.19/155.78	c learnts size 2           : 1585839    
1241.19/155.78	c learnts size 1           : 10340       (10.45     % of vars)
1241.19/155.78	c filedLit time            : 17.62       (11.35     % time)
1241.19/155.78	c v-elim SatELite          : 63276       (63.96     % vars)
1241.19/155.78	c SatELite time            : 3.75        (2.42      % time)
1241.19/155.78	c v-elim xor               : 0           (0.00      % vars)
1241.19/155.78	c xor elim time            : 0.13        (0.09      % time)
1241.19/155.78	c num binary xor trees     : 5955       
1241.19/155.78	c binxor trees' crown      : 12331       (2.07      leafs/tree)
1241.19/155.78	c bin xor find time        : 0.95       
1241.19/155.78	c OTF clause improved      : 2485        (0.01      clauses/conflict)
1241.19/155.78	c OTF impr. size diff      : 3089        (1.24       lits/clause)
1241.19/155.78	c OTF cl watch-shrink      : 232347      (0.62      clauses/conflict)
1241.19/155.78	c OTF cl watch-sh-lit      : 893542      (3.85       lits/clause)
1241.19/155.78	c tried to recurMin cls    : 172620      (45.97      % of conflicts)
1241.19/155.78	c updated cache            : 0           (0.00       lits/tried recurMin)
1241.19/155.78	c unit cls recevied        : 793         (7.67      % of units)
1241.19/155.78	c unit cls sent            : 908         (8.78      % of units)
1241.19/155.78	c bin cls recevied         : 507915     
1241.19/155.78	c bin cls sent             : 859445     
1241.19/155.78	c clauses over max glue    : 0           (0.00      % of all clauses)
1241.19/155.78	c conflicts                : 375546      (2419.31   / sec)
1241.19/155.78	c decisions                : 1110165     (4.02      % random)
1241.19/155.78	c bogo-props               : 4759455777  (30660985.66 / sec)
1241.19/155.78	c conflict literals        : 8679435     (29.16     % deleted)
1241.19/155.78	c Memory used              : 1897.57     MB
1241.19/155.78	c single-thread CPU time   : 155.23      s
1241.19/155.78	c all-threads sum CPU time : 1238.91     s
1241.19/155.78	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-3394310-1306094146/watcher-3394310-1306094146 -o /tmp/evaluation-result-3394310-1306094146/solver-3394310-1306094146 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394310-1306094146.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.54 7.94 7.21 2/565 16915
/proc/meminfo: memFree=26720244/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=92144 CPUtime=0.05 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 413 0 0 0 5 0 0 0 22 0 8 0 721013433 94355456 353 33554432000 4194304 4580107 140735145141312 18446744073709551615 47727465621426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16915/statm: 23036 353 299 95 0 18018 0
[pid=16915/tid=16916] ppid=16913 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721013434 94355456 353 33554432000 4194304 4580107 140735145141312 18446744073709551615 47727465621424 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=92144 CPUtime=0 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721013434 94355456 353 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=92144 CPUtime=0 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721013434 94355456 353 33554432000 4194304 4580107 140735145141312 18446744073709551615 47727465621426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=92144 CPUtime=0 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721013434 94355456 353 33554432000 4194304 4580107 140735145141312 18446744073709551615 47727465621430 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 721013434 94355456 353 33554432000 4194304 4580107 140735145141312 18446744073709551615 47727465621426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 721013434 94355456 353 33554432000 4194304 4580107 140735145141312 18446744073709551615 47727465621426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 721013434 94355456 353 33554432000 4194304 4580107 140735145141312 18446744073709551615 47727465621420 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.047134 s]
/proc/loadavg: 7.54 7.94 7.21 2/565 16915
/proc/meminfo: memFree=26720244/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=554332 CPUtime=0.26 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) S 16913 16915 16697 0 -1 4202496 4013 0 0 0 23 3 0 0 17 0 8 0 721013433 567635968 3879 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16915/statm: 138550 3908 336 95 0 133532 0
[pid=16915/tid=16916] ppid=16913 vsize=554200 CPUtime=0.02 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 448 0 0 0 2 0 0 0 17 0 8 0 721013434 567500800 3912 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=554200 CPUtime=0.01 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 410 0 0 0 1 0 0 0 17 0 8 0 721013434 567500800 3921 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=554200 CPUtime=0.02 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 443 0 0 0 2 0 0 0 17 0 8 0 721013434 567500800 3942 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=554368 CPUtime=0.02 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 534 0 0 0 2 0 0 0 18 0 8 0 721013434 567672832 3958 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=554368 CPUtime=0.03 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 456 0 0 0 3 0 0 0 17 0 8 0 721013434 567672832 3981 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=554368 CPUtime=0.03 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 506 0 0 0 3 0 0 0 17 0 8 0 721013434 567672832 4012 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=554368 CPUtime=0.03 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 441 0 0 0 3 0 0 0 17 0 8 0 721013434 567672832 4096 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 554332

[startup+0.102171 s]
/proc/loadavg: 7.54 7.94 7.21 2/565 16915
/proc/meminfo: memFree=26720244/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=642900 CPUtime=0.6 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 16221 0 0 0 43 17 0 0 17 0 8 0 721013433 658329600 14256 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272350241 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16915/statm: 160725 14320 337 95 0 155707 0
[pid=16915/tid=16916] ppid=16913 vsize=642900 CPUtime=0.06 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 1962 0 0 0 4 2 0 0 17 0 8 0 721013434 658329600 14320 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=642900 CPUtime=0.06 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 1871 0 0 0 4 2 0 0 17 0 8 0 721013434 658329600 14326 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=642900 CPUtime=0.06 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 2228 0 0 0 4 2 0 0 17 0 8 0 721013434 658329600 14345 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=642900 CPUtime=0.07 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 2096 0 0 0 5 2 0 0 17 0 8 0 721013434 658329600 14397 33554432000 4194304 4580107 140735145141312 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=642900 CPUtime=0.08 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 2069 0 0 0 6 2 0 0 17 0 8 0 721013434 658329600 14426 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=644952 CPUtime=0.07 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 1836 0 0 0 5 2 0 0 17 0 8 0 721013434 660430848 14504 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 4 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=644952 CPUtime=0.08 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 1958 0 0 0 6 2 0 0 17 0 8 0 721013434 660430848 14511 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 642900

[startup+0.302082 s]
/proc/loadavg: 7.54 7.94 7.21 2/565 16915
/proc/meminfo: memFree=26720244/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=711392 CPUtime=1.68 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) S 16913 16915 16697 0 -1 4202496 61133 0 0 0 109 59 0 0 17 0 8 0 721013433 728465408 52660 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16915/statm: 177848 52660 337 95 0 172830 0
[pid=16915/tid=16916] ppid=16913 vsize=711392 CPUtime=0.19 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 7905 0 0 0 12 7 0 0 17 0 8 0 721013434 728465408 52660 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=711392 CPUtime=0.19 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 7741 0 0 0 11 8 0 0 17 0 8 0 721013434 728465408 52660 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=711392 CPUtime=0.2 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 7296 0 0 0 13 7 0 0 17 0 8 0 721013434 728465408 52660 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=711392 CPUtime=0.2 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 8273 0 0 0 14 6 0 0 17 0 8 0 721013434 728465408 52660 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=711392 CPUtime=0.21 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 7381 0 0 0 14 7 0 0 17 0 8 0 721013434 728465408 52660 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 2 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=711392 CPUtime=0.2 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 6601 0 0 0 13 7 0 0 17 0 8 0 721013434 728465408 52660 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=711392 CPUtime=0.21 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) S 16913 16915 16697 0 -1 4202560 8278 0 0 0 14 7 0 0 17 0 8 0 721013434 728465408 52660 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272794094 0 0 4096 2 18446604444557941760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 711392

[startup+0.70101 s]
/proc/loadavg: 7.54 7.94 7.21 2/565 16915
/proc/meminfo: memFree=26720244/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=781008 CPUtime=4.57 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 98088 0 0 0 366 91 0 0 17 0 8 0 721013433 799752192 80924 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16915/statm: 195252 80924 359 95 0 190234 0
[pid=16915/tid=16916] ppid=16913 vsize=781008 CPUtime=0.55 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 12457 0 0 0 44 11 0 0 17 0 8 0 721013434 799752192 80924 33554432000 4194304 4580107 140735145141312 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=781008 CPUtime=0.54 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 11930 0 0 0 43 11 0 0 17 0 8 0 721013434 799752192 80924 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=781008 CPUtime=0.55 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 11388 0 0 0 44 11 0 0 17 0 8 0 721013434 799752192 80924 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=781008 CPUtime=0.56 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 12891 0 0 0 46 10 0 0 17 0 8 0 721013434 799752192 80924 33554432000 4194304 4580107 140735145141312 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=781008 CPUtime=0.57 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 12217 0 0 0 46 11 0 0 17 0 8 0 721013434 799752192 80924 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=781008 CPUtime=0.57 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 11482 0 0 0 45 12 0 0 17 0 8 0 721013434 799752192 80924 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=781008 CPUtime=0.57 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 13565 0 0 0 46 11 0 0 17 0 8 0 721013434 799752192 80924 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293985 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 781008

[startup+1.50087 s]
/proc/loadavg: 7.54 7.94 7.21 10/573 16923
/proc/meminfo: memFree=26387736/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=783712 CPUtime=10.94 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 100948 0 0 0 1003 91 0 0 18 0 8 0 721013433 802521088 83398 33554432000 4194304 4580107 140735145141312 18446744073709551615 4234384 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16915/statm: 195928 83398 360 95 0 190910 0
[pid=16915/tid=16916] ppid=16913 vsize=783712 CPUtime=1.33 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 13007 0 0 0 122 11 0 0 18 0 8 0 721013434 802521088 83398 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=783712 CPUtime=1.34 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 12177 0 0 0 123 11 0 0 18 0 8 0 721013434 802521088 83398 33554432000 4194304 4580107 140735145141312 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=783712 CPUtime=1.35 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 11904 0 0 0 124 11 0 0 18 0 8 0 721013434 802521088 83398 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=783712 CPUtime=1.36 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 12938 0 0 0 126 10 0 0 18 0 8 0 721013434 802521088 83398 33554432000 4194304 4580107 140735145141312 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=783712 CPUtime=1.37 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 12749 0 0 0 126 11 0 0 18 0 8 0 721013434 802521088 83398 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=783712 CPUtime=1.37 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 11732 0 0 0 125 12 0 0 18 0 8 0 721013434 802521088 83398 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=783712 CPUtime=1.37 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 14038 0 0 0 126 11 0 0 18 0 8 0 721013434 802521088 83398 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.94
Current children cumulated vsize (KiB) 783712

[startup+3.10058 s]
/proc/loadavg: 7.54 7.94 7.21 9/573 16923
/proc/meminfo: memFree=26380176/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=799680 CPUtime=23.66 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 124030 0 0 0 2265 101 0 0 18 0 8 0 721013433 818872320 106244 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272357743 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16915/statm: 199920 106246 372 95 0 194902 0
[pid=16915/tid=16916] ppid=16913 vsize=799680 CPUtime=2.91 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 15903 0 0 0 278 13 0 0 18 0 8 0 721013434 818872320 106247 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272344086 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=799680 CPUtime=2.93 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 15335 0 0 0 281 12 0 0 18 0 8 0 721013434 818872320 106247 33554432000 4194304 4580107 140735145141312 18446744073709551615 4515203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=799680 CPUtime=2.95 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 14177 0 0 0 282 13 0 0 18 0 8 0 721013434 818872320 106249 33554432000 4194304 4580107 140735145141312 18446744073709551615 4414485 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=799680 CPUtime=2.96 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 15386 0 0 0 284 12 0 0 18 0 8 0 721013434 818872320 106251 33554432000 4194304 4580107 140735145141312 18446744073709551615 4414508 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=799680 CPUtime=2.95 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 16858 0 0 0 283 12 0 0 18 0 8 0 721013434 818872320 106253 33554432000 4194304 4580107 140735145141312 18446744073709551615 4516107 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=799680 CPUtime=2.96 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 14869 0 0 0 283 13 0 0 18 0 8 0 721013434 818872320 106255 33554432000 4194304 4580107 140735145141312 18446744073709551615 4427085 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=799680 CPUtime=2.97 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 15491 0 0 0 285 12 0 0 21 0 8 0 721013434 818872320 106257 33554432000 4194304 4580107 140735145141312 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.66
Current children cumulated vsize (KiB) 799680

[startup+6.30101 s]
/proc/loadavg: 7.57 7.94 7.21 9/573 16923
/proc/meminfo: memFree=26168320/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=876408 CPUtime=49 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 165962 0 0 0 4761 139 0 0 22 0 8 0 721013433 897441792 138421 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16915/statm: 219102 138421 378 95 0 214084 0
[pid=16915/tid=16916] ppid=16913 vsize=876408 CPUtime=6.01 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 22596 0 0 0 582 19 0 0 22 0 8 0 721013434 897441792 138421 33554432000 4194304 4580107 140735145141312 18446744073709551615 4292924 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=876408 CPUtime=6.1 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 19328 0 0 0 594 16 0 0 22 0 8 0 721013434 897441792 138421 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=876408 CPUtime=6.12 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 20180 0 0 0 594 18 0 0 22 0 8 0 721013434 897441792 138421 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=876408 CPUtime=6.14 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 23433 0 0 0 597 17 0 0 22 0 8 0 721013434 897441792 138421 33554432000 4194304 4580107 140735145141312 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=876408 CPUtime=6.12 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 22432 0 0 0 595 17 0 0 22 0 8 0 721013434 897441792 138421 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=876408 CPUtime=6.13 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 19260 0 0 0 597 16 0 0 22 0 8 0 721013434 897441792 138421 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=876408 CPUtime=6.16 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 15858 0 0 0 604 12 0 0 23 0 8 0 721013434 897441792 138421 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 1 0 0 0

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

/proc/loadavg: 7.95 7.95 7.31 9/573 16927
/proc/meminfo: memFree=25162808/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=1916696 CPUtime=1121.6 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 772532 0 0 0 111865 295 0 0 25 0 8 0 721013433 1962696704 388843 33554432000 4194304 4580107 140735145141312 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16915/statm: 479174 388843 380 95 0 474156 0
[pid=16915/tid=16916] ppid=16913 vsize=1916696 CPUtime=137.83 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 97793 0 0 0 13740 43 0 0 25 0 8 0 721013434 1962696704 388848 33554432000 4194304 4580107 140735145141312 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=1916696 CPUtime=140.51 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 113010 0 0 0 14013 38 0 0 25 0 8 0 721013434 1962696704 388848 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=1916696 CPUtime=140.54 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 97143 0 0 0 14016 38 0 0 25 0 8 0 721013434 1962696704 388848 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=1916696 CPUtime=140.55 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 102547 0 0 0 14017 38 0 0 25 0 8 0 721013434 1962696704 388848 33554432000 4194304 4580107 140735145141312 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=1916696 CPUtime=140.49 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 93418 0 0 0 14015 34 0 0 25 0 8 0 721013434 1962696704 388848 33554432000 4194304 4580107 140735145141312 18446744073709551615 4305913 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=1916696 CPUtime=140.54 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 88934 0 0 0 14020 34 0 0 25 0 8 0 721013434 1962696704 388848 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=1916696 CPUtime=140.54 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 66752 0 0 0 14028 26 0 0 25 0 8 0 721013434 1962696704 388848 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 1916696

[startup+147.101 s]
/proc/loadavg: 7.96 7.95 7.32 9/573 16927
/proc/meminfo: memFree=25155428/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=1942400 CPUtime=1172.57 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 779432 0 0 0 116960 297 0 0 25 0 8 0 721013433 1989017600 391711 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16915/statm: 485600 391711 380 95 0 480582 0
[pid=16915/tid=16916] ppid=16913 vsize=1942400 CPUtime=144.11 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 99231 0 0 0 14367 44 0 0 25 0 8 0 721013434 1989017600 391711 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=1942400 CPUtime=146.89 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 113491 0 0 0 14651 38 0 0 25 0 8 0 721013434 1989017600 391711 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=1942400 CPUtime=146.91 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 97600 0 0 0 14653 38 0 0 25 0 8 0 721013434 1989017600 391711 33554432000 4194304 4580107 140735145141312 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=1942400 CPUtime=146.94 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 103931 0 0 0 14655 39 0 0 25 0 8 0 721013434 1989017600 391711 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=1942400 CPUtime=146.86 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 94816 0 0 0 14652 34 0 0 25 0 8 0 721013434 1989017600 391711 33554432000 4194304 4580107 140735145141312 18446744073709551615 4318458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=1942400 CPUtime=146.93 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 89425 0 0 0 14658 35 0 0 25 0 8 0 721013434 1989017600 391711 33554432000 4194304 4580107 140735145141312 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=1942400 CPUtime=146.93 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 67688 0 0 0 14666 27 0 0 25 0 8 0 721013434 1989017600 391711 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1172.57
Current children cumulated vsize (KiB) 1942400

[startup+150.3 s]
/proc/loadavg: 7.96 7.95 7.32 9/573 16927
/proc/meminfo: memFree=25141788/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=1942400 CPUtime=1198.09 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 782185 0 0 0 119511 298 0 0 25 0 8 0 721013433 1989017600 394464 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16915/statm: 485600 394464 380 95 0 480582 0
[pid=16915/tid=16916] ppid=16913 vsize=1942400 CPUtime=147.25 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 99441 0 0 0 14681 44 0 0 25 0 8 0 721013434 1989017600 394464 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=1942400 CPUtime=150.09 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 113744 0 0 0 14971 38 0 0 25 0 8 0 721013434 1989017600 394464 33554432000 4194304 4580107 140735145141312 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=1942400 CPUtime=150.11 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 97838 0 0 0 14973 38 0 0 25 0 8 0 721013434 1989017600 394464 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=1942400 CPUtime=150.13 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 104133 0 0 0 14974 39 0 0 25 0 8 0 721013434 1989017600 394464 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=1942400 CPUtime=150.06 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 95019 0 0 0 14972 34 0 0 25 0 8 0 721013434 1989017600 394464 33554432000 4194304 4580107 140735145141312 18446744073709551615 268272385659 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=1942400 CPUtime=150.12 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 89629 0 0 0 14977 35 0 0 25 0 8 0 721013434 1989017600 394464 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=1942400 CPUtime=150.12 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 67812 0 0 0 14985 27 0 0 25 0 8 0 721013434 1989017600 394464 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1198.09
Current children cumulated vsize (KiB) 1942400

[startup+153.501 s]
/proc/loadavg: 7.96 7.95 7.32 9/573 16927
/proc/meminfo: memFree=25156284/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=1942784 CPUtime=1223.64 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 785691 0 0 0 122064 300 0 0 25 0 8 0 721013433 1989410816 390265 33554432000 4194304 4580107 140735145141312 18446744073709551615 4295695 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16915/statm: 485696 390265 380 95 0 480678 0
[pid=16915/tid=16916] ppid=16913 vsize=1942784 CPUtime=150.38 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 99684 0 0 0 14994 44 0 0 25 0 8 0 721013434 1989410816 390265 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=1942784 CPUtime=153.29 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 114956 0 0 0 15291 38 0 0 25 0 8 0 721013434 1989410816 390265 33554432000 4194304 4580107 140735145141312 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=1942784 CPUtime=153.31 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 97965 0 0 0 15293 38 0 0 25 0 8 0 721013434 1989410816 390265 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=1942784 CPUtime=153.34 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 104357 0 0 0 15294 40 0 0 25 0 8 0 721013434 1989410816 390265 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=1942784 CPUtime=153.27 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 95250 0 0 0 15292 35 0 0 25 0 8 0 721013434 1989410816 390265 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=1942784 CPUtime=153.32 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 90755 0 0 0 15297 35 0 0 25 0 8 0 721013434 1989410816 390265 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=1942784 CPUtime=153.32 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 67920 0 0 0 15305 27 0 0 25 0 8 0 721013434 1989410816 390265 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1223.64
Current children cumulated vsize (KiB) 1942784

[startup+155.122 s]
/proc/loadavg: 7.96 7.95 7.32 9/573 16927
/proc/meminfo: memFree=25155512/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=1943112 CPUtime=1236.56 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 787531 0 0 0 123356 300 0 0 25 0 8 0 721013433 1989746688 390170 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16915/statm: 485778 390170 380 95 0 480760 0
[pid=16915/tid=16916] ppid=16913 vsize=1943112 CPUtime=151.96 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 100891 0 0 0 15152 44 0 0 25 0 8 0 721013434 1989746688 390170 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=1943112 CPUtime=154.92 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 115084 0 0 0 15453 39 0 0 25 0 8 0 721013434 1989746688 390170 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=1943112 CPUtime=154.93 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 97965 0 0 0 15455 38 0 0 25 0 8 0 721013434 1989746688 390170 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=1943112 CPUtime=154.96 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 104475 0 0 0 15456 40 0 0 25 0 8 0 721013434 1989746688 390170 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=1943112 CPUtime=154.89 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 95361 0 0 0 15454 35 0 0 25 0 8 0 721013434 1989746688 390170 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=1943112 CPUtime=154.94 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 90863 0 0 0 15459 35 0 0 25 0 8 0 721013434 1989746688 390170 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=1943112 CPUtime=154.94 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 67980 0 0 0 15467 27 0 0 25 0 8 0 721013434 1989746688 390170 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1236.56
Current children cumulated vsize (KiB) 1943112

[startup+155.5 s]
/proc/loadavg: 7.96 7.95 7.32 9/573 16927
/proc/meminfo: memFree=25155512/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=1943112 CPUtime=1239.59 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 787688 0 0 0 123659 300 0 0 25 0 8 0 721013433 1989746688 390327 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16915/statm: 485778 390327 380 95 0 480760 0
[pid=16915/tid=16916] ppid=16913 vsize=1943112 CPUtime=152.34 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 100921 0 0 0 15190 44 0 0 25 0 8 0 721013434 1989746688 390327 33554432000 4194304 4580107 140735145141312 18446744073709551615 4318755 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=1943112 CPUtime=155.3 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 115109 0 0 0 15491 39 0 0 25 0 8 0 721013434 1989746688 390327 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=1943112 CPUtime=155.31 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 97965 0 0 0 15493 38 0 0 25 0 8 0 721013434 1989746688 390327 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=1943112 CPUtime=155.34 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 104494 0 0 0 15494 40 0 0 25 0 8 0 721013434 1989746688 390327 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=1943112 CPUtime=155.27 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 95389 0 0 0 15492 35 0 0 25 0 8 0 721013434 1989746688 390327 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=1943112 CPUtime=155.32 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 90887 0 0 0 15497 35 0 0 25 0 8 0 721013434 1989746688 390327 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=1943112 CPUtime=155.32 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 67993 0 0 0 15505 27 0 0 25 0 8 0 721013434 1989746688 390327 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1239.59
Current children cumulated vsize (KiB) 1943112

[startup+155.7 s]
/proc/loadavg: 7.96 7.95 7.32 9/573 16927
/proc/meminfo: memFree=25155512/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=1943112 CPUtime=1241.19 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) R 16913 16915 16697 0 -1 4202496 787772 0 0 0 123819 300 0 0 25 0 8 0 721013433 1989746688 390411 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16915/statm: 485778 390411 380 95 0 480760 0
[pid=16915/tid=16916] ppid=16913 vsize=1943112 CPUtime=152.54 cores=0-7
/proc/16915/task/16916/stat : 16916 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 100939 0 0 0 15210 44 0 0 25 0 8 0 721013434 1989746688 390411 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16915/tid=16917] ppid=16913 vsize=1943112 CPUtime=155.5 cores=0-7
/proc/16915/task/16917/stat : 16917 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 115118 0 0 0 15511 39 0 0 25 0 8 0 721013434 1989746688 390411 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16915/tid=16918] ppid=16913 vsize=1943112 CPUtime=155.51 cores=0-7
/proc/16915/task/16918/stat : 16918 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 97965 0 0 0 15513 38 0 0 25 0 8 0 721013434 1989746688 390411 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16915/tid=16919] ppid=16913 vsize=1943112 CPUtime=155.54 cores=0-7
/proc/16915/task/16919/stat : 16919 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 104510 0 0 0 15514 40 0 0 25 0 8 0 721013434 1989746688 390411 33554432000 4194304 4580107 140735145141312 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=1943112 CPUtime=155.47 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 95401 0 0 0 15512 35 0 0 25 0 8 0 721013434 1989746688 390411 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16915/tid=16921] ppid=16913 vsize=1943112 CPUtime=155.52 cores=0-7
/proc/16915/task/16921/stat : 16921 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 90901 0 0 0 15517 35 0 0 25 0 8 0 721013434 1989746688 390411 33554432000 4194304 4580107 140735145141312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16915/tid=16922] ppid=16913 vsize=1943112 CPUtime=155.52 cores=0-7
/proc/16915/task/16922/stat : 16922 (strangenight2-m) R 16913 16915 16697 0 -1 4202560 68001 0 0 0 15525 27 0 0 25 0 8 0 721013434 1989746688 390411 33554432000 4194304 4580107 140735145141312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1241.19
Current children cumulated vsize (KiB) 1943112

[startup+155.8 s]
/proc/loadavg: 7.96 7.95 7.32 9/573 16927
/proc/meminfo: memFree=25155512/32950928 swapFree=49807316/67111528
[pid=16915] ppid=16913 vsize=0 CPUtime=1241.92 cores=0-7
/proc/16915/stat : 16915 (strangenight2-m) Z 16913 16915 16697 0 -1 4202524 787816 0 0 0 123890 302 0 0 25 0 2 0 721013433 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16915/statm: 0 0 0 0 0 0 0
[pid=16915/tid=16920] ppid=16913 vsize=0 CPUtime=155.57 cores=0-7
/proc/16915/task/16920/stat : 16920 (strangenight2-m) R 16913 16915 16697 0 -1 4203588 95408 0 0 0 15521 36 0 0 25 0 2 0 721013434 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 155.865
CPU time (s): 1241.99
CPU user time (s): 1238.91
CPU system time (s): 3.08553
CPU usage (%): 796.839
Max. virtual memory (cumulated for all children) (KiB): 1943112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1238.91
system time used= 3.08553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 787816
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= 157474
involuntary context switches= 5427

runsolver used 0.845871 second user time and 2.14267 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-22 21:55:46
IDJOB=3394310
IDBENCH=82482
IDSOLVER=1878
FILE ID=node122/3394310-1306094146
RUNJOBID= node122-1306092226-16711
PBS_JOBID= 13387942
Free space on /tmp= 73360 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394310-1306094146/watcher-3394310-1306094146 -o /tmp/evaluation-result-3394310-1306094146/solver-3394310-1306094146 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394310-1306094146.cnf

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

MD5SUM BENCH= 3fad4722cb319d6fee4192f2fe2c31ed
RANDOM SEED=1774405707

node122.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.820
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.64
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.820
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.820
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.75
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.820
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.820
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.75
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.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26720400 kB
Buffers:          3104 kB
Cached:          72916 kB
SwapCached:      43512 kB
Active:          27112 kB
Inactive:      5980612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26720400 kB
SwapTotal:    67111528 kB
SwapFree:     49807316 kB
Dirty:           10412 kB
Writeback:           0 kB
AnonPages:     5896256 kB
Mapped:           8660 kB
Slab:            57808 kB
PageTables:      92676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180714632 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= 73356 MiB
End job on node122 at 2011-05-22 21:58:22