Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798 | 1798.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_4.opb |
MD5SUM | d78f5121f87a7bad7fc74d5d3eacc32f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 71 |
Total number of constraints | 17 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70 |
Number of terms in the objective function | 1 |
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 | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1881 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5644 |
Number of bits of the biggest sum of numbers | 13 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657348-1276615510.opb 0.00/0.00 c File size is 9055 bytes. 0.00/0.00 c Highest Coefficient sum: 5644 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 71 Constr: 17 1/0/16 Lit: 1113 Watch. Lit: 355 0.00/0.00 c Obj. Vars: 1 (1.40845 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 70 16 1112 69 360 2224 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.98/1798.61 c 100 70 116 6532 56 801 2447 100 6666 0.01 1797.98/1798.61 c 250 70 266 14292 53 1066 2692 250 8064 0.03 1797.98/1798.61 c 475 70 491 25361 51 1514 2962 475 8333 0.06 1797.98/1798.61 c 814 70 830 43038 51 2201 3259 814 8659 0.09 1797.98/1798.61 c 1323 70 1339 69861 52 3236 3585 1323 8426 0.16 1797.98/1798.61 c 2086 70 2102 109568 52 4732 3944 2086 7783 0.27 1797.98/1798.61 c 3232 70 3248 171509 52 7046 4339 3232 7279 0.44 1797.98/1798.61 c 4954 70 2746 146343 53 6039 4773 2730 6561 0.76 1797.98/1798.61 c 7539 70 2889 153692 53 6312 5251 2873 6159 1.22 1797.98/1798.61 c 11418 70 4084 221919 54 8730 5777 4068 5940 1.92 1797.98/1798.61 c 17240 70 4017 215749 53 8579 6355 4001 5309 3.25 1797.98/1798.61 c 25977 70 6308 345266 54 13160 6991 6292 4875 5.33 1797.98/1798.61 c 39087 70 5223 285332 54 11003 7691 5207 4469 8.75 1797.98/1798.61 c 58757 70 5411 300164 55 11390 8461 5395 4080 14.40 1797.98/1798.61 c 88268 70 4984 285216 57 10526 9308 4968 3627 24.33 1797.98/1798.61 c 132539 70 6938 384239 55 14445 10239 6922 3259 40.66 1797.98/1798.61 c 198950 70 6085 353480 58 12732 11263 6069 2796 71.15 1797.98/1798.61 c 298571 70 9058 519498 57 18685 12390 9042 2526 118.16 1797.98/1798.61 c 448006 70 8597 491597 57 17754 13630 8581 2394 187.09 1797.98/1798.61 c 672164 70 13094 736360 56 26732 14994 13078 2290 293.50 1797.98/1798.61 c 1008408 70 9790 544896 55 20129 16494 9774 2137 471.75 1797.98/1798.61 c 1512779 70 16316 944888 57 33207 18144 16300 1976 765.24 1797.98/1798.61 c 2269343 70 15940 891662 55 32430 19959 15924 1686 1345.98 1797.98/1798.61 c Resources Exceeded 1797.98/1798.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.61 c 23 2847697 36334 2885162 12573 735873 12557 1583 1798.00 1797.98/1798.61 s UNKNOWN 1797.98/1798.61 c Total time: 1798 s
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-2657348-1276615510/watcher-2657348-1276615510 -o /tmp/evaluation-result-2657348-1276615510/solver-2657348-1276615510 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657348-1276615510.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.96 1.00 1.00 3/106 5097 /proc/meminfo: memFree=1782872/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=26416 CPUtime=0 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 35207305 27049984 241 1992294400 134512640 137138936 4291068880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 6604 241 190 642 0 5960 0 [startup+0.0930481 s] /proc/loadavg: 0.96 1.00 1.00 3/106 5097 /proc/meminfo: memFree=1782872/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=19116 CPUtime=0.08 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 472 0 0 0 8 0 0 0 20 0 1 0 35207305 19574784 387 1992294400 134512640 137138936 4291068880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 4779 387 190 642 0 4135 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19116 [startup+0.101049 s] /proc/loadavg: 0.96 1.00 1.00 3/106 5097 /proc/meminfo: memFree=1782872/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=19116 CPUtime=0.09 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 483 0 0 0 9 0 0 0 20 0 1 0 35207305 19574784 398 1992294400 134512640 137138936 4291068880 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 4811 399 190 642 0 4167 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19116 [startup+0.301087 s] /proc/loadavg: 0.96 1.00 1.00 3/106 5097 /proc/meminfo: memFree=1782872/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=20276 CPUtime=0.29 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 766 0 0 0 28 1 0 0 20 0 1 0 35207305 20762624 681 1992294400 134512640 137138936 4291068880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 5069 681 190 642 0 4425 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20276 [startup+0.701161 s] /proc/loadavg: 0.96 1.00 1.00 3/106 5097 /proc/meminfo: memFree=1782872/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=22068 CPUtime=0.69 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 1193 0 0 0 68 1 0 0 21 0 1 0 35207305 22597632 1108 1992294400 134512640 137138936 4291068880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 5517 1108 190 642 0 4873 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22068 [startup+1.50131 s] /proc/loadavg: 0.96 1.00 1.00 2/107 5098 /proc/meminfo: memFree=1779144/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=22324 CPUtime=1.49 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 1283 0 0 0 147 2 0 0 23 0 1 0 35207305 22859776 1198 1992294400 134512640 137138936 4291068880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 5581 1198 190 642 0 4937 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22324 [startup+3.10061 s] /proc/loadavg: 0.96 1.00 1.00 2/107 5098 /proc/meminfo: memFree=1778028/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=23224 CPUtime=3.09 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 1498 0 0 0 306 3 0 0 25 0 1 0 35207305 23781376 1413 1992294400 134512640 137138936 4291068880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 5806 1413 190 642 0 5162 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23224 [startup+6.30121 s] /proc/loadavg: 0.96 1.00 1.00 2/107 5098 /proc/meminfo: memFree=1776788/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=24252 CPUtime=6.29 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 1761 0 0 0 625 4 0 0 25 0 1 0 35207305 24834048 1676 1992294400 134512640 137138936 4291068880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 6063 1676 190 642 0 5419 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24252 [startup+12.7004 s] /proc/loadavg: 0.96 1.00 1.00 2/107 5098 /proc/meminfo: memFree=1775672/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=25004 CPUtime=12.69 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 1943 0 0 0 1262 7 0 0 25 0 1 0 35207305 25604096 1858 1992294400 134512640 137138936 4291068880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 6251 1858 190 642 0 5607 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25004 [startup+25.5008 s] /proc/loadavg: 0.97 1.00 1.00 2/107 5098 /proc/meminfo: memFree=1774928/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=26152 CPUtime=25.48 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 2237 0 0 0 2536 12 0 0 25 0 1 0 35207305 26779648 2152 1992294400 134512640 137138936 4291068880 18446744073709551615 134544892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 6538 2152 190 642 0 5894 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26152 [startup+51.1016 s] /proc/loadavg: 0.98 1.00 1.00 2/107 5098 /proc/meminfo: memFree=1773316/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=27396 CPUtime=51.08 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 2540 0 0 0 5087 21 0 0 25 0 1 0 35207305 28053504 2455 1992294400 134512640 137138936 4291068880 18446744073709551615 136500582 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 6849 2455 190 642 0 6205 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27396 [startup+102.309 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5100 /proc/meminfo: memFree=1772200/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=28296 CPUtime=102.27 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 2766 0 0 0 10191 36 0 0 25 0 1 0 35207305 28975104 2681 1992294400 134512640 137138936 4291068880 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 7074 2681 190 642 0 6430 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28296 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5102 /proc/meminfo: memFree=1771332/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=29068 CPUtime=162.24 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 2956 0 0 0 16167 57 0 0 25 0 1 0 35207305 29765632 2871 1992294400 134512640 137138936 4291068880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 7267 2871 190 642 0 6623 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 29068 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5104 /proc/meminfo: memFree=1770340/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=30076 CPUtime=222.21 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 3219 0 0 0 22147 74 0 0 25 0 1 0 35207305 30797824 3134 1992294400 134512640 137138936 4291068880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 7519 3134 190 642 0 6875 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 30076 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5106 /proc/meminfo: memFree=1770340/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=30124 CPUtime=282.19 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 3257 0 0 0 28127 92 0 0 25 0 1 0 35207305 30846976 3150 1992294400 134512640 137138936 4291068880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 7531 3150 190 642 0 6887 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 30124 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5106 /proc/meminfo: memFree=1769348/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=31116 CPUtime=342.18 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 3489 0 0 0 34107 111 0 0 25 0 1 0 35207305 31862784 3381 1992294400 134512640 137138936 4291068880 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 7779 3381 190 642 0 7135 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 31116 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5108 /proc/meminfo: memFree=1769348/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=31068 CPUtime=402.16 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 3492 0 0 0 40083 133 0 0 25 0 1 0 35207305 31813632 3384 1992294400 134512640 137138936 4291068880 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 7767 3384 190 642 0 7123 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 31068 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5110 /proc/meminfo: memFree=1769224/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=31148 CPUtime=462.14 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 3497 0 0 0 46063 151 0 0 25 0 1 0 35207305 31895552 3389 1992294400 134512640 137138936 4291068880 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 7787 3389 190 642 0 7143 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 31148 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5112 /proc/meminfo: memFree=1767736/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=32680 CPUtime=522.11 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 3881 0 0 0 52044 167 0 0 25 0 1 0 35207305 33464320 3773 1992294400 134512640 137138936 4291068880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 8170 3773 190 642 0 7526 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 32680 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5114 /proc/meminfo: memFree=1767612/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=32740 CPUtime=582.1 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 3914 0 0 0 58025 185 0 0 25 0 1 0 35207305 33525760 3804 1992294400 134512640 137138936 4291068880 18446744073709551615 136504678 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 8185 3804 190 642 0 7541 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 32740 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5114 /proc/meminfo: memFree=1767488/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=32740 CPUtime=642.08 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 3914 0 0 0 64009 199 0 0 25 0 1 0 35207305 33525760 3804 1992294400 134512640 137138936 4291068880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 8185 3804 190 642 0 7541 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 32740 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1765380/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=34064 CPUtime=1121.91 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4234 0 0 0 111867 324 0 0 25 0 1 0 35207305 34881536 4124 1992294400 134512640 137138936 4291068880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 8516 4124 190 642 0 7872 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 34064 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5133 /proc/meminfo: memFree=1765628/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=34060 CPUtime=1181.89 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4234 0 0 0 117850 339 0 0 25 0 1 0 35207305 34877440 4124 1992294400 134512640 137138936 4291068880 18446744073709551615 134575245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 8515 4124 190 642 0 7871 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 34060 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5133 /proc/meminfo: memFree=1765628/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=34056 CPUtime=1241.87 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4234 0 0 0 123833 354 0 0 25 0 1 0 35207305 34873344 4124 1992294400 134512640 137138936 4291068880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 8514 4124 190 642 0 7870 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 34056 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5135 /proc/meminfo: memFree=1765628/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=34052 CPUtime=1301.85 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4234 0 0 0 129817 368 0 0 25 0 1 0 35207305 34869248 4124 1992294400 134512640 137138936 4291068880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 8513 4124 190 642 0 7869 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 34052 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5137 /proc/meminfo: memFree=1764264/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=35528 CPUtime=1361.83 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4610 0 0 0 135799 384 0 0 25 0 1 0 35207305 36380672 4500 1992294400 134512640 137138936 4291068880 18446744073709551615 136500326 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 8882 4500 190 642 0 8238 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 35528 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5139 /proc/meminfo: memFree=1763768/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=35908 CPUtime=1421.82 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4697 0 0 0 141782 400 0 0 25 0 1 0 35207305 36769792 4587 1992294400 134512640 137138936 4291068880 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 8977 4587 190 642 0 8333 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 35908 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5141 /proc/meminfo: memFree=1763768/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=35884 CPUtime=1481.79 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4697 0 0 0 147761 418 0 0 25 0 1 0 35207305 36745216 4587 1992294400 134512640 137138936 4291068880 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 8971 4587 190 642 0 8327 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 35884 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5141 /proc/meminfo: memFree=1763644/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36012 CPUtime=1541.77 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4725 0 0 0 153746 431 0 0 25 0 1 0 35207305 36876288 4615 1992294400 134512640 137138936 4291068880 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9003 4615 190 642 0 8359 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 36012 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5143 /proc/meminfo: memFree=1763644/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36012 CPUtime=1601.74 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4725 0 0 0 159728 446 0 0 25 0 1 0 35207305 36876288 4615 1992294400 134512640 137138936 4291068880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9003 4615 190 642 0 8359 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 36012 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5145 /proc/meminfo: memFree=1763520/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36076 CPUtime=1661.72 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4735 0 0 0 165711 461 0 0 25 0 1 0 35207305 36941824 4625 1992294400 134512640 137138936 4291068880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9019 4625 190 642 0 8375 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 36076 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5147 /proc/meminfo: memFree=1763520/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36068 CPUtime=1721.71 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4735 0 0 0 171696 475 0 0 25 0 1 0 35207305 36933632 4625 1992294400 134512640 137138936 4291068880 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9017 4625 190 642 0 8373 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 36068 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5149 /proc/meminfo: memFree=1763520/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36032 CPUtime=1781.68 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4735 0 0 0 177679 489 0 0 25 0 1 0 35207305 36896768 4625 1992294400 134512640 137138936 4291068880 18446744073709551615 134542909 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9008 4625 190 642 0 8364 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 36032 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5149 /proc/meminfo: memFree=1763520/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36032 CPUtime=1791.28 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4735 0 0 0 178637 491 0 0 25 0 1 0 35207305 36896768 4625 1992294400 134512640 137138936 4291068880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9008 4625 190 642 0 8364 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 36032 [startup+1795.1 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5149 /proc/meminfo: memFree=1763520/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36032 CPUtime=1794.49 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4735 0 0 0 178957 492 0 0 25 0 1 0 35207305 36896768 4625 1992294400 134512640 137138936 4291068880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9008 4625 190 642 0 8364 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 36032 [startup+1796.7 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5149 /proc/meminfo: memFree=1763520/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36032 CPUtime=1796.08 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4735 0 0 0 179116 492 0 0 25 0 1 0 35207305 36896768 4625 1992294400 134512640 137138936 4291068880 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9008 4625 190 642 0 8364 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 36032 [startup+1797.5 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5149 /proc/meminfo: memFree=1763520/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36032 CPUtime=1796.88 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4735 0 0 0 179196 492 0 0 25 0 1 0 35207305 36896768 4625 1992294400 134512640 137138936 4291068880 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9008 4625 190 642 0 8364 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 36032 [startup+1798.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5149 /proc/meminfo: memFree=1763520/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36032 CPUtime=1797.67 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4735 0 0 0 179275 492 0 0 25 0 1 0 35207305 36896768 4625 1992294400 134512640 137138936 4291068880 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9008 4625 190 642 0 8364 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 36032 [startup+1798.51 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5149 /proc/meminfo: memFree=1763520/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36032 CPUtime=1797.89 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4735 0 0 0 179296 493 0 0 25 0 1 0 35207305 36896768 4625 1992294400 134512640 137138936 4291068880 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9008 4625 190 642 0 8364 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 36032 [startup+1798.6 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5149 /proc/meminfo: memFree=1763520/2059040 swapFree=4140448/4192956 [pid=5097] ppid=5095 vsize=36032 CPUtime=1797.98 /proc/5097/stat : 5097 (bsolo_pb10) R 5095 5097 4987 0 -1 4202496 4735 0 0 0 179305 493 0 0 25 0 1 0 35207305 36896768 4625 1992294400 134512640 137138936 4291068880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5097/statm: 9008 4625 190 642 0 8364 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 36032 Child status: 0 Real time (s): 1798.62 CPU time (s): 1798 CPU user time (s): 1793.07 CPU system time (s): 4.93225 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 36076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.07 system time used= 4.93225 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4735 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= 1 involuntary context switches= 5234 runsolver used 3.03754 second user time and 8.41972 second system time The end
Begin job on node019 at 2010-06-15 17:25:10 IDJOB=2657348 IDBENCH=2922 IDSOLVER=1163 FILE ID=node019/2657348-1276615510 PBS_JOBID= 11172293 Free space on /tmp= 62416 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657348-1276615510/watcher-2657348-1276615510 -o /tmp/evaluation-result-2657348-1276615510/solver-2657348-1276615510 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657348-1276615510.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d78f5121f87a7bad7fc74d5d3eacc32f RANDOM SEED=1322244811 node019.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.264 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.52 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.264 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: 1783400 kB Buffers: 57820 kB Cached: 128200 kB SwapCached: 6072 kB Active: 95760 kB Inactive: 103584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1783400 kB SwapTotal: 4192956 kB SwapFree: 4140448 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 11576 kB Mapped: 13156 kB Slab: 54580 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180968 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= 62412 MiB End job on node019 at 2010-06-15 17:55:09