Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.02 | 1800.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb |
MD5SUM | 901fa4df755866cb23bdcc769669d554 |
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 | 0.235964 |
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.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432088-1178013414/instance-432088-1178013414.opb 0.00/0.00 c File size is 10107 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: 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.012 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 LPR mode. 1799.94/1800.55 c 101 756 1257 13227 10 4299 7119 101 4809 0.02 1799.94/1800.55 c 251 756 1407 25763 18 4463 7831 251 6783 0.04 1799.94/1800.55 c 477 756 1633 45194 27 4973 8615 477 7819 0.06 1799.94/1800.55 c 815 756 1971 71365 36 5647 9477 815 8489 0.10 1799.94/1800.55 c 1323 756 2479 113612 45 6571 10425 1323 6890 0.19 1799.94/1800.55 c 2087 756 3243 182840 56 8081 11468 2087 7297 0.29 1799.94/1800.55 c 3235 756 4391 288383 65 10393 12615 3235 7540 0.43 1799.94/1800.55 c 4957 756 6113 448599 73 13830 13877 4957 6556 0.76 1799.94/1800.55 c 7542 756 8698 676764 77 18960 15265 7542 5929 1.27 1799.94/1800.55 c 11422 756 12578 996223 79 26736 16792 11422 5322 2.15 1799.94/1800.55 c 17245 756 9701 725979 74 21011 18472 8545 4487 3.84 1799.94/1800.55 c 25983 756 18439 1397725 75 38521 20320 17283 3285 7.91 1799.94/1800.55 c 39094 756 21304 1525070 71 44190 22353 20148 1659 23.56 1799.94/1800.55 c 58765 756 17073 1418866 83 35859 24589 15917 1595 36.84 1799.94/1800.55 c 88276 756 18103 1443203 79 37911 27048 16947 1404 62.84 1799.94/1800.55 c 132547 756 13258 904355 68 28279 29753 12102 1171 113.12 1799.94/1800.55 c 198958 756 23389 1844914 78 48316 32729 22233 1154 172.28 1799.94/1800.55 c 298579 756 19445 1702971 87 40475 36002 18289 846 352.69 1799.94/1800.55 c 448014 756 18533 1298542 70 38677 39603 17377 762 587.75 1799.94/1800.55 c 672172 756 13596 1054180 77 28843 43564 12440 676 993.07 1799.94/1800.55 c 1008416 755 26044 2075830 79 53704 47921 24888 638 1578.87 1799.94/1800.55 c Resources Exceeded 1799.94/1800.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.55 c 21 1088741 3902 1105468 33900 2590408 32744 604 1800.00 1799.94/1800.55 s UNKNOWN 1799.94/1800.55 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-432088-1178013414 -o ROOT/results/node44/solver-432088-1178013414 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/432088-1178013414/instance-432088-1178013414.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.98 0.98 3/77 18013 /proc/meminfo: memFree=1824136/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=3936 CPUtime=0 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 249253105 4030464 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 984 347 291 324 0 50 0 [startup+0.098668 s] /proc/loadavg: 0.93 0.98 0.98 3/77 18013 /proc/meminfo: memFree=1824136/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=5224 CPUtime=0.09 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 717 0 0 0 9 0 0 0 18 0 1 0 249253105 5349376 683 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 1306 683 312 324 0 375 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5224 [startup+0.101668 s] /proc/loadavg: 0.93 0.98 0.98 3/77 18013 /proc/meminfo: memFree=1824136/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=5224 CPUtime=0.09 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 723 0 0 0 9 0 0 0 18 0 1 0 249253105 5349376 689 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 1306 689 312 324 0 375 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5224 [startup+0.301688 s] /proc/loadavg: 0.93 0.98 0.98 3/77 18013 /proc/meminfo: memFree=1824136/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=6904 CPUtime=0.29 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 1132 0 0 0 28 1 0 0 19 0 1 0 249253105 7069696 1098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 1726 1099 312 324 0 795 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6904 [startup+0.701729 s] /proc/loadavg: 0.93 0.98 0.98 3/77 18013 /proc/meminfo: memFree=1824136/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=10136 CPUtime=0.69 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 1956 0 0 0 68 1 0 0 22 0 1 0 249253105 10379264 1922 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 2534 1922 312 324 0 1603 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10136 [startup+1.50181 s] /proc/loadavg: 0.93 0.98 0.98 2/78 18014 /proc/meminfo: memFree=1815616/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=15172 CPUtime=1.49 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 3213 0 0 0 147 2 0 0 25 0 1 0 249253105 15536128 3179 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 3793 3179 312 324 0 2862 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15172 [startup+3.10197 s] /proc/loadavg: 0.93 0.98 0.98 2/78 18014 /proc/meminfo: memFree=1809536/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=23436 CPUtime=3.09 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 5256 0 0 0 305 4 0 0 25 0 1 0 249253105 23998464 5222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 5859 5222 312 324 0 4928 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23436 [startup+6.3013 s] /proc/loadavg: 0.93 0.98 0.98 2/78 18014 /proc/meminfo: memFree=1802368/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=25100 CPUtime=6.29 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 5688 0 0 0 624 5 0 0 25 0 1 0 249253105 25702400 5654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 6275 5654 312 324 0 5344 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25100 [startup+12.702 s] /proc/loadavg: 0.94 0.98 0.98 2/78 18014 /proc/meminfo: memFree=1800136/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=27360 CPUtime=12.69 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 6256 0 0 0 1263 6 0 0 25 0 1 0 249253105 28016640 6222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 6840 6222 312 324 0 5909 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27360 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.98 2/78 18014 /proc/meminfo: memFree=1800136/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=27360 CPUtime=25.48 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 6256 0 0 0 2541 7 0 0 25 0 1 0 249253105 28016640 6222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11715139 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 6840 6222 312 324 0 5909 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27360 [startup+51.1019 s] /proc/loadavg: 0.97 0.98 0.98 2/78 18014 /proc/meminfo: memFree=1791112/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=36312 CPUtime=51.08 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 8506 0 0 0 5095 13 0 0 25 0 1 0 249253105 37183488 8472 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 9078 8472 312 324 0 8147 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36312 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.98 2/78 18014 /proc/meminfo: memFree=1791176/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=36320 CPUtime=102.26 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 8508 0 0 0 10208 18 0 0 25 0 1 0 249253105 37191680 8474 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 9080 8474 312 324 0 8149 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36320 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18014 /proc/meminfo: memFree=1784840/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=42576 CPUtime=162.24 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 10071 0 0 0 16196 28 0 0 25 0 1 0 249253105 43597824 10037 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 10644 10037 312 324 0 9713 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 42576 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18014 /proc/meminfo: memFree=1780232/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=47084 CPUtime=222.23 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 11246 0 0 0 22187 36 0 0 25 0 1 0 249253105 48214016 11141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 11771 11141 312 324 0 10840 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 47084 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/84 18180 /proc/meminfo: memFree=1776640/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=49268 CPUtime=282.14 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 11844 0 0 0 28172 42 0 0 25 0 1 0 249253105 50450432 11706 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 12317 11706 312 324 0 11386 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 49268 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1777672/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=49268 CPUtime=342.11 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 11877 0 0 0 34163 48 0 0 25 0 1 0 249253105 50450432 11706 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 12317 11706 312 324 0 11386 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 49268 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 3/78 18212 /proc/meminfo: memFree=1777672/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=49280 CPUtime=402.09 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 11880 0 0 0 40152 57 0 0 25 0 1 0 249253105 50462720 11709 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 12320 11709 312 324 0 11389 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 49280 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1777800/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=49280 CPUtime=462.08 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 11880 0 0 0 46144 64 0 0 25 0 1 0 249253105 50462720 11709 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 12320 11709 312 324 0 11389 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 49280 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1777800/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=49280 CPUtime=522.07 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 11880 0 0 0 52136 71 0 0 25 0 1 0 249253105 50462720 11709 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 12320 11709 312 324 0 11389 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 49280 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1777800/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=49280 CPUtime=582.05 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 11880 0 0 0 58128 77 0 0 25 0 1 0 249253105 50462720 11709 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 12320 11709 312 324 0 11389 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 49280 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1777480/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=49680 CPUtime=642.03 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 11997 0 0 0 64119 84 0 0 25 0 1 0 249253105 50872320 11786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 12420 11786 312 324 0 11489 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 49680 ################ # More data... # ################ /proc/meminfo: memFree=1757448/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69544 CPUtime=1061.93 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17257 0 0 0 106063 130 0 0 25 0 1 0 249253105 71213056 16763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17386 16763 312 324 0 16455 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 69544 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757448/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69544 CPUtime=1121.91 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17257 0 0 0 112057 134 0 0 25 0 1 0 249253105 71213056 16763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17386 16763 312 324 0 16455 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 69544 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757448/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69544 CPUtime=1181.89 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17257 0 0 0 118051 138 0 0 25 0 1 0 249253105 71213056 16763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17386 16763 312 324 0 16455 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 69544 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757320/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69544 CPUtime=1241.88 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17257 0 0 0 124043 145 0 0 25 0 1 0 249253105 71213056 16763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17386 16763 312 324 0 16455 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 69544 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757320/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69544 CPUtime=1301.87 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17257 0 0 0 130035 152 0 0 25 0 1 0 249253105 71213056 16763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17386 16763 312 324 0 16455 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 69544 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69356 CPUtime=1361.85 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17257 0 0 0 136027 158 0 0 25 0 1 0 249253105 71020544 16733 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17339 16733 312 324 0 16408 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 69356 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69356 CPUtime=1421.84 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17257 0 0 0 142019 165 0 0 25 0 1 0 249253105 71020544 16733 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17339 16733 312 324 0 16408 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 69356 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69356 CPUtime=1481.82 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17257 0 0 0 148011 171 0 0 25 0 1 0 249253105 71020544 16733 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17339 16733 312 324 0 16408 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 69356 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69336 CPUtime=1541.81 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17257 0 0 0 154005 176 0 0 25 0 1 0 249253105 71000064 16728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17334 16728 312 324 0 16403 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 69336 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69324 CPUtime=1601.79 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17257 0 0 0 159997 182 0 0 25 0 1 0 249253105 70987776 16725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17331 16725 312 324 0 16400 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 69324 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69340 CPUtime=1661.78 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17261 0 0 0 165992 186 0 0 25 0 1 0 249253105 71004160 16729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17335 16729 312 324 0 16404 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 69340 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69340 CPUtime=1721.76 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17261 0 0 0 171985 191 0 0 25 0 1 0 249253105 71004160 16729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17335 16729 312 324 0 16404 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 69340 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69340 CPUtime=1781.74 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17261 0 0 0 177979 195 0 0 25 0 1 0 249253105 71004160 16729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17335 16729 312 324 0 16404 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 69340 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69340 CPUtime=1791.35 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17261 0 0 0 178939 196 0 0 25 0 1 0 249253105 71004160 16729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17335 16729 312 324 0 16404 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 69340 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69340 CPUtime=1794.55 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17261 0 0 0 179259 196 0 0 25 0 1 0 249253105 71004160 16729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17335 16729 312 324 0 16404 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 69340 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69340 CPUtime=1797.74 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17261 0 0 0 179578 196 0 0 25 0 1 0 249253105 71004160 16729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17335 16729 312 324 0 16404 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 69340 [startup+1799.9 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69340 CPUtime=1799.33 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17261 0 0 0 179737 196 0 0 25 0 1 0 249253105 71004160 16729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17335 16729 312 324 0 16404 0 Current children cumulated CPU time (s) 1799.33 Current children cumulated vsize (KiB) 69340 [startup+1800.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69340 CPUtime=1799.74 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17261 0 0 0 179777 197 0 0 25 0 1 0 249253105 71004160 16729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17335 16729 312 324 0 16404 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (KiB) 69340 [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.98 2/78 18212 /proc/meminfo: memFree=1757384/2055920 swapFree=4156220/4192956 [pid=18013] ppid=18011 vsize=69340 CPUtime=1799.94 /proc/18013/stat : 18013 (bsolo3.0.16) R 18011 18013 16818 0 -1 4194304 17261 0 0 0 179797 197 0 0 25 0 1 0 249253105 71004160 16729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18013/statm: 17335 16729 312 324 0 16404 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 69340 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.02 CPU user time (s): 1798.03 CPU system time (s): 1.9827 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 69716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.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= 17262 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= 12 involuntary context switches= 2711 runsolver used 1.48877 second user time and 4.08638 second system time The end
Begin job on node44 on Tue May 1 09:56:54 UTC 2007 IDJOB= 432088 IDBENCH= 48098 IDSOLVER= 163 FILE ID= node44/432088-1178013414 PBS_JOBID= 4728304 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/432088-1178013414/instance-432088-1178013414.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-432088-1178013414 -o ROOT/results/node44/solver-432088-1178013414 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/432088-1178013414/instance-432088-1178013414.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554 RANDOM SEED= 563884258 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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: 1824480 kB Buffers: 32388 kB Cached: 107892 kB SwapCached: 13740 kB Active: 105832 kB Inactive: 59220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824480 kB SwapTotal: 4192956 kB SwapFree: 4156220 kB Dirty: 6680 kB Writeback: 0 kB Mapped: 32772 kB Slab: 51888 kB Committed_AS: 1584728 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node44 on Tue May 1 10:26:55 UTC 2007