Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798.01 | 1798.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb |
MD5SUM | 0f650891245dab338bc3d2f3a3dc10c7 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 5.2462 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 189 |
Total number of constraints | 15 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 15 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
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-1878064-1245188720.opb 0.00/0.00 c File size is 42576 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963 0.00/0.00 c Obj. Vars: 9 (1.19048 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 756 1156 4842 4 4165 6471 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1797.97/1798.52 c 101 756 1257 11549 9 4331 7119 101 4040 0.03 1797.97/1798.52 c 252 756 1408 24954 17 4473 7831 252 5600 0.04 1797.97/1798.52 c 477 756 1633 44169 27 4884 8615 477 6445 0.07 1797.97/1798.52 c 815 756 1971 73280 37 5567 9477 815 6906 0.12 1797.97/1798.52 c 1324 756 2480 112350 45 6642 10425 1324 6824 0.19 1797.97/1798.52 c 2087 756 3243 167215 51 8157 11468 2087 6066 0.34 1797.97/1798.52 c 3234 756 4390 246387 56 10435 12615 3234 5006 0.65 1797.97/1798.52 c 4955 756 6111 395658 64 13862 13877 4955 4834 1.02 1797.97/1798.52 c 7539 756 8695 590104 67 18998 15265 7539 3819 1.97 1797.97/1798.52 c 11419 756 12575 907670 72 26790 16792 11419 3226 3.54 1797.97/1798.52 c 17242 756 9719 719162 73 21081 18472 8563 2144 8.04 1797.97/1798.52 c 25980 756 18457 1434670 77 38430 20320 17301 2386 10.89 1797.97/1798.52 c 39091 756 21069 1654642 78 43741 22353 19913 2291 17.06 1797.97/1798.52 c 58761 756 16858 1288154 76 35395 24589 15702 2014 29.16 1797.97/1798.53 c 88272 756 18019 1431080 79 37780 27048 16863 1418 62.24 1797.97/1798.53 c 132542 756 12528 935976 74 26829 29753 11372 1045 126.77 1797.97/1798.53 c 198952 756 21290 1697075 79 44259 32729 20134 1050 189.37 1797.97/1798.53 c 298572 756 32962 2630423 79 67625 36002 31806 961 310.41 1797.97/1798.53 c 448008 753 32962 2747663 83 67494 39603 31806 813 550.97 1797.97/1798.53 c 672166 753 32960 2805392 85 67589 43564 31804 630 1065.28 1797.97/1798.53 c 1008409 752 44159 3668070 83 90000 47921 43003 572 1762.61 1797.97/1798.53 c Resources Exceeded 1797.97/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.53 c 21 1033216 9525 1059985 32297 2616908 31141 574 1798.00 1797.97/1798.53 s UNKNOWN 1797.97/1798.53 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-1878064-1245188720/watcher-1878064-1245188720 -o /tmp/evaluation-result-1878064-1245188720/solver-1878064-1245188720 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878064-1245188720.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 7249 /proc/meminfo: memFree=1894376/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=10752 CPUtime=0 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 186472414 11010048 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 2688 245 177 640 0 2033 0 [startup+0.01074 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7249 /proc/meminfo: memFree=1894376/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=10992 CPUtime=0 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 340 0 0 0 0 0 0 0 18 0 1 0 186472414 11255808 313 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 2748 313 189 640 0 2104 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10992 [startup+0.101744 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7249 /proc/meminfo: memFree=1894376/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=11736 CPUtime=0.09 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 550 0 0 0 9 0 0 0 18 0 1 0 186472414 12017664 523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 2934 523 196 640 0 2290 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11736 [startup+0.301756 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7249 /proc/meminfo: memFree=1894376/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=13116 CPUtime=0.29 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 874 0 0 0 29 0 0 0 19 0 1 0 186472414 13430784 847 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 3279 847 196 640 0 2635 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13116 [startup+0.701782 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7249 /proc/meminfo: memFree=1894376/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=14744 CPUtime=0.69 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 1302 0 0 0 69 0 0 0 23 0 1 0 186472414 15097856 1275 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 3686 1275 196 640 0 3042 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14744 [startup+1.50183 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7250 /proc/meminfo: memFree=1888352/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=18012 CPUtime=1.49 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 2109 0 0 0 148 1 0 0 25 0 1 0 186472414 18444288 2082 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 4503 2082 196 640 0 3859 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18012 [startup+3.10194 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7250 /proc/meminfo: memFree=1885152/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=21892 CPUtime=3.09 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 3098 0 0 0 307 2 0 0 25 0 1 0 186472414 22417408 3071 1992294400 134512640 137136520 4294956256 18446744073709551615 136502204 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 5473 3071 196 640 0 4829 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21892 [startup+6.30114 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7250 /proc/meminfo: memFree=1877152/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=28376 CPUtime=6.28 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 4698 0 0 0 625 3 0 0 25 0 1 0 186472414 29057024 4671 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 7094 4671 196 640 0 6450 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 28376 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7250 /proc/meminfo: memFree=1869288/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=35472 CPUtime=12.69 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 6491 0 0 0 1263 6 0 0 25 0 1 0 186472414 36323328 6464 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 8868 6464 196 640 0 8224 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35472 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7250 /proc/meminfo: memFree=1867624/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=37012 CPUtime=25.49 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 6869 0 0 0 2540 9 0 0 25 0 1 0 186472414 37900288 6842 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 9253 6842 196 640 0 8609 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37012 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7250 /proc/meminfo: memFree=1864616/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=39964 CPUtime=51.05 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 7609 0 0 0 5091 14 0 0 25 0 1 0 186472414 40923136 7582 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 9991 7582 196 640 0 9347 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 39964 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7250 /proc/meminfo: memFree=1861608/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=42920 CPUtime=102.24 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 8351 0 0 0 10202 22 0 0 25 0 1 0 186472414 43950080 8324 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 10730 8324 196 640 0 10086 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 42920 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7250 /proc/meminfo: memFree=1858152/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=46364 CPUtime=162.22 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 9214 0 0 0 16190 32 0 0 25 0 1 0 186472414 47476736 9187 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 11591 9187 196 640 0 10947 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 46364 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7250 /proc/meminfo: memFree=1850024/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=54596 CPUtime=222.2 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 11280 0 0 0 22177 43 0 0 25 0 1 0 186472414 55906304 11215 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 13649 11215 196 640 0 13005 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 54596 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7250 /proc/meminfo: memFree=1847272/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=57324 CPUtime=282.18 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 11962 0 0 0 28168 50 0 0 25 0 1 0 186472414 58699776 11897 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 14331 11897 196 640 0 13687 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 57324 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7252 /proc/meminfo: memFree=1846888/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=57428 CPUtime=342.16 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 12025 0 0 0 34158 58 0 0 25 0 1 0 186472414 58806272 11955 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 14357 11955 196 640 0 13713 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 57428 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7252 /proc/meminfo: memFree=1846888/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=57428 CPUtime=402.14 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 12025 0 0 0 40149 65 0 0 25 0 1 0 186472414 58806272 11955 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 14357 11955 196 640 0 13713 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 57428 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7252 /proc/meminfo: memFree=1846824/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=57428 CPUtime=462.13 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 12025 0 0 0 46141 72 0 0 25 0 1 0 186472414 58806272 11955 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 14357 11955 196 640 0 13713 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 57428 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7252 /proc/meminfo: memFree=1846824/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=57428 CPUtime=522.11 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 12025 0 0 0 52132 79 0 0 25 0 1 0 186472414 58806272 11955 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 14357 11955 196 640 0 13713 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 57428 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7252 /proc/meminfo: memFree=1845288/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=59156 CPUtime=582.09 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 12464 0 0 0 58121 88 0 0 25 0 1 0 186472414 60575744 12355 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 14789 12355 196 640 0 14145 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 59156 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7252 /proc/meminfo: memFree=1845288/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=59156 CPUtime=642.07 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 12464 0 0 0 64116 91 0 0 25 0 1 0 186472414 60575744 12355 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 14789 12355 196 640 0 14145 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 59156 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1842272/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=62120 CPUtime=1061.92 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 13245 0 0 0 106062 130 0 0 25 0 1 0 186472414 63610880 13096 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 15530 13096 196 640 0 14886 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 62120 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1839648/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=64508 CPUtime=1121.91 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 13903 0 0 0 112056 135 0 0 25 0 1 0 186472414 66056192 13711 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 16127 13711 196 640 0 15483 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 64508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1839648/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=64508 CPUtime=1181.9 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 13903 0 0 0 118051 139 0 0 25 0 1 0 186472414 66056192 13711 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 16127 13711 196 640 0 15483 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 64508 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1839520/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=64508 CPUtime=1241.88 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 13903 0 0 0 124042 146 0 0 25 0 1 0 186472414 66056192 13711 1992294400 134512640 137136520 4294956256 18446744073709551615 134607171 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 16127 13711 196 640 0 15483 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 64508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1839464/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=64508 CPUtime=1301.88 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 13903 0 0 0 130035 153 0 0 25 0 1 0 186472414 66056192 13711 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 16127 13711 196 640 0 15483 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 64508 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1839528/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=64512 CPUtime=1361.86 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 13904 0 0 0 136026 160 0 0 25 0 1 0 186472414 66060288 13712 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 16128 13712 196 640 0 15484 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 64512 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1838248/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=65832 CPUtime=1421.85 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 14277 0 0 0 142018 167 0 0 25 0 1 0 186472414 67411968 14041 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 16458 14041 196 640 0 15814 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 65832 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1837864/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=66408 CPUtime=1481.83 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 14404 0 0 0 148009 174 0 0 25 0 1 0 186472414 68001792 14168 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 16602 14168 196 640 0 15958 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 66408 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1835624/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68636 CPUtime=1541.82 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 14961 0 0 0 153998 184 0 0 25 0 1 0 186472414 70283264 14725 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17159 14725 196 640 0 16515 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 68636 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1835560/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68636 CPUtime=1601.81 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 14961 0 0 0 159992 189 0 0 25 0 1 0 186472414 70283264 14725 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17159 14725 196 640 0 16515 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 68636 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1835496/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68636 CPUtime=1661.79 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 14961 0 0 0 165984 195 0 0 25 0 1 0 186472414 70283264 14725 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17159 14725 196 640 0 16515 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 68636 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1835432/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68636 CPUtime=1721.78 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 14961 0 0 0 171978 200 0 0 25 0 1 0 186472414 70283264 14725 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17159 14725 196 640 0 16515 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 68636 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1835176/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68784 CPUtime=1781.77 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 15046 0 0 0 177971 206 0 0 25 0 1 0 186472414 70434816 14762 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17196 14762 196 640 0 16552 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 68784 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 7258 /proc/meminfo: memFree=1835176/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68784 CPUtime=1791.37 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 15046 0 0 0 178930 207 0 0 25 0 1 0 186472414 70434816 14762 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17196 14762 196 640 0 16552 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 68784 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1835176/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68784 CPUtime=1794.57 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 15046 0 0 0 179250 207 0 0 25 0 1 0 186472414 70434816 14762 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17196 14762 196 640 0 16552 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 68784 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1835176/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68784 CPUtime=1796.16 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 15046 0 0 0 179409 207 0 0 25 0 1 0 186472414 70434816 14762 1992294400 134512640 137136520 4294956256 18446744073709551615 134572101 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17196 14762 196 640 0 16552 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 68784 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1835176/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68784 CPUtime=1796.96 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 15046 0 0 0 179489 207 0 0 25 0 1 0 186472414 70434816 14762 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17196 14762 196 640 0 16552 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 68784 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1835176/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68784 CPUtime=1797.76 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 15046 0 0 0 179569 207 0 0 25 0 1 0 186472414 70434816 14762 1992294400 134512640 137136520 4294956256 18446744073709551615 134544001 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17196 14762 196 640 0 16552 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 68784 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7258 /proc/meminfo: memFree=1835176/2055920 swapFree=4181748/4192956 [pid=7249] ppid=7247 vsize=68784 CPUtime=1797.97 /proc/7249/stat : 7249 (bsolo) R 7247 7249 6883 0 -1 4194304 15046 0 0 0 179590 207 0 0 25 0 1 0 186472414 70434816 14762 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7249/statm: 17196 14762 196 640 0 16552 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 68784 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.01 CPU user time (s): 1795.92 CPU system time (s): 2.08768 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 68976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.92 system time used= 2.08768 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15047 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= 5238 runsolver used 1.46078 second user time and 5.08723 second system time The end
Begin job on node22 at 2009-06-16 23:45:20 IDJOB=1878064 IDBENCH=48044 IDSOLVER=700 FILE ID=node22/1878064-1245188720 PBS_JOBID= 9368290 Free space on /tmp= 66156 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878064-1245188720/watcher-1878064-1245188720 -o /tmp/evaluation-result-1878064-1245188720/solver-1878064-1245188720 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878064-1245188720.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0f650891245dab338bc3d2f3a3dc10c7 RANDOM SEED=2027241510 node22.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.231 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.231 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: 1894920 kB Buffers: 42392 kB Cached: 69608 kB SwapCached: 5504 kB Active: 60912 kB Inactive: 58960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1894920 kB SwapTotal: 4192956 kB SwapFree: 4181748 kB Dirty: 4132 kB Writeback: 0 kB Mapped: 12908 kB Slab: 27168 kB Committed_AS: 165036 kB PageTables: 1372 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-1878064-1245188720.opb Free space on /tmp at the end= 66152 MiB End job on node22 at 2009-06-17 00:15:19