Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1712.32 | 1712.89 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb |
MD5SUM | 35ffbede57b8807d38d913370f4c4486 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 448 |
Best CPU time to get the best result obtained on this benchmark | 1796.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 419 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 495618 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 495618 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655930-1276375382.opb. 0.00/0.00 c Instance file HOME/instance-2655930-1276375382.opb 0.00/0.00 c File size is 17233679 bytes. 2.59/2.63 c Highest Coefficient sum: 101 2.59/2.64 c ============================[ Problem Statistics ]============================= 2.59/2.64 c | | 2.59/2.64 c | Parsing time: 2.57 s | 2.59/2.64 c | Number Variables: 10000 | 2.59/2.64 c | Number Clauses: 656900 | 2.59/2.64 c | Number Cardinality: 0 | 2.59/2.64 c | Number PB Constraints: 0 | 6.09/6.12 c ============================[ Search Statistics ]============================== 6.09/6.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.12 c =============================================================================== 6.09/6.12 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.09/6.20 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.29/6.33 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.60/6.63 c =============================================================================== 6.60/6.63 c New solution: 6534 6.60/6.63 o 6534 6.60/6.63 c Elapsed CPU time: 6.50101 s Remaining CPU time: 173.499 s 6.60/6.63 c =============================================================================== 6.60/6.63 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.89/6.93 c =============================================================================== 6.89/6.93 c New solution: 6495 6.89/6.93 o 6495 6.89/6.93 c Elapsed CPU time: 6.79297 s Remaining CPU time: 173.207 s 6.89/6.93 c =============================================================================== 6.89/6.93 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 6.99/7.02 c | 390 | 10000 656902 1353400 | 240864 390 1187 | 0.000 % | 7.09/7.14 c | 542 | 10000 656902 1353400 | 264950 542 1226 | 0.000 % | 7.29/7.31 c | 767 | 10000 656902 1353400 | 291445 767 1087 | 0.000 % | 7.49/7.57 c | 1105 | 10000 656902 1353400 | 320590 1105 1127 | 0.000 % | 7.79/7.87 c =============================================================================== 7.79/7.87 c New solution: 6202 7.79/7.87 o 6202 7.79/7.87 c Elapsed CPU time: 7.71083 s Remaining CPU time: 172.289 s 7.79/7.87 c =============================================================================== 7.79/7.87 c | 1112 | 10000 656903 1363400 | 218967 1112 1125 | 0.000 % | 8.09/8.19 c =============================================================================== 8.09/8.19 c New solution: 6193 8.09/8.19 o 6193 8.09/8.19 c Elapsed CPU time: 8.02378 s Remaining CPU time: 171.976 s 8.09/8.19 c =============================================================================== 8.09/8.19 c | 1132 | 10000 656904 1373400 | 218968 1132 1115 | 0.000 % | 8.29/8.31 c | 1232 | 10000 656904 1373400 | 240864 1232 1098 | 0.000 % | 8.39/8.48 c | 1383 | 10000 656904 1373400 | 264951 1383 1062 | 0.000 % | 8.69/8.70 c | 1610 | 10000 656904 1373400 | 291446 1610 1009 | 0.000 % | 8.99/9.06 c | 1947 | 10000 656904 1373400 | 320591 1947 1070 | 0.000 % | 9.49/9.57 c | 2453 | 10000 656904 1373400 | 352650 2453 990 | 0.000 % | 10.28/10.35 c | 3212 | 10000 656904 1373400 | 387915 3212 930 | 0.000 % | 11.79/11.89 c | 4351 | 10000 656904 1373400 | 426706 4351 842 | 0.000 % | 13.68/13.79 c | 6060 | 10000 656904 1373400 | 469377 6060 876 | 0.000 % | 15.18/15.21 c =============================================================================== 15.18/15.21 c New solution: 6191 15.18/15.21 o 6191 15.18/15.21 c Elapsed CPU time: 15.0037 s Remaining CPU time: 164.996 s 15.18/15.21 c =============================================================================== 15.18/15.21 c | 7195 | 10000 656905 1383400 | 218968 7195 843 | 0.000 % | 15.30/15.34 c | 7295 | 10000 656905 1383400 | 240865 7295 841 | 0.000 % | 15.58/15.65 c =============================================================================== 15.58/15.65 c New solution: 6150 15.58/15.65 o 6150 15.58/15.65 c Elapsed CPU time: 15.4277 s Remaining CPU time: 164.572 s 15.58/15.65 c =============================================================================== 15.58/15.65 c | 7295 | 10000 656906 1393400 | 218968 7295 841 | 0.000 % | 15.69/15.79 c | 7395 | 10000 656906 1393400 | 240865 7395 834 | 0.000 % | 15.98/16.09 c =============================================================================== 15.98/16.09 c New solution: 5566 15.98/16.09 o 5566 15.98/16.09 c Elapsed CPU time: 15.8666 s Remaining CPU time: 164.133 s 15.98/16.09 c =============================================================================== 15.98/16.09 c | 7396 | 10000 656907 1403400 | 218969 7396 834 | 0.000 % | 16.19/16.24 c | 7496 | 10000 656907 1403400 | 240865 7496 829 | 0.000 % | 16.39/16.49 c | 7646 | 10000 656907 1403400 | 264952 7646 824 | 0.000 % | 16.69/16.77 c | 7871 | 10000 656907 1403400 | 291447 7871 818 | 0.000 % | 17.18/17.26 c | 8210 | 10000 656907 1403400 | 320592 8210 801 | 0.000 % | 17.98/18.09 c | 8717 | 10000 656907 1403400 | 352651 8717 785 | 0.000 % | 19.18/19.29 c | 9477 | 10000 656907 1403400 | 387916 9477 759 | 0.000 % | 20.79/20.81 c | 10616 | 10000 656907 1403400 | 426708 10616 735 | 0.000 % | 23.18/23.24 c | 12325 | 10000 656907 1403400 | 469379 12325 702 | 0.000 % | 23.48/23.58 c =============================================================================== 23.48/23.58 c New solution: 5564 23.48/23.58 o 5564 23.48/23.58 c Elapsed CPU time: 23.3135 s Remaining CPU time: 156.687 s 23.48/23.58 c =============================================================================== 23.48/23.58 c | 12359 | 10000 656908 1413400 | 218969 12359 702 | 0.000 % | 23.68/23.70 c | 12459 | 10000 656908 1413400 | 240866 12459 703 | 0.000 % | 23.98/24.01 c | 12609 | 10000 656908 1413400 | 264952 12609 702 | 0.000 % | 24.29/24.39 c | 12834 | 10000 656908 1413400 | 291448 12834 699 | 0.000 % | 24.78/24.83 c | 13171 | 10000 656908 1413400 | 320593 13171 695 | 0.000 % | 25.48/25.51 c | 13679 | 10000 656908 1413400 | 352652 13679 694 | 0.000 % | 26.68/26.71 c | 14440 | 10000 656908 1413400 | 387917 14440 688 | 0.000 % | 27.98/28.00 c | 15580 | 10000 656908 1413400 | 426709 15580 680 | 0.000 % | 30.18/30.21 c | 17289 | 10000 656908 1413400 | 469380 17289 668 | 0.000 % | 33.78/33.81 c | 19851 | 10000 656908 1413400 | 516318 19851 653 | 0.000 % | 38.37/38.40 c | 23696 | 10000 656908 1413400 | 567950 23696 645 | 0.000 % | 46.56/46.65 c | 29462 | 10000 656908 1413400 | 624745 29462 660 | 0.000 % | 58.55/58.66 c | 38111 | 10000 656908 1413400 | 687219 38111 653 | 0.000 % | 77.35/77.45 c | 51085 | 10000 656908 1413400 | 755941 51085 637 | 0.000 % | 156.52/156.61 c | 70547 | 10000 656908 1413400 | 831535 70547 1171 | 0.000 % | 180.91/181.05 c There are 0 assigned variables. 0 in cost function. 228.61/228.71 c core #1 228.61/228.71 c core #2 228.61/228.71 c core #3 228.61/228.71 c core #4 228.61/228.71 c core #5 228.61/228.71 c core #6 228.61/228.71 c core #7 228.61/228.71 c core #8 228.61/228.71 c core #9 228.61/228.71 c core #10 228.61/228.71 c core #11 228.61/228.71 c core #12 228.61/228.71 c core #13 228.61/228.71 c core #14 228.61/228.71 c core #15 228.61/228.71 c core #16 228.61/228.71 c core #17 228.61/228.71 c core #18 228.61/228.71 c core #19 228.61/228.71 c core #20 228.61/228.71 c core #21 228.61/228.71 c core #22 228.61/228.71 c core #23 228.61/228.71 c core #24 228.61/228.71 c core #25 228.61/228.71 c core #26 228.61/228.71 c core #27 228.61/228.71 c core #28 228.61/228.71 c core #29 228.61/228.71 c core #30 228.61/228.71 c core #31 228.61/228.71 c core #32 228.61/228.71 c core #33 228.61/228.71 c core #34 228.61/228.71 c core #35 228.61/228.71 c core #36 228.61/228.71 c core #37 228.61/228.71 c core #38 228.61/228.71 c core #39 228.61/228.71 c core #40 228.61/228.71 c core #41 228.61/228.71 c core #42 228.61/228.71 c core #43 228.61/228.71 c core #44 228.61/228.71 c core #45 228.61/228.71 c core #46 228.61/228.71 c core #47 228.61/228.71 c core #48 228.61/228.71 c core #49 228.61/228.71 c core #50 228.61/228.71 c core #51 228.61/228.71 c core #52 228.61/228.71 c core #53 228.61/228.71 c core #54 228.61/228.71 c core #55 228.61/228.71 c core #56 228.61/228.71 c core #57 228.61/228.71 c core #58 228.61/228.71 c core #59 228.61/228.71 c core #60 228.61/228.71 c core #61 228.61/228.71 c core #62 228.61/228.71 c core #63 228.61/228.71 c core #64 228.61/228.71 c core #65 228.61/228.71 c core #66 228.61/228.71 c core #67 228.61/228.71 c core #68 228.61/228.71 c core #69 228.61/228.71 c core #70 228.61/228.71 c core #71 228.61/228.71 c core #72 228.61/228.71 c core #73 228.61/228.71 c core #74 228.61/228.71 c core #75 228.61/228.71 c core #76 228.61/228.71 c core #77 228.61/228.71 c core #78 228.61/228.71 c core #79 228.61/228.71 c core #80 228.61/228.71 c core #81 228.61/228.71 c core #82 228.61/228.71 c core #83 228.61/228.71 c core #84 228.61/228.71 c core #85 228.61/228.71 c core #86 228.61/228.71 c core #87 228.61/228.71 c core #88 228.61/228.71 c core #89 228.61/228.71 c core #90 228.61/228.71 c core #91 228.61/228.71 c core #92 228.61/228.71 c core #93 228.61/228.71 c core #94 228.61/228.71 c core #95 228.61/228.71 c core #96 228.61/228.71 c core #97 228.61/228.71 c core #98 228.61/228.71 c core #99 228.61/228.71 c core #100 228.61/228.71 c core #101 228.61/228.71 c core #102 228.61/228.71 c core #103 228.61/228.71 c core #104 228.61/228.71 c core #105 228.61/228.71 c core #106 228.61/228.71 c core #107 228.61/228.71 c core #108 228.61/228.71 c core #109 228.61/228.71 c core #110 228.61/228.71 c core #111 228.61/228.71 c core #112 228.61/228.71 c core #113 228.61/228.71 c core #114 228.61/228.71 c core #115 228.61/228.71 c core #116 228.61/228.71 c core #117 228.61/228.71 c core #118 228.61/228.71 c core #119 228.61/228.71 c core #120 228.61/228.71 c core #121 228.61/228.71 c core #122 228.61/228.71 c core #123 228.61/228.71 c core #124 228.61/228.71 c ============================[ Search Statistics ]============================== 228.61/228.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.61/228.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.61/228.71 c =============================================================================== 228.61/228.71 c | 0 | 32941 699331 56998 | 233110 0 nan | 0.000 % | 228.61/228.74 c =============================================================================== 229.01/229.15 c core #125 229.01/229.15 c ============================[ Search Statistics ]============================== 229.01/229.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.01/229.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.01/229.15 c =============================================================================== 229.01/229.15 c | 0 | 33945 700180 58307 | 233393 0 nan | 0.000 % | 229.41/229.55 c =============================================================================== 229.81/229.98 c core #126 229.81/229.98 c ============================[ Search Statistics ]============================== 229.81/229.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.81/229.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.81/229.98 c =============================================================================== 229.81/229.98 c | 0 | 38639 704558 64214 | 234852 0 nan | 0.000 % | 229.90/230.07 c =============================================================================== 230.40/230.51 c core #127 230.40/230.51 c ============================[ Search Statistics ]============================== 230.40/230.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.40/230.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.40/230.51 c =============================================================================== 230.40/230.51 c | 0 | 40099 705932 66175 | 235310 0 nan | 0.000 % | 230.51/230.66 c | 100 | 40088 705932 66175 | 258841 97 974 | 19.319 % | 231.20/231.33 c =============================================================================== 231.70/231.81 c core #128 231.70/231.81 c ============================[ Search Statistics ]============================== 231.70/231.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.70/231.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.70/231.81 c =============================================================================== 231.70/231.81 c | 0 | 46245 711530 74246 | 237176 0 nan | 0.000 % | 231.80/232.00 c | 100 | 46245 711530 74246 | 260894 100 1131 | 16.921 % | 232.20/232.40 c | 255 | 46245 711530 74246 | 286983 255 1358 | 16.921 % | 232.70/232.84 c =============================================================================== 233.20/233.30 c core #129 233.20/233.30 c ============================[ Search Statistics ]============================== 233.20/233.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.20/233.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.20/233.30 c =============================================================================== 233.20/233.30 c | 0 | 47903 713066 76484 | 237688 0 nan | 0.000 % | 233.30/233.47 c | 101 | 47902 713066 76484 | 261457 100 806 | 16.413 % | 233.60/233.76 c | 251 | 47898 713066 76484 | 287603 242 1028 | 16.420 % | 234.00/234.17 c | 476 | 47894 713066 76484 | 316363 458 1069 | 16.427 % | 235.69/235.83 c =============================================================================== 236.19/236.32 c core #130 236.19/236.32 c ============================[ Search Statistics ]============================== 236.19/236.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.19/236.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.19/236.32 c =============================================================================== 236.19/236.32 c | 0 | 57061 721334 88894 | 240444 0 nan | 0.000 % | 236.40/236.59 c | 100 | 57061 721334 88894 | 264489 100 1207 | 14.041 % | 236.89/237.09 c | 250 | 57061 721334 88894 | 290938 250 810 | 14.041 % | 237.70/237.85 c | 475 | 57061 721334 88894 | 320031 475 825 | 14.041 % | 238.70/238.84 c | 812 | 57061 721334 88894 | 352035 812 893 | 14.041 % | 240.80/240.98 c | 1318 | 57061 721334 88894 | 387238 1318 1067 | 14.041 % | 243.40/243.55 c | 2077 | 57061 721334 88894 | 425962 2077 1267 | 14.041 % | 247.69/247.85 c | 3216 | 57061 721334 88894 | 468558 3216 1391 | 14.041 % | 254.69/254.82 c | 4929 | 57061 721334 88894 | 515414 4929 1522 | 14.041 % | 265.19/265.33 c | 7491 | 57061 721334 88894 | 566955 7491 1610 | 14.041 % | 285.99/286.14 c | 11338 | 57057 721334 88894 | 623651 11306 2380 | 14.047 % | 318.67/318.83 c | 17107 | 57053 721334 88894 | 686016 17056 2863 | 14.054 % | 369.55/369.72 c =============================================================================== 370.25/370.47 c core #131 370.25/370.47 c ============================[ Search Statistics ]============================== 370.25/370.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 370.25/370.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 370.25/370.47 c =============================================================================== 370.25/370.47 c | 0 | 68513 730539 105330 | 243513 0 nan | 0.000 % | 370.46/370.69 c | 100 | 68513 730539 105330 | 267864 100 873 | 11.875 % | 370.96/371.16 c | 251 | 68513 730539 105330 | 294650 251 485 | 11.875 % | 371.75/371.96 c | 479 | 68513 730539 105330 | 324115 479 795 | 11.875 % | 372.95/373.18 c | 818 | 68513 730539 105330 | 356527 818 855 | 11.875 % | 375.35/375.60 c | 1324 | 68513 730539 105330 | 392180 1324 1342 | 11.875 % | 378.05/378.28 c | 2085 | 68513 730539 105330 | 431398 2085 1237 | 11.875 % | 383.95/384.15 c | 3225 | 68513 730539 105330 | 474537 3225 1162 | 11.875 % | 393.35/393.57 c | 4935 | 68513 730539 105330 | 521991 4935 1225 | 11.875 % | 405.15/405.34 c | 7497 | 68513 730539 105330 | 574190 7497 1069 | 11.875 % | 429.03/429.29 c | 11341 | 68513 730539 105330 | 631610 11341 1490 | 11.875 % | 465.32/465.53 c | 17108 | 68512 730539 105330 | 694771 17105 1658 | 11.876 % | 525.30/525.56 c | 25757 | 68512 730539 105330 | 764248 25754 2112 | 11.876 % | 613.87/614.12 c | 38733 | 68512 730539 105330 | 840672 38730 2190 | 11.876 % | 784.04/784.37 c | 58195 | 68512 730539 105330 | 924740 58192 2587 | 11.876 % | 1025.95/1026.36 c | 87387 | 68512 730539 105330 | 1017214 87384 2528 | 11.876 % | 1495.79/1496.37 c | 131176 | 68512 730539 105330 | 1118935 131173 2798 | 11.876 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655930-1276375382/watcher-2655930-1276375382 -o /tmp/evaluation-result-2655930-1276375382/solver-2655930-1276375382 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655930-1276375382.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13052 /proc/meminfo: memFree=1815148/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=20276 CPUtime=0 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 466 0 0 0 0 0 0 0 20 0 1 0 13139861 20762624 384 1992294400 134512640 135751879 4287853728 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 5069 386 141 303 0 556 0 [startup+0.0311659 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13052 /proc/meminfo: memFree=1815148/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=21300 CPUtime=0.02 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 724 0 0 0 2 0 0 0 20 0 1 0 13139861 21811200 642 1992294400 134512640 135751879 4287853728 18446744073709551615 135203952 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 5325 643 178 303 0 812 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 21300 [startup+0.101175 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13052 /proc/meminfo: memFree=1815148/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=22352 CPUtime=0.09 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 1103 0 0 0 9 0 0 0 20 0 1 0 13139861 22888448 1022 1992294400 134512640 135751879 4287853728 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 5588 1023 295 303 0 1075 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22352 [startup+0.300202 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13052 /proc/meminfo: memFree=1815148/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=24960 CPUtime=0.29 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 2070 0 0 0 28 1 0 0 20 0 1 0 13139861 25559040 1988 1992294400 134512640 135751879 4287853728 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 6240 1988 618 303 0 1727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24960 [startup+0.700254 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13052 /proc/meminfo: memFree=1815148/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=29764 CPUtime=0.69 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 3900 0 0 0 67 2 0 0 20 0 1 0 13139861 30478336 3818 1992294400 134512640 135751879 4287853728 18446744073709551615 134559686 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 7441 3818 1255 303 0 2928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29764 [startup+1.50036 s] /proc/loadavg: 0.92 0.98 0.99 2/107 13053 /proc/meminfo: memFree=1801500/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=39224 CPUtime=1.49 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 7506 0 0 0 145 4 0 0 22 0 1 0 13139861 40165376 7424 1992294400 134512640 135751879 4287853728 18446744073709551615 134564525 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 9806 7424 2544 303 0 5293 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39224 [startup+3.10057 s] /proc/loadavg: 0.92 0.98 0.99 2/107 13053 /proc/meminfo: memFree=1788480/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=71660 CPUtime=3.09 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 22267 0 0 0 299 10 0 0 25 0 1 0 13139861 73379840 16981 1992294400 134512640 135751879 4287853728 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 17915 16981 143 303 0 17610 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 71660 [startup+6.30099 s] /proc/loadavg: 0.93 0.98 0.99 2/107 13053 /proc/meminfo: memFree=1737516/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=81060 CPUtime=6.29 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 24640 0 0 0 616 13 0 0 25 0 1 0 13139861 83005440 19354 1992294400 134512640 135751879 4287853728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 20265 19354 147 303 0 19960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81060 [startup+12.7008 s] /proc/loadavg: 0.93 0.98 0.99 2/107 13053 /proc/meminfo: memFree=1737640/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=81060 CPUtime=12.69 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 24641 0 0 0 1249 20 0 0 25 0 1 0 13139861 83005440 19355 1992294400 134512640 135751879 4287853728 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 20265 19355 147 303 0 19960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81060 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/107 13053 /proc/meminfo: memFree=1737640/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=81060 CPUtime=25.48 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 24641 0 0 0 2520 28 0 0 25 0 1 0 13139861 83005440 19355 1992294400 134512640 135751879 4287853728 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 20265 19355 147 303 0 19960 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81060 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/107 13055 /proc/meminfo: memFree=1690892/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=128888 CPUtime=51.06 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 36598 0 0 0 5062 44 0 0 25 0 1 0 13139861 131981312 31312 1992294400 134512640 135751879 4287853728 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 32222 31312 147 303 0 31917 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 128888 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 13057 /proc/meminfo: memFree=1565032/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=253904 CPUtime=102.25 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 67851 0 0 0 10160 65 0 0 25 0 1 0 13139861 259997696 62565 1992294400 134512640 135751879 4287853728 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 63476 62565 147 303 0 63171 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 253904 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13057 /proc/meminfo: memFree=1428260/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=392784 CPUtime=162.22 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 102541 0 0 0 16134 88 0 0 25 0 1 0 13139861 402210816 97255 1992294400 134512640 135751879 4287853728 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 98196 97255 147 303 0 97891 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 392784 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13059 /proc/meminfo: memFree=1345924/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=471336 CPUtime=222.21 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 123884 0 0 0 22121 100 0 0 25 0 1 0 13139861 482648064 117044 1992294400 134512640 135751879 4287853728 18446744073709551615 134517232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 117834 117044 150 303 0 117529 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 471336 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13061 /proc/meminfo: memFree=1345924/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=471336 CPUtime=282.18 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 123920 0 0 0 28106 112 0 0 25 0 1 0 13139861 482648064 117080 1992294400 134512640 135751879 4287853728 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 117834 117080 151 303 0 117529 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 471336 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13063 /proc/meminfo: memFree=1345800/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=471336 CPUtime=342.17 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 123920 0 0 0 34099 118 0 0 25 0 1 0 13139861 482648064 117080 1992294400 134512640 135751879 4287853728 18446744073709551615 134616442 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 117834 117080 151 303 0 117529 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 471336 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13065 /proc/meminfo: memFree=1345800/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=471336 CPUtime=402.14 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 123930 0 0 0 40087 127 0 0 25 0 1 0 13139861 482648064 117090 1992294400 134512640 135751879 4287853728 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 117834 117090 151 303 0 117529 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 471336 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13065 /proc/meminfo: memFree=1345676/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=471336 CPUtime=462.13 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 123930 0 0 0 46079 134 0 0 25 0 1 0 13139861 482648064 117090 1992294400 134512640 135751879 4287853728 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 117834 117090 151 303 0 117529 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 471336 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13067 /proc/meminfo: memFree=1345676/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=471336 CPUtime=522.11 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 123930 0 0 0 52071 140 0 0 25 0 1 0 13139861 482648064 117090 1992294400 134512640 135751879 4287853728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 117834 117090 151 303 0 117529 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 471336 [startup+582.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13069 /proc/meminfo: memFree=1345676/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=471336 CPUtime=582.08 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 123930 0 0 0 58061 147 0 0 25 0 1 0 13139861 482648064 117090 1992294400 134512640 135751879 4287853728 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 117834 117090 151 303 0 117529 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 471336 [startup+642.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13071 /proc/meminfo: memFree=1341584/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=475628 CPUtime=642.07 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 124996 0 0 0 64052 155 0 0 25 0 1 0 13139861 487043072 118156 1992294400 134512640 135751879 4287853728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 118907 118156 151 303 0 118602 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 475628 [startup+702.301 s] ################ # More data... # ################ [startup+762.308 s] /proc/loadavg: 0.99 0.98 0.99 3/107 13073 /proc/meminfo: memFree=1153724/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=663212 CPUtime=762.03 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 171896 0 0 0 76015 188 0 0 25 0 1 0 13139861 679129088 165056 1992294400 134512640 135751879 4287853728 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 165803 165056 151 303 0 165498 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 663212 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13075 /proc/meminfo: memFree=1081556/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=735796 CPUtime=822.02 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 190010 0 0 0 81997 205 0 0 25 0 1 0 13139861 753455104 183170 1992294400 134512640 135751879 4287853728 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 183949 183170 151 303 0 183644 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 735796 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13077 /proc/meminfo: memFree=1022036/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=794796 CPUtime=881.99 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 204788 0 0 0 87980 219 0 0 25 0 1 0 13139861 813871104 197948 1992294400 134512640 135751879 4287853728 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 198699 197948 151 303 0 198394 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 794796 [startup+942.301 s] /proc/loadavg: 1.06 1.00 1.00 2/107 13079 /proc/meminfo: memFree=971692/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=845672 CPUtime=941.97 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 217502 0 0 0 93963 234 0 0 25 0 1 0 13139861 865968128 210662 1992294400 134512640 135751879 4287853728 18446744073709551615 134607781 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 211418 210662 151 303 0 211113 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 845672 [startup+1002.3 s] /proc/loadavg: 1.02 1.00 1.00 2/107 13081 /proc/meminfo: memFree=873856/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=942616 CPUtime=1001.95 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 241745 0 0 0 99947 248 0 0 25 0 1 0 13139861 965238784 234905 1992294400 134512640 135751879 4287853728 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 235654 234905 151 303 0 235349 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 942616 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 13081 /proc/meminfo: memFree=802308/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1014120 CPUtime=1061.94 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 259620 0 0 0 105932 262 0 0 25 0 1 0 13139861 1038458880 252780 1992294400 134512640 135751879 4287853728 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 253530 252780 151 303 0 253225 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1014120 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13092 /proc/meminfo: memFree=727660/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1088308 CPUtime=1121.91 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 278121 0 0 0 111920 271 0 0 25 0 1 0 13139861 1114427392 271281 1992294400 134512640 135751879 4287853728 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 272077 271281 151 303 0 271772 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1088308 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13094 /proc/meminfo: memFree=667148/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1148924 CPUtime=1181.9 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 293282 0 0 0 117905 285 0 0 25 0 1 0 13139861 1176498176 286442 1992294400 134512640 135751879 4287853728 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 287231 286442 151 303 0 286926 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1148924 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13096 /proc/meminfo: memFree=609488/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1206620 CPUtime=1241.87 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 307699 0 0 0 123888 299 0 0 25 0 1 0 13139861 1235578880 300859 1992294400 134512640 135751879 4287853728 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 301655 300859 151 303 0 301350 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1206620 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13098 /proc/meminfo: memFree=517852/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1297356 CPUtime=1301.86 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 330380 0 0 0 129874 312 0 0 25 0 1 0 13139861 1328492544 323540 1992294400 134512640 135751879 4287853728 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 324339 323540 151 303 0 324034 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1297356 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13098 /proc/meminfo: memFree=424232/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1392008 CPUtime=1361.84 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 354076 0 0 0 135854 330 0 0 25 0 1 0 13139861 1425416192 347236 1992294400 134512640 135751879 4287853728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 348002 347236 151 303 0 347697 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1392008 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13100 /proc/meminfo: memFree=324908/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1490180 CPUtime=1421.81 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 378610 0 0 0 141835 346 0 0 25 0 1 0 13139861 1525944320 371770 1992294400 134512640 135751879 4287853728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 372545 371770 151 303 0 372240 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1490180 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13102 /proc/meminfo: memFree=271216/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1544384 CPUtime=1481.78 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 392161 0 0 0 147820 358 0 0 25 0 1 0 13139861 1581449216 385321 1992294400 134512640 135751879 4287853728 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 386096 385321 151 303 0 385791 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1544384 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13104 /proc/meminfo: memFree=208472/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1606332 CPUtime=1541.77 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 407652 0 0 0 153807 370 0 0 25 0 1 0 13139861 1644883968 400812 1992294400 134512640 135751879 4287853728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 401583 400812 151 303 0 401278 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1606332 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13106 /proc/meminfo: memFree=120184/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1695804 CPUtime=1601.75 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 429958 0 0 0 159791 384 0 0 25 0 1 0 13139861 1736503296 423118 1992294400 134512640 135751879 4287853728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 423951 423118 151 303 0 423646 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1695804 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13106 /proc/meminfo: memFree=39088/2059040 swapFree=4164948/4192956 [pid=13052] ppid=13050 vsize=1775904 CPUtime=1661.73 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 449982 0 0 0 165775 398 0 0 25 0 1 0 13139861 1818525696 443142 1992294400 134512640 135751879 4287853728 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 443976 443142 151 303 0 443671 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1775904 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1712.71 s] /proc/loadavg: 1.19 1.05 1.01 2/107 13108 /proc/meminfo: memFree=10500/2059040 swapFree=4148192/4192956 [pid=13052] ppid=13050 vsize=1843448 CPUtime=1712.13 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4202496 466864 0 0 0 170805 408 0 0 25 0 1 0 13139861 1887690752 460024 1992294400 134512640 135751879 4287853728 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13052/statm: 460862 460024 151 303 0 460557 0 Current children cumulated CPU time (s) 1712.13 Current children cumulated vsize (KiB) 1843448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1712.81 s] /proc/loadavg: 1.19 1.05 1.01 2/107 13108 /proc/meminfo: memFree=10500/2059040 swapFree=4148192/4192956 [pid=13052] ppid=13050 vsize=0 CPUtime=1712.23 /proc/13052/stat : 13052 (wbo1.4b) R 13050 13052 12507 0 -1 4203524 466864 0 0 0 170805 418 0 0 25 0 1 0 13139861 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13052/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1712.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1712.89 CPU time (s): 1712.32 CPU user time (s): 1708.05 CPU system time (s): 4.26535 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (KiB): 1843448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1708.05 system time used= 4.26535 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466864 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= 9 involuntary context switches= 3303 runsolver used 2.99854 second user time and 7.92879 second system time The end
Begin job on node013 at 2010-06-12 22:43:04 IDJOB=2655930 IDBENCH=1964 IDSOLVER=1161 FILE ID=node013/2655930-1276375382 PBS_JOBID= 11173222 Free space on /tmp= 62448 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655930-1276375382/watcher-2655930-1276375382 -o /tmp/evaluation-result-2655930-1276375382/solver-2655930-1276375382 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655930-1276375382.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 35ffbede57b8807d38d913370f4c4486 RANDOM SEED=1685259311 node013.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1815676 kB Buffers: 30812 kB Cached: 113908 kB SwapCached: 1444 kB Active: 92832 kB Inactive: 84696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1815676 kB SwapTotal: 4192956 kB SwapFree: 4164948 kB Dirty: 19508 kB Writeback: 0 kB AnonPages: 31340 kB Mapped: 14340 kB Slab: 44120 kB PageTables: 3936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179832 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node013 at 2010-06-12 23:11:38