Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.65 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_2.opb |
MD5SUM | c154cb0964ce03c2d199339cf62d0c63 |
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 | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2520 |
Sum of products size (including duplicates) | 5040 |
Number of different products | 1260 |
Sum of products size | 2520 |
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.02 c ...done 0.00/0.02 c #vars=1460 #constraints=2823 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.10/0.15 c restart after 401 decisions 0.10/0.18 c nbDecision=500 #constraints=3024 0.19/0.27 c restart after 801 decisions 0.29/0.34 c nbDecision=1000 #constraints=3170 0.49/0.54 c nbDecision=1500 #constraints=3325 0.59/0.60 c restart after 1601 decisions 0.79/0.80 c nbDecision=2000 #constraints=3506 1.10/1.12 c nbDecision=2500 #constraints=3676 1.39/1.47 c nbDecision=3000 #constraints=3830 1.59/1.64 c restart after 3201 decisions 1.89/1.90 c nbDecision=3500 #constraints=4071 2.39/2.50 c nbDecision=4000 #constraints=4261 3.20/3.23 c nbDecision=4500 #constraints=4437 3.99/4.09 c nbDecision=5000 #constraints=4695 5.19/5.24 c nbDecision=5500 #constraints=4897 6.59/6.62 c nbDecision=6000 #constraints=5099 7.78/7.83 c restart after 6401 decisions 8.08/8.17 c nbDecision=6500 #constraints=5330 9.99/10.05 c nbDecision=7000 #constraints=5509 12.19/12.27 c nbDecision=7500 #constraints=5692 14.69/14.77 c nbDecision=8000 #constraints=5819 17.29/17.31 c nbDecision=8500 #constraints=5955 19.69/19.78 c nbDecision=9000 #constraints=6174 22.18/22.25 c nbDecision=9500 #constraints=6425 24.99/25.08 c nbDecision=10000 #constraints=6689 27.89/27.92 c nbDecision=10500 #constraints=6998 30.98/31.08 c nbDecision=11000 #constraints=7257 34.78/34.86 c nbDecision=11500 #constraints=7440 38.88/38.93 c nbDecision=12000 #constraints=7645 42.68/42.78 c nbDecision=12500 #constraints=7929 45.08/45.17 c restart after 12801 decisions 46.87/46.94 c nbDecision=13000 #constraints=8207 51.38/51.48 c nbDecision=13500 #constraints=8488 56.47/56.58 c nbDecision=14000 #constraints=8779 61.87/61.99 c nbDecision=14500 #constraints=9024 67.57/67.65 c nbDecision=15000 #constraints=9285 73.68/73.73 c nbDecision=15500 #constraints=9545 79.77/79.82 c nbDecision=16000 #constraints=9850 86.87/86.95 c nbDecision=16500 #constraints=10118 93.57/93.70 c nbDecision=17000 #constraints=10399 100.96/101.08 c nbDecision=17500 #constraints=10676 108.96/109.07 c nbDecision=18000 #constraints=10918 117.06/117.16 c nbDecision=18500 #constraints=11212 125.56/125.66 c nbDecision=19000 #constraints=11511 134.96/135.00 c nbDecision=19500 #constraints=11739 143.05/143.19 c nbDecision=20000 #constraints=12061 152.64/152.78 c nbDecision=20500 #constraints=12371 162.05/162.19 c nbDecision=21000 #constraints=12679 172.14/172.22 c nbDecision=21500 #constraints=12981 181.54/181.62 c nbDecision=22000 #constraints=13320 191.53/191.63 c nbDecision=22500 #constraints=13644 202.54/202.63 c nbDecision=23000 #constraints=13989 213.64/213.73 c nbDecision=23500 #constraints=14322 225.52/225.62 c nbDecision=24000 #constraints=14685 240.03/240.18 c nbDecision=24500 #constraints=14947 252.92/253.02 c nbDecision=25000 #constraints=15293 266.02/266.18 c nbDecision=25500 #constraints=15693 269.12/269.22 c restart after 25601 decisions 280.42/280.51 c nbDecision=26000 #constraints=16020 294.21/294.33 c nbDecision=26500 #constraints=16391 309.10/309.29 c nbDecision=27000 #constraints=16765 324.70/324.84 c nbDecision=27500 #constraints=17102 339.90/340.07 c nbDecision=28000 #constraints=17485 357.89/358.09 c nbDecision=28500 #constraints=17833 374.69/374.87 c nbDecision=29000 #constraints=18187 392.09/392.27 c nbDecision=29500 #constraints=18560 408.58/408.73 c nbDecision=30000 #constraints=18945 425.17/425.32 c nbDecision=30500 #constraints=19355 442.87/443.01 c nbDecision=31000 #constraints=19774 460.67/460.85 c nbDecision=31500 #constraints=20181 478.86/479.06 c nbDecision=32000 #constraints=20608 498.85/499.05 c nbDecision=32500 #constraints=21021 519.35/519.55 c nbDecision=33000 #constraints=21455 541.14/541.37 c nbDecision=33500 #constraints=21870 559.94/560.15 c nbDecision=34000 #constraints=22320 583.03/583.24 c nbDecision=34500 #constraints=22707 607.03/607.26 c nbDecision=35000 #constraints=23105 631.12/631.32 c nbDecision=35500 #constraints=23499 656.61/656.83 c nbDecision=36000 #constraints=23920 681.60/681.89 c nbDecision=36500 #constraints=24364 703.70/703.93 c nbDecision=37000 #constraints=24823 736.39/736.67 c nbDecision=37500 #constraints=25170 766.39/766.69 c nbDecision=38000 #constraints=25530 794.87/795.12 c nbDecision=38500 #constraints=25931 822.37/822.63 c nbDecision=39000 #constraints=26351 851.26/851.54 c nbDecision=39500 #constraints=26767 875.15/875.43 c nbDecision=40000 #constraints=27230 899.45/899.71 c nbDecision=40500 #constraints=27685 928.44/928.79 c nbDecision=41000 #constraints=28107 956.74/957.00 c nbDecision=41500 #constraints=28525 985.03/985.37 c nbDecision=42000 #constraints=28952 1011.21/1011.55 c nbDecision=42500 #constraints=29379 1041.01/1041.33 c nbDecision=43000 #constraints=29813 1074.49/1074.89 c nbDecision=43500 #constraints=30240 1107.30/1107.68 c nbDecision=44000 #constraints=30710 1141.58/1141.93 c nbDecision=44500 #constraints=31147 1176.07/1176.44 c nbDecision=45000 #constraints=31546 1213.36/1213.73 c nbDecision=45500 #constraints=31917 1246.55/1246.94 c nbDecision=46000 #constraints=32348 1279.45/1279.87 c nbDecision=46500 #constraints=32779 1310.43/1310.88 c nbDecision=47000 #constraints=33185 1349.12/1349.57 c nbDecision=47500 #constraints=33586 1383.72/1384.14 c nbDecision=48000 #constraints=33981 1419.91/1420.40 c nbDecision=48500 #constraints=34434 1451.39/1451.90 c nbDecision=49000 #constraints=34918 1483.59/1484.01 c nbDecision=49500 #constraints=35387 1515.88/1516.38 c nbDecision=50000 #constraints=35859 1552.17/1552.66 c nbDecision=50500 #constraints=36307 1589.76/1590.28 c nbDecision=51000 #constraints=36746 1608.15/1608.60 c restart after 51201 decisions 1630.35/1630.85 c nbDecision=51500 #constraints=37160 1663.84/1664.38 c nbDecision=52000 #constraints=37605 1699.73/1700.27 c nbDecision=52500 #constraints=38043 1742.93/1743.40 c nbDecision=53000 #constraints=38455 1782.87/1783.43 c nbDecision=53500 #constraints=38877 1800.03/1800.61 Received signal 15 1800.03/1800.61 1800.03/1800.61 s UNKNOWN 1800.03/1800.61 1800.03/1800.61 c user time= 1799.58 s 1800.03/1800.61 c system time= 0.468928 s 1800.03/1800.61 c wall clock time=1800.62
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb mv /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb.tmp /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-455105-1178037087 -o ROOT/results/node55/solver-455105-1178037087 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455105-1178037087/instance-455105-1178037087.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.12 1.15 1.12 3/64 5521 /proc/meminfo: memFree=1762580/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=1468 CPUtime=0 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 251618763 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 367 164 131 317 0 46 0 [startup+0.0861819 s] /proc/loadavg: 1.12 1.15 1.12 3/64 5521 /proc/meminfo: memFree=1762580/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=2944 CPUtime=0.08 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 539 0 0 0 8 0 0 0 18 0 1 0 251618763 3014656 522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 736 523 139 317 0 415 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2944 [startup+0.101184 s] /proc/loadavg: 1.12 1.15 1.12 3/64 5521 /proc/meminfo: memFree=1762580/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=3076 CPUtime=0.1 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 566 0 0 0 10 0 0 0 18 0 1 0 251618763 3149824 549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 769 549 139 317 0 448 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3076 [startup+0.301202 s] /proc/loadavg: 1.12 1.15 1.12 3/64 5521 /proc/meminfo: memFree=1762580/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=4132 CPUtime=0.29 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 833 0 0 0 29 0 0 0 19 0 1 0 251618763 4231168 816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718558 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 1033 816 139 317 0 712 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4132 [startup+0.70124 s] /proc/loadavg: 1.12 1.15 1.12 3/64 5521 /proc/meminfo: memFree=1762580/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=5732 CPUtime=0.69 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 1240 0 0 0 69 0 0 0 22 0 1 0 251618763 5869568 1223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 1433 1223 139 317 0 1112 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5732 [startup+1.50131 s] /proc/loadavg: 1.12 1.15 1.12 2/65 5522 /proc/meminfo: memFree=1757332/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=7448 CPUtime=1.49 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 1662 0 0 0 149 0 0 0 25 0 1 0 251618763 7626752 1645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 1862 1645 139 317 0 1541 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7448 [startup+3.10146 s] /proc/loadavg: 1.11 1.15 1.12 2/65 5522 /proc/meminfo: memFree=1754516/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=10544 CPUtime=3.09 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 2438 0 0 0 308 1 0 0 25 0 1 0 251618763 10797056 2421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 2636 2421 139 317 0 2315 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10544 [startup+6.30176 s] /proc/loadavg: 1.11 1.15 1.12 2/65 5522 /proc/meminfo: memFree=1751204/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=14260 CPUtime=6.29 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 3243 0 0 0 628 1 0 0 25 0 1 0 251618763 14602240 3226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 3565 3226 139 317 0 3244 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14260 [startup+12.7024 s] /proc/loadavg: 1.10 1.14 1.11 2/65 5522 /proc/meminfo: memFree=1747004/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=17288 CPUtime=12.69 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 4088 0 0 0 1267 2 0 0 25 0 1 0 251618763 17702912 4034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 4322 4034 139 317 0 4001 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17288 [startup+25.5016 s] /proc/loadavg: 1.08 1.14 1.11 2/65 5522 /proc/meminfo: memFree=1742652/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=21640 CPUtime=25.49 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 5212 0 0 0 2546 3 0 0 25 0 1 0 251618763 22159360 5158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 5410 5158 139 317 0 5089 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21640 [startup+51.102 s] /proc/loadavg: 1.05 1.12 1.11 2/65 5522 /proc/meminfo: memFree=1733884/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=31400 CPUtime=51.08 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 7403 0 0 0 5103 5 0 0 25 0 1 0 251618763 32153600 7349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 7850 7349 139 317 0 7529 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31400 [startup+102.306 s] /proc/loadavg: 1.02 1.10 1.10 2/65 5522 /proc/meminfo: memFree=1723132/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=41352 CPUtime=102.27 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 10107 0 0 0 10220 7 0 0 25 0 1 0 251618763 42344448 9980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 10338 9980 139 317 0 10017 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 41352 [startup+162.301 s] /proc/loadavg: 1.01 1.08 1.09 2/65 5522 /proc/meminfo: memFree=1712700/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=54444 CPUtime=162.25 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 12718 0 0 0 16216 9 0 0 25 0 1 0 251618763 55750656 12591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 13611 12591 139 317 0 13290 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 54444 [startup+222.301 s] /proc/loadavg: 1.00 1.06 1.08 2/65 5522 /proc/meminfo: memFree=1703804/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=62780 CPUtime=222.23 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 14907 0 0 0 22211 12 0 0 25 0 1 0 251618763 64286720 14780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 15695 14780 139 317 0 15374 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 62780 [startup+282.302 s] /proc/loadavg: 1.00 1.05 1.08 2/65 5522 /proc/meminfo: memFree=1696636/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=69516 CPUtime=282.22 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 16679 0 0 0 28207 15 0 0 25 0 1 0 251618763 71184384 16552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 17379 16552 139 317 0 17058 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 69516 [startup+342.301 s] /proc/loadavg: 1.00 1.04 1.07 2/65 5522 /proc/meminfo: memFree=1689916/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=76560 CPUtime=342.2 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 18363 0 0 0 34203 17 0 0 25 0 1 0 251618763 78397440 18236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 19140 18236 139 317 0 18819 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 76560 [startup+402.302 s] /proc/loadavg: 1.00 1.03 1.06 2/65 5522 /proc/meminfo: memFree=1683964/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=82212 CPUtime=402.18 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 19891 0 0 0 40200 18 0 0 25 0 1 0 251618763 84185088 19764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 20553 19764 139 317 0 20232 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 82212 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.06 2/65 5522 /proc/meminfo: memFree=1676924/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=94956 CPUtime=462.17 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 22801 0 0 0 46196 21 0 0 25 0 1 0 251618763 97234944 21519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 23739 21519 139 317 0 23418 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 94956 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.05 2/65 5522 /proc/meminfo: memFree=1670908/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=101704 CPUtime=522.15 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 24524 0 0 0 52193 22 0 0 25 0 1 0 251618763 104144896 23033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 25426 23033 139 317 0 25105 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 101704 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.05 2/65 5522 /proc/meminfo: memFree=1665084/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=107364 CPUtime=582.14 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 26059 0 0 0 58190 24 0 0 25 0 1 0 251618763 109940736 24469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 26841 24469 139 317 0 26520 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 107364 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.04 2/65 5524 /proc/meminfo: memFree=1660028/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=112000 CPUtime=642.12 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 27337 0 0 0 64186 26 0 0 25 0 1 0 251618763 114688000 25714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 28000 25714 139 317 0 27679 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 112000 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.11 1.04 1.04 2/65 5524 /proc/meminfo: memFree=1647356/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=124220 CPUtime=822.07 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 30783 0 0 0 82178 29 0 0 25 0 1 0 251618763 127201280 28896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 31055 28896 139 317 0 30734 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 124220 [startup+882.301 s] /proc/loadavg: 1.04 1.03 1.03 2/65 5524 /proc/meminfo: memFree=1642236/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=129076 CPUtime=882.05 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 32160 0 0 0 88175 30 0 0 25 0 1 0 251618763 132173824 30141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 32269 30141 139 317 0 31948 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 129076 [startup+942.302 s] /proc/loadavg: 1.01 1.02 1.03 2/65 5524 /proc/meminfo: memFree=1637500/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=133668 CPUtime=942.03 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 33479 0 0 0 94172 31 0 0 25 0 1 0 251618763 136876032 31328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 33417 31328 139 317 0 33096 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 133668 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.02 2/65 5524 /proc/meminfo: memFree=1633148/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=138236 CPUtime=1002.02 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 34790 0 0 0 100170 32 0 0 25 0 1 0 251618763 141553664 32408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 34559 32408 139 317 0 34238 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 138236 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.02 2/65 5524 /proc/meminfo: memFree=1628988/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=142164 CPUtime=1062 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 35963 0 0 0 106167 33 0 0 25 0 1 0 251618763 145575936 33482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 35541 33482 139 317 0 35220 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 142164 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.01 2/65 5524 /proc/meminfo: memFree=1625020/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=146340 CPUtime=1121.99 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 37153 0 0 0 112164 35 0 0 25 0 1 0 251618763 149852160 34441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 36585 34441 139 317 0 36264 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 146340 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5524 /proc/meminfo: memFree=1621436/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=150012 CPUtime=1181.97 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 38189 0 0 0 118162 35 0 0 25 0 1 0 251618763 153612288 35345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 37503 35345 139 317 0 37182 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 150012 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5524 /proc/meminfo: memFree=1618300/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=153152 CPUtime=1241.95 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 39097 0 0 0 124158 37 0 0 25 0 1 0 251618763 156827648 36121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 38288 36121 139 317 0 37967 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 153152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5524 /proc/meminfo: memFree=1614332/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=156960 CPUtime=1301.94 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 40125 0 0 0 130156 38 0 0 25 0 1 0 251618763 160727040 37083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 39240 37083 139 317 0 38919 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 156960 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5524 /proc/meminfo: memFree=1610876/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=160096 CPUtime=1361.92 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 41080 0 0 0 136153 39 0 0 25 0 1 0 251618763 163938304 37939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 40024 37939 139 317 0 39703 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 160096 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5524 /proc/meminfo: memFree=1607548/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=163240 CPUtime=1421.91 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 42003 0 0 0 142151 40 0 0 25 0 1 0 251618763 167157760 38796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 40810 38796 139 317 0 40489 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 163240 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5524 /proc/meminfo: memFree=1603004/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=167312 CPUtime=1481.88 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 43160 0 0 0 148148 40 0 0 25 0 1 0 251618763 171327488 39920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 41828 39920 139 317 0 41507 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 167312 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5524 /proc/meminfo: memFree=1598972/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=174572 CPUtime=1541.87 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 45132 0 0 0 154145 42 0 0 25 0 1 0 251618763 178761728 40884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 43643 40884 139 317 0 43322 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 174572 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5524 /proc/meminfo: memFree=1595900/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=182444 CPUtime=1601.85 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 47193 0 0 0 160142 43 0 0 25 0 1 0 251618763 186822656 41677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 45611 41677 139 317 0 45290 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 182444 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5524 /proc/meminfo: memFree=1592252/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=187028 CPUtime=1661.84 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 48474 0 0 0 166140 44 0 0 25 0 1 0 251618763 191516672 42600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 46757 42600 139 317 0 46436 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 187028 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5524 /proc/meminfo: memFree=1589308/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=189532 CPUtime=1721.82 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 49207 0 0 0 172137 45 0 0 25 0 1 0 251618763 194080768 43333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 47383 43333 139 317 0 47062 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 189532 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 5596 /proc/meminfo: memFree=1584652/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=192276 CPUtime=1781.77 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 50041 0 0 0 178131 46 0 0 25 0 1 0 251618763 196890624 44167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 48069 44167 139 317 0 47748 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 192276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/71 5680 /proc/meminfo: memFree=1583364/2055920 swapFree=4184544/4192956 [pid=5521] ppid=5519 vsize=193324 CPUtime=1800.03 /proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 50333 0 0 0 179957 46 0 0 25 0 1 0 251618763 197963776 44459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/5521/statm: 48331 44459 139 317 0 48010 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 193324 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.65 CPU time (s): 1800.09 CPU user time (s): 1799.59 CPU system time (s): 0.500923 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 193324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.500923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50349 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= 3276 runsolver used 1.3158 second user time and 3.63845 second system time The end
Begin job on node55 on Tue May 1 16:31:27 UTC 2007 IDJOB= 455105 IDBENCH= 48241 IDSOLVER= 172 FILE ID= node55/455105-1178037087 PBS_JOBID= 4728394 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_100_10_2.opb COMMAND LINE= oree /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node55/convwatcher-455105-1178037087 -o ROOT/results/node55/conversion-455105-1178037087 -C 600 -M 1800 /tmp/evaluation/455105-1178037087/substituteSizeProductKeyword /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-455105-1178037087 -o ROOT/results/node55/solver-455105-1178037087 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= c154cb0964ce03c2d199339cf62d0c63 RANDOM SEED= 379596303 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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: 1762988 kB Buffers: 78760 kB Cached: 124708 kB SwapCached: 2436 kB Active: 106620 kB Inactive: 111420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1762988 kB SwapTotal: 4192956 kB SwapFree: 4184544 kB Dirty: 1336 kB Writeback: 0 kB Mapped: 20584 kB Slab: 60972 kB Committed_AS: 3331040 kB PageTables: 1396 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 node55 on Tue May 1 17:01:30 UTC 2007