Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.17 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb |
MD5SUM | feb866c77c1922bd09324402c14b21f3 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.089985 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 105 |
Total number of constraints | 11 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.00 c ...done 0.00/0.00 c #vars=350 #constraints=507 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.39/0.44 c restart after 401 decisions 0.49/0.55 c nbDecision=500 #constraints=960 0.89/0.94 c restart after 801 decisions 1.09/1.20 c nbDecision=1000 #constraints=1417 1.69/1.73 c nbDecision=1500 #constraints=1882 1.79/1.84 c restart after 1601 decisions 2.39/2.46 c nbDecision=2000 #constraints=2311 3.39/3.46 c nbDecision=2500 #constraints=2795 4.69/4.75 c nbDecision=3000 #constraints=3271 5.39/5.40 c restart after 3201 decisions 6.19/6.26 c nbDecision=3500 #constraints=3714 9.08/9.13 c nbDecision=4000 #constraints=4188 12.49/12.56 c nbDecision=4500 #constraints=4625 16.39/16.43 c nbDecision=5000 #constraints=5074 22.48/22.52 c nbDecision=5500 #constraints=5516 29.08/29.12 c nbDecision=6000 #constraints=5974 33.99/34.04 c restart after 6401 decisions 34.38/34.41 c nbDecision=6500 #constraints=6425 42.98/43.01 c nbDecision=7000 #constraints=6890 51.18/51.29 c nbDecision=7500 #constraints=7332 61.88/61.96 c nbDecision=8000 #constraints=7784 73.87/73.91 c nbDecision=8500 #constraints=8230 87.47/87.55 c nbDecision=9000 #constraints=8702 99.56/99.66 c nbDecision=9500 #constraints=9182 120.75/120.85 c nbDecision=10000 #constraints=9668 145.35/145.49 c nbDecision=10500 #constraints=10137 171.24/171.36 c nbDecision=11000 #constraints=10614 198.21/198.33 c nbDecision=11500 #constraints=11080 231.24/231.47 c nbDecision=12000 #constraints=11550 271.82/272.02 c nbDecision=12500 #constraints=12025 295.22/295.47 c restart after 12801 decisions 297.11/297.33 c nbDecision=13000 #constraints=12485 333.50/333.78 c nbDecision=13500 #constraints=12973 370.19/370.42 c nbDecision=14000 #constraints=13466 410.59/410.88 c nbDecision=14500 #constraints=13939 451.88/452.17 c nbDecision=15000 #constraints=14420 492.36/492.67 c nbDecision=15500 #constraints=14868 530.55/530.85 c nbDecision=16000 #constraints=15334 573.34/573.68 c nbDecision=16500 #constraints=15823 617.73/618.02 c nbDecision=17000 #constraints=16314 661.93/662.23 c nbDecision=17500 #constraints=16797 709.12/709.49 c nbDecision=18000 #constraints=17283 757.90/758.29 c nbDecision=18500 #constraints=17767 771.99/772.32 c nbDecision=19000 #constraints=18259 831.47/831.84 c nbDecision=19500 #constraints=18751 900.76/901.15 c nbDecision=20000 #constraints=19244 971.94/972.37 c nbDecision=20500 #constraints=19737 1027.93/1028.39 c nbDecision=21000 #constraints=20231 1091.02/1091.49 c nbDecision=21500 #constraints=20723 1151.59/1152.09 c nbDecision=22000 #constraints=21210 1216.59/1217.03 c nbDecision=22500 #constraints=21671 1280.47/1280.96 c nbDecision=23000 #constraints=22139 1345.95/1346.43 c nbDecision=23500 #constraints=22609 1408.23/1408.76 c nbDecision=24000 #constraints=23057 1476.51/1477.07 c nbDecision=24500 #constraints=23555 1540.20/1540.77 c nbDecision=25000 #constraints=24050 1616.38/1617.00 c nbDecision=25500 #constraints=24543 1630.37/1630.97 c restart after 25601 decisions 1675.57/1676.18 c nbDecision=26000 #constraints=25009 1749.95/1750.58 c nbDecision=26500 #constraints=25500 1800.04/1800.60 Received signal 15 1800.14/1800.71 1800.14/1800.71 s UNKNOWN 1800.14/1800.71 1800.14/1800.71 c user time= 1799.98 s 1800.14/1800.71 c system time= 0.179972 s 1800.14/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb mv /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb.tmp /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-431743-1178009875 -o ROOT/results/node60/solver-431743-1178009875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431743-1178009875/instance-431743-1178009875.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.92 0.98 0.99 3/64 510 /proc/meminfo: memFree=1772312/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=1468 CPUtime=0 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 248897493 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 367 165 132 317 0 46 0 [startup+0.054162 s] /proc/loadavg: 0.92 0.98 0.99 3/64 510 /proc/meminfo: memFree=1772312/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=1732 CPUtime=0.05 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 254 0 0 0 5 0 0 0 18 0 1 0 248897493 1773568 237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 433 237 139 317 0 112 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1732 [startup+0.101165 s] /proc/loadavg: 0.92 0.98 0.99 3/64 510 /proc/meminfo: memFree=1772312/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=1864 CPUtime=0.09 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 280 0 0 0 9 0 0 0 18 0 1 0 248897493 1908736 263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 466 263 139 317 0 145 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1864 [startup+0.301185 s] /proc/loadavg: 0.92 0.98 0.99 3/64 510 /proc/meminfo: memFree=1772312/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=2252 CPUtime=0.29 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 382 0 0 0 29 0 0 0 19 0 1 0 248897493 2306048 365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 563 365 139 317 0 242 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2252 [startup+0.701224 s] /proc/loadavg: 0.92 0.98 0.99 3/64 510 /proc/meminfo: memFree=1772312/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=3040 CPUtime=0.69 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 573 0 0 0 69 0 0 0 22 0 1 0 248897493 3112960 556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 760 556 139 317 0 439 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3040 [startup+1.5013 s] /proc/loadavg: 0.92 0.98 0.99 2/65 511 /proc/meminfo: memFree=1769936/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=4632 CPUtime=1.49 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 984 0 0 0 149 0 0 0 25 0 1 0 248897493 4743168 967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 1158 967 139 317 0 837 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4632 [startup+3.10146 s] /proc/loadavg: 0.92 0.98 0.99 2/65 511 /proc/meminfo: memFree=1767632/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=7460 CPUtime=3.09 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 1663 0 0 0 308 1 0 0 25 0 1 0 248897493 7639040 1646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 1865 1646 139 317 0 1544 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7460 [startup+6.30177 s] /proc/loadavg: 0.93 0.98 0.99 2/65 511 /proc/meminfo: memFree=1763856/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=10240 CPUtime=6.29 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 2399 0 0 0 628 1 0 0 25 0 1 0 248897493 10485760 2382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 2560 2382 170 317 0 2239 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10240 [startup+12.7024 s] /proc/loadavg: 0.93 0.98 0.99 2/65 511 /proc/meminfo: memFree=1760976/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=12900 CPUtime=12.69 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 3014 0 0 0 1267 2 0 0 25 0 1 0 248897493 13209600 2997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 3225 2997 170 317 0 2904 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12900 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 511 /proc/meminfo: memFree=1757904/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=15884 CPUtime=25.48 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 3733 0 0 0 2546 2 0 0 25 0 1 0 248897493 16265216 3716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 3971 3716 170 317 0 3650 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15884 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/65 511 /proc/meminfo: memFree=1753616/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=20156 CPUtime=51.08 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 4790 0 0 0 5104 4 0 0 25 0 1 0 248897493 20639744 4773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 5039 4773 170 317 0 4718 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20156 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 511 /proc/meminfo: memFree=1748048/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=26132 CPUtime=102.26 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 6216 0 0 0 10222 4 0 0 25 0 1 0 248897493 26759168 6141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 6533 6141 170 317 0 6212 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 26132 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 511 /proc/meminfo: memFree=1744912/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=29460 CPUtime=162.25 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 6996 0 0 0 16220 5 0 0 25 0 1 0 248897493 30167040 6921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 7365 6921 170 317 0 7044 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 29460 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/71 677 /proc/meminfo: memFree=1740616/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=32780 CPUtime=222.15 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 7728 0 0 0 22209 6 0 0 25 0 1 0 248897493 33566720 7653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 8195 7653 170 317 0 7874 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 32780 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1740048/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=34596 CPUtime=282.12 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 8189 0 0 0 28205 7 0 0 25 0 1 0 248897493 35426304 8114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 8649 8114 170 317 0 8328 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 34596 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1737552/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=37160 CPUtime=342.1 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 8788 0 0 0 34202 8 0 0 25 0 1 0 248897493 38051840 8713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 9290 8713 170 317 0 8969 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 37160 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1735568/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=38984 CPUtime=402.09 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 9286 0 0 0 40200 9 0 0 25 0 1 0 248897493 39919616 9211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 9746 9211 170 317 0 9425 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 38984 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1733648/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=40876 CPUtime=462.07 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 9749 0 0 0 46198 9 0 0 25 0 1 0 248897493 41857024 9674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 10219 9674 170 317 0 9898 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 40876 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1731600/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=42904 CPUtime=522.05 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 10277 0 0 0 52196 9 0 0 25 0 1 0 248897493 43933696 10202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718453 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 10726 10202 170 317 0 10405 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 42904 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1729872/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=44608 CPUtime=582.04 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 10708 0 0 0 58194 10 0 0 25 0 1 0 248897493 45678592 10633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 11152 10633 170 317 0 10831 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 44608 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1728144/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=46440 CPUtime=642.03 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 11138 0 0 0 64193 10 0 0 25 0 1 0 248897493 47554560 11063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 11610 11063 170 317 0 11289 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 46440 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1721296/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=54324 CPUtime=881.97 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 12946 0 0 0 88185 12 0 0 25 0 1 0 248897493 55627776 12756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 13581 12756 170 317 0 13260 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 54324 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1720208/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=55632 CPUtime=941.95 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 13230 0 0 0 94183 12 0 0 25 0 1 0 248897493 56967168 13040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604396 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 13908 13040 170 317 0 13587 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 55632 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1718864/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=56812 CPUtime=1001.94 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 13550 0 0 0 100181 13 0 0 25 0 1 0 248897493 58175488 13360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 14203 13360 170 317 0 13882 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 56812 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1717520/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=58368 CPUtime=1061.92 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 13899 0 0 0 106179 13 0 0 25 0 1 0 248897493 59768832 13709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 14592 13709 170 317 0 14271 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 58368 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1716304/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=59696 CPUtime=1121.91 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 14198 0 0 0 112177 14 0 0 25 0 1 0 248897493 61128704 14008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 14924 14008 170 317 0 14603 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 59696 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1715088/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=61196 CPUtime=1181.89 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 14561 0 0 0 118175 14 0 0 25 0 1 0 248897493 62664704 14305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 15299 14305 170 317 0 14978 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 61196 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1713936/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=62492 CPUtime=1241.88 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 14879 0 0 0 124173 15 0 0 25 0 1 0 248897493 63991808 14590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 15623 14590 170 317 0 15302 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 62492 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1712784/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=63540 CPUtime=1301.87 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 15142 0 0 0 130172 15 0 0 25 0 1 0 248897493 65064960 14853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 15885 14853 170 317 0 15564 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 63540 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1711568/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=64728 CPUtime=1361.85 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 15455 0 0 0 136170 15 0 0 25 0 1 0 248897493 66281472 15166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 16182 15166 170 317 0 15861 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 64728 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1710480/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=65644 CPUtime=1421.83 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 15716 0 0 0 142168 15 0 0 25 0 1 0 248897493 67219456 15427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 16411 15427 170 317 0 16090 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 65644 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1709392/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=66708 CPUtime=1481.81 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 15985 0 0 0 148166 15 0 0 25 0 1 0 248897493 68308992 15696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 16677 15696 170 317 0 16356 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 66708 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1708176/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=67944 CPUtime=1541.8 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 16289 0 0 0 154164 16 0 0 25 0 1 0 248897493 69574656 16000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 16986 16000 170 317 0 16665 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 67944 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1707216/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=69244 CPUtime=1601.78 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 16594 0 0 0 160162 16 0 0 25 0 1 0 248897493 70905856 16239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 17311 16239 170 317 0 16990 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 69244 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1706000/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=70568 CPUtime=1661.77 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 16937 0 0 0 166160 17 0 0 25 0 1 0 248897493 72261632 16549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718338 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 17642 16549 170 317 0 17321 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 70568 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1704976/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=71628 CPUtime=1721.76 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 17221 0 0 0 172159 17 0 0 25 0 1 0 248897493 73347072 16800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 17907 16800 170 317 0 17586 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 71628 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1703824/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=72812 CPUtime=1781.74 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 17502 0 0 0 178157 17 0 0 25 0 1 0 248897493 74559488 17081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 18203 17081 170 317 0 17882 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 72812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1703568/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=73200 CPUtime=1800.04 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 17594 0 0 0 179987 17 0 0 25 0 1 0 248897493 74956800 17140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 18300 17140 170 317 0 17979 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 73200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/65 709 /proc/meminfo: memFree=1703568/2055920 swapFree=4183296/4192956 [pid=510] ppid=508 vsize=73200 CPUtime=1800.14 /proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 17594 0 0 0 179997 17 0 0 25 0 1 0 248897493 74956800 17140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/510/statm: 18300 17140 170 317 0 17979 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 73200 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.17 CPU user time (s): 1799.98 CPU system time (s): 0.19197 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 73200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.19197 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17610 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= 2606 runsolver used 1.21981 second user time and 3.75543 second system time The end
Begin job on node60 on Tue May 1 08:57:55 UTC 2007 IDJOB= 431743 IDBENCH= 48073 IDSOLVER= 172 FILE ID= node60/431743-1178009875 PBS_JOBID= 4728309 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/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb COMMAND LINE= oree /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node60/convwatcher-431743-1178009875 -o ROOT/results/node60/conversion-431743-1178009875 -C 600 -M 1800 /tmp/evaluation/431743-1178009875/substituteSizeProductKeyword /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-431743-1178009875 -o ROOT/results/node60/solver-431743-1178009875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= feb866c77c1922bd09324402c14b21f3 RANDOM SEED= 690674944 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1772656 kB Buffers: 32460 kB Cached: 176392 kB SwapCached: 3580 kB Active: 62620 kB Inactive: 156408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1772656 kB SwapTotal: 4192956 kB SwapFree: 4183296 kB Dirty: 1316 kB Writeback: 0 kB Mapped: 16188 kB Slab: 50180 kB Committed_AS: 2956444 kB PageTables: 1468 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 node60 on Tue May 1 09:27:58 UTC 2007