Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.21 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_10.r.opb |
MD5SUM | 863d0ff562dc066d0163e86da5775aea |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1.17182 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 100 |
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 | 10 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680894-1277457123.opb. 0.00/0.00 c Instance file HOME/instance-2680894-1277457123.opb 0.00/0.00 c File size is 8515 bytes. 0.00/0.00 c Highest Coefficient sum: 11 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 100 | 0.00/0.00 c | Number Clauses: 100 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 100 100 1000 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 18 0.00/0.00 o 18 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 100 101 1100 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 100 101 1100 | 5500 101 38 | 0.010 % | 0.00/0.01 c | 251 | 100 101 1100 | 6050 251 38 | 0.010 % | 0.00/0.01 c | 477 | 100 101 1100 | 6655 477 38 | 0.010 % | 0.00/0.02 c | 814 | 100 101 1100 | 7320 814 38 | 0.010 % | 0.03/0.04 c | 1321 | 100 101 1100 | 8052 1321 39 | 0.010 % | 0.03/0.06 c | 2080 | 100 101 1100 | 8857 2080 38 | 0.010 % | 0.09/0.11 c | 3219 | 100 101 1100 | 9743 3219 39 | 0.010 % | 0.19/0.20 c | 4929 | 100 101 1100 | 10717 4929 40 | 0.010 % | 0.29/0.36 c | 7491 | 100 101 1100 | 11789 7491 40 | 0.010 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 17 0.39/0.45 o 17 0.39/0.45 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 9142 | 100 102 1200 | 5000 9142 40 | 0.010 % | 0.39/0.47 c | 9243 | 100 102 1200 | 5500 4672 40 | 0.010 % | 0.39/0.48 c | 9394 | 100 102 1200 | 6050 4823 40 | 0.010 % | 0.39/0.49 c | 9619 | 100 102 1200 | 6655 5048 40 | 0.010 % | 0.49/0.50 c | 9956 | 100 102 1200 | 7320 5385 40 | 0.010 % | 0.49/0.52 c | 10462 | 100 102 1200 | 8052 5891 39 | 0.010 % | 0.49/0.56 c | 11221 | 100 102 1200 | 8857 6650 39 | 0.010 % | 0.59/0.62 c | 12360 | 100 102 1200 | 9743 7789 39 | 0.010 % | 0.69/0.71 c | 14068 | 100 102 1200 | 10717 9497 39 | 0.010 % | 0.79/0.87 c | 16630 | 100 102 1200 | 11789 6663 37 | 0.010 % | 1.10/1.13 c | 20474 | 100 102 1200 | 12968 10507 37 | 0.010 % | 1.49/1.54 c | 26241 | 100 102 1200 | 14265 9753 39 | 0.010 % | 2.19/2.26 c | 34891 | 100 102 1200 | 15692 11235 39 | 0.010 % | 3.59/3.60 c | 47865 | 100 102 1200 | 17261 8444 40 | 0.010 % | 6.09/6.12 c | 67326 | 100 102 1200 | 18987 10571 42 | 0.010 % | 9.48/9.51 c | 96518 | 100 102 1200 | 20886 11177 38 | 0.010 % | 11.39/11.44 c =============================================================================== 11.39/11.44 c New solution: 16 11.39/11.44 o 16 11.39/11.44 c Elapsed CPU time: 11.1453 s Remaining CPU time: 168.855 s 11.39/11.44 c =============================================================================== 11.39/11.44 c | 112829 | 100 103 1300 | 5000 17009 39 | 0.010 % | 11.49/11.52 c | 112930 | 100 103 1300 | 5500 4354 38 | 0.010 % | 11.49/11.53 c | 113080 | 100 103 1300 | 6050 4504 38 | 0.010 % | 11.49/11.54 c | 113305 | 100 103 1300 | 6655 4729 38 | 0.010 % | 11.49/11.56 c | 113643 | 100 103 1300 | 7320 5067 37 | 0.010 % | 11.49/11.58 c | 114149 | 100 103 1300 | 8052 5573 37 | 0.010 % | 11.59/11.62 c | 114909 | 100 103 1300 | 8857 6333 37 | 0.010 % | 11.59/11.68 c | 116048 | 100 103 1300 | 9743 7472 37 | 0.010 % | 11.68/11.78 c | 117756 | 100 103 1300 | 10717 9180 36 | 0.010 % | 11.88/11.95 c | 120318 | 100 103 1300 | 11789 6347 36 | 0.010 % | 12.19/12.21 c | 124162 | 100 103 1300 | 12968 10191 37 | 0.010 % | 12.59/12.66 c | 129929 | 100 103 1300 | 14265 9438 38 | 0.010 % | 13.39/13.40 c | 138580 | 100 103 1300 | 15692 10922 37 | 0.010 % | 14.68/14.70 c | 151554 | 100 103 1300 | 17261 8135 34 | 0.010 % | 16.58/16.62 c | 171015 | 100 103 1300 | 18987 10266 37 | 0.010 % | 20.49/20.56 c | 200207 | 100 103 1300 | 20886 10876 40 | 0.010 % | 26.98/27.03 c | 243997 | 100 103 1300 | 22974 12753 37 | 0.010 % | 37.29/37.37 c | 309681 | 100 103 1300 | 25272 20046 41 | 0.010 % | 44.99/45.10 c =============================================================================== 44.99/45.10 c New solution: 15 44.99/45.10 o 15 44.99/45.10 c Elapsed CPU time: 44.1173 s Remaining CPU time: 135.883 s 44.99/45.10 c =============================================================================== 44.99/45.10 c | 359074 | 100 104 1400 | 5000 14826 38 | 0.010 % | 45.09/45.16 c | 359175 | 100 104 1400 | 5500 3808 36 | 0.010 % | 45.09/45.17 c | 359325 | 100 104 1400 | 6050 3958 37 | 0.010 % | 45.09/45.18 c | 359550 | 100 104 1400 | 6655 4183 36 | 0.010 % | 45.09/45.19 c | 359887 | 100 104 1400 | 7320 4520 36 | 0.010 % | 45.18/45.22 c | 360394 | 100 104 1400 | 8052 5027 36 | 0.010 % | 45.18/45.25 c | 361154 | 100 104 1400 | 8857 5787 35 | 0.010 % | 45.28/45.31 c | 362294 | 100 104 1400 | 9743 6927 36 | 0.010 % | 45.37/45.40 c | 364002 | 100 104 1400 | 10717 8635 35 | 0.010 % | 45.48/45.57 c | 366565 | 100 104 1400 | 11789 5807 34 | 0.010 % | 45.78/45.84 c | 370409 | 100 104 1400 | 12968 9651 36 | 0.010 % | 46.19/46.29 c | 376175 | 100 104 1400 | 14265 8900 37 | 0.010 % | 46.87/46.97 c | 384825 | 100 104 1400 | 15692 10385 35 | 0.010 % | 48.28/48.31 c | 397800 | 100 104 1400 | 17261 15481 37 | 0.010 % | 50.38/50.47 c | 417262 | 100 104 1400 | 18987 8955 36 | 0.010 % | 53.98/54.00 c | 446454 | 100 104 1400 | 20886 9579 34 | 0.010 % | 59.67/59.73 c | 490244 | 100 104 1400 | 22974 11466 35 | 0.010 % | 67.97/68.09 c | 555929 | 100 104 1400 | 25272 17702 35 | 0.010 % | 83.58/83.67 c | 654455 | 100 104 1400 | 27799 20264 37 | 0.010 % | 107.37/107.42 c | 802244 | 100 104 1400 | 30579 20088 34 | 0.010 % | 148.05/148.18 c | 1023927 | 100 104 1400 | 33637 14547 32 | 0.010 % | 176.75/176.80 c =============================================================================== 176.75/176.80 c New solution: 14 176.75/176.80 o 14 176.75/176.80 c Elapsed CPU time: 173.355 s Remaining CPU time: 6.64535 s 176.75/176.80 c =============================================================================== 176.75/176.80 c | 1187948 | 100 105 1500 | 5000 25415 33 | 0.010 % | 176.85/177.00 c | 1188050 | 100 105 1500 | 5500 2888 34 | 0.010 % | 176.95/177.00 c | 1188200 | 100 105 1500 | 6050 3038 34 | 0.010 % | 176.95/177.01 c | 1188425 | 100 105 1500 | 6655 3263 34 | 0.010 % | 176.95/177.03 c | 1188763 | 100 105 1500 | 7320 3601 33 | 0.010 % | 176.95/177.05 c | 1189269 | 100 105 1500 | 8052 4107 34 | 0.010 % | 176.95/177.08 c | 1190029 | 100 105 1500 | 8857 4867 33 | 0.010 % | 177.05/177.14 c | 1191169 | 100 105 1500 | 9743 6007 33 | 0.010 % | 177.15/177.23 c | 1192877 | 100 105 1500 | 10717 7715 34 | 0.010 % | 177.24/177.39 c | 1195440 | 100 105 1500 | 11789 10278 33 | 0.010 % | 177.54/177.67 c | 1199284 | 100 105 1500 | 12968 8196 33 | 0.010 % | 178.06/178.11 c | 1205051 | 100 105 1500 | 14265 7448 31 | 0.010 % | 178.64/178.77 c | 1213702 | 100 105 1500 | 15692 8934 32 | 0.010 % | 179.85/179.96 c | 1226676 | 100 105 1500 | 17261 14029 33 | 0.010 % | 181.84/181.95 c | 1246138 | 100 105 1500 | 18987 16169 33 | 0.010 % | 183.55/183.67 c There are 0 assigned variables. 0 in cost function. 184.95/185.00 c core #1 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c Core size: 11 Core Weight: 1 Total Weight: 1 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c core #2 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c Core size: 11 Core Weight: 1 Total Weight: 2 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c core #3 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c Core size: 11 Core Weight: 1 Total Weight: 3 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c core #4 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c Core size: 11 Core Weight: 1 Total Weight: 4 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c core #5 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c Core size: 21 Core Weight: 1 Total Weight: 5 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c core #6 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c Core size: 41 Core Weight: 1 Total Weight: 6 184.95/185.00 c 184.95/185.00 c 184.95/185.00 c ============================[ Search Statistics ]============================== 184.95/185.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.95/185.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.95/185.00 c =============================================================================== 184.95/185.00 c | 0 | 172 211 1764 | 5000 0 nan | 0.000 % | 184.95/185.01 c =============================================================================== 184.95/185.01 c core #7 184.95/185.01 c 184.95/185.01 c 184.95/185.01 c Core size: 100 Core Weight: 1 Total Weight: 7 184.95/185.01 c 184.95/185.01 c 184.95/185.01 c ============================[ Search Statistics ]============================== 184.95/185.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.95/185.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.95/185.01 c =============================================================================== 184.95/185.01 c | 0 | 284 212 1969 | 5000 0 nan | 0.000 % | 184.95/185.02 c | 108 | 284 212 1969 | 5500 108 70 | 0.352 % | 184.95/185.03 c | 258 | 284 212 1969 | 6050 258 57 | 0.352 % | 184.95/185.05 c | 483 | 284 212 1969 | 6655 483 54 | 0.352 % | 184.95/185.09 c | 824 | 284 212 1969 | 7320 824 55 | 0.352 % | 185.05/185.17 c | 1334 | 284 212 1969 | 8052 1334 52 | 0.352 % | 185.14/185.27 c | 2096 | 284 212 1969 | 8857 2096 51 | 0.352 % | 185.35/185.46 c | 3235 | 284 212 1969 | 9743 3235 46 | 0.352 % | 185.65/185.77 c | 4943 | 284 212 1969 | 10717 4943 43 | 0.352 % | 185.75/185.86 c =============================================================================== 185.85/185.92 c core #8 185.85/185.92 c 185.85/185.92 c 185.85/185.92 c Core size: 102 Core Weight: 1 Total Weight: 8 185.85/185.92 c 185.85/185.92 c 185.85/185.92 c ============================[ Search Statistics ]============================== 185.85/185.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.92 c =============================================================================== 185.85/185.92 c | 0 | 385 213 2170 | 5000 0 nan | 0.000 % | 185.85/185.93 c | 103 | 385 213 2170 | 5500 103 94 | 0.001 % | 185.85/185.94 c | 255 | 385 213 2170 | 6050 255 90 | 0.001 % | 185.85/185.97 c | 480 | 385 213 2170 | 6655 480 81 | 0.001 % | 185.94/186.00 c | 819 | 385 213 2170 | 7320 819 71 | 0.001 % | 185.94/186.05 c | 1326 | 385 213 2170 | 8052 1326 67 | 0.001 % | 186.05/186.11 c | 2085 | 385 213 2170 | 8857 2085 56 | 0.001 % | 186.15/186.27 c | 3225 | 385 213 2170 | 9743 3225 59 | 0.001 % | 186.44/186.57 c | 4937 | 385 213 2170 | 10717 4937 62 | 0.001 % | 187.04/187.10 c | 7502 | 385 213 2170 | 11789 7502 66 | 0.001 % | 187.84/187.96 c | 11347 | 385 213 2170 | 12968 11347 65 | 0.001 % | 189.65/189.72 c | 17116 | 385 213 2170 | 14265 10587 64 | 0.001 % | 192.35/192.47 c | 25767 | 385 213 2170 | 15692 12039 69 | 0.001 % | 196.64/196.79 c | 38741 | 385 213 2170 | 17261 9181 83 | 0.001 % | 205.34/205.43 c | 58202 | 385 213 2170 | 18987 11232 79 | 0.001 % | 217.94/218.03 c | 87395 | 385 213 2170 | 20886 11740 79 | 0.001 % | 233.23/233.38 c | 131185 | 385 213 2170 | 22974 13547 76 | 0.001 % | 261.13/261.24 c | 196873 | 385 213 2170 | 25272 21520 75 | 0.001 % | 300.51/300.69 c | 295401 | 284 213 2170 | 27799 9540 62 | 26.235 % | 301.02/301.11 c =============================================================================== 307.82/307.95 c core #9 307.82/307.95 c 307.82/307.95 c 307.82/307.95 c Core size: 101 Core Weight: 1 Total Weight: 9 307.82/307.95 c 307.82/307.95 c 307.82/307.95 c ============================[ Search Statistics ]============================== 307.82/307.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 307.82/307.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 307.82/307.95 c =============================================================================== 307.82/307.95 c | 0 | 485 214 2370 | 5000 0 nan | 0.000 % | 307.92/308.07 c | 102 | 485 214 2370 | 5500 102 121 | 0.000 % | 307.92/308.08 c | 253 | 485 214 2370 | 6050 253 82 | 0.000 % | 308.01/308.10 c | 481 | 485 214 2370 | 6655 481 66 | 0.000 % | 308.01/308.14 c | 818 | 485 214 2370 | 7320 818 65 | 0.000 % | 308.01/308.19 c | 1332 | 485 214 2370 | 8052 1332 64 | 0.000 % | 308.11/308.28 c | 2093 | 485 214 2370 | 8857 2093 62 | 0.000 % | 308.32/308.44 c | 3232 | 485 214 2370 | 9743 3232 62 | 0.000 % | 308.71/308.81 c | 4941 | 485 214 2370 | 10717 4941 63 | 0.000 % | 309.31/309.43 c | 7504 | 485 214 2370 | 11789 7504 70 | 0.000 % | 310.22/310.37 c | 11348 | 485 214 2370 | 12968 11348 73 | 0.000 % | 311.71/311.80 c | 17116 | 485 214 2370 | 14265 10576 74 | 0.000 % | 313.91/314.09 c | 25770 | 485 214 2370 | 15692 12044 79 | 0.000 % | 318.92/319.06 c | 38744 | 485 214 2370 | 17261 9161 97 | 0.000 % | 329.41/329.56 c | 58207 | 485 214 2370 | 18987 11179 102 | 0.000 % | 344.12/344.27 c | 87403 | 485 214 2370 | 20886 11624 88 | 0.000 % | 367.60/367.75 c | 131192 | 485 214 2370 | 22974 13293 109 | 0.000 % | 408.00/408.15 c | 196885 | 485 214 2370 | 25272 21066 119 | 0.000 % | 485.37/485.50 c | 295421 | 485 214 2370 | 27799 16114 156 | 0.000 % | 612.84/613.04 c | 443210 | 485 214 2370 | 30579 14088 120 | 0.000 % | 793.30/793.50 c | 664893 | 485 214 2370 | 33637 25533 131 | 0.000 % | 1124.62/1124.94 c | 997422 | 485 214 2370 | 37001 33143 147 | 0.000 % | 1669.39/1669.84 c | 1496210 | 485 214 2370 | 40701 15503 145 | 0.000 % |
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-2680894-1277457123/watcher-2680894-1277457123 -o /tmp/evaluation-result-2680894-1277457123/solver-2680894-1277457123 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680894-1277457123.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: 1.00 1.00 0.93 3/107 22429 /proc/meminfo: memFree=1803392/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=2576 CPUtime=0 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 119368060 2637824 198 1992294400 134512640 135752675 4291129264 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 644 198 145 303 0 339 0 [startup+0.0347789 s] /proc/loadavg: 1.00 1.00 0.93 3/107 22429 /proc/meminfo: memFree=1803392/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=2708 CPUtime=0.03 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 343 0 0 0 3 0 0 0 20 0 1 0 119368060 2772992 258 1992294400 134512640 135752675 4291129264 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 677 258 145 303 0 372 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2708 [startup+0.100785 s] /proc/loadavg: 1.00 1.00 0.93 3/107 22429 /proc/meminfo: memFree=1803392/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=3240 CPUtime=0.09 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 468 0 0 0 9 0 0 0 20 0 1 0 119368060 3317760 383 1992294400 134512640 135752675 4291129264 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 810 383 145 303 0 505 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3240 [startup+0.300803 s] /proc/loadavg: 1.00 1.00 0.93 3/107 22429 /proc/meminfo: memFree=1803392/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=4288 CPUtime=0.29 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 738 0 0 0 27 2 0 0 20 0 1 0 119368060 4390912 653 1992294400 134512640 135752675 4291129264 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 1072 653 145 303 0 767 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4288 [startup+0.700838 s] /proc/loadavg: 1.00 1.00 0.93 3/107 22429 /proc/meminfo: memFree=1803392/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=6256 CPUtime=0.69 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 1206 0 0 0 65 4 0 0 21 0 1 0 119368060 6406144 1121 1992294400 134512640 135752675 4291129264 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 1564 1122 145 303 0 1259 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6256 [startup+1.50091 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22430 /proc/meminfo: memFree=1798176/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=9264 CPUtime=1.49 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 1968 0 0 0 142 7 0 0 23 0 1 0 119368060 9486336 1883 1992294400 134512640 135752675 4291129264 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 2316 1884 145 303 0 2011 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9264 [startup+3.10105 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22430 /proc/meminfo: memFree=1794084/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=14268 CPUtime=3.09 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 3211 0 0 0 297 12 0 0 25 0 1 0 119368060 14610432 3126 1992294400 134512640 135752675 4291129264 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 3567 3126 145 303 0 3262 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14268 [startup+6.30134 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22430 /proc/meminfo: memFree=1785776/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=21216 CPUtime=6.29 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 4953 0 0 0 611 18 0 0 25 0 1 0 119368060 21725184 4868 1992294400 134512640 135752675 4291129264 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 5304 4868 145 303 0 4999 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21216 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22430 /proc/meminfo: memFree=1770532/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=36828 CPUtime=12.69 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 8850 0 0 0 1235 34 0 0 25 0 1 0 119368060 37711872 8765 1992294400 134512640 135752675 4291129264 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 9207 8765 145 303 0 8902 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36828 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22430 /proc/meminfo: memFree=1742260/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=63496 CPUtime=25.48 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 15506 0 0 0 2486 62 0 0 25 0 1 0 119368060 65019904 15421 1992294400 134512640 135752675 4291129264 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 15874 15421 145 303 0 15569 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 63496 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22432 /proc/meminfo: memFree=1695264/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=111336 CPUtime=51.08 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 27456 0 0 0 4992 116 0 0 25 0 1 0 119368060 114008064 27371 1992294400 134512640 135752675 4291129264 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 27834 27371 145 303 0 27529 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 111336 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22434 /proc/meminfo: memFree=1609332/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=195624 CPUtime=102.27 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 48485 0 0 0 10011 216 0 0 25 0 1 0 119368060 200318976 48400 1992294400 134512640 135752675 4291129264 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 48906 48400 145 303 0 48601 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 195624 [startup+162.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22434 /proc/meminfo: memFree=1531956/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=273656 CPUtime=162.25 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 67982 0 0 0 15913 312 0 0 25 0 1 0 119368060 280223744 67897 1992294400 134512640 135752675 4291129264 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 68414 67897 145 303 0 68109 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 273656 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22436 /proc/meminfo: memFree=1462268/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=342392 CPUtime=222.23 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 85225 0 0 0 21826 397 0 0 25 0 1 0 119368060 350609408 85107 1992294400 134512640 135752675 4291129264 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 85598 85107 146 303 0 85293 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 342392 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22438 /proc/meminfo: memFree=1409320/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=395392 CPUtime=282.22 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 98464 0 0 0 27765 457 0 0 25 0 1 0 119368060 404881408 98346 1992294400 134512640 135752675 4291129264 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 98848 98346 146 303 0 98543 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 395392 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22440 /proc/meminfo: memFree=1371872/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=432592 CPUtime=342.21 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 107800 0 0 0 33713 508 0 0 25 0 1 0 119368060 442974208 107682 1992294400 134512640 135752675 4291129264 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 108148 107682 146 303 0 107843 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 432592 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22442 /proc/meminfo: memFree=1321900/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=482920 CPUtime=402.19 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 120348 0 0 0 39666 553 0 0 25 0 1 0 119368060 494510080 120230 1992294400 134512640 135752675 4291129264 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 120730 120230 146 303 0 120425 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 482920 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22442 /proc/meminfo: memFree=1274904/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=529524 CPUtime=462.18 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 131945 0 0 0 45626 592 0 0 25 0 1 0 119368060 542232576 131827 1992294400 134512640 135752675 4291129264 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 132381 131827 146 303 0 132076 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 529524 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22444 /proc/meminfo: memFree=1233116/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=571792 CPUtime=522.16 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 142429 0 0 0 51594 622 0 0 25 0 1 0 119368060 585515008 142311 1992294400 134512640 135752675 4291129264 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 142948 142311 146 303 0 142643 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 571792 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22446 /proc/meminfo: memFree=1187360/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=617436 CPUtime=582.15 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 153828 0 0 0 57559 656 0 0 25 0 1 0 119368060 632254464 153710 1992294400 134512640 135752675 4291129264 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 154359 153710 146 303 0 154054 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 617436 [startup+642.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22448 /proc/meminfo: memFree=1140984/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=663232 CPUtime=642.14 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 165262 0 0 0 63523 691 0 0 25 0 1 0 119368060 679149568 165144 1992294400 134512640 135752675 4291129264 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 165808 165144 146 303 0 165503 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 663232 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22454 /proc/meminfo: memFree=953620/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=850672 CPUtime=882.07 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 212034 0 0 0 87377 830 0 0 25 0 1 0 119368060 871088128 211916 1992294400 134512640 135752675 4291129264 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 212668 211916 146 303 0 212363 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 850672 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22456 /proc/meminfo: memFree=910344/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=894352 CPUtime=942.06 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 222909 0 0 0 93344 862 0 0 25 0 1 0 119368060 915816448 222791 1992294400 134512640 135752675 4291129264 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 223588 222791 146 303 0 223283 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 894352 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22458 /proc/meminfo: memFree=861240/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=943000 CPUtime=1002.05 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 235055 0 0 0 99306 899 0 0 25 0 1 0 119368060 965632000 234937 1992294400 134512640 135752675 4291129264 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 235750 234937 146 303 0 235445 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 943000 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22458 /proc/meminfo: memFree=823420/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=981000 CPUtime=1062.03 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 244557 0 0 0 105275 928 0 0 25 0 1 0 119368060 1004544000 244439 1992294400 134512640 135752675 4291129264 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 245250 244439 146 303 0 244945 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 981000 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22460 /proc/meminfo: memFree=790684/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1013604 CPUtime=1122.01 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 252686 0 0 0 111247 954 0 0 25 0 1 0 119368060 1037930496 252568 1992294400 134512640 135752675 4291129264 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 253401 252568 146 303 0 253096 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1013604 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22462 /proc/meminfo: memFree=750880/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1053956 CPUtime=1182 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 262735 0 0 0 117214 986 0 0 25 0 1 0 119368060 1079250944 262617 1992294400 134512640 135752675 4291129264 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 263489 262617 146 303 0 263184 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1053956 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22464 /proc/meminfo: memFree=713928/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1089964 CPUtime=1241.99 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 271752 0 0 0 123186 1013 0 0 25 0 1 0 119368060 1116123136 271634 1992294400 134512640 135752675 4291129264 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 272491 271634 146 303 0 272186 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1089964 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22466 /proc/meminfo: memFree=677100/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1126636 CPUtime=1301.98 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 280865 0 0 0 129159 1039 0 0 25 0 1 0 119368060 1153675264 280747 1992294400 134512640 135752675 4291129264 18446744073709551615 134603250 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 281659 280747 146 303 0 281354 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1126636 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22466 /proc/meminfo: memFree=632584/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1171484 CPUtime=1361.96 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 292048 0 0 0 135123 1073 0 0 25 0 1 0 119368060 1199599616 291930 1992294400 134512640 135752675 4291129264 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 292871 291930 146 303 0 292566 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1171484 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22468 /proc/meminfo: memFree=586580/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1217088 CPUtime=1421.95 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 303453 0 0 0 141094 1101 0 0 25 0 1 0 119368060 1246298112 303335 1992294400 134512640 135752675 4291129264 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 304272 303335 146 303 0 303967 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1217088 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22470 /proc/meminfo: memFree=550372/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1254000 CPUtime=1481.93 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 312667 0 0 0 147064 1129 0 0 25 0 1 0 119368060 1284096000 312549 1992294400 134512640 135752675 4291129264 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 313500 312549 146 303 0 313195 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1254000 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22472 /proc/meminfo: memFree=511312/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1292604 CPUtime=1541.92 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 322293 0 0 0 153036 1156 0 0 25 0 1 0 119368060 1323626496 322175 1992294400 134512640 135752675 4291129264 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 323151 322175 146 303 0 322846 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1292604 [startup+1602.3 s] /proc/loadavg: 1.06 1.01 0.93 2/108 22475 /proc/meminfo: memFree=479444/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1324420 CPUtime=1601.9 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 330234 0 0 0 159010 1180 0 0 25 0 1 0 119368060 1356206080 330116 1992294400 134512640 135752675 4291129264 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 331105 330116 146 303 0 330800 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1324420 [startup+1662.3 s] /proc/loadavg: 1.02 1.01 0.93 2/108 22477 /proc/meminfo: memFree=436912/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1366916 CPUtime=1661.89 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 340821 0 0 0 164981 1208 0 0 25 0 1 0 119368060 1399721984 340703 1992294400 134512640 135752675 4291129264 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 341729 340703 146 303 0 341424 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1366916 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22479 /proc/meminfo: memFree=398968/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1405176 CPUtime=1721.87 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 350344 0 0 0 170954 1233 0 0 25 0 1 0 119368060 1438900224 350226 1992294400 134512640 135752675 4291129264 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 351294 350226 146 303 0 350989 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1405176 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22481 /proc/meminfo: memFree=362884/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1440856 CPUtime=1781.86 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 359264 0 0 0 176928 1258 0 0 25 0 1 0 119368060 1475436544 359146 1992294400 134512640 135752675 4291129264 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 360214 359146 146 303 0 359909 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1440856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.93 2/108 22481 /proc/meminfo: memFree=352840/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=1450508 CPUtime=1800.05 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4202496 361697 0 0 0 178740 1265 0 0 25 0 1 0 119368060 1485320192 361579 1992294400 134512640 135752675 4291129264 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22429/statm: 362627 361579 146 303 0 362322 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1450508 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.93 2/109 22482 /proc/meminfo: memFree=1352520/2059040 swapFree=4139780/4192956 [pid=22429] ppid=22427 vsize=0 CPUtime=1800.16 /proc/22429/stat : 22429 (wbo1.4b) R 22427 22429 22155 0 -1 4203524 361697 0 0 0 178740 1276 0 0 25 0 1 0 119368060 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/22429/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.65 CPU time (s): 1800.21 CPU user time (s): 1787.41 CPU system time (s): 12.7981 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 1450508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.41 system time used= 12.7981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 361697 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= 5 involuntary context switches= 14644 runsolver used 2.94655 second user time and 8.5397 second system time The end
Begin job on node025 at 2010-06-25 11:12:03 IDJOB=2680894 IDBENCH=2860 IDSOLVER=1190 FILE ID=node025/2680894-1277457123 PBS_JOBID= 11188139 Free space on /tmp= 62324 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_10.r.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680894-1277457123/watcher-2680894-1277457123 -o /tmp/evaluation-result-2680894-1277457123/solver-2680894-1277457123 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680894-1277457123.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 863d0ff562dc066d0163e86da5775aea RANDOM SEED=385676921 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1803796 kB Buffers: 28928 kB Cached: 121748 kB SwapCached: 5912 kB Active: 48032 kB Inactive: 116080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1803796 kB SwapTotal: 4192956 kB SwapFree: 4139780 kB Dirty: 2640 kB Writeback: 0 kB AnonPages: 12188 kB Mapped: 11940 kB Slab: 68980 kB PageTables: 4248 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183780 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= 62324 MiB End job on node025 at 2010-06-25 11:42:06