Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.46 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_4.opb |
MD5SUM | dc0116cc9dd2d87e5a6934d46be3ef43 |
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 | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 61 |
Total number of constraints | 15 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4594 |
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-2657205-1276614088.opb 0.00/0.00 c File size is 6868 bytes. 0.00/0.00 c Highest Coefficient sum: 4594 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: 837 Watch. Lit: 271 0.00/0.00 c Obj. Vars: 1 (1.63934 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 60 14 836 59 274 1672 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.94/1798.46 c 100 60 157 7243 46 817 1840 143 4545 0.02 1797.94/1798.46 c 250 60 352 15709 44 1290 2025 338 4807 0.05 1797.94/1798.46 c 476 60 660 29849 45 2219 2228 646 5173 0.09 1797.94/1798.46 c 815 60 1191 55070 46 4491 2451 1177 5093 0.16 1797.94/1798.46 c 1323 60 1881 87801 46 6448 2697 1867 4863 0.27 1797.94/1798.46 c 2087 60 1530 71641 46 4381 2967 1516 4303 0.48 1797.94/1798.46 c 3234 60 1499 68230 45 4060 3264 1485 4183 0.77 1797.94/1798.46 c 4955 60 2026 89785 44 5297 3591 2012 4025 1.23 1797.94/1798.46 c 7539 60 3602 163365 45 11042 3951 3588 3986 1.89 1797.94/1798.46 c 11419 60 3122 150467 48 10235 4347 3108 3764 3.03 1797.94/1798.46 c 17241 60 3127 150454 48 11497 4782 3113 3318 5.20 1797.94/1798.46 c 25979 60 4363 209485 48 15497 5261 4349 2948 8.81 1797.94/1798.46 c 39089 60 4746 232809 49 17321 5788 4732 2634 14.84 1797.94/1798.46 c 58759 60 4796 232404 48 17061 6367 4782 2350 25.00 1797.94/1798.46 c 88269 60 3217 156040 48 11175 7004 3203 2191 40.28 1797.94/1798.46 c 132539 60 4145 199278 48 13342 7705 4131 2034 65.14 1797.94/1798.46 c 198950 60 5589 267235 47 19348 8476 5575 1859 106.97 1797.94/1798.46 c 298570 60 8270 393221 47 26198 9324 8256 1667 179.09 1797.94/1798.46 c 448006 60 6936 331561 47 21299 10257 6922 1573 284.79 1797.94/1798.46 c 672165 60 5333 251560 47 17214 11283 5319 1399 480.36 1797.94/1798.46 c 1008408 60 10619 518400 48 38265 12412 10605 1265 797.11 1797.94/1798.46 c 1512781 60 8260 392233 47 26463 13654 8246 1219 1240.46 1797.94/1798.46 c Resources Exceeded 1797.94/1798.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.46 c 22 1998352 18837 2017966 13262 649338 13248 1111 1798.00 1797.94/1798.46 s UNKNOWN 1797.94/1798.46 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-2657205-1276614088/watcher-2657205-1276614088 -o /tmp/evaluation-result-2657205-1276614088/solver-2657205-1276614088 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657205-1276614088.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.92 0.98 0.99 3/105 10155 /proc/meminfo: memFree=1778244/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=26412 CPUtime=0 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 325 0 0 0 0 0 0 0 25 0 1 0 2702617 27045888 241 1992294400 134512640 137138936 4290707760 18446744073709551615 134575902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6603 241 192 642 0 5959 0 [startup+0.0455941 s] /proc/loadavg: 0.92 0.98 0.99 3/105 10155 /proc/meminfo: memFree=1778244/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=18728 CPUtime=0.04 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 370 0 0 0 4 0 0 0 25 0 1 0 2702617 19177472 286 1992294400 134512640 137138936 4290707760 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 4682 286 192 642 0 4038 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 18728 [startup+0.1016 s] /proc/loadavg: 0.92 0.98 0.99 3/105 10155 /proc/meminfo: memFree=1778244/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=18988 CPUtime=0.09 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 445 0 0 0 9 0 0 0 25 0 1 0 2702617 19443712 361 1992294400 134512640 137138936 4290707760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 4747 361 192 642 0 4103 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18988 [startup+0.301619 s] /proc/loadavg: 0.92 0.98 0.99 3/105 10155 /proc/meminfo: memFree=1778244/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=20020 CPUtime=0.29 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 693 0 0 0 29 0 0 0 25 0 1 0 2702617 20500480 609 1992294400 134512640 137138936 4290707760 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 5005 609 192 642 0 4361 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20020 [startup+0.701659 s] /proc/loadavg: 0.92 0.98 0.99 3/105 10155 /proc/meminfo: memFree=1778244/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=20536 CPUtime=0.69 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 829 0 0 0 69 0 0 0 25 0 1 0 2702617 21028864 745 1992294400 134512640 137138936 4290707760 18446744073709551615 136511221 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 5134 745 192 642 0 4490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20536 [startup+1.50174 s] /proc/loadavg: 0.92 0.98 0.99 2/106 10156 /proc/meminfo: memFree=1775756/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=20924 CPUtime=1.49 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 932 0 0 0 148 1 0 0 25 0 1 0 2702617 21426176 848 1992294400 134512640 137138936 4290707760 18446744073709551615 134599666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 5231 848 192 642 0 4587 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20924 [startup+3.1009 s] /proc/loadavg: 0.92 0.98 0.99 2/106 10156 /proc/meminfo: memFree=1774764/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=21568 CPUtime=3.09 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 1083 0 0 0 308 1 0 0 25 0 1 0 2702617 22085632 999 1992294400 134512640 137138936 4290707760 18446744073709551615 134575885 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 5392 999 192 642 0 4748 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21568 [startup+6.30121 s] /proc/loadavg: 0.93 0.98 0.99 2/106 10156 /proc/meminfo: memFree=1774144/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=22208 CPUtime=6.29 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 1258 0 0 0 627 2 0 0 25 0 1 0 2702617 22740992 1174 1992294400 134512640 137138936 4290707760 18446744073709551615 136500163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 5552 1174 192 642 0 4908 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22208 [startup+12.7008 s] /proc/loadavg: 0.93 0.98 0.99 2/106 10156 /proc/meminfo: memFree=1773400/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=22724 CPUtime=12.69 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 1366 0 0 0 1266 3 0 0 25 0 1 0 2702617 23269376 1282 1992294400 134512640 137138936 4290707760 18446744073709551615 134606623 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 5681 1282 192 642 0 5037 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22724 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/106 10156 /proc/meminfo: memFree=1773028/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=23368 CPUtime=25.48 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 1535 0 0 0 2540 8 0 0 25 0 1 0 2702617 23928832 1451 1992294400 134512640 137138936 4290707760 18446744073709551615 134575813 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 5842 1451 192 642 0 5198 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23368 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/106 10158 /proc/meminfo: memFree=1772160/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=23880 CPUtime=51.08 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 1667 0 0 0 5093 15 0 0 25 0 1 0 2702617 24453120 1583 1992294400 134512640 137138936 4290707760 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 5970 1583 192 642 0 5326 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23880 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/106 10158 /proc/meminfo: memFree=1771416/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=24624 CPUtime=102.27 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 1839 0 0 0 10201 26 0 0 25 0 1 0 2702617 25214976 1755 1992294400 134512640 137138936 4290707760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6156 1755 192 642 0 5512 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24624 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10160 /proc/meminfo: memFree=1770796/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=25244 CPUtime=162.25 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 1996 0 0 0 16185 40 0 0 25 0 1 0 2702617 25849856 1912 1992294400 134512640 137138936 4290707760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6311 1912 192 642 0 5667 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 25244 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10162 /proc/meminfo: memFree=1770176/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=25864 CPUtime=222.24 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2151 0 0 0 22169 55 0 0 25 0 1 0 2702617 26484736 2067 1992294400 134512640 137138936 4290707760 18446744073709551615 136504131 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6466 2067 192 642 0 5822 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 25864 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10164 /proc/meminfo: memFree=1770052/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=25856 CPUtime=282.22 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2151 0 0 0 28152 70 0 0 25 0 1 0 2702617 26476544 2067 1992294400 134512640 137138936 4290707760 18446744073709551615 136520986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6464 2067 192 642 0 5820 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 25856 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10164 /proc/meminfo: memFree=1769308/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=26628 CPUtime=342.21 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2349 0 0 0 34137 84 0 0 25 0 1 0 2702617 27267072 2265 1992294400 134512640 137138936 4290707760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6657 2265 192 642 0 6013 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 26628 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10166 /proc/meminfo: memFree=1769184/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=26628 CPUtime=402.19 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2349 0 0 0 40119 100 0 0 25 0 1 0 2702617 27267072 2265 1992294400 134512640 137138936 4290707760 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6657 2265 192 642 0 6013 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 26628 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10168 /proc/meminfo: memFree=1769184/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=26628 CPUtime=462.17 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2349 0 0 0 46102 115 0 0 25 0 1 0 2702617 27267072 2265 1992294400 134512640 137138936 4290707760 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6657 2265 192 642 0 6013 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 26628 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10170 /proc/meminfo: memFree=1768316/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=27408 CPUtime=522.16 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2539 0 0 0 52090 126 0 0 25 0 1 0 2702617 28065792 2455 1992294400 134512640 137138936 4290707760 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6852 2455 192 642 0 6208 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 27408 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10172 /proc/meminfo: memFree=1768192/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=27516 CPUtime=582.14 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2565 0 0 0 58076 138 0 0 25 0 1 0 2702617 28176384 2481 1992294400 134512640 137138936 4290707760 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6879 2481 192 642 0 6235 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 27516 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10172 /proc/meminfo: memFree=1768068/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=27516 CPUtime=642.13 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2583 0 0 0 64062 151 0 0 25 0 1 0 2702617 28176384 2499 1992294400 134512640 137138936 4290707760 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 6879 2499 192 642 0 6235 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 27516 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1767076/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=28248 CPUtime=1122 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2749 0 0 0 111945 255 0 0 25 0 1 0 2702617 28925952 2665 1992294400 134512640 137138936 4290707760 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7062 2665 192 642 0 6418 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 28248 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10188 /proc/meminfo: memFree=1766952/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=28348 CPUtime=1181.99 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2774 0 0 0 117931 268 0 0 25 0 1 0 2702617 29028352 2690 1992294400 134512640 137138936 4290707760 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7087 2690 192 642 0 6443 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 28348 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10188 /proc/meminfo: memFree=1766952/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=28344 CPUtime=1241.97 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2774 0 0 0 123916 281 0 0 25 0 1 0 2702617 29024256 2690 1992294400 134512640 137138936 4290707760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7086 2690 192 642 0 6442 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 28344 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10190 /proc/meminfo: memFree=1765836/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29220 CPUtime=1301.97 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2994 0 0 0 129904 293 0 0 25 0 1 0 2702617 29921280 2910 1992294400 134512640 137138936 4290707760 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7305 2910 192 642 0 6661 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 29220 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10192 /proc/meminfo: memFree=1765836/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29220 CPUtime=1361.94 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2994 0 0 0 135891 303 0 0 25 0 1 0 2702617 29921280 2910 1992294400 134512640 137138936 4290707760 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7305 2910 192 642 0 6661 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 29220 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10194 /proc/meminfo: memFree=1765836/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29216 CPUtime=1421.93 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2994 0 0 0 141878 315 0 0 25 0 1 0 2702617 29917184 2910 1992294400 134512640 137138936 4290707760 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7304 2910 192 642 0 6660 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 29216 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10196 /proc/meminfo: memFree=1765712/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29216 CPUtime=1481.92 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 2994 0 0 0 147865 327 0 0 25 0 1 0 2702617 29917184 2910 1992294400 134512640 137138936 4290707760 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7304 2910 192 642 0 6660 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 29216 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10196 /proc/meminfo: memFree=1765588/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29296 CPUtime=1541.9 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3015 0 0 0 153851 339 0 0 25 0 1 0 2702617 29999104 2931 1992294400 134512640 137138936 4290707760 18446744073709551615 134618146 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7324 2931 192 642 0 6680 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 29296 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10198 /proc/meminfo: memFree=1765588/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29288 CPUtime=1601.88 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3015 0 0 0 159836 352 0 0 25 0 1 0 2702617 29990912 2931 1992294400 134512640 137138936 4290707760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7322 2931 192 642 0 6678 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 29288 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10200 /proc/meminfo: memFree=1765464/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29288 CPUtime=1661.87 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3015 0 0 0 165821 366 0 0 25 0 1 0 2702617 29990912 2931 1992294400 134512640 137138936 4290707760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7322 2931 192 642 0 6678 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 29288 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10202 /proc/meminfo: memFree=1765464/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29284 CPUtime=1721.85 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3015 0 0 0 171807 378 0 0 25 0 1 0 2702617 29986816 2931 1992294400 134512640 137138936 4290707760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7321 2931 192 642 0 6677 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 29284 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10204 /proc/meminfo: memFree=1765464/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29280 CPUtime=1781.84 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3015 0 0 0 177794 390 0 0 25 0 1 0 2702617 29982720 2931 1992294400 134512640 137138936 4290707760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7320 2931 192 642 0 6676 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 29280 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10204 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29380 CPUtime=1791.44 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3032 0 0 0 178752 392 0 0 25 0 1 0 2702617 30085120 2948 1992294400 134512640 137138936 4290707760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7345 2948 192 642 0 6701 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 29380 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10204 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29380 CPUtime=1794.64 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3032 0 0 0 179071 393 0 0 25 0 1 0 2702617 30085120 2948 1992294400 134512640 137138936 4290707760 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7345 2948 192 642 0 6701 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 29380 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10204 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29380 CPUtime=1796.24 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3032 0 0 0 179230 394 0 0 25 0 1 0 2702617 30085120 2948 1992294400 134512640 137138936 4290707760 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7345 2948 192 642 0 6701 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 29380 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10204 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29380 CPUtime=1797.04 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3032 0 0 0 179310 394 0 0 25 0 1 0 2702617 30085120 2948 1992294400 134512640 137138936 4290707760 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7345 2948 192 642 0 6701 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 29380 [startup+1797.9 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10204 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29380 CPUtime=1797.43 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3032 0 0 0 179349 394 0 0 25 0 1 0 2702617 30085120 2948 1992294400 134512640 137138936 4290707760 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7345 2948 192 642 0 6701 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 29380 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10204 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29380 CPUtime=1797.83 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3032 0 0 0 179389 394 0 0 25 0 1 0 2702617 30085120 2948 1992294400 134512640 137138936 4290707760 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7345 2948 192 642 0 6701 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 29380 [startup+1798.4 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10204 /proc/meminfo: memFree=1765340/2059040 swapFree=4192956/4192956 [pid=10155] ppid=10153 vsize=29380 CPUtime=1797.94 /proc/10155/stat : 10155 (bsolo_pb10) R 10153 10155 10130 0 -1 4202496 3032 0 0 0 179400 394 0 0 25 0 1 0 2702617 30085120 2948 1992294400 134512640 137138936 4290707760 18446744073709551615 136504239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10155/statm: 7345 2948 192 642 0 6701 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 29380 Child status: 0 Real time (s): 1798.46 CPU time (s): 1798 CPU user time (s): 1794.06 CPU system time (s): 3.9444 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 29380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.06 system time used= 3.9444 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3032 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= 3847 runsolver used 2.79657 second user time and 8.65868 second system time The end
Begin job on node084 at 2010-06-15 17:01:28 IDJOB=2657205 IDBENCH=2917 IDSOLVER=1162 FILE ID=node084/2657205-1276614088 PBS_JOBID= 11172295 Free space on /tmp= 62512 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_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657205-1276614088/watcher-2657205-1276614088 -o /tmp/evaluation-result-2657205-1276614088/solver-2657205-1276614088 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657205-1276614088.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43 RANDOM SEED=1618778839 node084.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.229 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.45 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.229 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1778772 kB Buffers: 34308 kB Cached: 122908 kB SwapCached: 0 kB Active: 105728 kB Inactive: 111060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1778772 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3992 kB Writeback: 0 kB AnonPages: 59540 kB Mapped: 15528 kB Slab: 41940 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179984 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= 62508 MiB End job on node084 at 2010-06-15 17:31:26