Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.14 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb |
MD5SUM | af7b516198b9fda389a0d83cfb6c28d1 |
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 | 733406 |
Total number of constraints | 12168 |
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 | 12168 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
Number of terms in the objective function | 374066 |
Biggest coefficient in the objective function | 639 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 887406 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 887406 |
Number of bits of the biggest sum of numbers | 20 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/347864-1176526101/instance-347864-1176526101.opb 0.00/0.00 c File size is 29424941 bytes. 8.59/8.60 c Highest Coefficient sum: 887406 8.59/8.60 c Parsing was ok!! 8.59/8.60 c Total parsing time: 8.597 s 8.89/8.95 c Var: 733406 Constr: 24310 1002/0/23308 Lit: 4273550 Watch. Lit: 574624 8.89/8.95 c Obj. Vars: 374066 (51.0039 % of total variables) 183.13/183.20 c Pre-processing Time: 183.131 s 183.13/183.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.13/183.23 c 0 525030 24310 4273550 175 2280440 500000 0 0 183.13 183.13/183.23 c Switching off LPR mode. 1799.91/1800.58 c 100 525030 24410 4281406 175 2701325 550001 100 0 184.85 1799.91/1800.58 c 253 525027 24563 4285782 174 2695879 605002 253 1 185.24 1799.91/1800.58 c 478 525026 24788 4292901 173 2696474 665503 478 2 188.19 1799.91/1800.58 c 816 525026 25126 4306690 171 2702026 732054 816 4 189.57 1799.91/1800.58 c 1332 525025 25642 4327597 168 2703046 805260 1332 6 190.50 1799.91/1800.58 c 2095 525023 26405 4343816 164 2708742 885787 2095 10 196.43 1799.91/1800.58 c 3242 525023 27552 4388639 159 2714778 974366 3242 16 199.40 1799.91/1800.58 c 4964 525023 29274 4495702 153 2716010 500000 4964 24 203.55 1799.91/1800.58 c 7548 525013 31858 4671127 146 2721895 550001 7548 36 207.79 1799.91/1800.58 c 11428 525010 35738 4997056 139 2741152 605002 11428 49 229.81 1799.91/1800.58 c 17250 525009 41560 5610965 135 2748270 665503 17250 73 234.74 1799.91/1800.58 c 25987 525008 50297 6277587 124 2778834 732054 25987 106 243.68 1799.91/1800.58 c 39098 525004 63408 7446212 117 2800637 805260 39098 151 258.11 1799.91/1800.58 c 58769 525004 83079 8965284 107 2862304 885787 58769 212 276.95 1799.91/1800.58 c 88280 525004 112590 12108440 107 2918583 974366 88280 284 310.06 1799.91/1800.58 c 132551 525004 156861 13885729 88 3005860 500000 132551 364 363.35 1799.91/1800.58 c 198961 525004 223271 20367464 91 3138277 550001 198961 321 619.47 1799.91/1800.58 c 298581 524993 322891 24483001 75 3332036 605002 298581 316 943.69 1799.91/1800.58 c 448025 524990 472335 34176634 72 3631507 665503 448025 294 1520.50 1799.91/1800.58 c Resources Exceeded 1799.91/1800.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.58 c 19 549795 21839 4564004 574105 45115584 549795 305 1800.00 1799.91/1800.58 s UNKNOWN 1799.91/1800.58 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-347864-1176526101 -o ROOT/results/node7/solver-347864-1176526101 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347864-1176526101/instance-347864-1176526101.opb 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 1.04 1.02 3/77 8636 /proc/meminfo: memFree=1671072/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=40472 CPUtime=0 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 128647726 41443328 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 10118 336 281 324 0 2003 0 [startup+0.00972505 s] /proc/loadavg: 0.92 1.04 1.02 3/77 8636 /proc/meminfo: memFree=1671072/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=40756 CPUtime=0 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 416 0 0 0 0 0 0 0 18 0 1 0 128647726 41734144 384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 10189 389 287 324 0 2074 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 40756 [startup+0.101735 s] /proc/loadavg: 0.92 1.04 1.02 3/77 8636 /proc/meminfo: memFree=1671072/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=44200 CPUtime=0.09 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 1544 0 0 0 9 0 0 0 18 0 1 0 128647726 45260800 1344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 11050 1345 404 324 0 2935 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 44200 [startup+0.301756 s] /proc/loadavg: 0.92 1.04 1.02 3/77 8636 /proc/meminfo: memFree=1671072/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=50608 CPUtime=0.29 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 3672 0 0 0 28 1 0 0 19 0 1 0 128647726 51822592 3218 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 12652 3219 667 324 0 4537 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 50608 [startup+0.701797 s] /proc/loadavg: 0.92 1.04 1.02 3/77 8636 /proc/meminfo: memFree=1671072/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=65080 CPUtime=0.69 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 8365 0 0 0 66 3 0 0 23 0 1 0 128647726 66641920 6779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 16270 6780 1159 324 0 8155 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 65080 [startup+1.50188 s] /proc/loadavg: 0.92 1.04 1.02 2/78 8637 /proc/meminfo: memFree=1632600/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=76252 CPUtime=1.49 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 14456 0 0 0 142 7 0 0 25 0 1 0 128647726 78082048 12485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 19063 12485 1907 324 0 10948 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 76252 [startup+3.10105 s] /proc/loadavg: 0.92 1.04 1.02 2/78 8637 /proc/meminfo: memFree=1621464/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=92828 CPUtime=3.09 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 20079 0 0 0 299 10 0 0 25 0 1 0 128647726 95055872 18108 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 23207 18108 3247 324 0 15092 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 92828 [startup+6.30138 s] /proc/loadavg: 0.93 1.04 1.02 2/78 8637 /proc/meminfo: memFree=1587800/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=129076 CPUtime=6.28 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 32073 0 0 0 613 15 0 0 25 0 1 0 128647726 132173824 28851 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 32269 28851 5839 324 0 24154 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 129076 [startup+12.7011 s] /proc/loadavg: 0.93 1.04 1.02 2/78 8637 /proc/meminfo: memFree=1478360/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=209096 CPUtime=12.69 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 59592 0 0 0 1240 29 0 0 25 0 1 0 128647726 214114304 48455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 52274 48455 305 324 0 51343 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 209096 [startup+25.5014 s] /proc/loadavg: 0.95 1.04 1.02 2/78 8637 /proc/meminfo: memFree=1477848/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=209728 CPUtime=25.48 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 59735 0 0 0 2515 33 0 0 25 0 1 0 128647726 214761472 48598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 52432 48598 305 324 0 51501 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 209728 [startup+51.1011 s] /proc/loadavg: 0.96 1.03 1.01 2/78 8637 /proc/meminfo: memFree=1476568/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=211168 CPUtime=51.05 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 60101 0 0 0 5061 44 0 0 25 0 1 0 128647726 216236032 48964 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 52792 48964 305 324 0 51861 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 211168 [startup+102.305 s] /proc/loadavg: 0.98 1.03 1.01 2/78 8637 /proc/meminfo: memFree=1407128/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=280388 CPUtime=102.25 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 84577 0 0 0 10139 86 0 0 25 0 1 0 128647726 287117312 66277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 70097 66277 307 324 0 69166 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 280388 [startup+162.302 s] /proc/loadavg: 0.99 1.02 1.00 2/78 8637 /proc/meminfo: memFree=1407128/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=280388 CPUtime=162.23 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 84577 0 0 0 16117 106 0 0 25 0 1 0 128647726 287117312 66277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 70097 66277 307 324 0 69166 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 280388 [startup+222.301 s] /proc/loadavg: 0.99 1.02 1.00 2/78 8637 /proc/meminfo: memFree=1433240/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=253996 CPUtime=222.21 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 90031 0 0 0 22018 203 0 0 25 0 1 0 128647726 260091904 59753 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10846277 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 63499 59753 311 324 0 62568 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 253996 [startup+282.301 s] /proc/loadavg: 0.99 1.01 1.00 2/78 8637 /proc/meminfo: memFree=1370200/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=316768 CPUtime=282.19 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 105768 0 0 0 27954 265 0 0 25 0 1 0 128647726 324370432 75490 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 79192 75490 311 324 0 78261 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 316768 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 8637 /proc/meminfo: memFree=1312472/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=374396 CPUtime=342.18 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 120181 0 0 0 33913 305 0 0 25 0 1 0 128647726 383381504 89903 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 93599 89903 311 324 0 92668 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 374396 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 8637 /proc/meminfo: memFree=1285784/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=401296 CPUtime=402.16 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 126896 0 0 0 39892 324 0 0 25 0 1 0 128647726 410927104 96618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 100324 96618 311 324 0 99393 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 401296 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 8637 /proc/meminfo: memFree=1262872/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=424080 CPUtime=462.15 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 132596 0 0 0 45881 334 0 0 25 0 1 0 128647726 434257920 102318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 106020 102318 311 324 0 105089 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 424080 [startup+522.301 s] /proc/loadavg: 1.03 1.01 1.00 2/78 8637 /proc/meminfo: memFree=1240408/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=446800 CPUtime=522.13 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 138272 0 0 0 51870 343 0 0 25 0 1 0 128647726 457523200 107994 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 111700 107994 311 324 0 110769 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 446800 [startup+582.302 s] /proc/loadavg: 1.12 1.04 1.01 2/78 8637 /proc/meminfo: memFree=1225944/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=460832 CPUtime=582.12 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 141792 0 0 0 57862 350 0 0 25 0 1 0 128647726 471891968 111514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 115208 111514 311 324 0 114277 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 460832 [startup+642.301 s] /proc/loadavg: 1.12 1.04 1.00 2/78 8637 /proc/meminfo: memFree=1207960/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=478604 CPUtime=642.11 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 146243 0 0 0 63843 368 0 0 25 0 1 0 128647726 490090496 115965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 119651 115965 311 324 0 118720 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 478604 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.04 1.05 1.00 2/78 8835 /proc/meminfo: memFree=1157592/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=528816 CPUtime=881.95 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 158787 0 0 0 87773 422 0 0 25 0 1 0 128647726 541507584 128509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 132204 128509 311 324 0 131273 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 528816 [startup+942.302 s] /proc/loadavg: 1.01 1.04 1.00 2/78 8835 /proc/meminfo: memFree=1151576/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=534856 CPUtime=941.93 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 160303 0 0 0 93766 427 0 0 25 0 1 0 128647726 547692544 130025 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 133714 130025 311 324 0 132783 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 534856 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 8835 /proc/meminfo: memFree=1107736/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=578700 CPUtime=1001.92 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 171268 0 0 0 99745 447 0 0 25 0 1 0 128647726 592588800 140990 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 144675 140990 311 324 0 143744 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 578700 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 8835 /proc/meminfo: memFree=1092632/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=593884 CPUtime=1061.9 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 175065 0 0 0 105733 457 0 0 25 0 1 0 128647726 608137216 144787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10863416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 148471 144787 311 324 0 147540 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 593884 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 8835 /proc/meminfo: memFree=1078296/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=608060 CPUtime=1121.89 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 178589 0 0 0 111724 465 0 0 25 0 1 0 128647726 622653440 148311 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 152015 148311 311 324 0 151084 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 608060 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 8835 /proc/meminfo: memFree=1064472/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=621956 CPUtime=1181.87 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 182093 0 0 0 117714 473 0 0 25 0 1 0 128647726 636882944 151815 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 155489 151815 311 324 0 154558 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 621956 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 8835 /proc/meminfo: memFree=1052056/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=634312 CPUtime=1241.86 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 185178 0 0 0 123705 481 0 0 25 0 1 0 128647726 649535488 154900 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 158578 154900 311 324 0 157647 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 634312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8835 /proc/meminfo: memFree=1041496/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=644676 CPUtime=1301.85 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 187773 0 0 0 129697 488 0 0 25 0 1 0 128647726 660148224 157495 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 161169 157495 311 324 0 160238 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 644676 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8835 /proc/meminfo: memFree=1036312/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=649996 CPUtime=1361.83 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 189088 0 0 0 135692 491 0 0 25 0 1 0 128647726 665595904 158810 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 162499 158810 311 324 0 161568 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 649996 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8835 /proc/meminfo: memFree=1026264/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=659872 CPUtime=1421.81 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 191557 0 0 0 141684 497 0 0 25 0 1 0 128647726 675708928 161279 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551581 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 164968 161279 311 324 0 164037 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 659872 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 8835 /proc/meminfo: memFree=1017048/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=669096 CPUtime=1481.79 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 193873 0 0 0 147677 502 0 0 25 0 1 0 128647726 685154304 163595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 167274 163595 311 324 0 166343 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 669096 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 8835 /proc/meminfo: memFree=981976/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=704316 CPUtime=1541.78 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 202655 0 0 0 153657 521 0 0 25 0 1 0 128647726 721219584 172377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 176079 172377 311 324 0 175148 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 704316 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8835 /proc/meminfo: memFree=951384/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=734916 CPUtime=1601.77 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 210323 0 0 0 159642 535 0 0 25 0 1 0 128647726 752553984 180045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 183729 180045 311 324 0 182798 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 734916 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8835 /proc/meminfo: memFree=925656/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=760520 CPUtime=1661.75 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 216710 0 0 0 165630 545 0 0 25 0 1 0 128647726 778772480 186432 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 190130 186432 311 324 0 189199 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 760520 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8835 /proc/meminfo: memFree=906840/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=779444 CPUtime=1721.73 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 221449 0 0 0 171621 552 0 0 25 0 1 0 128647726 798150656 191171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 194861 191171 311 324 0 193930 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 779444 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8835 /proc/meminfo: memFree=869336/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=816960 CPUtime=1781.71 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194304 230818 0 0 0 177595 576 0 0 25 0 1 0 128647726 836567040 200540 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 204240 200540 311 324 0 203309 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 816960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8835 /proc/meminfo: memFree=935896/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=0 CPUtime=1800.02 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194308 234026 0 0 0 179419 583 0 0 25 0 1 0 128647726 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8835 /proc/meminfo: memFree=935896/2055920 swapFree=4191880/4192956 [pid=8636] ppid=8634 vsize=0 CPUtime=1800.12 /proc/8636/stat : 8636 (bsolo3.0.16) R 8634 8636 8199 0 -1 4194308 234026 0 0 0 179419 593 0 0 25 0 1 0 128647726 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8636/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.14 CPU user time (s): 1794.2 CPU system time (s): 5.9411 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 829720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.2 system time used= 5.9411 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 234026 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= 12 involuntary context switches= 37314 runsolver used 2.11468 second user time and 4.40033 second system time The end
Begin job on node7 on Sat Apr 14 04:48:21 UTC 2007 IDJOB= 347864 IDBENCH= 1537 IDSOLVER= 163 FILE ID= node7/347864-1176526101 PBS_JOBID= 4556715 Free space on /tmp= 66491 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347864-1176526101/instance-347864-1176526101.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-347864-1176526101 -o ROOT/results/node7/solver-347864-1176526101 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/347864-1176526101/instance-347864-1176526101.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= af7b516198b9fda389a0d83cfb6c28d1 RANDOM SEED= 949545879 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1671544 kB Buffers: 36392 kB Cached: 249344 kB SwapCached: 408 kB Active: 86844 kB Inactive: 241784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1671544 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 33144 kB Writeback: 0 kB Mapped: 59908 kB Slab: 41252 kB Committed_AS: 2764820 kB PageTables: 1864 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= 66491 MiB End job on node7 on Sat Apr 14 05:18:24 UTC 2007