Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb |
MD5SUM | a7b7899aac4e8bbad83795fe620e3d59 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 200 |
Best CPU time to get the best result obtained on this benchmark | 0.012997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 200 |
Optimality of the best value was proved | YES |
Number of variables | 400 |
Total number of constraints | 600 |
Number of constraints which are clauses | 599 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 400 |
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 | 400 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
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=400 #constraints=601 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.02/0.09 c restart after 401 decisions 0.09/0.11 c nbDecision=500 #constraints=799 0.09/0.19 c restart after 801 decisions 0.19/0.24 c nbDecision=1000 #constraints=989 0.49/0.50 c nbDecision=1500 #constraints=1267 0.49/0.57 c restart after 1601 decisions 0.69/0.76 c nbDecision=2000 #constraints=1523 1.29/1.30 c nbDecision=2500 #constraints=1855 1.89/1.91 c nbDecision=3000 #constraints=2177 2.19/2.22 c restart after 3201 decisions 2.49/2.54 c nbDecision=3500 #constraints=2479 3.19/3.29 c nbDecision=4000 #constraints=2799 4.89/4.95 c nbDecision=4500 #constraints=3204 6.69/6.77 c nbDecision=5000 #constraints=3600 8.69/8.72 c nbDecision=5500 #constraints=3958 11.68/11.72 c nbDecision=6000 #constraints=4329 13.09/13.12 c restart after 6401 decisions 13.19/13.27 c nbDecision=6500 #constraints=4560 14.19/14.25 c nbDecision=7000 #constraints=4765 16.39/16.42 c nbDecision=7500 #constraints=5041 19.19/19.27 c nbDecision=8000 #constraints=5359 21.49/21.54 c nbDecision=8500 #constraints=5627 24.99/25.03 c nbDecision=9000 #constraints=5953 32.08/32.13 c nbDecision=9500 #constraints=6360 38.18/38.20 c nbDecision=10000 #constraints=6761 44.57/44.67 c nbDecision=10500 #constraints=7129 50.27/50.33 c nbDecision=11000 #constraints=7425 57.58/57.62 c nbDecision=11500 #constraints=7770 66.87/66.92 c nbDecision=12000 #constraints=8137 74.87/74.95 c nbDecision=12500 #constraints=8504 80.27/80.34 c restart after 12801 decisions 83.17/83.28 c nbDecision=13000 #constraints=8843 89.97/90.01 c nbDecision=13500 #constraints=9109 97.46/97.56 c nbDecision=14000 #constraints=9438 112.26/112.33 c nbDecision=14500 #constraints=9856 127.16/127.21 c nbDecision=15000 #constraints=10257 142.35/142.40 c nbDecision=15500 #constraints=10650 158.85/158.90 c nbDecision=16000 #constraints=11052 177.14/177.28 c nbDecision=16500 #constraints=11472 192.84/193.00 c nbDecision=17000 #constraints=11850 213.24/213.31 c nbDecision=17500 #constraints=12247 230.84/230.98 c nbDecision=18000 #constraints=12608 248.83/248.92 c nbDecision=18500 #constraints=12937 273.02/273.12 c nbDecision=19000 #constraints=13352 289.92/290.04 c nbDecision=19500 #constraints=13718 304.91/305.09 c nbDecision=20000 #constraints=14071 319.81/319.90 c nbDecision=20500 #constraints=14418 338.50/338.65 c nbDecision=21000 #constraints=14816 356.90/357.00 c nbDecision=21500 #constraints=15184 379.39/379.54 c nbDecision=22000 #constraints=15555 406.69/406.80 c nbDecision=22500 #constraints=15956 423.48/423.69 c nbDecision=23000 #constraints=16284 441.98/442.16 c nbDecision=23500 #constraints=16575 460.78/460.98 c nbDecision=24000 #constraints=16902 486.57/486.76 c nbDecision=24500 #constraints=17327 512.95/513.15 c nbDecision=25000 #constraints=17724 542.64/542.88 c nbDecision=25500 #constraints=18154 548.54/548.77 c restart after 25601 decisions 570.65/570.84 c nbDecision=26000 #constraints=18524 599.03/599.30 c nbDecision=26500 #constraints=18935 622.23/622.41 c nbDecision=27000 #constraints=19289 645.72/645.96 c nbDecision=27500 #constraints=19661 674.91/675.16 c nbDecision=28000 #constraints=20050 701.00/701.25 c nbDecision=28500 #constraints=20426 727.10/727.35 c nbDecision=29000 #constraints=20804 768.19/768.47 c nbDecision=29500 #constraints=21236 809.88/810.19 c nbDecision=30000 #constraints=21648 846.47/846.71 c nbDecision=30500 #constraints=22014 879.76/880.02 c nbDecision=31000 #constraints=22419 918.86/919.17 c nbDecision=31500 #constraints=22841 954.45/954.72 c nbDecision=32000 #constraints=23200 993.83/994.18 c nbDecision=32500 #constraints=23573 1037.62/1037.92 c nbDecision=33000 #constraints=23963 1090.41/1090.74 c nbDecision=33500 #constraints=24391 1137.89/1138.29 c nbDecision=34000 #constraints=24787 1176.08/1176.49 c nbDecision=34500 #constraints=25147 1213.78/1214.19 c nbDecision=35000 #constraints=25500 1252.47/1252.87 c nbDecision=35500 #constraints=25853 1290.76/1291.16 c nbDecision=36000 #constraints=26240 1339.84/1340.23 c nbDecision=36500 #constraints=26663 1388.43/1388.86 c nbDecision=37000 #constraints=27071 1438.71/1439.13 c nbDecision=37500 #constraints=27475 1496.80/1497.25 c nbDecision=38000 #constraints=27904 1561.09/1561.55 c nbDecision=38500 #constraints=28325 1621.67/1622.15 c nbDecision=39000 #constraints=28722 1668.16/1668.60 c nbDecision=39500 #constraints=29074 1714.44/1714.90 c nbDecision=40000 #constraints=29412 1757.73/1758.20 c nbDecision=40500 #constraints=29779 1800.03/1800.50 Received signal 15 1800.23/1800.71 1800.23/1800.71 s UNKNOWN 1800.23/1800.71 1800.23/1800.71 c user time= 1800.13 s 1800.23/1800.71 c system time= 0.113982 s 1800.23/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-364736-1176988495 -o ROOT/results/node65/solver-364736-1176988495 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364736-1176988495/instance-364736-1176988495.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: 1.02 1.01 1.00 3/64 9422 /proc/meminfo: memFree=1602304/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=1468 CPUtime=0 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 174839141 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134624374 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 367 165 130 317 0 46 0 [startup+0.0254069 s] /proc/loadavg: 1.02 1.01 1.00 3/64 9422 /proc/meminfo: memFree=1602304/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=1736 CPUtime=0.02 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 240 0 0 0 2 0 0 0 18 0 1 0 174839141 1777664 222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 434 222 139 317 0 113 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1736 [startup+0.101413 s] /proc/loadavg: 1.02 1.01 1.00 3/64 9422 /proc/meminfo: memFree=1602304/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=1868 CPUtime=0.09 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 276 0 0 0 9 0 0 0 18 0 1 0 174839141 1912832 258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 467 258 139 317 0 146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1868 [startup+0.30143 s] /proc/loadavg: 1.02 1.01 1.00 3/64 9422 /proc/meminfo: memFree=1602304/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=2132 CPUtime=0.29 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 358 0 0 0 29 0 0 0 19 0 1 0 174839141 2183168 340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530399 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 533 340 139 317 0 212 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2132 [startup+0.701463 s] /proc/loadavg: 1.02 1.01 1.00 3/64 9422 /proc/meminfo: memFree=1602304/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=2656 CPUtime=0.69 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 486 0 0 0 69 0 0 0 23 0 1 0 174839141 2719744 468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 664 468 139 317 0 343 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2656 [startup+1.50153 s] /proc/loadavg: 1.02 1.01 1.00 2/65 9423 /proc/meminfo: memFree=1600632/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=3444 CPUtime=1.49 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 672 0 0 0 149 0 0 0 25 0 1 0 174839141 3526656 654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604157 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 861 654 139 317 0 540 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3444 [startup+3.10166 s] /proc/loadavg: 1.02 1.01 1.00 2/65 9423 /proc/meminfo: memFree=1599544/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=4648 CPUtime=3.09 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 971 0 0 0 309 0 0 0 25 0 1 0 174839141 4759552 953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711003 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 1162 953 139 317 0 841 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4648 [startup+6.30193 s] /proc/loadavg: 1.02 1.01 1.00 2/65 9423 /proc/meminfo: memFree=1597752/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=6092 CPUtime=6.29 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 1317 0 0 0 629 0 0 0 25 0 1 0 174839141 6238208 1299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 1523 1299 139 317 0 1202 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6092 [startup+12.7015 s] /proc/loadavg: 1.02 1.01 1.00 2/65 9423 /proc/meminfo: memFree=1595896/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=7812 CPUtime=12.68 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 1715 0 0 0 1268 0 0 0 25 0 1 0 174839141 7999488 1697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 1953 1697 139 317 0 1632 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7812 [startup+25.5015 s] /proc/loadavg: 1.01 1.01 1.00 2/65 9423 /proc/meminfo: memFree=1593208/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=10480 CPUtime=25.49 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 2356 0 0 0 2548 1 0 0 25 0 1 0 174839141 10731520 2338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 2620 2338 139 317 0 2299 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10480 [startup+51.1016 s] /proc/loadavg: 1.01 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1590712/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=13040 CPUtime=51.07 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 2969 0 0 0 5106 1 0 0 25 0 1 0 174839141 13352960 2951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 3260 2951 139 317 0 2939 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13040 [startup+102.306 s] /proc/loadavg: 1.04 1.02 1.00 2/65 9423 /proc/meminfo: memFree=1587000/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=16868 CPUtime=102.27 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 3929 0 0 0 10225 2 0 0 25 0 1 0 174839141 17272832 3854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 4217 3854 139 317 0 3896 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16868 [startup+162.302 s] /proc/loadavg: 1.06 1.03 1.00 2/65 9423 /proc/meminfo: memFree=1584632/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=19288 CPUtime=162.25 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 4525 0 0 0 16222 3 0 0 25 0 1 0 174839141 19750912 4450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 4822 4450 139 317 0 4501 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 19288 [startup+222.302 s] /proc/loadavg: 1.06 1.03 1.00 2/65 9423 /proc/meminfo: memFree=1582584/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=21340 CPUtime=222.24 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 5019 0 0 0 22220 4 0 0 25 0 1 0 174839141 21852160 4944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 5335 4944 139 317 0 5014 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 21340 [startup+282.302 s] /proc/loadavg: 1.05 1.04 1.00 2/65 9423 /proc/meminfo: memFree=1580920/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=23344 CPUtime=282.22 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 5448 0 0 0 28218 4 0 0 25 0 1 0 174839141 23904256 5373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 5836 5373 139 317 0 5515 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23344 [startup+342.302 s] /proc/loadavg: 1.02 1.03 1.00 2/65 9423 /proc/meminfo: memFree=1578552/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=25880 CPUtime=342.2 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 6019 0 0 0 34216 4 0 0 25 0 1 0 174839141 26501120 5944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 6470 5944 139 317 0 6149 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 25880 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9423 /proc/meminfo: memFree=1577080/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=27452 CPUtime=402.19 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 6400 0 0 0 40214 5 0 0 25 0 1 0 174839141 28110848 6325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 6863 6325 139 317 0 6542 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 27452 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9423 /proc/meminfo: memFree=1575352/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=29676 CPUtime=462.17 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 6941 0 0 0 46212 5 0 0 25 0 1 0 174839141 30388224 6752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 7419 6752 139 317 0 7098 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 29676 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9423 /proc/meminfo: memFree=1573624/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=31428 CPUtime=522.15 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 7373 0 0 0 52210 5 0 0 25 0 1 0 174839141 32182272 7184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 7857 7184 139 317 0 7536 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 31428 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1572216/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=32772 CPUtime=582.14 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 7729 0 0 0 58208 6 0 0 25 0 1 0 174839141 33558528 7540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 8193 7540 139 317 0 7872 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 32772 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1570616/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=34220 CPUtime=642.13 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 8127 0 0 0 64207 6 0 0 25 0 1 0 174839141 35041280 7938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 8555 7938 139 317 0 8234 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 34220 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1563960/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=41212 CPUtime=942.05 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 9852 0 0 0 94197 8 0 0 25 0 1 0 174839141 42201088 9597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 10303 9597 139 317 0 9982 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 41212 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1562936/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=42388 CPUtime=1002.03 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 10172 0 0 0 100195 8 0 0 25 0 1 0 174839141 43405312 9851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 10597 9851 139 317 0 10276 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 42388 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1562104/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=43168 CPUtime=1062.01 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 10366 0 0 0 106193 8 0 0 25 0 1 0 174839141 44204032 10045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 10792 10045 139 317 0 10471 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 43168 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1561400/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=44228 CPUtime=1122 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 10641 0 0 0 112192 8 0 0 25 0 1 0 174839141 45289472 10221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 11057 10221 139 317 0 10736 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 44228 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1560568/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=45028 CPUtime=1181.98 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 10855 0 0 0 118190 8 0 0 25 0 1 0 174839141 46108672 10435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 11257 10435 139 317 0 10936 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 45028 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1559544/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=46332 CPUtime=1241.97 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 11163 0 0 0 124188 9 0 0 25 0 1 0 174839141 47443968 10677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 11583 10677 139 317 0 11262 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 46332 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1558584/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=47260 CPUtime=1301.96 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 11407 0 0 0 130187 9 0 0 25 0 1 0 174839141 48394240 10921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 11815 10921 139 317 0 11494 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 47260 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1557688/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=48268 CPUtime=1361.94 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 11653 0 0 0 136185 9 0 0 25 0 1 0 174839141 49426432 11134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 12067 11134 139 317 0 11746 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 48268 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=1556920/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=49048 CPUtime=1421.92 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 11861 0 0 0 142183 9 0 0 25 0 1 0 174839141 50225152 11342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 12262 11342 139 317 0 11941 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 49048 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9425 /proc/meminfo: memFree=1555960/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=49828 CPUtime=1481.91 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12096 0 0 0 148181 10 0 0 25 0 1 0 174839141 51023872 11544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 12457 11544 139 317 0 12136 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 49828 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9425 /proc/meminfo: memFree=1555448/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=50348 CPUtime=1541.89 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12243 0 0 0 154179 10 0 0 25 0 1 0 174839141 51556352 11691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 12587 11691 139 317 0 12266 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 50348 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9425 /proc/meminfo: memFree=1554872/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=50868 CPUtime=1601.87 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12385 0 0 0 160177 10 0 0 25 0 1 0 174839141 52088832 11833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 12717 11833 139 317 0 12396 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 50868 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9425 /proc/meminfo: memFree=1554104/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=51384 CPUtime=1661.86 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12562 0 0 0 166176 10 0 0 25 0 1 0 174839141 52617216 12010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 12846 12010 139 317 0 12525 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 51384 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9425 /proc/meminfo: memFree=1553464/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=52068 CPUtime=1721.85 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12733 0 0 0 172174 11 0 0 25 0 1 0 174839141 53317632 12181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 13017 12181 139 317 0 12696 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 52068 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9425 /proc/meminfo: memFree=1552504/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=53032 CPUtime=1781.83 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12989 0 0 0 178172 11 0 0 25 0 1 0 174839141 54304768 12404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 13258 12404 139 317 0 12937 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 53032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9425 /proc/meminfo: memFree=1552376/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=53296 CPUtime=1800.03 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 13033 0 0 0 179992 11 0 0 25 0 1 0 174839141 54575104 12448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 13324 12448 139 317 0 13003 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 53296 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: 1.00 1.00 1.00 2/66 9426 /proc/meminfo: memFree=1552368/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=53296 CPUtime=1800.13 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 13033 0 0 0 180002 11 0 0 25 0 1 0 174839141 54575104 12448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 13324 12448 139 317 0 13003 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 53296 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9426 /proc/meminfo: memFree=1552368/2055920 swapFree=4184012/4192956 [pid=9422] ppid=9420 vsize=53296 CPUtime=1800.23 /proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 13034 0 0 0 180012 11 0 0 25 0 1 0 174839141 54575104 12449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9422/statm: 13324 12449 139 317 0 13003 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 53296 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.26 CPU user time (s): 1800.14 CPU system time (s): 0.122981 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 53296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.14 system time used= 0.122981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13050 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= 1739 runsolver used 1.41078 second user time and 3.53746 second system time The end
Begin job on node65 on Thu Apr 19 13:14:55 UTC 2007 IDJOB= 364736 IDBENCH= 2147 IDSOLVER= 172 FILE ID= node65/364736-1176988495 PBS_JOBID= 4630420 Free space on /tmp= 66400 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-aim-200-2_0-yes1-3.opb COMMAND LINE= oree /tmp/evaluation/364736-1176988495/instance-364736-1176988495.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-364736-1176988495 -o ROOT/results/node65/solver-364736-1176988495 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364736-1176988495/instance-364736-1176988495.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a7b7899aac4e8bbad83795fe620e3d59 RANDOM SEED= 5205431 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1602712 kB Buffers: 27244 kB Cached: 371516 kB SwapCached: 2712 kB Active: 204368 kB Inactive: 208624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1602712 kB SwapTotal: 4192956 kB SwapFree: 4184012 kB Dirty: 1328 kB Writeback: 0 kB Mapped: 20252 kB Slab: 26228 kB Committed_AS: 2290020 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66400 MiB End job on node65 on Thu Apr 19 13:44:58 UTC 2007