Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.27 | 1800.78 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_3.opb |
MD5SUM | a83973bc04af54d38c05a30d36c8573f |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -41 |
Best CPU time to get the best result obtained on this benchmark | 1800.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74920 |
Sum of products size (including duplicates) | 149840 |
Number of different products | 37460 |
Sum of products size | 74920 |
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.59/0.60 c ...done 0.59/0.60 c #vars=38460 #constraints=76423 hasObjective=yes 0.89/0.97 c res. mode=mod 0.89/0.97 c VSIDS like heuristics 0.89/0.97 c complete search running 2.39/2.43 c restart after 401 decisions 2.59/2.61 c nbDecision=500 #constraints=76575 3.59/3.67 c restart after 801 decisions 3.89/3.90 c nbDecision=1000 #constraints=76676 7.09/7.19 c nbDecision=1500 #constraints=77022 8.08/8.12 c restart after 1601 decisions 9.48/9.51 c nbDecision=2000 #constraints=77181 12.29/12.38 c nbDecision=2500 #constraints=77431 15.39/15.47 c nbDecision=3000 #constraints=77681 15.89/15.90 c restart after 3201 decisions 16.89/16.93 c nbDecision=3500 #constraints=77690 21.18/21.23 c nbDecision=4000 #constraints=78119 25.38/25.45 c nbDecision=4500 #constraints=78425 29.28/29.38 c nbDecision=5000 #constraints=78672 33.18/33.29 c nbDecision=5500 #constraints=78916 36.19/36.25 c nbDecision=6000 #constraints=78976 39.68/39.71 c restart after 6401 decisions 40.78/40.82 c nbDecision=6500 #constraints=79160 45.37/45.45 c nbDecision=7000 #constraints=79404 49.18/49.26 c nbDecision=7500 #constraints=79646 53.98/54.08 c nbDecision=8000 #constraints=80040 58.97/59.06 c nbDecision=8500 #constraints=80271 64.27/64.31 c nbDecision=9000 #constraints=80642 69.77/69.83 c nbDecision=9500 #constraints=80875 75.47/75.52 c nbDecision=10000 #constraints=81087 81.17/81.28 c nbDecision=10500 #constraints=81545 87.26/87.37 c nbDecision=11000 #constraints=81778 93.66/93.70 c nbDecision=11500 #constraints=82010 99.66/99.70 c nbDecision=12000 #constraints=82242 105.36/105.48 c nbDecision=12500 #constraints=82643 108.86/108.99 c restart after 12801 decisions 112.56/112.63 c nbDecision=13000 #constraints=82905 119.26/119.37 c nbDecision=13500 #constraints=83105 126.75/126.85 c nbDecision=14000 #constraints=83284 134.25/134.32 c nbDecision=14500 #constraints=83483 141.65/141.79 c nbDecision=15000 #constraints=83709 149.55/149.63 c nbDecision=15500 #constraints=83910 156.24/156.32 c nbDecision=16000 #constraints=84275 163.64/163.72 c nbDecision=16500 #constraints=84578 172.04/172.10 c nbDecision=17000 #constraints=84795 179.84/179.92 c nbDecision=17500 #constraints=85081 188.83/188.93 c nbDecision=18000 #constraints=85267 198.23/198.33 c nbDecision=18500 #constraints=85586 207.13/207.27 c nbDecision=19000 #constraints=85801 216.73/216.82 c nbDecision=19500 #constraints=86016 226.62/226.70 c nbDecision=20000 #constraints=86229 236.03/236.12 c nbDecision=20500 #constraints=86441 245.52/245.61 c nbDecision=21000 #constraints=86652 252.72/252.88 c nbDecision=21500 #constraints=86917 260.62/260.79 c nbDecision=22000 #constraints=87290 271.11/271.21 c nbDecision=22500 #constraints=87503 282.11/282.21 c nbDecision=23000 #constraints=87692 292.71/292.81 c nbDecision=23500 #constraints=87905 300.80/300.91 c nbDecision=24000 #constraints=88286 312.80/312.94 c nbDecision=24500 #constraints=88506 322.00/322.10 c nbDecision=25000 #constraints=88782 333.29/333.44 c nbDecision=25500 #constraints=89000 334.60/334.71 c restart after 25601 decisions 347.30/347.46 c nbDecision=26000 #constraints=89106 355.49/355.60 c nbDecision=26500 #constraints=89500 364.18/364.37 c nbDecision=27000 #constraints=89868 377.58/377.72 c nbDecision=27500 #constraints=90086 390.08/390.20 c nbDecision=28000 #constraints=90279 402.98/403.18 c nbDecision=28500 #constraints=90471 411.37/411.57 c nbDecision=29000 #constraints=90846 428.77/428.96 c nbDecision=29500 #constraints=90853 444.97/445.18 c nbDecision=30000 #constraints=91041 454.76/454.91 c nbDecision=30500 #constraints=91279 469.85/470.05 c nbDecision=31000 #constraints=91602 482.76/482.90 c nbDecision=31500 #constraints=91786 495.95/496.18 c nbDecision=32000 #constraints=91970 509.24/509.46 c nbDecision=32500 #constraints=92111 523.24/523.41 c nbDecision=33000 #constraints=92335 537.54/537.76 c nbDecision=33500 #constraints=92517 548.33/548.57 c nbDecision=34000 #constraints=92864 567.93/568.12 c nbDecision=34500 #constraints=93054 581.82/582.05 c nbDecision=35000 #constraints=93230 593.32/593.55 c nbDecision=35500 #constraints=93450 609.62/609.80 c nbDecision=36000 #constraints=93756 619.12/619.39 c nbDecision=36500 #constraints=94024 634.61/634.81 c nbDecision=37000 #constraints=94230 646.10/646.31 c nbDecision=37500 #constraints=94581 662.20/662.41 c nbDecision=38000 #constraints=94778 678.99/679.25 c nbDecision=38500 #constraints=94957 692.70/692.95 c nbDecision=39000 #constraints=95276 710.39/710.65 c nbDecision=39500 #constraints=95441 726.28/726.51 c nbDecision=40000 #constraints=95638 743.68/743.91 c nbDecision=40500 #constraints=95927 754.78/755.01 c nbDecision=41000 #constraints=96208 773.17/773.46 c nbDecision=41500 #constraints=96404 790.47/790.73 c nbDecision=42000 #constraints=96580 809.56/809.84 c nbDecision=42500 #constraints=96871 829.15/829.41 c nbDecision=43000 #constraints=97026 840.35/840.68 c nbDecision=43500 #constraints=97274 864.14/864.48 c nbDecision=44000 #constraints=97482 876.45/876.76 c nbDecision=44500 #constraints=97679 889.94/890.23 c nbDecision=45000 #constraints=98019 909.03/909.32 c nbDecision=45500 #constraints=98222 933.22/933.55 c nbDecision=46000 #constraints=98367 946.02/946.33 c nbDecision=46500 #constraints=98622 966.82/967.12 c nbDecision=47000 #constraints=98795 992.81/993.12 c nbDecision=47500 #constraints=98937 1004.20/1004.57 c nbDecision=48000 #constraints=99201 1026.20/1026.59 c nbDecision=48500 #constraints=99491 1039.20/1039.51 c nbDecision=49000 #constraints=99712 1060.58/1060.91 c nbDecision=49500 #constraints=99896 1079.79/1080.18 c nbDecision=50000 #constraints=100160 1100.68/1101.08 c nbDecision=50500 #constraints=100291 1121.17/1121.51 c nbDecision=51000 #constraints=100478 1127.27/1127.66 c restart after 51201 decisions 1142.37/1142.72 c nbDecision=51500 #constraints=100660 1164.35/1164.75 c nbDecision=52000 #constraints=100828 1185.76/1186.14 c nbDecision=52500 #constraints=101056 1209.55/1209.99 c nbDecision=53000 #constraints=101181 1229.84/1230.20 c nbDecision=53500 #constraints=101364 1253.24/1253.64 c nbDecision=54000 #constraints=101547 1275.43/1275.89 c nbDecision=54500 #constraints=101785 1292.03/1292.45 c nbDecision=55000 #constraints=102020 1309.62/1310.08 c nbDecision=55500 #constraints=102295 1334.51/1334.94 c nbDecision=56000 #constraints=102479 1350.31/1350.75 c nbDecision=56500 #constraints=102766 1370.21/1370.60 c nbDecision=57000 #constraints=103028 1400.29/1400.75 c nbDecision=57500 #constraints=103136 1422.99/1423.41 c nbDecision=58000 #constraints=103248 1441.48/1441.91 c nbDecision=58500 #constraints=103553 1464.87/1465.31 c nbDecision=59000 #constraints=103724 1491.87/1492.39 c nbDecision=59500 #constraints=103857 1509.86/1510.37 c nbDecision=60000 #constraints=104150 1541.05/1541.50 c nbDecision=60500 #constraints=104246 1565.35/1565.82 c nbDecision=61000 #constraints=104358 1596.24/1596.75 c nbDecision=61500 #constraints=104436 1627.13/1627.66 c nbDecision=62000 #constraints=104529 1650.52/1651.08 c nbDecision=62500 #constraints=104653 1677.72/1678.26 c nbDecision=63000 #constraints=104802 1698.11/1698.62 c nbDecision=63500 #constraints=105065 1729.71/1730.27 c nbDecision=64000 #constraints=105236 1754.89/1755.45 c nbDecision=64500 #constraints=105321 1781.69/1782.28 c nbDecision=65000 #constraints=105485 1800.09/1800.60 Received signal 15 1800.09/1800.64 1800.09/1800.64 s UNKNOWN 1800.09/1800.64 1800.09/1800.64 c user time= 1799.29 s 1800.09/1800.64 c system time= 0.842871 s 1800.09/1800.64 c wall clock time=1800.64
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb mv /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb.tmp /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-454880-1178033146 -o ROOT/results/node63/solver-454880-1178033146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454880-1178033146/instance-454880-1178033146.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.84 1.07 1.07 3/64 32145 /proc/meminfo: memFree=1870916/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=1468 CPUtime=0 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 279304580 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 367 166 131 317 0 46 0 [startup+0.00641406 s] /proc/loadavg: 0.84 1.07 1.07 3/64 32145 /proc/meminfo: memFree=1870916/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=1468 CPUtime=0 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 279304580 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 367 175 131 317 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1468 [startup+0.101422 s] /proc/loadavg: 0.84 1.07 1.07 3/64 32145 /proc/meminfo: memFree=1870916/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=3448 CPUtime=0.09 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 671 0 0 0 9 0 0 0 18 0 1 0 279304580 3530752 654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 862 654 131 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.301443 s] /proc/loadavg: 0.84 1.07 1.07 3/64 32145 /proc/meminfo: memFree=1870916/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=8792 CPUtime=0.29 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 1978 0 0 0 29 0 0 0 19 0 1 0 279304580 9003008 1961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 2198 1961 132 317 0 1877 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8792 [startup+0.701485 s] /proc/loadavg: 0.84 1.07 1.07 3/64 32145 /proc/meminfo: memFree=1870916/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=29788 CPUtime=0.69 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 7306 0 0 0 66 3 0 0 23 0 1 0 279304580 30502912 7191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 7447 7191 137 317 0 7126 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29788 [startup+1.50157 s] /proc/loadavg: 0.84 1.07 1.07 2/65 32146 /proc/meminfo: memFree=1840124/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=36228 CPUtime=1.49 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 8935 0 0 0 146 3 0 0 25 0 1 0 279304580 37097472 8297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 9057 8297 139 317 0 8736 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36228 [startup+3.10174 s] /proc/loadavg: 0.84 1.07 1.07 2/65 32146 /proc/meminfo: memFree=1837820/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=38912 CPUtime=3.09 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 9605 0 0 0 306 3 0 0 25 0 1 0 279304580 39845888 8967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 9728 8967 139 317 0 9407 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38912 [startup+6.30107 s] /proc/loadavg: 0.85 1.07 1.07 2/65 32146 /proc/meminfo: memFree=1831100/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=46432 CPUtime=6.29 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 11480 0 0 0 624 5 0 0 25 0 1 0 279304580 47546368 10842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 11608 10842 139 317 0 11287 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46432 [startup+12.7017 s] /proc/loadavg: 0.86 1.07 1.07 2/65 32146 /proc/meminfo: memFree=1816060/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=59324 CPUtime=12.69 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 14457 0 0 0 1263 6 0 0 25 0 1 0 279304580 60747776 13819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 14831 13819 139 317 0 14510 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59324 [startup+25.5011 s] /proc/loadavg: 0.89 1.06 1.07 2/65 32146 /proc/meminfo: memFree=1791932/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=85644 CPUtime=25.48 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 20409 0 0 0 2540 8 0 0 25 0 1 0 279304580 87699456 19771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 21411 19771 139 317 0 21090 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85644 [startup+51.1018 s] /proc/loadavg: 0.93 1.06 1.07 2/65 32146 /proc/meminfo: memFree=1765692/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=109908 CPUtime=51.08 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 27297 0 0 0 5097 11 0 0 25 0 1 0 279304580 112545792 26659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 27477 26659 139 317 0 27156 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 109908 [startup+102.305 s] /proc/loadavg: 0.97 1.05 1.06 2/65 32146 /proc/meminfo: memFree=1704444/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=172956 CPUtime=102.26 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 42274 0 0 0 10209 17 0 0 25 0 1 0 279304580 177106944 41636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 43239 41636 139 317 0 42918 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 172956 [startup+162.302 s] /proc/loadavg: 0.99 1.04 1.06 2/65 32146 /proc/meminfo: memFree=1664508/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=209040 CPUtime=162.25 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 52197 0 0 0 16202 23 0 0 25 0 1 0 279304580 214056960 51559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 52260 51559 139 317 0 51939 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 209040 [startup+222.302 s] /proc/loadavg: 0.99 1.03 1.05 2/65 32146 /proc/meminfo: memFree=1614588/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=272756 CPUtime=222.23 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 64629 0 0 0 22194 29 0 0 25 0 1 0 279304580 279302144 63991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 68189 63991 139 317 0 67868 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 272756 [startup+282.301 s] /proc/loadavg: 0.99 1.02 1.04 2/65 32146 /proc/meminfo: memFree=1586108/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=298800 CPUtime=282.21 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 71734 0 0 0 28188 33 0 0 25 0 1 0 279304580 305971200 71096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 74700 71096 139 317 0 74379 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 298800 [startup+342.301 s] /proc/loadavg: 0.99 1.01 1.04 2/65 32146 /proc/meminfo: memFree=1557820/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=323872 CPUtime=342.2 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 78792 0 0 0 34183 37 0 0 25 0 1 0 279304580 331644928 78154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 80968 78154 139 317 0 80647 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 323872 [startup+402.302 s] /proc/loadavg: 0.99 1.01 1.03 2/65 32146 /proc/meminfo: memFree=1530044/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=348372 CPUtime=402.18 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 85710 0 0 0 40177 41 0 0 25 0 1 0 279304580 356732928 85072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 87093 85072 139 317 0 86772 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 348372 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.03 2/65 32146 /proc/meminfo: memFree=1509116/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=367592 CPUtime=462.16 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 91087 0 0 0 46173 43 0 0 25 0 1 0 279304580 376414208 90449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 91898 90449 139 317 0 91577 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 367592 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.02 2/65 32146 /proc/meminfo: memFree=1495100/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=381272 CPUtime=522.14 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 94779 0 0 0 52169 45 0 0 25 0 1 0 279304580 390422528 94141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 95318 94141 139 317 0 94997 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 381272 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.02 2/65 32146 /proc/meminfo: memFree=1461756/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=461488 CPUtime=582.12 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 111594 0 0 0 58161 51 0 0 25 0 1 0 279304580 472563712 102079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 115372 102079 139 317 0 115051 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 461488 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.01 2/65 32146 /proc/meminfo: memFree=1435452/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=482936 CPUtime=642.11 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 118159 0 0 0 64157 54 0 0 25 0 1 0 279304580 494526464 108644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 120734 108644 139 317 0 120413 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 482936 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 32146 /proc/meminfo: memFree=1365244/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=543652 CPUtime=882.04 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 135745 0 0 0 88142 62 0 0 25 0 1 0 279304580 556699648 126230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 135913 126230 139 317 0 135592 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 543652 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 32146 /proc/meminfo: memFree=1351996/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=555160 CPUtime=942.02 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 138997 0 0 0 94138 64 0 0 25 0 1 0 279304580 568483840 129482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563407 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 138790 129482 139 317 0 138469 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 555160 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 32146 /proc/meminfo: memFree=1340348/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=565104 CPUtime=1002 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 141912 0 0 0 100134 66 0 0 25 0 1 0 279304580 578666496 132397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 141276 132397 139 317 0 140955 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 565104 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1322620/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=580108 CPUtime=1061.98 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 146459 0 0 0 106129 69 0 0 25 0 1 0 279304580 594030592 136944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 145027 136944 139 317 0 144706 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 580108 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1310268/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=590828 CPUtime=1121.98 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 149528 0 0 0 112127 71 0 0 25 0 1 0 279304580 605007872 140013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 147707 140013 139 317 0 147386 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 590828 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1298876/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=600100 CPUtime=1181.96 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 152259 0 0 0 118123 73 0 0 25 0 1 0 279304580 614502400 142744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 150025 142744 139 317 0 149704 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 600100 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1290684/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=606640 CPUtime=1241.94 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 154289 0 0 0 124120 74 0 0 25 0 1 0 279304580 621199360 144774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 151660 144774 139 317 0 151339 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 606640 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1272892/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=621272 CPUtime=1301.93 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 158732 0 0 0 130118 75 0 0 25 0 1 0 279304580 636182528 149217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 155318 149217 139 317 0 154997 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 621272 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1259452/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=633056 CPUtime=1361.9 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 162087 0 0 0 136114 76 0 0 25 0 1 0 279304580 648249344 152572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 158264 152572 139 317 0 157943 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 633056 [startup+1422.31 s] /proc/loadavg: 1.03 1.01 1.00 2/65 32148 /proc/meminfo: memFree=1253756/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=638692 CPUtime=1421.89 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 163515 0 0 0 142112 77 0 0 25 0 1 0 279304580 654020608 154000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 159673 154000 139 317 0 159352 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 638692 [startup+1482.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 32148 /proc/meminfo: memFree=1243068/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=647804 CPUtime=1481.87 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 166176 0 0 0 148109 78 0 0 25 0 1 0 279304580 663351296 156661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 161951 156661 139 317 0 161630 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 647804 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1232828/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=656524 CPUtime=1541.85 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 168728 0 0 0 154106 79 0 0 25 0 1 0 279304580 672280576 159213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 164131 159213 139 317 0 163810 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 656524 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1226300/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=661360 CPUtime=1601.83 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 170367 0 0 0 160103 80 0 0 25 0 1 0 279304580 677232640 160852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 165340 160852 139 317 0 165019 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 661360 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1223036/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=664700 CPUtime=1661.82 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 171174 0 0 0 166101 81 0 0 25 0 1 0 279304580 680652800 161659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 166175 161659 139 317 0 165854 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 664700 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1213116/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=673916 CPUtime=1721.81 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 173878 0 0 0 172098 83 0 0 25 0 1 0 279304580 690089984 164363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 168479 164363 139 317 0 168158 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 673916 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1206204/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=678204 CPUtime=1781.79 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 175369 0 0 0 178095 84 0 0 25 0 1 0 279304580 694480896 165854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 169551 165854 139 317 0 169230 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 678204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1204796/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=679676 CPUtime=1800.09 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 175723 0 0 0 179925 84 0 0 25 0 1 0 279304580 695988224 166208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 169919 166208 139 317 0 169598 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 679676 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32148 /proc/meminfo: memFree=1204796/2055920 swapFree=4182916/4192956 [pid=32145] ppid=32143 vsize=0 CPUtime=1800.19 /proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194308 175739 0 0 0 179931 88 0 0 25 0 1 0 279304580 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32145/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.27 CPU user time (s): 1799.31 CPU system time (s): 0.953854 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 679676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.31 system time used= 0.953854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 175739 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= 3627 runsolver used 1.44078 second user time and 3.49547 second system time The end
Begin job on node63 on Tue May 1 15:25:47 UTC 2007 IDJOB= 454880 IDBENCH= 48226 IDSOLVER= 172 FILE ID= node63/454880-1178033146 PBS_JOBID= 4728429 Free space on /tmp= 66562 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_3.opb COMMAND LINE= oree /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node63/convwatcher-454880-1178033146 -o ROOT/results/node63/conversion-454880-1178033146 -C 600 -M 1800 /tmp/evaluation/454880-1178033146/substituteSizeProductKeyword /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-454880-1178033146 -o ROOT/results/node63/solver-454880-1178033146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= a83973bc04af54d38c05a30d36c8573f RANDOM SEED= 940045220 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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: 1871388 kB Buffers: 52540 kB Cached: 61276 kB SwapCached: 3620 kB Active: 76556 kB Inactive: 46796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1871388 kB SwapTotal: 4192956 kB SwapFree: 4182916 kB Dirty: 2496 kB Writeback: 0 kB Mapped: 15272 kB Slab: 47220 kB Committed_AS: 4964348 kB PageTables: 1460 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= 66562 MiB End job on node63 on Tue May 1 15:55:49 UTC 2007