Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.08 | 1798.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=131-P1=307-P2=281-P3=173-P4=479-P5=461-P6=107-P7=337-P8=353-B.opb |
MD5SUM | 6dc20e219798a6cc2c39fe76202681b5 |
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 | 12.1981 |
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 | 216 |
Total number of constraints | 17 |
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 | 17 |
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) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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-1879510-1245244515.opb 0.00/0.00 c File size is 48923 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.006 s 0.00/0.00 c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386 0.00/0.00 c Obj. Vars: 9 (1.04167 % of total variables) 0.00/0.01 c Pre-processing Time: 0.014 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 864 1321 5535 4 4761 7398 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1798.05/1798.81 c 102 864 1522 20849 13 9997 8138 201 2487 0.04 1798.05/1798.81 c 252 864 1817 47422 26 15961 8952 496 2135 0.12 1798.05/1798.81 c 478 864 2262 86672 38 26313 9848 941 2060 0.23 1798.05/1798.81 c 818 864 2936 143992 49 36752 10833 1615 1774 0.46 1798.05/1798.81 c 1327 864 3909 229490 58 64392 11917 2588 1279 1.04 1798.05/1798.81 c 2091 864 5405 363009 67 89964 13109 4084 678 3.08 1798.05/1798.81 c 3238 864 7549 552234 73 137907 14420 6228 670 4.83 1798.05/1798.81 c 4959 864 10733 821893 76 150707 15863 9412 403 12.30 1798.05/1798.81 c 7543 864 15553 1323740 85 282548 17450 14232 201 37.40 1798.05/1798.81 c 11423 864 13710 1184462 86 199279 19196 12389 194 58.85 1798.05/1798.81 c 17245 864 14870 1116991 75 186901 21116 13549 115 149.54 1798.05/1798.81 c 25982 864 20600 1895944 92 316430 23228 19279 120 216.51 1798.05/1798.81 c 39092 864 20504 1680285 81 297789 25551 19183 99 391.30 1798.05/1798.81 c 58763 864 15992 1580356 98 155235 28107 14671 87 670.53 1798.05/1798.81 c 88273 864 26217 2031058 77 435865 30918 24896 59 1477.39 1798.05/1798.81 c Resources Exceeded 1798.05/1798.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.05/1798.81 c 15 97039 1239 105374 27127 2128283 25806 53 1798.07 1798.05/1798.81 s UNKNOWN 1798.05/1798.81 c Total time: 1798.07 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-1879510-1245244515/watcher-1879510-1245244515 -o /tmp/evaluation-result-1879510-1245244515/solver-1879510-1245244515 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879510-1245244515.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 0.92 3/64 8587 /proc/meminfo: memFree=1742400/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=10756 CPUtime=0 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 192052076 11014144 246 1992294400 134512640 137136520 4294956256 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 2689 246 177 640 0 2033 0 [startup+0.0234809 s] /proc/loadavg: 1.00 1.00 0.92 3/64 8587 /proc/meminfo: memFree=1742400/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=11116 CPUtime=0.01 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 387 0 0 0 1 0 0 0 18 0 1 0 192052076 11382784 359 1992294400 134512640 137136520 4294956256 18446744073709551615 134605804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 2779 359 197 640 0 2135 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11116 [startup+0.102489 s] /proc/loadavg: 1.00 1.00 0.92 3/64 8587 /proc/meminfo: memFree=1742400/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=11756 CPUtime=0.09 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 560 0 0 0 9 0 0 0 18 0 1 0 192052076 12038144 532 1992294400 134512640 137136520 4294956256 18446744073709551615 136509145 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 2939 534 198 640 0 2295 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11756 [startup+0.301513 s] /proc/loadavg: 1.00 1.00 0.92 3/64 8587 /proc/meminfo: memFree=1742400/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=13048 CPUtime=0.29 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 864 0 0 0 29 0 0 0 20 0 1 0 192052076 13361152 836 1992294400 134512640 137136520 4294956256 18446744073709551615 136501981 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 3262 836 198 640 0 2618 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13048 [startup+0.702559 s] /proc/loadavg: 1.00 1.00 0.92 3/64 8587 /proc/meminfo: memFree=1742400/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=14468 CPUtime=0.69 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 1219 0 0 0 69 0 0 0 23 0 1 0 192052076 14815232 1191 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 3617 1191 198 640 0 2973 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14468 [startup+1.50165 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8588 /proc/meminfo: memFree=1737080/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=16788 CPUtime=1.49 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 1797 0 0 0 148 1 0 0 25 0 1 0 192052076 17190912 1769 1992294400 134512640 137136520 4294956256 18446744073709551615 136509119 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 4197 1769 198 640 0 3553 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16788 [startup+3.10184 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8588 /proc/meminfo: memFree=1735224/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=18472 CPUtime=3.09 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 2216 0 0 0 308 1 0 0 25 0 1 0 192052076 18915328 2188 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 4618 2188 198 640 0 3974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18472 [startup+6.30121 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8588 /proc/meminfo: memFree=1729592/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=24028 CPUtime=6.28 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 3605 0 0 0 626 2 0 0 25 0 1 0 192052076 24604672 3577 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 6007 3577 198 640 0 5363 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24028 [startup+12.702 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8588 /proc/meminfo: memFree=1725952/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=27660 CPUtime=12.68 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 4532 0 0 0 1265 3 0 0 25 0 1 0 192052076 28323840 4504 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 6915 4504 198 640 0 6271 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27660 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8588 /proc/meminfo: memFree=1722368/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=30164 CPUtime=25.47 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 5166 0 0 0 2544 3 0 0 25 0 1 0 192052076 30887936 5138 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 7541 5138 198 640 0 6897 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 30164 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8588 /proc/meminfo: memFree=1711040/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=41580 CPUtime=51.06 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 8009 0 0 0 5100 6 0 0 25 0 1 0 192052076 42577920 7981 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 10395 7981 198 640 0 9751 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 41580 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8588 /proc/meminfo: memFree=1710912/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=41584 CPUtime=102.24 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 8010 0 0 0 10217 7 0 0 25 0 1 0 192052076 42582016 7982 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 10396 7982 198 640 0 9752 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 41584 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8588 /proc/meminfo: memFree=1710144/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=42344 CPUtime=162.22 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 8201 0 0 0 16213 9 0 0 25 0 1 0 192052076 43360256 8173 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 10586 8173 198 640 0 9942 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 42344 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8588 /proc/meminfo: memFree=1699776/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=53100 CPUtime=222.19 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 10880 0 0 0 22207 12 0 0 25 0 1 0 192052076 54374400 10852 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 13275 10852 198 640 0 12631 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 53100 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8588 /proc/meminfo: memFree=1698176/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=54256 CPUtime=282.17 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 11187 0 0 0 28204 13 0 0 25 0 1 0 192052076 55558144 11159 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 13564 11159 198 640 0 12920 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 54256 [startup+342.301 s] /proc/loadavg: 1.07 1.02 0.93 2/65 8588 /proc/meminfo: memFree=1698112/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=54256 CPUtime=342.15 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 11187 0 0 0 34201 14 0 0 25 0 1 0 192052076 55558144 11159 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 13564 11159 198 640 0 12920 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 54256 [startup+402.301 s] /proc/loadavg: 1.02 1.01 0.93 2/65 8588 /proc/meminfo: memFree=1698112/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=54256 CPUtime=402.12 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 11187 0 0 0 40197 15 0 0 25 0 1 0 192052076 55558144 11159 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 13564 11159 198 640 0 12920 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 54256 [startup+462.301 s] /proc/loadavg: 1.01 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1698112/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=54264 CPUtime=462.09 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 11189 0 0 0 46193 16 0 0 25 0 1 0 192052076 55566336 11161 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 13566 11161 198 640 0 12922 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 54264 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1694208/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=58264 CPUtime=522.07 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 12187 0 0 0 52189 18 0 0 25 0 1 0 192052076 59662336 12159 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 14566 12159 198 640 0 13922 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 58264 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1694208/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=58264 CPUtime=582.05 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 12187 0 0 0 58185 20 0 0 25 0 1 0 192052076 59662336 12159 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 14566 12159 198 640 0 13922 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 58264 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1692800/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=59672 CPUtime=642.03 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 12546 0 0 0 64182 21 0 0 25 0 1 0 192052076 61104128 12518 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 14918 12518 198 640 0 14274 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 59672 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1689920/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1121.83 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13197 0 0 0 112156 27 0 0 25 0 1 0 192052076 63787008 13169 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13169 198 640 0 14929 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 62292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689856/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1181.81 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13197 0 0 0 118153 28 0 0 25 0 1 0 192052076 63787008 13169 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13169 198 640 0 14929 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 62292 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689664/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1241.79 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13197 0 0 0 124150 29 0 0 25 0 1 0 192052076 63787008 13169 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13169 198 640 0 14929 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 62292 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689664/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62284 CPUtime=1301.77 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13197 0 0 0 130148 29 0 0 25 0 1 0 192052076 63778816 13169 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15571 13169 198 640 0 14927 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 62284 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689600/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62284 CPUtime=1361.74 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13197 0 0 0 136145 29 0 0 25 0 1 0 192052076 63778816 13169 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15571 13169 198 640 0 14927 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 62284 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689600/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62284 CPUtime=1421.72 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13197 0 0 0 142143 29 0 0 25 0 1 0 192052076 63778816 13169 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15571 13169 198 640 0 14927 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 62284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689600/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62284 CPUtime=1481.69 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13197 0 0 0 148139 30 0 0 25 0 1 0 192052076 63778816 13169 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15571 13169 198 640 0 14927 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 62284 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689536/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1541.65 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 154134 31 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 62292 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689600/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1601.63 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 160132 31 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 62292 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689600/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1661.6 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 166129 31 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 62292 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689536/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1721.57 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 172126 31 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 62292 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689472/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1781.55 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 178123 32 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 62292 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689472/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1791.15 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 179083 32 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1791.15 Current children cumulated vsize (KiB) 62292 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689472/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1794.35 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 179403 32 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1794.35 Current children cumulated vsize (KiB) 62292 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689472/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1795.95 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 179563 32 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1795.95 Current children cumulated vsize (KiB) 62292 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689472/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1796.75 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 179643 32 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 62292 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689472/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1797.55 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 179723 32 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 62292 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689472/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1797.95 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 179763 32 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 62292 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 0.93 2/65 8588 /proc/meminfo: memFree=1689472/2055920 swapFree=4191900/4192956 [pid=8587] ppid=8585 vsize=62292 CPUtime=1798.05 /proc/8587/stat : 8587 (bsolo) R 8585 8587 8338 0 -1 4194304 13199 0 0 0 179773 32 0 0 25 0 1 0 192052076 63787008 13171 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8587/statm: 15573 13171 198 640 0 14929 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 62292 Child status: 0 Real time (s): 1798.83 CPU time (s): 1798.08 CPU user time (s): 1797.75 CPU system time (s): 0.336948 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (KiB): 62404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.75 system time used= 0.336948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13200 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= 5664 runsolver used 2.06169 second user time and 4.48732 second system time The end
Begin job on node11 at 2009-06-17 15:15:15 IDJOB=1879510 IDBENCH=48060 IDSOLVER=701 FILE ID=node11/1879510-1245244515 PBS_JOBID= 9372326 Free space on /tmp= 66160 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=131-P1=307-P2=281-P3=173-P4=479-P5=461-P6=107-P7=337-P8=353-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879510-1245244515/watcher-1879510-1245244515 -o /tmp/evaluation-result-1879510-1245244515/solver-1879510-1245244515 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879510-1245244515.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6dc20e219798a6cc2c39fe76202681b5 RANDOM SEED=1061664969 node11.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.234 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.234 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: 1742944 kB Buffers: 35500 kB Cached: 209124 kB SwapCached: 312 kB Active: 79668 kB Inactive: 177756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1742944 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 21304 kB Slab: 41532 kB Committed_AS: 205984 kB PageTables: 1452 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-1879510-1245244515.opb Free space on /tmp at the end= 66156 MiB End job on node11 at 2009-06-17 15:45:14