Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.12 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-3-c.opb |
MD5SUM | bc7893eb7aff4749139e472af91e587e |
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 | 2650 |
Total number of constraints | 6619 |
Number of constraints which are clauses | 6619 |
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 | 3 |
Number of terms in the objective function | 2650 |
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 | 2650 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2650 |
Number of bits of the biggest sum of numbers | 12 |
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.06 c ...done 0.00/0.06 c #vars=2650 #constraints=6620 hasObjective=yes 0.06/0.09 c res. mode=mod 0.06/0.09 c VSIDS like heuristics 0.06/0.09 c complete search running 1.49/1.55 c restart after 401 decisions 1.79/1.84 c nbDecision=500 #constraints=7075 3.09/3.17 c restart after 801 decisions 3.89/3.99 c nbDecision=1000 #constraints=7554 6.99/7.01 c nbDecision=1500 #constraints=8056 7.69/7.73 c restart after 1601 decisions 10.58/10.63 c nbDecision=2000 #constraints=8534 15.19/15.23 c nbDecision=2500 #constraints=9034 19.59/19.61 c nbDecision=3000 #constraints=9534 21.68/21.77 c restart after 3201 decisions 25.08/25.11 c nbDecision=3500 #constraints=10012 31.88/31.91 c nbDecision=4000 #constraints=10508 37.98/38.08 c nbDecision=4500 #constraints=11013 46.08/46.16 c nbDecision=5000 #constraints=11512 54.67/54.77 c nbDecision=5500 #constraints=12013 63.57/63.67 c nbDecision=6000 #constraints=12516 72.17/72.28 c restart after 6401 decisions 73.87/74.00 c nbDecision=6500 #constraints=12995 85.47/85.53 c nbDecision=7000 #constraints=13496 97.67/97.74 c nbDecision=7500 #constraints=13996 109.06/109.14 c nbDecision=8000 #constraints=14497 123.36/123.45 c nbDecision=8500 #constraints=14998 136.95/137.04 c nbDecision=9000 #constraints=15495 151.95/152.05 c nbDecision=9500 #constraints=15999 169.64/169.75 c nbDecision=10000 #constraints=16497 184.65/184.71 c nbDecision=10500 #constraints=17000 203.14/203.29 c nbDecision=11000 #constraints=17499 223.73/223.90 c nbDecision=11500 #constraints=17995 242.13/242.26 c nbDecision=12000 #constraints=18498 265.52/265.67 c nbDecision=12500 #constraints=18999 279.32/279.49 c restart after 12801 decisions 288.61/288.78 c nbDecision=13000 #constraints=19478 309.11/309.24 c nbDecision=13500 #constraints=19975 334.50/334.66 c nbDecision=14000 #constraints=20478 360.19/360.35 c nbDecision=14500 #constraints=20974 384.19/384.32 c nbDecision=15000 #constraints=21477 413.98/414.13 c nbDecision=15500 #constraints=21979 438.78/438.92 c nbDecision=16000 #constraints=22477 468.36/468.51 c nbDecision=16500 #constraints=22980 499.36/499.56 c nbDecision=17000 #constraints=23478 526.85/527.01 c nbDecision=17500 #constraints=23977 561.24/561.41 c nbDecision=18000 #constraints=24479 588.93/589.11 c nbDecision=18500 #constraints=24976 620.43/620.67 c nbDecision=19000 #constraints=25474 657.01/657.26 c nbDecision=19500 #constraints=25977 684.81/685.09 c nbDecision=20000 #constraints=26476 720.40/720.69 c nbDecision=20500 #constraints=26976 756.99/757.21 c nbDecision=21000 #constraints=27476 788.58/788.87 c nbDecision=21500 #constraints=27975 827.66/827.97 c nbDecision=22000 #constraints=28477 862.86/863.16 c nbDecision=22500 #constraints=28973 900.65/900.96 c nbDecision=23000 #constraints=29481 943.84/944.10 c nbDecision=23500 #constraints=29979 980.52/980.83 c nbDecision=24000 #constraints=30478 1025.81/1026.16 c nbDecision=24500 #constraints=30978 1070.51/1070.80 c nbDecision=25000 #constraints=31475 1111.49/1111.86 c nbDecision=25500 #constraints=31979 1120.99/1121.38 c restart after 25601 decisions 1150.98/1151.33 c nbDecision=26000 #constraints=32458 1200.67/1201.05 c nbDecision=26500 #constraints=32962 1246.96/1247.30 c nbDecision=27000 #constraints=33460 1292.64/1293.05 c nbDecision=27500 #constraints=33962 1347.53/1347.99 c nbDecision=28000 #constraints=34463 1390.61/1391.07 c nbDecision=28500 #constraints=34962 1444.00/1444.46 c nbDecision=29000 #constraints=35464 1494.40/1494.85 c nbDecision=29500 #constraints=35958 1539.67/1540.12 c nbDecision=30000 #constraints=36458 1594.16/1594.65 c nbDecision=30500 #constraints=36959 1641.75/1642.26 c nbDecision=31000 #constraints=37461 1693.33/1693.86 c nbDecision=31500 #constraints=37959 1752.92/1753.48 c nbDecision=32000 #constraints=38462 1797.91/1798.44 c nbDecision=32500 #constraints=38963 1800.01/1800.50 Received signal 15 1800.01/1800.58 1800.01/1800.58 s UNKNOWN 1800.01/1800.58 1800.01/1800.58 c user time= 1799.81 s 1800.01/1800.58 c system time= 0.289955 s 1800.01/1800.58 c wall clock time=1800.58
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-357155-1176989086 -o ROOT/results/node15/solver-357155-1176989086 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357155-1176989086/instance-357155-1176989086.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.77 0.95 0.97 3/77 17147 /proc/meminfo: memFree=1657008/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=1620 CPUtime=0 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 146826264 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 405 175 126 317 0 84 0 [startup+0.0677561 s] /proc/loadavg: 0.77 0.95 0.97 3/77 17147 /proc/meminfo: memFree=1657008/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=3404 CPUtime=0.06 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 667 0 0 0 6 0 0 0 18 0 1 0 146826264 3485696 649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 851 649 137 317 0 530 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3404 [startup+0.101759 s] /proc/loadavg: 0.77 0.95 0.97 3/77 17147 /proc/meminfo: memFree=1657008/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=3536 CPUtime=0.09 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 714 0 0 0 9 0 0 0 18 0 1 0 146826264 3620864 696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 884 696 138 317 0 563 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3536 [startup+0.301778 s] /proc/loadavg: 0.77 0.95 0.97 3/77 17147 /proc/meminfo: memFree=1657008/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=3980 CPUtime=0.29 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 810 0 0 0 29 0 0 0 19 0 1 0 146826264 4075520 746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 995 746 139 317 0 674 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3980 [startup+0.701814 s] /proc/loadavg: 0.77 0.95 0.97 3/77 17147 /proc/meminfo: memFree=1657008/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=3980 CPUtime=0.69 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 824 0 0 0 69 0 0 0 23 0 1 0 146826264 4075520 760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 995 760 139 317 0 674 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3980 [startup+1.50189 s] /proc/loadavg: 0.79 0.95 0.97 2/78 17148 /proc/meminfo: memFree=1654312/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=4372 CPUtime=1.49 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 903 0 0 0 149 0 0 0 25 0 1 0 146826264 4476928 839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554540 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 1093 839 139 317 0 772 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4372 [startup+3.10103 s] /proc/loadavg: 0.79 0.95 0.97 2/78 17148 /proc/meminfo: memFree=1653736/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=4900 CPUtime=3.09 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 1044 0 0 0 309 0 0 0 25 0 1 0 146826264 5017600 980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 1225 980 139 317 0 904 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4900 [startup+6.30133 s] /proc/loadavg: 0.81 0.95 0.97 2/78 17148 /proc/meminfo: memFree=1652648/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=5828 CPUtime=6.29 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 1284 0 0 0 629 0 0 0 25 0 1 0 146826264 5967872 1220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 1457 1220 139 317 0 1136 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5828 [startup+12.7019 s] /proc/loadavg: 0.82 0.95 0.97 2/78 17148 /proc/meminfo: memFree=1651176/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=7276 CPUtime=12.68 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 1622 0 0 0 1268 0 0 0 25 0 1 0 146826264 7450624 1558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 1819 1558 139 317 0 1498 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7276 [startup+25.5011 s] /proc/loadavg: 0.86 0.95 0.97 2/78 17148 /proc/meminfo: memFree=1649000/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=9256 CPUtime=25.48 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 2136 0 0 0 2547 1 0 0 25 0 1 0 146826264 9478144 2072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 2314 2072 139 317 0 1993 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9256 [startup+51.1014 s] /proc/loadavg: 0.91 0.96 0.97 2/78 17148 /proc/meminfo: memFree=1646312/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=12064 CPUtime=51.07 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 2819 0 0 0 5105 2 0 0 25 0 1 0 146826264 12353536 2755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 3016 2755 139 317 0 2695 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12064 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.97 2/78 17148 /proc/meminfo: memFree=1642280/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=16336 CPUtime=102.27 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 3885 0 0 0 10223 4 0 0 25 0 1 0 146826264 16728064 3731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 4084 3731 139 317 0 3763 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16336 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.97 2/78 17148 /proc/meminfo: memFree=1639016/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=20048 CPUtime=162.24 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 4711 0 0 0 16219 5 0 0 25 0 1 0 146826264 20529152 4557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 5012 4557 139 317 0 4691 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20048 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17148 /proc/meminfo: memFree=1636264/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=22868 CPUtime=222.23 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 5379 0 0 0 22217 6 0 0 25 0 1 0 146826264 23416832 5225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 5717 5225 139 317 0 5396 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22868 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17148 /proc/meminfo: memFree=1634152/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=25052 CPUtime=282.21 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 5913 0 0 0 28214 7 0 0 25 0 1 0 146826264 25653248 5759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 6263 5759 139 317 0 5942 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 25052 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17148 /proc/meminfo: memFree=1632104/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=26924 CPUtime=342.2 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 6404 0 0 0 34212 8 0 0 25 0 1 0 146826264 27570176 6250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 6731 6250 139 317 0 6410 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 26924 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17148 /proc/meminfo: memFree=1630312/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=28540 CPUtime=402.18 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 6856 0 0 0 40209 9 0 0 25 0 1 0 146826264 29224960 6702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 7135 6702 139 317 0 6814 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 28540 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17148 /proc/meminfo: memFree=1628776/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=30124 CPUtime=462.16 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 7265 0 0 0 46206 10 0 0 25 0 1 0 146826264 30846976 7111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 7531 7111 139 317 0 7210 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 30124 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17148 /proc/meminfo: memFree=1627112/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=32724 CPUtime=522.15 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 7870 0 0 0 52204 11 0 0 25 0 1 0 146826264 33509376 7518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 8181 7518 139 317 0 7860 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 32724 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17148 /proc/meminfo: memFree=1625576/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=34204 CPUtime=582.13 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 8239 0 0 0 58201 12 0 0 25 0 1 0 146826264 35024896 7887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 8551 7887 139 317 0 8230 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 34204 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17148 /proc/meminfo: memFree=1624168/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=35772 CPUtime=642.12 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 8636 0 0 0 64199 13 0 0 25 0 1 0 146826264 36630528 8251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 8943 8251 139 317 0 8622 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 35772 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1618472/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=42200 CPUtime=882.05 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 10206 0 0 0 88189 16 0 0 25 0 1 0 146826264 43212800 9643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 10550 9643 139 317 0 10229 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 42200 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1617320/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=43108 CPUtime=942.04 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 10479 0 0 0 94187 17 0 0 25 0 1 0 146826264 44142592 9916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 10777 9916 139 317 0 10456 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 43108 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1616168/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=44280 CPUtime=1002.02 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 10812 0 0 0 100184 18 0 0 25 0 1 0 146826264 45342720 10216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 11070 10216 139 317 0 10749 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 44280 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1615144/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=45584 CPUtime=1062 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 11094 0 0 0 106182 18 0 0 25 0 1 0 146826264 46678016 10465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 11396 10465 139 317 0 11075 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 45584 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1614056/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=46616 CPUtime=1121.99 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 11376 0 0 0 112180 19 0 0 25 0 1 0 146826264 47734784 10747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 11654 10747 139 317 0 11333 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 46616 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1612840/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=47796 CPUtime=1181.97 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 11676 0 0 0 118177 20 0 0 25 0 1 0 146826264 48943104 11014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 11949 11014 139 317 0 11628 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 47796 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1612008/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=48708 CPUtime=1241.96 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 11911 0 0 0 124175 21 0 0 25 0 1 0 146826264 49876992 11249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 12177 11249 139 317 0 11856 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 48708 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1610920/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=49648 CPUtime=1301.94 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 12167 0 0 0 130172 22 0 0 25 0 1 0 146826264 50839552 11505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 12412 11505 139 317 0 12091 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 49648 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1610152/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=50432 CPUtime=1361.92 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 12383 0 0 0 136169 23 0 0 25 0 1 0 146826264 51642368 11721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 12608 11721 139 317 0 12287 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 50432 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1609064/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=51344 CPUtime=1421.91 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 12639 0 0 0 142167 24 0 0 25 0 1 0 146826264 52576256 11977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 12836 11977 139 317 0 12515 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 51344 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1608424/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=52124 CPUtime=1481.89 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 12847 0 0 0 148165 24 0 0 25 0 1 0 146826264 53374976 12185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 13031 12185 139 317 0 12710 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 52124 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1607336/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=53036 CPUtime=1541.87 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 13109 0 0 0 154162 25 0 0 25 0 1 0 146826264 54308864 12447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 13259 12447 139 317 0 12938 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 53036 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1606440/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=53952 CPUtime=1601.86 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 13359 0 0 0 160159 27 0 0 25 0 1 0 146826264 55246848 12664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 13488 12664 139 317 0 13167 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 53952 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1605480/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=54740 CPUtime=1661.84 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 13595 0 0 0 166157 27 0 0 25 0 1 0 146826264 56053760 12900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 13685 12900 139 317 0 13364 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 54740 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1604584/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=55656 CPUtime=1721.83 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 13847 0 0 0 172155 28 0 0 25 0 1 0 146826264 56991744 13119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 13914 13119 139 317 0 13593 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 55656 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1603688/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=56568 CPUtime=1781.81 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 14109 0 0 0 178153 28 0 0 25 0 1 0 146826264 57925632 13348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 14142 13348 139 317 0 13821 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 56568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1603368/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=56700 CPUtime=1800.01 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 14179 0 0 0 179973 28 0 0 25 0 1 0 146826264 58060800 13418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 14175 13418 139 317 0 13854 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 56700 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17150 /proc/meminfo: memFree=1603368/2055920 swapFree=4169120/4192956 [pid=17147] ppid=17145 vsize=56700 CPUtime=1800.01 /proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 14179 0 0 0 179973 28 0 0 25 0 1 0 146826264 58060800 13418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17147/statm: 14175 13418 139 317 0 13854 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 56700 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.12 CPU user time (s): 1799.82 CPU system time (s): 0.299954 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 56700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.299954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14195 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= 22063 runsolver used 1.9967 second user time and 4.56131 second system time The end
Begin job on node15 on Thu Apr 19 13:24:47 UTC 2007 IDJOB= 357155 IDBENCH= 2175 IDSOLVER= 172 FILE ID= node15/357155-1176989086 PBS_JOBID= 4630463 Free space on /tmp= 66483 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-3-c.opb COMMAND LINE= oree /tmp/evaluation/357155-1176989086/instance-357155-1176989086.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-357155-1176989086 -o ROOT/results/node15/solver-357155-1176989086 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357155-1176989086/instance-357155-1176989086.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= bc7893eb7aff4749139e472af91e587e RANDOM SEED= 376385964 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1657480 kB Buffers: 36748 kB Cached: 289896 kB SwapCached: 2544 kB Active: 214944 kB Inactive: 134396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1657480 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 1732 kB Writeback: 0 kB Mapped: 29924 kB Slab: 34612 kB Committed_AS: 6275384 kB PageTables: 1868 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= 66483 MiB End job on node15 on Thu Apr 19 13:54:49 UTC 2007