Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.47 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_3.opb |
MD5SUM | f48abdef3d00ab6f87ca2e4f0d43c1d1 |
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 | 51 |
Total number of constraints | 13 |
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 | 12 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
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 | 1270 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3811 |
Number of bits of the biggest sum of numbers | 12 |
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-2656422-1276614764.opb 0.00/0.00 c File size is 4933 bytes. 0.00/0.00 c Highest Coefficient sum: 3811 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 51 Constr: 13 1/0/12 Lit: 593 Watch. Lit: 193 0.00/0.00 c Obj. Vars: 1 (1.96078 % 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 50 12 592 49 196 1184 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.93/1798.47 c 100 50 163 6408 39 764 1303 151 5555 0.02 1797.93/1798.47 c 250 50 377 14358 38 1314 1434 365 5319 0.05 1797.93/1798.47 c 475 50 657 23949 36 1942 1578 645 5459 0.09 1797.93/1798.47 c 813 50 1096 39339 35 2985 1736 1084 5456 0.15 1797.93/1798.47 c 1321 50 881 31161 35 2109 1910 869 5221 0.25 1797.93/1798.47 c 2084 50 1825 63643 34 4170 2102 1813 5249 0.40 1797.93/1798.47 c 3230 50 1144 41717 36 2763 2313 1132 5078 0.64 1797.93/1798.47 c 4951 50 2191 79503 36 5307 2545 2179 5001 0.99 1797.93/1798.47 c 7535 50 1699 62097 36 4179 2800 1687 4784 1.57 1797.93/1798.47 c 11414 50 2265 87450 38 7413 3081 2253 4200 2.72 1797.93/1798.47 c 17236 50 1896 72153 38 5526 3390 1884 3819 4.51 1797.93/1798.47 c 25973 50 3327 125757 37 8998 3730 3315 3591 7.23 1797.93/1798.47 c 39083 50 3442 131802 38 9426 4104 3430 3351 11.66 1797.93/1798.47 c 58756 50 2955 115754 39 9450 4515 2943 3166 18.56 1797.93/1798.47 c 88266 50 3712 147831 39 10799 4967 3700 2968 29.73 1797.93/1798.47 c 132536 50 3365 130052 38 9391 5464 3353 2866 46.23 1797.93/1798.47 c 198946 50 3014 115782 38 9117 6011 3002 2713 73.33 1797.93/1798.47 c 298566 50 5308 205284 38 16938 6613 5296 2516 118.64 1797.93/1798.47 c 448001 50 4014 152262 37 10522 7275 4002 2413 185.62 1797.93/1798.47 c 672159 50 5167 200926 38 14681 8003 5155 2210 304.13 1797.93/1798.47 c 1008402 50 5211 202954 38 17053 8804 5199 2043 493.49 1797.93/1798.47 c 1512773 50 8705 330564 37 23308 9685 8693 1880 804.38 1797.93/1798.47 c 2269337 50 5821 226351 38 16015 10654 5809 1732 1310.14 1797.93/1798.47 c Resources Exceeded 1797.93/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.47 c 23 2889546 42260 2933514 8823 334019 8811 1607 1798.00 1797.93/1798.47 s UNKNOWN 1797.93/1798.47 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-2656422-1276614764/watcher-2656422-1276614764 -o /tmp/evaluation-result-2656422-1276614764/solver-2656422-1276614764 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656422-1276614764.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 3/106 3181 /proc/meminfo: memFree=1643148/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=26412 CPUtime=0 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 37078144 27045888 242 1992294400 134512640 137138936 4288571760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6603 242 192 642 0 5959 0 [startup+0.028672 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3181 /proc/meminfo: memFree=1643148/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=18600 CPUtime=0.02 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 351 0 0 0 2 0 0 0 20 0 1 0 37078144 19046400 267 1992294400 134512640 137138936 4288571760 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 4650 268 192 642 0 4006 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 18600 [startup+0.10068 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3181 /proc/meminfo: memFree=1643148/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=18988 CPUtime=0.09 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 423 0 0 0 9 0 0 0 20 0 1 0 37078144 19443712 339 1992294400 134512640 137138936 4288571760 18446744073709551615 134599681 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 4747 339 192 642 0 4103 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18988 [startup+0.300703 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3181 /proc/meminfo: memFree=1643148/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=19504 CPUtime=0.29 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 572 0 0 0 29 0 0 0 20 0 1 0 37078144 19972096 488 1992294400 134512640 137138936 4288571760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 4876 488 192 642 0 4232 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19504 [startup+0.700746 s] /proc/loadavg: 1.00 1.00 1.00 3/106 3181 /proc/meminfo: memFree=1643148/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=19764 CPUtime=0.69 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 631 0 0 0 69 0 0 0 20 0 1 0 37078144 20238336 547 1992294400 134512640 137138936 4288571760 18446744073709551615 134602893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 4941 547 192 642 0 4297 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19764 [startup+1.50083 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3182 /proc/meminfo: memFree=1641528/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=20020 CPUtime=1.49 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 697 0 0 0 149 0 0 0 22 0 1 0 37078144 20500480 613 1992294400 134512640 137138936 4288571760 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5005 613 192 642 0 4361 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20020 [startup+3.10101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3182 /proc/meminfo: memFree=1640784/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=20536 CPUtime=3.09 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 814 0 0 0 308 1 0 0 25 0 1 0 37078144 21028864 730 1992294400 134512640 137138936 4288571760 18446744073709551615 134573854 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5134 730 192 642 0 4490 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20536 [startup+6.30037 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3182 /proc/meminfo: memFree=1640412/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=20664 CPUtime=6.29 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 857 0 0 0 626 3 0 0 25 0 1 0 37078144 21159936 773 1992294400 134512640 137138936 4288571760 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5166 773 192 642 0 4522 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20664 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3182 /proc/meminfo: memFree=1639916/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=21168 CPUtime=12.69 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 973 0 0 0 1263 6 0 0 25 0 1 0 37078144 21676032 889 1992294400 134512640 137138936 4288571760 18446744073709551615 134600376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5292 889 192 642 0 4648 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21168 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3182 /proc/meminfo: memFree=1639544/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=21424 CPUtime=25.48 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1056 0 0 0 2538 10 0 0 25 0 1 0 37078144 21938176 972 1992294400 134512640 137138936 4288571760 18446744073709551615 136364917 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5356 972 192 642 0 4712 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21424 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3184 /proc/meminfo: memFree=1638800/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=22068 CPUtime=51.08 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1214 0 0 0 5088 20 0 0 25 0 1 0 37078144 22597632 1130 1992294400 134512640 137138936 4288571760 18446744073709551615 134618314 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5517 1130 192 642 0 4873 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22068 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3187 /proc/meminfo: memFree=1637932/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=22576 CPUtime=102.27 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1335 0 0 0 10190 37 0 0 25 0 1 0 37078144 23117824 1251 1992294400 134512640 137138936 4288571760 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5644 1251 192 642 0 5000 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22576 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3189 /proc/meminfo: memFree=1637684/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=22836 CPUtime=162.25 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1393 0 0 0 16168 57 0 0 25 0 1 0 37078144 23384064 1309 1992294400 134512640 137138936 4288571760 18446744073709551615 134606924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5709 1309 192 642 0 5065 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22836 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3191 /proc/meminfo: memFree=1637312/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=23228 CPUtime=222.24 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1511 0 0 0 22149 75 0 0 25 0 1 0 37078144 23785472 1427 1992294400 134512640 137138936 4288571760 18446744073709551615 136504144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5807 1427 192 642 0 5163 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 23228 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3193 /proc/meminfo: memFree=1637312/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=23304 CPUtime=282.22 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1518 0 0 0 28127 95 0 0 25 0 1 0 37078144 23863296 1434 1992294400 134512640 137138936 4288571760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5826 1434 192 642 0 5182 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23304 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3193 /proc/meminfo: memFree=1636816/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=23812 CPUtime=342.2 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1653 0 0 0 34107 113 0 0 25 0 1 0 37078144 24383488 1569 1992294400 134512640 137138936 4288571760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5953 1569 192 642 0 5309 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 23812 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3195 /proc/meminfo: memFree=1636816/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=23812 CPUtime=402.18 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1653 0 0 0 40089 129 0 0 25 0 1 0 37078144 24383488 1569 1992294400 134512640 137138936 4288571760 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5953 1569 192 642 0 5309 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 23812 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3197 /proc/meminfo: memFree=1636816/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=23788 CPUtime=462.17 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1653 0 0 0 46065 152 0 0 25 0 1 0 37078144 24358912 1569 1992294400 134512640 137138936 4288571760 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 5947 1569 192 642 0 5303 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 23788 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3199 /proc/meminfo: memFree=1636568/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=24272 CPUtime=522.15 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1752 0 0 0 52047 168 0 0 25 0 1 0 37078144 24854528 1668 1992294400 134512640 137138936 4288571760 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6068 1668 192 642 0 5424 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 24272 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3201 /proc/meminfo: memFree=1636320/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=24272 CPUtime=582.14 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1768 0 0 0 58029 185 0 0 25 0 1 0 37078144 24854528 1684 1992294400 134512640 137138936 4288571760 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6068 1684 192 642 0 5424 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 24272 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3201 /proc/meminfo: memFree=1636320/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=24376 CPUtime=642.13 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1777 0 0 0 64012 201 0 0 25 0 1 0 37078144 24961024 1693 1992294400 134512640 137138936 4288571760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6094 1693 192 642 0 5450 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 24376 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1635576/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=24824 CPUtime=1121.99 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1902 0 0 0 111866 333 0 0 25 0 1 0 37078144 25419776 1818 1992294400 134512640 137138936 4288571760 18446744073709551615 134599775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6206 1818 192 642 0 5562 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 24824 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3217 /proc/meminfo: memFree=1635452/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=24824 CPUtime=1181.98 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1902 0 0 0 117852 346 0 0 25 0 1 0 37078144 25419776 1818 1992294400 134512640 137138936 4288571760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6206 1818 192 642 0 5562 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 24824 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3217 /proc/meminfo: memFree=1635204/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=24824 CPUtime=1241.96 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1907 0 0 0 123834 362 0 0 25 0 1 0 37078144 25419776 1823 1992294400 134512640 137138936 4288571760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6206 1823 192 642 0 5562 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 24824 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3219 /proc/meminfo: memFree=1635204/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=24824 CPUtime=1301.96 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 1907 0 0 0 129818 378 0 0 25 0 1 0 37078144 25419776 1823 1992294400 134512640 137138936 4288571760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6206 1823 192 642 0 5562 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 24824 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3221 /proc/meminfo: memFree=1634708/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1361.93 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2069 0 0 0 135801 392 0 0 25 0 1 0 37078144 26140672 1985 1992294400 134512640 137138936 4288571760 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 1985 192 642 0 5738 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 25528 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3223 /proc/meminfo: memFree=1634708/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1421.92 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2069 0 0 0 141785 407 0 0 25 0 1 0 37078144 26140672 1985 1992294400 134512640 137138936 4288571760 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 1985 192 642 0 5738 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 25528 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3225 /proc/meminfo: memFree=1634708/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1481.9 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2083 0 0 0 147769 421 0 0 25 0 1 0 37078144 26140672 1999 1992294400 134512640 137138936 4288571760 18446744073709551615 134601106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 1999 192 642 0 5738 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 25528 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3225 /proc/meminfo: memFree=1634708/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1541.88 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2083 0 0 0 153752 436 0 0 25 0 1 0 37078144 26140672 1999 1992294400 134512640 137138936 4288571760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 1999 192 642 0 5738 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 25528 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3227 /proc/meminfo: memFree=1634584/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1601.87 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2083 0 0 0 159732 455 0 0 25 0 1 0 37078144 26140672 1999 1992294400 134512640 137138936 4288571760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 1999 192 642 0 5738 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 25528 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3229 /proc/meminfo: memFree=1634584/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1661.86 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2083 0 0 0 165717 469 0 0 25 0 1 0 37078144 26140672 1999 1992294400 134512640 137138936 4288571760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 1999 192 642 0 5738 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 25528 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3231 /proc/meminfo: memFree=1634460/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1721.84 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 171700 484 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 2003 192 642 0 5738 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 25528 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3233 /proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1781.82 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 177682 500 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 2003 192 642 0 5738 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 25528 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 3233 /proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1791.42 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 178640 502 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 2003 192 642 0 5738 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 25528 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3233 /proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1794.62 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 178959 503 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 2003 192 642 0 5738 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 25528 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3233 /proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1796.21 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 179118 503 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 2003 192 642 0 5738 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 25528 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3233 /proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1797.01 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 179198 503 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 2003 192 642 0 5738 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 25528 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3233 /proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1797.42 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 179238 504 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 2003 192 642 0 5738 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (KiB) 25528 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3233 /proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1797.82 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 179278 504 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 2003 192 642 0 5738 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 25528 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3233 /proc/meminfo: memFree=1634212/2059040 swapFree=4140260/4192956 [pid=3181] ppid=3179 vsize=25528 CPUtime=1797.93 /proc/3181/stat : 3181 (bsolo_pb10) R 3179 3181 2877 0 -1 4202496 2087 0 0 0 179289 504 0 0 25 0 1 0 37078144 26140672 2003 1992294400 134512640 137138936 4288571760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3181/statm: 6382 2003 192 642 0 5738 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 25528 Child status: 0 Real time (s): 1798.47 CPU time (s): 1798 CPU user time (s): 1792.96 CPU system time (s): 5.04423 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 25532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.96 system time used= 5.04423 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2087 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= 3005 runsolver used 2.77358 second user time and 8.68468 second system time The end
Begin job on node009 at 2010-06-15 17:12:44 IDJOB=2656422 IDBENCH=2919 IDSOLVER=1162 FILE ID=node009/2656422-1276614764 PBS_JOBID= 11172288 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656422-1276614764/watcher-2656422-1276614764 -o /tmp/evaluation-result-2656422-1276614764/solver-2656422-1276614764 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656422-1276614764.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1 RANDOM SEED=1972227010 node009.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.199 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.39 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.199 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: 1643676 kB Buffers: 120180 kB Cached: 212672 kB SwapCached: 6532 kB Active: 116356 kB Inactive: 230176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1643676 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 3876 kB Writeback: 0 kB AnonPages: 11692 kB Mapped: 13020 kB Slab: 47188 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180228 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= 62552 MiB End job on node009 at 2010-06-15 17:42:42