Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.27 | 1800.89 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
MD5SUM | d761333f7ff9a755d3cd90e52b11f227 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 14400 |
Total number of constraints | 1088 |
Number of constraints which are clauses | 480 |
Number of constraints which are cardinality constraints (but not clauses) | 608 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 120 |
Maximum length of a constraint | 225 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 227 |
Number of bits of the biggest sum of numbers | 8 |
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.19/0.29 c ...done 0.19/0.29 c #vars=14400 #constraints=1088 hasObjective=no 0.29/0.34 c res. mode=mod 0.29/0.34 c VSIDS like heuristics 0.29/0.34 c complete search running 1.69/1.75 c restart after 401 decisions 1.99/2.04 c nbDecision=500 #constraints=1468 2.89/2.95 c restart after 801 decisions 3.49/3.50 c nbDecision=1000 #constraints=1803 7.09/7.15 c nbDecision=1500 #constraints=2159 7.79/7.87 c restart after 1601 decisions 10.89/10.94 c nbDecision=2000 #constraints=2437 14.38/14.46 c nbDecision=2500 #constraints=2698 18.79/18.81 c nbDecision=3000 #constraints=3026 20.09/20.17 c restart after 3201 decisions 23.38/23.46 c nbDecision=3500 #constraints=3288 31.38/31.42 c nbDecision=4000 #constraints=3720 43.38/43.42 c nbDecision=4500 #constraints=4133 50.77/50.81 c nbDecision=5000 #constraints=4476 59.77/59.82 c nbDecision=5500 #constraints=4784 68.77/68.80 c nbDecision=6000 #constraints=5117 76.36/76.44 c restart after 6401 decisions 78.86/78.98 c nbDecision=6500 #constraints=5411 86.86/86.98 c nbDecision=7000 #constraints=5804 95.95/96.03 c nbDecision=7500 #constraints=6145 108.15/108.20 c nbDecision=8000 #constraints=6565 118.94/119.06 c nbDecision=8500 #constraints=6992 129.94/130.02 c nbDecision=9000 #constraints=7455 143.14/143.24 c nbDecision=9500 #constraints=7813 159.04/159.14 c nbDecision=10000 #constraints=8261 172.82/172.98 c nbDecision=10500 #constraints=8620 187.13/187.20 c nbDecision=11000 #constraints=8940 204.22/204.30 c nbDecision=11500 #constraints=9211 223.01/223.16 c nbDecision=12000 #constraints=9574 249.70/249.81 c nbDecision=12500 #constraints=9917 262.59/262.71 c restart after 12801 decisions 272.60/272.75 c nbDecision=13000 #constraints=10119 290.78/290.91 c nbDecision=13500 #constraints=10447 310.18/310.38 c nbDecision=14000 #constraints=10789 332.28/332.48 c nbDecision=14500 #constraints=11109 357.96/358.20 c nbDecision=15000 #constraints=11521 381.06/381.26 c nbDecision=15500 #constraints=11793 405.76/405.93 c nbDecision=16000 #constraints=12087 438.34/438.57 c nbDecision=16500 #constraints=12468 466.83/467.03 c nbDecision=17000 #constraints=12717 494.92/495.12 c nbDecision=17500 #constraints=12994 523.31/523.53 c nbDecision=18000 #constraints=13339 556.10/556.37 c nbDecision=18500 #constraints=13652 591.89/592.10 c nbDecision=19000 #constraints=14027 631.18/631.47 c nbDecision=19500 #constraints=14397 666.76/667.08 c nbDecision=20000 #constraints=14692 699.95/700.26 c nbDecision=20500 #constraints=14971 740.14/740.43 c nbDecision=21000 #constraints=15337 784.32/784.63 c nbDecision=21500 #constraints=15623 821.51/821.85 c nbDecision=22000 #constraints=15945 865.09/865.42 c nbDecision=22500 #constraints=16268 906.88/907.27 c nbDecision=23000 #constraints=16613 954.37/954.78 c nbDecision=23500 #constraints=16982 1014.15/1014.57 c nbDecision=24000 #constraints=17374 1066.42/1066.88 c nbDecision=24500 #constraints=17695 1112.61/1113.07 c nbDecision=25000 #constraints=17961 1147.90/1148.40 c nbDecision=25500 #constraints=18436 1154.10/1154.56 c restart after 25601 decisions 1197.78/1198.25 c nbDecision=26000 #constraints=18717 1240.67/1241.14 c nbDecision=26500 #constraints=18964 1283.85/1284.38 c nbDecision=27000 #constraints=19288 1336.93/1337.48 c nbDecision=27500 #constraints=19608 1383.12/1383.65 c nbDecision=28000 #constraints=19924 1422.21/1422.79 c nbDecision=28500 #constraints=20270 1472.99/1473.57 c nbDecision=29000 #constraints=20612 1524.57/1525.18 c nbDecision=29500 #constraints=20904 1575.36/1575.98 c nbDecision=30000 #constraints=21257 1621.34/1621.90 c nbDecision=30500 #constraints=21597 1673.92/1674.60 c nbDecision=31000 #constraints=21984 1725.10/1725.72 c nbDecision=31500 #constraints=22334 1778.49/1779.14 c nbDecision=32000 #constraints=22742 1800.08/1800.71 Received signal 15 1800.08/1800.76 1800.08/1800.76 s UNKNOWN 1800.08/1800.76 1800.08/1800.76 c user time= 1799.35 s 1800.08/1800.76 c system time= 0.809876 s 1800.08/1800.76 c wall clock time=1800.77
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-356819-1176834426 -o ROOT/results/node46/solver-356819-1176834426 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356819-1176834426/instance-356819-1176834426.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.83 0.97 0.98 3/78 6891 /proc/meminfo: memFree=1454432/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=1468 CPUtime=0 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 38125661 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 367 164 131 317 0 46 0 [startup+0.0187329 s] /proc/loadavg: 0.83 0.97 0.98 3/78 6891 /proc/meminfo: memFree=1454432/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=1732 CPUtime=0.01 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 247 0 0 0 1 0 0 0 18 0 1 0 38125661 1773568 229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 433 229 131 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101748 s] /proc/loadavg: 0.83 0.97 0.98 3/78 6891 /proc/meminfo: memFree=1454432/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=3316 CPUtime=0.09 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 632 0 0 0 9 0 0 0 18 0 1 0 38125661 3395584 614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 829 614 131 317 0 508 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3316 [startup+0.301785 s] /proc/loadavg: 0.83 0.97 0.98 3/78 6891 /proc/meminfo: memFree=1454432/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=8196 CPUtime=0.29 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 1866 0 0 0 29 0 0 0 19 0 1 0 38125661 8392704 1848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 2049 1848 137 317 0 1728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8196 [startup+0.701859 s] /proc/loadavg: 0.83 0.97 0.98 3/78 6891 /proc/meminfo: memFree=1454432/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=10716 CPUtime=0.69 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 2488 0 0 0 68 1 0 0 22 0 1 0 38125661 10973184 2470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272594 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 2679 2470 139 317 0 2358 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10716 [startup+1.50201 s] /proc/loadavg: 0.83 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1443928/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=13884 CPUtime=1.49 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 3267 0 0 0 148 1 0 0 25 0 1 0 38125661 14217216 3249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 3471 3249 139 317 0 3150 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13884 [startup+3.1013 s] /proc/loadavg: 0.83 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1440152/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=18948 CPUtime=3.09 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 4512 0 0 0 307 2 0 0 25 0 1 0 38125661 19402752 4494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563529 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 4737 4494 139 317 0 4416 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18948 [startup+6.3019 s] /proc/loadavg: 0.84 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1429216/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=30136 CPUtime=6.29 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 7141 0 0 0 625 4 0 0 25 0 1 0 38125661 30859264 7123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 7534 7123 139 317 0 7213 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30136 [startup+12.7011 s] /proc/loadavg: 0.85 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1416416/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=42032 CPUtime=12.69 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 10171 0 0 0 1264 5 0 0 25 0 1 0 38125661 43040768 9928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713887 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 10508 9928 139 317 0 10187 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42032 [startup+25.5015 s] /proc/loadavg: 0.88 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1393824/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=65200 CPUtime=25.48 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 15672 0 0 0 2541 7 0 0 25 0 1 0 38125661 66764800 15371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 16300 15371 139 317 0 15979 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65200 [startup+51.1012 s] /proc/loadavg: 0.92 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1353184/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=109344 CPUtime=51.07 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 26537 0 0 0 5095 12 0 0 25 0 1 0 38125661 111968256 25622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 27336 25622 139 317 0 27015 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 109344 [startup+102.306 s] /proc/loadavg: 0.96 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1295776/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=169076 CPUtime=102.26 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 41103 0 0 0 10208 18 0 0 25 0 1 0 38125661 173133824 39712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 42269 39712 139 317 0 41948 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 169076 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1235424/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=233588 CPUtime=162.23 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 56826 0 0 0 16197 26 0 0 25 0 1 0 38125661 239194112 54892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 58397 54892 139 317 0 58076 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 233588 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1201888/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=268348 CPUtime=222.21 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 65116 0 0 0 22191 30 0 0 25 0 1 0 38125661 274788352 63132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 67087 63132 139 317 0 66766 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 268348 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1180320/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=291624 CPUtime=282.19 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 70841 0 0 0 28187 32 0 0 25 0 1 0 38125661 298622976 68602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 72906 68602 139 317 0 72585 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 291624 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1153440/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=319596 CPUtime=342.17 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 77527 0 0 0 34182 35 0 0 25 0 1 0 38125661 327266304 75227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 79899 75227 139 317 0 79578 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 319596 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1134048/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=339764 CPUtime=402.15 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 82390 0 0 0 40177 38 0 0 25 0 1 0 38125661 347918336 80030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 84941 80030 139 317 0 84620 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 339764 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6892 /proc/meminfo: memFree=1111200/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=364220 CPUtime=462.13 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 88315 0 0 0 46171 42 0 0 25 0 1 0 38125661 372961280 85733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 91055 85733 139 317 0 90734 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 364220 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=1095456/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=381648 CPUtime=522.11 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 92526 0 0 0 52167 44 0 0 25 0 1 0 38125661 390807552 89809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 95412 89809 139 317 0 95091 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 381648 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=1076832/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=401152 CPUtime=582.09 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 97168 0 0 0 58163 46 0 0 25 0 1 0 38125661 410779648 94414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 100288 94414 139 317 0 99967 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 401152 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=1055904/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=423164 CPUtime=642.07 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 102448 0 0 0 64159 48 0 0 25 0 1 0 38125661 433319936 99510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 105791 99510 139 317 0 105470 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 423164 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=998816/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=484024 CPUtime=881.99 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 117006 0 0 0 88143 56 0 0 25 0 1 0 38125661 495640576 113756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 121006 113756 139 317 0 120685 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 484024 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=983968/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=500896 CPUtime=941.97 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 121051 0 0 0 94139 58 0 0 25 0 1 0 38125661 512917504 117571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714652 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 125224 117571 139 317 0 124903 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 500896 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=964640/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=521340 CPUtime=1001.94 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 126268 0 0 0 100135 59 0 0 25 0 1 0 38125661 533852160 122311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 130335 122311 139 317 0 130014 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 521340 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=955680/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=531088 CPUtime=1061.93 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 128563 0 0 0 106133 60 0 0 25 0 1 0 38125661 543834112 124558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 132772 124558 139 317 0 132451 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 531088 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=946016/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=541356 CPUtime=1121.91 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 130988 0 0 0 112129 62 0 0 25 0 1 0 38125661 554348544 126956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563509 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 135339 126956 139 317 0 135018 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 541356 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=935584/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=552184 CPUtime=1181.89 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 133585 0 0 0 118125 64 0 0 25 0 1 0 38125661 565436416 129553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 138046 129553 139 317 0 137725 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 552184 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=928288/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=559860 CPUtime=1241.87 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 135413 0 0 0 124122 65 0 0 25 0 1 0 38125661 573296640 131381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 139965 131381 139 317 0 139644 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 559860 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=916064/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=572684 CPUtime=1301.85 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 138459 0 0 0 130119 66 0 0 25 0 1 0 38125661 586428416 134389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 143171 134389 139 317 0 142850 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 572684 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=905696/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=584268 CPUtime=1361.83 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 141212 0 0 0 136115 68 0 0 25 0 1 0 38125661 598290432 137107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 146067 137107 139 317 0 145746 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 584268 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=893984/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=596284 CPUtime=1421.81 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 144009 0 0 0 142111 70 0 0 25 0 1 0 38125661 610594816 139904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 149071 139904 139 317 0 148750 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 596284 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=881696/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=609652 CPUtime=1481.79 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 147389 0 0 0 148107 72 0 0 25 0 1 0 38125661 624283648 142992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 152413 142992 139 317 0 152092 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 609652 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=867552/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=625428 CPUtime=1541.76 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 151458 0 0 0 154103 73 0 0 25 0 1 0 38125661 640438272 146556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 156357 146556 139 317 0 156036 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 625428 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=858784/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=634432 CPUtime=1601.75 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 153755 0 0 0 160100 75 0 0 25 0 1 0 38125661 649658368 148712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 158608 148712 139 317 0 158287 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 634432 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=845088/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=649180 CPUtime=1661.72 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 157327 0 0 0 166096 76 0 0 25 0 1 0 38125661 664760320 152119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 162295 152119 139 317 0 161974 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 649180 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=835168/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=660076 CPUtime=1721.71 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 160012 0 0 0 172093 78 0 0 25 0 1 0 38125661 675917824 154652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 165019 154652 139 317 0 164698 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 660076 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=819168/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=677176 CPUtime=1781.69 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 164368 0 0 0 178089 80 0 0 25 0 1 0 38125661 693428224 158581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 169294 158581 139 317 0 168973 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 677176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/79 6894 /proc/meminfo: memFree=815904/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=680644 CPUtime=1800.08 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194304 165170 0 0 0 179928 80 0 0 25 0 1 0 38125661 696979456 159383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 170161 159383 139 317 0 169840 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 680644 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.98 2/79 6894 /proc/meminfo: memFree=815904/2055920 swapFree=4184556/4192956 [pid=6891] ppid=6889 vsize=0 CPUtime=1800.19 /proc/6891/stat : 6891 (oree) R 6889 6891 6792 0 -1 4194308 165188 0 0 0 179936 83 0 0 25 0 1 0 38125661 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6891/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.27 CPU user time (s): 1799.36 CPU system time (s): 0.910861 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 680644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.36 system time used= 0.910861 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 165188 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= 1767 runsolver used 1.75773 second user time and 4.80527 second system time The end
Begin job on node46 on Tue Apr 17 18:27:07 UTC 2007 IDJOB= 356819 IDBENCH= 1153 IDSOLVER= 172 FILE ID= node46/356819-1176834426 PBS_JOBID= 4590150 Free space on /tmp= 66154 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb COMMAND LINE= oree /tmp/evaluation/356819-1176834426/instance-356819-1176834426.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-356819-1176834426 -o ROOT/results/node46/solver-356819-1176834426 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356819-1176834426/instance-356819-1176834426.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227 RANDOM SEED= 322836777 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1454904 kB Buffers: 43252 kB Cached: 356112 kB SwapCached: 3060 kB Active: 326672 kB Inactive: 219168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1454904 kB SwapTotal: 4192956 kB SwapFree: 4184556 kB Dirty: 2900 kB Writeback: 0 kB Mapped: 161160 kB Slab: 40536 kB Committed_AS: 1899648 kB PageTables: 1988 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= 66154 MiB End job on node46 on Tue Apr 17 18:57:10 UTC 2007