Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 54 | 1800.15 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a1.opb |
MD5SUM | 2e974af763e555a73d17fc5f836f5561 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 54 |
Best CPU time to get the best result obtained on this benchmark | 0.382941 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 54 |
Optimality of the best value was proved | YES |
Number of variables | 132 |
Total number of constraints | 252 |
Number of constraints which are clauses | 252 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
Number of terms in the objective function | 132 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 132 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 132 |
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.00/0.00 c ...done 0.00/0.00 c #vars=132 #constraints=253 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.00/0.00 c nbDecision=40 #constraints=259 0.00/0.00 c linear search for optimum 0.00/0.00 o 60 0.00/0.07 c nbDecision=155 #constraints=326 0.00/0.07 o 59 0.29/0.30 c restart after 401 decisions 0.39/0.43 c nbDecision=500 #constraints=541 0.79/0.89 c restart after 801 decisions 1.20/1.27 c nbDecision=1000 #constraints=864 2.29/2.34 c nbDecision=1500 #constraints=1156 2.49/2.60 c restart after 1601 decisions 3.89/3.94 c nbDecision=2000 #constraints=1465 6.29/6.35 c nbDecision=2500 #constraints=1778 9.39/9.41 c nbDecision=3000 #constraints=2073 10.69/10.71 c restart after 3201 decisions 12.09/12.15 c nbDecision=3430 #constraints=2286 12.09/12.15 o 54 12.59/12.61 c nbDecision=3500 #constraints=2341 17.38/17.47 c nbDecision=4000 #constraints=2680 22.99/23.00 c nbDecision=4500 #constraints=2959 29.79/29.83 c nbDecision=5000 #constraints=3277 35.68/35.76 c nbDecision=5500 #constraints=3582 42.58/42.63 c nbDecision=6000 #constraints=3827 49.08/49.16 c restart after 6401 decisions 50.48/50.52 c nbDecision=6500 #constraints=4003 58.88/58.94 c nbDecision=7000 #constraints=4189 67.18/67.25 c nbDecision=7500 #constraints=4365 74.77/74.83 c nbDecision=8000 #constraints=4664 84.27/84.39 c nbDecision=8500 #constraints=4912 95.56/95.69 c nbDecision=9000 #constraints=5099 105.37/105.40 c nbDecision=9500 #constraints=5327 116.16/116.29 c nbDecision=10000 #constraints=5489 132.76/132.84 c nbDecision=10500 #constraints=5737 151.95/152.00 c nbDecision=11000 #constraints=6014 167.95/168.07 c nbDecision=11500 #constraints=6237 185.54/185.60 c nbDecision=12000 #constraints=6490 204.33/204.48 c nbDecision=12500 #constraints=6764 216.43/216.57 c restart after 12801 decisions 221.33/221.45 c nbDecision=13000 #constraints=6980 234.83/234.93 c nbDecision=13500 #constraints=7172 249.92/250.05 c nbDecision=14000 #constraints=7370 267.63/267.77 c nbDecision=14500 #constraints=7570 287.42/287.54 c nbDecision=15000 #constraints=7787 301.71/301.85 c nbDecision=15500 #constraints=7952 323.11/323.20 c nbDecision=16000 #constraints=8200 338.40/338.53 c nbDecision=16500 #constraints=8541 349.89/350.00 c nbDecision=17000 #constraints=8812 365.59/365.75 c nbDecision=17500 #constraints=9050 397.28/397.49 c nbDecision=18000 #constraints=9332 426.78/426.91 c nbDecision=18500 #constraints=9586 454.57/454.74 c nbDecision=19000 #constraints=9827 485.66/485.89 c nbDecision=19500 #constraints=10083 499.65/499.88 c nbDecision=20000 #constraints=10374 518.45/518.60 c nbDecision=20500 #constraints=10659 543.55/543.75 c nbDecision=21000 #constraints=10846 567.34/567.53 c nbDecision=21500 #constraints=11029 580.94/581.10 c nbDecision=22000 #constraints=11327 601.03/601.26 c nbDecision=22500 #constraints=11605 626.52/626.72 c nbDecision=23000 #constraints=11770 654.01/654.22 c nbDecision=23500 #constraints=11947 682.71/682.92 c nbDecision=24000 #constraints=12131 710.00/710.23 c nbDecision=24500 #constraints=12320 725.59/725.87 c nbDecision=25000 #constraints=12628 742.79/743.03 c nbDecision=25500 #constraints=12893 748.89/749.16 c restart after 25601 decisions 769.79/770.01 c nbDecision=26000 #constraints=13043 786.98/787.22 c nbDecision=26500 #constraints=13308 819.07/819.32 c nbDecision=27000 #constraints=13604 849.16/849.44 c nbDecision=27500 #constraints=13941 882.25/882.54 c nbDecision=28000 #constraints=14230 933.54/933.85 c nbDecision=28500 #constraints=14525 972.03/972.33 c nbDecision=29000 #constraints=14816 1012.61/1012.94 c nbDecision=29500 #constraints=15135 1058.31/1058.62 c nbDecision=30000 #constraints=15347 1111.79/1112.18 c nbDecision=30500 #constraints=15593 1168.67/1169.03 c nbDecision=31000 #constraints=15852 1205.16/1205.51 c nbDecision=31500 #constraints=16015 1245.25/1245.69 c nbDecision=32000 #constraints=16193 1279.54/1279.92 c nbDecision=32500 #constraints=16460 1330.43/1330.82 c nbDecision=33000 #constraints=16684 1370.73/1371.15 c nbDecision=33500 #constraints=16970 1410.31/1410.76 c nbDecision=34000 #constraints=17136 1460.90/1461.37 c nbDecision=34500 #constraints=17355 1498.09/1498.52 c nbDecision=35000 #constraints=17656 1547.97/1548.48 c nbDecision=35500 #constraints=17858 1590.76/1591.27 c nbDecision=36000 #constraints=18030 1639.65/1640.19 c nbDecision=36500 #constraints=18222 1667.64/1668.12 c nbDecision=37000 #constraints=18466 1704.13/1704.63 c nbDecision=37500 #constraints=18632 1729.23/1729.71 c nbDecision=38000 #constraints=18916 1765.22/1765.78 c nbDecision=38500 #constraints=19058 1800.01/1800.50 Received signal 15 1800.11/1800.62 1800.11/1800.62 s SATISFIABLE 1800.11/1800.62 v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 x18 x19 -x20 -x21 -x22 x23 -x24 -x25 x26 x27 -x28 -x29 -x30 1800.11/1800.62 v x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 x48 x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 x58 1800.11/1800.62 v x59 -x60 x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 1800.11/1800.62 v -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 -x97 x98 -x99 x100 x101 -x102 -x103 x104 -x105 x106 x107 -x108 -x109 x110 -x111 x112 1800.11/1800.62 v x113 -x114 -x115 x116 x117 -x118 -x119 x120 -x121 x122 -x123 x124 x125 -x126 x127 -x128 -x129 x130 -x131 x132 1800.11/1800.62 1800.11/1800.62 c user time= 1799.99 s 1800.11/1800.62 c system time= 0.141978 s 1800.11/1800.62 c wall clock time=1800.62
OK 54
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-364652-1176988254 -o ROOT/results/node57/solver-364652-1176988254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364652-1176988254/instance-364652-1176988254.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.97 0.97 3/64 19932 /proc/meminfo: memFree=1625672/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=1468 CPUtime=0 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 139961355 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 367 174 138 317 0 46 0 [startup+0.103216 s] /proc/loadavg: 0.91 0.97 0.97 3/64 19932 /proc/meminfo: memFree=1625672/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=1732 CPUtime=0.1 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 293 0 0 0 10 0 0 0 18 0 1 0 139961355 1773568 275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 433 275 170 317 0 112 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1732 [startup+0.201223 s] /proc/loadavg: 0.91 0.97 0.97 3/64 19932 /proc/meminfo: memFree=1625672/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=1996 CPUtime=0.19 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 351 0 0 0 19 0 0 0 18 0 1 0 139961355 2043904 333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 499 333 170 317 0 178 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1996 [startup+0.301232 s] /proc/loadavg: 0.91 0.97 0.97 3/64 19932 /proc/meminfo: memFree=1625672/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=2256 CPUtime=0.29 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 402 0 0 0 29 0 0 0 19 0 1 0 139961355 2310144 384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 564 384 170 317 0 243 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2256 [startup+0.701267 s] /proc/loadavg: 0.91 0.97 0.97 3/64 19932 /proc/meminfo: memFree=1625672/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=2932 CPUtime=0.69 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 573 0 0 0 69 0 0 0 22 0 1 0 139961355 3002368 555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 733 555 170 317 0 412 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2932 [startup+1.50134 s] /proc/loadavg: 0.91 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1623552/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=3720 CPUtime=1.49 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 790 0 0 0 149 0 0 0 25 0 1 0 139961355 3809280 772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563770 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 930 772 170 317 0 609 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3720 [startup+3.10148 s] /proc/loadavg: 0.91 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1622272/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=5172 CPUtime=3.09 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 1127 0 0 0 309 0 0 0 25 0 1 0 139961355 5296128 1109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714065 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 1293 1109 170 317 0 972 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5172 [startup+6.30175 s] /proc/loadavg: 0.92 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1620416/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=6620 CPUtime=6.29 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 1500 0 0 0 628 1 0 0 25 0 1 0 139961355 6778880 1482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711207 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 1655 1482 170 317 0 1334 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6620 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1618304/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=8772 CPUtime=12.69 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 2001 0 0 0 1268 1 0 0 25 0 1 0 139961355 8982528 1983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 2193 1983 170 317 0 1872 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8772 [startup+25.5014 s] /proc/loadavg: 0.94 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1616320/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=10540 CPUtime=25.49 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 2445 0 0 0 2547 2 0 0 25 0 1 0 139961355 10792960 2427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271308 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 2635 2427 170 317 0 2314 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10540 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1613888/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=12992 CPUtime=51.08 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 3044 0 0 0 5106 2 0 0 25 0 1 0 139961355 13303808 3026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604327 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 3248 3026 170 317 0 2927 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12992 [startup+102.301 s] /proc/loadavg: 0.98 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1610496/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=16696 CPUtime=102.27 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 3880 0 0 0 10224 3 0 0 25 0 1 0 139961355 17096704 3862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 4174 3862 170 317 0 3853 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16696 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1608448/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=18716 CPUtime=162.25 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 4398 0 0 0 16222 3 0 0 25 0 1 0 139961355 19165184 4380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 4679 4380 170 317 0 4358 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 18716 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1606400/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=20640 CPUtime=222.23 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 4888 0 0 0 22220 3 0 0 25 0 1 0 139961355 21135360 4870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 5160 4870 170 317 0 4839 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20640 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1604608/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=22372 CPUtime=282.22 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 5341 0 0 0 28218 4 0 0 25 0 1 0 139961355 22908928 5323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 5593 5323 170 317 0 5272 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 22372 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1602176/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=25376 CPUtime=342.2 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 5988 0 0 0 34216 4 0 0 25 0 1 0 139961355 25985024 5912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 6344 5912 170 317 0 6023 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 25376 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1600384/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=27364 CPUtime=402.18 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 6452 0 0 0 40213 5 0 0 25 0 1 0 139961355 28020736 6376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 6841 6376 170 317 0 6520 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 27364 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1599104/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=28824 CPUtime=462.17 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 6751 0 0 0 46211 6 0 0 25 0 1 0 139961355 29515776 6675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 7206 6675 170 317 0 6885 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 28824 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1597056/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=30876 CPUtime=522.14 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 7267 0 0 0 52208 6 0 0 25 0 1 0 139961355 31617024 7191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 7719 7191 170 317 0 7398 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 30876 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1595328/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=32608 CPUtime=582.14 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 7693 0 0 0 58207 7 0 0 25 0 1 0 139961355 33390592 7617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 8152 7617 170 317 0 7831 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 32608 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1593920/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=34124 CPUtime=642.11 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 8029 0 0 0 64204 7 0 0 25 0 1 0 139961355 34942976 7953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 8531 7953 170 317 0 8210 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 34124 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1587648/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=40184 CPUtime=882.05 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 9569 0 0 0 88195 10 0 0 25 0 1 0 139961355 41148416 9493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 10046 9493 170 317 0 9725 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 40184 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1586816/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=41100 CPUtime=942.04 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 9778 0 0 0 94193 11 0 0 25 0 1 0 139961355 42086400 9702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 10275 9702 170 317 0 9954 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 41100 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19933 /proc/meminfo: memFree=1585472/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=42440 CPUtime=1002.01 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 10112 0 0 0 100190 11 0 0 25 0 1 0 139961355 43458560 10036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 10610 10036 170 317 0 10289 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 42440 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1584768/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=42964 CPUtime=1062 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 10277 0 0 0 106188 12 0 0 25 0 1 0 139961355 43995136 10201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 10741 10201 170 317 0 10420 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 42964 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1584064/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=43756 CPUtime=1121.99 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 10449 0 0 0 112187 12 0 0 25 0 1 0 139961355 44806144 10373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 10939 10373 170 317 0 10618 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 43756 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1583360/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=44552 CPUtime=1181.97 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 10607 0 0 0 118185 12 0 0 25 0 1 0 139961355 45621248 10531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 11138 10531 170 317 0 10817 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 44552 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1582720/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=45080 CPUtime=1241.95 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 10763 0 0 0 124183 12 0 0 25 0 1 0 139961355 46161920 10687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 11270 10687 170 317 0 10949 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 45080 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1581696/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=45996 CPUtime=1301.94 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 11014 0 0 0 130182 12 0 0 25 0 1 0 139961355 47099904 10938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 11499 10938 170 317 0 11178 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 45996 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1580608/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=47632 CPUtime=1361.93 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 11393 0 0 0 136180 13 0 0 25 0 1 0 139961355 48775168 11202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 11908 11202 170 317 0 11587 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 47632 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1580160/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=48300 CPUtime=1421.91 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 11515 0 0 0 142178 13 0 0 25 0 1 0 139961355 49459200 11324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 12075 11324 170 317 0 11754 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 48300 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1579008/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=49740 CPUtime=1481.89 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 11827 0 0 0 148176 13 0 0 25 0 1 0 139961355 50933760 11603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 12435 11603 170 317 0 12114 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 49740 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1578240/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=50516 CPUtime=1541.88 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 12043 0 0 0 154175 13 0 0 25 0 1 0 139961355 51728384 11753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 12629 11753 170 317 0 12308 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 50516 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1577792/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=51304 CPUtime=1601.86 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 12219 0 0 0 160173 13 0 0 25 0 1 0 139961355 52535296 11896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 12826 11896 170 317 0 12505 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 51304 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1576832/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=52380 CPUtime=1661.84 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 12481 0 0 0 166171 13 0 0 25 0 1 0 139961355 53637120 12125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 13095 12125 170 317 0 12774 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 52380 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1575872/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=53608 CPUtime=1721.83 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 12760 0 0 0 172169 14 0 0 25 0 1 0 139961355 54894592 12371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 13402 12371 170 317 0 13081 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 53608 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1575040/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=54260 CPUtime=1781.81 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 12977 0 0 0 178167 14 0 0 25 0 1 0 139961355 55562240 12555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 13565 12555 170 317 0 13244 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 54260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1574848/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=54780 CPUtime=1800.01 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 13081 0 0 0 179987 14 0 0 25 0 1 0 139961355 56094720 12626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 13695 12626 170 317 0 13374 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 54780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.97 2/65 19935 /proc/meminfo: memFree=1574848/2055920 swapFree=4183112/4192956 [pid=19932] ppid=19930 vsize=54780 CPUtime=1800.11 /proc/19932/stat : 19932 (oree) R 19930 19932 19209 0 -1 4194304 13081 0 0 0 179997 14 0 0 25 0 1 0 139961355 56094720 12626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19932/statm: 13695 12626 170 317 0 13374 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 54780 Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.15 CPU user time (s): 1800 CPU system time (s): 0.150977 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 54780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.150977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13097 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= 1804 runsolver used 1.3178 second user time and 3.63745 second system time The end
Begin job on node57 on Thu Apr 19 13:10:54 UTC 2007 IDJOB= 364652 IDBENCH= 2138 IDSOLVER= 172 FILE ID= node57/364652-1176988254 PBS_JOBID= 4630425 Free space on /tmp= 66455 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb COMMAND LINE= oree /tmp/evaluation/364652-1176988254/instance-364652-1176988254.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-364652-1176988254 -o ROOT/results/node57/solver-364652-1176988254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364652-1176988254/instance-364652-1176988254.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 2e974af763e555a73d17fc5f836f5561 RANDOM SEED= 612671264 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1626080 kB Buffers: 7960 kB Cached: 374192 kB SwapCached: 3544 kB Active: 142136 kB Inactive: 249992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1626080 kB SwapTotal: 4192956 kB SwapFree: 4183112 kB Dirty: 1312 kB Writeback: 0 kB Mapped: 16060 kB Slab: 23864 kB Committed_AS: 914500 kB PageTables: 1408 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= 66455 MiB End job on node57 on Thu Apr 19 13:40:57 UTC 2007