Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | ? | 1798.01 | 1798.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_3.opb |
MD5SUM | 37c74b9e914d30b1ddfc0838676dd479 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 663.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
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 | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3487 |
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: Cardinality Constraint 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-1876985-1245178329.opb 0.00/0.00 c File size is 3364 bytes. 0.00/0.00 c Highest Coefficient sum: 3487 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: 395 Watch. Lit: 138 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 394 39 142 788 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.98/1798.61 c 100 40 134 3935 29 642 867 124 9090 0.01 1797.98/1798.61 c 251 40 334 9784 29 1334 954 324 8964 0.03 1797.98/1798.61 c 478 40 592 16829 28 2081 1050 582 8535 0.06 1797.98/1798.61 c 816 40 985 27949 28 3334 1156 975 7846 0.10 1797.98/1798.61 c 1324 40 1026 29671 28 2828 1272 1016 7609 0.17 1797.98/1798.61 c 2088 40 721 21029 29 1792 1400 711 7150 0.29 1797.98/1798.61 c 3234 40 711 20387 28 1630 1541 701 7015 0.46 1797.98/1798.61 c 4955 40 1429 42791 29 4107 1696 1419 6787 0.73 1797.98/1798.61 c 7541 40 1049 30443 29 2628 1866 1039 6632 1.14 1797.98/1798.61 c 11420 40 1033 30489 29 2616 2053 1023 6281 1.82 1797.98/1798.61 c 17243 40 1674 48273 28 4304 2259 1664 6075 2.84 1797.98/1798.61 c 25980 40 1521 43957 28 4085 2485 1511 5888 4.41 1797.98/1798.61 c 39091 40 1947 56860 29 5777 2734 1937 5458 7.16 1797.98/1798.61 c 58761 40 1783 52940 29 5495 3008 1773 5030 11.68 1797.98/1798.61 c 88271 40 1920 56763 29 5391 3309 1910 4810 18.35 1797.98/1798.61 c 132541 40 2993 88339 29 8715 3640 2983 4521 29.31 1797.98/1798.61 c 198951 40 3648 107404 29 11456 4005 3638 4271 46.58 1797.98/1798.61 c 298571 40 2126 62393 29 6182 4406 2116 4012 74.40 1797.98/1798.61 c 448006 40 2863 83676 29 8313 4847 2853 3763 119.05 1797.98/1798.61 c 672164 40 3629 106469 29 10359 5332 3619 3443 195.22 1797.98/1798.61 c 1008408 40 4815 143578 29 16554 5866 4805 3194 315.70 1797.98/1798.61 c 1512780 40 3869 113452 29 10081 6453 3859 2953 512.19 1797.98/1798.61 c 2269344 40 4302 123823 28 11726 7099 4292 2745 826.70 1797.98/1798.61 c 3404196 40 3916 114405 29 9808 7809 3906 2515 1353.35 1797.98/1798.61 c Resources Exceeded 1797.98/1798.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.61 c 24 4275858 47247 4324381 3920 115647 3910 2378 1798.01 1797.98/1798.61 s UNKNOWN 1797.98/1798.61 c Total time: 1798.01 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-1876985-1245178329/watcher-1876985-1245178329 -o /tmp/evaluation-result-1876985-1245178329/solver-1876985-1245178329 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876985-1245178329.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4949 /proc/meminfo: memFree=1854312/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=26200 CPUtime=0 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 185429656 26828800 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 6550 241 198 640 0 5906 0 [startup+0.070701 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4949 /proc/meminfo: memFree=1854312/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=18772 CPUtime=0.06 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 339 0 0 0 6 0 0 0 18 0 1 0 185429656 19222528 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 4693 322 198 640 0 4049 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18772 [startup+0.101706 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4949 /proc/meminfo: memFree=1854312/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=18900 CPUtime=0.09 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 373 0 0 0 9 0 0 0 18 0 1 0 185429656 19353600 356 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 4725 356 198 640 0 4081 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18900 [startup+0.301743 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4949 /proc/meminfo: memFree=1854312/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=19032 CPUtime=0.29 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 422 0 0 0 29 0 0 0 19 0 1 0 185429656 19488768 405 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 4758 405 198 640 0 4114 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19032 [startup+0.701815 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4949 /proc/meminfo: memFree=1854312/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=19288 CPUtime=0.69 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 462 0 0 0 69 0 0 0 22 0 1 0 185429656 19750912 445 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 4822 445 198 640 0 4178 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19288 [startup+1.50196 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4950 /proc/meminfo: memFree=1853216/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=19416 CPUtime=1.49 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 497 0 0 0 148 1 0 0 25 0 1 0 185429656 19881984 480 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 4854 480 198 640 0 4210 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19416 [startup+3.10225 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4950 /proc/meminfo: memFree=1852960/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=19544 CPUtime=3.09 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 538 0 0 0 308 1 0 0 25 0 1 0 185429656 20013056 521 1992294400 134512640 137136520 4294956256 18446744073709551615 136518874 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 4886 521 198 640 0 4242 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19544 [startup+6.30184 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4950 /proc/meminfo: memFree=1852512/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=19796 CPUtime=6.29 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 586 0 0 0 626 3 0 0 25 0 1 0 185429656 20271104 569 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 4949 569 198 640 0 4305 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19796 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4950 /proc/meminfo: memFree=1852192/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=19924 CPUtime=12.69 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 642 0 0 0 1263 6 0 0 25 0 1 0 185429656 20402176 625 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 4981 625 198 640 0 4337 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19924 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4952 /proc/meminfo: memFree=1851936/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=20180 CPUtime=25.49 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 699 0 0 0 2538 11 0 0 25 0 1 0 185429656 20664320 682 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5045 682 198 640 0 4401 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20180 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4952 /proc/meminfo: memFree=1851680/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=20556 CPUtime=51.08 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 786 0 0 0 5088 20 0 0 25 0 1 0 185429656 21049344 769 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5139 769 198 640 0 4495 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20556 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4952 /proc/meminfo: memFree=1851296/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=20804 CPUtime=102.26 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 865 0 0 0 10191 35 0 0 25 0 1 0 185429656 21303296 848 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5201 848 198 640 0 4557 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20804 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4952 /proc/meminfo: memFree=1851104/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=21048 CPUtime=162.24 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 913 0 0 0 16173 51 0 0 25 0 1 0 185429656 21553152 896 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5262 896 198 640 0 4618 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 21048 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4952 /proc/meminfo: memFree=1850720/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=21288 CPUtime=222.21 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 986 0 0 0 22154 67 0 0 25 0 1 0 185429656 21798912 969 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5322 969 198 640 0 4678 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 21288 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4952 /proc/meminfo: memFree=1850720/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=21388 CPUtime=282.19 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 989 0 0 0 28140 79 0 0 25 0 1 0 185429656 21901312 972 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5347 972 198 640 0 4703 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 21388 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4952 /proc/meminfo: memFree=1850400/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=21624 CPUtime=342.18 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1046 0 0 0 34122 96 0 0 25 0 1 0 185429656 22142976 1029 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5406 1029 198 640 0 4762 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 21624 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4952 /proc/meminfo: memFree=1850336/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=21620 CPUtime=402.15 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1050 0 0 0 40103 112 0 0 25 0 1 0 185429656 22138880 1033 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5405 1033 198 640 0 4761 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 21620 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4952 /proc/meminfo: memFree=1850336/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=21620 CPUtime=462.14 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1050 0 0 0 46086 128 0 0 25 0 1 0 185429656 22138880 1033 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5405 1033 198 640 0 4761 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 21620 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4952 /proc/meminfo: memFree=1850080/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=21868 CPUtime=522.12 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1109 0 0 0 52071 141 0 0 25 0 1 0 185429656 22392832 1092 1992294400 134512640 137136520 4294956256 18446744073709551615 134573389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5467 1092 198 640 0 4823 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 21868 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1849888/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=21868 CPUtime=582.09 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1119 0 0 0 58055 154 0 0 25 0 1 0 185429656 22392832 1102 1992294400 134512640 137136520 4294956256 18446744073709551615 134544341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5467 1102 198 640 0 4823 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 21868 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1849888/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=21868 CPUtime=642.08 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1119 0 0 0 64041 167 0 0 25 0 1 0 185429656 22392832 1102 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5467 1102 198 640 0 4823 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 21868 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1849376/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22256 CPUtime=1121.91 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1220 0 0 0 111918 273 0 0 25 0 1 0 185429656 22790144 1203 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5564 1203 198 640 0 4920 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 22256 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1849248/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22384 CPUtime=1181.89 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1242 0 0 0 117903 286 0 0 25 0 1 0 185429656 22921216 1225 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5596 1225 198 640 0 4952 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 22384 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1849248/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22376 CPUtime=1241.87 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1242 0 0 0 123886 301 0 0 25 0 1 0 185429656 22913024 1225 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5594 1225 198 640 0 4950 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 22376 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1849184/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22364 CPUtime=1301.86 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1242 0 0 0 129871 315 0 0 25 0 1 0 185429656 22900736 1225 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5591 1225 198 640 0 4947 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 22364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848992/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22488 CPUtime=1361.83 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1284 0 0 0 135856 327 0 0 25 0 1 0 185429656 23027712 1267 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5622 1267 198 640 0 4978 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 22488 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848928/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1421.81 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1302 0 0 0 141840 341 0 0 25 0 1 0 185429656 23154688 1285 1992294400 134512640 137136520 4294956256 18446744073709551615 134544475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1285 198 640 0 5009 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 22612 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848864/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1481.79 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1302 0 0 0 147825 354 0 0 25 0 1 0 185429656 23154688 1285 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1285 198 640 0 5009 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 22612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848928/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1541.76 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1302 0 0 0 153810 366 0 0 25 0 1 0 185429656 23154688 1285 1992294400 134512640 137136520 4294956256 18446744073709551615 134574232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1285 198 640 0 5009 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 22612 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848864/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1601.75 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1302 0 0 0 159797 378 0 0 25 0 1 0 185429656 23154688 1285 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1285 198 640 0 5009 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 22612 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848800/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1661.73 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1303 0 0 0 165782 391 0 0 25 0 1 0 185429656 23154688 1286 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1286 198 640 0 5009 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 22612 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848736/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1721.71 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1308 0 0 0 171768 403 0 0 25 0 1 0 185429656 23154688 1291 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1291 198 640 0 5009 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 22612 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848800/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1781.68 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1308 0 0 0 177756 412 0 0 25 0 1 0 185429656 23154688 1291 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1291 198 640 0 5009 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 22612 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 4958 /proc/meminfo: memFree=1848800/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1791.29 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1308 0 0 0 178715 414 0 0 25 0 1 0 185429656 23154688 1291 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1291 198 640 0 5009 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 22612 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848800/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1794.49 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1308 0 0 0 179034 415 0 0 25 0 1 0 185429656 23154688 1291 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1291 198 640 0 5009 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 22612 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848800/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1796.09 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1308 0 0 0 179193 416 0 0 25 0 1 0 185429656 23154688 1291 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1291 198 640 0 5009 0 Current children cumulated CPU time (s) 1796.09 Current children cumulated vsize (KiB) 22612 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848800/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1796.89 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1308 0 0 0 179273 416 0 0 25 0 1 0 185429656 23154688 1291 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1291 198 640 0 5009 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 22612 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848800/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1797.68 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1308 0 0 0 179352 416 0 0 25 0 1 0 185429656 23154688 1291 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1291 198 640 0 5009 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 22612 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848800/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1797.89 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1308 0 0 0 179373 416 0 0 25 0 1 0 185429656 23154688 1291 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1291 198 640 0 5009 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 22612 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4958 /proc/meminfo: memFree=1848800/2055920 swapFree=4191900/4192956 [pid=4949] ppid=4947 vsize=22612 CPUtime=1797.98 /proc/4949/stat : 4949 (bsolo) R 4947 4949 4663 0 -1 4194304 1308 0 0 0 179382 416 0 0 25 0 1 0 185429656 23154688 1291 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4949/statm: 5653 1291 198 640 0 5009 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 22612 Child status: 0 Real time (s): 1798.62 CPU time (s): 1798.01 CPU user time (s): 1793.85 CPU system time (s): 4.16637 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 22612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.85 system time used= 4.16637 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1309 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= 2457 runsolver used 1.24781 second user time and 3.74843 second system time The end
Begin job on node44 at 2009-06-16 20:52:09 IDJOB=1876985 IDBENCH=2931 IDSOLVER=699 FILE ID=node44/1876985-1245178329 PBS_JOBID= 9363905 Free space on /tmp= 65924 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876985-1245178329/watcher-1876985-1245178329 -o /tmp/evaluation-result-1876985-1245178329/solver-1876985-1245178329 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876985-1245178329.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 37c74b9e914d30b1ddfc0838676dd479 RANDOM SEED=433514815 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: 1854728 kB Buffers: 40272 kB Cached: 81732 kB SwapCached: 260 kB Active: 42680 kB Inactive: 92520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854728 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3940 kB Writeback: 0 kB Mapped: 21752 kB Slab: 51872 kB Committed_AS: 168248 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-1876985-1245178329.opb Free space on /tmp at the end= 65920 MiB End job on node44 at 2009-06-16 21:22:08