Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1188.48 | 1188.85 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb |
MD5SUM | 0a6144d2156b2eb66da8c624c6f3d576 |
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 | 4.69229 |
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 | 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.52 c ...done 0.49/0.52 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 65.37/65.41 c restart after 401 decisions 66.87/67.00 c nbDecision=500 #constraints=49446 144.85/144.90 c restart after 801 decisions 173.24/173.30 c nbDecision=1000 #constraints=49850 329.70/329.84 c nbDecision=1500 #constraints=50353 367.79/367.95 c restart after 1601 decisions 491.66/491.87 c nbDecision=2000 #constraints=50748 706.90/707.12 c nbDecision=2500 #constraints=51259 944.54/944.84 c nbDecision=3000 #constraints=51740 1053.31/1053.66 c restart after 3201 decisions 1188.12/1188.50 Received signal 15 1188.12/1188.58 1188.12/1188.58 Unexpected exception : 1188.12/1188.58 St9bad_alloc
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-367006-1177002823 -o ROOT/results/node1/solver-367006-1177002823 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367006-1177002823/instance-367006-1177002823.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.92 0.97 0.91 3/77 5810 /proc/meminfo: memFree=1620712/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1468 CPUtime=0 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 176320131 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 367 164 130 317 0 46 0 [startup+0.0962091 s] /proc/loadavg: 0.92 0.97 0.91 3/77 5810 /proc/meminfo: memFree=1620712/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=3448 CPUtime=0.09 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 669 0 0 0 9 0 0 0 18 0 1 0 176320131 3530752 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 862 651 130 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.10121 s] /proc/loadavg: 0.92 0.97 0.91 3/77 5810 /proc/meminfo: memFree=1620712/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=3580 CPUtime=0.09 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 696 0 0 0 9 0 0 0 18 0 1 0 176320131 3665920 678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 895 678 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.301233 s] /proc/loadavg: 0.92 0.97 0.91 3/77 5810 /proc/meminfo: memFree=1620712/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=7932 CPUtime=0.29 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 1783 0 0 0 29 0 0 0 19 0 1 0 176320131 8122368 1732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 1983 1732 130 317 0 1662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7932 [startup+0.701279 s] /proc/loadavg: 0.92 0.97 0.91 3/77 5810 /proc/meminfo: memFree=1620712/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=17040 CPUtime=0.69 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 4153 0 0 0 68 1 0 0 22 0 1 0 176320131 17448960 4036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 4260 4036 137 317 0 3939 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17040 [startup+1.50137 s] /proc/loadavg: 0.92 0.97 0.91 2/78 5811 /proc/meminfo: memFree=1603360/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=18900 CPUtime=1.49 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 4703 0 0 0 148 1 0 0 25 0 1 0 176320131 19353600 4520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 4725 4520 139 317 0 4404 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18900 [startup+3.10156 s] /proc/loadavg: 0.92 0.97 0.91 2/78 5811 /proc/meminfo: memFree=1602976/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=19164 CPUtime=3.09 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 4769 0 0 0 308 1 0 0 25 0 1 0 176320131 19623936 4586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 4791 4586 139 317 0 4470 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19164 [startup+6.30194 s] /proc/loadavg: 0.93 0.97 0.91 2/78 5811 /proc/meminfo: memFree=1601504/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=21628 CPUtime=6.29 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 5537 0 0 0 627 2 0 0 25 0 1 0 176320131 22147072 4857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270595 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 5407 4857 139 317 0 5086 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21628 [startup+12.7017 s] /proc/loadavg: 0.93 0.97 0.91 2/78 5811 /proc/meminfo: memFree=1572000/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=52920 CPUtime=12.68 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 19526 0 0 0 1262 6 0 0 25 0 1 0 176320131 54190080 12659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 13230 12659 170 317 0 12909 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52920 [startup+25.5012 s] /proc/loadavg: 0.95 0.97 0.91 2/78 5811 /proc/meminfo: memFree=1533088/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=91888 CPUtime=25.48 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 37109 0 0 0 2535 13 0 0 25 0 1 0 176320131 94093312 22366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 22972 22366 170 317 0 22651 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 91888 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.91 2/78 5811 /proc/meminfo: memFree=1470944/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=153276 CPUtime=51.08 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 63814 0 0 0 5085 23 0 0 25 0 1 0 176320131 156954624 37666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 38319 37666 170 317 0 37998 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 153276 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.91 2/78 5811 /proc/meminfo: memFree=1317152/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=306232 CPUtime=102.26 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 133851 0 0 0 10178 48 0 0 25 0 1 0 176320131 313581568 75725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 76558 75725 170 317 0 76237 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 306232 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=1233312/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=391732 CPUtime=162.24 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 177778 0 0 0 16157 67 0 0 25 0 1 0 176320131 401133568 96962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 97933 96963 170 317 0 97612 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 391732 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=1068704/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=555812 CPUtime=222.23 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 245006 0 0 0 22128 95 0 0 25 0 1 0 176320131 569151488 137835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 138953 137835 170 317 0 138632 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 555812 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=947488/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=678604 CPUtime=282.21 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 307354 0 0 0 28102 119 0 0 25 0 1 0 176320131 694890496 168308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 169651 168308 170 317 0 169330 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 678604 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=892512/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=733148 CPUtime=342.2 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 335149 0 0 0 34088 132 0 0 25 0 1 0 176320131 750743552 181853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 183287 181853 170 317 0 182966 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 733148 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=822880/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=802676 CPUtime=402.18 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 370533 0 0 0 40072 146 0 0 25 0 1 0 176320131 821940224 199110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 200669 199110 170 317 0 200348 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 802676 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=661216/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=995720 CPUtime=462.16 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 428565 0 0 0 46049 167 0 0 25 0 1 0 176320131 1019617280 239630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277523 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 248930 239630 170 317 0 248609 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 995720 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=571680/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1078744 CPUtime=522.15 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 472472 0 0 0 52033 182 0 0 25 0 1 0 176320131 1104633856 262064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541535 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 269686 262064 170 317 0 269365 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1078744 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=509600/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1135468 CPUtime=582.13 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 503675 0 0 0 58020 193 0 0 25 0 1 0 176320131 1162719232 277415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718398 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 283867 277415 170 317 0 283546 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1135468 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=437088/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1202000 CPUtime=642.12 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 539027 0 0 0 64005 207 0 0 25 0 1 0 176320131 1230848000 295387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 300500 295387 170 317 0 300179 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1202000 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=363808/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1270744 CPUtime=702.1 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 574544 0 0 0 69989 221 0 0 25 0 1 0 176320131 1301241856 313967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278967 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 317686 313967 170 317 0 317365 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1270744 [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=284512/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1342928 CPUtime=762.09 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 612069 0 0 0 75972 237 0 0 25 0 1 0 176320131 1375158272 333447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 335732 333447 170 317 0 335411 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1342928 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=213216/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1416544 CPUtime=822.07 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 649394 0 0 0 81957 250 0 0 25 0 1 0 176320131 1450541056 351712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541590 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 354136 351712 170 317 0 353815 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1416544 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=175712/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1453560 CPUtime=882.05 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 668007 0 0 0 87949 256 0 0 25 0 1 0 176320131 1488445440 360912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554602 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 363390 360912 170 317 0 363069 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1453560 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=119648/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1509008 CPUtime=942.04 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 696724 0 0 0 93936 268 0 0 25 0 1 0 176320131 1545224192 374676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 377252 374676 170 317 0 376931 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1509008 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=75488/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1552908 CPUtime=1002.02 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 718522 0 0 0 99924 278 0 0 25 0 1 0 176320131 1590177792 385601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 388227 385601 170 317 0 387906 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1552908 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=18528/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1610076 CPUtime=1062.01 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 747440 0 0 0 105910 291 0 0 25 0 1 0 176320131 1648717824 399807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 402519 399807 170 317 0 402198 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1610076 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5811 /proc/meminfo: memFree=15136/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1623176 CPUtime=1121.97 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 754331 0 0 0 111903 294 0 0 25 0 1 0 176320131 1662132224 403046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 405794 403046 170 317 0 405473 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1623176 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 5813 /proc/meminfo: memFree=15712/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1686896 CPUtime=1181.93 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 787124 0 0 0 117886 307 0 0 25 0 1 0 176320131 1727381504 418862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5810/statm: 421724 418862 170 317 0 421403 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1686896 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1188.5 s] /proc/loadavg: 0.99 0.97 0.91 4/78 5813 /proc/meminfo: memFree=13472/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=1871800 CPUtime=1188.12 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194304 818319 0 0 0 118479 333 0 0 25 0 1 0 176320131 1916723200 448387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534235 0 0 4096 17474 0 0 0 17 0 0 0 /proc/5810/statm: 467950 448387 170 317 0 467629 0 Current children cumulated CPU time (s) 1188.12 Current children cumulated vsize (KiB) 1871800 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1188.61 s] /proc/loadavg: 0.99 0.97 0.91 4/78 5813 /proc/meminfo: memFree=13472/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=0 CPUtime=1188.22 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194308 821843 0 0 0 118482 340 0 0 25 0 1 0 176320131 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 0 0 0 /proc/5810/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1188.22 Current children cumulated vsize (KiB) 0 [startup+1188.8 s] /proc/loadavg: 0.99 0.97 0.91 4/78 5813 /proc/meminfo: memFree=13472/2055920 swapFree=4145780/4192956 [pid=5810] ppid=5808 vsize=0 CPUtime=1188.42 /proc/5810/stat : 5810 (oree) R 5808 5810 5512 0 -1 4194308 821843 0 0 0 118482 360 0 0 25 0 1 0 176320131 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 0 0 0 /proc/5810/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1188.42 Current children cumulated vsize (KiB) 0 Child status: 1 Real time (s): 1188.85 CPU time (s): 1188.48 CPU user time (s): 1184.83 CPU system time (s): 3.65244 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 1871800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1184.83 system time used= 3.65244 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 821843 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= 1405 runsolver used 1.44078 second user time and 2.77558 second system time The end
Begin job on node1 on Thu Apr 19 17:13:43 UTC 2007 IDJOB= 367006 IDBENCH= 2984 IDSOLVER= 172 FILE ID= node1/367006-1177002823 PBS_JOBID= 4630505 Free space on /tmp= 66355 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.opb COMMAND LINE= oree /tmp/evaluation/367006-1177002823/instance-367006-1177002823.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-367006-1177002823 -o ROOT/results/node1/solver-367006-1177002823 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367006-1177002823/instance-367006-1177002823.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0a6144d2156b2eb66da8c624c6f3d576 RANDOM SEED= 51216769 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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: 1621184 kB Buffers: 36260 kB Cached: 319168 kB SwapCached: 14356 kB Active: 238432 kB Inactive: 139564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1621184 kB SwapTotal: 4192956 kB SwapFree: 4145780 kB Dirty: 3368 kB Writeback: 0 kB Mapped: 29424 kB Slab: 42216 kB Committed_AS: 5013084 kB PageTables: 1832 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= 66355 MiB End job on node1 on Thu Apr 19 17:33:34 UTC 2007