Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.16 | 1800.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=53-P1=43-P2=37-P3=59-P4=29-P5=29-B.opb |
MD5SUM | db002b0dbb3c0b3c0fa9236f5eae018a |
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.063989 |
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 | 90 |
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 | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 180 |
Sum of products size (including duplicates) | 360 |
Number of different products | 180 |
Sum of products size | 360 |
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=270 #constraints=377 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.29/0.30 c restart after 401 decisions 0.29/0.36 c nbDecision=500 #constraints=816 0.59/0.63 c restart after 801 decisions 0.79/0.80 c nbDecision=1000 #constraints=1271 1.39/1.48 c nbDecision=1500 #constraints=1731 1.59/1.60 c restart after 1601 decisions 2.29/2.32 c nbDecision=2000 #constraints=2167 3.59/3.60 c nbDecision=2500 #constraints=2625 5.39/5.44 c nbDecision=3000 #constraints=3085 6.29/6.35 c restart after 3201 decisions 7.98/8.03 c nbDecision=3500 #constraints=3516 11.79/11.87 c nbDecision=4000 #constraints=3934 17.08/17.15 c nbDecision=4500 #constraints=4419 24.88/24.99 c nbDecision=5000 #constraints=4888 33.18/33.25 c nbDecision=5500 #constraints=5332 44.37/44.41 c nbDecision=6000 #constraints=5804 54.27/54.34 c restart after 6401 decisions 54.67/54.71 c nbDecision=6500 #constraints=6237 67.17/67.27 c nbDecision=7000 #constraints=6720 83.16/83.21 c nbDecision=7500 #constraints=7205 99.15/99.24 c nbDecision=8000 #constraints=7672 111.84/111.91 c nbDecision=8500 #constraints=8140 129.24/129.39 c nbDecision=9000 #constraints=8566 152.73/152.80 c nbDecision=9500 #constraints=9016 176.73/176.81 c nbDecision=10000 #constraints=9479 200.22/200.39 c nbDecision=10500 #constraints=9908 224.50/224.68 c nbDecision=11000 #constraints=10343 252.20/252.39 c nbDecision=11500 #constraints=10836 283.79/283.99 c nbDecision=12000 #constraints=11309 311.77/311.98 c nbDecision=12500 #constraints=11767 328.77/328.94 c restart after 12801 decisions 337.27/337.44 c nbDecision=13000 #constraints=12200 368.85/369.03 c nbDecision=13500 #constraints=12639 400.35/400.57 c nbDecision=14000 #constraints=13081 440.32/440.58 c nbDecision=14500 #constraints=13520 474.32/474.51 c nbDecision=15000 #constraints=13968 507.50/507.76 c nbDecision=15500 #constraints=14419 546.09/546.31 c nbDecision=16000 #constraints=14888 592.67/592.97 c nbDecision=16500 #constraints=15345 642.56/642.81 c nbDecision=17000 #constraints=15819 683.74/684.00 c nbDecision=17500 #constraints=16295 731.72/732.06 c nbDecision=18000 #constraints=16764 786.70/787.04 c nbDecision=18500 #constraints=17238 840.09/840.49 c nbDecision=19000 #constraints=17711 889.86/890.22 c nbDecision=19500 #constraints=18126 941.05/941.49 c nbDecision=20000 #constraints=18548 1002.51/1002.94 c nbDecision=20500 #constraints=19041 1066.60/1067.07 c nbDecision=21000 #constraints=19528 1127.28/1127.71 c nbDecision=21500 #constraints=19989 1191.05/1191.52 c nbDecision=22000 #constraints=20447 1250.43/1250.91 c nbDecision=22500 #constraints=20920 1316.00/1316.51 c nbDecision=23000 #constraints=21376 1338.20/1338.78 c nbDecision=23500 #constraints=21849 1361.79/1362.38 c nbDecision=24000 #constraints=22299 1385.98/1386.53 c nbDecision=24500 #constraints=22769 1405.87/1406.49 c nbDecision=25000 #constraints=23243 1427.17/1427.79 c nbDecision=25500 #constraints=23672 1430.66/1431.24 c restart after 25601 decisions 1444.96/1445.50 c nbDecision=26000 #constraints=24140 1473.04/1473.67 c nbDecision=26500 #constraints=24625 1500.74/1501.33 c nbDecision=27000 #constraints=25072 1526.03/1526.65 c nbDecision=27500 #constraints=25556 1556.61/1557.29 c nbDecision=28000 #constraints=26018 1585.11/1585.78 c nbDecision=28500 #constraints=26475 1619.69/1620.35 c nbDecision=29000 #constraints=26919 1643.79/1644.47 c nbDecision=29500 #constraints=27388 1680.07/1680.72 c nbDecision=30000 #constraints=27871 1713.06/1713.73 c nbDecision=30500 #constraints=28331 1743.85/1744.57 c nbDecision=31000 #constraints=28793 1780.64/1781.39 c nbDecision=31500 #constraints=29270 1800.03/1800.70 Received signal 15 1800.13/1800.81 1800.13/1800.81 s UNKNOWN 1800.13/1800.81 1800.13/1800.81 c user time= 1799.87 s 1800.13/1800.81 c system time= 0.273958 s 1800.13/1800.81 c wall clock time=1800.81
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431603-1178008208/instance-431603-1178008208.opb mv /tmp/evaluation/431603-1178008208/instance-431603-1178008208.opb.tmp /tmp/evaluation/431603-1178008208/instance-431603-1178008208.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-431603-1178008208 -o ROOT/results/node38/solver-431603-1178008208 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431603-1178008208/instance-431603-1178008208.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.91 0.95 0.97 3/77 24278 /proc/meminfo: memFree=1813120/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=1600 CPUtime=0 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 207 0 0 0 0 0 0 0 18 0 1 0 232987453 1638400 190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 400 191 137 317 0 79 0 [startup+0.00680311 s] /proc/loadavg: 0.91 0.95 0.97 3/77 24278 /proc/meminfo: memFree=1813120/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=1600 CPUtime=0 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 221 0 0 0 0 0 0 0 18 0 1 0 232987453 1638400 204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 400 204 139 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.101822 s] /proc/loadavg: 0.91 0.95 0.97 3/77 24278 /proc/meminfo: memFree=1813120/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=1860 CPUtime=0.1 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 284 0 0 0 10 0 0 0 18 0 1 0 232987453 1904640 267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 465 267 139 317 0 144 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1860 [startup+0.301859 s] /proc/loadavg: 0.91 0.95 0.97 3/77 24278 /proc/meminfo: memFree=1813120/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=2388 CPUtime=0.29 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 423 0 0 0 29 0 0 0 19 0 1 0 232987453 2445312 406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593368 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 597 406 139 317 0 276 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2388 [startup+0.701936 s] /proc/loadavg: 0.91 0.95 0.97 3/77 24278 /proc/meminfo: memFree=1813120/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=3424 CPUtime=0.69 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 662 0 0 0 69 0 0 0 23 0 1 0 232987453 3506176 645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 856 645 139 317 0 535 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3424 [startup+1.50109 s] /proc/loadavg: 0.91 0.95 0.97 2/78 24279 /proc/meminfo: memFree=1810360/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=4712 CPUtime=1.49 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 992 0 0 0 149 0 0 0 25 0 1 0 232987453 4825088 975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 1178 975 139 317 0 857 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4712 [startup+3.1014 s] /proc/loadavg: 0.91 0.95 0.97 2/78 24279 /proc/meminfo: memFree=1808696/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=6440 CPUtime=3.09 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 1445 0 0 0 309 0 0 0 25 0 1 0 232987453 6594560 1428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711114 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 1610 1428 170 317 0 1289 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6440 [startup+6.30201 s] /proc/loadavg: 0.92 0.95 0.97 2/78 24279 /proc/meminfo: memFree=1806336/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=8416 CPUtime=6.29 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 1927 0 0 0 629 0 0 0 25 0 1 0 232987453 8617984 1910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 2104 1910 170 317 0 1783 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8416 [startup+12.7012 s] /proc/loadavg: 0.93 0.95 0.97 2/78 24279 /proc/meminfo: memFree=1804160/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=10140 CPUtime=12.69 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 2375 0 0 0 1268 1 0 0 25 0 1 0 232987453 10383360 2358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 2535 2358 170 317 0 2214 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10140 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.97 2/78 24279 /proc/meminfo: memFree=1801792/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=12632 CPUtime=25.48 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 2936 0 0 0 2547 1 0 0 25 0 1 0 232987453 12935168 2919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 3158 2919 170 317 0 2837 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12632 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.97 2/78 24279 /proc/meminfo: memFree=1799040/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=15436 CPUtime=51.07 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 3608 0 0 0 5105 2 0 0 25 0 1 0 232987453 15806464 3591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 3859 3591 170 317 0 3538 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15436 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.97 2/78 24279 /proc/meminfo: memFree=1794688/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=19760 CPUtime=102.25 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 4681 0 0 0 10222 3 0 0 25 0 1 0 232987453 20234240 4664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 4940 4664 170 317 0 4619 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 19760 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1791552/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=23296 CPUtime=162.23 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 5509 0 0 0 16219 4 0 0 25 0 1 0 232987453 23855104 5434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 5824 5434 170 317 0 5503 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 23296 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1788928/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=25816 CPUtime=222.2 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 6136 0 0 0 22215 5 0 0 25 0 1 0 232987453 26435584 6061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 6454 6061 170 317 0 6133 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 25816 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1786688/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=28148 CPUtime=282.19 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 6703 0 0 0 28212 7 0 0 25 0 1 0 232987453 28823552 6628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 7037 6628 170 317 0 6716 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 28148 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1784192/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=30772 CPUtime=342.17 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 7324 0 0 0 34209 8 0 0 25 0 1 0 232987453 31510528 7249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 7693 7249 170 317 0 7372 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 30772 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1782272/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=32796 CPUtime=402.14 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 7805 0 0 0 40205 9 0 0 25 0 1 0 232987453 33583104 7730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 8199 7730 170 317 0 7878 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 32796 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1780672/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=34684 CPUtime=462.12 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 8221 0 0 0 46202 10 0 0 25 0 1 0 232987453 35516416 8146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 8671 8146 170 317 0 8350 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 34684 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1778880/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=36432 CPUtime=522.09 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 8655 0 0 0 52199 10 0 0 25 0 1 0 232987453 37306368 8580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 9108 8580 170 317 0 8787 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 36432 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1777536/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=37612 CPUtime=582.08 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 9001 0 0 0 58197 11 0 0 25 0 1 0 232987453 38514688 8926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 9403 8926 170 317 0 9082 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 37612 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1776064/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=39244 CPUtime=642.06 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 9352 0 0 0 64194 12 0 0 25 0 1 0 232987453 40185856 9277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 9811 9277 170 317 0 9490 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 39244 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1770880/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=45252 CPUtime=881.96 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 10742 0 0 0 88182 14 0 0 25 0 1 0 232987453 46338048 10553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 11313 10553 170 317 0 10992 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 45252 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1769792/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=46424 CPUtime=941.94 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 11025 0 0 0 94179 15 0 0 25 0 1 0 232987453 47538176 10836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 11606 10836 170 317 0 11285 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 46424 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1768640/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=47468 CPUtime=1001.91 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 11295 0 0 0 100176 15 0 0 25 0 1 0 232987453 48607232 11106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 11867 11106 170 317 0 11546 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 47468 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1767680/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=48516 CPUtime=1061.9 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 11547 0 0 0 106174 16 0 0 25 0 1 0 232987453 49680384 11358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 12129 11358 170 317 0 11808 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 48516 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1766400/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=49888 CPUtime=1121.88 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 11886 0 0 0 112171 17 0 0 25 0 1 0 232987453 51085312 11664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 12472 11664 170 317 0 12151 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 49888 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1765376/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=50940 CPUtime=1181.85 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 12131 0 0 0 118168 17 0 0 25 0 1 0 232987453 52162560 11909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604263 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 12735 11909 170 317 0 12414 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 50940 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1764288/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=51988 CPUtime=1241.83 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 12385 0 0 0 124165 18 0 0 25 0 1 0 232987453 53235712 12163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604164 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 12997 12163 170 317 0 12676 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 51988 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1763328/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=52932 CPUtime=1301.82 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 12629 0 0 0 130163 19 0 0 25 0 1 0 232987453 54202368 12407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 13233 12407 170 317 0 12912 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 52932 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1760896/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=55344 CPUtime=1361.79 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 13247 0 0 0 136159 20 0 0 25 0 1 0 232987453 56672256 13025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 13836 13025 170 317 0 13515 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 55344 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1757696/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=58620 CPUtime=1421.77 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 14037 0 0 0 142156 21 0 0 25 0 1 0 232987453 60026880 13815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533544 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 14655 13815 170 317 0 14334 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 58620 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1754944/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=61164 CPUtime=1481.74 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 14715 0 0 0 148152 22 0 0 25 0 1 0 232987453 62631936 14493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 15291 14493 170 317 0 14970 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 61164 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1752640/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=63700 CPUtime=1541.72 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 15287 0 0 0 154149 23 0 0 25 0 1 0 232987453 65228800 15065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 15925 15065 170 317 0 15604 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 63700 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1750464/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=65880 CPUtime=1601.7 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 15817 0 0 0 160146 24 0 0 25 0 1 0 232987453 67461120 15595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 16470 15595 170 317 0 16149 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 65880 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1748416/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=68132 CPUtime=1661.68 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 16347 0 0 0 166143 25 0 0 25 0 1 0 232987453 69767168 16125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 17033 16125 170 317 0 16712 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 68132 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1746048/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=70824 CPUtime=1721.66 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 16923 0 0 0 172140 26 0 0 25 0 1 0 232987453 72523776 16701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 17706 16701 170 317 0 17385 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 70824 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1744064/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=72796 CPUtime=1781.64 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 17421 0 0 0 178137 27 0 0 25 0 1 0 232987453 74543104 17199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 18199 17199 170 317 0 17878 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 72796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1743616/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=73180 CPUtime=1800.03 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 17537 0 0 0 179976 27 0 0 25 0 1 0 232987453 74936320 17315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 18295 17315 170 317 0 17974 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 73180 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.97 2/78 24279 /proc/meminfo: memFree=1743616/2055920 swapFree=4154564/4192956 [pid=24278] ppid=24276 vsize=73180 CPUtime=1800.13 /proc/24278/stat : 24278 (oree) R 24276 24278 23432 0 -1 4194304 17538 0 0 0 179986 27 0 0 25 0 1 0 232987453 74936320 17316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24278/statm: 18295 17316 170 317 0 17974 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 73180 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.16 CPU user time (s): 1799.87 CPU system time (s): 0.286956 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (KiB): 73180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.286956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17554 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= 38291 runsolver used 1.51677 second user time and 4.20336 second system time The end
Begin job on node38 on Tue May 1 08:30:08 UTC 2007 IDJOB= 431603 IDBENCH= 48063 IDSOLVER= 172 FILE ID= node38/431603-1178008208 PBS_JOBID= 4728267 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=6-P0=53-P1=43-P2=37-P3=59-P4=29-P5=29-B.opb COMMAND LINE= oree /tmp/evaluation/431603-1178008208/instance-431603-1178008208.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-431603-1178008208 -o ROOT/results/node38/conversion-431603-1178008208 -C 600 -M 1800 /tmp/evaluation/431603-1178008208/substituteSizeProductKeyword /tmp/evaluation/431603-1178008208/instance-431603-1178008208.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-431603-1178008208 -o ROOT/results/node38/solver-431603-1178008208 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431603-1178008208/instance-431603-1178008208.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= db002b0dbb3c0b3c0fa9236f5eae018a RANDOM SEED= 273909165 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1813528 kB Buffers: 39304 kB Cached: 120932 kB SwapCached: 6772 kB Active: 79776 kB Inactive: 103988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813528 kB SwapTotal: 4192956 kB SwapFree: 4154564 kB Dirty: 1328 kB Writeback: 0 kB Mapped: 30260 kB Slab: 43860 kB Committed_AS: 2899656 kB PageTables: 2064 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 node38 on Tue May 1 09:00:11 UTC 2007