Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.08 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-dc1c.opb |
MD5SUM | 5bb71a9130ac2c3fe622e296e248e968 |
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 | 19.2431 |
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 | 58150 |
Total number of constraints | 1648 |
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 | 1648 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 58150 |
Number of terms in the objective function | 58150 |
Biggest coefficient in the objective function | 41346 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 580891 |
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 | 580891 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432632-1177946570/instance-432632-1177946570.opb 0.00/0.00 c File size is 2805321 bytes. 0.49/0.59 c Highest Coefficient sum: 580891 0.49/0.59 c Parsing was ok!! 0.49/0.59 c Total parsing time: 0.593 s 0.59/0.64 c Var: 58150 Constr: 3286 2/0/3284 Lit: 351277 Watch. Lit: 195871 0.59/0.64 c Obj. Vars: 58150 (100 % of total variables) 36.48/36.56 c Pre-processing Time: 36.553 s 36.48/36.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.48/36.57 c 0 36196 3282 351153 106 302155 702306 0 0 36.55 36.48/36.57 c Switching off LPR mode. 1800.02/1800.61 c 100 36196 3382 358038 105 324990 772537 100 2 40.04 1800.02/1800.61 c 250 36196 3532 368834 104 319316 849791 250 5 42.65 1800.02/1800.61 c 475 36196 3757 392672 104 319606 934771 475 10 46.05 1800.02/1800.61 c 814 36196 4096 434327 106 319686 500000 814 16 48.67 1800.02/1800.61 c 1323 36196 4605 505798 109 321067 550001 1323 24 54.96 1800.02/1800.61 c 2087 36196 5369 614022 114 322495 605002 2087 34 59.94 1800.02/1800.61 c 3234 36196 6516 721037 110 324210 665503 3234 49 65.73 1800.02/1800.61 c 4955 36196 8237 917758 111 327311 732054 4955 64 76.30 1800.02/1800.61 c 7540 36196 10822 1199053 110 334196 805260 7540 83 90.73 1800.02/1800.61 c 11419 36196 14701 1675612 113 342006 885787 11419 91 124.89 1800.02/1800.61 c 17243 36196 20525 2436215 118 353126 974366 17243 107 160.99 1800.02/1800.61 c 25980 36196 29262 3506236 119 370406 500000 25980 120 215.33 1800.02/1800.61 c 39090 36196 42372 5333607 125 396163 550001 39090 130 300.02 1800.02/1800.61 c 58760 36196 62042 8553848 137 436163 605002 58760 84 696.96 1800.02/1800.61 c 88270 36196 91552 11590610 126 495649 665503 88270 98 893.17 1800.02/1800.61 c 132540 36196 135822 17082006 125 584169 732054 132540 88 1494.04 1800.02/1800.61 c Caught signal: 15 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 16 178878 105798 2126729 182160 21976192 178878 99 1800.03 1800.02/1800.61 s UNKNOWN 1800.02/1800.61 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-432632-1177946570 -o ROOT/results/node25/solver-432632-1177946570 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432632-1177946570/instance-432632-1177946570.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.91 0.97 0.90 3/64 22404 /proc/meminfo: memFree=1741752/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=22288 CPUtime=0 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 242574118 22822912 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 3619 331 279 324 0 2004 0 [startup+0.0673199 s] /proc/loadavg: 0.91 0.97 0.90 3/64 22404 /proc/meminfo: memFree=1741752/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=16568 CPUtime=0.06 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 1008 0 0 0 6 0 0 0 18 0 1 0 242574118 16965632 938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 4142 939 354 324 0 2527 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 16568 [startup+0.101325 s] /proc/loadavg: 0.91 0.97 0.90 3/64 22404 /proc/meminfo: memFree=1741752/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=18264 CPUtime=0.09 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 1494 0 0 0 9 0 0 0 18 0 1 0 242574118 18702336 1345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 4566 1345 396 324 0 2951 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18264 [startup+0.301359 s] /proc/loadavg: 0.91 0.97 0.90 3/64 22404 /proc/meminfo: memFree=1741752/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=13792 CPUtime=0.29 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 2607 0 0 0 29 0 0 0 19 0 1 0 242574118 14123008 2409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10487596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 3448 2409 620 324 0 1833 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13792 [startup+0.701428 s] /proc/loadavg: 0.91 0.97 0.90 3/64 22404 /proc/meminfo: memFree=1741752/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=23896 CPUtime=0.69 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6268 0 0 0 67 2 0 0 22 0 1 0 242574118 24469504 5188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 5974 5188 304 324 0 5044 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23896 [startup+1.50156 s] /proc/loadavg: 0.92 0.97 0.90 2/65 22405 /proc/meminfo: memFree=1722096/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=23896 CPUtime=1.49 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6274 0 0 0 147 2 0 0 25 0 1 0 242574118 24469504 5194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 5974 5194 304 324 0 5044 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23896 [startup+3.10184 s] /proc/loadavg: 0.92 0.97 0.90 2/65 22405 /proc/meminfo: memFree=1721584/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=23896 CPUtime=3.09 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6274 0 0 0 307 2 0 0 25 0 1 0 242574118 24469504 5194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 5974 5194 304 324 0 5044 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23896 [startup+6.30138 s] /proc/loadavg: 0.92 0.97 0.90 2/65 22405 /proc/meminfo: memFree=1721776/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=23896 CPUtime=6.29 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6274 0 0 0 626 3 0 0 25 0 1 0 242574118 24469504 5194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 5974 5194 304 324 0 5044 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23896 [startup+12.7025 s] /proc/loadavg: 0.93 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1721520/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=24292 CPUtime=12.69 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6378 0 0 0 1265 4 0 0 25 0 1 0 242574118 24875008 5298 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 6073 5298 304 324 0 5143 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24292 [startup+25.5017 s] /proc/loadavg: 0.94 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1720944/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=24952 CPUtime=25.49 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6532 0 0 0 2543 6 0 0 25 0 1 0 242574118 25550848 5452 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 6238 5452 304 324 0 5308 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24952 [startup+51.102 s] /proc/loadavg: 0.96 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1715824/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=29896 CPUtime=51.07 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 8399 0 0 0 5098 9 0 0 25 0 1 0 242574118 30613504 6749 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572689 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 7474 6749 310 324 0 6544 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29896 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1705200/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=40468 CPUtime=102.27 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 11061 0 0 0 10215 12 0 0 25 0 1 0 242574118 41439232 9411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 10117 9411 310 324 0 9187 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40468 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1690544/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=55428 CPUtime=162.24 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 14785 0 0 0 16210 14 0 0 25 0 1 0 242574118 56758272 13135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 13857 13135 310 324 0 12927 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 55428 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1673840/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=71660 CPUtime=222.22 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 18867 0 0 0 22203 19 0 0 25 0 1 0 242574118 73379840 17217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 17915 17217 310 324 0 16985 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 71660 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1655408/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=90148 CPUtime=282.2 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 23493 0 0 0 28195 25 0 0 25 0 1 0 242574118 92311552 21843 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 22537 21843 310 324 0 21607 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 90148 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1645424/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=99948 CPUtime=342.18 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 25938 0 0 0 34191 27 0 0 25 0 1 0 242574118 102346752 24288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 24987 24288 310 324 0 24057 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 99948 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1638768/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=106672 CPUtime=402.17 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 27610 0 0 0 40188 29 0 0 25 0 1 0 242574118 109232128 25960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 26668 25960 310 324 0 25738 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 106672 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1631984/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=113436 CPUtime=462.14 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 29287 0 0 0 46184 30 0 0 25 0 1 0 242574118 116158464 27637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 28359 27637 310 324 0 27429 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 113436 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1625200/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=120284 CPUtime=522.12 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 31003 0 0 0 52181 31 0 0 25 0 1 0 242574118 123170816 29353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 30071 29353 310 324 0 29141 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 120284 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1618672/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=126752 CPUtime=582.1 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 32620 0 0 0 58177 33 0 0 25 0 1 0 242574118 129794048 30970 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 31688 30970 310 324 0 30758 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 126752 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1612336/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=132936 CPUtime=642.09 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 34179 0 0 0 64174 35 0 0 25 0 1 0 242574118 136126464 32529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 33234 32529 310 324 0 32304 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 132936 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1578096/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=167144 CPUtime=822.03 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 42734 0 0 0 82160 43 0 0 25 0 1 0 242574118 171155456 41084 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 41786 41084 310 324 0 40856 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 167144 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1566640/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=178520 CPUtime=882.01 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 45579 0 0 0 88154 47 0 0 25 0 1 0 242574118 182804480 43929 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572679 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 44630 43929 310 324 0 43700 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 178520 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1557872/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=187404 CPUtime=941.99 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 47791 0 0 0 94151 48 0 0 25 0 1 0 242574118 191901696 46141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 46851 46141 310 324 0 45921 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 187404 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22405 /proc/meminfo: memFree=1549616/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=195660 CPUtime=1001.97 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 49848 0 0 0 100147 50 0 0 25 0 1 0 242574118 200355840 48198 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 48915 48198 310 324 0 47985 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 195660 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1539312/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=205952 CPUtime=1061.95 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 52418 0 0 0 106143 52 0 0 25 0 1 0 242574118 210894848 50768 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 51488 50768 310 324 0 50558 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 205952 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1531760/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=213428 CPUtime=1121.93 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 54286 0 0 0 112139 54 0 0 25 0 1 0 242574118 218550272 52636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 53357 52636 310 324 0 52427 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 213428 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1523632/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=221532 CPUtime=1181.91 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 56337 0 0 0 118136 55 0 0 25 0 1 0 242574118 226848768 54687 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571469 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 55383 54687 310 324 0 54453 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 221532 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1516656/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=228460 CPUtime=1241.89 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 58051 0 0 0 124132 57 0 0 25 0 1 0 242574118 233943040 56401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 57115 56401 310 324 0 56185 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 228460 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1510000/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=235012 CPUtime=1301.88 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 59689 0 0 0 130129 59 0 0 25 0 1 0 242574118 240652288 58039 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 58753 58039 310 324 0 57823 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 235012 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1503472/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=241548 CPUtime=1361.86 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 61334 0 0 0 136126 60 0 0 25 0 1 0 242574118 247345152 59684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 60387 59684 310 324 0 59457 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 241548 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1497072/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=247900 CPUtime=1421.84 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 62908 0 0 0 142123 61 0 0 25 0 1 0 242574118 253849600 61258 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 61975 61258 310 324 0 61045 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 247900 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1490992/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=254112 CPUtime=1481.81 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 64457 0 0 0 148117 64 0 0 25 0 1 0 242574118 260210688 62807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 63528 62807 310 324 0 62598 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 254112 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1477552/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=267484 CPUtime=1541.79 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 67800 0 0 0 154111 68 0 0 25 0 1 0 242574118 273903616 66150 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 66871 66150 310 324 0 65941 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 267484 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1464240/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=280836 CPUtime=1601.78 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 71148 0 0 0 160105 73 0 0 25 0 1 0 242574118 287576064 69498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 70209 69498 310 324 0 69279 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 280836 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1451440/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=293668 CPUtime=1661.76 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 74358 0 0 0 166100 76 0 0 25 0 1 0 242574118 300716032 72708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 73417 72708 310 324 0 72487 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 293668 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1439920/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=305244 CPUtime=1721.74 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 77253 0 0 0 172094 80 0 0 25 0 1 0 242574118 312569856 75603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10460903 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 76311 75603 310 324 0 75381 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 305244 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1426352/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=318688 CPUtime=1781.72 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 80620 0 0 0 178089 83 0 0 25 0 1 0 242574118 326336512 78970 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 79672 78970 310 324 0 78742 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 318688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22407 /proc/meminfo: memFree=1422448/2055920 swapFree=4182920/4192956 [pid=22404] ppid=22402 vsize=322596 CPUtime=1800.02 /proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 81580 0 0 0 179918 84 0 0 25 0 1 0 242574118 330338304 79930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22404/statm: 80649 79930 310 324 0 79719 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 322596 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.66 CPU time (s): 1800.08 CPU user time (s): 1799.19 CPU system time (s): 0.891864 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 322596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.19 system time used= 0.891864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81584 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= 4029 runsolver used 1.43378 second user time and 3.48947 second system time The end
Begin job on node25 on Mon Apr 30 15:22:50 UTC 2007 IDJOB= 432632 IDBENCH= 1630 IDSOLVER= 199 FILE ID= node25/432632-1177946570 PBS_JOBID= 4727647 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dc1c.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432632-1177946570/instance-432632-1177946570.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-432632-1177946570 -o ROOT/results/node25/solver-432632-1177946570 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432632-1177946570/instance-432632-1177946570.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 5bb71a9130ac2c3fe622e296e248e968 RANDOM SEED= 309984194 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1742160 kB Buffers: 39372 kB Cached: 195968 kB SwapCached: 4020 kB Active: 101136 kB Inactive: 143956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1742160 kB SwapTotal: 4192956 kB SwapFree: 4182920 kB Dirty: 9316 kB Writeback: 0 kB Mapped: 15664 kB Slab: 54676 kB Committed_AS: 4337652 kB PageTables: 1472 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= 66555 MiB End job on node25 on Mon Apr 30 15:52:53 UTC 2007