Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb |
MD5SUM | 169f1f6799c5c0fd2a1b0aca08165f42 |
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 | -59 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 5048 |
Sum of products size (including duplicates) | 10096 |
Number of different products | 2524 |
Sum of products size | 5048 |
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.04 c ...done 0.00/0.04 c #vars=2924 #constraints=5651 hasObjective=yes 0.05/0.06 c res. mode=mod 0.05/0.06 c VSIDS like heuristics 0.05/0.06 c complete search running 0.19/0.24 c restart after 401 decisions 0.19/0.26 c nbDecision=500 #constraints=5774 0.49/0.50 c restart after 801 decisions 0.49/0.59 c nbDecision=1000 #constraints=5958 0.89/0.99 c nbDecision=1500 #constraints=6159 0.99/1.03 c restart after 1601 decisions 1.29/1.36 c nbDecision=2000 #constraints=6300 1.79/1.83 c nbDecision=2500 #constraints=6454 2.29/2.39 c nbDecision=3000 #constraints=6645 2.59/2.68 c restart after 3201 decisions 2.99/3.05 c nbDecision=3500 #constraints=6832 3.79/3.81 c nbDecision=4000 #constraints=7015 4.59/4.65 c nbDecision=4500 #constraints=7298 5.78/5.83 c nbDecision=5000 #constraints=7618 7.09/7.11 c nbDecision=5500 #constraints=7856 8.89/8.92 c nbDecision=6000 #constraints=8095 10.28/10.34 c restart after 6401 decisions 10.69/10.79 c nbDecision=6500 #constraints=8246 12.79/12.81 c nbDecision=7000 #constraints=8536 14.88/14.99 c nbDecision=7500 #constraints=8810 17.38/17.40 c nbDecision=8000 #constraints=9005 20.29/20.30 c nbDecision=8500 #constraints=9186 23.68/23.74 c nbDecision=9000 #constraints=9344 26.88/26.94 c nbDecision=9500 #constraints=9543 30.18/30.21 c nbDecision=10000 #constraints=9801 33.78/33.89 c nbDecision=10500 #constraints=9954 37.18/37.30 c nbDecision=11000 #constraints=10163 40.37/40.41 c nbDecision=11500 #constraints=10466 43.28/43.33 c nbDecision=12000 #constraints=10804 47.28/47.38 c nbDecision=12500 #constraints=11034 50.07/50.11 c restart after 12801 decisions 52.27/52.33 c nbDecision=13000 #constraints=11189 56.58/56.63 c nbDecision=13500 #constraints=11419 61.17/61.21 c nbDecision=14000 #constraints=11636 64.98/65.01 c nbDecision=14500 #constraints=11949 69.77/69.88 c nbDecision=15000 #constraints=12180 74.77/74.84 c nbDecision=15500 #constraints=12433 79.47/79.53 c nbDecision=16000 #constraints=12731 84.87/84.98 c nbDecision=16500 #constraints=12944 90.46/90.50 c nbDecision=17000 #constraints=13166 96.77/96.89 c nbDecision=17500 #constraints=13410 103.76/103.86 c nbDecision=18000 #constraints=13572 110.26/110.35 c nbDecision=18500 #constraints=13731 115.25/115.36 c nbDecision=19000 #constraints=14032 123.16/123.22 c nbDecision=19500 #constraints=14155 129.15/129.26 c nbDecision=20000 #constraints=14414 135.85/135.94 c nbDecision=20500 #constraints=14652 142.35/142.41 c nbDecision=21000 #constraints=14909 148.04/148.17 c nbDecision=21500 #constraints=15217 155.45/155.53 c nbDecision=22000 #constraints=15475 161.94/162.02 c nbDecision=22500 #constraints=15747 168.74/168.80 c nbDecision=23000 #constraints=16030 176.13/176.24 c nbDecision=23500 #constraints=16284 183.14/183.29 c nbDecision=24000 #constraints=16564 192.13/192.22 c nbDecision=24500 #constraints=16778 201.53/201.68 c nbDecision=25000 #constraints=16975 210.63/210.72 c nbDecision=25500 #constraints=17163 212.13/212.27 c restart after 25601 decisions 217.63/217.79 c nbDecision=26000 #constraints=17480 227.02/227.12 c nbDecision=26500 #constraints=17737 236.43/236.55 c nbDecision=27000 #constraints=17909 247.32/247.42 c nbDecision=27500 #constraints=18113 256.61/256.78 c nbDecision=28000 #constraints=18342 264.71/264.84 c nbDecision=28500 #constraints=18617 277.31/277.45 c nbDecision=29000 #constraints=18742 286.61/286.76 c nbDecision=29500 #constraints=19025 295.51/295.62 c nbDecision=30000 #constraints=19317 307.00/307.14 c nbDecision=30500 #constraints=19574 315.70/315.85 c nbDecision=31000 #constraints=19846 328.20/328.32 c nbDecision=31500 #constraints=20079 338.09/338.26 c nbDecision=32000 #constraints=20348 349.29/349.44 c nbDecision=32500 #constraints=20578 359.98/360.11 c nbDecision=33000 #constraints=20872 370.68/370.80 c nbDecision=33500 #constraints=21130 386.27/386.48 c nbDecision=34000 #constraints=21263 398.97/399.12 c nbDecision=34500 #constraints=21490 413.07/413.29 c nbDecision=35000 #constraints=21689 424.77/424.95 c nbDecision=35500 #constraints=21954 442.66/442.84 c nbDecision=36000 #constraints=22074 455.75/455.96 c nbDecision=36500 #constraints=22288 470.55/470.76 c nbDecision=37000 #constraints=22520 483.25/483.40 c nbDecision=37500 #constraints=22789 498.74/498.96 c nbDecision=38000 #constraints=23004 511.64/511.85 c nbDecision=38500 #constraints=23290 525.64/525.85 c nbDecision=39000 #constraints=23534 541.63/541.89 c nbDecision=39500 #constraints=23741 551.63/551.87 c nbDecision=40000 #constraints=24120 567.12/567.31 c nbDecision=40500 #constraints=24377 582.92/583.16 c nbDecision=41000 #constraints=24648 598.22/598.47 c nbDecision=41500 #constraints=24871 610.51/610.73 c nbDecision=42000 #constraints=25257 625.90/626.10 c nbDecision=42500 #constraints=25490 642.60/642.82 c nbDecision=43000 #constraints=25712 660.50/660.79 c nbDecision=43500 #constraints=25906 680.89/681.11 c nbDecision=44000 #constraints=26046 702.79/703.02 c nbDecision=44500 #constraints=26181 726.47/726.75 c nbDecision=45000 #constraints=26234 745.07/745.40 c nbDecision=45500 #constraints=26431 760.26/760.53 c nbDecision=46000 #constraints=26719 780.06/780.39 c nbDecision=46500 #constraints=26941 798.96/799.27 c nbDecision=47000 #constraints=27192 817.15/817.49 c nbDecision=47500 #constraints=27469 836.75/837.06 c nbDecision=48000 #constraints=27706 854.35/854.64 c nbDecision=48500 #constraints=27994 874.03/874.39 c nbDecision=49000 #constraints=28232 891.84/892.18 c nbDecision=49500 #constraints=28506 911.62/911.92 c nbDecision=50000 #constraints=28775 934.92/935.27 c nbDecision=50500 #constraints=28972 952.61/952.95 c nbDecision=51000 #constraints=29288 961.01/961.32 c restart after 51201 decisions 972.90/973.25 c nbDecision=51500 #constraints=29549 993.69/994.04 c nbDecision=52000 #constraints=29805 1012.49/1012.84 c nbDecision=52500 #constraints=30119 1032.19/1032.59 c nbDecision=53000 #constraints=30403 1056.68/1057.08 c nbDecision=53500 #constraints=30623 1078.47/1078.87 c nbDecision=54000 #constraints=30908 1100.46/1100.86 c nbDecision=54500 #constraints=31202 1124.26/1124.68 c nbDecision=55000 #constraints=31451 1146.95/1147.38 c nbDecision=55500 #constraints=31739 1170.25/1170.64 c nbDecision=56000 #constraints=32005 1193.74/1194.15 c nbDecision=56500 #constraints=32281 1216.73/1217.19 c nbDecision=57000 #constraints=32600 1238.03/1238.43 c nbDecision=57500 #constraints=32942 1263.12/1263.55 c nbDecision=58000 #constraints=33245 1288.11/1288.52 c nbDecision=58500 #constraints=33568 1312.50/1312.97 c nbDecision=59000 #constraints=33912 1337.99/1338.42 c nbDecision=59500 #constraints=34270 1363.59/1364.03 c nbDecision=60000 #constraints=34563 1389.58/1390.05 c nbDecision=60500 #constraints=34902 1417.97/1418.48 c nbDecision=61000 #constraints=35204 1444.26/1444.73 c nbDecision=61500 #constraints=35517 1472.86/1473.39 c nbDecision=62000 #constraints=35833 1499.75/1500.23 c nbDecision=62500 #constraints=36202 1527.04/1527.50 c nbDecision=63000 #constraints=36524 1554.94/1555.46 c nbDecision=63500 #constraints=36862 1584.02/1584.60 c nbDecision=64000 #constraints=37218 1612.02/1612.57 c nbDecision=64500 #constraints=37540 1640.61/1641.12 c nbDecision=65000 #constraints=37859 1671.41/1671.97 c nbDecision=65500 #constraints=38176 1702.58/1703.14 c nbDecision=66000 #constraints=38498 1731.58/1732.18 c nbDecision=66500 #constraints=38859 1763.18/1763.77 c nbDecision=67000 #constraints=39179 1794.76/1795.38 c nbDecision=67500 #constraints=39485 1800.07/1800.60 Received signal 15 1800.07/1800.61 1800.07/1800.61 s UNKNOWN 1800.07/1800.61 1800.07/1800.61 c user time= 1799.32 s 1800.07/1800.61 c system time= 0.765883 s 1800.07/1800.61 c wall clock time=1800.62
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb mv /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb.tmp /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-455090-1178036801 -o ROOT/results/node6/solver-455090-1178036801 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455090-1178036801/instance-455090-1178036801.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 1.00 1.00 2/77 27509 /proc/meminfo: memFree=1863024/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=1468 CPUtime=0 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 279717779 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 367 166 131 317 0 46 0 [startup+0.062038 s] /proc/loadavg: 0.99 1.00 1.00 2/77 27509 /proc/meminfo: memFree=1863024/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=3540 CPUtime=0.05 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 689 0 0 0 5 0 0 0 18 0 1 0 279717779 3624960 672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 885 672 137 317 0 564 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3540 [startup+0.101043 s] /proc/loadavg: 0.99 1.00 1.00 2/77 27509 /proc/meminfo: memFree=1863024/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=3960 CPUtime=0.09 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 817 0 0 0 9 0 0 0 18 0 1 0 279717779 4055040 761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 990 761 139 317 0 669 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3960 [startup+0.301066 s] /proc/loadavg: 0.99 1.00 1.00 2/77 27509 /proc/meminfo: memFree=1863024/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=5284 CPUtime=0.29 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 1152 0 0 0 29 0 0 0 19 0 1 0 279717779 5410816 1096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 1321 1096 139 317 0 1000 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5284 [startup+0.701113 s] /proc/loadavg: 0.99 1.00 1.00 2/77 27509 /proc/meminfo: memFree=1863024/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=7396 CPUtime=0.69 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 1666 0 0 0 69 0 0 0 23 0 1 0 279717779 7573504 1610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 1849 1610 139 317 0 1528 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7396 [startup+1.50121 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1855272/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=10852 CPUtime=1.49 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 2542 0 0 0 148 1 0 0 25 0 1 0 279717779 11112448 2486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 2713 2486 139 317 0 2392 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10852 [startup+3.10139 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1851944/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=16280 CPUtime=3.09 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 3786 0 0 0 307 2 0 0 25 0 1 0 279717779 16670720 3730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 4070 3730 139 317 0 3749 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16280 [startup+6.30177 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1842472/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=23144 CPUtime=6.28 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 5608 0 0 0 626 2 0 0 25 0 1 0 279717779 23699456 5552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 5786 5552 139 317 0 5465 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23144 [startup+12.7015 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1833256/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=32948 CPUtime=12.69 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 7904 0 0 0 1265 4 0 0 25 0 1 0 279717779 33738752 7848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 8237 7848 139 317 0 7916 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32948 [startup+25.502 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1824104/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=40336 CPUtime=25.48 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 9904 0 0 0 2543 5 0 0 25 0 1 0 279717779 41304064 9848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 10084 9848 139 317 0 9763 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40336 [startup+51.102 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1806184/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=60320 CPUtime=51.07 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 14435 0 0 0 5100 7 0 0 25 0 1 0 279717779 61767680 14303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 15080 14303 139 317 0 14759 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60320 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1784872/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=79592 CPUtime=102.27 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 19766 0 0 0 10216 11 0 0 25 0 1 0 279717779 81502208 19634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 19898 19634 139 317 0 19577 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 79592 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1759912/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=110240 CPUtime=162.24 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 26094 0 0 0 16209 15 0 0 25 0 1 0 279717779 112885760 25962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 27560 25962 139 317 0 27239 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 110240 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 3/78 27510 /proc/meminfo: memFree=1743144/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=124988 CPUtime=222.22 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 30150 0 0 0 22204 18 0 0 25 0 1 0 279717779 127987712 30018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 31247 30018 139 317 0 30926 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 124988 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1732136/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=135688 CPUtime=282.21 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 33015 0 0 0 28199 22 0 0 25 0 1 0 279717779 138944512 32883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 33922 32883 139 317 0 33601 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 135688 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1718120/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=147920 CPUtime=342.19 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 36357 0 0 0 34193 26 0 0 25 0 1 0 279717779 151470080 36225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 36980 36225 139 317 0 36659 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 147920 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1708456/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=156788 CPUtime=402.17 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 38760 0 0 0 40189 28 0 0 25 0 1 0 279717779 160550912 38628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 39197 38628 139 317 0 38876 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 156788 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27510 /proc/meminfo: memFree=1695144/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=187704 CPUtime=462.15 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 45285 0 0 0 46184 31 0 0 25 0 1 0 279717779 192208896 41934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 46926 41934 139 317 0 46605 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 187704 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1685928/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=195972 CPUtime=522.13 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 47599 0 0 0 52180 33 0 0 25 0 1 0 279717779 200675328 44182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 48993 44182 139 317 0 48672 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 195972 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1675176/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=205700 CPUtime=582.12 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 50283 0 0 0 58176 36 0 0 25 0 1 0 279717779 210636800 46866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 51425 46866 139 317 0 51104 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 205700 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1665640/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=214112 CPUtime=642.1 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 52658 0 0 0 64173 37 0 0 25 0 1 0 279717779 219250688 49241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 53528 49241 139 317 0 53207 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 214112 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1648360/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=229228 CPUtime=822.05 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 56945 0 0 0 82162 43 0 0 25 0 1 0 279717779 234729472 53528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 57307 53528 139 317 0 56986 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 229228 [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1640168/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=237184 CPUtime=882.03 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 59024 0 0 0 88159 44 0 0 25 0 1 0 279717779 242876416 55607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 59296 55607 139 317 0 58975 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 237184 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1633768/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=242936 CPUtime=942.01 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 60680 0 0 0 94155 46 0 0 25 0 1 0 279717779 248766464 57263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 60734 57263 139 317 0 60413 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 242936 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1625192/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=250512 CPUtime=1002 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 62715 0 0 0 100152 48 0 0 25 0 1 0 279717779 256524288 59298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 62628 59298 139 317 0 62307 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 250512 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1618600/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=256628 CPUtime=1061.98 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 64457 0 0 0 106148 50 0 0 25 0 1 0 279717779 262787072 61040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 64157 61040 139 317 0 63836 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 256628 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1611752/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=262416 CPUtime=1121.96 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 66061 0 0 0 112144 52 0 0 25 0 1 0 279717779 268713984 62644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 65604 62644 139 317 0 65283 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 262416 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1605608/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=268092 CPUtime=1181.94 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 67613 0 0 0 118141 53 0 0 25 0 1 0 279717779 274526208 64163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 67023 64163 139 317 0 66702 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 268092 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1597416/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=275888 CPUtime=1241.92 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 69711 0 0 0 124137 55 0 0 25 0 1 0 279717779 282509312 66195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 68972 66195 139 317 0 68651 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 275888 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1589800/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=282608 CPUtime=1301.91 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 71613 0 0 0 130133 58 0 0 25 0 1 0 279717779 289390592 68097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 70652 68097 139 317 0 70331 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 282608 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1582888/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=288984 CPUtime=1361.89 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 73313 0 0 0 136129 60 0 0 25 0 1 0 279717779 295919616 69797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563967 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 72246 69797 139 317 0 71925 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 288984 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1575464/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=295320 CPUtime=1421.88 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 75168 0 0 0 142126 62 0 0 25 0 1 0 279717779 302407680 71652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 73830 71652 139 317 0 73509 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 295320 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1569320/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=301416 CPUtime=1481.85 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 76697 0 0 0 148122 63 0 0 25 0 1 0 279717779 308649984 73181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 75354 73181 139 317 0 75033 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 301416 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1562216/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=307868 CPUtime=1541.84 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 78469 0 0 0 154118 66 0 0 25 0 1 0 279717779 315256832 74953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 76967 74953 139 317 0 76646 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 307868 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1555176/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=314120 CPUtime=1601.82 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 80255 0 0 0 160115 67 0 0 25 0 1 0 279717779 321658880 76706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 78530 76706 139 317 0 78209 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 314120 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1549544/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=319268 CPUtime=1661.81 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 81677 0 0 0 166111 70 0 0 25 0 1 0 279717779 326930432 78128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 79817 78128 139 317 0 79496 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 319268 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 3/78 27512 /proc/meminfo: memFree=1543400/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=325080 CPUtime=1721.78 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 83201 0 0 0 172107 71 0 0 25 0 1 0 279717779 332881920 79652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 81270 79652 139 317 0 80949 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 325080 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1535976/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=365388 CPUtime=1781.77 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 92414 0 0 0 178102 75 0 0 25 0 1 0 279717779 374157312 81455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 91347 81455 139 317 0 91026 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 365388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 1.00 2/78 27512 /proc/meminfo: memFree=1533800/2055924 swapFree=4146564/4192956 [pid=27509] ppid=27507 vsize=367104 CPUtime=1800.07 /proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 92956 0 0 0 179931 76 0 0 25 0 1 0 279717779 375914496 81997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27509/statm: 91776 81997 139 317 0 91455 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 367104 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.15 CPU user time (s): 1799.33 CPU system time (s): 0.819875 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 367104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.819875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92972 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= 1603 runsolver used 1.46778 second user time and 4.05238 second system time The end
Begin job on node6 on Tue May 1 16:26:41 UTC 2007 IDJOB= 455090 IDBENCH= 48240 IDSOLVER= 172 FILE ID= node6/455090-1178036801 PBS_JOBID= 4728428 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_200_10_4.opb COMMAND LINE= oree /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-455090-1178036801 -o ROOT/results/node6/conversion-455090-1178036801 -C 600 -M 1800 /tmp/evaluation/455090-1178036801/substituteSizeProductKeyword /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-455090-1178036801 -o ROOT/results/node6/solver-455090-1178036801 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42 RANDOM SEED= 5753317 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1863496 kB Buffers: 53268 kB Cached: 47844 kB SwapCached: 14352 kB Active: 34868 kB Inactive: 94580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1863496 kB SwapTotal: 4192956 kB SwapFree: 4146564 kB Dirty: 1396 kB Writeback: 0 kB Mapped: 32764 kB Slab: 48568 kB Committed_AS: 9887432 kB PageTables: 1792 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 node6 on Tue May 1 16:56:44 UTC 2007