Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.29 | 1800.92 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-4.opb |
MD5SUM | 172d8bfe30610a29dfe3bb9d98ed3f4c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6352 |
Total number of constraints | 13489 |
Number of constraints which are clauses | 13489 |
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 | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
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 | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
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.09/0.11 c ...done 0.09/0.11 c #vars=6352 #constraints=13490 hasObjective=yes 0.09/0.18 c res. mode=mod 0.09/0.18 c VSIDS like heuristics 0.09/0.18 c complete search running 3.79/3.84 c restart after 401 decisions 4.59/4.61 c nbDecision=500 #constraints=13935 8.39/8.43 c restart after 801 decisions 10.69/10.76 c nbDecision=1000 #constraints=14407 17.68/17.76 c nbDecision=1500 #constraints=14910 19.38/19.44 c restart after 1601 decisions 26.18/26.28 c nbDecision=2000 #constraints=15382 35.88/35.96 c nbDecision=2500 #constraints=15886 47.37/47.46 c nbDecision=3000 #constraints=16385 52.37/52.45 c restart after 3201 decisions 59.97/60.00 c nbDecision=3500 #constraints=16863 75.66/75.75 c nbDecision=4000 #constraints=17362 94.85/94.94 c nbDecision=4500 #constraints=17863 115.85/115.93 c nbDecision=5000 #constraints=18366 137.84/137.96 c nbDecision=5500 #constraints=18865 163.34/163.46 c nbDecision=6000 #constraints=19363 185.42/185.59 c restart after 6401 decisions 189.52/189.66 c nbDecision=6500 #constraints=19839 215.41/215.59 c nbDecision=7000 #constraints=20340 243.81/243.95 c nbDecision=7500 #constraints=20843 273.90/274.07 c nbDecision=8000 #constraints=21341 307.18/307.31 c nbDecision=8500 #constraints=21846 342.16/342.33 c nbDecision=9000 #constraints=22342 379.16/379.35 c nbDecision=9500 #constraints=22844 419.34/419.50 c nbDecision=10000 #constraints=23347 466.62/466.80 c nbDecision=10500 #constraints=23844 518.31/518.56 c nbDecision=11000 #constraints=24347 572.59/572.81 c nbDecision=11500 #constraints=24845 629.47/629.70 c nbDecision=12000 #constraints=25346 687.55/687.84 c nbDecision=12500 #constraints=25845 723.64/723.91 c restart after 12801 decisions 743.33/743.64 c nbDecision=13000 #constraints=26316 802.61/802.99 c nbDecision=13500 #constraints=26816 865.89/866.22 c nbDecision=14000 #constraints=27320 930.17/930.58 c nbDecision=14500 #constraints=27819 996.33/996.72 c nbDecision=15000 #constraints=28316 1066.31/1066.79 c nbDecision=15500 #constraints=28821 1140.99/1141.47 c nbDecision=16000 #constraints=29319 1226.26/1226.70 c nbDecision=16500 #constraints=29821 1314.03/1314.59 c nbDecision=17000 #constraints=30320 1405.00/1405.50 c nbDecision=17500 #constraints=30819 1496.87/1497.46 c nbDecision=18000 #constraints=31324 1578.13/1578.74 c nbDecision=18500 #constraints=31818 1662.71/1663.30 c nbDecision=19000 #constraints=32321 1748.98/1749.69 c nbDecision=19500 #constraints=32823 1800.07/1800.70 Received signal 15 1800.26/1800.90 1800.26/1800.90 s UNKNOWN 1800.26/1800.90 1800.26/1800.90 c user time= 1800.14 s 1800.26/1800.90 c system time= 0.131979 s 1800.26/1800.90 c wall clock time=1800.9
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-357140-1176988127 -o ROOT/results/node58/solver-357140-1176988127 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357140-1176988127/instance-357140-1176988127.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.66 0.92 0.97 3/64 24573 /proc/meminfo: memFree=1512640/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=1620 CPUtime=0 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 146722403 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134543082 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 405 175 126 317 0 84 0 [startup+0.0984499 s] /proc/loadavg: 0.66 0.92 0.97 3/64 24573 /proc/meminfo: memFree=1512640/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=3600 CPUtime=0.09 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 706 0 0 0 9 0 0 0 18 0 1 0 146722403 3686400 688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 900 689 130 317 0 579 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3600 [startup+0.10145 s] /proc/loadavg: 0.66 0.92 0.97 3/64 24573 /proc/meminfo: memFree=1512640/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=3732 CPUtime=0.09 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 723 0 0 0 9 0 0 0 18 0 1 0 146722403 3821568 705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 933 705 130 317 0 612 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3732 [startup+0.301483 s] /proc/loadavg: 0.66 0.92 0.97 3/64 24573 /proc/meminfo: memFree=1512640/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=6584 CPUtime=0.29 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 1451 0 0 0 29 0 0 0 19 0 1 0 146722403 6742016 1340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530416 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 1646 1340 138 317 0 1325 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6584 [startup+0.701549 s] /proc/loadavg: 0.66 0.92 0.97 3/64 24573 /proc/meminfo: memFree=1512640/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=6584 CPUtime=0.69 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 1451 0 0 0 69 0 0 0 22 0 1 0 146722403 6742016 1340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 1646 1340 138 317 0 1325 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6584 [startup+1.50168 s] /proc/loadavg: 0.66 0.92 0.97 2/65 24574 /proc/meminfo: memFree=1507576/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=6584 CPUtime=1.49 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 1451 0 0 0 149 0 0 0 25 0 1 0 146722403 6742016 1340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 1646 1340 138 317 0 1325 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6584 [startup+3.10295 s] /proc/loadavg: 0.66 0.92 0.97 2/65 24574 /proc/meminfo: memFree=1507448/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=6712 CPUtime=3.09 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 1496 0 0 0 309 0 0 0 25 0 1 0 146722403 6873088 1385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742731 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 1678 1385 138 317 0 1357 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6712 [startup+6.30149 s] /proc/loadavg: 0.69 0.92 0.97 2/65 24574 /proc/meminfo: memFree=1506936/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=7368 CPUtime=6.29 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 1644 0 0 0 628 1 0 0 25 0 1 0 146722403 7544832 1533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713810 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 1842 1533 138 317 0 1521 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7368 [startup+12.7016 s] /proc/loadavg: 0.71 0.92 0.97 2/65 24574 /proc/meminfo: memFree=1505800/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=8304 CPUtime=12.69 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 1893 0 0 0 1268 1 0 0 25 0 1 0 146722403 8503296 1782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 2076 1782 138 317 0 1755 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8304 [startup+25.5017 s] /proc/loadavg: 0.77 0.92 0.97 2/65 24574 /proc/meminfo: memFree=1504144/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=9884 CPUtime=25.48 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 2297 0 0 0 2547 1 0 0 25 0 1 0 146722403 10121216 2186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 2471 2186 138 317 0 2150 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9884 [startup+51.102 s] /proc/loadavg: 0.85 0.93 0.97 2/65 24574 /proc/meminfo: memFree=1501776/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=12288 CPUtime=51.07 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 2894 0 0 0 5105 2 0 0 25 0 1 0 146722403 12582912 2783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 3072 2783 138 317 0 2751 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12288 [startup+102.306 s] /proc/loadavg: 0.93 0.94 0.97 2/65 24574 /proc/meminfo: memFree=1498704/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=15552 CPUtime=102.25 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 3656 0 0 0 10223 2 0 0 25 0 1 0 146722403 15925248 3545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 3888 3545 138 317 0 3567 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 15552 [startup+162.302 s] /proc/loadavg: 0.97 0.95 0.97 2/65 24574 /proc/meminfo: memFree=1496016/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=18212 CPUtime=162.24 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 4318 0 0 0 16221 3 0 0 25 0 1 0 146722403 18649088 4207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 4553 4207 138 317 0 4232 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 18212 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.97 2/65 24574 /proc/meminfo: memFree=1493520/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=20624 CPUtime=222.21 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 4933 0 0 0 22218 3 0 0 25 0 1 0 146722403 21118976 4822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 5156 4822 138 317 0 4835 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 20624 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.97 2/65 24574 /proc/meminfo: memFree=1491536/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=22604 CPUtime=282.19 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 5423 0 0 0 28215 4 0 0 25 0 1 0 146722403 23146496 5312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604237 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 5651 5312 138 317 0 5330 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 22604 [startup+342.302 s] /proc/loadavg: 0.99 0.96 0.97 2/65 24574 /proc/meminfo: memFree=1489744/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=24676 CPUtime=342.16 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 5858 0 0 0 34212 4 0 0 25 0 1 0 146722403 25268224 5747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 6169 5747 138 317 0 5848 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 24676 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1488336/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=26264 CPUtime=402.15 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 6243 0 0 0 40210 5 0 0 25 0 1 0 146722403 26894336 6132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716123 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 6566 6132 138 317 0 6245 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 26264 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1486928/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=27644 CPUtime=462.12 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 6581 0 0 0 46207 5 0 0 25 0 1 0 146722403 28307456 6470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 6911 6470 138 317 0 6590 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 27644 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1485712/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=28708 CPUtime=522.11 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 6866 0 0 0 52205 6 0 0 25 0 1 0 146722403 29396992 6755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 7177 6755 138 317 0 6856 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 28708 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1484624/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=29940 CPUtime=582.08 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 7144 0 0 0 58202 6 0 0 25 0 1 0 146722403 30658560 7033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 7485 7033 138 317 0 7164 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 29940 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1483536/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=31024 CPUtime=642.07 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 7412 0 0 0 64200 7 0 0 25 0 1 0 146722403 31768576 7301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 7756 7301 138 317 0 7435 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 31024 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1477904/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=37508 CPUtime=941.96 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 8979 0 0 0 94188 8 0 0 25 0 1 0 146722403 38408192 8684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 9377 8684 138 317 0 9056 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 37508 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1476944/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=38328 CPUtime=1001.93 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 9207 0 0 0 100185 8 0 0 25 0 1 0 146722403 39247872 8912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 9582 8912 138 317 0 9261 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 38328 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1476048/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=39252 CPUtime=1061.91 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 9440 0 0 0 106182 9 0 0 25 0 1 0 146722403 40194048 9145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 9813 9145 138 317 0 9492 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 39252 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1475216/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=40040 CPUtime=1121.89 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 9652 0 0 0 112180 9 0 0 25 0 1 0 146722403 41000960 9357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 10010 9357 138 317 0 9689 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 40040 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1474512/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=40756 CPUtime=1181.88 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 9838 0 0 0 118178 10 0 0 25 0 1 0 146722403 41734144 9543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 10189 9543 138 317 0 9868 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 40756 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1473680/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=41540 CPUtime=1241.86 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 10060 0 0 0 124176 10 0 0 25 0 1 0 146722403 42536960 9732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 10385 9732 138 317 0 10064 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 41540 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1472848/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=42720 CPUtime=1301.84 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 10285 0 0 0 130174 10 0 0 25 0 1 0 146722403 43745280 9924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 10680 9924 138 317 0 10359 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 42720 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1472144/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=43496 CPUtime=1361.81 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 10493 0 0 0 136171 10 0 0 25 0 1 0 146722403 44539904 10099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 10874 10099 138 317 0 10553 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 43496 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1471440/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=44152 CPUtime=1421.8 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 10665 0 0 0 142169 11 0 0 25 0 1 0 146722403 45211648 10271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 11038 10271 138 317 0 10717 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 44152 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1470736/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=44980 CPUtime=1481.77 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 10853 0 0 0 148166 11 0 0 25 0 1 0 146722403 46059520 10459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 11245 10459 138 317 0 10924 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 44980 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1470224/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=45720 CPUtime=1541.75 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 11019 0 0 0 154164 11 0 0 25 0 1 0 146722403 46817280 10625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 11430 10625 138 317 0 11109 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 45720 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1469392/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=46528 CPUtime=1601.73 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 11222 0 0 0 160161 12 0 0 25 0 1 0 146722403 47644672 10828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 11632 10828 138 317 0 11311 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 46528 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1468624/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=47184 CPUtime=1661.71 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 11409 0 0 0 166159 12 0 0 25 0 1 0 146722403 48316416 11015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563446 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 11796 11015 138 317 0 11475 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 47184 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1467920/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=48008 CPUtime=1721.69 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 11593 0 0 0 172157 12 0 0 25 0 1 0 146722403 49160192 11199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 12002 11199 138 317 0 11681 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 48008 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1467088/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=49028 CPUtime=1781.66 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 11812 0 0 0 178154 12 0 0 25 0 1 0 146722403 50204672 11385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 12257 11385 138 317 0 11936 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 49028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1466832/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=49292 CPUtime=1800.07 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 11878 0 0 0 179994 13 0 0 25 0 1 0 146722403 50475008 11451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 12323 11451 138 317 0 12002 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 49292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1466832/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=49292 CPUtime=1800.17 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 11878 0 0 0 180004 13 0 0 25 0 1 0 146722403 50475008 11451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 12323 11451 138 317 0 12002 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 49292 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24574 /proc/meminfo: memFree=1466832/2055920 swapFree=4184528/4192956 [pid=24573] ppid=24571 vsize=49292 CPUtime=1800.26 /proc/24573/stat : 24573 (oree) R 24571 24573 24474 0 -1 4194304 11879 0 0 0 180013 13 0 0 25 0 1 0 146722403 50475008 11452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24573/statm: 12323 11452 138 317 0 12002 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 49292 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.29 CPU user time (s): 1800.15 CPU system time (s): 0.141978 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (KiB): 49292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.15 system time used= 0.141978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11895 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= 4100 runsolver used 1.2938 second user time and 3.64145 second system time The end
Begin job on node58 on Thu Apr 19 13:08:47 UTC 2007 IDJOB= 357140 IDBENCH= 2122 IDSOLVER= 172 FILE ID= node58/357140-1176988127 PBS_JOBID= 4630442 Free space on /tmp= 66449 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-par32-4.opb COMMAND LINE= oree /tmp/evaluation/357140-1176988127/instance-357140-1176988127.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-357140-1176988127 -o ROOT/results/node58/solver-357140-1176988127 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357140-1176988127/instance-357140-1176988127.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 172d8bfe30610a29dfe3bb9d98ed3f4c RANDOM SEED= 896333458 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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.265 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.265 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: 1512984 kB Buffers: 28132 kB Cached: 436484 kB SwapCached: 2340 kB Active: 61084 kB Inactive: 412972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1512984 kB SwapTotal: 4192956 kB SwapFree: 4184528 kB Dirty: 1896 kB Writeback: 0 kB Mapped: 15872 kB Slab: 54924 kB Committed_AS: 956464 kB PageTables: 1380 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= 66449 MiB End job on node58 on Thu Apr 19 13:38:50 UTC 2007