Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.78 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-standgub.opb |
MD5SUM | d9d4457b33bb6978c15b3abc72f33e33 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 33244 |
Total number of constraints | 456 |
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 | 456 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22350 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 53687091200 |
Number of bits for the biggest coefficient in the objective function | 36 |
Sum of the numbers in the objective function | 326417514192 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 77387257610240 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 2427818341201528 |
Number of bits of the biggest sum of numbers | 52 |
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.29/0.38 c ...done 0.29/0.38 c #vars=33244 #constraints=618 hasObjective=yes 0.38/0.45 c res. mode=mod 0.38/0.45 c VSIDS like heuristics 0.38/0.45 c complete search running 1.00/1.01 c restart after 401 decisions 1.10/1.13 c nbDecision=500 #constraints=958 1.39/1.48 c restart after 801 decisions 1.69/1.74 c nbDecision=1000 #constraints=1324 2.39/2.49 c nbDecision=1500 #constraints=1751 2.59/2.66 c restart after 1601 decisions 3.20/3.22 c nbDecision=2000 #constraints=2077 4.09/4.13 c nbDecision=2500 #constraints=2518 5.08/5.17 c nbDecision=3000 #constraints=2941 5.59/5.62 c restart after 3201 decisions 5.99/6.10 c nbDecision=3500 #constraints=3262 7.19/7.20 c nbDecision=4000 #constraints=3642 8.49/8.55 c nbDecision=4500 #constraints=4045 9.98/10.08 c nbDecision=5000 #constraints=4435 11.78/11.81 c nbDecision=5500 #constraints=4809 13.79/13.86 c nbDecision=6000 #constraints=5199 15.58/15.64 c restart after 6401 decisions 15.88/15.94 c nbDecision=6500 #constraints=5572 17.89/17.97 c nbDecision=7000 #constraints=5981 20.29/20.39 c nbDecision=7500 #constraints=6382 23.09/23.17 c nbDecision=8000 #constraints=6780 25.99/26.04 c nbDecision=8500 #constraints=7149 29.08/29.17 c nbDecision=9000 #constraints=7519 32.68/32.72 c nbDecision=9500 #constraints=7917 36.19/36.29 c nbDecision=10000 #constraints=8326 39.98/40.07 c nbDecision=10500 #constraints=8728 44.18/44.25 c nbDecision=11000 #constraints=9126 48.77/48.82 c nbDecision=11500 #constraints=9502 53.38/53.48 c nbDecision=12000 #constraints=9921 58.37/58.46 c nbDecision=12500 #constraints=10314 61.37/61.41 c restart after 12801 decisions 62.17/62.24 c nbDecision=13000 #constraints=10655 67.37/67.50 c nbDecision=13500 #constraints=11051 72.97/73.01 c nbDecision=14000 #constraints=11451 78.37/78.45 c nbDecision=14500 #constraints=11814 84.77/84.84 c nbDecision=15000 #constraints=12224 91.36/91.48 c nbDecision=15500 #constraints=12587 97.67/97.72 c nbDecision=16000 #constraints=12976 103.86/103.99 c nbDecision=16500 #constraints=13374 111.26/111.38 c nbDecision=17000 #constraints=13762 118.36/118.45 c nbDecision=17500 #constraints=14124 126.36/126.44 c nbDecision=18000 #constraints=14517 134.35/134.48 c nbDecision=18500 #constraints=14885 142.26/142.31 c nbDecision=19000 #constraints=15284 150.15/150.26 c nbDecision=19500 #constraints=15680 158.05/158.19 c nbDecision=20000 #constraints=16070 167.34/167.44 c nbDecision=20500 #constraints=16441 177.05/177.17 c nbDecision=21000 #constraints=16820 186.04/186.16 c nbDecision=21500 #constraints=17231 195.84/195.97 c nbDecision=22000 #constraints=17602 206.23/206.37 c nbDecision=22500 #constraints=17989 216.33/216.42 c nbDecision=23000 #constraints=18411 226.71/226.82 c nbDecision=23500 #constraints=18808 237.39/237.52 c nbDecision=24000 #constraints=19187 249.25/249.44 c nbDecision=24500 #constraints=19577 261.25/261.41 c nbDecision=25000 #constraints=19983 273.23/273.42 c nbDecision=25500 #constraints=20372 275.63/275.89 c restart after 25601 decisions 283.02/283.25 c nbDecision=26000 #constraints=20690 295.43/295.64 c nbDecision=26500 #constraints=21063 308.32/308.54 c nbDecision=27000 #constraints=21438 322.02/322.26 c nbDecision=27500 #constraints=21834 335.11/335.32 c nbDecision=28000 #constraints=22210 347.90/348.18 c nbDecision=28500 #constraints=22598 361.20/361.46 c nbDecision=29000 #constraints=22980 374.80/375.05 c nbDecision=29500 #constraints=23340 389.50/389.70 c nbDecision=30000 #constraints=23720 403.59/403.89 c nbDecision=30500 #constraints=24115 417.70/418.00 c nbDecision=31000 #constraints=24472 431.79/432.05 c nbDecision=31500 #constraints=24836 449.48/449.77 c nbDecision=32000 #constraints=25241 466.07/466.33 c nbDecision=32500 #constraints=25627 482.27/482.56 c nbDecision=33000 #constraints=26001 500.56/500.85 c nbDecision=33500 #constraints=26378 518.46/518.77 c nbDecision=34000 #constraints=26779 536.46/536.70 c nbDecision=34500 #constraints=27169 554.15/554.42 c nbDecision=35000 #constraints=27546 572.85/573.14 c nbDecision=35500 #constraints=27936 591.04/591.30 c nbDecision=36000 #constraints=28316 610.53/610.83 c nbDecision=36500 #constraints=28708 630.33/630.60 c nbDecision=37000 #constraints=29106 649.93/650.28 c nbDecision=37500 #constraints=29491 670.52/670.81 c nbDecision=38000 #constraints=29869 690.32/690.64 c nbDecision=38500 #constraints=30246 710.21/710.59 c nbDecision=39000 #constraints=30607 731.31/731.65 c nbDecision=39500 #constraints=30965 753.40/753.70 c nbDecision=40000 #constraints=31359 777.39/777.72 c nbDecision=40500 #constraints=31742 801.29/801.62 c nbDecision=41000 #constraints=32135 823.68/824.05 c nbDecision=41500 #constraints=32510 846.68/847.08 c nbDecision=42000 #constraints=32892 869.67/870.09 c nbDecision=42500 #constraints=33245 891.96/892.32 c nbDecision=43000 #constraints=33628 914.36/914.76 c nbDecision=43500 #constraints=33988 937.15/937.58 c nbDecision=44000 #constraints=34366 962.15/962.58 c nbDecision=44500 #constraints=34749 986.34/986.78 c nbDecision=45000 #constraints=35111 1010.63/1011.03 c nbDecision=45500 #constraints=35478 1037.52/1037.96 c nbDecision=46000 #constraints=35855 1062.22/1062.69 c nbDecision=46500 #constraints=36218 1089.20/1089.63 c nbDecision=47000 #constraints=36604 1118.40/1118.82 c nbDecision=47500 #constraints=36991 1144.79/1145.24 c nbDecision=48000 #constraints=37376 1171.48/1171.90 c nbDecision=48500 #constraints=37739 1198.58/1199.02 c nbDecision=49000 #constraints=38091 1229.28/1229.72 c nbDecision=49500 #constraints=38476 1257.46/1257.91 c nbDecision=50000 #constraints=38819 1284.36/1284.86 c nbDecision=50500 #constraints=39220 1307.95/1308.45 c nbDecision=51000 #constraints=39613 1318.65/1319.14 c restart after 51201 decisions 1327.95/1328.40 c nbDecision=51500 #constraints=39969 1354.14/1354.60 c nbDecision=52000 #constraints=40365 1381.33/1381.83 c nbDecision=52500 #constraints=40736 1409.82/1410.38 c nbDecision=53000 #constraints=41127 1435.81/1436.36 c nbDecision=53500 #constraints=41496 1464.90/1465.48 c nbDecision=54000 #constraints=41886 1494.00/1494.56 c nbDecision=54500 #constraints=42264 1524.69/1525.24 c nbDecision=55000 #constraints=42654 1553.68/1554.20 c nbDecision=55500 #constraints=43010 1585.07/1585.60 c nbDecision=56000 #constraints=43377 1616.16/1616.72 c nbDecision=56500 #constraints=43746 1647.66/1648.29 c nbDecision=57000 #constraints=44103 1682.05/1682.62 c nbDecision=57500 #constraints=44483 1712.64/1713.29 c nbDecision=58000 #constraints=44834 1746.53/1747.15 c nbDecision=58500 #constraints=45229 1779.62/1780.20 c nbDecision=59000 #constraints=45601 1800.03/1800.60 Received signal 15 1800.13/1800.71 1800.13/1800.71 s UNKNOWN 1800.13/1800.71 1800.13/1800.71 c user time= 1799.7 s 1800.13/1800.71 c system time= 0.441932 s 1800.13/1800.71 c wall clock time=1800.72
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-357326-1176994643 -o ROOT/results/node62/solver-357326-1176994643 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357326-1176994643/instance-357326-1176994643.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.99 0.97 0.91 3/64 21194 /proc/meminfo: memFree=1686056/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=1468 CPUtime=0 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 18040321 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 367 160 131 317 0 46 0 [startup+0.0880339 s] /proc/loadavg: 0.99 0.97 0.91 3/64 21194 /proc/meminfo: memFree=1686056/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=3008 CPUtime=0.08 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 561 0 0 0 8 0 0 0 18 0 1 0 18040321 3080192 543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 752 543 131 317 0 431 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3008 [startup+0.101035 s] /proc/loadavg: 0.99 0.97 0.91 3/64 21194 /proc/meminfo: memFree=1686056/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=3272 CPUtime=0.09 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 624 0 0 0 9 0 0 0 18 0 1 0 18040321 3350528 606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 818 606 131 317 0 497 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3272 [startup+0.301058 s] /proc/loadavg: 0.99 0.97 0.91 3/64 21194 /proc/meminfo: memFree=1686056/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=6564 CPUtime=0.29 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 1565 0 0 0 29 0 0 0 19 0 1 0 18040321 6721536 1351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827878 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 1641 1351 131 317 0 1320 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6564 [startup+0.701104 s] /proc/loadavg: 0.99 0.97 0.91 3/64 21194 /proc/meminfo: memFree=1686056/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=12136 CPUtime=0.68 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 2924 0 0 0 68 0 0 0 22 0 1 0 18040321 12427264 2710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 3034 2710 139 317 0 2713 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12136 [startup+1.5012 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21195 /proc/meminfo: memFree=1675488/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=12844 CPUtime=1.49 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 3096 0 0 0 148 1 0 0 25 0 1 0 18040321 13152256 2882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 3211 2882 139 317 0 2890 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12844 [startup+3.10139 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21195 /proc/meminfo: memFree=1674336/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=14932 CPUtime=3.09 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 3629 0 0 0 308 1 0 0 25 0 1 0 18040321 15290368 3415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 3733 3415 139 317 0 3412 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14932 [startup+6.30276 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21195 /proc/meminfo: memFree=1668256/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=20228 CPUtime=6.29 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 4952 0 0 0 627 2 0 0 25 0 1 0 18040321 20713472 4738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 5057 4738 139 317 0 4736 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20228 [startup+12.7015 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21195 /proc/meminfo: memFree=1659680/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=28996 CPUtime=12.69 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 7146 0 0 0 1266 3 0 0 25 0 1 0 18040321 29691904 6932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 7249 6932 170 317 0 6928 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28996 [startup+25.502 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21195 /proc/meminfo: memFree=1648480/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=39532 CPUtime=25.48 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 9719 0 0 0 2544 4 0 0 25 0 1 0 18040321 40480768 9505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 9883 9505 170 317 0 9562 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39532 [startup+51.102 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21195 /proc/meminfo: memFree=1631776/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=56288 CPUtime=51.08 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 13984 0 0 0 5101 7 0 0 25 0 1 0 18040321 57638912 13713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 14072 13713 170 317 0 13751 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 56288 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21195 /proc/meminfo: memFree=1609888/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=80028 CPUtime=102.27 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 19385 0 0 0 10217 10 0 0 25 0 1 0 18040321 81948672 19114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 20007 19114 170 317 0 19686 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 80028 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21195 /proc/meminfo: memFree=1593824/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=95248 CPUtime=162.24 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 23426 0 0 0 16212 12 0 0 25 0 1 0 18040321 97533952 23155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 23812 23155 170 317 0 23491 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 95248 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/71 21261 /proc/meminfo: memFree=1577520/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=112048 CPUtime=222.21 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 27689 0 0 0 22206 15 0 0 25 0 1 0 18040321 114737152 26842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 28012 26842 170 317 0 27691 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 112048 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1562008/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=132952 CPUtime=282.12 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 31862 0 0 0 28194 18 0 0 25 0 1 0 18040321 136142848 30982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 33238 30982 170 317 0 32917 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 132952 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1551200/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=143084 CPUtime=342.1 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 34552 0 0 0 34191 19 0 0 25 0 1 0 18040321 146518016 33672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 35771 33672 170 317 0 35450 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 143084 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1541472/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=152156 CPUtime=402.09 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 37029 0 0 0 40188 21 0 0 25 0 1 0 18040321 155807744 36116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 38039 36116 170 317 0 37718 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 152156 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1532128/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=160576 CPUtime=462.07 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 39374 0 0 0 46185 22 0 0 25 0 1 0 18040321 164429824 38428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 40144 38428 170 317 0 39823 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 160576 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1524384/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=167432 CPUtime=522.06 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 41327 0 0 0 52182 24 0 0 25 0 1 0 18040321 171450368 40381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 41858 40381 170 317 0 41537 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 167432 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1516640/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=174456 CPUtime=582.05 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 43256 0 0 0 58180 25 0 0 25 0 1 0 18040321 178642944 42310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 43614 42310 170 317 0 43293 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 174456 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1509664/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=180924 CPUtime=642.03 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 44978 0 0 0 64177 26 0 0 25 0 1 0 18040321 185266176 44032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 45231 44032 170 317 0 44910 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 180924 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1481440/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=207568 CPUtime=881.96 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 52298 0 0 0 88166 30 0 0 25 0 1 0 18040321 212549632 51060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 51892 51060 170 317 0 51571 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 207568 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1464544/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=235200 CPUtime=941.94 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 56510 0 0 0 94162 32 0 0 25 0 1 0 18040321 240844800 55272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 58800 55272 170 317 0 58479 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 235200 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1458272/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=248072 CPUtime=1001.93 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 59446 0 0 0 100159 34 0 0 25 0 1 0 18040321 254025728 56843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 62018 56843 170 317 0 61697 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 248072 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1451808/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=254000 CPUtime=1061.91 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 61142 0 0 0 106157 34 0 0 25 0 1 0 18040321 260096000 58474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 63500 58474 170 317 0 63179 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 254000 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1445536/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=260460 CPUtime=1121.9 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 62690 0 0 0 112155 35 0 0 25 0 1 0 18040321 266711040 60022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 65115 60022 170 317 0 64794 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 260460 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1439008/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=266256 CPUtime=1181.89 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 64314 0 0 0 118152 37 0 0 25 0 1 0 18040321 272646144 61646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 66564 61646 170 317 0 66243 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 266256 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1432416/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=271976 CPUtime=1241.87 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 65965 0 0 0 124149 38 0 0 25 0 1 0 18040321 278503424 63297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 67994 63297 170 317 0 67673 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 271976 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1426528/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=277656 CPUtime=1301.86 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 67411 0 0 0 130147 39 0 0 25 0 1 0 18040321 284319744 64743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 69414 64743 170 317 0 69093 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 277656 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1421600/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=281804 CPUtime=1361.83 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 68660 0 0 0 136144 39 0 0 25 0 1 0 18040321 288567296 65992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 70451 65992 170 317 0 70130 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 281804 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1416544/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=286784 CPUtime=1421.82 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 69964 0 0 0 142142 40 0 0 25 0 1 0 18040321 293666816 67231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 71696 67231 170 317 0 71375 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 286784 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1411808/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=291284 CPUtime=1481.8 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 71164 0 0 0 148139 41 0 0 25 0 1 0 18040321 298274816 68431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 72821 68431 170 317 0 72500 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 291284 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1405920/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=296180 CPUtime=1541.79 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 72616 0 0 0 154137 42 0 0 25 0 1 0 18040321 303288320 69883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 74045 69883 170 317 0 73724 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 296180 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1401696/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=300452 CPUtime=1601.76 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 73690 0 0 0 160134 42 0 0 25 0 1 0 18040321 307662848 70957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 75113 70957 170 317 0 74792 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 300452 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1396448/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=304680 CPUtime=1661.76 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 74972 0 0 0 166133 43 0 0 25 0 1 0 18040321 311992320 72239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 76170 72239 170 317 0 75849 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 304680 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1391264/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=309736 CPUtime=1721.74 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 76259 0 0 0 172131 43 0 0 25 0 1 0 18040321 317169664 73526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 77434 73526 170 317 0 77113 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 309736 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1386464/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=313716 CPUtime=1781.73 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 77453 0 0 0 178129 44 0 0 25 0 1 0 18040321 321245184 74720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 78429 74720 170 317 0 78108 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 313716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1385056/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=314896 CPUtime=1800.03 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 77805 0 0 0 179959 44 0 0 25 0 1 0 18040321 322453504 75072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 78724 75072 170 317 0 78403 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 314896 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: 0.99 0.97 0.91 2/65 21393 /proc/meminfo: memFree=1385056/2055920 swapFree=4184556/4192956 [pid=21194] ppid=21192 vsize=315028 CPUtime=1800.13 /proc/21194/stat : 21194 (oree) R 21192 21194 20721 0 -1 4194304 77810 0 0 0 179969 44 0 0 25 0 1 0 18040321 322588672 75077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21194/statm: 78757 75077 170 317 0 78436 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 315028 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.2 CPU user time (s): 1799.71 CPU system time (s): 0.491925 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (KiB): 315028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.491925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77826 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= 3053 runsolver used 1.25981 second user time and 3.72643 second system time The end
Begin job on node62 on Thu Apr 19 14:57:23 UTC 2007 IDJOB= 357326 IDBENCH= 2413 IDSOLVER= 172 FILE ID= node62/357326-1176994643 PBS_JOBID= 4630437 Free space on /tmp= 66496 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.opb COMMAND LINE= oree /tmp/evaluation/357326-1176994643/instance-357326-1176994643.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-357326-1176994643 -o ROOT/results/node62/solver-357326-1176994643 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357326-1176994643/instance-357326-1176994643.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d9d4457b33bb6978c15b3abc72f33e33 RANDOM SEED= 62484895 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.216 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.216 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: 1686528 kB Buffers: 5612 kB Cached: 293480 kB SwapCached: 2148 kB Active: 27752 kB Inactive: 281548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1686528 kB SwapTotal: 4192956 kB SwapFree: 4184556 kB Dirty: 2540 kB Writeback: 0 kB Mapped: 16652 kB Slab: 46196 kB Committed_AS: 173556 kB PageTables: 1464 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= 66496 MiB End job on node62 on Thu Apr 19 15:27:26 UTC 2007