Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.08 | 1799.98 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb |
MD5SUM | cdc1e49bcf2e6b6913c93a683c821b72 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.227965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
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.00/0.01 c ...done 0.00/0.01 c #vars=792 #constraints=1181 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.59/0.66 c restart after 401 decisions 0.69/0.79 c nbDecision=500 #constraints=1604 1.39/1.41 c restart after 801 decisions 1.89/1.98 c nbDecision=1000 #constraints=2056 3.39/3.43 c nbDecision=1500 #constraints=2542 3.49/3.59 c restart after 1601 decisions 4.59/4.63 c nbDecision=2000 #constraints=2986 6.50/6.55 c nbDecision=2500 #constraints=3490 8.39/8.49 c nbDecision=3000 #constraints=3979 8.89/8.97 c restart after 3201 decisions 9.99/10.01 c nbDecision=3500 #constraints=4421 10.89/10.95 c nbDecision=4000 #constraints=4912 12.20/12.26 c nbDecision=4500 #constraints=5402 12.89/12.99 c nbDecision=5000 #constraints=5868 13.89/13.91 c nbDecision=5500 #constraints=6356 15.69/15.77 c nbDecision=6000 #constraints=6846 17.50/17.58 c restart after 6401 decisions 17.99/18.02 c nbDecision=6500 #constraints=7268 20.99/21.05 c nbDecision=7000 #constraints=7752 22.89/22.98 c nbDecision=7500 #constraints=8241 25.39/25.49 c nbDecision=8000 #constraints=8716 29.79/29.85 c nbDecision=8500 #constraints=9201 33.70/33.74 c nbDecision=9000 #constraints=9636 39.99/40.01 c nbDecision=9500 #constraints=10130 46.20/46.29 c nbDecision=10000 #constraints=10611 54.59/54.69 c nbDecision=10500 #constraints=11077 64.09/64.13 c nbDecision=11000 #constraints=11549 74.60/74.68 c nbDecision=11500 #constraints=12014 85.70/85.79 c nbDecision=12000 #constraints=12481 98.89/98.92 c nbDecision=12500 #constraints=12953 109.20/109.24 c restart after 12801 decisions 110.90/110.91 c nbDecision=13000 #constraints=13397 116.50/116.57 c nbDecision=13500 #constraints=13888 128.90/128.92 c nbDecision=14000 #constraints=14351 152.90/152.92 c nbDecision=14500 #constraints=14833 174.00/174.04 c nbDecision=15000 #constraints=15321 197.90/197.92 c nbDecision=15500 #constraints=15806 228.41/228.42 c nbDecision=16000 #constraints=16303 248.71/248.75 c nbDecision=16500 #constraints=16781 267.80/267.85 c nbDecision=17000 #constraints=17209 287.71/287.70 c nbDecision=17500 #constraints=17671 316.91/316.90 c nbDecision=18000 #constraints=18098 348.72/348.71 c nbDecision=18500 #constraints=18591 381.31/381.31 c nbDecision=19000 #constraints=19054 417.91/417.99 c nbDecision=19500 #constraints=19521 446.22/446.22 c nbDecision=20000 #constraints=19990 479.92/479.98 c nbDecision=20500 #constraints=20456 522.92/522.99 c nbDecision=21000 #constraints=20953 552.73/552.77 c nbDecision=21500 #constraints=21408 592.93/592.93 c nbDecision=22000 #constraints=21900 642.63/642.60 c nbDecision=22500 #constraints=22397 676.33/676.31 c nbDecision=23000 #constraints=22871 711.03/711.05 c nbDecision=23500 #constraints=23356 753.14/753.14 c nbDecision=24000 #constraints=23821 800.14/800.17 c nbDecision=24500 #constraints=24286 844.75/844.78 c nbDecision=25000 #constraints=24764 889.24/889.27 c nbDecision=25500 #constraints=25245 898.55/898.51 c restart after 25601 decisions 904.25/904.25 c nbDecision=26000 #constraints=25686 910.74/910.74 c nbDecision=26500 #constraints=26168 1022.65/1022.65 c nbDecision=27000 #constraints=26645 1104.36/1104.30 c nbDecision=27500 #constraints=27112 1170.76/1170.71 c nbDecision=28000 #constraints=27567 1263.27/1263.22 c nbDecision=28500 #constraints=28061 1341.56/1341.59 c nbDecision=29000 #constraints=28508 1399.47/1399.41 c nbDecision=29500 #constraints=28981 1484.28/1484.23 c nbDecision=30000 #constraints=29442 1527.58/1527.50 c nbDecision=30500 #constraints=29897 1573.58/1573.50 c nbDecision=31000 #constraints=30358 1658.08/1658.00 c nbDecision=31500 #constraints=30847 1728.40/1728.30 c nbDecision=32000 #constraints=31340 1800.00/1799.90 Received signal 15 1800.00/1799.95 1800.00/1799.95 s UNKNOWN 1800.00/1799.95 1800.00/1799.95 c user time= 1799.69 s 1800.00/1799.95 c system time= 0.371943 s 1800.00/1799.95 c wall clock time=1799.95
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430833-1177999353/instance-430833-1177999353.opb mv /tmp/evaluation/430833-1177999353/instance-430833-1177999353.opb.tmp /tmp/evaluation/430833-1177999353/instance-430833-1177999353.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-430833-1177999353 -o ROOT/results/node16/solver-430833-1177999353 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430833-1177999353/instance-430833-1177999353.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 27141 /proc/meminfo: memFree=1796992/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=1468 CPUtime=0 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 247852996 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134795264 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 367 168 132 317 0 46 0 [startup+0.00977093 s] /proc/loadavg: 1.00 1.00 1.00 3/77 27141 /proc/meminfo: memFree=1796992/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=1732 CPUtime=0 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 234 0 0 0 0 0 0 0 18 0 1 0 247852996 1773568 217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 433 219 132 317 0 112 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1732 [startup+0.101756 s] /proc/loadavg: 1.00 1.00 1.00 3/77 27141 /proc/meminfo: memFree=1796992/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=2192 CPUtime=0.09 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 353 0 0 0 9 0 0 0 18 0 1 0 247852996 2244608 336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 548 336 139 317 0 227 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2192 [startup+0.301708 s] /proc/loadavg: 1.00 1.00 1.00 3/77 27141 /proc/meminfo: memFree=1796992/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=2580 CPUtime=0.29 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 469 0 0 0 29 0 0 0 19 0 1 0 247852996 2641920 452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273487 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 645 452 139 317 0 324 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2580 [startup+0.701625 s] /proc/loadavg: 1.00 1.00 1.00 3/77 27141 /proc/meminfo: memFree=1796992/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=3492 CPUtime=0.69 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 684 0 0 0 69 0 0 0 23 0 1 0 247852996 3575808 667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742676 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 873 667 139 317 0 552 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3492 [startup+1.50146 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1794232/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=4932 CPUtime=1.49 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 1058 0 0 0 149 0 0 0 25 0 1 0 247852996 5050368 1041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277011 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 1233 1041 139 317 0 912 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4932 [startup+3.10212 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1792632/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=6768 CPUtime=3.09 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 1505 0 0 0 309 0 0 0 25 0 1 0 247852996 6930432 1488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 1692 1488 139 317 0 1371 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6768 [startup+6.30145 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1787968/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=11068 CPUtime=6.29 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 2570 0 0 0 628 1 0 0 25 0 1 0 247852996 11333632 2553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558934 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 2767 2553 139 317 0 2446 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11068 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1779712/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=20460 CPUtime=12.69 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 4894 0 0 0 1267 2 0 0 25 0 1 0 247852996 20951040 4877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 5115 4877 139 317 0 4794 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20460 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1766464/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=32720 CPUtime=25.5 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 7988 0 0 0 2546 4 0 0 25 0 1 0 247852996 33505280 7913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 8180 7913 170 317 0 7859 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 32720 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1757184/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=41780 CPUtime=51.09 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 10211 0 0 0 5103 6 0 0 25 0 1 0 247852996 42782720 10136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604463 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 10445 10136 170 317 0 10124 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 41780 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1748224/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=50612 CPUtime=102.3 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 12332 0 0 0 10222 8 0 0 25 0 1 0 247852996 51826688 12257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 12653 12257 170 317 0 12332 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 50612 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1740288/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=58572 CPUtime=162.3 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 14319 0 0 0 16221 9 0 0 25 0 1 0 247852996 59977728 14244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 14643 14244 170 317 0 14322 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 58572 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1735872/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=63320 CPUtime=222.31 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 15420 0 0 0 22220 11 0 0 25 0 1 0 247852996 64839680 15345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 15830 15345 170 317 0 15509 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 63320 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1729856/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=70220 CPUtime=282.31 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 17038 0 0 0 28218 13 0 0 25 0 1 0 247852996 71905280 16849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604452 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 17555 16849 170 317 0 17234 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 70220 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1726656/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=73596 CPUtime=342.31 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 17826 0 0 0 34217 14 0 0 25 0 1 0 247852996 75362304 17637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 18399 17637 170 317 0 18078 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 73596 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1723264/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=76896 CPUtime=402.31 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 18674 0 0 0 40216 15 0 0 25 0 1 0 247852996 78741504 18485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 19224 18485 170 317 0 18903 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 76896 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1719680/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=80608 CPUtime=462.32 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 19564 0 0 0 46216 16 0 0 25 0 1 0 247852996 82542592 19375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 20152 19375 170 317 0 19831 0 Current children cumulated CPU time (s) 462.32 Current children cumulated vsize (KiB) 80608 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1717248/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=83192 CPUtime=522.32 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 20207 0 0 0 52215 17 0 0 25 0 1 0 247852996 85188608 20018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 20798 20018 170 317 0 20477 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 83192 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1713792/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=86296 CPUtime=582.33 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 21045 0 0 0 58215 18 0 0 25 0 1 0 247852996 88367104 20856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 21574 20856 170 317 0 21253 0 Current children cumulated CPU time (s) 582.33 Current children cumulated vsize (KiB) 86296 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1711232/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=88740 CPUtime=642.33 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 21669 0 0 0 64214 19 0 0 25 0 1 0 247852996 90869760 21480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 22185 21480 170 317 0 21864 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 88740 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1699456/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=102524 CPUtime=882.34 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 24616 0 0 0 88211 23 0 0 25 0 1 0 247852996 104984576 24427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 25631 24427 170 317 0 25310 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 102524 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1694784/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=107272 CPUtime=942.35 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 25775 0 0 0 94210 25 0 0 25 0 1 0 247852996 109846528 25586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 26818 25586 170 317 0 26497 0 Current children cumulated CPU time (s) 942.35 Current children cumulated vsize (KiB) 107272 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1693888/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=108324 CPUtime=1002.34 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 26004 0 0 0 100209 25 0 0 25 0 1 0 247852996 110923776 25815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 27081 25815 170 317 0 26760 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 108324 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1692800/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=109364 CPUtime=1062.35 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 26268 0 0 0 106209 26 0 0 25 0 1 0 247852996 111988736 26079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 27341 26079 170 317 0 27020 0 Current children cumulated CPU time (s) 1062.35 Current children cumulated vsize (KiB) 109364 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1690816/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=111192 CPUtime=1122.35 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 26764 0 0 0 112208 27 0 0 25 0 1 0 247852996 113860608 26575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 27798 26575 170 317 0 27477 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 111192 [startup+1182.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 27142 /proc/meminfo: memFree=1689728/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=112368 CPUtime=1182.36 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 27044 0 0 0 118208 28 0 0 25 0 1 0 247852996 115064832 26855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 28092 26855 170 317 0 27771 0 Current children cumulated CPU time (s) 1182.36 Current children cumulated vsize (KiB) 112368 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 27142 /proc/meminfo: memFree=1688256/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=113852 CPUtime=1242.36 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 27377 0 0 0 124207 29 0 0 25 0 1 0 247852996 116584448 27188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 28463 27188 170 317 0 28142 0 Current children cumulated CPU time (s) 1242.36 Current children cumulated vsize (KiB) 113852 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1687168/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=114892 CPUtime=1302.37 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 27636 0 0 0 130207 30 0 0 25 0 1 0 247852996 117649408 27447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 28723 27447 170 317 0 28402 0 Current children cumulated CPU time (s) 1302.37 Current children cumulated vsize (KiB) 114892 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1685888/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=116320 CPUtime=1362.37 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 27970 0 0 0 136206 31 0 0 25 0 1 0 247852996 119111680 27781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 29080 27781 170 317 0 28759 0 Current children cumulated CPU time (s) 1362.37 Current children cumulated vsize (KiB) 116320 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1683776/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=118340 CPUtime=1422.38 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 28496 0 0 0 142206 32 0 0 25 0 1 0 247852996 121180160 28307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 29585 28307 170 317 0 29264 0 Current children cumulated CPU time (s) 1422.38 Current children cumulated vsize (KiB) 118340 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1682560/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=119644 CPUtime=1482.38 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 28790 0 0 0 148206 32 0 0 25 0 1 0 247852996 122515456 28601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 29911 28601 170 317 0 29590 0 Current children cumulated CPU time (s) 1482.38 Current children cumulated vsize (KiB) 119644 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1680064/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=122276 CPUtime=1542.38 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 29486 0 0 0 154205 33 0 0 25 0 1 0 247852996 125210624 29231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 30569 29231 170 317 0 30248 0 Current children cumulated CPU time (s) 1542.38 Current children cumulated vsize (KiB) 122276 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1678400/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=124308 CPUtime=1602.39 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 29933 0 0 0 160205 34 0 0 25 0 1 0 247852996 127291392 29645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 31077 29645 170 317 0 30756 0 Current children cumulated CPU time (s) 1602.39 Current children cumulated vsize (KiB) 124308 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1677056/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=125660 CPUtime=1662.38 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 30301 0 0 0 166204 34 0 0 25 0 1 0 247852996 128675840 29980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 31415 29980 170 317 0 31094 0 Current children cumulated CPU time (s) 1662.38 Current children cumulated vsize (KiB) 125660 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1675456/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=127336 CPUtime=1722.39 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 30698 0 0 0 172204 35 0 0 25 0 1 0 247852996 130392064 30377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 31834 30377 170 317 0 31513 0 Current children cumulated CPU time (s) 1722.39 Current children cumulated vsize (KiB) 127336 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1673984/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=128776 CPUtime=1782.39 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 31041 0 0 0 178203 36 0 0 25 0 1 0 247852996 131866624 30720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 32194 30720 170 317 0 31873 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (KiB) 128776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1673472/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=129452 CPUtime=1800 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 31171 0 0 0 179963 37 0 0 25 0 1 0 247852996 132558848 30850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 32363 30850 170 317 0 32042 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 129452 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27142 /proc/meminfo: memFree=1673472/2055920 swapFree=4148612/4192956 [pid=27141] ppid=27139 vsize=129452 CPUtime=1800 /proc/27141/stat : 27141 (oree) R 27139 27141 25284 0 -1 4194304 31171 0 0 0 179963 37 0 0 25 0 1 0 247852996 132558848 30850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27141/statm: 32363 30850 170 317 0 32042 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 129452 Child status: 0 Real time (s): 1799.98 CPU time (s): 1800.08 CPU user time (s): 1799.69 CPU system time (s): 0.39194 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (KiB): 129452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.39194 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31187 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= 35557 runsolver used 1.57276 second user time and 4.39033 second system time The end
Begin job on node16 on Tue May 1 06:02:33 UTC 2007 IDJOB= 430833 IDBENCH= 48008 IDSOLVER= 172 FILE ID= node16/430833-1177999353 PBS_JOBID= 4728210 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb COMMAND LINE= oree /tmp/evaluation/430833-1177999353/instance-430833-1177999353.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-430833-1177999353 -o ROOT/results/node16/conversion-430833-1177999353 -C 600 -M 1800 /tmp/evaluation/430833-1177999353/substituteSizeProductKeyword /tmp/evaluation/430833-1177999353/instance-430833-1177999353.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-430833-1177999353 -o ROOT/results/node16/solver-430833-1177999353 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430833-1177999353/instance-430833-1177999353.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= cdc1e49bcf2e6b6913c93a683c821b72 RANDOM SEED= 17449490 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1797400 kB Buffers: 32084 kB Cached: 138280 kB SwapCached: 12284 kB Active: 110624 kB Inactive: 84140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797400 kB SwapTotal: 4192956 kB SwapFree: 4148612 kB Dirty: 1336 kB Writeback: 0 kB Mapped: 31220 kB Slab: 49280 kB Committed_AS: 7692328 kB PageTables: 1840 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= 66563 MiB End job on node16 on Tue May 1 06:32:36 UTC 2007