Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798 | 1798.5 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_4.opb |
MD5SUM | 153ea7f27a80a18c7caefc8ed55018be |
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 | 1207 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3621 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657349-1276617585.opb 0.00/0.00 c File size is 3392 bytes. 0.00/0.00 c Highest Coefficient sum: 3621 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: 143 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 146 796 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.90/1798.49 c 100 40 110 3322 30 434 876 100 14285 0.01 1797.90/1798.49 c 251 40 261 7864 30 734 964 251 14764 0.02 1797.90/1798.49 c 476 40 486 14621 30 1186 1061 476 14424 0.03 1797.90/1798.49 c 814 40 824 24480 29 1861 1168 814 13344 0.06 1797.90/1798.49 c 1323 40 731 22076 30 1676 1285 721 12481 0.11 1797.90/1798.49 c 2086 40 833 25809 30 1878 1414 823 11920 0.17 1797.90/1798.49 c 3233 40 1252 39126 31 2715 1556 1242 11109 0.29 1797.90/1798.49 c 4954 40 1359 42644 31 2934 1712 1349 10562 0.47 1797.90/1798.49 c 7538 40 1294 39595 30 2802 1884 1284 10064 0.75 1797.90/1798.49 c 11417 40 1314 41141 31 2840 2073 1304 9708 1.18 1797.90/1798.49 c 17240 40 1822 56649 31 3854 2281 1812 9349 1.84 1797.90/1798.49 c 25977 40 1217 37603 30 2647 2510 1207 8929 2.91 1797.90/1798.49 c 39087 40 1516 46594 30 3244 2762 1506 8660 4.51 1797.90/1798.49 c 58757 40 1496 45539 30 3204 3039 1486 8344 7.04 1797.90/1798.49 c 88268 40 1633 51275 31 3482 3343 1623 7848 11.25 1797.90/1798.49 c 132538 40 1784 55632 31 3781 3678 1774 7567 17.52 1797.90/1798.49 c 198948 40 2909 89379 30 6025 4046 2899 7202 27.62 1797.90/1798.49 c 298569 40 2113 66543 31 4441 4451 2103 6753 44.21 1797.90/1798.49 c 448004 40 2984 93188 31 6184 4897 2974 6327 70.80 1797.90/1798.49 c 672162 40 4512 140828 31 9239 5387 4502 5943 113.08 1797.90/1798.49 c 1008405 40 3645 112747 30 7503 5926 3635 5510 183.00 1797.90/1798.49 c 1512778 40 5870 181215 30 11955 6519 5860 4991 303.05 1797.90/1798.49 c 2269342 40 3618 113032 31 7448 7171 3608 4547 499.04 1797.90/1798.49 c 3404193 40 4940 147659 29 10092 7889 4930 4230 804.68 1797.90/1798.49 c 5106477 40 4365 131551 30 8944 8678 4355 3920 1302.37 1797.90/1798.49 c Resources Exceeded 1797.90/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.49 c 25 6555543 66552 6623232 8667 271513 8657 3646 1798.00 1797.90/1798.49 s UNKNOWN 1797.90/1798.49 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-2657349-1276617585/watcher-2657349-1276617585 -o /tmp/evaluation-result-2657349-1276617585/solver-2657349-1276617585 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657349-1276617585.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.03 1.59 1.60 3/106 10156 /proc/meminfo: memFree=1502652/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=26412 CPUtime=0 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 3053587 27045888 241 1992294400 134512640 137138936 4294153968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 6603 241 190 642 0 5959 0 [startup+0.0885449 s] /proc/loadavg: 1.03 1.59 1.60 3/106 10156 /proc/meminfo: memFree=1502652/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=19116 CPUtime=0.08 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 451 0 0 0 8 0 0 0 20 0 1 0 3053587 19574784 368 1992294400 134512640 137138936 4294153968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 4779 368 190 642 0 4135 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19116 [startup+0.101545 s] /proc/loadavg: 1.03 1.59 1.60 3/106 10156 /proc/meminfo: memFree=1502652/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=19116 CPUtime=0.09 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 463 0 0 0 9 0 0 0 20 0 1 0 3053587 19574784 380 1992294400 134512640 137138936 4294153968 18446744073709551615 134542782 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 4779 380 190 642 0 4135 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19116 [startup+0.301569 s] /proc/loadavg: 1.03 1.59 1.60 3/106 10156 /proc/meminfo: memFree=1502652/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=19244 CPUtime=0.29 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 500 0 0 0 29 0 0 0 20 0 1 0 3053587 19705856 417 1992294400 134512640 137138936 4294153968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 4811 417 190 642 0 4167 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19244 [startup+0.701616 s] /proc/loadavg: 1.03 1.59 1.60 3/106 10156 /proc/meminfo: memFree=1502652/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=19372 CPUtime=0.69 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 540 0 0 0 69 0 0 0 21 0 1 0 3053587 19836928 457 1992294400 134512640 137138936 4294153968 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 4843 457 190 642 0 4199 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19372 [startup+1.50071 s] /proc/loadavg: 1.03 1.59 1.60 2/107 10157 /proc/meminfo: memFree=1501404/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=19632 CPUtime=1.49 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 589 0 0 0 148 1 0 0 22 0 1 0 3053587 20103168 506 1992294400 134512640 137138936 4294153968 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 4908 506 190 642 0 4264 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19632 [startup+3.1009 s] /proc/loadavg: 1.03 1.59 1.60 2/107 10157 /proc/meminfo: memFree=1500908/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=19760 CPUtime=3.09 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 638 0 0 0 306 3 0 0 25 0 1 0 3053587 20234240 555 1992294400 134512640 137138936 4294153968 18446744073709551615 134599821 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 4940 555 190 642 0 4296 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19760 [startup+6.30128 s] /proc/loadavg: 1.02 1.58 1.60 2/107 10157 /proc/meminfo: memFree=1500536/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=19884 CPUtime=6.29 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 674 0 0 0 623 6 0 0 25 0 1 0 3053587 20361216 591 1992294400 134512640 137138936 4294153968 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 4971 591 190 642 0 4327 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19884 [startup+12.701 s] /proc/loadavg: 1.02 1.57 1.60 2/107 10157 /proc/meminfo: memFree=1500040/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=20272 CPUtime=12.69 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 755 0 0 0 1258 11 0 0 25 0 1 0 3053587 20758528 672 1992294400 134512640 137138936 4294153968 18446744073709551615 134603442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5068 672 190 642 0 4424 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20272 [startup+25.5015 s] /proc/loadavg: 1.02 1.54 1.58 2/107 10157 /proc/meminfo: memFree=1499916/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=20400 CPUtime=25.48 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 794 0 0 0 2528 20 0 0 25 0 1 0 3053587 20889600 711 1992294400 134512640 137138936 4294153968 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5100 711 190 642 0 4456 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20400 [startup+51.1015 s] /proc/loadavg: 1.01 1.50 1.57 2/107 10157 /proc/meminfo: memFree=1499544/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=20784 CPUtime=51.08 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 897 0 0 0 5070 38 0 0 25 0 1 0 3053587 21282816 814 1992294400 134512640 137138936 4294153968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5196 814 190 642 0 4552 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20784 [startup+102.309 s] /proc/loadavg: 1.00 1.42 1.54 2/107 10168 /proc/meminfo: memFree=1498800/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=21136 CPUtime=102.26 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 963 0 0 0 10152 74 0 0 25 0 1 0 3053587 21643264 880 1992294400 134512640 137138936 4294153968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5284 880 190 642 0 4640 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21136 [startup+162.302 s] /proc/loadavg: 1.00 1.34 1.50 2/107 10170 /proc/meminfo: memFree=1498552/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=21376 CPUtime=162.24 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1028 0 0 0 16116 108 0 0 25 0 1 0 3053587 21889024 945 1992294400 134512640 137138936 4294153968 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5344 945 190 642 0 4700 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 21376 [startup+222.302 s] /proc/loadavg: 1.00 1.28 1.46 2/107 10172 /proc/meminfo: memFree=1498180/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=21620 CPUtime=222.23 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1101 0 0 0 22083 140 0 0 25 0 1 0 3053587 22138880 1018 1992294400 134512640 137138936 4294153968 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5405 1018 190 642 0 4761 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21620 [startup+282.302 s] /proc/loadavg: 1.00 1.22 1.43 2/107 10172 /proc/meminfo: memFree=1498180/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=21620 CPUtime=282.2 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1101 0 0 0 28053 167 0 0 25 0 1 0 3053587 22138880 1018 1992294400 134512640 137138936 4294153968 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5405 1018 190 642 0 4761 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 21620 [startup+342.302 s] /proc/loadavg: 1.00 1.18 1.40 2/107 10174 /proc/meminfo: memFree=1497932/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=21972 CPUtime=342.19 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1180 0 0 0 34021 198 0 0 25 0 1 0 3053587 22499328 1097 1992294400 134512640 137138936 4294153968 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5493 1097 190 642 0 4849 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 21972 [startup+402.302 s] /proc/loadavg: 1.00 1.14 1.37 2/107 10176 /proc/meminfo: memFree=1497932/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=21972 CPUtime=402.18 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1180 0 0 0 39991 227 0 0 25 0 1 0 3053587 22499328 1097 1992294400 134512640 137138936 4294153968 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5493 1097 190 642 0 4849 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 21972 [startup+462.302 s] /proc/loadavg: 1.00 1.12 1.35 2/107 10178 /proc/meminfo: memFree=1497932/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=21972 CPUtime=462.16 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1180 0 0 0 45962 254 0 0 25 0 1 0 3053587 22499328 1097 1992294400 134512640 137138936 4294153968 18446744073709551615 134542387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5493 1097 190 642 0 4849 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 21972 [startup+522.302 s] /proc/loadavg: 1.00 1.09 1.33 2/107 10180 /proc/meminfo: memFree=1497808/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=22216 CPUtime=522.14 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1241 0 0 0 51936 278 0 0 25 0 1 0 3053587 22749184 1158 1992294400 134512640 137138936 4294153968 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5554 1158 190 642 0 4910 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 22216 [startup+582.302 s] /proc/loadavg: 1.00 1.07 1.30 2/107 10180 /proc/meminfo: memFree=1497684/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=22216 CPUtime=582.12 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1254 0 0 0 57906 306 0 0 25 0 1 0 3053587 22749184 1171 1992294400 134512640 137138936 4294153968 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5554 1171 190 642 0 4910 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 22216 [startup+642.302 s] /proc/loadavg: 1.00 1.06 1.28 2/107 10182 /proc/meminfo: memFree=1497560/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=22320 CPUtime=642.11 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1259 0 0 0 63874 337 0 0 25 0 1 0 3053587 22855680 1176 1992294400 134512640 137138936 4294153968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5580 1176 190 642 0 4936 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 22320 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1496692/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=22676 CPUtime=1121.98 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1361 0 0 0 111661 537 0 0 25 0 1 0 3053587 23220224 1278 1992294400 134512640 137138936 4294153968 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5669 1278 190 642 0 5025 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 22676 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 10196 /proc/meminfo: memFree=1496568/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=22676 CPUtime=1181.97 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1361 0 0 0 117635 562 0 0 25 0 1 0 3053587 23220224 1278 1992294400 134512640 137138936 4294153968 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5669 1278 190 642 0 5025 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 22676 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 10198 /proc/meminfo: memFree=1496320/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=22676 CPUtime=1241.95 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1361 0 0 0 123610 585 0 0 25 0 1 0 3053587 23220224 1278 1992294400 134512640 137138936 4294153968 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5669 1278 190 642 0 5025 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 22676 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 10200 /proc/meminfo: memFree=1496320/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=22676 CPUtime=1301.94 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1361 0 0 0 129584 610 0 0 25 0 1 0 3053587 23220224 1278 1992294400 134512640 137138936 4294153968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5669 1278 190 642 0 5025 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 22676 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 10202 /proc/meminfo: memFree=1496072/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1361.91 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1462 0 0 0 135556 635 0 0 25 0 1 0 3053587 23617536 1379 1992294400 134512640 137138936 4294153968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1379 190 642 0 5122 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 23064 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10204 /proc/meminfo: memFree=1496072/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1421.9 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1462 0 0 0 141529 661 0 0 25 0 1 0 3053587 23617536 1379 1992294400 134512640 137138936 4294153968 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1379 190 642 0 5122 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 23064 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10204 /proc/meminfo: memFree=1495948/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1481.88 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 147506 682 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 23064 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 10206 /proc/meminfo: memFree=1495948/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1541.86 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 153483 703 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 23064 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10208 /proc/meminfo: memFree=1495948/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1601.84 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 159460 724 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 23064 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10210 /proc/meminfo: memFree=1495824/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1661.83 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 165439 744 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 23064 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10212 /proc/meminfo: memFree=1495700/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1721.82 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 171414 768 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 134602734 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 23064 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10212 /proc/meminfo: memFree=1495452/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1781.8 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 177391 789 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 23064 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10214 /proc/meminfo: memFree=1495452/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1791.41 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 178348 793 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 23064 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10214 /proc/meminfo: memFree=1495452/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1794.61 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 178666 795 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 23064 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10214 /proc/meminfo: memFree=1495452/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1796.19 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 178824 795 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 23064 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10214 /proc/meminfo: memFree=1495452/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1796.99 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 178904 795 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 23064 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10214 /proc/meminfo: memFree=1495452/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1797.4 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 178944 796 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (KiB) 23064 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10214 /proc/meminfo: memFree=1495452/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1797.8 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 178984 796 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 23064 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10214 /proc/meminfo: memFree=1495452/2059040 swapFree=4192956/4192956 [pid=10156] ppid=10154 vsize=23064 CPUtime=1797.9 /proc/10156/stat : 10156 (bsolo_pb10) R 10154 10156 9999 0 -1 4202496 1464 0 0 0 178994 796 0 0 25 0 1 0 3053587 23617536 1381 1992294400 134512640 137138936 4294153968 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10156/statm: 5766 1381 190 642 0 5122 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 23064 Child status: 0 Real time (s): 1798.5 CPU time (s): 1798 CPU user time (s): 1790.04 CPU system time (s): 7.96379 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 23064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.04 system time used= 7.96379 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1464 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= 3120 runsolver used 2.87056 second user time and 8.58569 second system time The end
Begin job on node033 at 2010-06-15 17:59:45 IDJOB=2657349 IDBENCH=2929 IDSOLVER=1163 FILE ID=node033/2657349-1276617585 PBS_JOBID= 11172317 Free space on /tmp= 62592 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657349-1276617585/watcher-2657349-1276617585 -o /tmp/evaluation-result-2657349-1276617585/solver-2657349-1276617585 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657349-1276617585.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 153ea7f27a80a18c7caefc8ed55018be RANDOM SEED=1528507709 node033.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.242 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.242 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: 1503180 kB Buffers: 83036 kB Cached: 345524 kB SwapCached: 0 kB Active: 193288 kB Inactive: 294988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1503180 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3968 kB Writeback: 0 kB AnonPages: 59684 kB Mapped: 15468 kB Slab: 45828 kB PageTables: 3916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182592 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= 62588 MiB End job on node033 at 2010-06-15 18:29:43