Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.23 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb |
MD5SUM | 857268f55ca3006474c2fa40f262a214 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.184971 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7936 |
Total number of constraints | 296 |
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 | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 960 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 1818 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530569 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530569 |
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/362449-1177012909/instance-362449-1177012909.opb 0.00/0.00 c File size is 305726 bytes. 0.01/0.06 c Highest Coefficient sum: 530569 0.01/0.06 c Parsing was ok!! 0.01/0.06 c Total parsing time: 0.057 s 0.01/0.06 c Var: 7936 Constr: 336 30/0/306 Lit: 38656 Watch. Lit: 23376 0.01/0.06 c Obj. Vars: 7936 (100 % of total variables) 2.18/2.26 c Pre-processing Time: 2.259 s 2.18/2.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.18/2.26 c 0 3812 336 38656 115 23391 54282 0 0 2.26 2.18/2.26 c Switching off LPR mode. 1800.04/1800.50 c 100 3812 436 58517 134 23600 59711 100 43 2.30 1800.04/1800.50 c 250 3812 586 83805 143 23902 65683 250 106 2.35 1800.04/1800.50 c 475 3812 811 125285 154 24351 72252 475 194 2.45 1800.04/1800.50 c 813 3812 1149 169389 147 25026 79478 813 309 2.63 1800.04/1800.50 c 1321 3812 1657 272875 164 26040 87426 1321 451 2.92 1800.04/1800.50 c 2084 3812 2420 424198 175 27565 96169 2084 600 3.47 1800.04/1800.50 c 3231 3812 3567 804667 225 29859 105786 3231 721 4.48 1800.04/1800.50 c 4952 3812 5288 1383747 261 33301 116365 4952 682 7.25 1800.04/1800.50 c 7536 3812 7872 2453573 311 38469 128002 7536 535 14.08 1800.04/1800.50 c 11417 3812 11753 3845356 327 46232 140803 11417 537 21.26 1800.04/1800.50 c 17240 3812 17576 5572556 317 57878 154884 17240 524 32.85 1800.04/1800.50 c 25977 3812 26313 8979174 341 75348 170373 25977 484 53.66 1800.04/1800.50 c 39091 3812 39427 15437023 391 101579 187411 39091 360 108.58 1800.04/1800.50 c 58761 3812 59097 23306034 394 140919 206153 58761 236 248.81 1800.04/1800.50 c 88272 3812 88608 36498381 411 199944 226769 88272 188 469.18 1800.04/1800.50 c 132542 3812 132878 55085543 414 288484 249446 132542 124 1063.79 1800.04/1800.50 c Resources Exceeded 1800.04/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.50 c 16 177525 98741 1282583 177861 82437585 177525 98 1800.06 1800.04/1800.50 s UNKNOWN 1800.04/1800.50 c Total time: 1800.06 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-362449-1177012909 -o ROOT/results/node30/solver-362449-1177012909 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362449-1177012909/instance-362449-1177012909.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: 1.00 1.00 0.99 3/83 30981 /proc/meminfo: memFree=1871144/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=12036 CPUtime=0 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 149206544 12324864 340 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 3009 341 282 324 0 2003 0 [startup+0.017907 s] /proc/loadavg: 1.00 1.00 0.99 3/83 30981 /proc/meminfo: memFree=1871144/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=12468 CPUtime=0.01 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 493 0 0 0 1 0 0 0 18 0 1 0 149206544 12767232 461 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 3117 461 297 324 0 2111 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12468 [startup+0.101912 s] /proc/loadavg: 1.00 1.00 0.99 3/83 30981 /proc/meminfo: memFree=1871144/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=6220 CPUtime=0.09 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 1030 0 0 0 9 0 0 0 18 0 1 0 149206544 6369280 923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 1555 923 305 324 0 624 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6220 [startup+0.301924 s] /proc/loadavg: 1.00 1.00 0.99 3/83 30981 /proc/meminfo: memFree=1871144/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=6220 CPUtime=0.29 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 1030 0 0 0 29 0 0 0 19 0 1 0 149206544 6369280 923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 1555 923 305 324 0 624 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6220 [startup+0.701948 s] /proc/loadavg: 1.00 1.00 0.99 3/83 30981 /proc/meminfo: memFree=1871144/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=6468 CPUtime=0.69 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 1163 0 0 0 69 0 0 0 23 0 1 0 149206544 6623232 992 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 1617 992 307 324 0 686 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6468 [startup+1.502 s] /proc/loadavg: 1.00 1.00 0.99 2/84 30984 /proc/meminfo: memFree=1868256/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=6468 CPUtime=1.48 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 1163 0 0 0 148 0 0 0 25 0 1 0 149206544 6623232 992 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 1617 992 307 324 0 686 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6468 [startup+3.1011 s] /proc/loadavg: 1.00 1.00 0.99 2/84 30984 /proc/meminfo: memFree=1868064/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=9572 CPUtime=3.08 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 1967 0 0 0 305 3 0 0 25 0 1 0 149206544 9801728 1763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 2393 1763 311 324 0 1462 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9572 [startup+6.30229 s] /proc/loadavg: 1.00 1.00 0.99 2/84 30986 /proc/meminfo: memFree=1855840/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=22352 CPUtime=6.29 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 5165 0 0 0 621 8 0 0 25 0 1 0 149206544 22888448 4961 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 5588 4961 311 324 0 4657 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22352 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1842392/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=34560 CPUtime=12.67 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 8217 0 0 0 1255 12 0 0 25 0 1 0 149206544 35389440 8013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 8640 8013 311 324 0 7709 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 34560 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1813096/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=63012 CPUtime=25.47 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 15317 0 0 0 2524 23 0 0 25 0 1 0 149206544 64524288 15113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 15753 15113 311 324 0 14822 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 63012 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1760552/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=115856 CPUtime=51.06 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 28551 0 0 0 5068 38 0 0 25 0 1 0 149206544 118636544 28347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 28964 28347 311 324 0 28033 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 115856 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1679656/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=195900 CPUtime=102.26 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 48561 0 0 0 10168 58 0 0 25 0 1 0 149206544 200601600 48357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 48975 48357 311 324 0 48044 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 195900 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1642728/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=232908 CPUtime=162.24 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 57811 0 0 0 16148 76 0 0 25 0 1 0 149206544 238497792 57607 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 58227 57607 311 324 0 57296 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 232908 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1587880/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=287584 CPUtime=222.22 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 71468 0 0 0 22130 92 0 0 25 0 1 0 149206544 294486016 71264 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 71896 71264 311 324 0 70965 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 287584 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1538024/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=337780 CPUtime=282.21 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 84007 0 0 0 28114 107 0 0 25 0 1 0 149206544 345886720 83803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 84445 83803 311 324 0 83514 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 337780 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1476008/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=399420 CPUtime=342.2 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 99417 0 0 0 34098 122 0 0 25 0 1 0 149206544 409006080 99213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7450108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 99855 99213 311 324 0 98924 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 399420 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1435112/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=440456 CPUtime=402.18 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 109674 0 0 0 40082 136 0 0 25 0 1 0 149206544 451026944 109470 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 110114 109470 311 324 0 109183 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 440456 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1399016/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=476068 CPUtime=462.16 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 118590 0 0 0 46072 144 0 0 25 0 1 0 149206544 487493632 118386 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 119017 118386 311 324 0 118086 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 476068 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 31006 /proc/meminfo: memFree=1384488/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=490424 CPUtime=522.15 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 122184 0 0 0 52064 151 0 0 25 0 1 0 149206544 502194176 121980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 122606 121980 311 324 0 121675 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 490424 [startup+582.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 31006 /proc/meminfo: memFree=1365224/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=509784 CPUtime=582.14 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 127008 0 0 0 58058 156 0 0 25 0 1 0 149206544 522018816 126804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 127446 126804 311 324 0 126515 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 509784 [startup+642.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 31006 /proc/meminfo: memFree=1355688/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=519092 CPUtime=642.13 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 129350 0 0 0 64051 162 0 0 25 0 1 0 149206544 531550208 129146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 129773 129146 311 324 0 128842 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 519092 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=1243176/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=631628 CPUtime=882.07 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 157464 0 0 0 88012 195 0 0 25 0 1 0 149206544 646787072 157260 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 157907 157260 311 324 0 156976 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 631628 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=1219816/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=654976 CPUtime=942.05 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 163307 0 0 0 94003 202 0 0 25 0 1 0 149206544 670695424 163103 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 163744 163103 311 324 0 162813 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 654976 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=1185448/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=689352 CPUtime=1002.04 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 171920 0 0 0 99994 210 0 0 25 0 1 0 149206544 705896448 171716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550943 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 172338 171716 311 324 0 171407 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 689352 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=1155944/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=719256 CPUtime=1062.02 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 179370 0 0 0 105985 217 0 0 25 0 1 0 149206544 736518144 179166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 179814 179166 311 324 0 178883 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 719256 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=1128616/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=746064 CPUtime=1122.01 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 186079 0 0 0 111976 225 0 0 25 0 1 0 149206544 763969536 185875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 186516 185875 311 324 0 185585 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 746064 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=1100584/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=774180 CPUtime=1182 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 193109 0 0 0 117968 232 0 0 25 0 1 0 149206544 792760320 192905 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 193545 192905 311 324 0 192614 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 774180 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=1073000/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=801420 CPUtime=1241.98 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 199936 0 0 0 123960 238 0 0 25 0 1 0 149206544 820654080 199732 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 200355 199732 311 324 0 199424 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 801420 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=1038184/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=835972 CPUtime=1301.97 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 208574 0 0 0 129952 245 0 0 25 0 1 0 149206544 856035328 208370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 208993 208370 311 324 0 208062 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 835972 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=1004904/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=869532 CPUtime=1361.95 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 216951 0 0 0 135942 253 0 0 25 0 1 0 149206544 890400768 216747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 217383 216747 311 324 0 216452 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 869532 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=973288/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=900832 CPUtime=1421.94 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 224790 0 0 0 141934 260 0 0 25 0 1 0 149206544 922451968 224586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 225208 224586 311 324 0 224277 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 900832 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=945576/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=928888 CPUtime=1481.92 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 231805 0 0 0 147926 266 0 0 25 0 1 0 149206544 951181312 231601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 232222 231601 311 324 0 231291 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 928888 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=910440/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=963496 CPUtime=1541.91 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 240457 0 0 0 153917 274 0 0 25 0 1 0 149206544 986619904 240253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 240874 240253 311 324 0 239943 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 963496 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31006 /proc/meminfo: memFree=881704/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=992620 CPUtime=1601.89 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 247732 0 0 0 159909 280 0 0 25 0 1 0 149206544 1016442880 247528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 248155 247528 311 324 0 247224 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 992620 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 31006 /proc/meminfo: memFree=857704/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=1016284 CPUtime=1661.88 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 253645 0 0 0 165903 285 0 0 25 0 1 0 149206544 1040674816 253441 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 254071 253441 311 324 0 253140 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1016284 [startup+1722.3 s] /proc/loadavg: 1.05 1.02 1.00 2/78 31006 /proc/meminfo: memFree=830504/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=1043584 CPUtime=1721.86 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 260453 0 0 0 171895 291 0 0 25 0 1 0 149206544 1068630016 260249 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 260896 260249 311 324 0 259965 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1043584 [startup+1782.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 31006 /proc/meminfo: memFree=806184/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=1067776 CPUtime=1781.85 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194304 266501 0 0 0 177888 297 0 0 25 0 1 0 149206544 1093402624 266297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 266944 266297 311 324 0 266013 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1067776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.01 1.02 1.00 2/78 31006 /proc/meminfo: memFree=800680/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=0 CPUtime=1800.05 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194308 267830 0 0 0 179707 298 0 0 25 0 1 0 149206544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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.61 s] /proc/loadavg: 1.01 1.02 1.00 2/79 31007 /proc/meminfo: memFree=1451488/2055920 swapFree=4157140/4192956 [pid=30981] ppid=30979 vsize=0 CPUtime=1800.16 /proc/30981/stat : 30981 (bsolo3.0.16) R 30979 30981 30699 0 -1 4194308 267830 0 0 0 179707 309 0 0 25 0 1 0 149206544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30981/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.23 CPU user time (s): 1797.07 CPU system time (s): 3.15352 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 1073012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.07 system time used= 3.15352 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267830 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= 35909 runsolver used 2.03469 second user time and 4.51131 second system time The end
Begin job on node30 on Thu Apr 19 20:01:49 UTC 2007 IDJOB= 362449 IDBENCH= 1561 IDSOLVER= 163 FILE ID= node30/362449-1177012909 PBS_JOBID= 4630551 Free space on /tmp= 66392 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/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362449-1177012909/instance-362449-1177012909.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-362449-1177012909 -o ROOT/results/node30/solver-362449-1177012909 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362449-1177012909/instance-362449-1177012909.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 857268f55ca3006474c2fa40f262a214 RANDOM SEED= 200983842 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.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.218 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.218 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: 1871552 kB Buffers: 32152 kB Cached: 85684 kB SwapCached: 15104 kB Active: 47720 kB Inactive: 93864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1871552 kB SwapTotal: 4192956 kB SwapFree: 4157140 kB Dirty: 4792 kB Writeback: 0 kB Mapped: 31380 kB Slab: 27836 kB Committed_AS: 2872980 kB PageTables: 2000 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= 66392 MiB End job on node30 on Thu Apr 19 20:31:51 UTC 2007