Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.67 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_1.opb |
MD5SUM | ae75c4a4fdafb98542bd11b7f7eecd54 |
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 | 41 |
Total number of constraints | 11 |
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 | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
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 | 1086 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3258 |
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-2656420-1276613043.opb 0.00/0.00 c File size is 3384 bytes. 0.00/0.00 c Highest Coefficient sum: 3258 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 41 Constr: 11 1/0/10 Lit: 399 Watch. Lit: 137 0.00/0.00 c Obj. Vars: 1 (2.43902 % 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 40 10 398 39 142 796 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.93/1798.66 c 100 40 163 4736 29 609 876 153 6666 0.01 1797.93/1798.66 c 251 40 389 11308 29 1189 964 379 6783 0.04 1797.93/1798.66 c 476 40 732 21296 29 2328 1061 722 6898 0.07 1797.93/1798.66 c 814 40 751 22557 30 1970 1168 741 6672 0.12 1797.93/1798.66 c 1323 40 880 25948 29 2206 1285 870 6615 0.20 1797.93/1798.66 c 2086 40 654 18999 29 1514 1414 644 6478 0.32 1797.93/1798.66 c 3232 40 789 22416 28 1854 1556 779 6503 0.50 1797.93/1798.66 c 4953 40 895 26106 29 2088 1712 885 6293 0.79 1797.93/1798.66 c 7537 40 1168 33829 28 2957 1884 1158 6029 1.25 1797.93/1798.66 c 11417 40 1797 51602 28 4336 2073 1787 5860 1.95 1797.93/1798.66 c 17239 40 1602 45675 28 3732 2281 1592 5655 3.05 1797.93/1798.66 c 25976 40 1531 46191 30 3760 2510 1521 5341 4.86 1797.93/1798.66 c 39086 40 1954 59557 30 4895 2762 1944 5070 7.71 1797.93/1798.66 c 58757 40 1929 58172 30 4803 3039 1919 4782 12.29 1797.93/1798.66 c 88267 40 1935 59619 30 4830 3343 1925 4516 19.54 1797.93/1798.66 c 132537 40 2673 76605 28 6635 3678 2663 4379 30.26 1797.93/1798.66 c 198948 40 3588 109962 30 10436 4046 3578 4176 47.63 1797.93/1798.66 c 298569 40 3738 113301 30 10116 4451 3728 3939 75.78 1797.93/1798.66 c 448004 40 2694 80197 29 7530 4897 2684 3753 119.36 1797.93/1798.66 c 672163 40 4616 140475 30 12460 5387 4606 3523 190.75 1797.93/1798.66 c 1008406 40 4041 118729 29 10505 5926 4031 3282 307.18 1797.93/1798.66 c 1512777 40 3000 90933 30 8236 6519 2990 3064 493.72 1797.93/1798.66 c 2269340 40 6118 185763 30 15799 7171 6108 2825 803.11 1797.93/1798.66 c 3404193 40 4231 126026 29 10007 7889 4221 2590 1313.94 1797.93/1798.66 c Resources Exceeded 1797.93/1798.66 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.66 c 24 4391295 66336 4459500 4086 123819 4076 2442 1798.00 1797.93/1798.66 s UNKNOWN 1797.93/1798.66 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-2656420-1276613043/watcher-2656420-1276613043 -o /tmp/evaluation-result-2656420-1276613043/solver-2656420-1276613043 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656420-1276613043.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 4253 /proc/meminfo: memFree=1817532/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=26412 CPUtime=0 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 323 0 0 0 0 0 0 0 23 0 1 0 36905675 27045888 241 1992294400 134512640 137138936 4288154432 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 6603 241 192 642 0 5959 0 [startup+0.077209 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4253 /proc/meminfo: memFree=1817532/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=18860 CPUtime=0.07 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 415 0 0 0 7 0 0 0 23 0 1 0 36905675 19312640 333 1992294400 134512640 137138936 4288154432 18446744073709551615 136504131 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 4715 333 192 642 0 4071 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 18860 [startup+0.101212 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4253 /proc/meminfo: memFree=1817532/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=18996 CPUtime=0.09 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 448 0 0 0 9 0 0 0 23 0 1 0 36905675 19451904 366 1992294400 134512640 137138936 4288154432 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 4749 366 192 642 0 4105 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18996 [startup+0.300246 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4253 /proc/meminfo: memFree=1817532/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=19124 CPUtime=0.29 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 479 0 0 0 29 0 0 0 23 0 1 0 36905675 19582976 397 1992294400 134512640 137138936 4288154432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 4781 397 192 642 0 4137 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19124 [startup+0.700315 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4253 /proc/meminfo: memFree=1817532/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=19252 CPUtime=0.69 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 513 0 0 0 69 0 0 0 25 0 1 0 36905675 19714048 431 1992294400 134512640 137138936 4288154432 18446744073709551615 134577134 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 4813 431 192 642 0 4169 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19252 [startup+1.50145 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4254 /proc/meminfo: memFree=1816284/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=19504 CPUtime=1.49 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 552 0 0 0 148 1 0 0 25 0 1 0 36905675 19972096 470 1992294400 134512640 137138936 4288154432 18446744073709551615 136504417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 4876 470 192 642 0 4232 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19504 [startup+3.10173 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4254 /proc/meminfo: memFree=1816036/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=19508 CPUtime=3.09 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 580 0 0 0 307 2 0 0 25 0 1 0 36905675 19976192 498 1992294400 134512640 137138936 4288154432 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 4877 498 192 642 0 4233 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19508 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4254 /proc/meminfo: memFree=1815540/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=19884 CPUtime=6.29 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 648 0 0 0 626 3 0 0 25 0 1 0 36905675 20361216 566 1992294400 134512640 137138936 4288154432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 4971 566 192 642 0 4327 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19884 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4254 /proc/meminfo: memFree=1815416/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=20136 CPUtime=12.69 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 714 0 0 0 1262 7 0 0 25 0 1 0 36905675 20619264 632 1992294400 134512640 137138936 4288154432 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5034 632 192 642 0 4390 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20136 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4254 /proc/meminfo: memFree=1815168/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=20264 CPUtime=25.48 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 752 0 0 0 2534 14 0 0 25 0 1 0 36905675 20750336 670 1992294400 134512640 137138936 4288154432 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5066 670 192 642 0 4422 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20264 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4254 /proc/meminfo: memFree=1814796/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=20632 CPUtime=51.07 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 856 0 0 0 5082 25 0 0 25 0 1 0 36905675 21127168 774 1992294400 134512640 137138936 4288154432 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5158 774 192 642 0 4514 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20632 [startup+102.308 s] /proc/loadavg: 1.08 1.02 1.01 2/107 4256 /proc/meminfo: memFree=1814424/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=20872 CPUtime=102.27 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 902 0 0 0 10178 49 0 0 25 0 1 0 36905675 21372928 820 1992294400 134512640 137138936 4288154432 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5218 820 192 642 0 4574 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20872 [startup+162.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 4258 /proc/meminfo: memFree=1814052/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=21124 CPUtime=162.23 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 979 0 0 0 16149 74 0 0 25 0 1 0 36905675 21630976 897 1992294400 134512640 137138936 4288154432 18446744073709551615 134542217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5281 897 192 642 0 4637 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 21124 [startup+222.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 4260 /proc/meminfo: memFree=1813804/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=21384 CPUtime=222.21 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1042 0 0 0 22122 99 0 0 25 0 1 0 36905675 21897216 960 1992294400 134512640 137138936 4288154432 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5346 960 192 642 0 4702 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 21384 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4262 /proc/meminfo: memFree=1813680/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=21384 CPUtime=282.19 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1042 0 0 0 28097 122 0 0 25 0 1 0 36905675 21897216 960 1992294400 134512640 137138936 4288154432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5346 960 192 642 0 4702 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 21384 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4262 /proc/meminfo: memFree=1813432/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=21724 CPUtime=342.16 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1115 0 0 0 34072 144 0 0 25 0 1 0 36905675 22245376 1033 1992294400 134512640 137138936 4288154432 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5431 1033 192 642 0 4787 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 21724 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4264 /proc/meminfo: memFree=1813308/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=21716 CPUtime=402.15 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1115 0 0 0 40047 168 0 0 25 0 1 0 36905675 22237184 1033 1992294400 134512640 137138936 4288154432 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5429 1033 192 642 0 4785 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 21716 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4266 /proc/meminfo: memFree=1813184/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=21716 CPUtime=462.12 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1117 0 0 0 46021 191 0 0 25 0 1 0 36905675 22237184 1035 1992294400 134512640 137138936 4288154432 18446744073709551615 134542181 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5429 1035 192 642 0 4785 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 21716 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4268 /proc/meminfo: memFree=1813060/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=21976 CPUtime=522.1 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1198 0 0 0 51996 214 0 0 25 0 1 0 36905675 22503424 1116 1992294400 134512640 137138936 4288154432 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5494 1116 192 642 0 4850 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 21976 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4270 /proc/meminfo: memFree=1812936/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22072 CPUtime=582.08 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1200 0 0 0 57975 233 0 0 25 0 1 0 36905675 22601728 1118 1992294400 134512640 137138936 4288154432 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5518 1118 192 642 0 4874 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 22072 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4270 /proc/meminfo: memFree=1812812/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22060 CPUtime=642.07 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1200 0 0 0 63954 253 0 0 25 0 1 0 36905675 22589440 1118 1992294400 134512640 137138936 4288154432 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5515 1118 192 642 0 4871 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 22060 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1811200/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22364 CPUtime=1121.87 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1286 0 0 0 111781 406 0 0 25 0 1 0 36905675 22900736 1204 1992294400 134512640 137138936 4288154432 18446744073709551615 134542871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5591 1204 192 642 0 4947 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 22364 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4295 /proc/meminfo: memFree=1811200/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22364 CPUtime=1181.85 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1286 0 0 0 117759 426 0 0 25 0 1 0 36905675 22900736 1204 1992294400 134512640 137138936 4288154432 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5591 1204 192 642 0 4947 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 22364 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4295 /proc/meminfo: memFree=1811200/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22364 CPUtime=1241.83 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1286 0 0 0 123735 448 0 0 25 0 1 0 36905675 22900736 1204 1992294400 134512640 137138936 4288154432 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5591 1204 192 642 0 4947 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 22364 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4297 /proc/meminfo: memFree=1811324/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22364 CPUtime=1301.81 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1286 0 0 0 129716 465 0 0 25 0 1 0 36905675 22900736 1204 1992294400 134512640 137138936 4288154432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5591 1204 192 642 0 4947 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 22364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4299 /proc/meminfo: memFree=1811324/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1361.79 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1367 0 0 0 135695 484 0 0 25 0 1 0 36905675 23269376 1285 1992294400 134512640 137138936 4288154432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1285 192 642 0 5037 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 22724 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4301 /proc/meminfo: memFree=1811324/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1421.77 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1378 0 0 0 141678 499 0 0 25 0 1 0 36905675 23269376 1296 1992294400 134512640 137138936 4288154432 18446744073709551615 134599241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1296 192 642 0 5037 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 22724 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4303 /proc/meminfo: memFree=1811324/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1481.74 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 147657 517 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 22724 [startup+1542.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 4303 /proc/meminfo: memFree=1811200/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1541.72 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 153637 535 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 134618492 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 22724 [startup+1602.3 s] /proc/loadavg: 1.13 1.04 1.01 2/107 4305 /proc/meminfo: memFree=1811200/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1601.7 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 159618 552 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 22724 [startup+1662.3 s] /proc/loadavg: 1.11 1.05 1.01 2/107 4307 /proc/meminfo: memFree=1811200/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1661.68 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 165600 568 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 22724 [startup+1722.3 s] /proc/loadavg: 1.10 1.05 1.01 2/107 4309 /proc/meminfo: memFree=1811076/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1721.65 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 171581 584 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 22724 [startup+1782.3 s] /proc/loadavg: 1.09 1.06 1.01 2/107 4311 /proc/meminfo: memFree=1810704/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1781.63 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 177560 603 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 134542550 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 22724 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.08 1.05 1.01 2/107 4311 /proc/meminfo: memFree=1810704/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1791.23 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 178517 606 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1791.23 Current children cumulated vsize (KiB) 22724 [startup+1795.1 s] /proc/loadavg: 1.07 1.05 1.01 2/107 4312 /proc/meminfo: memFree=1810456/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1794.43 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 178836 607 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (KiB) 22724 [startup+1796.7 s] /proc/loadavg: 1.07 1.05 1.01 2/107 4313 /proc/meminfo: memFree=1810456/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1796.02 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 178994 608 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 134542223 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1796.02 Current children cumulated vsize (KiB) 22724 [startup+1797.5 s] /proc/loadavg: 1.07 1.05 1.01 3/108 4314 /proc/meminfo: memFree=1790236/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1796.82 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 179074 608 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 22724 [startup+1798.3 s] /proc/loadavg: 1.07 1.05 1.01 3/108 4314 /proc/meminfo: memFree=1790236/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1797.62 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 179154 608 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 22724 [startup+1798.51 s] /proc/loadavg: 1.07 1.05 1.01 2/107 4314 /proc/meminfo: memFree=1810208/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1797.83 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 179174 609 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 22724 [startup+1798.6 s] /proc/loadavg: 1.07 1.05 1.01 2/107 4314 /proc/meminfo: memFree=1810208/2059040 swapFree=4136120/4192956 [pid=4253] ppid=4251 vsize=22724 CPUtime=1797.93 /proc/4253/stat : 4253 (bsolo_pb10) R 4251 4253 3591 0 -1 4202496 1385 0 0 0 179184 609 0 0 25 0 1 0 36905675 23269376 1303 1992294400 134512640 137138936 4288154432 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4253/statm: 5681 1303 192 642 0 5037 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 22724 Child status: 0 Real time (s): 1798.67 CPU time (s): 1798 CPU user time (s): 1791.91 CPU system time (s): 6.09107 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (KiB): 22732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.91 system time used= 6.09107 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1385 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= 7479 runsolver used 2.94955 second user time and 8.50971 second system time The end
Begin job on node014 at 2010-06-15 16:44:03 IDJOB=2656420 IDBENCH=2913 IDSOLVER=1162 FILE ID=node014/2656420-1276613043 PBS_JOBID= 11172259 Free space on /tmp= 62572 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656420-1276613043/watcher-2656420-1276613043 -o /tmp/evaluation-result-2656420-1276613043/solver-2656420-1276613043 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656420-1276613043.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ae75c4a4fdafb98542bd11b7f7eecd54 RANDOM SEED=880370781 node014.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.258 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.51 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.258 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: 1818060 kB Buffers: 51640 kB Cached: 101468 kB SwapCached: 11120 kB Active: 93324 kB Inactive: 74368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1818060 kB SwapTotal: 4192956 kB SwapFree: 4136120 kB Dirty: 3880 kB Writeback: 20 kB AnonPages: 12576 kB Mapped: 9416 kB Slab: 51528 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183984 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= 62568 MiB End job on node014 at 2010-06-15 17:14:02