Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.2 | 1800.9 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb |
MD5SUM | 2821538067d8c071dc9bd4a000c6d040 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 346 |
Best CPU time to get the best result obtained on this benchmark | 1782.79 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 340 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 2500 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 2500 |
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.79/0.87 c ...done 0.79/0.87 c #vars=2700 #constraints=43071 hasObjective=yes 0.89/1.00 c res. mode=mod 0.89/1.00 c VSIDS like heuristics 0.89/1.00 c complete search running 1.89/1.96 c restart after 401 decisions 2.20/2.27 c nbDecision=500 #constraints=43222 2.80/2.88 c restart after 801 decisions 3.30/3.31 c nbDecision=1000 #constraints=43372 4.39/4.45 c nbDecision=1500 #constraints=43583 4.79/4.85 c restart after 1601 decisions 6.29/6.38 c nbDecision=2000 #constraints=43843 8.58/8.62 c nbDecision=2500 #constraints=44168 12.99/13.09 c nbDecision=3000 #constraints=44585 14.99/15.07 c restart after 3201 decisions 16.69/16.76 c nbDecision=3500 #constraints=44864 21.78/21.83 c nbDecision=4000 #constraints=45231 27.28/27.38 c nbDecision=4500 #constraints=45590 33.57/33.66 c nbDecision=5000 #constraints=45966 42.87/42.99 c nbDecision=5500 #constraints=46396 51.47/51.52 c nbDecision=6000 #constraints=46770 61.06/61.17 c restart after 6401 decisions 62.26/62.33 c nbDecision=6500 #constraints=47118 70.77/70.84 c nbDecision=7000 #constraints=47410 82.46/82.57 c nbDecision=7500 #constraints=47746 93.65/93.79 c nbDecision=8000 #constraints=48097 105.65/105.71 c nbDecision=8500 #constraints=48418 118.04/118.18 c nbDecision=9000 #constraints=48751 135.74/135.85 c nbDecision=9500 #constraints=49145 151.53/151.63 c nbDecision=10000 #constraints=49493 171.53/171.70 c nbDecision=10500 #constraints=49874 190.52/190.66 c nbDecision=11000 #constraints=50242 216.31/216.44 c nbDecision=11500 #constraints=50676 245.00/245.17 c nbDecision=12000 #constraints=51097 279.99/280.19 c nbDecision=12500 #constraints=51522 295.69/295.80 c restart after 12801 decisions 300.19/300.33 c nbDecision=13000 #constraints=51781 316.98/317.10 c nbDecision=13500 #constraints=51998 336.97/337.11 c nbDecision=14000 #constraints=52263 359.06/359.23 c nbDecision=14500 #constraints=52537 390.75/390.98 c nbDecision=15000 #constraints=52866 411.35/411.50 c nbDecision=15500 #constraints=53134 434.94/435.13 c nbDecision=16000 #constraints=53446 460.74/460.90 c nbDecision=16500 #constraints=53782 486.72/486.90 c nbDecision=17000 #constraints=54093 514.81/515.02 c nbDecision=17500 #constraints=54378 550.81/551.02 c nbDecision=18000 #constraints=54729 582.89/583.13 c nbDecision=18500 #constraints=55057 616.28/616.59 c nbDecision=19000 #constraints=55369 654.37/654.64 c nbDecision=19500 #constraints=55705 690.46/690.75 c nbDecision=20000 #constraints=56042 732.44/732.79 c nbDecision=20500 #constraints=56386 775.73/776.01 c nbDecision=21000 #constraints=56754 832.61/832.98 c nbDecision=21500 #constraints=57186 877.69/878.07 c nbDecision=22000 #constraints=57585 917.38/917.76 c nbDecision=22500 #constraints=57937 971.16/971.58 c nbDecision=23000 #constraints=58328 1017.05/1017.45 c nbDecision=23500 #constraints=58654 1050.94/1051.35 c nbDecision=24000 #constraints=58981 1092.22/1092.61 c nbDecision=24500 #constraints=59330 1143.60/1144.01 c nbDecision=25000 #constraints=59726 1200.29/1200.79 c nbDecision=25500 #constraints=60144 1212.89/1213.37 c restart after 25601 decisions 1237.17/1237.63 c nbDecision=26000 #constraints=60406 1279.26/1279.71 c nbDecision=26500 #constraints=60725 1344.13/1344.67 c nbDecision=27000 #constraints=61127 1404.72/1405.24 c nbDecision=27500 #constraints=61498 1470.60/1471.23 c nbDecision=28000 #constraints=61893 1551.67/1552.30 c nbDecision=28500 #constraints=62326 1621.76/1622.45 c nbDecision=29000 #constraints=62738 1689.73/1690.41 c nbDecision=29500 #constraints=63096 1768.60/1769.35 c nbDecision=30000 #constraints=63485 1800.09/1800.80 Received signal 15 1800.09/1800.84 1800.09/1800.84 s UNKNOWN 1800.09/1800.84 1800.09/1800.84 c user time= 1799.75 s 1800.09/1800.84 c system time= 0.38994 s 1800.09/1800.84 c wall clock time=1800.84
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-357113-1176986237 -o ROOT/results/node67/solver-357113-1176986237 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357113-1176986237/instance-357113-1176986237.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.92 0.98 0.99 3/64 9757 /proc/meminfo: memFree=1851640/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=1468 CPUtime=0 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 174613287 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 367 168 131 317 0 46 0 [startup+0.0633969 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9757 /proc/meminfo: memFree=1851640/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=2788 CPUtime=0.06 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 519 0 0 0 6 0 0 0 18 0 1 0 174613287 2854912 501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 697 502 131 317 0 376 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2788 [startup+0.101403 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9757 /proc/meminfo: memFree=1851640/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=3712 CPUtime=0.09 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 719 0 0 0 9 0 0 0 18 0 1 0 174613287 3801088 701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 928 701 131 317 0 607 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3712 [startup+0.30144 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9757 /proc/meminfo: memFree=1851640/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=7672 CPUtime=0.29 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 1717 0 0 0 28 1 0 0 19 0 1 0 174613287 7856128 1699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 1918 1699 131 317 0 1597 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7672 [startup+0.701513 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9757 /proc/meminfo: memFree=1851640/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=14928 CPUtime=0.69 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 3535 0 0 0 68 1 0 0 22 0 1 0 174613287 15286272 3484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 3732 3485 131 317 0 3411 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14928 [startup+1.50166 s] /proc/loadavg: 0.92 0.98 0.99 2/65 9758 /proc/meminfo: memFree=1828592/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=26920 CPUtime=1.49 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 6548 0 0 0 146 3 0 0 25 0 1 0 174613287 27566080 6202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 6730 6202 139 317 0 6409 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26920 [startup+3.10195 s] /proc/loadavg: 0.92 0.98 0.99 2/65 9758 /proc/meminfo: memFree=1827056/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=27052 CPUtime=3.09 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 6611 0 0 0 306 3 0 0 25 0 1 0 174613287 27701248 6265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 6763 6265 139 317 0 6442 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27052 [startup+6.30154 s] /proc/loadavg: 0.93 0.98 0.99 2/65 9758 /proc/meminfo: memFree=1824816/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=30608 CPUtime=6.29 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 7495 0 0 0 625 4 0 0 25 0 1 0 174613287 31342592 7149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 7652 7149 139 317 0 7331 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30608 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/65 9758 /proc/meminfo: memFree=1815664/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=39016 CPUtime=12.69 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 9597 0 0 0 1264 5 0 0 25 0 1 0 174613287 39952384 9251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 9754 9251 139 317 0 9433 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39016 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 9758 /proc/meminfo: memFree=1805552/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=48844 CPUtime=25.48 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 11993 0 0 0 2543 5 0 0 25 0 1 0 174613287 50016256 11647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 12211 11647 139 317 0 11890 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48844 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 9758 /proc/meminfo: memFree=1789744/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=65240 CPUtime=51.07 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 16003 0 0 0 5099 8 0 0 25 0 1 0 174613287 66805760 15657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 16310 15657 139 317 0 15989 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 65240 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 9758 /proc/meminfo: memFree=1772720/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=82196 CPUtime=102.26 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 20157 0 0 0 10216 10 0 0 25 0 1 0 174613287 84168704 19811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 20549 19811 139 317 0 20228 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 82196 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9758 /proc/meminfo: memFree=1755504/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=100396 CPUtime=162.23 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 24469 0 0 0 16211 12 0 0 25 0 1 0 174613287 102805504 24123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541577 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 25099 24123 139 317 0 24778 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 100396 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9760 /proc/meminfo: memFree=1741168/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=114896 CPUtime=222.21 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 28016 0 0 0 22208 13 0 0 25 0 1 0 174613287 117653504 27670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 28724 27670 139 317 0 28403 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 114896 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9760 /proc/meminfo: memFree=1728752/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=127988 CPUtime=282.19 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 31129 0 0 0 28204 15 0 0 25 0 1 0 174613287 131059712 30783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 31997 30783 139 317 0 31676 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 127988 [startup+342.301 s] /proc/loadavg: 1.07 1.00 1.00 2/65 9760 /proc/meminfo: memFree=1721456/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=135788 CPUtime=342.17 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 32906 0 0 0 34201 16 0 0 25 0 1 0 174613287 139046912 32560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 33947 32560 139 317 0 33626 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 135788 [startup+402.301 s] /proc/loadavg: 1.09 1.02 1.00 2/65 9760 /proc/meminfo: memFree=1713968/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=144016 CPUtime=402.15 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 34793 0 0 0 40198 17 0 0 25 0 1 0 174613287 147472384 34447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 36004 34447 139 317 0 35683 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 144016 [startup+462.301 s] /proc/loadavg: 1.09 1.03 1.00 2/65 9760 /proc/meminfo: memFree=1706032/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=151900 CPUtime=462.13 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 36764 0 0 0 46194 19 0 0 25 0 1 0 174613287 155545600 36418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 37975 36418 139 317 0 37654 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 151900 [startup+522.301 s] /proc/loadavg: 1.09 1.04 1.00 2/65 9760 /proc/meminfo: memFree=1699504/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=159076 CPUtime=522.11 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 38403 0 0 0 52191 20 0 0 25 0 1 0 174613287 162893824 38057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 39769 38057 139 317 0 39448 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 159076 [startup+582.301 s] /proc/loadavg: 1.08 1.04 1.00 2/65 9760 /proc/meminfo: memFree=1692464/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=166216 CPUtime=582.09 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 40158 0 0 0 58188 21 0 0 25 0 1 0 174613287 170205184 39812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 41554 39812 139 317 0 41233 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 166216 [startup+642.301 s] /proc/loadavg: 1.08 1.05 1.00 2/65 9760 /proc/meminfo: memFree=1685744/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=172948 CPUtime=642.07 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 41816 0 0 0 64185 22 0 0 25 0 1 0 174613287 177098752 41470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 43237 41470 139 317 0 42916 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 172948 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9760 /proc/meminfo: memFree=1665520/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=193752 CPUtime=822.01 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 46878 0 0 0 82176 25 0 0 25 0 1 0 174613287 198402048 46532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 48438 46532 139 317 0 48117 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 193752 [startup+882.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9760 /proc/meminfo: memFree=1658224/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=201772 CPUtime=881.99 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 48668 0 0 0 88173 26 0 0 25 0 1 0 174613287 206614528 48322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 50443 48322 139 317 0 50122 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 201772 [startup+942.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9760 /proc/meminfo: memFree=1652272/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=208440 CPUtime=941.96 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 50186 0 0 0 94169 27 0 0 25 0 1 0 174613287 213442560 49840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 52110 49840 139 317 0 51789 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 208440 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9760 /proc/meminfo: memFree=1646832/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=213508 CPUtime=1001.95 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 51518 0 0 0 100167 28 0 0 25 0 1 0 174613287 218632192 51172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 53377 51172 139 317 0 53056 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 213508 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9760 /proc/meminfo: memFree=1641456/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=219612 CPUtime=1061.93 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 52890 0 0 0 106164 29 0 0 25 0 1 0 174613287 224882688 52544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 54903 52544 139 317 0 54582 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 219612 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9760 /proc/meminfo: memFree=1633968/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=228264 CPUtime=1121.91 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 54731 0 0 0 112161 30 0 0 25 0 1 0 174613287 233742336 54385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 57066 54385 139 317 0 56745 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 228264 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9760 /proc/meminfo: memFree=1626800/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=235880 CPUtime=1181.89 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 56533 0 0 0 118158 31 0 0 25 0 1 0 174613287 241541120 56187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 58970 56187 139 317 0 58649 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 235880 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9760 /proc/meminfo: memFree=1621104/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=241984 CPUtime=1241.87 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 57941 0 0 0 124155 32 0 0 25 0 1 0 174613287 247791616 57595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 60496 57595 139 317 0 60175 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 241984 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9760 /proc/meminfo: memFree=1615984/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=247716 CPUtime=1301.85 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 59202 0 0 0 130152 33 0 0 25 0 1 0 174613287 253661184 58856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 61929 58856 139 317 0 61608 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 247716 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9760 /proc/meminfo: memFree=1611440/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=252404 CPUtime=1361.83 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 60347 0 0 0 136150 33 0 0 25 0 1 0 174613287 258461696 60001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 63101 60001 139 317 0 62780 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 252404 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9760 /proc/meminfo: memFree=1606576/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=257668 CPUtime=1421.81 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 61577 0 0 0 142147 34 0 0 25 0 1 0 174613287 263852032 61231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 64417 61231 139 317 0 64096 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 257668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9958 /proc/meminfo: memFree=1601512/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=262728 CPUtime=1481.69 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 62802 0 0 0 148134 35 0 0 25 0 1 0 174613287 269033472 62456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 65682 62456 139 317 0 65361 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 262728 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9958 /proc/meminfo: memFree=1596528/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=267536 CPUtime=1541.68 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 64056 0 0 0 154132 36 0 0 25 0 1 0 174613287 273956864 63710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 66884 63710 139 317 0 66563 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 267536 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9958 /proc/meminfo: memFree=1591344/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=272840 CPUtime=1601.65 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 65351 0 0 0 160129 36 0 0 25 0 1 0 174613287 279388160 65005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 68210 65005 139 317 0 67889 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 272840 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9958 /proc/meminfo: memFree=1586608/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=277968 CPUtime=1661.63 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 66506 0 0 0 166126 37 0 0 25 0 1 0 174613287 284639232 66160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 69492 66160 139 317 0 69171 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 277968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9958 /proc/meminfo: memFree=1582128/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=282876 CPUtime=1721.62 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 67648 0 0 0 172124 38 0 0 25 0 1 0 174613287 289665024 67302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 70719 67302 139 317 0 70398 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 282876 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9958 /proc/meminfo: memFree=1577392/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=287264 CPUtime=1781.59 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 68811 0 0 0 178121 38 0 0 25 0 1 0 174613287 294158336 68465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 71816 68465 139 317 0 71495 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 287264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9958 /proc/meminfo: memFree=1576240/2055920 swapFree=4179676/4192956 [pid=9757] ppid=9755 vsize=288476 CPUtime=1800.09 /proc/9757/stat : 9757 (oree) R 9755 9757 9195 0 -1 4194304 69071 0 0 0 179971 38 0 0 25 0 1 0 174613287 295399424 68725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9757/statm: 72119 68725 139 317 0 71798 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 288476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.2 CPU user time (s): 1799.76 CPU system time (s): 0.435933 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 288476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.76 system time used= 0.435933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69087 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= 2027 runsolver used 1.21881 second user time and 3.76943 second system time The end
Begin job on node67 on Thu Apr 19 12:37:18 UTC 2007 IDJOB= 357113 IDBENCH= 2013 IDSOLVER= 172 FILE ID= node67/357113-1176986237 PBS_JOBID= 4630411 Free space on /tmp= 66452 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb COMMAND LINE= oree /tmp/evaluation/357113-1176986237/instance-357113-1176986237.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-357113-1176986237 -o ROOT/results/node67/solver-357113-1176986237 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357113-1176986237/instance-357113-1176986237.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040 RANDOM SEED= 632779918 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1852112 kB Buffers: 25196 kB Cached: 125284 kB SwapCached: 7008 kB Active: 81788 kB Inactive: 82044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852112 kB SwapTotal: 4192956 kB SwapFree: 4179676 kB Dirty: 4288 kB Writeback: 0 kB Mapped: 16016 kB Slab: 25968 kB Committed_AS: 281240 kB PageTables: 1452 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= 66452 MiB End job on node67 on Thu Apr 19 13:07:21 UTC 2007