Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.15 | 1802.61 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb |
MD5SUM | 14ad76473b11124898801a98a6be0f15 |
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 | 116401 |
Total number of constraints | 347041 |
Number of constraints which are clauses | 347040 |
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 | 115680 |
Number of terms in the objective function | 241 |
Biggest coefficient in the objective function | 1766847064778384329583297500742918515827483896875618958121606201292619776 |
Number of bits for the biggest coefficient in the objective function | 241 |
Sum of the numbers in the objective function | 3533694129556768659166595001485837031654967793751237916243212402585239551 |
Number of bits of the sum of numbers in the objective function | 241 |
Biggest number in a constraint | 2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288 |
Number of bits of the biggest number in a constraint | 720 |
Biggest sum of numbers in a constraint | 11031304526203974597457456414861827591216226218170224705794538792432397772411513099461947533223824223812108544718420760849241103931105427591146783146989758993585507676769708326131434170738798141111110216594893389039561 |
Number of bits of the biggest sum of numbers | 721 |
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... 4.49/4.50 c ...done 4.49/4.50 c #vars=116401 #constraints=347043 hasObjective=yes 6.09/6.19 c res. mode=mod 6.09/6.19 c VSIDS like heuristics 6.09/6.19 c complete search running 1800.05/1800.50 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-357540-1177003492 -o ROOT/results/node70/solver-357540-1177003492 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357540-1177003492/instance-357540-1177003492.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.98 0.96 3/64 29267 /proc/meminfo: memFree=1786112/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=1468 CPUtime=0 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 139886724 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 367 161 130 317 0 46 0 [startup+0.066427 s] /proc/loadavg: 0.99 0.98 0.96 3/64 29267 /proc/meminfo: memFree=1786112/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=2788 CPUtime=0.06 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 508 0 0 0 6 0 0 0 18 0 1 0 139886724 2854912 490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 697 490 130 317 0 376 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2788 [startup+0.10243 s] /proc/loadavg: 0.99 0.98 0.96 3/64 29267 /proc/meminfo: memFree=1786112/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=3588 CPUtime=0.09 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 699 0 0 0 9 0 0 0 18 0 1 0 139886724 3674112 681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 897 682 130 317 0 576 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3588 [startup+0.302452 s] /proc/loadavg: 0.99 0.98 0.96 3/64 29267 /proc/meminfo: memFree=1786112/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=7940 CPUtime=0.29 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 1793 0 0 0 29 0 0 0 19 0 1 0 139886724 8130560 1742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 1985 1742 130 317 0 1664 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7940 [startup+0.70249 s] /proc/loadavg: 0.99 0.98 0.96 3/64 29267 /proc/meminfo: memFree=1786112/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=16512 CPUtime=0.69 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 3978 0 0 0 67 2 0 0 22 0 1 0 139886724 16908288 3862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 4128 3863 130 317 0 3807 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16512 [startup+1.50157 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1764728/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=33524 CPUtime=1.49 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 8338 0 0 0 145 4 0 0 25 0 1 0 139886724 34328576 8093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 8381 8093 130 317 0 8060 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33524 [startup+3.10173 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1740472/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=64108 CPUtime=3.09 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 16290 0 0 0 300 9 0 0 25 0 1 0 139886724 65646592 15561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 16027 15561 130 317 0 15706 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 64108 [startup+6.30105 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1675136/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=120656 CPUtime=6.29 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 31153 0 0 0 615 14 0 0 25 0 1 0 139886724 123551744 29683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 30164 29683 137 317 0 29843 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 120656 [startup+12.7017 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1667712/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=120784 CPUtime=12.69 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 31174 0 0 0 1255 14 0 0 25 0 1 0 139886724 123682816 29704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 30196 29704 137 317 0 29875 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 120784 [startup+25.502 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1656576/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=141360 CPUtime=25.49 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 36310 0 0 0 2533 16 0 0 25 0 1 0 139886724 144752640 32467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 35340 32467 139 317 0 35019 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 141360 [startup+51.1015 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1651520/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=146628 CPUtime=51.08 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 37827 0 0 0 5091 17 0 0 25 0 1 0 139886724 150147072 33790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 36657 33790 139 317 0 36336 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 146628 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1629312/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=168840 CPUtime=102.27 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 45412 0 0 0 10206 21 0 0 25 0 1 0 139886724 172892160 39375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712596 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 42210 39375 170 317 0 41889 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 168840 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1602496/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=199364 CPUtime=162.25 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 55981 0 0 0 16199 26 0 0 25 0 1 0 139886724 204148736 46024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 49841 46024 170 317 0 49520 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 199364 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1578048/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=227148 CPUtime=222.24 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 65762 0 0 0 22194 30 0 0 25 0 1 0 139886724 232599552 52102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549856 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 56787 52102 170 317 0 56466 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 227148 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1551872/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=255580 CPUtime=282.22 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 76884 0 0 0 28188 34 0 0 25 0 1 0 139886724 261713920 58662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712596 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 63895 58662 170 317 0 63574 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 255580 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1538112/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=269944 CPUtime=342.2 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 84135 0 0 0 34183 37 0 0 25 0 1 0 139886724 276422656 62040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 67486 62040 170 317 0 67165 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 269944 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1517376/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=293944 CPUtime=402.18 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 92805 0 0 0 40178 40 0 0 25 0 1 0 139886724 300998656 67244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 73486 67244 170 317 0 73165 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 293944 [startup+462.303 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1502400/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=311260 CPUtime=462.17 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 100577 0 0 0 46173 44 0 0 25 0 1 0 139886724 318730240 70973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710870 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 77815 70973 170 317 0 77494 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 311260 [startup+522.303 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1497088/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=316436 CPUtime=522.16 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 102838 0 0 0 52170 46 0 0 25 0 1 0 139886724 324030464 72295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 79109 72295 170 317 0 78788 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 316436 [startup+582.303 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1478272/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=337344 CPUtime=582.15 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 110631 0 0 0 58166 49 0 0 25 0 1 0 139886724 345440256 76971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 84336 76971 170 317 0 84015 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 337344 [startup+642.303 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1468352/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=348164 CPUtime=642.14 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 115416 0 0 0 64163 51 0 0 25 0 1 0 139886724 356519936 79438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 87041 79438 170 317 0 86720 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 348164 ################ # More data... # ################ /proc/meminfo: memFree=1359488/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=464072 CPUtime=1002.04 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 160100 0 0 0 100134 70 0 0 25 0 1 0 139886724 475209728 106561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270583 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 116018 106561 170 317 0 115697 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 464072 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1343552/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=480976 CPUtime=1062.02 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 166499 0 0 0 106130 72 0 0 25 0 1 0 139886724 492519424 110520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 120244 110520 170 317 0 119923 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 480976 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1333568/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=491596 CPUtime=1122.01 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 172417 0 0 0 112126 75 0 0 25 0 1 0 139886724 503394304 113016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541574 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 122899 113016 170 317 0 122578 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 491596 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1313024/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=513248 CPUtime=1182 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 181403 0 0 0 118120 80 0 0 25 0 1 0 139886724 525565952 118136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 128312 118136 170 317 0 127991 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 513248 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1294208/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=533136 CPUtime=1241.97 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 189185 0 0 0 124114 83 0 0 25 0 1 0 139886724 545931264 122819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 133284 122819 170 317 0 132963 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 533136 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1282496/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=545372 CPUtime=1301.97 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 195398 0 0 0 130111 86 0 0 25 0 1 0 139886724 558460928 125730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713793 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 136343 125730 170 317 0 136022 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 545372 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1263488/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=565092 CPUtime=1361.95 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 202413 0 0 0 136106 89 0 0 25 0 1 0 139886724 578654208 130465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 141273 130465 170 317 0 140952 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 565092 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1249152/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=579940 CPUtime=1421.94 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 207853 0 0 0 142102 92 0 0 25 0 1 0 139886724 593858560 134041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710756 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 144985 134041 170 317 0 144664 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 579940 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1241152/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=588668 CPUtime=1481.92 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 212126 0 0 0 148098 94 0 0 25 0 1 0 139886724 602796032 136031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 147167 136031 170 317 0 146846 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 588668 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1237696/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=591692 CPUtime=1541.9 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 215423 0 0 0 154094 96 0 0 25 0 1 0 139886724 605892608 136895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 147923 136895 170 317 0 147602 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 591692 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 29268 /proc/meminfo: memFree=1220864/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=609088 CPUtime=1601.89 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 222220 0 0 0 160090 99 0 0 25 0 1 0 139886724 623706112 141093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 152272 141093 170 317 0 151951 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 609088 [startup+1662.3 s] /proc/loadavg: 1.06 1.00 0.97 2/65 29268 /proc/meminfo: memFree=1204736/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=625744 CPUtime=1661.87 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 228189 0 0 0 166085 102 0 0 25 0 1 0 139886724 640761856 145133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 156436 145133 170 317 0 156115 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 625744 [startup+1722.3 s] /proc/loadavg: 1.08 1.01 0.97 2/65 29268 /proc/meminfo: memFree=1206592/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=623668 CPUtime=1721.86 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 228189 0 0 0 172084 102 0 0 25 0 1 0 139886724 638636032 144614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 155917 144614 170 317 0 155596 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 623668 [startup+1782.3 s] /proc/loadavg: 1.08 1.03 0.98 2/65 29270 /proc/meminfo: memFree=1206208/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=628992 CPUtime=1781.85 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 231245 0 0 0 178081 104 0 0 25 0 1 0 139886724 644087808 145856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 157248 145856 170 317 0 156927 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 628992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.06 1.02 0.98 2/65 29270 /proc/meminfo: memFree=1201728/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=628992 CPUtime=1800.05 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 231245 0 0 0 179901 104 0 0 25 0 1 0 139886724 644087808 145856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 157248 145856 170 317 0 156927 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 628992 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.06 1.02 0.98 2/66 29271 /proc/meminfo: memFree=1201720/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=628992 CPUtime=1800.94 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 231245 0 0 0 179990 104 0 0 25 0 1 0 139886724 644087808 145856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 157248 145856 170 317 0 156927 0 Current children cumulated CPU time (s) 1800.94 Current children cumulated vsize (KiB) 628992 [startup+1802.2 s] /proc/loadavg: 1.06 1.02 0.98 2/66 29271 /proc/meminfo: memFree=1201720/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=628992 CPUtime=1801.74 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4194304 231245 0 0 0 180070 104 0 0 25 0 1 0 139886724 644087808 145856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 157248 145856 170 317 0 156927 0 Current children cumulated CPU time (s) 1801.74 Current children cumulated vsize (KiB) 628992 [startup+1802.6 s] /proc/loadavg: 1.06 1.02 0.98 2/66 29271 /proc/meminfo: memFree=1201720/2055920 swapFree=4183764/4192956 [pid=29267] ppid=29265 vsize=0 CPUtime=1802.14 /proc/29267/stat : 29267 (oree) R 29265 29267 28596 0 -1 4195332 231245 0 0 0 180101 113 0 0 25 0 1 0 139886724 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29267/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.61 CPU time (s): 1802.15 CPU user time (s): 1801.01 CPU system time (s): 1.13783 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 628992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.01 system time used= 1.13783 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 231245 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= 2271 runsolver used 1.14482 second user time and 3.79042 second system time The end
Begin job on node70 on Thu Apr 19 17:24:54 UTC 2007 IDJOB= 357540 IDBENCH= 3014 IDSOLVER= 172 FILE ID= node70/357540-1177003492 PBS_JOBID= 4630483 Free space on /tmp= 66454 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=480-sizeP=241-sizeQ=480-896328136-max.opb COMMAND LINE= oree /tmp/evaluation/357540-1177003492/instance-357540-1177003492.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-357540-1177003492 -o ROOT/results/node70/solver-357540-1177003492 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357540-1177003492/instance-357540-1177003492.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 14ad76473b11124898801a98a6be0f15 RANDOM SEED= 683561126 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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: 1786584 kB Buffers: 7512 kB Cached: 200840 kB SwapCached: 2788 kB Active: 46212 kB Inactive: 171404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786584 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 24032 kB Writeback: 0 kB Mapped: 15592 kB Slab: 37760 kB Committed_AS: 2490960 kB PageTables: 1396 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= 66454 MiB End job on node70 on Thu Apr 19 17:54:57 UTC 2007