Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.29 | 1800.77 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=59-P1=53-P2=11-P3=59-B.opb |
MD5SUM | bc013f756978420202c73860888da520 |
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.036994 |
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 | 54 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 108 |
Sum of products size (including duplicates) | 216 |
Number of different products | 108 |
Sum of products size | 216 |
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.00 c ...done 0.00/0.00 c #vars=162 #constraints=227 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.29/0.30 c restart after 401 decisions 0.29/0.37 c nbDecision=500 #constraints=690 0.69/0.71 c restart after 801 decisions 0.89/0.90 c nbDecision=1000 #constraints=1143 1.39/1.45 c nbDecision=1500 #constraints=1573 1.59/1.62 c restart after 1601 decisions 2.39/2.45 c nbDecision=2000 #constraints=2017 3.99/4.04 c nbDecision=2500 #constraints=2459 6.09/6.19 c nbDecision=3000 #constraints=2910 7.39/7.41 c restart after 3201 decisions 9.79/9.82 c nbDecision=3500 #constraints=3361 15.69/15.70 c nbDecision=4000 #constraints=3818 22.89/22.91 c nbDecision=4500 #constraints=4246 30.08/30.15 c nbDecision=5000 #constraints=4671 40.18/40.28 c nbDecision=5500 #constraints=5155 54.57/54.60 c nbDecision=6000 #constraints=5643 66.28/66.31 c restart after 6401 decisions 68.08/68.15 c nbDecision=6500 #constraints=6108 80.47/80.59 c nbDecision=7000 #constraints=6543 91.56/91.60 c nbDecision=7500 #constraints=7021 110.06/110.11 c nbDecision=8000 #constraints=7506 131.56/131.62 c nbDecision=8500 #constraints=7966 157.64/157.76 c nbDecision=9000 #constraints=8453 186.24/186.37 c nbDecision=9500 #constraints=8941 212.33/212.47 c nbDecision=10000 #constraints=9394 236.43/236.51 c nbDecision=10500 #constraints=9835 266.42/266.55 c nbDecision=11000 #constraints=10326 297.81/297.99 c nbDecision=11500 #constraints=10808 336.10/336.21 c nbDecision=12000 #constraints=11294 370.09/370.23 c nbDecision=12500 #constraints=11753 393.88/394.05 c restart after 12801 decisions 408.48/408.62 c nbDecision=13000 #constraints=12220 444.57/444.74 c nbDecision=13500 #constraints=12699 480.96/481.16 c nbDecision=14000 #constraints=13178 518.96/519.11 c nbDecision=14500 #constraints=13650 558.94/559.19 c nbDecision=15000 #constraints=14118 605.23/605.47 c nbDecision=15500 #constraints=14586 647.92/648.18 c nbDecision=16000 #constraints=15041 698.51/698.77 c nbDecision=16500 #constraints=15525 747.80/748.03 c nbDecision=17000 #constraints=16005 802.38/802.68 c nbDecision=17500 #constraints=16482 860.37/860.62 c nbDecision=18000 #constraints=16966 916.95/917.27 c nbDecision=18500 #constraints=17432 968.93/969.25 c nbDecision=19000 #constraints=17890 1029.42/1029.70 c nbDecision=19500 #constraints=18361 1098.70/1099.05 c nbDecision=20000 #constraints=18858 1127.09/1127.41 c nbDecision=20500 #constraints=19253 1171.38/1171.70 c nbDecision=21000 #constraints=19707 1244.56/1244.96 c nbDecision=21500 #constraints=20158 1322.85/1323.21 c nbDecision=22000 #constraints=20610 1391.82/1392.28 c nbDecision=22500 #constraints=21009 1459.00/1459.41 c nbDecision=23000 #constraints=21391 1545.48/1545.96 c nbDecision=23500 #constraints=21857 1624.06/1624.53 c nbDecision=24000 #constraints=22301 1715.84/1716.31 c nbDecision=24500 #constraints=22766 1789.31/1789.80 c nbDecision=25000 #constraints=23182 1800.02/1800.50 Received signal 15 1800.22/1800.75 1800.22/1800.75 s UNKNOWN 1800.22/1800.75 1800.22/1800.75 c user time= 1800.03 s 1800.22/1800.75 c system time= 0.240963 s 1800.22/1800.75 c wall clock time=1800.75
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429797-1177988781/instance-429797-1177988781.opb mv /tmp/evaluation/429797-1177988781/instance-429797-1177988781.opb.tmp /tmp/evaluation/429797-1177988781/instance-429797-1177988781.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-429797-1177988781 -o ROOT/results/node5/solver-429797-1177988781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429797-1177988781/instance-429797-1177988781.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.85 0.97 0.99 3/77 16138 /proc/meminfo: memFree=1847232/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=1600 CPUtime=0 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 274915787 1638400 185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 400 185 139 317 0 79 0 [startup+0.0984679 s] /proc/loadavg: 0.85 0.97 0.99 3/77 16138 /proc/meminfo: memFree=1847232/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=1860 CPUtime=0.09 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 283 0 0 0 9 0 0 0 18 0 1 0 274915787 1904640 266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272672 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 465 266 139 317 0 144 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1860 [startup+0.101468 s] /proc/loadavg: 0.85 0.97 0.99 3/77 16138 /proc/meminfo: memFree=1847232/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=1860 CPUtime=0.09 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 285 0 0 0 9 0 0 0 18 0 1 0 274915787 1904640 268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 465 268 139 317 0 144 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1860 [startup+0.30149 s] /proc/loadavg: 0.85 0.97 0.99 3/77 16138 /proc/meminfo: memFree=1847232/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=2376 CPUtime=0.29 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 410 0 0 0 29 0 0 0 19 0 1 0 274915787 2433024 393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 594 393 139 317 0 273 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2376 [startup+0.701535 s] /proc/loadavg: 0.85 0.97 0.99 3/77 16138 /proc/meminfo: memFree=1847232/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=3168 CPUtime=0.69 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 611 0 0 0 69 0 0 0 23 0 1 0 274915787 3244032 594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 792 595 139 317 0 471 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3168 [startup+1.50163 s] /proc/loadavg: 0.85 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1844728/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=4652 CPUtime=1.49 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 1022 0 0 0 149 0 0 0 25 0 1 0 274915787 4763648 1005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 1163 1005 170 317 0 842 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4652 [startup+3.10281 s] /proc/loadavg: 0.86 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1843064/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=6216 CPUtime=3.09 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 1406 0 0 0 309 0 0 0 25 0 1 0 274915787 6365184 1389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 1554 1389 170 317 0 1233 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6216 [startup+6.30117 s] /proc/loadavg: 0.86 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1841016/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=7884 CPUtime=6.29 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 1799 0 0 0 629 0 0 0 25 0 1 0 274915787 8073216 1782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593460 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 1971 1782 170 317 0 1650 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7884 [startup+12.7019 s] /proc/loadavg: 0.88 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1839032/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=9604 CPUtime=12.68 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 2219 0 0 0 1268 0 0 0 25 0 1 0 274915787 9834496 2202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 2401 2202 170 317 0 2080 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9604 [startup+25.5013 s] /proc/loadavg: 0.90 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1836664/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=11988 CPUtime=25.49 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 2771 0 0 0 2548 1 0 0 25 0 1 0 274915787 12275712 2754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 2997 2754 170 317 0 2676 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11988 [startup+51.1012 s] /proc/loadavg: 0.93 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1834104/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=14648 CPUtime=51.08 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 3421 0 0 0 5106 2 0 0 25 0 1 0 274915787 14999552 3404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 3662 3404 170 317 0 3341 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14648 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1830008/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=18696 CPUtime=102.27 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 4435 0 0 0 10223 4 0 0 25 0 1 0 274915787 19144704 4418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 4674 4418 170 317 0 4353 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 18696 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1826936/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=22216 CPUtime=162.24 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 5224 0 0 0 16220 4 0 0 25 0 1 0 274915787 22749184 5149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 5554 5149 170 317 0 5233 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22216 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1824696/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=24584 CPUtime=222.23 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 5826 0 0 0 22218 5 0 0 25 0 1 0 274915787 25174016 5751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 6146 5751 170 317 0 5825 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 24584 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1822136/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=27356 CPUtime=282.22 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 6468 0 0 0 28215 7 0 0 25 0 1 0 274915787 28012544 6393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 6839 6393 170 317 0 6518 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 27356 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1820216/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=29400 CPUtime=342.2 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 6946 0 0 0 34213 7 0 0 25 0 1 0 274915787 30105600 6871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 7350 6871 170 317 0 7029 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 29400 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1818488/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=31168 CPUtime=402.18 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 7373 0 0 0 40210 8 0 0 25 0 1 0 274915787 31916032 7298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 7792 7298 170 317 0 7471 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 31168 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1816568/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=33132 CPUtime=462.17 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 7852 0 0 0 46208 9 0 0 25 0 1 0 274915787 33927168 7777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 8283 7777 170 317 0 7962 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 33132 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1814840/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=34768 CPUtime=522.16 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 8268 0 0 0 52206 10 0 0 25 0 1 0 274915787 35602432 8193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 8692 8193 170 317 0 8371 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 34768 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1813368/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=36220 CPUtime=582.13 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 8629 0 0 0 58203 10 0 0 25 0 1 0 274915787 37089280 8554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 9055 8554 170 317 0 8734 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 36220 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1811896/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=37860 CPUtime=642.13 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 8995 0 0 0 64202 11 0 0 25 0 1 0 274915787 38768640 8920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 9465 8920 170 317 0 9144 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 37860 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1805432/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=44780 CPUtime=942.04 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 10675 0 0 0 94190 14 0 0 25 0 1 0 274915787 45854720 10486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 11195 10486 170 317 0 10874 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 44780 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1804344/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=45828 CPUtime=1002.03 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 10947 0 0 0 100188 15 0 0 25 0 1 0 274915787 46927872 10758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 11457 10758 170 317 0 11136 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 45828 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1803256/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=47060 CPUtime=1062 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 11207 0 0 0 106185 15 0 0 25 0 1 0 274915787 48189440 11018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 11765 11018 170 317 0 11444 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 47060 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1801976/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=48656 CPUtime=1121.99 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 11568 0 0 0 112183 16 0 0 25 0 1 0 274915787 49823744 11346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 12164 11346 170 317 0 11843 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 48656 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1800504/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=50096 CPUtime=1181.98 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 11928 0 0 0 118181 17 0 0 25 0 1 0 274915787 51298304 11706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 12524 11706 170 317 0 12203 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 50096 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1799416/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=51008 CPUtime=1241.96 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 12156 0 0 0 124178 18 0 0 25 0 1 0 274915787 52232192 11934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 12752 11934 170 317 0 12431 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 51008 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1798520/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=51792 CPUtime=1301.95 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 12374 0 0 0 130177 18 0 0 25 0 1 0 274915787 53035008 12152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 12948 12152 170 317 0 12627 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 51792 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1797176/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=53388 CPUtime=1361.93 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 12704 0 0 0 136174 19 0 0 25 0 1 0 274915787 54669312 12482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 13347 12482 170 317 0 13026 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 53388 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1796280/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=54304 CPUtime=1421.91 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 12924 0 0 0 142172 19 0 0 25 0 1 0 274915787 55607296 12702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 13576 12702 170 317 0 13255 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 54304 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1795384/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=55220 CPUtime=1481.9 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 13155 0 0 0 148169 21 0 0 25 0 1 0 274915787 56545280 12900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 13805 12900 170 317 0 13484 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 55220 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1794488/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=56132 CPUtime=1541.88 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 13391 0 0 0 154167 21 0 0 25 0 1 0 274915787 57479168 13136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 14033 13136 170 317 0 13712 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 56132 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1793656/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=56920 CPUtime=1601.87 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 13601 0 0 0 160165 22 0 0 25 0 1 0 274915787 58286080 13346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 14230 13346 170 317 0 13909 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 56920 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16139 /proc/meminfo: memFree=1792824/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=57708 CPUtime=1661.85 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 13798 0 0 0 166163 22 0 0 25 0 1 0 274915787 59092992 13543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 14427 13543 170 317 0 14106 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 57708 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16141 /proc/meminfo: memFree=1791864/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=58880 CPUtime=1721.83 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 14064 0 0 0 172160 23 0 0 25 0 1 0 274915787 60293120 13776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 14720 13776 170 317 0 14399 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 58880 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16141 /proc/meminfo: memFree=1791032/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=59572 CPUtime=1781.81 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 14270 0 0 0 178158 23 0 0 25 0 1 0 274915787 61001728 13982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 14893 13982 170 317 0 14572 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 59572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.99 2/78 16141 /proc/meminfo: memFree=1790776/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=59828 CPUtime=1800.02 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 14325 0 0 0 179978 24 0 0 25 0 1 0 274915787 61263872 14037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 14957 14037 170 317 0 14636 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 59828 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.99 2/79 16142 /proc/meminfo: memFree=1790768/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=59828 CPUtime=1800.12 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 14325 0 0 0 179988 24 0 0 25 0 1 0 274915787 61263872 14037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 14957 14037 170 317 0 14636 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 59828 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/79 16142 /proc/meminfo: memFree=1790768/2055920 swapFree=4149732/4192956 [pid=16138] ppid=16136 vsize=59828 CPUtime=1800.22 /proc/16138/stat : 16138 (oree) R 16136 16138 32251 0 -1 4194304 14326 0 0 0 179998 24 0 0 25 0 1 0 274915787 61263872 14038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16138/statm: 14957 14038 170 317 0 14636 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 59828 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.29 CPU user time (s): 1800.04 CPU system time (s): 0.249962 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 59828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.249962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14342 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= 36450 runsolver used 1.53977 second user time and 4.22036 second system time The end
Begin job on node5 on Tue May 1 03:06:21 UTC 2007 IDJOB= 429797 IDBENCH= 47934 IDSOLVER= 172 FILE ID= node5/429797-1177988781 PBS_JOBID= 4728166 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=6-P0=59-P1=53-P2=11-P3=59-B.opb COMMAND LINE= oree /tmp/evaluation/429797-1177988781/instance-429797-1177988781.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-429797-1177988781 -o ROOT/results/node5/conversion-429797-1177988781 -C 600 -M 1800 /tmp/evaluation/429797-1177988781/substituteSizeProductKeyword /tmp/evaluation/429797-1177988781/instance-429797-1177988781.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-429797-1177988781 -o ROOT/results/node5/solver-429797-1177988781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429797-1177988781/instance-429797-1177988781.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= bc013f756978420202c73860888da520 RANDOM SEED= 850963959 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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: 1847640 kB Buffers: 49364 kB Cached: 85648 kB SwapCached: 11936 kB Active: 89848 kB Inactive: 73896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847640 kB SwapTotal: 4192956 kB SwapFree: 4149732 kB Dirty: 1500 kB Writeback: 0 kB Mapped: 33580 kB Slab: 30136 kB Committed_AS: 10016532 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= 66563 MiB End job on node5 on Tue May 1 03:36:24 UTC 2007