Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.22 | 1802.93 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb |
MD5SUM | 9b75ee50c2c62e6be495e8bd0a94fa2c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -139 |
Best CPU time to get the best result obtained on this benchmark | 1800.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -131 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12540 |
Sum of products size (including duplicates) | 25080 |
Number of different products | 6270 |
Sum of products size | 12540 |
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.09/0.11 c ...done 0.09/0.11 c #vars=7270 #constraints=14043 hasObjective=yes 0.09/0.17 c res. mode=mod 0.09/0.17 c VSIDS like heuristics 0.09/0.17 c complete search running 0.69/0.71 c restart after 401 decisions 0.69/0.75 c nbDecision=500 #constraints=14195 1.10/1.14 c restart after 801 decisions 1.10/1.19 c nbDecision=1000 #constraints=14295 1.99/2.06 c nbDecision=1500 #constraints=14500 2.29/2.32 c restart after 1601 decisions 2.49/2.52 c nbDecision=2000 #constraints=14549 3.79/3.81 c nbDecision=2500 #constraints=14800 5.19/5.20 c nbDecision=3000 #constraints=15051 5.29/5.33 c restart after 3201 decisions 5.69/5.70 c nbDecision=3500 #constraints=15052 7.19/7.20 c nbDecision=4000 #constraints=15301 8.39/8.44 c nbDecision=4500 #constraints=15480 9.69/9.74 c nbDecision=5000 #constraints=15551 11.59/11.61 c nbDecision=5500 #constraints=15798 13.68/13.73 c nbDecision=6000 #constraints=16045 14.88/14.96 c restart after 6401 decisions 15.49/15.56 c nbDecision=6500 #constraints=16070 17.39/17.50 c nbDecision=7000 #constraints=16291 19.89/19.91 c nbDecision=7500 #constraints=16535 22.38/22.48 c nbDecision=8000 #constraints=16778 25.18/25.28 c nbDecision=8500 #constraints=17043 28.18/28.25 c nbDecision=9000 #constraints=17311 31.18/31.21 c nbDecision=9500 #constraints=17640 34.57/34.61 c nbDecision=10000 #constraints=17893 38.08/38.17 c nbDecision=10500 #constraints=18145 41.97/42.00 c nbDecision=11000 #constraints=18451 44.78/44.80 c nbDecision=11500 #constraints=18870 48.77/48.87 c nbDecision=12000 #constraints=19143 55.47/55.54 c nbDecision=12500 #constraints=19295 58.77/58.86 c restart after 12801 decisions 60.57/60.63 c nbDecision=13000 #constraints=19296 65.07/65.14 c nbDecision=13500 #constraints=19549 69.27/69.36 c nbDecision=14000 #constraints=19852 74.07/74.18 c nbDecision=14500 #constraints=20125 78.67/78.76 c nbDecision=15000 #constraints=20442 83.57/83.63 c nbDecision=15500 #constraints=20742 88.56/88.66 c nbDecision=16000 #constraints=21036 95.76/95.86 c nbDecision=16500 #constraints=21291 104.36/104.42 c nbDecision=17000 #constraints=21353 110.06/110.18 c nbDecision=17500 #constraints=21597 116.85/116.97 c nbDecision=18000 #constraints=21783 124.94/125.05 c nbDecision=18500 #constraints=22027 131.95/132.08 c nbDecision=19000 #constraints=22200 138.74/138.89 c nbDecision=19500 #constraints=22350 147.74/147.81 c nbDecision=20000 #constraints=22515 154.44/154.51 c nbDecision=20500 #constraints=22756 163.83/164.00 c nbDecision=21000 #constraints=22873 168.93/169.00 c nbDecision=21500 #constraints=23196 175.23/175.33 c nbDecision=22000 #constraints=23593 182.42/182.58 c nbDecision=22500 #constraints=23831 189.73/189.89 c nbDecision=23000 #constraints=24067 200.72/200.86 c nbDecision=23500 #constraints=24282 208.42/208.56 c nbDecision=24000 #constraints=24518 215.92/216.01 c nbDecision=24500 #constraints=24753 224.81/224.90 c nbDecision=25000 #constraints=24987 233.71/233.85 c nbDecision=25500 #constraints=25167 236.91/237.05 c restart after 25601 decisions 246.21/246.31 c nbDecision=26000 #constraints=25222 256.90/257.07 c nbDecision=26500 #constraints=25455 267.90/268.03 c nbDecision=27000 #constraints=25687 276.00/276.14 c nbDecision=27500 #constraints=25917 285.19/285.38 c nbDecision=28000 #constraints=26127 299.19/299.35 c nbDecision=28500 #constraints=26148 310.68/310.81 c nbDecision=29000 #constraints=26377 320.09/320.22 c nbDecision=29500 #constraints=26604 332.87/333.09 c nbDecision=30000 #constraints=26831 343.38/343.57 c nbDecision=30500 #constraints=26929 357.67/357.88 c nbDecision=31000 #constraints=27058 368.06/368.21 c nbDecision=31500 #constraints=27282 378.36/378.56 c nbDecision=32000 #constraints=27490 391.66/391.87 c nbDecision=32500 #constraints=27611 404.85/405.06 c nbDecision=33000 #constraints=27746 414.45/414.60 c nbDecision=33500 #constraints=28019 421.85/422.03 c nbDecision=34000 #constraints=28390 431.64/431.80 c nbDecision=34500 #constraints=28662 441.64/441.82 c nbDecision=35000 #constraints=28936 452.04/452.27 c nbDecision=35500 #constraints=29202 464.63/464.83 c nbDecision=36000 #constraints=29430 475.62/475.86 c nbDecision=36500 #constraints=29683 486.82/487.02 c nbDecision=37000 #constraints=29919 497.91/498.16 c nbDecision=37500 #constraints=30182 509.11/509.34 c nbDecision=38000 #constraints=30535 521.31/521.53 c nbDecision=38500 #constraints=30745 527.00/527.24 c nbDecision=39000 #constraints=31153 542.90/543.17 c nbDecision=39500 #constraints=31369 553.00/553.22 c nbDecision=40000 #constraints=31610 565.10/565.30 c nbDecision=40500 #constraints=31876 577.09/577.32 c nbDecision=41000 #constraints=32150 592.19/592.48 c nbDecision=41500 #constraints=32389 605.48/605.74 c nbDecision=42000 #constraints=32590 618.47/618.77 c nbDecision=42500 #constraints=32835 629.97/630.24 c nbDecision=43000 #constraints=33141 643.86/644.14 c nbDecision=43500 #constraints=33384 655.77/656.03 c nbDecision=44000 #constraints=33712 675.76/676.06 c nbDecision=44500 #constraints=33862 697.45/697.78 c nbDecision=45000 #constraints=33947 705.64/705.91 c nbDecision=45500 #constraints=34279 719.24/719.51 c nbDecision=46000 #constraints=34554 732.54/732.89 c nbDecision=46500 #constraints=34836 742.63/742.99 c nbDecision=47000 #constraints=35216 757.23/757.58 c nbDecision=47500 #constraints=35480 771.82/772.20 c nbDecision=48000 #constraints=35751 794.41/794.74 c nbDecision=48500 #constraints=35985 817.90/818.25 c nbDecision=49000 #constraints=36000 833.70/834.04 c nbDecision=49500 #constraints=36241 849.00/849.31 c nbDecision=50000 #constraints=36447 863.69/864.01 c nbDecision=50500 #constraints=36726 879.29/879.68 c nbDecision=51000 #constraints=36986 890.08/890.44 c restart after 51201 decisions 902.57/902.93 c nbDecision=51500 #constraints=37066 918.57/918.98 c nbDecision=52000 #constraints=37322 937.07/937.41 c nbDecision=52500 #constraints=37585 954.05/954.44 c nbDecision=53000 #constraints=37773 969.85/970.28 c nbDecision=53500 #constraints=38039 989.84/990.21 c nbDecision=54000 #constraints=38330 1007.64/1008.05 c nbDecision=54500 #constraints=38513 1025.94/1026.38 c nbDecision=55000 #constraints=38695 1041.03/1041.44 c nbDecision=55500 #constraints=38987 1059.12/1059.55 c nbDecision=56000 #constraints=39235 1073.12/1073.56 c nbDecision=56500 #constraints=39595 1101.91/1102.32 c nbDecision=57000 #constraints=39636 1121.30/1121.73 c nbDecision=57500 #constraints=39929 1149.69/1150.11 c nbDecision=58000 #constraints=39985 1165.28/1165.78 c nbDecision=58500 #constraints=40294 1182.48/1182.92 c nbDecision=59000 #constraints=40574 1197.38/1197.84 c nbDecision=59500 #constraints=40910 1223.16/1223.69 c nbDecision=60000 #constraints=41097 1252.85/1253.38 c nbDecision=60500 #constraints=41205 1272.65/1273.19 c nbDecision=61000 #constraints=41355 1289.44/1289.98 c nbDecision=61500 #constraints=41654 1309.24/1309.71 c nbDecision=62000 #constraints=41920 1327.23/1327.73 c nbDecision=62500 #constraints=42190 1344.52/1345.05 c nbDecision=63000 #constraints=42597 1359.11/1359.61 c nbDecision=63500 #constraints=42845 1374.67/1375.22 c nbDecision=64000 #constraints=43182 1391.14/1391.79 c nbDecision=64500 #constraints=43507 1410.81/1411.43 c nbDecision=65000 #constraints=43776 1427.61/1428.26 c nbDecision=65500 #constraints=44099 1449.70/1450.37 c nbDecision=66000 #constraints=44331 1468.19/1468.80 c nbDecision=66500 #constraints=44630 1488.79/1489.44 c nbDecision=67000 #constraints=44894 1511.38/1512.09 c nbDecision=67500 #constraints=45159 1534.07/1534.73 c nbDecision=68000 #constraints=45366 1550.67/1551.30 c nbDecision=68500 #constraints=45704 1572.26/1572.92 c nbDecision=69000 #constraints=45966 1600.14/1600.84 c nbDecision=69500 #constraints=46176 1622.84/1623.53 c nbDecision=70000 #constraints=46376 1644.03/1644.76 c nbDecision=70500 #constraints=46648 1666.43/1667.18 c nbDecision=71000 #constraints=46906 1688.82/1689.56 c nbDecision=71500 #constraints=47168 1717.11/1717.88 c nbDecision=72000 #constraints=47423 1741.81/1742.59 c nbDecision=72500 #constraints=47596 1758.69/1759.41 c nbDecision=73000 #constraints=47921 1791.68/1792.45 c nbDecision=73500 #constraints=48106 1800.09/1800.80 Received signal 15
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb mv /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb.tmp /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-455510-1178044708 -o ROOT/results/node25/solver-455510-1178044708 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455510-1178044708/instance-455510-1178044708.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: 1.00 1.00 1.00 2/64 27265 /proc/meminfo: memFree=1845336/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=1468 CPUtime=0 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 252387912 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134527395 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 367 165 131 317 0 46 0 [startup+0.100208 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27265 /proc/meminfo: memFree=1845336/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=4288 CPUtime=0.09 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 884 0 0 0 9 0 0 0 18 0 1 0 252387912 4390912 867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 1072 867 132 317 0 751 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4288 [startup+0.201225 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27265 /proc/meminfo: memFree=1845336/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=6968 CPUtime=0.19 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 1542 0 0 0 19 0 0 0 18 0 1 0 252387912 7135232 1525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 1742 1525 138 317 0 1421 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6968 [startup+0.301241 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27265 /proc/meminfo: memFree=1845336/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=7884 CPUtime=0.29 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 1782 0 0 0 29 0 0 0 19 0 1 0 252387912 8073216 1669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 1971 1669 139 317 0 1650 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7884 [startup+0.701309 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27265 /proc/meminfo: memFree=1845336/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=10696 CPUtime=0.69 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 2508 0 0 0 69 0 0 0 23 0 1 0 252387912 10952704 2395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 2674 2395 139 317 0 2353 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10696 [startup+1.50145 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27266 /proc/meminfo: memFree=1833552/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=14564 CPUtime=1.49 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 3477 0 0 0 148 1 0 0 25 0 1 0 252387912 14913536 3364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 3641 3364 139 317 0 3320 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14564 [startup+3.10272 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27266 /proc/meminfo: memFree=1829200/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=22512 CPUtime=3.09 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 5449 0 0 0 308 1 0 0 25 0 1 0 252387912 23052288 5336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 5628 5336 139 317 0 5307 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22512 [startup+6.30127 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27266 /proc/meminfo: memFree=1817808/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=35272 CPUtime=6.29 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 8453 0 0 0 626 3 0 0 25 0 1 0 252387912 36118528 8340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 8818 8340 139 317 0 8497 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35272 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27266 /proc/meminfo: memFree=1800464/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=48264 CPUtime=12.69 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 11890 0 0 0 1266 3 0 0 25 0 1 0 252387912 49422336 11777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 12066 11777 139 317 0 11745 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48264 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27266 /proc/meminfo: memFree=1771536/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=77416 CPUtime=25.48 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 18880 0 0 0 2543 5 0 0 25 0 1 0 252387912 79273984 18767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 19354 18767 139 317 0 19033 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77416 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27266 /proc/meminfo: memFree=1720080/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=131936 CPUtime=51.07 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 31554 0 0 0 5096 11 0 0 25 0 1 0 252387912 135102464 31441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 32984 31441 139 317 0 32663 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 131936 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27267 /proc/meminfo: memFree=1677840/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=169660 CPUtime=102.26 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 42025 0 0 0 10209 17 0 0 25 0 1 0 252387912 173731840 41912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 42415 41912 139 317 0 42094 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 169660 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27268 /proc/meminfo: memFree=1632528/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=229320 CPUtime=162.23 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 53321 0 0 0 16201 22 0 0 25 0 1 0 252387912 234823680 53208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 57330 53208 139 317 0 57009 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 229320 [startup+222.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27268 /proc/meminfo: memFree=1590416/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=267160 CPUtime=222.22 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 63824 0 0 0 22194 28 0 0 25 0 1 0 252387912 273571840 63711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 66790 63711 139 317 0 66469 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 267160 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27268 /proc/meminfo: memFree=1571664/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=283744 CPUtime=282.19 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 68498 0 0 0 28189 30 0 0 25 0 1 0 252387912 290553856 68385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 70936 68385 139 317 0 70615 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 283744 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27268 /proc/meminfo: memFree=1554192/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=300096 CPUtime=342.17 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 72843 0 0 0 34185 32 0 0 25 0 1 0 252387912 307298304 72730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 75024 72730 139 317 0 74703 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 300096 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27268 /proc/meminfo: memFree=1536016/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=316172 CPUtime=402.15 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 77375 0 0 0 40180 35 0 0 25 0 1 0 252387912 323760128 77262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 79043 77262 139 317 0 78722 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 316172 [startup+462.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 27268 /proc/meminfo: memFree=1502416/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=347264 CPUtime=462.13 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 85948 0 0 0 46173 40 0 0 25 0 1 0 252387912 355598336 85644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 86816 85644 139 317 0 86495 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 347264 [startup+522.302 s] /proc/loadavg: 1.02 1.01 1.00 2/65 27268 /proc/meminfo: memFree=1461136/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=434304 CPUtime=522.1 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 104683 0 0 0 52165 45 0 0 25 0 1 0 252387912 444727296 95898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 108576 95898 139 317 0 108255 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 434304 [startup+582.303 s] /proc/loadavg: 1.01 1.00 1.00 2/65 27268 /proc/meminfo: memFree=1430672/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=460068 CPUtime=582.09 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 112298 0 0 0 58161 48 0 0 25 0 1 0 252387912 471109632 103513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 115017 103513 139 317 0 114696 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 460068 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27268 /proc/meminfo: memFree=1406096/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=481848 CPUtime=642.06 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 118464 0 0 0 64156 50 0 0 25 0 1 0 252387912 493412352 109646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 120462 109646 139 317 0 120141 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 481848 ################ # More data... # ################ /proc/meminfo: memFree=1280720/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=589480 CPUtime=1061.92 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 149999 0 0 0 106125 67 0 0 25 0 1 0 252387912 603627520 141181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 147370 141181 139 317 0 147049 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 589480 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 27268 /proc/meminfo: memFree=1268432/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=599348 CPUtime=1121.9 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 152862 0 0 0 112121 69 0 0 25 0 1 0 252387912 613732352 144044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563885 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 149837 144044 139 317 0 149516 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 599348 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 27268 /proc/meminfo: memFree=1257552/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=609808 CPUtime=1181.88 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 155836 0 0 0 118117 71 0 0 25 0 1 0 252387912 624443392 147018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 152452 147018 139 317 0 152131 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 609808 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27268 /proc/meminfo: memFree=1242768/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=621684 CPUtime=1241.85 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 159206 0 0 0 124113 72 0 0 25 0 1 0 252387912 636604416 150388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 155421 150388 139 317 0 155100 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 621684 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27268 /proc/meminfo: memFree=1226512/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=634828 CPUtime=1301.84 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 163254 0 0 0 130109 75 0 0 25 0 1 0 252387912 650063872 154436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 158707 154436 139 317 0 158386 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 634828 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 27342 /proc/meminfo: memFree=1202584/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=654716 CPUtime=1361.8 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 169021 0 0 0 136102 78 0 0 25 0 1 0 252387912 670429184 160203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 163679 160203 139 317 0 163358 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 654716 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27467 /proc/meminfo: memFree=1185808/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=670276 CPUtime=1421.72 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 173336 0 0 0 142090 82 0 0 25 0 1 0 252387912 686362624 164518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 167569 164518 139 317 0 167248 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 670276 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27467 /proc/meminfo: memFree=1167824/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=685456 CPUtime=1481.69 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 177835 0 0 0 148085 84 0 0 25 0 1 0 252387912 701906944 169017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 171364 169017 139 317 0 171043 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 685456 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27467 /proc/meminfo: memFree=1149904/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=700416 CPUtime=1541.67 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 182328 0 0 0 154080 87 0 0 25 0 1 0 252387912 717225984 173510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 175104 173510 139 317 0 174783 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 700416 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27467 /proc/meminfo: memFree=1137488/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=711136 CPUtime=1601.64 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 185422 0 0 0 160075 89 0 0 25 0 1 0 252387912 728203264 176604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 177784 176604 139 317 0 177463 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 711136 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27467 /proc/meminfo: memFree=1126288/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=720932 CPUtime=1661.63 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 188246 0 0 0 166072 91 0 0 25 0 1 0 252387912 738234368 179428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 180233 179428 139 317 0 179912 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 720932 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27467 /proc/meminfo: memFree=1100112/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=859032 CPUtime=1721.61 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 219610 0 0 0 172060 101 0 0 25 0 1 0 252387912 879648768 185897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 214758 185897 139 317 0 214437 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 859032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27467 /proc/meminfo: memFree=1084304/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=871388 CPUtime=1781.59 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 223562 0 0 0 178056 103 0 0 25 0 1 0 252387912 892301312 189849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 217847 189849 139 317 0 217526 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 871388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27467 /proc/meminfo: memFree=1081232/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=874472 CPUtime=1800.09 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 224316 0 0 0 179906 103 0 0 25 0 1 0 252387912 895459328 190603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 218618 190603 139 317 0 218297 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 874472 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27467 /proc/meminfo: memFree=1081232/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=874472 CPUtime=1800.78 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 224316 0 0 0 179975 103 0 0 25 0 1 0 252387912 895459328 190603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 218618 190603 139 317 0 218297 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (KiB) 874472 [startup+1802.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27468 /proc/meminfo: memFree=1081224/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=874472 CPUtime=1801.58 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 224316 0 0 0 180055 103 0 0 25 0 1 0 252387912 895459328 190603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 218618 190603 139 317 0 218297 0 Current children cumulated CPU time (s) 1801.58 Current children cumulated vsize (KiB) 874472 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27468 /proc/meminfo: memFree=1081224/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=874472 CPUtime=1801.98 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 224316 0 0 0 180095 103 0 0 25 0 1 0 252387912 895459328 190603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 218618 190603 139 317 0 218297 0 Current children cumulated CPU time (s) 1801.98 Current children cumulated vsize (KiB) 874472 [startup+1802.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27468 /proc/meminfo: memFree=1660240/2055920 swapFree=4182940/4192956 [pid=27265] ppid=27263 vsize=0 CPUtime=1802.19 /proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4195332 224316 0 0 0 180106 113 0 0 25 0 1 0 252387912 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27265/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.93 CPU time (s): 1802.22 CPU user time (s): 1801.06 CPU system time (s): 1.15882 CPU usage (%): 99.9604 Max. virtual memory (cumulated for all children) (KiB): 874472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.06 system time used= 1.15882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 224316 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= 3829 runsolver used 1.21281 second user time and 3.77543 second system time The end
Begin job on node25 on Tue May 1 18:38:28 UTC 2007 IDJOB= 455510 IDBENCH= 48268 IDSOLVER= 172 FILE ID= node25/455510-1178044708 PBS_JOBID= 4728448 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb COMMAND LINE= oree /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-455510-1178044708 -o ROOT/results/node25/conversion-455510-1178044708 -C 600 -M 1800 /tmp/evaluation/455510-1178044708/substituteSizeProductKeyword /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-455510-1178044708 -o ROOT/results/node25/solver-455510-1178044708 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED= 122314995 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1845872 kB Buffers: 69352 kB Cached: 68844 kB SwapCached: 3856 kB Active: 103020 kB Inactive: 49096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845872 kB SwapTotal: 4192956 kB SwapFree: 4182940 kB Dirty: 1488 kB Writeback: 0 kB Mapped: 19228 kB Slab: 43908 kB Committed_AS: 7522196 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66563 MiB End job on node25 on Tue May 1 19:08:31 UTC 2007