Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798 | 1798.45 |
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.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-1878413-1245178066.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.95/1798.44 c 100 40 110 3322 30 434 876 100 14285 0.01 1797.95/1798.44 c 251 40 261 7864 30 734 964 251 15687 0.02 1797.95/1798.44 c 476 40 486 14621 30 1186 1061 476 14875 0.03 1797.95/1798.44 c 814 40 824 24480 29 1861 1168 814 13566 0.06 1797.95/1798.44 c 1323 40 731 22076 30 1676 1285 721 12721 0.10 1797.95/1798.44 c 2086 40 833 25809 30 1878 1414 823 12127 0.17 1797.95/1798.44 c 3233 40 1252 39126 31 2715 1556 1242 11304 0.29 1797.95/1798.44 c 4954 40 1359 42644 31 2934 1712 1349 10769 0.46 1797.95/1798.44 c 7538 40 1294 39595 30 2802 1884 1284 10241 0.74 1797.95/1798.44 c 11417 40 1314 41141 31 2840 2073 1304 9867 1.16 1797.95/1798.44 c 17240 40 1822 56649 31 3854 2281 1812 9482 1.82 1797.95/1798.44 c 25977 40 1217 37603 30 2647 2510 1207 9019 2.88 1797.95/1798.44 c 39087 40 1516 46594 30 3244 2762 1506 8722 4.48 1797.95/1798.44 c 58757 40 1496 45539 30 3204 3039 1486 8390 7.00 1797.95/1798.44 c 88268 40 1633 51275 31 3482 3343 1623 7888 11.19 1797.95/1798.44 c 132538 40 1784 55632 31 3781 3678 1774 7623 17.39 1797.95/1798.44 c 198948 40 2909 89379 30 6025 4046 2899 7256 27.42 1797.95/1798.44 c 298569 40 2113 66543 31 4441 4451 2103 6806 43.87 1797.95/1798.44 c 448004 40 2984 93188 31 6184 4897 2974 6381 70.21 1797.95/1798.44 c 672162 40 4512 140828 31 9239 5387 4502 5997 112.07 1797.95/1798.44 c 1008405 40 3645 112747 30 7503 5926 3635 5578 180.76 1797.95/1798.44 c 1512778 40 5870 181215 30 11955 6519 5860 5051 299.50 1797.95/1798.44 c 2269342 40 3618 113032 31 7448 7171 3608 4625 490.59 1797.95/1798.44 c 3404193 40 4940 147659 29 10092 7889 4930 4309 789.96 1797.95/1798.44 c 5106477 40 4365 131551 30 8944 8678 4355 3999 1276.84 1797.95/1798.44 c Resources Exceeded 1797.95/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.44 c 25 6666897 67744 6735792 6530 202901 6520 3707 1798.00 1797.95/1798.44 s UNKNOWN 1797.95/1798.44 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-1878413-1245178066/watcher-1878413-1245178066 -o /tmp/evaluation-result-1878413-1245178066/solver-1878413-1245178066 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878413-1245178066.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.96 3/67 9811 /proc/meminfo: memFree=1300312/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=26200 CPUtime=0 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 174295915 26828800 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 6550 240 196 640 0 5906 0 [startup+0.0626451 s] /proc/loadavg: 0.99 0.98 0.96 3/67 9811 /proc/meminfo: memFree=1300312/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=18772 CPUtime=0.06 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 352 0 0 0 6 0 0 0 18 0 1 0 174295915 19222528 335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 4693 335 196 640 0 4049 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18772 [startup+0.101647 s] /proc/loadavg: 0.99 0.98 0.96 3/67 9811 /proc/meminfo: memFree=1300312/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=19032 CPUtime=0.09 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 401 0 0 0 9 0 0 0 18 0 1 0 174295915 19488768 384 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 4758 384 196 640 0 4114 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19032 [startup+0.301664 s] /proc/loadavg: 0.99 0.98 0.96 3/67 9811 /proc/meminfo: memFree=1300312/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=19160 CPUtime=0.29 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 438 0 0 0 29 0 0 0 19 0 1 0 174295915 19619840 421 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 4790 421 196 640 0 4146 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19160 [startup+0.7017 s] /proc/loadavg: 0.99 0.98 0.96 3/67 9811 /proc/meminfo: memFree=1300312/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=19288 CPUtime=0.69 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 478 0 0 0 68 1 0 0 22 0 1 0 174295915 19750912 461 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 4822 461 196 640 0 4178 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19288 [startup+1.50177 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1299088/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=19548 CPUtime=1.49 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 527 0 0 0 148 1 0 0 25 0 1 0 174295915 20017152 510 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 4887 510 196 640 0 4243 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19548 [startup+3.10191 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1298768/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=19676 CPUtime=3.09 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 576 0 0 0 306 3 0 0 25 0 1 0 174295915 20148224 559 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 4919 559 196 640 0 4275 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19676 [startup+6.3012 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1298320/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=19800 CPUtime=6.29 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 612 0 0 0 623 6 0 0 25 0 1 0 174295915 20275200 595 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 4950 595 196 640 0 4306 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19800 [startup+12.7018 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=20188 CPUtime=12.69 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 693 0 0 0 1259 10 0 0 25 0 1 0 174295915 20672512 676 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5047 676 196 640 0 4403 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20188 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1297816/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=20316 CPUtime=25.49 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 732 0 0 0 2533 16 0 0 25 0 1 0 174295915 20803584 715 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5079 715 196 640 0 4435 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20316 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1297496/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=20700 CPUtime=51.07 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 835 0 0 0 5079 28 0 0 25 0 1 0 174295915 21196800 818 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5175 818 196 640 0 4531 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20700 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1297240/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=21052 CPUtime=102.27 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 901 0 0 0 10175 52 0 0 25 0 1 0 174295915 21557248 884 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5263 884 196 640 0 4619 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21052 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1296984/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=21292 CPUtime=162.24 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 966 0 0 0 16148 76 0 0 25 0 1 0 174295915 21803008 949 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5323 949 196 640 0 4679 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 21292 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1296664/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=21536 CPUtime=222.23 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1039 0 0 0 22127 96 0 0 25 0 1 0 174295915 22052864 1022 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5384 1022 196 640 0 4740 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21536 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1296664/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=21536 CPUtime=282.21 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1039 0 0 0 28104 117 0 0 25 0 1 0 174295915 22052864 1022 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5384 1022 196 640 0 4740 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 21536 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1296344/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=21888 CPUtime=342.2 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1118 0 0 0 34085 135 0 0 25 0 1 0 174295915 22413312 1101 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5472 1101 196 640 0 4828 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 21888 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1296280/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=21888 CPUtime=402.19 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1118 0 0 0 40061 158 0 0 25 0 1 0 174295915 22413312 1101 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5472 1101 196 640 0 4828 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 21888 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1296280/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=21888 CPUtime=462.17 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1118 0 0 0 46040 177 0 0 25 0 1 0 174295915 22413312 1101 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5472 1101 196 640 0 4828 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 21888 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1296024/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22132 CPUtime=522.15 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1181 0 0 0 52018 197 0 0 25 0 1 0 174295915 22663168 1164 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5533 1164 196 640 0 4889 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 22132 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1295960/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22132 CPUtime=582.14 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1192 0 0 0 57998 216 0 0 25 0 1 0 174295915 22663168 1175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5533 1175 196 640 0 4889 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 22132 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.96 2/68 9812 /proc/meminfo: memFree=1295960/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22236 CPUtime=642.13 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1197 0 0 0 63975 238 0 0 25 0 1 0 174295915 22769664 1180 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5559 1180 196 640 0 4915 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 22236 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1295576/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22592 CPUtime=1122.01 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1299 0 0 0 111809 392 0 0 25 0 1 0 174295915 23134208 1282 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5648 1282 196 640 0 5004 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 22592 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 0.98 2/68 9818 /proc/meminfo: memFree=1295512/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22592 CPUtime=1182 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1299 0 0 0 117789 411 0 0 25 0 1 0 174295915 23134208 1282 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5648 1282 196 640 0 5004 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 22592 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295512/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22592 CPUtime=1241.98 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1299 0 0 0 123767 431 0 0 25 0 1 0 174295915 23134208 1282 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5648 1282 196 640 0 5004 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 22592 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295128/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1301.97 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1392 0 0 0 129748 449 0 0 25 0 1 0 174295915 23531520 1375 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1375 196 640 0 5101 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 22980 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295064/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1361.95 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1400 0 0 0 135729 466 0 0 25 0 1 0 174295915 23531520 1383 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1383 196 640 0 5101 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 22980 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295064/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1421.94 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 141712 482 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 22980 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295064/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1481.92 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 147694 498 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 22980 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295064/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1541.91 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 153678 513 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 22980 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1601.9 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 159662 528 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136295575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 22980 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1661.87 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 165644 543 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 22980 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1721.86 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 171628 558 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 22980 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1781.85 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 177610 575 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 22980 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1791.45 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 178567 578 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 22980 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1794.65 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 178886 579 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 22980 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1796.25 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 179045 580 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 22980 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1797.04 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 179124 580 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 22980 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1797.44 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 179164 580 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (KiB) 22980 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1797.84 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 179204 580 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 22980 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 0.98 2/68 9818 /proc/meminfo: memFree=1295000/2055920 swapFree=4192956/4192956 [pid=9811] ppid=9809 vsize=22980 CPUtime=1797.95 /proc/9811/stat : 9811 (bsolo) R 9809 9811 9730 0 -1 4194304 1402 0 0 0 179215 580 0 0 25 0 1 0 174295915 23531520 1385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9811/statm: 5745 1385 196 640 0 5101 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 22980 Child status: 0 Real time (s): 1798.45 CPU time (s): 1798 CPU user time (s): 1792.19 CPU system time (s): 5.80912 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 22980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.19 system time used= 5.80912 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1403 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= 2745 runsolver used 1.46878 second user time and 5.07923 second system time The end
Begin job on node68 at 2009-06-16 20:47:46 IDJOB=1878413 IDBENCH=2929 IDSOLVER=700 FILE ID=node68/1878413-1245178066 PBS_JOBID= 9368272 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878413-1245178066/watcher-1878413-1245178066 -o /tmp/evaluation-result-1878413-1245178066/solver-1878413-1245178066 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878413-1245178066.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 153ea7f27a80a18c7caefc8ed55018be RANDOM SEED=814484911 node68.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.238 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.238 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: 1300792 kB Buffers: 70460 kB Cached: 588460 kB SwapCached: 0 kB Active: 337368 kB Inactive: 337872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1300792 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 26436 kB Slab: 65560 kB Committed_AS: 82984 kB PageTables: 1564 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878413-1245178066.opb Free space on /tmp at the end= 66468 MiB End job on node68 at 2009-06-16 21:17:45