Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798.01 | 1798.89 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb |
MD5SUM | 79cf27053836a1888aee43ca3805fcdd |
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 | 19.1851 |
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 | 162 |
Total number of constraints | 13 |
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 | 13 |
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) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
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-1878023-1245187902.opb 0.00/0.00 c File size is 36227 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.004 s 0.00/0.00 c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540 0.00/0.00 c Obj. Vars: 9 (1.38889 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 648 991 4149 4 3569 5544 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1797.91/1798.88 c 101 648 1092 12526 11 3647 6099 101 4391 0.02 1797.91/1798.88 c 252 648 1243 25053 20 3902 6709 252 6000 0.04 1797.91/1798.88 c 477 648 1468 43383 29 4308 7380 477 6359 0.07 1797.91/1798.88 c 815 648 1806 71983 39 4983 8119 815 6680 0.12 1797.91/1798.88 c 1323 648 2314 110802 47 5998 8931 1323 6854 0.19 1797.91/1798.88 c 2087 648 3078 170662 55 7558 9825 2087 6604 0.32 1797.91/1798.88 c 3233 648 4224 277610 65 9810 10808 3233 6806 0.47 1797.91/1798.88 c 4955 648 5946 411883 69 13264 11889 4955 5662 0.88 1797.91/1798.88 c 7540 648 8531 608885 71 18444 13078 7540 4350 1.73 1797.91/1798.88 c 11420 648 12411 892336 71 26210 14386 11420 2595 4.40 1797.91/1798.88 c 17242 648 10969 747080 68 23321 15825 9978 1873 9.21 1797.91/1798.88 c 25980 648 11258 896509 79 23903 17408 10267 2097 12.39 1797.91/1798.88 c 39091 648 15165 1117509 73 31666 19149 14174 1885 20.73 1797.91/1798.88 c 58763 648 15105 1161930 76 31680 21064 14114 1829 32.12 1797.91/1798.88 c 88274 648 12168 930895 76 25790 23171 11177 1454 60.69 1797.91/1798.88 c 132545 648 19028 1339282 70 39505 25489 18037 1024 129.37 1797.91/1798.88 c 198955 648 26332 2182196 82 53982 28038 25341 1005 197.79 1797.91/1798.88 c 298576 647 22017 1693615 76 45445 30842 21026 771 386.91 1797.91/1798.88 c 448011 647 13669 1176043 86 28784 33927 12678 731 612.71 1797.91/1798.88 c 672169 647 29806 2358174 79 61046 37320 28815 618 1086.16 1797.91/1798.88 c 1008412 647 23250 2011807 86 47861 41053 22259 564 1785.69 1797.91/1798.88 c Resources Exceeded 1797.91/1798.88 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.88 c 21 1023735 8466 1049977 38573 3290704 37582 569 1798.00 1797.91/1798.88 s UNKNOWN 1797.91/1798.88 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-1878023-1245187902/watcher-1878023-1245187902 -o /tmp/evaluation-result-1878023-1245187902/solver-1878023-1245187902 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878023-1245187902.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.97 0.98 3/64 4986 /proc/meminfo: memFree=1843472/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=10740 CPUtime=0 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 186383084 10997760 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 2685 245 177 640 0 2032 0 [startup+0.04571 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4986 /proc/meminfo: memFree=1843472/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=11236 CPUtime=0.04 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 413 0 0 0 4 0 0 0 18 0 1 0 186383084 11505664 388 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 2809 388 196 640 0 2165 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11236 [startup+0.101717 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4986 /proc/meminfo: memFree=1843472/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=11612 CPUtime=0.09 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 525 0 0 0 9 0 0 0 18 0 1 0 186383084 11890688 500 1992294400 134512640 137136520 4294956256 18446744073709551615 136518971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 2903 500 196 640 0 2259 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11612 [startup+0.301745 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4986 /proc/meminfo: memFree=1843472/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=13116 CPUtime=0.29 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 895 0 0 0 29 0 0 0 19 0 1 0 186383084 13430784 870 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 3279 870 196 640 0 2635 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13116 [startup+0.701802 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4986 /proc/meminfo: memFree=1843472/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=15864 CPUtime=0.68 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 1581 0 0 0 68 0 0 0 23 0 1 0 186383084 16244736 1556 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 3966 1557 196 640 0 3322 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 15864 [startup+1.50192 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1836872/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=18860 CPUtime=1.49 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 2318 0 0 0 148 1 0 0 25 0 1 0 186383084 19312640 2293 1992294400 134512640 137136520 4294956256 18446744073709551615 134544010 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 4715 2293 196 640 0 4071 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18860 [startup+3.10114 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1833480/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=22108 CPUtime=3.09 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 3132 0 0 0 307 2 0 0 25 0 1 0 186383084 22638592 3107 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 5527 3107 196 640 0 4883 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22108 [startup+6.3016 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1828808/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=25724 CPUtime=6.28 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 4054 0 0 0 625 3 0 0 25 0 1 0 186383084 26341376 4029 1992294400 134512640 137136520 4294956256 18446744073709551615 134544518 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 6431 4029 196 640 0 5787 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25724 [startup+12.7015 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1824072/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=29596 CPUtime=12.68 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 5006 0 0 0 1263 5 0 0 25 0 1 0 186383084 30306304 4981 1992294400 134512640 137136520 4294956256 18446744073709551615 136501952 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 7399 4981 196 640 0 6755 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29596 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1820936/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=32716 CPUtime=25.48 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 5802 0 0 0 2540 8 0 0 25 0 1 0 186383084 33501184 5777 1992294400 134512640 137136520 4294956256 18446744073709551615 134544573 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 8179 5777 196 640 0 7535 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32716 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1817928/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=35680 CPUtime=51.06 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 6539 0 0 0 5093 13 0 0 25 0 1 0 186383084 36536320 6514 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 8920 6514 196 640 0 8276 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 35680 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1816776/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=36768 CPUtime=102.24 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 6814 0 0 0 10206 18 0 0 25 0 1 0 186383084 37650432 6789 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 9192 6789 196 640 0 8548 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 36768 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1815432/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=38108 CPUtime=162.22 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 7143 0 0 0 16196 26 0 0 25 0 1 0 186383084 39022592 7118 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 9527 7118 196 640 0 8883 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 38108 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1808264/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=45248 CPUtime=222.19 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 8930 0 0 0 22181 38 0 0 25 0 1 0 186383084 46333952 8905 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 11312 8905 196 640 0 10668 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 45248 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1808264/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=45240 CPUtime=282.15 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 8930 0 0 0 28173 42 0 0 25 0 1 0 186383084 46325760 8905 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 11310 8905 196 640 0 10666 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 45240 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1808200/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=45212 CPUtime=342.13 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 8930 0 0 0 34166 47 0 0 25 0 1 0 186383084 46297088 8901 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 11303 8901 196 640 0 10659 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 45212 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1805960/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=47408 CPUtime=402.11 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 9478 0 0 0 40155 56 0 0 25 0 1 0 186383084 48545792 9449 1992294400 134512640 137136520 4294956256 18446744073709551615 136502167 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 11852 9449 196 640 0 11208 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 47408 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1801416/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=52012 CPUtime=462.06 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 10629 0 0 0 46143 63 0 0 25 0 1 0 186383084 53260288 10600 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 13003 10600 196 640 0 12359 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 52012 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1797576/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=55760 CPUtime=522.03 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11569 0 0 0 52132 71 0 0 25 0 1 0 186383084 57098240 11538 1992294400 134512640 137136520 4294956256 18446744073709551615 136294934 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 13940 11538 196 640 0 13296 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 55760 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1797192/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=56152 CPUtime=582.01 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11667 0 0 0 58122 79 0 0 25 0 1 0 186383084 57499648 11635 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14038 11635 196 640 0 13394 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 56152 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4987 /proc/meminfo: memFree=1797064/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=56160 CPUtime=641.96 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11704 0 0 0 64110 86 0 0 25 0 1 0 186383084 57507840 11638 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14040 11638 196 640 0 13396 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 56160 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1796936/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=56304 CPUtime=1121.74 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11708 0 0 0 112047 127 0 0 25 0 1 0 186383084 57655296 11642 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14076 11642 196 640 0 13432 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 56304 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4987 /proc/meminfo: memFree=1796872/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=56304 CPUtime=1181.7 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11708 0 0 0 118039 131 0 0 25 0 1 0 186383084 57655296 11642 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14076 11642 196 640 0 13432 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 56304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4987 /proc/meminfo: memFree=1796680/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=56304 CPUtime=1241.68 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11708 0 0 0 124030 138 0 0 25 0 1 0 186383084 57655296 11642 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14076 11642 196 640 0 13432 0 Current children cumulated CPU time (s) 1241.68 Current children cumulated vsize (KiB) 56304 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4987 /proc/meminfo: memFree=1796680/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=56304 CPUtime=1301.66 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11708 0 0 0 130022 144 0 0 25 0 1 0 186383084 57655296 11642 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14076 11642 196 640 0 13432 0 Current children cumulated CPU time (s) 1301.66 Current children cumulated vsize (KiB) 56304 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4987 /proc/meminfo: memFree=1796680/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=56304 CPUtime=1361.62 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11708 0 0 0 136012 150 0 0 25 0 1 0 186383084 57655296 11642 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14076 11642 196 640 0 13432 0 Current children cumulated CPU time (s) 1361.62 Current children cumulated vsize (KiB) 56304 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4989 /proc/meminfo: memFree=1795912/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=56964 CPUtime=1421.59 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11932 0 0 0 142004 155 0 0 25 0 1 0 186383084 58331136 11829 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14241 11829 196 640 0 13597 0 Current children cumulated CPU time (s) 1421.59 Current children cumulated vsize (KiB) 56964 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4989 /proc/meminfo: memFree=1795912/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=57192 CPUtime=1481.56 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11967 0 0 0 147996 160 0 0 25 0 1 0 186383084 58564608 11864 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14298 11864 196 640 0 13654 0 Current children cumulated CPU time (s) 1481.56 Current children cumulated vsize (KiB) 57192 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4989 /proc/meminfo: memFree=1796040/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=57192 CPUtime=1541.54 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 11967 0 0 0 153987 167 0 0 25 0 1 0 186383084 58564608 11864 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14298 11864 196 640 0 13654 0 Current children cumulated CPU time (s) 1541.54 Current children cumulated vsize (KiB) 57192 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4989 /proc/meminfo: memFree=1794824/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=58408 CPUtime=1601.51 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 12271 0 0 0 159978 173 0 0 25 0 1 0 186383084 59809792 12168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 14602 12168 196 640 0 13958 0 Current children cumulated CPU time (s) 1601.51 Current children cumulated vsize (KiB) 58408 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4989 /proc/meminfo: memFree=1789640/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=63600 CPUtime=1661.49 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 13569 0 0 0 165968 181 0 0 25 0 1 0 186383084 65126400 13466 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 15900 13466 196 640 0 15256 0 Current children cumulated CPU time (s) 1661.49 Current children cumulated vsize (KiB) 63600 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4989 /proc/meminfo: memFree=1789640/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=63432 CPUtime=1721.44 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 13569 0 0 0 171958 186 0 0 25 0 1 0 186383084 64954368 13456 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 15858 13456 196 640 0 15214 0 Current children cumulated CPU time (s) 1721.44 Current children cumulated vsize (KiB) 63432 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4995 /proc/meminfo: memFree=1789448/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=63432 CPUtime=1781.42 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 13569 0 0 0 177949 193 0 0 25 0 1 0 186383084 64954368 13456 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 15858 13456 196 640 0 15214 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (KiB) 63432 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4995 /proc/meminfo: memFree=1789448/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=63432 CPUtime=1791.02 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 13569 0 0 0 178906 196 0 0 25 0 1 0 186383084 64954368 13456 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 15858 13456 196 640 0 15214 0 Current children cumulated CPU time (s) 1791.02 Current children cumulated vsize (KiB) 63432 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4995 /proc/meminfo: memFree=1789448/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=63432 CPUtime=1794.22 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 13569 0 0 0 179226 196 0 0 25 0 1 0 186383084 64954368 13456 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 15858 13456 196 640 0 15214 0 Current children cumulated CPU time (s) 1794.22 Current children cumulated vsize (KiB) 63432 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4995 /proc/meminfo: memFree=1789448/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=63432 CPUtime=1795.81 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 13569 0 0 0 179385 196 0 0 25 0 1 0 186383084 64954368 13456 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 15858 13456 196 640 0 15214 0 Current children cumulated CPU time (s) 1795.81 Current children cumulated vsize (KiB) 63432 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4995 /proc/meminfo: memFree=1789448/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=63432 CPUtime=1796.62 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 13569 0 0 0 179465 197 0 0 25 0 1 0 186383084 64954368 13456 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 15858 13456 196 640 0 15214 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (KiB) 63432 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4995 /proc/meminfo: memFree=1789448/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=63432 CPUtime=1797.42 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 13569 0 0 0 179545 197 0 0 25 0 1 0 186383084 64954368 13456 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 15858 13456 196 640 0 15214 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (KiB) 63432 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4995 /proc/meminfo: memFree=1789448/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=63432 CPUtime=1797.82 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 13569 0 0 0 179585 197 0 0 25 0 1 0 186383084 64954368 13456 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 15858 13456 196 640 0 15214 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 63432 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 0.99 2/65 4995 /proc/meminfo: memFree=1789448/2055920 swapFree=4181384/4192956 [pid=4986] ppid=4984 vsize=63432 CPUtime=1797.91 /proc/4986/stat : 4986 (bsolo) R 4984 4986 3868 0 -1 4194304 13569 0 0 0 179594 197 0 0 25 0 1 0 186383084 64954368 13456 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4986/statm: 15858 13456 196 640 0 15214 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 63432 Child status: 0 Real time (s): 1798.89 CPU time (s): 1798.01 CPU user time (s): 1796.03 CPU system time (s): 1.9827 CPU usage (%): 99.9512 Max. virtual memory (cumulated for all children) (KiB): 63600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.03 system time used= 1.9827 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13570 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= 6475 runsolver used 1.51977 second user time and 5.02923 second system time The end
Begin job on node49 at 2009-06-16 23:31:42 IDJOB=1878023 IDBENCH=48003 IDSOLVER=700 FILE ID=node49/1878023-1245187902 PBS_JOBID= 9368286 Free space on /tmp= 66028 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=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878023-1245187902/watcher-1878023-1245187902 -o /tmp/evaluation-result-1878023-1245187902/solver-1878023-1245187902 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878023-1245187902.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 79cf27053836a1888aee43ca3805fcdd RANDOM SEED=1902791564 node49.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.232 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.232 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: 1843952 kB Buffers: 51536 kB Cached: 92260 kB SwapCached: 4580 kB Active: 50816 kB Inactive: 101108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843952 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 4072 kB Writeback: 0 kB Mapped: 13852 kB Slab: 45816 kB Committed_AS: 180416 kB PageTables: 1388 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-1878023-1245187902.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-17 00:01:41