Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.66 | 1800.57 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-rout.opb |
MD5SUM | 00504f72d4d33ef46136a0269c782c15 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1075045120 |
Best CPU time to get the best result obtained on this benchmark | 1800.42 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1074976000 |
Optimality of the best value was proved | NO |
Number of variables | 7561 |
Total number of constraints | 306 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 14 |
Number of constraints which are nor clauses,nor cardinality constraints | 292 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 917 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 26904326400 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 81230087655 |
Number of bits of the biggest sum of numbers | 37 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.06/0.08 c ...done 0.06/0.08 c #vars=7561 #constraints=338 hasObjective=yes 0.06/0.09 c res. mode=mod 0.06/0.09 c VSIDS like heuristics 0.06/0.09 c complete search running 0.09/0.17 c restart after 401 decisions 0.09/0.18 c nbDecision=500 #constraints=347 0.19/0.24 c restart after 801 decisions 0.19/0.28 c nbDecision=1000 #constraints=368 0.29/0.37 c nbDecision=1500 #constraints=434 0.29/0.39 c restart after 1601 decisions 0.39/0.46 c nbDecision=2000 #constraints=460 0.49/0.56 c nbDecision=2500 #constraints=535 0.59/0.64 c nbDecision=3000 #constraints=559 0.59/0.68 c restart after 3201 decisions 0.69/0.73 c nbDecision=3500 #constraints=602 0.79/0.83 c nbDecision=4000 #constraints=646 0.89/0.93 c nbDecision=4500 #constraints=718 1.00/1.04 c nbDecision=5000 #constraints=775 1.10/1.15 c nbDecision=5500 #constraints=804 1.29/1.30 c nbDecision=6000 #constraints=865 1.29/1.39 c restart after 6401 decisions 1.39/1.42 c nbDecision=6500 #constraints=890 1.49/1.55 c nbDecision=7000 #constraints=912 1.59/1.68 c nbDecision=7500 #constraints=940 1.79/1.83 c nbDecision=8000 #constraints=958 1.89/1.94 c nbDecision=8500 #constraints=967 2.19/2.26 c nbDecision=9000 #constraints=1000 2.39/2.46 c nbDecision=9500 #constraints=1016 3.19/3.27 c nbDecision=10000 #constraints=1189 4.49/4.56 c nbDecision=10500 #constraints=1614 5.99/6.09 c nbDecision=11000 #constraints=1895 7.99/8.04 c nbDecision=11500 #constraints=2317 9.99/10.05 c nbDecision=12000 #constraints=2680 11.89/11.92 c nbDecision=12500 #constraints=2926 13.79/13.86 c restart after 12801 decisions 15.69/15.75 c nbDecision=13000 #constraints=3163 18.69/18.71 c nbDecision=13500 #constraints=3440 22.79/22.83 c nbDecision=14000 #constraints=3837 26.49/26.58 c nbDecision=14500 #constraints=4235 31.29/31.37 c nbDecision=15000 #constraints=4612 35.49/35.56 c nbDecision=15500 #constraints=4900 42.30/42.35 c nbDecision=16000 #constraints=5075 47.49/47.57 c nbDecision=16500 #constraints=5317 53.49/53.52 c nbDecision=17000 #constraints=5710 60.40/60.47 c nbDecision=17500 #constraints=6061 66.79/66.80 c nbDecision=18000 #constraints=6279 74.59/74.68 c nbDecision=18500 #constraints=6675 82.29/82.32 c nbDecision=19000 #constraints=7031 87.69/87.79 c nbDecision=19500 #constraints=7255 93.80/93.85 c nbDecision=20000 #constraints=7432 97.80/97.82 c nbDecision=20500 #constraints=7495 103.20/103.25 c nbDecision=21000 #constraints=7643 106.70/106.71 c nbDecision=21500 #constraints=7679 110.60/110.67 c nbDecision=22000 #constraints=7754 111.60/111.64 c nbDecision=22500 #constraints=7767 112.60/112.65 c nbDecision=23000 #constraints=7783 113.70/113.77 c nbDecision=23500 #constraints=7798 114.70/114.71 c nbDecision=24000 #constraints=7821 116.90/116.96 c nbDecision=24500 #constraints=7860 118.50/118.60 c nbDecision=25000 #constraints=7881 120.39/120.44 c nbDecision=25500 #constraints=7973 120.69/120.74 c restart after 25601 decisions 122.49/122.53 c nbDecision=26000 #constraints=8000 124.89/124.99 c nbDecision=26500 #constraints=8054 126.20/126.26 c nbDecision=27000 #constraints=8112 127.61/127.61 c nbDecision=27500 #constraints=8175 129.20/129.23 c nbDecision=28000 #constraints=8360 132.70/132.73 c nbDecision=28500 #constraints=8480 134.00/134.09 c nbDecision=29000 #constraints=8497 135.60/135.67 c nbDecision=29500 #constraints=8526 139.10/139.17 c nbDecision=30000 #constraints=8683 143.10/143.12 c nbDecision=30500 #constraints=8737 144.70/144.71 c nbDecision=31000 #constraints=8762 150.30/150.37 c nbDecision=31500 #constraints=8918 155.80/155.85 c nbDecision=32000 #constraints=9016 159.60/159.61 c nbDecision=32500 #constraints=9189 164.50/164.50 c nbDecision=33000 #constraints=9287 167.50/167.57 c nbDecision=33500 #constraints=9357 168.60/168.67 c nbDecision=34000 #constraints=9405 170.30/170.40 c nbDecision=34500 #constraints=9433 187.80/187.83 c nbDecision=35000 #constraints=9487 196.20/196.20 c nbDecision=35500 #constraints=9598 206.81/206.84 c nbDecision=36000 #constraints=9689 219.00/219.05 c nbDecision=36500 #constraints=9763 227.90/227.98 c nbDecision=37000 #constraints=9816 236.71/236.74 c nbDecision=37500 #constraints=9942 245.40/245.45 c nbDecision=38000 #constraints=10018 254.70/254.73 c nbDecision=38500 #constraints=10084 264.50/264.50 c nbDecision=39000 #constraints=10148 274.60/274.65 c nbDecision=39500 #constraints=10211 277.00/277.03 c nbDecision=40000 #constraints=10222 278.50/278.59 c nbDecision=40500 #constraints=10232 280.51/280.56 c nbDecision=41000 #constraints=10262 282.30/282.36 c nbDecision=41500 #constraints=10285 284.10/284.16 c nbDecision=42000 #constraints=10345 286.70/286.77 c nbDecision=42500 #constraints=10382 290.01/290.09 c nbDecision=43000 #constraints=10459 292.51/292.59 c nbDecision=43500 #constraints=10502 295.31/295.39 c nbDecision=44000 #constraints=10528 298.20/298.28 c nbDecision=44500 #constraints=10585 301.70/301.76 c nbDecision=45000 #constraints=10628 305.10/305.17 c nbDecision=45500 #constraints=10677 312.20/312.29 c nbDecision=46000 #constraints=10705 332.91/332.98 c nbDecision=46500 #constraints=10743 338.41/338.50 c nbDecision=47000 #constraints=10785 341.41/341.43 c nbDecision=47500 #constraints=10810 344.61/344.62 c nbDecision=48000 #constraints=10849 345.31/345.39 c nbDecision=48500 #constraints=10888 348.01/348.02 c nbDecision=49000 #constraints=10988 351.41/351.43 c nbDecision=49500 #constraints=11012 356.50/356.56 c nbDecision=50000 #constraints=11057 359.61/359.61 c nbDecision=50500 #constraints=11088 361.91/361.92 c nbDecision=51000 #constraints=11173 363.01/363.00 c restart after 51201 decisions 367.11/367.14 c nbDecision=51500 #constraints=11216 374.51/374.50 c nbDecision=52000 #constraints=11262 380.41/380.40 c nbDecision=52500 #constraints=11362 387.61/387.66 c nbDecision=53000 #constraints=11464 395.61/395.63 c nbDecision=53500 #constraints=11551 404.11/404.11 c nbDecision=54000 #constraints=11657 410.11/410.19 c nbDecision=54500 #constraints=11723 418.51/418.51 c nbDecision=55000 #constraints=11795 426.91/426.97 c nbDecision=55500 #constraints=11842 432.01/432.05 c nbDecision=56000 #constraints=11986 438.41/438.45 c nbDecision=56500 #constraints=12057 442.82/442.85 c nbDecision=57000 #constraints=12086 452.92/452.97 c nbDecision=57500 #constraints=12158 459.41/459.48 c nbDecision=58000 #constraints=12190 471.71/471.70 c nbDecision=58500 #constraints=12241 480.72/480.77 c nbDecision=59000 #constraints=12300 489.91/489.97 c nbDecision=59500 #constraints=12338 495.02/495.08 c nbDecision=60000 #constraints=12374 497.32/497.37 c nbDecision=60500 #constraints=12413 501.82/501.81 c nbDecision=61000 #constraints=12461 511.12/511.11 c nbDecision=61500 #constraints=12504 513.92/513.94 c nbDecision=62000 #constraints=12533 520.52/520.54 c nbDecision=62500 #constraints=12569 556.82/556.85 c nbDecision=63000 #constraints=12790 567.52/567.52 c nbDecision=63500 #constraints=12884 572.52/572.52 c nbDecision=64000 #constraints=12955 581.72/581.77 c nbDecision=64500 #constraints=13029 587.02/587.04 c nbDecision=65000 #constraints=13137 594.22/594.29 c nbDecision=65500 #constraints=13174 603.62/603.63 c nbDecision=66000 #constraints=13267 609.52/609.59 c nbDecision=66500 #constraints=13303 619.62/619.67 c nbDecision=67000 #constraints=13354 626.93/626.91 c nbDecision=67500 #constraints=13387 636.32/636.36 c nbDecision=68000 #constraints=13476 640.33/640.34 c nbDecision=68500 #constraints=13570 648.32/648.31 c nbDecision=69000 #constraints=13604 655.12/655.12 c nbDecision=69500 #constraints=13634 661.93/661.92 c nbDecision=70000 #constraints=13666 668.33/668.39 c nbDecision=70500 #constraints=13708 677.13/677.19 c nbDecision=71000 #constraints=13754 681.12/681.16 c nbDecision=71500 #constraints=13841 684.13/684.17 c nbDecision=72000 #constraints=13935 686.63/686.64 c nbDecision=72500 #constraints=14016 691.13/691.17 c nbDecision=73000 #constraints=14046 705.72/705.71 c nbDecision=73500 #constraints=14129 728.03/728.09 c nbDecision=74000 #constraints=14221 759.33/759.35 c nbDecision=74500 #constraints=14341 798.74/798.80 c nbDecision=75000 #constraints=14500 826.93/826.97 c nbDecision=75500 #constraints=14603 829.94/829.96 c nbDecision=76000 #constraints=14643 833.44/833.44 c nbDecision=76500 #constraints=14667 836.84/836.84 c nbDecision=77000 #constraints=14709 840.24/840.21 c nbDecision=77500 #constraints=14817 843.74/843.74 c nbDecision=78000 #constraints=14893 848.74/848.73 c nbDecision=78500 #constraints=14981 871.33/871.30 c nbDecision=79000 #constraints=15090 894.03/894.03 c nbDecision=79500 #constraints=15252 963.84/963.83 c nbDecision=80000 #constraints=15518 992.24/992.24 c nbDecision=80500 #constraints=15686 1006.45/1006.44 c nbDecision=81000 #constraints=15816 1020.14/1020.15 c nbDecision=81500 #constraints=16025 1064.25/1064.25 c nbDecision=82000 #constraints=16184 1087.25/1087.22 c nbDecision=82500 #constraints=16288 1131.55/1131.51 c nbDecision=83000 #constraints=16428 1152.46/1152.43 c nbDecision=83500 #constraints=16617 1168.75/1168.78 c nbDecision=84000 #constraints=16898 1228.95/1228.98 c nbDecision=84500 #constraints=17126 1279.06/1279.08 c nbDecision=85000 #constraints=17398 1326.86/1326.80 c nbDecision=85500 #constraints=17557 1363.06/1363.06 c nbDecision=86000 #constraints=17750 1430.27/1430.21 c nbDecision=86500 #constraints=18029 1526.88/1526.81 c nbDecision=87000 #constraints=18309 1552.27/1552.24 c nbDecision=87500 #constraints=18363 1584.78/1584.77 c nbDecision=88000 #constraints=18446 1621.98/1621.91 c nbDecision=88500 #constraints=18534 1638.38/1638.32 c nbDecision=89000 #constraints=18582 1662.38/1662.36 c nbDecision=89500 #constraints=18634 1688.08/1688.03 c nbDecision=90000 #constraints=18705 1720.98/1720.97 c nbDecision=90500 #constraints=18780 1756.19/1756.16 c nbDecision=91000 #constraints=18877 1787.79/1787.74 c nbDecision=91500 #constraints=18969 1800.10/1800.00 Received signal 15 1800.49/1800.48 1800.49/1800.48 s UNKNOWN 1800.49/1800.48 1800.49/1800.48 c user time= 1799.89 s 1800.49/1800.48 c system time= 0.684895 s 1800.49/1800.48 c wall clock time=1800.48
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-357392-1176996618 -o ROOT/results/node16/solver-357392-1176996618 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357392-1176996618/instance-357392-1176996618.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13853 /proc/meminfo: memFree=1754928/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=1468 CPUtime=0 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147579421 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 367 161 131 317 0 46 0 [startup+0.065082 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13853 /proc/meminfo: memFree=1754928/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=2548 CPUtime=0.06 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 435 0 0 0 6 0 0 0 18 0 1 0 147579421 2609152 417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 637 417 131 317 0 316 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2548 [startup+0.101074 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13853 /proc/meminfo: memFree=1754928/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=3796 CPUtime=0.09 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 751 0 0 0 9 0 0 0 18 0 1 0 147579421 3887104 733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 949 733 138 317 0 628 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3796 [startup+0.301033 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13853 /proc/meminfo: memFree=1754928/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=3796 CPUtime=0.29 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 757 0 0 0 29 0 0 0 19 0 1 0 147579421 3887104 739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 949 739 139 317 0 628 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3796 [startup+0.701949 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13853 /proc/meminfo: memFree=1754928/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=3928 CPUtime=0.69 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 814 0 0 0 69 0 0 0 22 0 1 0 147579421 4022272 796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 982 796 139 317 0 661 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3928 [startup+1.50178 s] /proc/loadavg: 0.92 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1752040/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=4984 CPUtime=1.49 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 1058 0 0 0 149 0 0 0 25 0 1 0 147579421 5103616 1040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 1246 1040 139 317 0 925 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4984 [startup+3.10145 s] /proc/loadavg: 0.92 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1750576/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=8288 CPUtime=3.09 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 1862 0 0 0 309 0 0 0 25 0 1 0 147579421 8486912 1844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 2072 1844 170 317 0 1751 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8288 [startup+6.30178 s] /proc/loadavg: 0.93 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1740784/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=18672 CPUtime=6.29 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 4361 0 0 0 627 2 0 0 25 0 1 0 147579421 19120128 4343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 4668 4343 170 317 0 4347 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18672 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1723760/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=35404 CPUtime=12.69 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 8260 0 0 0 1265 4 0 0 25 0 1 0 147579421 36253696 8242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 8851 8242 170 317 0 8530 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35404 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1701808/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=58056 CPUtime=25.49 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 13460 0 0 0 2542 7 0 0 25 0 1 0 147579421 59449344 13442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 14514 13442 170 317 0 14193 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58056 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1674480/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=89308 CPUtime=51.09 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 20329 0 0 0 5099 10 0 0 25 0 1 0 147579421 91451392 20311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 22327 20311 170 317 0 22006 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 89308 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1639088/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=123880 CPUtime=102.3 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 29018 0 0 0 10214 16 0 0 25 0 1 0 147579421 126853120 29000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272594 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 30970 29000 170 317 0 30649 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 123880 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1622000/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=141444 CPUtime=162.3 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 33374 0 0 0 16212 18 0 0 25 0 1 0 147579421 144838656 33299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 35361 33299 170 317 0 35040 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 141444 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1615728/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=147756 CPUtime=222.3 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 34881 0 0 0 22211 19 0 0 25 0 1 0 147579421 151302144 34806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 36939 34806 170 317 0 36618 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 147756 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13856 /proc/meminfo: memFree=1606064/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=158004 CPUtime=282.3 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 37301 0 0 0 28209 21 0 0 25 0 1 0 147579421 161796096 37226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 39501 37226 170 317 0 39180 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 158004 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13856 /proc/meminfo: memFree=1597424/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=169128 CPUtime=342.31 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 39442 0 0 0 34208 23 0 0 25 0 1 0 147579421 173187072 39367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 42282 39367 170 317 0 41961 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 169128 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13856 /proc/meminfo: memFree=1572656/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=200544 CPUtime=402.31 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 45682 0 0 0 40205 26 0 0 25 0 1 0 147579421 205357056 45607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278940 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 50136 45607 170 317 0 49815 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 200544 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13856 /proc/meminfo: memFree=1558000/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=215444 CPUtime=462.31 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 49278 0 0 0 46203 28 0 0 25 0 1 0 147579421 220614656 49203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 53861 49203 170 317 0 53540 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 215444 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13856 /proc/meminfo: memFree=1550256/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=223872 CPUtime=522.32 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 51238 0 0 0 52203 29 0 0 25 0 1 0 147579421 229244928 51163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 55968 51163 170 317 0 55647 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 223872 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13856 /proc/meminfo: memFree=1536176/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=239256 CPUtime=582.32 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 54802 0 0 0 58201 31 0 0 25 0 1 0 147579421 244998144 54727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 59814 54727 170 317 0 59493 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 239256 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13856 /proc/meminfo: memFree=1512240/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=264968 CPUtime=642.33 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 60682 0 0 0 64200 33 0 0 25 0 1 0 147579421 271327232 60607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 66242 60607 170 317 0 65921 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 264968 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.06 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1442288/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=341060 CPUtime=1002.34 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 78182 0 0 0 100189 45 0 0 25 0 1 0 147579421 349245440 78107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 85265 78107 170 317 0 84944 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 341060 [startup+1062.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1433584/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=350516 CPUtime=1062.35 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 80338 0 0 0 106189 46 0 0 25 0 1 0 147579421 358928384 80263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 87629 80263 170 317 0 87308 0 Current children cumulated CPU time (s) 1062.35 Current children cumulated vsize (KiB) 350516 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1426224/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=358472 CPUtime=1122.35 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 82147 0 0 0 112188 47 0 0 25 0 1 0 147579421 367075328 82071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 89618 82071 170 317 0 89297 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 358472 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1405808/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=381256 CPUtime=1182.36 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 87376 0 0 0 118186 50 0 0 25 0 1 0 147579421 390406144 87187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 95314 87187 170 317 0 94993 0 Current children cumulated CPU time (s) 1182.36 Current children cumulated vsize (KiB) 381256 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1392048/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=396064 CPUtime=1242.36 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 90833 0 0 0 124184 52 0 0 25 0 1 0 147579421 405569536 90644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 99016 90644 170 317 0 98695 0 Current children cumulated CPU time (s) 1242.36 Current children cumulated vsize (KiB) 396064 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1370352/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=418924 CPUtime=1302.37 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 96192 0 0 0 130182 55 0 0 25 0 1 0 147579421 428978176 96003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 104731 96003 170 317 0 104410 0 Current children cumulated CPU time (s) 1302.37 Current children cumulated vsize (KiB) 418924 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1353136/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=437312 CPUtime=1362.37 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 100514 0 0 0 136180 57 0 0 25 0 1 0 147579421 447807488 100322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 109328 100322 170 317 0 109007 0 Current children cumulated CPU time (s) 1362.37 Current children cumulated vsize (KiB) 437312 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1339312/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=452820 CPUtime=1422.37 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 103948 0 0 0 142178 59 0 0 25 0 1 0 147579421 463687680 103756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 113205 103756 170 317 0 112884 0 Current children cumulated CPU time (s) 1422.37 Current children cumulated vsize (KiB) 452820 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1325872/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=468760 CPUtime=1482.38 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 107328 0 0 0 148177 61 0 0 25 0 1 0 147579421 480010240 107136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 117190 107136 170 317 0 116869 0 Current children cumulated CPU time (s) 1482.38 Current children cumulated vsize (KiB) 468760 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1318256/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=476964 CPUtime=1542.37 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 109222 0 0 0 154175 62 0 0 25 0 1 0 147579421 488411136 109030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 119241 109030 170 317 0 118920 0 Current children cumulated CPU time (s) 1542.37 Current children cumulated vsize (KiB) 476964 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1310768/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=484712 CPUtime=1602.37 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 111112 0 0 0 160174 63 0 0 25 0 1 0 147579421 496345088 110920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 121178 110920 170 317 0 120857 0 Current children cumulated CPU time (s) 1602.37 Current children cumulated vsize (KiB) 484712 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 1.00 2/78 13856 /proc/meminfo: memFree=1302512/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=494008 CPUtime=1662.38 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 113152 0 0 0 166173 65 0 0 25 0 1 0 147579421 505864192 112960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 123502 112960 170 317 0 123181 0 Current children cumulated CPU time (s) 1662.38 Current children cumulated vsize (KiB) 494008 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 13856 /proc/meminfo: memFree=1292464/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=506416 CPUtime=1722.38 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 115689 0 0 0 172172 66 0 0 25 0 1 0 147579421 518569984 115497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 126604 115497 170 317 0 126283 0 Current children cumulated CPU time (s) 1722.38 Current children cumulated vsize (KiB) 506416 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1280560/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=521260 CPUtime=1782.39 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 118628 0 0 0 178171 68 0 0 25 0 1 0 147579421 533770240 118436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 130315 118436 170 317 0 129994 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (KiB) 521260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1278896/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=523236 CPUtime=1800.1 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 119022 0 0 0 179942 68 0 0 25 0 1 0 147579421 535793664 118830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 130809 118830 170 317 0 130488 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 523236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1278896/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=523428 CPUtime=1800.29 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 119064 0 0 0 179961 68 0 0 25 0 1 0 147579421 535990272 118872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 130857 118872 170 317 0 130536 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 523428 [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1278896/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=523364 CPUtime=1800.49 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194304 119064 0 0 0 179981 68 0 0 25 0 1 0 147579421 535924736 118872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 130841 118872 170 317 0 130520 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (KiB) 523364 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13856 /proc/meminfo: memFree=1278896/2055920 swapFree=4148596/4192956 [pid=13853] ppid=13851 vsize=0 CPUtime=1800.58 /proc/13853/stat : 13853 (oree) R 13851 13853 13555 0 -1 4194308 119081 0 0 0 179989 69 0 0 25 0 1 0 147579421 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13853/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.66 CPU user time (s): 1799.9 CPU system time (s): 0.762884 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 523428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.762884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119081 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= 1198 runsolver used 1.9897 second user time and 4.5833 second system time The end
Begin job on node16 on Thu Apr 19 15:30:18 UTC 2007 IDJOB= 357392 IDBENCH= 2513 IDSOLVER= 172 FILE ID= node16/357392-1176996618 PBS_JOBID= 4630473 Free space on /tmp= 66360 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb COMMAND LINE= oree /tmp/evaluation/357392-1176996618/instance-357392-1176996618.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-357392-1176996618 -o ROOT/results/node16/solver-357392-1176996618 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357392-1176996618/instance-357392-1176996618.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 00504f72d4d33ef46136a0269c782c15 RANDOM SEED= 804497335 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: 1755400 kB Buffers: 38068 kB Cached: 177992 kB SwapCached: 12080 kB Active: 111684 kB Inactive: 127500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1755400 kB SwapTotal: 4192956 kB SwapFree: 4148596 kB Dirty: 1584 kB Writeback: 0 kB Mapped: 30160 kB Slab: 46868 kB Committed_AS: 6500296 kB PageTables: 1836 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= 66360 MiB End job on node16 on Thu Apr 19 16:00:20 UTC 2007