Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798 | 1798.5 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb |
MD5SUM | 4618b6422bdc12197131d1d37f567363 |
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 | 1196 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3589 |
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: Generic Pseudo-Boolean 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-1879835-1245240371.opb 0.00/0.00 c File size is 3356 bytes. 0.00/0.00 c Highest Coefficient sum: 3589 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: 135 0.00/0.00 c Obj. Vars: 1 (2.43902 % of total variables) 0.00/0.00 c Pre-processing Time: 0 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 140 788 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.90/1798.49 c 100 40 174 5401 31 989 867 164 7142 0.01 1797.90/1798.49 c 250 40 422 12974 30 2042 954 412 6250 0.04 1797.90/1798.49 c 476 40 767 23019 30 3507 1050 757 5534 0.09 1797.90/1798.49 c 815 40 772 21448 27 3223 1156 762 4880 0.17 1797.90/1798.49 c 1324 40 951 26150 27 3805 1272 941 4503 0.29 1797.90/1798.49 c 2088 40 785 20761 26 3072 1400 775 4359 0.48 1797.90/1798.49 c 3234 40 1114 28835 25 4740 1541 1104 4216 0.77 1797.90/1798.49 c 4956 40 1317 34848 26 5706 1696 1307 3983 1.24 1797.90/1798.49 c 7540 40 895 23414 26 3689 1866 885 3630 2.08 1797.90/1798.49 c 11420 40 944 24743 26 3752 2053 934 3391 3.37 1797.90/1798.49 c 17242 40 1523 42107 27 6028 2259 1513 3083 5.59 1797.90/1798.49 c 25979 40 1141 31748 27 4921 2485 1131 2904 8.94 1797.90/1798.49 c 39089 40 2284 65959 28 8301 2734 2274 2716 14.39 1797.90/1798.49 c 58759 40 2547 69652 27 10314 3008 2537 2435 24.13 1797.90/1798.49 c 88271 40 1690 47218 27 7033 3309 1680 2308 38.23 1797.90/1798.49 c 132541 40 3007 84010 27 11535 3640 2997 2109 62.82 1797.90/1798.49 c 198951 40 2526 71626 28 10731 4005 2516 1969 101.03 1797.90/1798.49 c 298572 40 3734 106242 28 14354 4406 3724 1844 161.85 1797.90/1798.49 c 448007 40 3628 102653 28 13759 4847 3618 1716 261.05 1797.90/1798.49 c 672165 40 4629 130724 28 17382 5332 4619 1600 420.04 1797.90/1798.49 c 1008408 40 3915 104674 26 16514 5866 3905 1478 682.08 1797.90/1798.49 c 1512779 40 4907 141293 28 20591 6453 4897 1344 1124.77 1797.90/1798.49 c 2269344 40 3687 105803 28 15504 7099 3677 1263 1796.53 1797.90/1798.49 c Resources Exceeded 1797.90/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.49 c 23 2271402 43356 2317961 6668 189247 6658 1263 1798.00 1797.90/1798.49 s UNKNOWN 1797.90/1798.49 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879835-1245240371/watcher-1879835-1245240371 -o /tmp/evaluation-result-1879835-1245240371/solver-1879835-1245240371 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879835-1245240371.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.91 3/65 8211 /proc/meminfo: memFree=1809488/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=26200 CPUtime=0 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 259 0 0 0 0 0 0 0 20 0 1 0 9949372 26828800 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 6550 242 198 640 0 5906 0 [startup+0.0549231 s] /proc/loadavg: 0.99 0.98 0.91 3/65 8211 /proc/meminfo: memFree=1809488/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=18648 CPUtime=0.05 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 326 0 0 0 5 0 0 0 20 0 1 0 9949372 19095552 309 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 4662 309 198 640 0 4018 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 18648 [startup+0.101927 s] /proc/loadavg: 0.99 0.98 0.91 3/65 8211 /proc/meminfo: memFree=1809488/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=18904 CPUtime=0.09 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 370 0 0 0 9 0 0 0 20 0 1 0 9949372 19357696 353 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 4726 353 198 640 0 4082 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18904 [startup+0.301946 s] /proc/loadavg: 0.99 0.98 0.91 3/65 8211 /proc/meminfo: memFree=1809488/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=19036 CPUtime=0.29 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 406 0 0 0 29 0 0 0 22 0 1 0 9949372 19492864 389 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 4759 389 198 640 0 4115 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19036 [startup+0.701982 s] /proc/loadavg: 0.99 0.98 0.91 3/65 8211 /proc/meminfo: memFree=1809488/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=19168 CPUtime=0.69 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 437 0 0 0 69 0 0 0 25 0 1 0 9949372 19628032 420 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 4792 420 198 640 0 4148 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19168 [startup+1.50106 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1808456/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=19296 CPUtime=1.49 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 471 0 0 0 149 0 0 0 25 0 1 0 9949372 19759104 454 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 4824 456 198 640 0 4180 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19296 [startup+3.10121 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1808200/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=19424 CPUtime=3.08 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 494 0 0 0 308 0 0 0 25 0 1 0 9949372 19890176 477 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 4856 477 198 640 0 4212 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19424 [startup+6.30151 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1807880/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=19556 CPUtime=6.29 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 549 0 0 0 627 2 0 0 25 0 1 0 9949372 20025344 532 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 4889 532 198 640 0 4245 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19556 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1807560/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=19804 CPUtime=12.69 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 591 0 0 0 1266 3 0 0 25 0 1 0 9949372 20279296 574 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 4951 574 198 640 0 4307 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19804 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1807368/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=20052 CPUtime=25.48 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 654 0 0 0 2543 5 0 0 25 0 1 0 9949372 20533248 637 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5013 637 198 640 0 4369 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20052 [startup+51.1017 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1807112/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=20184 CPUtime=51.08 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 706 0 0 0 5099 9 0 0 25 0 1 0 9949372 20668416 689 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5046 689 198 640 0 4402 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20184 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1806792/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=20568 CPUtime=102.26 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 782 0 0 0 10209 17 0 0 25 0 1 0 9949372 21061632 765 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5142 765 198 640 0 4498 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20568 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1806664/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=20700 CPUtime=162.24 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 828 0 0 0 16199 25 0 0 25 0 1 0 9949372 21196800 811 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5175 811 198 640 0 4531 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20700 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1806408/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=20816 CPUtime=222.22 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 851 0 0 0 22190 32 0 0 25 0 1 0 9949372 21315584 834 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5204 834 198 640 0 4560 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 20816 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1806216/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=21076 CPUtime=282.21 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 910 0 0 0 28181 40 0 0 25 0 1 0 9949372 21581824 893 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5269 893 198 640 0 4625 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 21076 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1806088/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=21076 CPUtime=342.19 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 921 0 0 0 34171 48 0 0 25 0 1 0 9949372 21581824 904 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5269 904 198 640 0 4625 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 21076 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1806024/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=21076 CPUtime=402.17 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 928 0 0 0 40161 56 0 0 25 0 1 0 9949372 21581824 911 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5269 911 198 640 0 4625 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 21076 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1805832/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=21316 CPUtime=462.15 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 984 0 0 0 46151 64 0 0 25 0 1 0 9949372 21827584 967 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5329 967 198 640 0 4685 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 21316 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1805704/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=21424 CPUtime=522.14 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1003 0 0 0 52142 72 0 0 25 0 1 0 9949372 21938176 986 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5356 986 198 640 0 4712 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 21424 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1805640/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=21424 CPUtime=582.13 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1012 0 0 0 58132 81 0 0 25 0 1 0 9949372 21938176 995 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5356 995 198 640 0 4712 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 21424 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1805576/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=21424 CPUtime=642.11 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1012 0 0 0 64123 88 0 0 25 0 1 0 9949372 21938176 995 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5356 995 198 640 0 4712 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 21424 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1805000/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=21800 CPUtime=1121.98 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1101 0 0 0 112055 143 0 0 25 0 1 0 9949372 22323200 1084 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5450 1084 198 640 0 4806 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 21800 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1804680/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22152 CPUtime=1181.97 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1178 0 0 0 118045 152 0 0 25 0 1 0 9949372 22683648 1161 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5538 1161 198 640 0 4894 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 22152 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1804616/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22148 CPUtime=1241.95 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1180 0 0 0 124035 160 0 0 25 0 1 0 9949372 22679552 1163 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5537 1163 198 640 0 4893 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 22148 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1804552/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22148 CPUtime=1301.94 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1180 0 0 0 130026 168 0 0 25 0 1 0 9949372 22679552 1163 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5537 1163 198 640 0 4893 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 22148 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8212 /proc/meminfo: memFree=1804488/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22148 CPUtime=1361.92 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1185 0 0 0 136016 176 0 0 25 0 1 0 9949372 22679552 1168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5537 1168 198 640 0 4893 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 22148 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804168/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22148 CPUtime=1421.9 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1197 0 0 0 142008 182 0 0 25 0 1 0 9949372 22679552 1180 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5537 1180 198 640 0 4893 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 22148 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804168/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22148 CPUtime=1481.89 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1197 0 0 0 148000 189 0 0 25 0 1 0 9949372 22679552 1180 1992294400 134512640 137136520 4294956256 18446744073709551615 134605455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5537 1180 198 640 0 4893 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 22148 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804168/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22252 CPUtime=1541.86 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1202 0 0 0 153991 195 0 0 25 0 1 0 9949372 22786048 1185 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5563 1185 198 640 0 4919 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 22252 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804232/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1601.85 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1212 0 0 0 159981 204 0 0 25 0 1 0 9949372 22781952 1195 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1195 198 640 0 4918 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 22248 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804104/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1661.84 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1219 0 0 0 165974 210 0 0 25 0 1 0 9949372 22781952 1202 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1202 198 640 0 4918 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 22248 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804168/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1721.82 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1219 0 0 0 171965 217 0 0 25 0 1 0 9949372 22781952 1202 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1202 198 640 0 4918 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 22248 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804104/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1781.81 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1219 0 0 0 177956 225 0 0 25 0 1 0 9949372 22781952 1202 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1202 198 640 0 4918 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 22248 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804104/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1791.4 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1219 0 0 0 178915 225 0 0 25 0 1 0 9949372 22781952 1202 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1202 198 640 0 4918 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 22248 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804104/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1794.6 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1219 0 0 0 179234 226 0 0 25 0 1 0 9949372 22781952 1202 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1202 198 640 0 4918 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 22248 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804104/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1796.2 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1219 0 0 0 179394 226 0 0 25 0 1 0 9949372 22781952 1202 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1202 198 640 0 4918 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 22248 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804104/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1797 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1219 0 0 0 179474 226 0 0 25 0 1 0 9949372 22781952 1202 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1202 198 640 0 4918 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 22248 [startup+1797.9 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804104/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1797.4 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1219 0 0 0 179514 226 0 0 25 0 1 0 9949372 22781952 1202 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1202 198 640 0 4918 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (KiB) 22248 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804104/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1797.8 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1219 0 0 0 179554 226 0 0 25 0 1 0 9949372 22781952 1202 1992294400 134512640 137136520 4294956256 18446744073709551615 134544396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1202 198 640 0 4918 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 22248 [startup+1798.4 s] /proc/loadavg: 0.99 0.98 0.91 2/66 8214 /proc/meminfo: memFree=1804104/2055920 swapFree=4192956/4192956 [pid=8211] ppid=8209 vsize=22248 CPUtime=1797.9 /proc/8211/stat : 8211 (bsolo) R 8209 8211 8003 0 -1 4194304 1219 0 0 0 179564 226 0 0 25 0 1 0 9949372 22781952 1202 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8211/statm: 5562 1202 198 640 0 4918 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 22248 Child status: 0 Real time (s): 1798.5 CPU time (s): 1798 CPU user time (s): 1795.74 CPU system time (s): 2.26566 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 22256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.74 system time used= 2.26565 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1220 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= 3444 runsolver used 1.9677 second user time and 3.57346 second system time The end
Begin job on node8 at 2009-06-17 14:06:11 IDJOB=1879835 IDBENCH=2903 IDSOLVER=701 FILE ID=node8/1879835-1245240371 PBS_JOBID= 9372329 Free space on /tmp= 66288 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879835-1245240371/watcher-1879835-1245240371 -o /tmp/evaluation-result-1879835-1245240371/solver-1879835-1245240371 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879835-1245240371.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4618b6422bdc12197131d1d37f567363 RANDOM SEED=1521044102 node8.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.236 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.236 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1809912 kB Buffers: 40024 kB Cached: 149628 kB SwapCached: 0 kB Active: 27172 kB Inactive: 176360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809912 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3936 kB Writeback: 0 kB Mapped: 23628 kB Slab: 28268 kB Committed_AS: 88656 kB PageTables: 1376 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-1879835-1245240371.opb Free space on /tmp at the end= 66284 MiB End job on node8 at 2009-06-17 14:36:10