Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.18 | 1801.89 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome13.opb |
MD5SUM | e3f30a3ccce8a834fba8f93335c22413 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 2933624 |
Total number of constraints | 48672 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 48672 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
Number of terms in the objective function | 1496264 |
Biggest coefficient in the objective function | 2150851580428025856 |
Number of bits for the biggest coefficient in the objective function | 61 |
Sum of the numbers in the objective function | 7062021246795700082208 |
Number of bits of the sum of numbers in the objective function | 73 |
Biggest number in a constraint | 53687091200000000000 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 7062021246795700082208 |
Number of bits of the biggest sum of numbers | 73 |
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... 42.77/42.86 c ...done 42.77/42.86 c #vars=2933624 #constraints=97241 hasObjective=yes 68.65/68.75 c res. mode=mod 68.65/68.75 c VSIDS like heuristics 68.65/68.75 c complete search running 110.34/110.49 c restart after 401 decisions 117.93/118.08 c nbDecision=500 #constraints=97252 141.84/141.98 c restart after 801 decisions 157.42/157.56 c nbDecision=1000 #constraints=97270 197.21/197.32 c nbDecision=1500 #constraints=97292 205.20/205.33 c restart after 1601 decisions 236.19/236.33 c nbDecision=2000 #constraints=97294 275.28/275.43 c nbDecision=2500 #constraints=97298 314.96/315.14 c nbDecision=3000 #constraints=97305 330.65/330.87 c restart after 3201 decisions 354.05/354.24 c nbDecision=3500 #constraints=97310 393.33/393.54 c nbDecision=4000 #constraints=97312 433.01/433.24 c nbDecision=4500 #constraints=97323 472.80/473.04 c nbDecision=5000 #constraints=97337 512.78/513.00 c nbDecision=5500 #constraints=97369 552.26/552.51 c nbDecision=6000 #constraints=97370 584.06/584.30 c restart after 6401 decisions 591.56/591.87 c nbDecision=6500 #constraints=97375 630.93/631.28 c nbDecision=7000 #constraints=97375 670.62/670.93 c nbDecision=7500 #constraints=97396 710.11/710.49 c nbDecision=8000 #constraints=97401 749.69/750.03 c nbDecision=8500 #constraints=97417 789.37/789.74 c nbDecision=9000 #constraints=97427 829.16/829.55 c nbDecision=9500 #constraints=97439 869.14/869.59 c nbDecision=10000 #constraints=97459 909.33/909.77 c nbDecision=10500 #constraints=97485 949.21/949.63 c nbDecision=11000 #constraints=97500 989.49/989.92 c nbDecision=11500 #constraints=97529 1029.48/1029.97 c nbDecision=12000 #constraints=97550 1069.66/1070.13 c nbDecision=12500 #constraints=97575 1094.15/1094.62 c restart after 12801 decisions 1109.64/1110.10 c nbDecision=13000 #constraints=97597 1149.13/1149.68 c nbDecision=13500 #constraints=97601 1188.31/1188.85 c nbDecision=14000 #constraints=97604 1227.71/1228.23 c nbDecision=14500 #constraints=97605 1267.19/1267.74 c nbDecision=15000 #constraints=97606 1306.67/1307.27 c nbDecision=15500 #constraints=97610 1346.86/1347.43 c nbDecision=16000 #constraints=97640 1386.44/1387.10 c nbDecision=16500 #constraints=97661 1425.92/1426.59 c nbDecision=17000 #constraints=97663 1465.10/1465.79 c nbDecision=17500 #constraints=97666 1504.59/1505.25 c nbDecision=18000 #constraints=97666 1544.78/1545.44 c nbDecision=18500 #constraints=97696 1584.26/1584.91 c nbDecision=19000 #constraints=97698 1623.85/1624.51 c nbDecision=19500 #constraints=97707 1663.73/1664.48 c nbDecision=20000 #constraints=97724 1703.12/1703.90 c nbDecision=20500 #constraints=97725 1742.40/1743.16 c nbDecision=21000 #constraints=97744 1781.88/1782.65 c nbDecision=21500 #constraints=97744 1800.09/1800.80 Received signal 15 1800.09/1800.85 1800.09/1800.85 s UNKNOWN 1800.09/1800.85 1800.09/1800.85 c user time= 1798.51 s 1800.09/1800.85 c system time= 1.63075 s 1800.09/1800.85 c wall clock time=1800.85
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-357217-1176991536 -o ROOT/results/node10/solver-357217-1176991536 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357217-1176991536/instance-357217-1176991536.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.08 1.02 0.95 3/77 30419 /proc/meminfo: memFree=1561672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1468 CPUtime=0 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175192135 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 367 160 127 317 0 46 0 [startup+0.0684301 s] /proc/loadavg: 1.08 1.02 0.95 3/77 30419 /proc/meminfo: memFree=1561672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=2400 CPUtime=0.06 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 472 0 0 0 6 0 0 0 18 0 1 0 175192135 2457600 356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 600 356 127 317 0 279 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2400 [startup+0.101438 s] /proc/loadavg: 1.08 1.02 0.95 3/77 30419 /proc/meminfo: memFree=1561672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=3824 CPUtime=0.09 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 693 0 0 0 9 0 0 0 18 0 1 0 175192135 3915776 577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 956 579 127 317 0 635 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3824 [startup+0.30148 s] /proc/loadavg: 1.08 1.02 0.95 3/77 30419 /proc/meminfo: memFree=1561672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=5520 CPUtime=0.29 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 1541 0 0 0 29 0 0 0 19 0 1 0 175192135 5652480 1039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 1380 1039 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701565 s] /proc/loadavg: 1.08 1.02 0.95 3/77 30419 /proc/meminfo: memFree=1561672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=9548 CPUtime=0.69 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 3084 0 0 0 68 1 0 0 22 0 1 0 175192135 9777152 2069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 2387 2069 127 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50174 s] /proc/loadavg: 1.15 1.03 0.96 2/78 30420 /proc/meminfo: memFree=1550528/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=17736 CPUtime=1.48 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 6164 0 0 0 144 4 0 0 25 0 1 0 175192135 18161664 4124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 4434 4124 127 317 0 4113 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 17736 [startup+3.10108 s] /proc/loadavg: 1.15 1.03 0.96 2/78 30420 /proc/meminfo: memFree=1536832/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=34244 CPUtime=3.08 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 12366 0 0 0 300 8 0 0 25 0 1 0 175192135 35065856 8277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 8561 8277 127 317 0 8240 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34244 [startup+6.30177 s] /proc/loadavg: 1.15 1.03 0.96 2/78 30420 /proc/meminfo: memFree=1507592/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=66996 CPUtime=6.28 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 22366 0 0 0 615 13 0 0 25 0 1 0 175192135 68603904 14180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 16749 14180 128 317 0 16428 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 66996 [startup+12.7011 s] /proc/loadavg: 1.13 1.03 0.96 2/78 30420 /proc/meminfo: memFree=1447368/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=142904 CPUtime=12.68 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 41040 0 0 0 1245 23 0 0 25 0 1 0 175192135 146333696 32854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 35726 32854 131 317 0 35405 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 142904 [startup+25.5019 s] /proc/loadavg: 1.11 1.03 0.96 2/78 30420 /proc/meminfo: memFree=1172552/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=413732 CPUtime=25.47 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 107655 0 0 0 2489 58 0 0 25 0 1 0 175192135 423661568 99436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 103433 99436 131 317 0 103112 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 413732 [startup+51.1014 s] /proc/loadavg: 1.07 1.03 0.96 2/78 30420 /proc/meminfo: memFree=490952/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1093776 CPUtime=51.06 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 276221 0 0 0 4972 134 0 0 25 0 1 0 175192135 1120026624 267937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 273444 267937 137 317 0 273123 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 1093776 [startup+102.305 s] /proc/loadavg: 1.03 1.02 0.96 2/78 30420 /proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=102.24 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303121 0 0 0 10077 147 0 0 25 0 1 0 175192135 1230344192 294172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294172 139 317 0 300056 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 1201508 [startup+162.301 s] /proc/loadavg: 1.01 1.02 0.96 2/78 30420 /proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=162.22 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303121 0 0 0 16074 148 0 0 25 0 1 0 175192135 1230344192 294172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294172 139 317 0 300056 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 1201508 [startup+222.302 s] /proc/loadavg: 1.00 1.01 0.96 2/78 30420 /proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=222.19 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 22071 148 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294173 139 317 0 300056 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 1201508 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=282.17 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 28068 149 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294173 139 317 0 300056 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 1201508 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=342.14 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 34065 149 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294173 139 317 0 300056 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 1201508 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=402.13 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 40063 150 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606729 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294173 139 317 0 300056 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 1201508 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=462.1 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 46059 151 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294173 139 317 0 300056 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 1201508 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=385672/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=522.08 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 52057 151 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294173 139 317 0 300056 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 1201508 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=385608/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=582.06 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 58054 152 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294173 139 317 0 300056 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 1201508 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=385544/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=642.03 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303122 0 0 0 64051 152 0 0 25 0 1 0 175192135 1230344192 294173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294173 139 317 0 300056 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 1201508 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=385416/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201508 CPUtime=941.92 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303153 0 0 0 94037 155 0 0 25 0 1 0 175192135 1230344192 294204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300377 294204 170 317 0 300056 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 1201508 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=384968/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1201876 CPUtime=1001.88 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303261 0 0 0 100033 155 0 0 25 0 1 0 175192135 1230721024 294312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300469 294312 170 317 0 300148 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1201876 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=383880/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1202868 CPUtime=1061.87 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303510 0 0 0 106031 156 0 0 25 0 1 0 175192135 1231736832 294561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300717 294561 170 317 0 300396 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 1202868 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=383496/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1203244 CPUtime=1121.84 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303600 0 0 0 112028 156 0 0 25 0 1 0 175192135 1232121856 294651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300811 294651 170 317 0 300490 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 1203244 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=383368/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1203244 CPUtime=1181.82 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303609 0 0 0 118025 157 0 0 25 0 1 0 175192135 1232121856 294660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606888 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300811 294660 170 317 0 300490 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 1203244 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=383304/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1203244 CPUtime=1241.8 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303616 0 0 0 124022 158 0 0 25 0 1 0 175192135 1232121856 294667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300811 294667 170 317 0 300490 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 1203244 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=383176/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1203376 CPUtime=1301.78 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303634 0 0 0 130020 158 0 0 25 0 1 0 175192135 1232257024 294685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606719 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300844 294685 170 317 0 300523 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 1203376 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=382920/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1203640 CPUtime=1361.75 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303688 0 0 0 136016 159 0 0 25 0 1 0 175192135 1232527360 294739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300910 294739 170 317 0 300589 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 1203640 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=382856/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1203640 CPUtime=1421.73 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303695 0 0 0 142014 159 0 0 25 0 1 0 175192135 1232527360 294746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300910 294746 170 317 0 300589 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 1203640 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=382792/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1203640 CPUtime=1481.7 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303708 0 0 0 148011 159 0 0 25 0 1 0 175192135 1232527360 294759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 300910 294759 170 317 0 300589 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 1203640 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=382280/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1204044 CPUtime=1541.67 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303805 0 0 0 154007 160 0 0 25 0 1 0 175192135 1232941056 294856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 301011 294856 170 317 0 300690 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 1204044 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30420 /proc/meminfo: memFree=382280/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1204044 CPUtime=1601.66 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303805 0 0 0 160005 161 0 0 25 0 1 0 175192135 1232941056 294856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 301011 294856 170 317 0 300690 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 1204044 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30422 /proc/meminfo: memFree=381576/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1204576 CPUtime=1661.63 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303942 0 0 0 166002 161 0 0 25 0 1 0 175192135 1233485824 294993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 301144 294993 170 317 0 300823 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 1204576 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30422 /proc/meminfo: memFree=381512/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1204708 CPUtime=1721.61 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303962 0 0 0 171999 162 0 0 25 0 1 0 175192135 1233620992 295013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 301177 295013 170 317 0 300856 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 1204708 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30422 /proc/meminfo: memFree=381384/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1204708 CPUtime=1781.58 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303977 0 0 0 177996 162 0 0 25 0 1 0 175192135 1233620992 295028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 301177 295028 170 317 0 300856 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 1204708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30422 /proc/meminfo: memFree=381320/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1204708 CPUtime=1800.09 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303981 0 0 0 179846 163 0 0 25 0 1 0 175192135 1233620992 295032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 301177 295032 170 317 0 300856 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1204708 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.96 2/78 30422 /proc/meminfo: memFree=381320/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=1141368 CPUtime=1800.67 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194304 303997 0 0 0 179904 163 0 0 25 0 1 0 175192135 1168760832 279874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 285342 279874 186 317 0 285021 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (KiB) 1141368 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 0.96 2/79 30423 /proc/meminfo: memFree=441856/2055920 swapFree=4152380/4192956 [pid=30419] ppid=30417 vsize=0 CPUtime=1801.08 /proc/30419/stat : 30419 (oree) R 30417 30419 30076 0 -1 4194308 303997 0 0 0 179936 172 0 0 25 0 1 0 175192135 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30419/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.08 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.89 CPU time (s): 1801.18 CPU user time (s): 1799.37 CPU system time (s): 1.81172 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (KiB): 1204708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.37 system time used= 1.81172 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 303997 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= 9 involuntary context switches= 2148 runsolver used 2.11668 second user time and 4.42933 second system time The end
Begin job on node10 on Thu Apr 19 14:05:46 UTC 2007 IDJOB= 357217 IDBENCH= 2278 IDSOLVER= 172 FILE ID= node10/357217-1176991536 PBS_JOBID= 4630430 Free space on /tmp= 66110 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome13.opb COMMAND LINE= oree /tmp/evaluation/357217-1176991536/instance-357217-1176991536.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-357217-1176991536 -o ROOT/results/node10/solver-357217-1176991536 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357217-1176991536/instance-357217-1176991536.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e3f30a3ccce8a834fba8f93335c22413 RANDOM SEED= 90912207 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1561952 kB Buffers: 22148 kB Cached: 387424 kB SwapCached: 8560 kB Active: 221920 kB Inactive: 210512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1561952 kB SwapTotal: 4192956 kB SwapFree: 4152380 kB Dirty: 164624 kB Writeback: 0 kB Mapped: 30168 kB Slab: 47092 kB Committed_AS: 3566664 kB PageTables: 1708 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= 66110 MiB End job on node10 on Thu Apr 19 14:35:50 UTC 2007