Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.52 | 1801.16 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb |
MD5SUM | d484bc8efed557f17788965b19feafe5 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 33.113 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4602 |
Total number of constraints | 30179 |
Number of constraints which are clauses | 29160 |
Number of constraints which are cardinality constraints (but not clauses) | 941 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 103 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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.29/0.30 c ...done 0.29/0.30 c #vars=4602 #constraints=30353 hasObjective=no 0.29/0.33 c res. mode=mod 0.29/0.33 c VSIDS like heuristics 0.29/0.33 c complete search running 0.99/1.08 c restart after 401 decisions 1.09/1.14 c nbDecision=500 #constraints=30574 1.89/1.92 c restart after 801 decisions 2.29/2.31 c nbDecision=1000 #constraints=30831 3.79/3.87 c nbDecision=1500 #constraints=31194 4.29/4.32 c restart after 1601 decisions 5.28/5.35 c nbDecision=2000 #constraints=31522 7.79/7.82 c nbDecision=2500 #constraints=31990 10.99/11.09 c nbDecision=3000 #constraints=32460 12.78/12.80 c restart after 3201 decisions 13.78/13.86 c nbDecision=3500 #constraints=32856 16.28/16.33 c nbDecision=4000 #constraints=33319 19.38/19.42 c nbDecision=4500 #constraints=33783 23.28/23.33 c nbDecision=5000 #constraints=34243 28.48/28.54 c nbDecision=5500 #constraints=34726 34.58/34.68 c nbDecision=6000 #constraints=35205 39.28/39.30 c restart after 6401 decisions 39.68/39.80 c nbDecision=6500 #constraints=35539 44.47/44.54 c nbDecision=7000 #constraints=36021 50.07/50.14 c nbDecision=7500 #constraints=36454 54.77/54.88 c nbDecision=8000 #constraints=36906 59.56/59.69 c nbDecision=8500 #constraints=37383 65.46/65.50 c nbDecision=9000 #constraints=37799 72.76/72.86 c nbDecision=9500 #constraints=38222 79.66/79.72 c nbDecision=10000 #constraints=38599 81.56/81.67 c nbDecision=10500 #constraints=38998 84.16/84.25 c nbDecision=11000 #constraints=39444 87.35/87.44 c nbDecision=11500 #constraints=39861 91.46/91.53 c nbDecision=12000 #constraints=40300 96.56/96.66 c nbDecision=12500 #constraints=40729 99.86/99.98 c restart after 12801 decisions 101.06/101.15 c nbDecision=13000 #constraints=41092 104.95/105.03 c nbDecision=13500 #constraints=41569 109.96/110.03 c nbDecision=14000 #constraints=42055 115.94/116.04 c nbDecision=14500 #constraints=42530 122.64/122.73 c nbDecision=15000 #constraints=42993 130.75/130.86 c nbDecision=15500 #constraints=43463 138.34/138.47 c nbDecision=16000 #constraints=43927 146.63/146.75 c nbDecision=16500 #constraints=44365 155.74/155.84 c nbDecision=17000 #constraints=44813 166.33/166.46 c nbDecision=17500 #constraints=45192 179.52/179.68 c nbDecision=18000 #constraints=45626 193.82/193.94 c nbDecision=18500 #constraints=46081 209.82/209.93 c nbDecision=19000 #constraints=46547 224.70/224.81 c nbDecision=19500 #constraints=46994 242.21/242.35 c nbDecision=20000 #constraints=47431 258.50/258.64 c nbDecision=20500 #constraints=47863 278.49/278.65 c nbDecision=21000 #constraints=48311 297.59/297.75 c nbDecision=21500 #constraints=48731 317.27/317.43 c nbDecision=22000 #constraints=49148 338.97/339.14 c nbDecision=22500 #constraints=49596 363.76/363.90 c nbDecision=23000 #constraints=50032 392.56/392.77 c nbDecision=23500 #constraints=50462 407.54/407.75 c nbDecision=24000 #constraints=50822 412.44/412.66 c nbDecision=24500 #constraints=51258 418.54/418.77 c nbDecision=25000 #constraints=51732 425.54/425.75 c nbDecision=25500 #constraints=52191 426.94/427.19 c restart after 25601 decisions 440.23/440.40 c nbDecision=26000 #constraints=52546 458.32/458.52 c nbDecision=26500 #constraints=53026 478.72/478.94 c nbDecision=27000 #constraints=53486 498.21/498.42 c nbDecision=27500 #constraints=53914 520.10/520.39 c nbDecision=28000 #constraints=54357 543.40/543.64 c nbDecision=28500 #constraints=54808 567.99/568.29 c nbDecision=29000 #constraints=55287 588.28/588.53 c nbDecision=29500 #constraints=55685 603.58/603.86 c nbDecision=30000 #constraints=56157 620.57/620.84 c nbDecision=30500 #constraints=56629 640.36/640.69 c nbDecision=31000 #constraints=57103 660.86/661.17 c nbDecision=31500 #constraints=57566 683.45/683.71 c nbDecision=32000 #constraints=58044 707.34/707.67 c nbDecision=32500 #constraints=58480 729.33/729.64 c nbDecision=33000 #constraints=58875 753.33/753.62 c nbDecision=33500 #constraints=59291 783.21/783.51 c nbDecision=34000 #constraints=59742 814.20/814.52 c nbDecision=34500 #constraints=60185 846.99/847.38 c nbDecision=35000 #constraints=60646 880.18/880.55 c nbDecision=35500 #constraints=61107 912.47/912.81 c nbDecision=36000 #constraints=61560 948.15/948.54 c nbDecision=36500 #constraints=62017 986.34/986.70 c nbDecision=37000 #constraints=62488 1027.73/1028.11 c nbDecision=37500 #constraints=62958 1065.92/1066.38 c nbDecision=38000 #constraints=63409 1102.20/1102.64 c nbDecision=38500 #constraints=63854 1140.78/1141.26 c nbDecision=39000 #constraints=64297 1184.67/1185.13 c nbDecision=39500 #constraints=64779 1225.26/1225.79 c nbDecision=40000 #constraints=65232 1269.95/1270.45 c nbDecision=40500 #constraints=65713 1314.72/1315.27 c nbDecision=41000 #constraints=66193 1362.71/1363.22 c nbDecision=41500 #constraints=66650 1408.59/1409.14 c nbDecision=42000 #constraints=67074 1452.37/1452.95 c nbDecision=42500 #constraints=67476 1497.16/1497.75 c nbDecision=43000 #constraints=67913 1547.74/1548.32 c nbDecision=43500 #constraints=68356 1595.83/1596.48 c nbDecision=44000 #constraints=68787 1644.31/1644.96 c nbDecision=44500 #constraints=69200 1696.89/1697.58 c nbDecision=45000 #constraints=69634 1755.57/1756.30 c nbDecision=45500 #constraints=70113 1800.06/1800.70 Received signal 15 1800.45/1801.12 1800.45/1801.12 s UNKNOWN 1800.45/1801.12 1800.45/1801.12 c user time= 1800.11 s 1800.45/1801.12 c system time= 0.374943 s 1800.45/1801.12 c wall clock time=1801.12
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-362112-1176845111 -o ROOT/results/node66/solver-362112-1176845111 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362112-1176845111/instance-362112-1176845111.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.93 0.93 3/64 10283 /proc/meminfo: memFree=1870776/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=1468 CPUtime=0 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 160500715 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 367 162 131 317 0 46 0 [startup+0.0560369 s] /proc/loadavg: 0.91 0.93 0.93 3/64 10283 /proc/meminfo: memFree=1870776/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=2656 CPUtime=0.05 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 460 0 0 0 5 0 0 0 18 0 1 0 160500715 2719744 442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 664 442 131 317 0 343 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2656 [startup+0.101046 s] /proc/loadavg: 0.91 0.93 0.93 3/64 10283 /proc/meminfo: memFree=1870776/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=3580 CPUtime=0.09 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 160500715 3665920 680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 895 680 131 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.301084 s] /proc/loadavg: 0.91 0.93 0.93 3/64 10283 /proc/meminfo: memFree=1870776/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=7804 CPUtime=0.29 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 1751 0 0 0 29 0 0 0 19 0 1 0 160500715 7991296 1733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 1951 1733 131 317 0 1630 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7804 [startup+0.701163 s] /proc/loadavg: 0.91 0.93 0.93 3/64 10283 /proc/meminfo: memFree=1870776/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=12552 CPUtime=0.69 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 2970 0 0 0 69 0 0 0 22 0 1 0 160500715 12853248 2744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 3138 2744 139 317 0 2817 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12552 [startup+1.50132 s] /proc/loadavg: 0.91 0.93 0.93 2/65 10284 /proc/meminfo: memFree=1860080/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=12552 CPUtime=1.49 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 2972 0 0 0 149 0 0 0 25 0 1 0 160500715 12853248 2746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272945 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 3138 2746 139 317 0 2817 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12552 [startup+3.10164 s] /proc/loadavg: 0.91 0.93 0.93 2/65 10284 /proc/meminfo: memFree=1859568/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=13864 CPUtime=3.09 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 3299 0 0 0 308 1 0 0 25 0 1 0 160500715 14196736 3073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 3466 3073 139 317 0 3145 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13864 [startup+6.30128 s] /proc/loadavg: 0.91 0.93 0.93 2/65 10284 /proc/meminfo: memFree=1857200/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=15968 CPUtime=6.28 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 3834 0 0 0 627 1 0 0 25 0 1 0 160500715 16351232 3608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 3992 3610 139 317 0 3671 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15968 [startup+12.7016 s] /proc/loadavg: 0.92 0.93 0.93 2/65 10284 /proc/meminfo: memFree=1853552/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=19136 CPUtime=12.68 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 4634 0 0 0 1266 2 0 0 25 0 1 0 160500715 19595264 4408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 4784 4408 139 317 0 4463 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19136 [startup+25.5011 s] /proc/loadavg: 0.94 0.93 0.93 2/65 10284 /proc/meminfo: memFree=1847024/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=25880 CPUtime=25.48 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 6267 0 0 0 2545 3 0 0 25 0 1 0 160500715 26501120 6008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530385 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 6470 6008 139 317 0 6149 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25880 [startup+51.1012 s] /proc/loadavg: 0.96 0.94 0.93 2/65 10284 /proc/meminfo: memFree=1840432/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=32364 CPUtime=51.07 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 7920 0 0 0 5102 5 0 0 25 0 1 0 160500715 33140736 7661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 8091 7661 139 317 0 7770 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32364 [startup+102.305 s] /proc/loadavg: 0.98 0.94 0.93 2/65 10284 /proc/meminfo: memFree=1821936/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=50796 CPUtime=102.26 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 12521 0 0 0 10215 11 0 0 25 0 1 0 160500715 52015104 12262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272945 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 12699 12262 139 317 0 12378 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 50796 [startup+162.302 s] /proc/loadavg: 0.99 0.95 0.93 2/65 10284 /proc/meminfo: memFree=1809136/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=63776 CPUtime=162.23 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 15699 0 0 0 16209 14 0 0 25 0 1 0 160500715 65306624 15440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 15944 15440 139 317 0 15623 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 63776 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.93 2/65 10284 /proc/meminfo: memFree=1801968/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=70908 CPUtime=222.21 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 17496 0 0 0 22206 15 0 0 25 0 1 0 160500715 72609792 17237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 17727 17237 139 317 0 17406 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 70908 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.93 2/65 10284 /proc/meminfo: memFree=1795760/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=77784 CPUtime=282.18 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 19042 0 0 0 28202 16 0 0 25 0 1 0 160500715 79650816 18783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 19446 18783 139 317 0 19125 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 77784 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10284 /proc/meminfo: memFree=1790448/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=83152 CPUtime=342.17 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 20345 0 0 0 34199 18 0 0 25 0 1 0 160500715 85147648 20086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 20788 20086 139 317 0 20467 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 83152 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10284 /proc/meminfo: memFree=1786288/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=87524 CPUtime=402.15 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 21384 0 0 0 40196 19 0 0 25 0 1 0 160500715 89624576 21125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 21881 21125 139 317 0 21560 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 87524 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10284 /proc/meminfo: memFree=1777776/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=96512 CPUtime=462.12 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 23508 0 0 0 46192 20 0 0 25 0 1 0 160500715 98828288 23249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 24128 23249 139 317 0 23807 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 96512 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10284 /proc/meminfo: memFree=1774256/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=100152 CPUtime=522.1 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 24398 0 0 0 52189 21 0 0 25 0 1 0 160500715 102555648 24139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 25038 24139 139 317 0 24717 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 100152 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10284 /proc/meminfo: memFree=1770928/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=103188 CPUtime=582.08 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 25200 0 0 0 58186 22 0 0 25 0 1 0 160500715 105664512 24941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604372 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 25797 24941 139 317 0 25476 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 103188 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10284 /proc/meminfo: memFree=1764912/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=109396 CPUtime=642.06 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 26684 0 0 0 64183 23 0 0 25 0 1 0 160500715 112021504 26425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 27349 26425 139 317 0 27028 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 109396 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1745328/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=131228 CPUtime=941.95 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 31991 0 0 0 94166 29 0 0 25 0 1 0 160500715 134377472 31317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 32807 31317 139 317 0 32486 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 131228 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1742064/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=134696 CPUtime=1001.94 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 32792 0 0 0 100164 30 0 0 25 0 1 0 160500715 137928704 32118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 33674 32118 139 317 0 33353 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 134696 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1739312/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=137560 CPUtime=1061.92 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 33475 0 0 0 106161 31 0 0 25 0 1 0 160500715 140861440 32801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 34390 32801 139 317 0 34069 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 137560 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1736624/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=140292 CPUtime=1121.89 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 34147 0 0 0 112158 31 0 0 25 0 1 0 160500715 143659008 33473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 35073 33473 139 317 0 34752 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 140292 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1733808/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=143216 CPUtime=1181.87 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 34880 0 0 0 118155 32 0 0 25 0 1 0 160500715 146653184 34173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 35804 34173 139 317 0 35483 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 143216 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1730800/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=146288 CPUtime=1241.85 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 35629 0 0 0 124153 32 0 0 25 0 1 0 160500715 149798912 34922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 36572 34922 139 317 0 36251 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 146288 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1727600/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=149568 CPUtime=1301.83 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 36474 0 0 0 130150 33 0 0 25 0 1 0 160500715 153157632 35702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604138 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 37392 35702 139 317 0 37071 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 149568 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1724912/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=152592 CPUtime=1361.81 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 37131 0 0 0 136147 34 0 0 25 0 1 0 160500715 156254208 36359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 38148 36359 139 317 0 37827 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 152592 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1722736/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=154600 CPUtime=1421.79 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 37707 0 0 0 142145 34 0 0 25 0 1 0 160500715 158310400 36935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 38650 36935 170 317 0 38329 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 154600 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1720624/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=156824 CPUtime=1481.77 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 38239 0 0 0 148142 35 0 0 25 0 1 0 160500715 160587776 37467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 39206 37467 170 317 0 38885 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 156824 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1718320/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=159460 CPUtime=1541.74 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 38787 0 0 0 154139 35 0 0 25 0 1 0 160500715 163287040 38015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 39865 38015 170 317 0 39544 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 159460 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1716208/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=162356 CPUtime=1601.73 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 39316 0 0 0 160137 36 0 0 25 0 1 0 160500715 166252544 38544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 40589 38544 170 317 0 40268 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 162356 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1714160/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=164748 CPUtime=1661.7 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 39821 0 0 0 166134 36 0 0 25 0 1 0 160500715 168701952 39049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 41187 39049 170 317 0 40866 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 164748 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1712240/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=166980 CPUtime=1721.68 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 40317 0 0 0 172132 36 0 0 25 0 1 0 160500715 170987520 39545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 41745 39545 170 317 0 41424 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 166980 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1710320/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=168960 CPUtime=1781.66 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 40764 0 0 0 178129 37 0 0 25 0 1 0 160500715 173015040 39992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 42240 39992 170 317 0 41919 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 168960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1709680/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=169884 CPUtime=1800.06 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 40937 0 0 0 179969 37 0 0 25 0 1 0 160500715 173961216 40165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 42471 40165 170 317 0 42150 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 169884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1709680/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=169884 CPUtime=1800.35 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 40937 0 0 0 179998 37 0 0 25 0 1 0 160500715 173961216 40165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 42471 40165 170 317 0 42150 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 169884 [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.93 2/65 10286 /proc/meminfo: memFree=1709680/2055920 swapFree=4176828/4192956 [pid=10283] ppid=10281 vsize=169884 CPUtime=1800.45 /proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 40937 0 0 0 180008 37 0 0 25 0 1 0 160500715 173961216 40165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10283/statm: 42471 40165 170 317 0 42150 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (KiB) 169884 Child status: 0 Real time (s): 1801.16 CPU time (s): 1800.52 CPU user time (s): 1800.12 CPU system time (s): 0.401938 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 169884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.12 system time used= 0.401938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40953 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= 2495 runsolver used 1.19282 second user time and 3.75243 second system time The end
Begin job on node66 on Tue Apr 17 21:25:11 UTC 2007 IDJOB= 362112 IDBENCH= 1500 IDSOLVER= 172 FILE ID= node66/362112-1176845111 PBS_JOBID= 4590183 Free space on /tmp= 66444 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb COMMAND LINE= oree /tmp/evaluation/362112-1176845111/instance-362112-1176845111.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-362112-1176845111 -o ROOT/results/node66/solver-362112-1176845111 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362112-1176845111/instance-362112-1176845111.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d484bc8efed557f17788965b19feafe5 RANDOM SEED= 881497963 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1871184 kB Buffers: 13144 kB Cached: 114248 kB SwapCached: 9832 kB Active: 23452 kB Inactive: 119736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1871184 kB SwapTotal: 4192956 kB SwapFree: 4176828 kB Dirty: 2484 kB Writeback: 0 kB Mapped: 15668 kB Slab: 27636 kB Committed_AS: 753092 kB PageTables: 1376 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= 66444 MiB End job on node66 on Tue Apr 17 21:55:14 UTC 2007