Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.55 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_1.opb |
MD5SUM | 487945ea0e229650aa78cf341d4ff673 |
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 | 59 |
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 | 1488 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4465 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656415-1276600106.opb 0.00/0.00 c File size is 6706 bytes. 0.00/0.00 c Highest Coefficient sum: 4465 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 61 Constr: 15 1/0/14 Lit: 819 Watch. Lit: 267 0.00/0.00 c Obj. Vars: 1 (1.63934 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 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 818 58 270 1636 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.95/1798.55 c 100 60 162 7504 46 884 1800 148 3846 0.03 1797.95/1798.55 c 250 60 350 15579 44 1272 1981 336 4166 0.06 1797.95/1798.55 c 476 60 624 27034 43 1879 2180 610 4288 0.11 1797.95/1798.55 c 815 60 1045 45369 43 2864 2399 1031 4358 0.19 1797.95/1798.55 c 1323 60 1680 73177 43 4362 2639 1666 4424 0.30 1797.95/1798.55 c 2086 60 2645 115302 43 6668 2903 2631 4248 0.49 1797.95/1798.55 c 3233 60 2711 121784 44 7435 3194 2697 4041 0.80 1797.95/1798.55 c 4954 60 1694 76309 45 4342 3514 1680 3755 1.32 1797.95/1798.55 c 7539 60 1995 95316 47 6050 3866 1981 3513 2.15 1797.95/1798.55 c 11418 60 3182 144528 45 7902 4253 3168 3337 3.42 1797.95/1798.55 c 17240 60 2207 108172 49 7539 4679 2193 2944 5.86 1797.95/1798.55 c 25977 60 2757 127204 46 8216 5147 2743 2790 9.31 1797.95/1798.55 c 39087 60 4487 212990 47 14057 5662 4473 2615 14.94 1797.95/1798.55 c 58757 60 3407 160465 47 10515 6229 3393 2355 24.94 1797.95/1798.55 c 88269 60 4006 186534 46 11776 6852 3992 2195 40.21 1797.95/1798.55 c 132539 60 4938 232352 47 17471 7538 4924 2036 65.08 1797.95/1798.55 c 198949 60 5097 228802 44 15653 8292 5083 2003 99.33 1797.95/1798.55 c 298570 60 4342 203371 46 13009 9122 4328 1809 164.97 1797.95/1798.55 c 448005 60 5804 270834 46 15403 10035 5790 1639 273.22 1797.95/1798.55 c 672163 60 7471 343698 46 19757 11039 7457 1522 441.36 1797.95/1798.55 c 1008408 60 9999 479981 48 33177 12143 9985 1334 755.73 1797.95/1798.55 c 1512779 60 10047 458819 45 32208 13358 10033 1189 1271.26 1797.95/1798.55 c Resources Exceeded 1797.95/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.55 c 22 1943520 25144 1969808 11166 536708 11152 1080 1798.00 1797.95/1798.55 s UNKNOWN 1797.95/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-2656415-1276600106/watcher-2656415-1276600106 -o /tmp/evaluation-result-2656415-1276600106/solver-2656415-1276600106 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656415-1276600106.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.94 0.99 0.99 3/106 9280 /proc/meminfo: memFree=1805240/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=26416 CPUtime=0 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 325 0 0 0 0 0 0 0 23 0 1 0 1301642 27049984 242 1992294400 134512640 137138936 4291626864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6604 242 192 642 0 5960 0 [startup+0.0429281 s] /proc/loadavg: 0.94 0.99 0.99 3/106 9280 /proc/meminfo: memFree=1805240/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=18732 CPUtime=0.03 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 360 0 0 0 3 0 0 0 23 0 1 0 1301642 19181568 277 1992294400 134512640 137138936 4291626864 18446744073709551615 134575850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 4683 277 192 642 0 4039 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 18732 [startup+0.100936 s] /proc/loadavg: 0.94 0.99 0.99 3/106 9280 /proc/meminfo: memFree=1805240/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=18860 CPUtime=0.09 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 411 0 0 0 9 0 0 0 23 0 1 0 1301642 19312640 328 1992294400 134512640 137138936 4291626864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 4715 328 192 642 0 4071 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18860 [startup+0.300965 s] /proc/loadavg: 0.94 0.99 0.99 3/106 9280 /proc/meminfo: memFree=1805240/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=19636 CPUtime=0.29 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 603 0 0 0 29 0 0 0 23 0 1 0 1301642 20107264 520 1992294400 134512640 137138936 4291626864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 4909 520 192 642 0 4265 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19636 [startup+0.701021 s] /proc/loadavg: 0.94 0.99 0.99 3/106 9280 /proc/meminfo: memFree=1805240/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=20536 CPUtime=0.69 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 828 0 0 0 69 0 0 0 25 0 1 0 1301642 21028864 745 1992294400 134512640 137138936 4291626864 18446744073709551615 134601074 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 5134 745 192 642 0 4490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20536 [startup+1.50114 s] /proc/loadavg: 0.94 0.99 0.99 2/107 9281 /proc/meminfo: memFree=1802752/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=20796 CPUtime=1.48 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 893 0 0 0 148 0 0 0 25 0 1 0 1301642 21295104 810 1992294400 134512640 137138936 4291626864 18446744073709551615 136501908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 5199 810 192 642 0 4555 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 20796 [startup+3.10037 s] /proc/loadavg: 0.94 0.99 0.99 2/107 9281 /proc/meminfo: memFree=1802008/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=21312 CPUtime=3.08 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 1032 0 0 0 307 1 0 0 25 0 1 0 1301642 21823488 949 1992294400 134512640 137138936 4291626864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 5328 949 192 642 0 4684 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21312 [startup+6.30183 s] /proc/loadavg: 0.94 0.99 0.99 2/107 9281 /proc/meminfo: memFree=1801388/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=21832 CPUtime=6.29 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 1156 0 0 0 626 3 0 0 25 0 1 0 1301642 22355968 1073 1992294400 134512640 137138936 4291626864 18446744073709551615 134606623 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 5458 1073 192 642 0 4814 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21832 [startup+12.7008 s] /proc/loadavg: 0.95 0.99 0.99 2/107 9281 /proc/meminfo: memFree=1800644/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=22460 CPUtime=12.68 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 1315 0 0 0 1263 5 0 0 25 0 1 0 1301642 22999040 1232 1992294400 134512640 137138936 4291626864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 5615 1232 192 642 0 4971 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22460 [startup+25.5016 s] /proc/loadavg: 0.96 0.99 0.99 2/107 9283 /proc/meminfo: memFree=1800272/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=22836 CPUtime=25.49 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 1403 0 0 0 2539 10 0 0 25 0 1 0 1301642 23384064 1320 1992294400 134512640 137138936 4291626864 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 5709 1320 192 642 0 5065 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22836 [startup+51.1013 s] /proc/loadavg: 0.97 0.99 0.99 2/107 9283 /proc/meminfo: memFree=1799280/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=23744 CPUtime=51.07 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 1617 0 0 0 5091 16 0 0 25 0 1 0 1301642 24313856 1534 1992294400 134512640 137138936 4291626864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 5936 1534 192 642 0 5292 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23744 [startup+102.309 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9285 /proc/meminfo: memFree=1798412/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=24604 CPUtime=102.26 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 1832 0 0 0 10195 31 0 0 25 0 1 0 1301642 25194496 1749 1992294400 134512640 137138936 4291626864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6151 1749 192 642 0 5507 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24604 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9285 /proc/meminfo: memFree=1798040/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=24856 CPUtime=162.24 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 1902 0 0 0 16178 46 0 0 25 0 1 0 1301642 25452544 1819 1992294400 134512640 137138936 4291626864 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6214 1819 192 642 0 5570 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 24856 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9287 /proc/meminfo: memFree=1797420/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=25496 CPUtime=222.22 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2071 0 0 0 22163 59 0 0 25 0 1 0 1301642 26107904 1988 1992294400 134512640 137138936 4291626864 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6374 1988 192 642 0 5730 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 25496 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9289 /proc/meminfo: memFree=1796924/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=25884 CPUtime=282.2 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2171 0 0 0 28147 73 0 0 25 0 1 0 1301642 26505216 2088 1992294400 134512640 137138936 4291626864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6471 2088 192 642 0 5827 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 25884 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9291 /proc/meminfo: memFree=1796676/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=26140 CPUtime=342.18 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2231 0 0 0 34131 87 0 0 25 0 1 0 1301642 26767360 2148 1992294400 134512640 137138936 4291626864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6535 2148 192 642 0 5891 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 26140 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9293 /proc/meminfo: memFree=1796676/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=26140 CPUtime=402.17 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2231 0 0 0 40114 103 0 0 25 0 1 0 1301642 26767360 2148 1992294400 134512640 137138936 4291626864 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6535 2148 192 642 0 5891 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 26140 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9293 /proc/meminfo: memFree=1795808/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=26896 CPUtime=462.15 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2413 0 0 0 46097 118 0 0 25 0 1 0 1301642 27541504 2330 1992294400 134512640 137138936 4291626864 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6724 2330 192 642 0 6080 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 26896 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9295 /proc/meminfo: memFree=1795560/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=27156 CPUtime=522.12 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2486 0 0 0 52081 131 0 0 25 0 1 0 1301642 27807744 2403 1992294400 134512640 137138936 4291626864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6789 2403 192 642 0 6145 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 27156 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9297 /proc/meminfo: memFree=1795560/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=27156 CPUtime=582.11 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2486 0 0 0 58065 146 0 0 25 0 1 0 1301642 27807744 2403 1992294400 134512640 137138936 4291626864 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6789 2403 192 642 0 6145 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 27156 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9299 /proc/meminfo: memFree=1795436/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=27156 CPUtime=642.1 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2491 0 0 0 64053 157 0 0 25 0 1 0 1301642 27807744 2408 1992294400 134512640 137138936 4291626864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 6789 2408 192 642 0 6145 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 27156 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1794320/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=28136 CPUtime=1061.96 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2723 0 0 0 105945 251 0 0 25 0 1 0 1301642 28811264 2640 1992294400 134512640 137138936 4291626864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7034 2640 192 642 0 6390 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 28136 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9311 /proc/meminfo: memFree=1794196/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=28136 CPUtime=1121.95 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2723 0 0 0 111930 265 0 0 25 0 1 0 1301642 28811264 2640 1992294400 134512640 137138936 4291626864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7034 2640 192 642 0 6390 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 28136 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9313 /proc/meminfo: memFree=1794196/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=28136 CPUtime=1181.93 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2723 0 0 0 117916 277 0 0 25 0 1 0 1301642 28811264 2640 1992294400 134512640 137138936 4291626864 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7034 2640 192 642 0 6390 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 28136 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9315 /proc/meminfo: memFree=1794196/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=28132 CPUtime=1241.91 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2723 0 0 0 123902 289 0 0 25 0 1 0 1301642 28807168 2640 1992294400 134512640 137138936 4291626864 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7033 2640 192 642 0 6389 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 28132 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9317 /proc/meminfo: memFree=1793080/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29128 CPUtime=1301.9 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2968 0 0 0 129888 302 0 0 25 0 1 0 1301642 29827072 2885 1992294400 134512640 137138936 4291626864 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7282 2885 192 642 0 6638 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 29128 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9317 /proc/meminfo: memFree=1793080/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1361.88 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2973 0 0 0 135874 314 0 0 25 0 1 0 1301642 29822976 2890 1992294400 134512640 137138936 4291626864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2890 192 642 0 6637 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 29124 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9319 /proc/meminfo: memFree=1793080/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1421.87 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2977 0 0 0 141861 326 0 0 25 0 1 0 1301642 29822976 2894 1992294400 134512640 137138936 4291626864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2894 192 642 0 6637 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 29124 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9321 /proc/meminfo: memFree=1792956/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1481.84 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 147846 338 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 29124 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 9325 /proc/meminfo: memFree=1792956/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1541.82 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 153831 351 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 134599649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 29124 [startup+1602.3 s] /proc/loadavg: 1.03 1.00 1.00 2/107 9328 /proc/meminfo: memFree=1792832/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1601.8 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 159817 363 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 29124 [startup+1662.3 s] /proc/loadavg: 1.07 1.01 1.00 2/107 9328 /proc/meminfo: memFree=1792832/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1661.79 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 165805 374 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 29124 [startup+1722.3 s] /proc/loadavg: 1.08 1.03 1.00 2/107 9330 /proc/meminfo: memFree=1792832/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1721.76 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 171791 385 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 29124 [startup+1782.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 9332 /proc/meminfo: memFree=1792708/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1781.75 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 177776 399 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 29124 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.06 1.03 1.00 2/107 9332 /proc/meminfo: memFree=1792708/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1791.35 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 178734 401 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 29124 [startup+1795.1 s] /proc/loadavg: 1.06 1.03 1.00 2/107 9332 /proc/meminfo: memFree=1792708/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1794.55 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 179053 402 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 136504145 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 29124 [startup+1796.7 s] /proc/loadavg: 1.06 1.03 1.00 2/107 9332 /proc/meminfo: memFree=1792708/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1796.14 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 179212 402 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 29124 [startup+1797.5 s] /proc/loadavg: 1.06 1.03 1.00 2/107 9332 /proc/meminfo: memFree=1792708/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1796.94 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 179292 402 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 29124 [startup+1798.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 9332 /proc/meminfo: memFree=1792708/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1797.75 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 179372 403 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 29124 [startup+1798.51 s] /proc/loadavg: 1.05 1.03 1.00 2/107 9332 /proc/meminfo: memFree=1792708/2059040 swapFree=4192956/4192956 [pid=9280] ppid=9278 vsize=29124 CPUtime=1797.95 /proc/9280/stat : 9280 (bsolo_pb10) R 9278 9280 2330 0 -1 4202496 2985 0 0 0 179392 403 0 0 25 0 1 0 1301642 29822976 2902 1992294400 134512640 137138936 4291626864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9280/statm: 7281 2902 192 642 0 6637 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 29124 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798 CPU user time (s): 1793.97 CPU system time (s): 4.03239 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 29128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.97 system time used= 4.03239 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2985 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= 25267 runsolver used 2.87656 second user time and 8.57969 second system time The end
Begin job on node052 at 2010-06-15 13:08:26 IDJOB=2656415 IDBENCH=2900 IDSOLVER=1162 FILE ID=node052/2656415-1276600106 PBS_JOBID= 11173560 Free space on /tmp= 62504 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656415-1276600106/watcher-2656415-1276600106 -o /tmp/evaluation-result-2656415-1276600106/solver-2656415-1276600106 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656415-1276600106.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 487945ea0e229650aa78cf341d4ff673 RANDOM SEED=1390723004 node052.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.262 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.262 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1805768 kB Buffers: 14200 kB Cached: 115852 kB SwapCached: 0 kB Active: 99012 kB Inactive: 90208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1805768 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3972 kB Writeback: 52 kB AnonPages: 59164 kB Mapped: 15408 kB Slab: 42252 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180768 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= 62500 MiB End job on node052 at 2010-06-15 13:38:25