Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.11 | 1801.68 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb |
MD5SUM | 9a1c9dd98f3544399baaffc61b3b99d7 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 2.5906 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 5251 |
Total number of constraints | 15301 |
Number of constraints which are clauses | 15300 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5100 |
Number of terms in the objective function | 51 |
Biggest coefficient in the objective function | 1125899906842624 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 2251799813685247 |
Number of bits of the sum of numbers in the objective function | 51 |
Biggest number in a constraint | 713623846352979940529142984724747568191373312 |
Number of bits of the biggest number in a constraint | 150 |
Biggest sum of numbers in a constraint | 2854495385411919137542539254950202185769575159 |
Number of bits of the biggest sum of numbers | 151 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.10/0.15 c ...done 0.10/0.15 c #vars=5251 #constraints=15303 hasObjective=yes 0.19/0.20 c res. mode=mod 0.19/0.20 c VSIDS like heuristics 0.19/0.20 c complete search running 22.29/22.39 c restart after 401 decisions 26.19/26.30 c nbDecision=500 #constraints=15692 48.58/48.67 c restart after 801 decisions 61.18/61.20 c nbDecision=1000 #constraints=16119 113.76/113.81 c nbDecision=1500 #constraints=16618 126.47/126.54 c restart after 1601 decisions 173.05/173.12 c nbDecision=2000 #constraints=17063 243.63/243.77 c nbDecision=2500 #constraints=17555 327.10/327.23 c nbDecision=3000 #constraints=18046 371.00/371.11 c restart after 3201 decisions 436.18/436.40 c nbDecision=3500 #constraints=18487 540.85/541.09 c nbDecision=4000 #constraints=18972 672.82/673.05 c nbDecision=4500 #constraints=19466 810.48/810.72 c nbDecision=5000 #constraints=19959 965.45/965.70 c nbDecision=5500 #constraints=20467 1141.80/1142.17 c nbDecision=6000 #constraints=20959 1283.96/1284.33 c restart after 6401 decisions 1325.95/1326.36 c nbDecision=6500 #constraints=21399 1530.90/1531.34 c nbDecision=7000 #constraints=21879 1751.05/1751.65 c nbDecision=7500 #constraints=22372 1800.04/1800.61 Received signal 15 1800.83/1801.47 1800.83/1801.47 s UNKNOWN 1800.83/1801.47 1800.83/1801.47 c user time= 1799.21 s 1800.83/1801.47 c system time= 1.71174 s 1800.83/1801.47 c wall clock time=1801.48
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-367192-1177004128 -o ROOT/results/node2/solver-367192-1177004128 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367192-1177004128/instance-367192-1177004128.opb mod 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.99 0.97 0.98 3/77 30531 /proc/meminfo: memFree=1869160/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1468 CPUtime=0 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 176450629 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 367 165 130 317 0 46 0 [startup+0.00737712 s] /proc/loadavg: 0.99 0.97 0.98 3/77 30531 /proc/meminfo: memFree=1869160/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1600 CPUtime=0 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 197 0 0 0 0 0 0 0 18 0 1 0 176450629 1638400 179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 400 179 130 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.102385 s] /proc/loadavg: 0.99 0.97 0.98 3/77 30531 /proc/meminfo: memFree=1869160/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=3580 CPUtime=0.1 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 707 0 0 0 10 0 0 0 18 0 1 0 176450629 3665920 689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 895 689 130 317 0 574 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3580 [startup+0.301406 s] /proc/loadavg: 0.99 0.97 0.98 3/77 30531 /proc/meminfo: memFree=1869160/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=7076 CPUtime=0.29 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 1517 0 0 0 29 0 0 0 19 0 1 0 176450629 7245824 1499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284210 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 1769 1499 139 317 0 1448 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7076 [startup+0.701448 s] /proc/loadavg: 0.99 0.97 0.98 3/77 30531 /proc/meminfo: memFree=1869160/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=7716 CPUtime=0.69 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 1731 0 0 0 69 0 0 0 23 0 1 0 176450629 7901184 1578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 1929 1578 139 317 0 1608 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7716 [startup+1.50153 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1863392/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=10024 CPUtime=1.49 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 2408 0 0 0 149 0 0 0 25 0 1 0 176450629 10264576 2034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554532 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 2506 2034 139 317 0 2185 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10024 [startup+3.1017 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1859552/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=14456 CPUtime=3.09 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 3756 0 0 0 308 1 0 0 25 0 1 0 176450629 14802944 2927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713905 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 3614 2927 139 317 0 3293 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14456 [startup+6.30103 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1850720/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=24180 CPUtime=6.29 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 6835 0 0 0 627 2 0 0 25 0 1 0 176450629 24760320 4953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 6045 4953 170 317 0 5724 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24180 [startup+12.7017 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1835808/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=47580 CPUtime=12.68 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 13297 0 0 0 1264 4 0 0 25 0 1 0 176450629 48721920 9933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 11895 9933 170 317 0 11574 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47580 [startup+25.502 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1797280/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=86632 CPUtime=25.49 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 24938 0 0 0 2539 10 0 0 25 0 1 0 176450629 88711168 18167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712465 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 21658 18167 170 317 0 21337 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86632 [startup+51.1027 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1760032/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=134372 CPUtime=51.08 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 39762 0 0 0 5092 16 0 0 25 0 1 0 176450629 137596928 27613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273235 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 33593 27613 170 317 0 33272 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 134372 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1672096/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=238800 CPUtime=102.27 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 70829 0 0 0 10198 29 0 0 25 0 1 0 176450629 244531200 49258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 59700 49258 170 317 0 59379 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 238800 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1588128/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=344140 CPUtime=162.25 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 98998 0 0 0 16184 41 0 0 25 0 1 0 176450629 352399360 70187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 86035 70187 170 317 0 85714 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 344140 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1529696/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=411580 CPUtime=222.23 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 121526 0 0 0 22173 50 0 0 25 0 1 0 176450629 421457920 84785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713857 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 102895 84785 170 317 0 102574 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 411580 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1478496/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=473596 CPUtime=282.22 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 141442 0 0 0 28163 59 0 0 25 0 1 0 176450629 484962304 97718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 118399 97718 170 317 0 118078 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 473596 [startup+342.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1436512/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=525416 CPUtime=342.21 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 157298 0 0 0 34156 65 0 0 25 0 1 0 176450629 538025984 108004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 131354 108004 170 317 0 131033 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 525416 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1410784/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=558036 CPUtime=402.19 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 167597 0 0 0 40150 69 0 0 25 0 1 0 176450629 571428864 114468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718413 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 139509 114468 170 317 0 139188 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 558036 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1316576/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=686720 CPUtime=462.17 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 196874 0 0 0 46137 80 0 0 25 0 1 0 176450629 703201280 137891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 171680 137891 170 317 0 171359 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 686720 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1285920/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=722304 CPUtime=522.16 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 208543 0 0 0 52131 85 0 0 25 0 1 0 176450629 739639296 145641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 180576 145641 170 317 0 180255 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 722304 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1251488/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=761436 CPUtime=582.14 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 221547 0 0 0 58124 90 0 0 25 0 1 0 176450629 779710464 154053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 190359 154053 170 317 0 190038 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 761436 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1218144/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=799328 CPUtime=642.13 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 233661 0 0 0 64116 97 0 0 25 0 1 0 176450629 818511872 162348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 199832 162348 170 317 0 199511 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 799328 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1075616/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=963096 CPUtime=942.05 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 287558 0 0 0 94088 117 0 0 25 0 1 0 176450629 986210304 197862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 240774 197862 170 317 0 240453 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 963096 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1051680/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=990256 CPUtime=1002.03 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 296809 0 0 0 100081 122 0 0 25 0 1 0 176450629 1014022144 203761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 247564 203761 170 317 0 247243 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 990256 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1028256/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1020436 CPUtime=1062.02 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 305877 0 0 0 106076 126 0 0 25 0 1 0 176450629 1044926464 209738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 255109 209738 170 317 0 254788 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1020436 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=1007200/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1047132 CPUtime=1122 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 314078 0 0 0 112071 129 0 0 25 0 1 0 176450629 1072263168 214997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 261783 214997 170 317 0 261462 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1047132 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=984544/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1074564 CPUtime=1181.99 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 322748 0 0 0 118067 132 0 0 25 0 1 0 176450629 1100353536 220465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 268641 220465 170 317 0 268320 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1074564 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=966880/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1097432 CPUtime=1241.98 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 330194 0 0 0 124062 136 0 0 25 0 1 0 176450629 1123770368 225004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554532 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 274358 225004 170 317 0 274037 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1097432 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=868576/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1263412 CPUtime=1301.96 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 356308 0 0 0 130051 145 0 0 25 0 1 0 176450629 1293733888 249329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 315853 249329 170 317 0 315532 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1263412 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=855520/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1279432 CPUtime=1361.95 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 361529 0 0 0 136047 148 0 0 25 0 1 0 176450629 1310138368 252716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 319858 252716 170 317 0 319537 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1279432 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=832352/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1305300 CPUtime=1421.93 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 370075 0 0 0 142042 151 0 0 25 0 1 0 176450629 1336627200 258398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278970 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 326325 258398 170 317 0 326004 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1305300 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30532 /proc/meminfo: memFree=811424/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1329828 CPUtime=1481.91 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 378101 0 0 0 148037 154 0 0 25 0 1 0 176450629 1361743872 263746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 332457 263746 170 317 0 332136 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1329828 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/84 30606 /proc/meminfo: memFree=788000/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1354256 CPUtime=1541.86 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 386033 0 0 0 154028 158 0 0 25 0 1 0 176450629 1386758144 269046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 338564 269046 170 317 0 338243 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1354256 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30730 /proc/meminfo: memFree=766752/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1380084 CPUtime=1601.79 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 394269 0 0 0 160016 163 0 0 25 0 1 0 176450629 1413206016 274532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 345021 274532 170 317 0 344700 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1380084 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30730 /proc/meminfo: memFree=752608/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1396508 CPUtime=1661.76 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 399436 0 0 0 166011 165 0 0 25 0 1 0 176450629 1430024192 278086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 349127 278086 170 317 0 348806 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1396508 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30730 /proc/meminfo: memFree=731872/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1419796 CPUtime=1721.75 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 407033 0 0 0 172007 168 0 0 25 0 1 0 176450629 1453871104 283214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 354949 283214 170 317 0 354628 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1419796 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30730 /proc/meminfo: memFree=715232/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1438916 CPUtime=1781.73 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 413233 0 0 0 178003 170 0 0 25 0 1 0 176450629 1473449984 287359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 359729 287359 170 317 0 359408 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1438916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30730 /proc/meminfo: memFree=709216/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1445840 CPUtime=1800.04 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 415661 0 0 0 179833 171 0 0 25 0 1 0 176450629 1480540160 288861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 361460 288861 170 317 0 361139 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1445840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30730 /proc/meminfo: memFree=709216/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=1446776 CPUtime=1800.83 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 415912 0 0 0 179912 171 0 0 25 0 1 0 176450629 1481498624 289048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284116 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 361694 289048 170 317 0 361373 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 1446776 [startup+1801.6 s] /proc/loadavg: 0.99 0.97 0.98 2/78 30730 /proc/meminfo: memFree=709216/2055920 swapFree=4149072/4192956 [pid=30531] ppid=30529 vsize=0 CPUtime=1801.03 /proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194308 415933 0 0 0 179921 182 0 0 25 0 1 0 176450629 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30531/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.68 CPU time (s): 1801.11 CPU user time (s): 1799.22 CPU system time (s): 1.89771 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 1446776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 1.89771 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 415933 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= 8 involuntary context switches= 37452 runsolver used 2.02569 second user time and 4.18636 second system time The end
Begin job on node2 on Thu Apr 19 17:35:28 UTC 2007 IDJOB= 367192 IDBENCH= 3045 IDSOLVER= 172 FILE ID= node2/367192-1177004128 PBS_JOBID= 4630513 Free space on /tmp= 66400 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb COMMAND LINE= oree /tmp/evaluation/367192-1177004128/instance-367192-1177004128.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-367192-1177004128 -o ROOT/results/node2/solver-367192-1177004128 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367192-1177004128/instance-367192-1177004128.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 9a1c9dd98f3544399baaffc61b3b99d7 RANDOM SEED= 645454099 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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: 1869632 kB Buffers: 20536 kB Cached: 87652 kB SwapCached: 12240 kB Active: 34740 kB Inactive: 98532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1869632 kB SwapTotal: 4192956 kB SwapFree: 4149072 kB Dirty: 1928 kB Writeback: 0 kB Mapped: 32152 kB Slab: 38408 kB Committed_AS: 7200632 kB PageTables: 1864 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= 66400 MiB End job on node2 on Thu Apr 19 18:05:31 UTC 2007