Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798 | 1798.61 |
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879194-1245176530.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.001 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 60 14 836 59 274 1672 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.99/1798.60 c 100 60 114 5385 47 655 1840 100 9090 0.01 1797.99/1798.60 c 250 60 264 11918 45 953 2025 250 10000 0.03 1797.99/1798.60 c 476 60 490 22372 45 1397 2228 476 10577 0.04 1797.99/1798.60 c 815 60 829 38663 46 2090 2451 815 10187 0.08 1797.99/1798.60 c 1323 60 1337 63017 47 3104 2697 1323 9800 0.14 1797.99/1798.60 c 2087 60 2101 98150 46 4625 2967 2087 9073 0.23 1797.99/1798.60 c 3236 60 1718 79064 46 3861 3264 1704 8234 0.39 1797.99/1798.60 c 4957 60 1769 76174 43 3947 3591 1755 7626 0.65 1797.99/1798.60 c 7542 60 2513 113448 45 5426 3951 2499 7452 1.01 1797.99/1798.60 c 11421 60 2351 114079 48 5131 4347 2337 6880 1.66 1797.99/1798.60 c 17243 60 3740 172300 46 7875 4782 3726 6123 2.82 1797.99/1798.60 c 25980 60 2731 135504 49 5890 5261 2717 5611 4.63 1797.99/1798.60 c 39092 60 5159 248723 48 10739 5788 5145 5400 7.24 1797.99/1798.60 c 58762 60 4253 213326 50 8927 6367 4239 4821 12.19 1797.99/1798.60 c 88272 60 4709 233526 49 9845 7004 4695 4483 19.69 1797.99/1798.60 c 132542 60 6470 302478 46 13357 7705 6456 4350 30.46 1797.99/1798.60 c 198953 60 6647 325702 48 13729 8476 6633 3919 50.76 1797.99/1798.60 c 298574 60 7858 374969 47 16133 9324 7844 3668 81.38 1797.99/1798.60 c 448009 60 6842 323895 47 14107 10257 6828 3435 130.40 1797.99/1798.60 c 672167 60 8687 421574 48 17804 11283 8673 3132 214.55 1797.99/1798.60 c 1008410 60 9597 473820 49 19634 12412 9583 2741 367.89 1797.99/1798.60 c 1512781 60 7932 382487 48 16309 13654 7918 2550 593.13 1797.99/1798.60 c 2269344 60 8838 435783 49 18105 15020 8824 2157 1051.62 1797.99/1798.60 c Resources Exceeded 1797.99/1798.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.60 c 23 3251396 37777 3290396 9157 454793 9143 1808 1798.00 1797.99/1798.60 s UNKNOWN 1797.99/1798.60 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-1879194-1245176530/watcher-1879194-1245176530 -o /tmp/evaluation-result-1879194-1245176530/solver-1879194-1245176530 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1879194-1245176530.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.99 0.98 0.99 3/64 4913 /proc/meminfo: memFree=1855144/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=26200 CPUtime=0 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 185249755 26828800 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6550 241 196 640 0 5906 0 [startup+0.0616471 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4913 /proc/meminfo: memFree=1855144/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=18908 CPUtime=0.05 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 364 0 0 0 5 0 0 0 18 0 1 0 185249755 19361792 346 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 4727 347 196 640 0 4083 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 18908 [startup+0.101652 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4913 /proc/meminfo: memFree=1855144/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=19168 CPUtime=0.09 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 433 0 0 0 9 0 0 0 18 0 1 0 185249755 19628032 415 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 4792 415 196 640 0 4148 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19168 [startup+0.301688 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4913 /proc/meminfo: memFree=1855144/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=20324 CPUtime=0.29 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 714 0 0 0 29 0 0 0 19 0 1 0 185249755 20811776 696 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 5081 696 196 640 0 4437 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20324 [startup+0.701762 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4913 /proc/meminfo: memFree=1855144/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=20712 CPUtime=0.69 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 824 0 0 0 69 0 0 0 22 0 1 0 185249755 21209088 806 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 5178 806 196 640 0 4534 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20712 [startup+1.50191 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1852384/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=21228 CPUtime=1.49 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 957 0 0 0 148 1 0 0 25 0 1 0 185249755 21737472 939 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 5307 939 196 640 0 4663 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21228 [startup+3.1012 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1851616/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=21868 CPUtime=3.09 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 1122 0 0 0 307 2 0 0 25 0 1 0 185249755 22392832 1104 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 5467 1104 196 640 0 4823 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21868 [startup+6.30178 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1850720/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=22372 CPUtime=6.29 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 1235 0 0 0 626 3 0 0 25 0 1 0 185249755 22908928 1217 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 5593 1217 196 640 0 4949 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22372 [startup+12.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1850080/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=23272 CPUtime=12.68 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 1471 0 0 0 1263 5 0 0 25 0 1 0 185249755 23830528 1453 1992294400 134512640 137136520 4294956256 18446744073709551615 136498099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 5818 1453 196 640 0 5174 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23272 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1849376/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=23656 CPUtime=25.48 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 1557 0 0 0 2538 10 0 0 25 0 1 0 185249755 24223744 1539 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 5914 1539 196 640 0 5270 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23656 [startup+51.102 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1848672/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=24548 CPUtime=51.07 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 1782 0 0 0 5089 18 0 0 25 0 1 0 185249755 25137152 1764 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6137 1764 196 640 0 5493 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24548 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1847712/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=25284 CPUtime=102.26 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 1964 0 0 0 10191 35 0 0 25 0 1 0 185249755 25890816 1946 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6321 1946 196 640 0 5677 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25284 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1846880/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=26032 CPUtime=162.23 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 2167 0 0 0 16173 50 0 0 25 0 1 0 185249755 26656768 2149 1992294400 134512640 137136520 4294956256 18446744073709551615 136509109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6508 2149 196 640 0 5864 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 26032 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1845920/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=26928 CPUtime=222.22 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 2392 0 0 0 22156 66 0 0 25 0 1 0 185249755 27574272 2374 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6732 2374 196 640 0 6088 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 26928 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1845856/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=27012 CPUtime=282.2 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 2406 0 0 0 28138 82 0 0 25 0 1 0 185249755 27660288 2388 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6753 2388 196 640 0 6109 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 27012 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1845792/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=27012 CPUtime=342.17 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 2406 0 0 0 34121 96 0 0 25 0 1 0 185249755 27660288 2388 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6753 2388 196 640 0 6109 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 27012 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1845152/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=27652 CPUtime=402.15 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 2558 0 0 0 40102 113 0 0 25 0 1 0 185249755 28315648 2540 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6913 2540 196 640 0 6269 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 27652 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1845024/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=27740 CPUtime=462.14 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 2581 0 0 0 46086 128 0 0 25 0 1 0 185249755 28405760 2563 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6935 2563 196 640 0 6291 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 27740 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1844960/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=27740 CPUtime=522.11 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 2588 0 0 0 52068 143 0 0 25 0 1 0 185249755 28405760 2570 1992294400 134512640 137136520 4294956256 18446744073709551615 134543983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6935 2570 196 640 0 6291 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 27740 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1844960/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=27736 CPUtime=582.09 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 2588 0 0 0 58053 156 0 0 25 0 1 0 185249755 28401664 2570 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 6934 2570 196 640 0 6290 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 27736 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4914 /proc/meminfo: memFree=1843936/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=28744 CPUtime=642.08 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 2834 0 0 0 64041 167 0 0 25 0 1 0 185249755 29433856 2816 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7186 2816 196 640 0 6542 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 28744 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1842720/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29628 CPUtime=1121.92 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3070 0 0 0 111929 263 0 0 25 0 1 0 185249755 30339072 3052 1992294400 134512640 137136520 4294956256 18446744073709551615 134543983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7407 3052 196 640 0 6763 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 29628 [startup+1182.3 s] /proc/loadavg: 1.08 1.03 1.00 2/65 4914 /proc/meminfo: memFree=1842784/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29628 CPUtime=1181.89 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3070 0 0 0 117916 273 0 0 25 0 1 0 185249755 30339072 3052 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7407 3052 196 640 0 6763 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 29628 [startup+1242.3 s] /proc/loadavg: 1.08 1.04 1.00 2/65 4914 /proc/meminfo: memFree=1842720/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29628 CPUtime=1241.87 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3070 0 0 0 123904 283 0 0 25 0 1 0 185249755 30339072 3052 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7407 3052 196 640 0 6763 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 29628 [startup+1302.3 s] /proc/loadavg: 1.03 1.03 1.00 2/65 4914 /proc/meminfo: memFree=1842720/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29740 CPUtime=1301.86 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3082 0 0 0 129891 295 0 0 25 0 1 0 185249755 30453760 3063 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7435 3063 196 640 0 6791 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 29740 [startup+1362.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4914 /proc/meminfo: memFree=1842528/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29836 CPUtime=1361.83 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 135879 304 0 0 25 0 1 0 185249755 30552064 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7459 3090 196 640 0 6815 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 29836 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/65 4914 /proc/meminfo: memFree=1842528/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29836 CPUtime=1421.82 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 141872 310 0 0 25 0 1 0 185249755 30552064 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7459 3090 196 640 0 6815 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 29836 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4914 /proc/meminfo: memFree=1842528/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29832 CPUtime=1481.79 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 147860 319 0 0 25 0 1 0 185249755 30547968 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7458 3090 196 640 0 6814 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 29832 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842464/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29832 CPUtime=1541.77 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 153848 329 0 0 25 0 1 0 185249755 30547968 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7458 3090 196 640 0 6814 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 29832 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842464/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29832 CPUtime=1601.76 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 159836 340 0 0 25 0 1 0 185249755 30547968 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7458 3090 196 640 0 6814 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 29832 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842464/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29832 CPUtime=1661.74 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 165823 351 0 0 25 0 1 0 185249755 30547968 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7458 3090 196 640 0 6814 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 29832 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842400/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29828 CPUtime=1721.71 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 171808 363 0 0 25 0 1 0 185249755 30543872 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7457 3090 196 640 0 6813 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 29828 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842400/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29824 CPUtime=1781.7 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 177797 373 0 0 25 0 1 0 185249755 30539776 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136295558 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7456 3090 196 640 0 6812 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 29824 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842336/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29824 CPUtime=1791.3 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 178755 375 0 0 25 0 1 0 185249755 30539776 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7456 3090 196 640 0 6812 0 Current children cumulated CPU time (s) 1791.3 Current children cumulated vsize (KiB) 29824 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842336/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29824 CPUtime=1794.5 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 179074 376 0 0 25 0 1 0 185249755 30539776 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7456 3090 196 640 0 6812 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (KiB) 29824 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842336/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29824 CPUtime=1796.09 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 179233 376 0 0 25 0 1 0 185249755 30539776 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7456 3090 196 640 0 6812 0 Current children cumulated CPU time (s) 1796.09 Current children cumulated vsize (KiB) 29824 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842336/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29824 CPUtime=1796.89 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 179313 376 0 0 25 0 1 0 185249755 30539776 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7456 3090 196 640 0 6812 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 29824 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842336/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29824 CPUtime=1797.69 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 179393 376 0 0 25 0 1 0 185249755 30539776 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7456 3090 196 640 0 6812 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 29824 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842336/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29824 CPUtime=1797.89 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 179413 376 0 0 25 0 1 0 185249755 30539776 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7456 3090 196 640 0 6812 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 29824 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4914 /proc/meminfo: memFree=1842336/2055920 swapFree=4191900/4192956 [pid=4913] ppid=4911 vsize=29824 CPUtime=1797.99 /proc/4913/stat : 4913 (bsolo) R 4911 4913 4663 0 -1 4194304 3109 0 0 0 179423 376 0 0 25 0 1 0 185249755 30539776 3090 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4913/statm: 7456 3090 196 640 0 6812 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 29824 Child status: 0 Real time (s): 1798.61 CPU time (s): 1798 CPU user time (s): 1794.23 CPU system time (s): 3.76943 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 29848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.23 system time used= 3.76943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3110 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= 2 involuntary context switches= 2438 runsolver used 1.13283 second user time and 3.9404 second system time The end
Begin job on node44 at 2009-06-16 20:22:10 IDJOB=1879194 IDBENCH=2917 IDSOLVER=700 FILE ID=node44/1879194-1245176530 PBS_JOBID= 9363905 Free space on /tmp= 65924 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879194-1245176530/watcher-1879194-1245176530 -o /tmp/evaluation-result-1879194-1245176530/solver-1879194-1245176530 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1879194-1245176530.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43 RANDOM SEED=1306113283 node44.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.263 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.263 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1855560 kB Buffers: 39504 kB Cached: 81684 kB SwapCached: 260 kB Active: 42460 kB Inactive: 91952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855560 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 21752 kB Slab: 51876 kB Committed_AS: 168232 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879194-1245176530.opb Free space on /tmp at the end= 65920 MiB End job on node44 at 2009-06-16 20:52:09