Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.9 | 1801.41 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb |
MD5SUM | d31ef469fa2ed9fa9c3063355dbaf7b5 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 16651 |
Total number of constraints | 49141 |
Number of constraints which are clauses | 49140 |
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 | 16380 |
Number of terms in the objective function | 91 |
Biggest coefficient in the objective function | 1237940039285380274899124224 |
Number of bits for the biggest coefficient in the objective function | 91 |
Sum of the numbers in the objective function | 2475880078570760549798248447 |
Number of bits of the sum of numbers in the objective function | 91 |
Biggest number in a constraint | 948568795032094272909893509191171341133987714380927500611236528192824358010355712 |
Number of bits of the biggest number in a constraint | 270 |
Biggest sum of numbers in a constraint | 3794275180128377091639574036150438611441468153567802156940920507153788002840397422 |
Number of bits of the biggest sum of numbers | 271 |
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.49/0.51 c ...done 0.49/0.51 c #vars=16651 #constraints=49143 hasObjective=yes 0.59/0.69 c res. mode=mod 0.59/0.69 c VSIDS like heuristics 0.59/0.69 c complete search running 399.28/399.48 c restart after 401 decisions 402.48/402.65 c nbDecision=500 #constraints=49452 892.95/893.23 c restart after 801 decisions 1106.68/1107.06 c nbDecision=1000 #constraints=49852 1800.10/1800.61 Received signal 15 1800.69/1801.29 1800.69/1801.29 s UNKNOWN 1800.69/1801.30 1800.69/1801.30 c user time= 1799.64 s 1800.69/1801.30 c system time= 1.15182 s 1800.69/1801.30 c wall clock time=1801.3
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-357532-1177003204 -o ROOT/results/node45/solver-357532-1177003204 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357532-1177003204/instance-357532-1177003204.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: 1.00 1.00 1.00 3/77 357 /proc/meminfo: memFree=1745904/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=1468 CPUtime=0 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 55166063 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 367 165 130 317 0 46 0 [startup+0.0287769 s] /proc/loadavg: 1.00 1.00 1.00 3/77 357 /proc/meminfo: memFree=1745904/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=1996 CPUtime=0.02 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 311 0 0 0 2 0 0 0 18 0 1 0 55166063 2043904 293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 499 293 130 317 0 178 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1996 [startup+0.101784 s] /proc/loadavg: 1.00 1.00 1.00 3/77 357 /proc/meminfo: memFree=1745904/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=3580 CPUtime=0.09 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 702 0 0 0 9 0 0 0 18 0 1 0 55166063 3665920 684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 895 684 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.301804 s] /proc/loadavg: 1.00 1.00 1.00 3/77 357 /proc/meminfo: memFree=1745904/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=7932 CPUtime=0.29 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 1797 0 0 0 29 0 0 0 19 0 1 0 55166063 8122368 1746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 1983 1746 130 317 0 1662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7932 [startup+0.702844 s] /proc/loadavg: 1.00 1.00 1.00 3/77 357 /proc/meminfo: memFree=1745904/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=17040 CPUtime=0.69 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 4153 0 0 0 68 1 0 0 24 0 1 0 55166063 17448960 4036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 4260 4036 137 317 0 3939 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17040 [startup+1.50192 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1728488/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=19968 CPUtime=1.49 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 4877 0 0 0 148 1 0 0 25 0 1 0 55166063 20447232 4424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 4992 4424 139 317 0 4671 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19968 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1728168/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=20856 CPUtime=3.09 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 5145 0 0 0 308 1 0 0 25 0 1 0 55166063 21356544 4592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 5214 4592 139 317 0 4893 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20856 [startup+6.30141 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1726632/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=22940 CPUtime=6.29 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 5792 0 0 0 627 2 0 0 25 0 1 0 55166063 23490560 5035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 5735 5035 170 317 0 5414 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22940 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1722664/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=27588 CPUtime=12.68 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 7409 0 0 0 1266 2 0 0 25 0 1 0 55166063 28250112 6019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712596 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 6897 6019 170 317 0 6576 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27588 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1713320/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=37392 CPUtime=25.48 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 11206 0 0 0 2544 4 0 0 25 0 1 0 55166063 38289408 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 9348 8230 170 317 0 9027 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37392 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1698344/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=52568 CPUtime=51.08 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 17151 0 0 0 5101 7 0 0 25 0 1 0 55166063 53829632 11994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 13142 11994 170 317 0 12821 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 52568 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1685672/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=65992 CPUtime=102.27 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 23292 0 0 0 10217 10 0 0 25 0 1 0 55166063 67575808 15129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 16498 15129 170 317 0 16177 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 65992 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1661864/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=92788 CPUtime=162.24 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 33237 0 0 0 16209 15 0 0 25 0 1 0 55166063 95014912 21211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 23197 21211 170 317 0 22876 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 92788 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1648424/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=107540 CPUtime=222.23 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 39914 0 0 0 22205 18 0 0 25 0 1 0 55166063 110120960 24409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272596 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 26885 24409 170 317 0 26564 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 107540 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1627176/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=129728 CPUtime=282.21 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 48621 0 0 0 28199 22 0 0 25 0 1 0 55166063 132841472 29734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278940 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 32432 29734 170 317 0 32111 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 129728 [startup+342.302 s] /proc/loadavg: 1.05 1.01 1.00 2/78 358 /proc/meminfo: memFree=1602408/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=158432 CPUtime=342.19 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 60779 0 0 0 34191 28 0 0 25 0 1 0 55166063 162234368 35977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 39608 35977 170 317 0 39287 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 158432 [startup+402.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 358 /proc/meminfo: memFree=1587048/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=175004 CPUtime=402.18 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 67863 0 0 0 40186 32 0 0 25 0 1 0 55166063 179204096 39886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713833 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 43751 39886 170 317 0 43430 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 175004 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1566824/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=196896 CPUtime=462.16 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 76965 0 0 0 46179 37 0 0 25 0 1 0 55166063 201621504 44796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 49224 44796 170 317 0 48903 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 196896 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1539112/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=226576 CPUtime=522.14 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 86931 0 0 0 52173 41 0 0 25 0 1 0 55166063 232013824 51719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 56644 51719 170 317 0 56323 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 226576 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1518952/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=247964 CPUtime=582.13 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 96249 0 0 0 58168 45 0 0 25 0 1 0 55166063 253915136 56733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712465 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 61991 56733 170 317 0 61670 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 247964 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1505128/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=263304 CPUtime=642.11 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 103225 0 0 0 64163 48 0 0 25 0 1 0 55166063 269623296 60141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 65826 60141 170 317 0 65505 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 263304 ################ # More data... # ################ [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1431848/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=344728 CPUtime=942.03 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 138769 0 0 0 94136 67 0 0 25 0 1 0 55166063 353001472 78441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 86182 78441 170 317 0 85861 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 344728 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1414888/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=362848 CPUtime=1002.01 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 146347 0 0 0 100131 70 0 0 25 0 1 0 55166063 371556352 82685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 90712 82685 170 317 0 90391 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 362848 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1403432/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=375316 CPUtime=1062 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 151984 0 0 0 106126 74 0 0 25 0 1 0 55166063 384323584 85542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278970 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 93829 85542 170 317 0 93508 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 375316 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1389544/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=391368 CPUtime=1121.97 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 159265 0 0 0 112120 77 0 0 25 0 1 0 55166063 400760832 89010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 97842 89010 170 317 0 97521 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 391368 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1346536/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=435656 CPUtime=1181.96 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 173404 0 0 0 118113 83 0 0 25 0 1 0 55166063 446111744 99807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541619 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 108914 99807 170 317 0 108593 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 435656 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1331048/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=452344 CPUtime=1241.94 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 180511 0 0 0 124108 86 0 0 25 0 1 0 55166063 463200256 103599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270597 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 113086 103599 170 317 0 112765 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 452344 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1321896/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=462164 CPUtime=1301.93 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 184865 0 0 0 130105 88 0 0 25 0 1 0 55166063 473255936 105861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558648 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 115541 105861 170 317 0 115220 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 462164 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1313384/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=472248 CPUtime=1361.91 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 189366 0 0 0 136101 90 0 0 25 0 1 0 55166063 483581952 108041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 118062 108041 170 317 0 117741 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 472248 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1302440/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=484800 CPUtime=1421.9 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 194257 0 0 0 142097 93 0 0 25 0 1 0 55166063 496435200 110731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 121200 110731 170 317 0 120879 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 484800 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1283816/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=505156 CPUtime=1481.87 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 202978 0 0 0 148091 96 0 0 25 0 1 0 55166063 517279744 115460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 126289 115460 170 317 0 125968 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 505156 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1269352/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=521588 CPUtime=1541.86 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 209827 0 0 0 154087 99 0 0 25 0 1 0 55166063 534106112 119008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 130397 119008 170 317 0 130076 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 521588 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1255016/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=537492 CPUtime=1601.84 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 216739 0 0 0 160082 102 0 0 25 0 1 0 55166063 550391808 122710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713857 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 134373 122710 170 317 0 134052 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 537492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1237864/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=555908 CPUtime=1661.82 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 224509 0 0 0 166076 106 0 0 25 0 1 0 55166063 569249792 126851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 138977 126851 170 317 0 138656 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 555908 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1221352/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=573624 CPUtime=1721.81 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 232344 0 0 0 172070 111 0 0 25 0 1 0 55166063 587390976 130884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718416 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 143406 130884 170 317 0 143085 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 573624 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1207272/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=589452 CPUtime=1781.79 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 239116 0 0 0 178065 114 0 0 25 0 1 0 55166063 603598848 134469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 147363 134469 170 317 0 147042 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 589452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1206184/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=590724 CPUtime=1800.1 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 239786 0 0 0 179895 115 0 0 25 0 1 0 55166063 604901376 134749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 147681 134749 170 317 0 147360 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 590724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1206184/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=590204 CPUtime=1800.49 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194304 239786 0 0 0 179934 115 0 0 25 0 1 0 55166063 604368896 134649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718407 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 147551 134649 170 317 0 147230 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (KiB) 590204 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/78 358 /proc/meminfo: memFree=1206184/2055920 swapFree=4157496/4192956 [pid=357] ppid=355 vsize=0 CPUtime=1800.88 /proc/357/stat : 357 (oree) R 355 357 32154 0 -1 4194308 239802 0 0 0 179965 123 0 0 25 0 1 0 55166063 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/357/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.41 CPU time (s): 1800.9 CPU user time (s): 1799.66 CPU system time (s): 1.24181 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 590856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 1.24181 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 239802 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= 35645 runsolver used 2.17167 second user time and 4.19436 second system time The end
Begin job on node45 on Thu Apr 19 17:20:04 UTC 2007 IDJOB= 357532 IDBENCH= 2999 IDSOLVER= 172 FILE ID= node45/357532-1177003204 PBS_JOBID= 4630480 Free space on /tmp= 66444 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=180-sizeP=91-sizeQ=180-780825197-max.opb COMMAND LINE= oree /tmp/evaluation/357532-1177003204/instance-357532-1177003204.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-357532-1177003204 -o ROOT/results/node45/solver-357532-1177003204 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357532-1177003204/instance-357532-1177003204.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d31ef469fa2ed9fa9c3063355dbaf7b5 RANDOM SEED= 724802203 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1746312 kB Buffers: 37292 kB Cached: 205668 kB SwapCached: 15576 kB Active: 133776 kB Inactive: 133876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1746312 kB SwapTotal: 4192956 kB SwapFree: 4157496 kB Dirty: 3520 kB Writeback: 0 kB Mapped: 31820 kB Slab: 27504 kB Committed_AS: 1169452 kB PageTables: 1732 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= 66444 MiB End job on node45 on Thu Apr 19 17:50:07 UTC 2007