Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798 | 1798.56 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_2.opb |
MD5SUM | 6c673f615af1912eadc68b4290958076 |
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 | 61 |
Total number of constraints | 15 |
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 | 14 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
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 | 1648 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4944 |
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-2657338-1276598523.opb 0.00/0.00 c File size is 6852 bytes. 0.00/0.00 c Highest Coefficient sum: 4944 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: 61 Constr: 15 1/0/14 Lit: 835 Watch. Lit: 281 0.00/0.00 c Obj. Vars: 1 (1.63934 % 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 60 14 834 59 284 1668 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.94/1798.55 c 100 60 114 5478 48 643 1835 100 9090 0.01 1797.94/1798.55 c 250 60 264 12160 46 942 2019 250 10000 0.03 1797.94/1798.55 c 475 60 489 22548 46 1391 2221 475 10326 0.05 1797.94/1798.55 c 813 60 827 38301 46 2071 2444 813 10162 0.08 1797.94/1798.55 c 1321 60 1335 61655 46 3085 2689 1321 9642 0.14 1797.94/1798.55 c 2084 60 2098 95523 45 4602 2958 2084 8944 0.23 1797.94/1798.55 c 3231 60 1717 78483 45 3863 3254 1703 8138 0.40 1797.94/1798.55 c 4952 60 1774 84700 47 3965 3580 1760 7606 0.65 1797.94/1798.55 c 7536 60 2530 120064 47 5479 3939 2516 6990 1.08 1797.94/1798.55 c 11415 60 2382 116046 48 5193 4333 2368 6412 1.78 1797.94/1798.55 c 17237 60 3783 182094 48 7989 4767 3769 5997 2.87 1797.94/1798.55 c 25975 60 2807 135546 48 6051 5244 2793 5616 4.62 1797.94/1798.55 c 39086 60 5243 245802 46 10901 5769 5229 5212 7.50 1797.94/1798.55 c 58756 60 4444 205952 46 9306 6346 4430 4967 11.83 1797.94/1798.55 c 88266 60 4989 242098 48 10409 6981 4975 4298 20.53 1797.94/1798.55 c 132536 60 6838 331872 48 14110 7680 6824 3813 34.76 1797.94/1798.55 c 198947 60 7281 344338 47 14990 8449 7267 3540 56.18 1797.94/1798.55 c 298567 60 4578 211040 46 9565 9294 4564 3498 85.35 1797.94/1798.55 c 448002 60 8731 393454 45 17870 10224 8717 3351 133.68 1797.94/1798.55 c 672160 60 6282 277981 44 12971 11247 6268 3165 212.32 1797.94/1798.55 c 1008403 60 8367 397504 47 17163 12372 8353 2780 362.67 1797.94/1798.55 c 1512774 60 8456 390518 46 17335 13610 8442 2555 592.01 1797.94/1798.55 c 2269338 60 12115 589010 48 24660 14972 12101 2249 1008.73 1797.94/1798.55 c 3404189 60 10565 508601 48 21559 16470 10551 2051 1658.97 1797.94/1798.55 c Resources Exceeded 1797.94/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.55 c 24 3609015 74304 3686348 8448 414119 8434 2007 1798.00 1797.94/1798.55 s UNKNOWN 1797.94/1798.55 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-2657338-1276598523/watcher-2657338-1276598523 -o /tmp/evaluation-result-2657338-1276598523/solver-2657338-1276598523 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657338-1276598523.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 1.00 2/106 9220 /proc/meminfo: memFree=1822240/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=26284 CPUtime=0 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 321 0 0 0 0 0 0 0 19 0 1 0 1144739 26914816 237 1992294400 134512640 137138936 4289712000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6571 237 190 642 0 5927 0 [startup+0.049365 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9220 /proc/meminfo: memFree=1822240/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=18856 CPUtime=0.04 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 399 0 0 0 4 0 0 0 19 0 1 0 1144739 19308544 315 1992294400 134512640 137138936 4289712000 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 4714 315 190 642 0 4070 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 18856 [startup+0.101368 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9220 /proc/meminfo: memFree=1822240/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=19240 CPUtime=0.09 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 487 0 0 0 9 0 0 0 19 0 1 0 1144739 19701760 403 1992294400 134512640 137138936 4289712000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 4810 403 190 642 0 4166 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19240 [startup+0.301386 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9220 /proc/meminfo: memFree=1822240/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=20272 CPUtime=0.29 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 760 0 0 0 29 0 0 0 20 0 1 0 1144739 20758528 676 1992294400 134512640 137138936 4289712000 18446744073709551615 135984584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 5068 676 190 642 0 4424 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20272 [startup+0.700421 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9220 /proc/meminfo: memFree=1822240/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=20916 CPUtime=0.69 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 907 0 0 0 68 1 0 0 21 0 1 0 1144739 21417984 823 1992294400 134512640 137138936 4289712000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 5229 823 190 642 0 4585 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20916 [startup+1.50049 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9221 /proc/meminfo: memFree=1819504/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=21428 CPUtime=1.49 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 1042 0 0 0 148 1 0 0 23 0 1 0 1144739 21942272 958 1992294400 134512640 137138936 4289712000 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 5357 958 190 642 0 4713 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21428 [startup+3.10063 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9221 /proc/meminfo: memFree=1818884/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=22072 CPUtime=3.09 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 1198 0 0 0 307 2 0 0 25 0 1 0 1144739 22601728 1114 1992294400 134512640 137138936 4289712000 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 5518 1114 190 642 0 4874 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22072 [startup+6.30091 s] /proc/loadavg: 1.16 1.03 1.01 2/107 9221 /proc/meminfo: memFree=1817892/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=22332 CPUtime=6.28 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 1284 0 0 0 625 3 0 0 25 0 1 0 1144739 22867968 1200 1992294400 134512640 137138936 4289712000 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 5583 1200 190 642 0 4939 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 22332 [startup+12.7015 s] /proc/loadavg: 1.15 1.03 1.01 2/107 9221 /proc/meminfo: memFree=1817644/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=23104 CPUtime=12.69 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 1458 0 0 0 1261 8 0 0 25 0 1 0 1144739 23658496 1374 1992294400 134512640 137138936 4289712000 18446744073709551615 134618015 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 5776 1374 190 642 0 5132 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23104 [startup+25.5016 s] /proc/loadavg: 1.11 1.03 1.01 2/107 9221 /proc/meminfo: memFree=1816776/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=23724 CPUtime=25.48 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 1615 0 0 0 2534 14 0 0 25 0 1 0 1144739 24293376 1531 1992294400 134512640 137138936 4289712000 18446744073709551615 134542404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 5931 1531 190 642 0 5287 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23724 [startup+51.1018 s] /proc/loadavg: 1.07 1.03 1.01 2/107 9223 /proc/meminfo: memFree=1816280/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=24208 CPUtime=51.07 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 1732 0 0 0 5083 24 0 0 25 0 1 0 1144739 24788992 1648 1992294400 134512640 137138936 4289712000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6052 1648 190 642 0 5408 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24208 [startup+102.309 s] /proc/loadavg: 1.03 1.02 1.00 2/107 9223 /proc/meminfo: memFree=1815164/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=25204 CPUtime=102.26 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 2004 0 0 0 10179 47 0 0 25 0 1 0 1144739 25808896 1920 1992294400 134512640 137138936 4289712000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6301 1920 190 642 0 5657 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25204 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 9225 /proc/meminfo: memFree=1814792/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=25648 CPUtime=162.24 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 2095 0 0 0 16151 73 0 0 25 0 1 0 1144739 26263552 2011 1992294400 134512640 137138936 4289712000 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6412 2011 190 642 0 5768 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25648 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9227 /proc/meminfo: memFree=1813924/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=26420 CPUtime=222.22 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 2293 0 0 0 22124 98 0 0 25 0 1 0 1144739 27054080 2209 1992294400 134512640 137138936 4289712000 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6605 2209 190 642 0 5961 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 26420 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9229 /proc/meminfo: memFree=1813676/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=26676 CPUtime=282.21 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 2361 0 0 0 28102 119 0 0 25 0 1 0 1144739 27316224 2277 1992294400 134512640 137138936 4289712000 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6669 2277 190 642 0 6025 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 26676 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9229 /proc/meminfo: memFree=1813676/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=26676 CPUtime=342.19 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 2361 0 0 0 34080 139 0 0 25 0 1 0 1144739 27316224 2277 1992294400 134512640 137138936 4289712000 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6669 2277 190 642 0 6025 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 26676 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9231 /proc/meminfo: memFree=1812932/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=27320 CPUtime=402.17 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 2532 0 0 0 40059 158 0 0 25 0 1 0 1144739 27975680 2448 1992294400 134512640 137138936 4289712000 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6830 2448 190 642 0 6186 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 27320 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9233 /proc/meminfo: memFree=1812684/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=27524 CPUtime=462.16 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 2576 0 0 0 46039 177 0 0 25 0 1 0 1144739 28184576 2492 1992294400 134512640 137138936 4289712000 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6881 2492 190 642 0 6237 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 27524 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9235 /proc/meminfo: memFree=1812684/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=27524 CPUtime=522.14 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 2576 0 0 0 52020 194 0 0 25 0 1 0 1144739 28184576 2492 1992294400 134512640 137138936 4289712000 18446744073709551615 134542933 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6881 2492 190 642 0 6237 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 27524 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9237 /proc/meminfo: memFree=1812560/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=27524 CPUtime=582.13 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 2576 0 0 0 58000 213 0 0 25 0 1 0 1144739 28184576 2492 1992294400 134512640 137138936 4289712000 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 6881 2492 190 642 0 6237 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 27524 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9237 /proc/meminfo: memFree=1811568/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=28468 CPUtime=642.12 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 2826 0 0 0 63979 233 0 0 25 0 1 0 1144739 29151232 2725 1992294400 134512640 137138936 4289712000 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7117 2725 190 642 0 6473 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 28468 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1810328/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=29556 CPUtime=1061.98 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3102 0 0 0 105844 354 0 0 25 0 1 0 1144739 30265344 3001 1992294400 134512640 137138936 4289712000 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7389 3001 190 642 0 6745 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 29556 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9251 /proc/meminfo: memFree=1810204/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=29556 CPUtime=1121.95 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3102 0 0 0 111823 372 0 0 25 0 1 0 1144739 30265344 3001 1992294400 134512640 137138936 4289712000 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7389 3001 190 642 0 6745 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 29556 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 9262 /proc/meminfo: memFree=1808964/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=29556 CPUtime=1181.91 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3102 0 0 0 117800 391 0 0 25 0 1 0 1144739 30265344 3001 1992294400 134512640 137138936 4289712000 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7389 3001 190 642 0 6745 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 29556 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 9262 /proc/meminfo: memFree=1808964/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=29660 CPUtime=1241.9 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3129 0 0 0 123781 409 0 0 25 0 1 0 1144739 30371840 3028 1992294400 134512640 137138936 4289712000 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7415 3028 190 642 0 6771 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 29660 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9264 /proc/meminfo: memFree=1808964/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=29660 CPUtime=1301.88 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3129 0 0 0 129763 425 0 0 25 0 1 0 1144739 30371840 3028 1992294400 134512640 137138936 4289712000 18446744073709551615 134575640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7415 3028 190 642 0 6771 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 29660 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9266 /proc/meminfo: memFree=1808964/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=29660 CPUtime=1361.86 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3135 0 0 0 135742 444 0 0 25 0 1 0 1144739 30371840 3034 1992294400 134512640 137138936 4289712000 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7415 3034 190 642 0 6771 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 29660 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9268 /proc/meminfo: memFree=1808964/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=29660 CPUtime=1421.85 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3135 0 0 0 141724 461 0 0 25 0 1 0 1144739 30371840 3034 1992294400 134512640 137138936 4289712000 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7415 3034 190 642 0 6771 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 29660 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9270 /proc/meminfo: memFree=1808964/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=29660 CPUtime=1481.83 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3135 0 0 0 147703 480 0 0 25 0 1 0 1144739 30371840 3034 1992294400 134512640 137138936 4289712000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7415 3034 190 642 0 6771 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 29660 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9270 /proc/meminfo: memFree=1809088/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=29652 CPUtime=1541.81 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3135 0 0 0 153685 496 0 0 25 0 1 0 1144739 30363648 3033 1992294400 134512640 137138936 4289712000 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7413 3033 190 642 0 6769 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 29652 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9272 /proc/meminfo: memFree=1809088/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=29644 CPUtime=1601.79 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3135 0 0 0 159665 514 0 0 25 0 1 0 1144739 30355456 3031 1992294400 134512640 137138936 4289712000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7411 3031 190 642 0 6767 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 29644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9274 /proc/meminfo: memFree=1809088/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=30280 CPUtime=1661.77 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3295 0 0 0 165645 532 0 0 25 0 1 0 1144739 31006720 3189 1992294400 134512640 137138936 4289712000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7570 3189 190 642 0 6926 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 30280 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9276 /proc/meminfo: memFree=1808468/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=30832 CPUtime=1721.75 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3427 0 0 0 171628 547 0 0 25 0 1 0 1144739 31571968 3321 1992294400 134512640 137138936 4289712000 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7708 3321 190 642 0 7064 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 30832 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9278 /proc/meminfo: memFree=1808096/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=30952 CPUtime=1781.74 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3463 0 0 0 177609 565 0 0 25 0 1 0 1144739 31694848 3357 1992294400 134512640 137138936 4289712000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7738 3357 190 642 0 7094 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 30952 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9278 /proc/meminfo: memFree=1808096/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=30952 CPUtime=1791.35 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3463 0 0 0 178568 567 0 0 25 0 1 0 1144739 31694848 3357 1992294400 134512640 137138936 4289712000 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7738 3357 190 642 0 7094 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 30952 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9278 /proc/meminfo: memFree=1808096/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=30952 CPUtime=1794.54 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3463 0 0 0 178886 568 0 0 25 0 1 0 1144739 31694848 3357 1992294400 134512640 137138936 4289712000 18446744073709551615 136520958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7738 3357 190 642 0 7094 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 30952 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9278 /proc/meminfo: memFree=1808096/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=30952 CPUtime=1796.14 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3463 0 0 0 179045 569 0 0 25 0 1 0 1144739 31694848 3357 1992294400 134512640 137138936 4289712000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7738 3357 190 642 0 7094 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 30952 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9278 /proc/meminfo: memFree=1808096/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=30952 CPUtime=1796.94 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3463 0 0 0 179125 569 0 0 25 0 1 0 1144739 31694848 3357 1992294400 134512640 137138936 4289712000 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7738 3357 190 642 0 7094 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 30952 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9278 /proc/meminfo: memFree=1808096/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=30952 CPUtime=1797.74 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3463 0 0 0 179205 569 0 0 25 0 1 0 1144739 31694848 3357 1992294400 134512640 137138936 4289712000 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7738 3357 190 642 0 7094 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 30952 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9278 /proc/meminfo: memFree=1808096/2059040 swapFree=4165000/4192956 [pid=9220] ppid=9218 vsize=30952 CPUtime=1797.94 /proc/9220/stat : 9220 (bsolo_pb10) R 9218 9220 2331 0 -1 4202496 3463 0 0 0 179225 569 0 0 25 0 1 0 1144739 31694848 3357 1992294400 134512640 137138936 4289712000 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9220/statm: 7738 3357 190 642 0 7094 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 30952 Child status: 0 Real time (s): 1798.56 CPU time (s): 1798 CPU user time (s): 1792.31 CPU system time (s): 5.69713 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 30952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.31 system time used= 5.69713 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3463 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= 2 involuntary context switches= 20819 runsolver used 3.16252 second user time and 8.29574 second system time The end
Begin job on node043 at 2010-06-15 12:42:03 IDJOB=2657338 IDBENCH=2894 IDSOLVER=1163 FILE ID=node043/2657338-1276598523 PBS_JOBID= 11173568 Free space on /tmp= 62296 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657338-1276598523/watcher-2657338-1276598523 -o /tmp/evaluation-result-2657338-1276598523/solver-2657338-1276598523 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657338-1276598523.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6c673f615af1912eadc68b4290958076 RANDOM SEED=921741596 node043.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.241 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.241 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.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1822892 kB Buffers: 17460 kB Cached: 121516 kB SwapCached: 1408 kB Active: 72672 kB Inactive: 99228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1822892 kB SwapTotal: 4192956 kB SwapFree: 4165000 kB Dirty: 4020 kB Writeback: 0 kB AnonPages: 31580 kB Mapped: 15464 kB Slab: 42476 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182912 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= 62292 MiB End job on node043 at 2010-06-15 13:12:02