Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.68 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
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 | 12 |
Minimum length of a constraint | 64 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1270 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4321 |
Number of bits of the biggest sum of numbers | 13 |
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.00/0.00 c ...done 0.00/0.00 c #vars=146 #constraints=13 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.19/0.28 c restart after 401 decisions 0.19/0.28 c nbDecision=500 #constraints=295 0.59/0.64 c restart after 801 decisions 0.69/0.76 c nbDecision=1000 #constraints=655 1.69/1.78 c nbDecision=1500 #constraints=1155 1.99/2.06 c restart after 1601 decisions 2.98/3.05 c nbDecision=2000 #constraints=1539 5.40/5.45 c nbDecision=2500 #constraints=2040 8.49/8.52 c nbDecision=3000 #constraints=2538 10.19/10.20 c restart after 3201 decisions 11.89/11.96 c nbDecision=3500 #constraints=2921 17.99/18.07 c nbDecision=4000 #constraints=3420 25.19/25.24 c nbDecision=4500 #constraints=3918 33.78/33.87 c nbDecision=5000 #constraints=4419 42.48/42.55 c nbDecision=5500 #constraints=4919 52.98/53.08 c nbDecision=6000 #constraints=5419 63.37/63.47 c restart after 6401 decisions 63.68/63.78 c nbDecision=6500 #constraints=5822 77.68/77.71 c nbDecision=7000 #constraints=6301 92.37/92.42 c nbDecision=7500 #constraints=6801 107.46/107.54 c nbDecision=8000 #constraints=7301 124.06/124.20 c nbDecision=8500 #constraints=7802 140.26/140.37 c nbDecision=9000 #constraints=8302 160.55/160.68 c nbDecision=9500 #constraints=8800 182.84/182.90 c nbDecision=10000 #constraints=9300 202.84/202.96 c nbDecision=10500 #constraints=9802 227.23/227.32 c nbDecision=11000 #constraints=10300 250.43/250.56 c nbDecision=11500 #constraints=10801 272.42/272.54 c nbDecision=12000 #constraints=11303 303.21/303.34 c nbDecision=12500 #constraints=11801 320.01/320.16 c restart after 12801 decisions 326.51/326.63 c nbDecision=13000 #constraints=12180 356.00/356.14 c nbDecision=13500 #constraints=12680 388.68/388.88 c nbDecision=14000 #constraints=13180 418.58/418.72 c nbDecision=14500 #constraints=13681 445.97/446.15 c nbDecision=15000 #constraints=14181 476.57/476.77 c nbDecision=15500 #constraints=14681 513.06/513.27 c nbDecision=16000 #constraints=15180 544.85/545.04 c nbDecision=16500 #constraints=15682 579.64/579.87 c nbDecision=17000 #constraints=16181 613.33/613.57 c nbDecision=17500 #constraints=16683 644.63/644.85 c nbDecision=18000 #constraints=17183 686.61/686.84 c nbDecision=18500 #constraints=17680 732.00/732.25 c nbDecision=19000 #constraints=18180 772.19/772.49 c nbDecision=19500 #constraints=18680 816.57/816.83 c nbDecision=20000 #constraints=19179 863.07/863.31 c nbDecision=20500 #constraints=19679 907.95/908.22 c nbDecision=21000 #constraints=20180 959.95/960.23 c nbDecision=21500 #constraints=20679 1009.63/1009.97 c nbDecision=22000 #constraints=21179 1058.32/1058.61 c nbDecision=22500 #constraints=21679 1113.20/1113.54 c nbDecision=23000 #constraints=22179 1161.79/1162.14 c nbDecision=23500 #constraints=22679 1212.21/1212.68 c nbDecision=24000 #constraints=23180 1262.18/1262.65 c nbDecision=24500 #constraints=23680 1311.87/1312.37 c nbDecision=25000 #constraints=24180 1366.76/1367.26 c nbDecision=25500 #constraints=24679 1379.06/1379.50 c restart after 25601 decisions 1414.65/1415.19 c nbDecision=26000 #constraints=25059 1477.12/1477.67 c nbDecision=26500 #constraints=25560 1537.81/1538.35 c nbDecision=27000 #constraints=26060 1594.40/1594.96 c nbDecision=27500 #constraints=26561 1651.38/1651.97 c nbDecision=28000 #constraints=27060 1718.37/1718.95 c nbDecision=28500 #constraints=27561 1782.35/1782.98 c nbDecision=29000 #constraints=28061 1800.05/1800.60 Received signal 15 1800.05/1800.65 1800.05/1800.65 s UNKNOWN 1800.05/1800.65 1800.05/1800.65 c user time= 1799.74 s 1800.05/1800.65 c system time= 0.369943 s 1800.05/1800.65 c wall clock time=1800.65
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-357471-1177000892 -o ROOT/results/node27/solver-357471-1177000892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357471-1177000892/instance-357471-1177000892.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.78 0.95 0.98 2/65 26574 /proc/meminfo: memFree=1431568/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=1468 CPUtime=0 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 112785162 1503232 173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 367 173 139 317 0 46 0 [startup+0.00905098 s] /proc/loadavg: 0.78 0.95 0.98 2/65 26574 /proc/meminfo: memFree=1431568/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=1468 CPUtime=0 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 112785162 1503232 184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 400 185 139 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1468 [startup+0.10106 s] /proc/loadavg: 0.78 0.95 0.98 2/65 26574 /proc/meminfo: memFree=1431568/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=1992 CPUtime=0.09 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 315 0 0 0 9 0 0 0 18 0 1 0 112785162 2039808 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 498 297 139 317 0 177 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1992 [startup+0.30108 s] /proc/loadavg: 0.78 0.95 0.98 2/65 26574 /proc/meminfo: memFree=1431568/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=2784 CPUtime=0.29 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 531 0 0 0 29 0 0 0 19 0 1 0 112785162 2850816 513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 696 513 139 317 0 375 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2784 [startup+0.701121 s] /proc/loadavg: 0.78 0.95 0.98 2/65 26574 /proc/meminfo: memFree=1431568/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=4232 CPUtime=0.69 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 864 0 0 0 69 0 0 0 23 0 1 0 112785162 4333568 846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 1058 846 139 317 0 737 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4232 [startup+1.5012 s] /proc/loadavg: 0.78 0.95 0.98 2/66 26575 /proc/meminfo: memFree=1427976/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=6236 CPUtime=1.49 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 1383 0 0 0 149 0 0 0 25 0 1 0 112785162 6385664 1365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 1559 1365 170 317 0 1238 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6236 [startup+3.10136 s] /proc/loadavg: 0.80 0.95 0.98 2/66 26575 /proc/meminfo: memFree=1425736/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=8208 CPUtime=3.08 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 1899 0 0 0 308 0 0 0 25 0 1 0 112785162 8404992 1881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272549 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 2052 1881 170 317 0 1731 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8208 [startup+6.30169 s] /proc/loadavg: 0.80 0.95 0.98 2/66 26575 /proc/meminfo: memFree=1422664/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=11084 CPUtime=6.29 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 2564 0 0 0 628 1 0 0 25 0 1 0 112785162 11350016 2546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 2771 2546 170 317 0 2450 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11084 [startup+12.7013 s] /proc/loadavg: 0.83 0.95 0.98 2/66 26575 /proc/meminfo: memFree=1418632/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=14396 CPUtime=12.68 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 3395 0 0 0 1267 1 0 0 25 0 1 0 112785162 14741504 3377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 3599 3377 170 317 0 3278 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14396 [startup+25.5016 s] /proc/loadavg: 0.85 0.95 0.98 2/66 26575 /proc/meminfo: memFree=1414536/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=18376 CPUtime=25.49 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 4379 0 0 0 2546 3 0 0 25 0 1 0 112785162 18817024 4361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 4594 4361 170 317 0 4273 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18376 [startup+51.1012 s] /proc/loadavg: 0.90 0.96 0.98 2/66 26575 /proc/meminfo: memFree=1408200/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=25328 CPUtime=51.08 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 5973 0 0 0 5103 5 0 0 25 0 1 0 112785162 25935872 5955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 6332 5955 170 317 0 6011 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 25328 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/66 26575 /proc/meminfo: memFree=1400904/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=32364 CPUtime=102.27 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 7771 0 0 0 10221 6 0 0 25 0 1 0 112785162 33140736 7753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 8091 7753 170 317 0 7770 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 32364 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1393480/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=41112 CPUtime=162.25 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 9700 0 0 0 16217 8 0 0 25 0 1 0 112785162 42098688 9625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712571 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 10278 9625 170 317 0 9957 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 41112 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1387912/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=46324 CPUtime=222.23 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 11061 0 0 0 22214 9 0 0 25 0 1 0 112785162 47435776 10986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 11581 10986 170 317 0 11260 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 46324 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1382344/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=52064 CPUtime=282.22 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 12450 0 0 0 28211 11 0 0 25 0 1 0 112785162 53313536 12375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 13016 12375 170 317 0 12695 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 52064 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1377936/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=56820 CPUtime=342.21 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 13542 0 0 0 34209 12 0 0 25 0 1 0 112785162 58183680 13467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 14205 13467 170 317 0 13884 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 56820 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1373904/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=60880 CPUtime=402.19 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 14540 0 0 0 40206 13 0 0 25 0 1 0 112785162 62341120 14465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 15220 14465 170 317 0 14899 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 60880 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1369552/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=64948 CPUtime=462.17 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 15622 0 0 0 46203 14 0 0 25 0 1 0 112785162 66506752 15547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 16237 15547 170 317 0 15916 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 64948 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1366224/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=68352 CPUtime=522.16 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 16499 0 0 0 52200 16 0 0 25 0 1 0 112785162 69992448 16424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563898 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 17088 16424 170 317 0 16767 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 68352 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1362448/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=71656 CPUtime=582.14 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 17425 0 0 0 58197 17 0 0 25 0 1 0 112785162 73375744 17350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 17914 17350 170 317 0 17593 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 71656 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1357776/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=79160 CPUtime=642.12 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 19024 0 0 0 64194 18 0 0 25 0 1 0 112785162 81059840 18506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 19790 18506 170 317 0 19469 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 79160 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1348688/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=88760 CPUtime=822.08 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 21329 0 0 0 82187 21 0 0 25 0 1 0 112785162 90890240 20778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 22190 20778 170 317 0 21869 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 88760 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1345872/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=91908 CPUtime=882.06 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 22101 0 0 0 88185 21 0 0 25 0 1 0 112785162 94113792 21484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 22977 21484 170 317 0 22656 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 91908 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1343312/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=94260 CPUtime=942.05 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 22754 0 0 0 94183 22 0 0 25 0 1 0 112785162 96522240 22104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 23565 22104 170 317 0 23244 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 94260 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1340880/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=96472 CPUtime=1002.03 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 23360 0 0 0 100180 23 0 0 25 0 1 0 112785162 98787328 22710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 24118 22710 170 317 0 23797 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 96472 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1338192/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=99976 CPUtime=1062.02 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 24209 0 0 0 106178 24 0 0 25 0 1 0 112785162 102375424 23361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 24994 23361 170 317 0 24673 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 99976 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26575 /proc/meminfo: memFree=1335760/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=102336 CPUtime=1122 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 24821 0 0 0 112176 24 0 0 25 0 1 0 112785162 104792064 23973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 25584 23973 170 317 0 25263 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 102336 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/72 26657 /proc/meminfo: memFree=1332064/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=104556 CPUtime=1181.96 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 25462 0 0 0 118168 28 0 0 25 0 1 0 112785162 107065344 24614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 26139 24614 170 317 0 25818 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 104556 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1330640/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=107060 CPUtime=1241.89 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 26111 0 0 0 124159 30 0 0 25 0 1 0 112785162 109629440 25230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 26765 25230 170 317 0 26444 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 107060 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1327952/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=109552 CPUtime=1301.88 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 26829 0 0 0 130157 31 0 0 25 0 1 0 112785162 112181248 25882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 27388 25882 170 317 0 27067 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 109552 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1325584/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=111656 CPUtime=1361.86 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 27403 0 0 0 136155 31 0 0 25 0 1 0 112785162 114335744 26456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 27914 26456 170 317 0 27593 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 111656 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1323728/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=113748 CPUtime=1421.85 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 28003 0 0 0 142153 32 0 0 25 0 1 0 112785162 116477952 26957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 28437 26957 170 317 0 28116 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 113748 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1321808/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=116524 CPUtime=1481.83 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 28661 0 0 0 148150 33 0 0 25 0 1 0 112785162 119320576 27450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 29131 27450 170 317 0 28810 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 116524 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1319760/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=118364 CPUtime=1541.81 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 29183 0 0 0 154148 33 0 0 25 0 1 0 112785162 121204736 27972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 29591 27972 170 317 0 29270 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 118364 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1317648/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=120584 CPUtime=1601.8 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 29783 0 0 0 160145 35 0 0 25 0 1 0 112785162 123478016 28506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 30146 28506 170 317 0 29825 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 120584 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1315408/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=122400 CPUtime=1661.78 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 30322 0 0 0 166143 35 0 0 25 0 1 0 112785162 125337600 29045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 30600 29045 170 317 0 30279 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 122400 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1313616/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=123968 CPUtime=1721.77 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 30767 0 0 0 172141 36 0 0 25 0 1 0 112785162 126943232 29457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 30992 29457 170 317 0 30671 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 123968 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1311824/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=125928 CPUtime=1781.75 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 31274 0 0 0 178139 36 0 0 25 0 1 0 112785162 128950272 29931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 31482 29931 170 317 0 31161 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 125928 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/66 26773 /proc/meminfo: memFree=1311184/2055920 swapFree=4179984/4192956 [pid=26574] ppid=26572 vsize=126448 CPUtime=1800.05 /proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 31435 0 0 0 179969 36 0 0 25 0 1 0 112785162 129482752 30092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26574/statm: 31612 30092 170 317 0 31291 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 126448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.13 CPU user time (s): 1799.74 CPU system time (s): 0.39094 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 126448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.39094 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31451 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= 2740 runsolver used 1.2838 second user time and 3.76643 second system time The end
Begin job on node27 on Thu Apr 19 16:41:33 UTC 2007 IDJOB= 357471 IDBENCH= 2910 IDSOLVER= 172 FILE ID= node27/357471-1177000892 PBS_JOBID= 4630501 Free space on /tmp= 66376 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= oree /tmp/evaluation/357471-1177000892/instance-357471-1177000892.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-357471-1177000892 -o ROOT/results/node27/solver-357471-1177000892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357471-1177000892/instance-357471-1177000892.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED= 111564874 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1432040 kB Buffers: 35844 kB Cached: 512136 kB SwapCached: 6696 kB Active: 54892 kB Inactive: 505260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1432040 kB SwapTotal: 4192956 kB SwapFree: 4179984 kB Dirty: 1468 kB Writeback: 0 kB Mapped: 15224 kB Slab: 49780 kB Committed_AS: 1691808 kB PageTables: 1412 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= 66376 MiB End job on node27 on Thu Apr 19 17:11:35 UTC 2007