Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.11 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb |
MD5SUM | cbc7f776eebadde6a6228c5e168c70a1 |
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 | 60930 |
Total number of constraints | 2157 |
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 | 2157 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 450 |
Number of terms in the objective function | 31770 |
Biggest coefficient in the objective function | 2474 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 550404 |
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 | 550404 |
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/432725-1177948270/instance-432725-1177948270.opb 0.00/0.00 c File size is 3034521 bytes. 0.59/0.64 c Highest Coefficient sum: 550404 0.59/0.64 c Parsing was ok!! 0.59/0.64 c Total parsing time: 0.643 s 0.59/0.67 c Var: 60930 Constr: 3300 3/0/3297 Lit: 398160 Watch. Lit: 78555 0.59/0.67 c Obj. Vars: 31770 (52.1418 % of total variables) 3.39/3.45 c Pre-processing Time: 3.453 s 3.39/3.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.46 c 0 46484 3300 398160 120 336838 796141 0 0 3.45 3.39/3.46 c Switching off LPR mode. 1800.02/1800.60 c 100 46484 3400 402689 118 363904 875756 100 24 4.11 1800.02/1800.60 c 250 46484 3550 410173 115 359517 963332 250 45 5.49 1800.02/1800.60 c 475 46484 3775 420690 111 363343 500000 475 61 7.68 1800.02/1800.60 c 814 46474 4114 439378 106 364124 550001 814 82 9.91 1800.02/1800.60 c 1322 46474 4622 484277 104 365207 605002 1322 113 11.69 1800.02/1800.60 c 2086 46474 5386 513038 95 366439 665503 2086 157 13.25 1800.02/1800.60 c 3232 46474 6532 560724 85 368703 732054 3232 171 18.88 1800.02/1800.60 c 4953 46474 8253 663723 80 372061 805260 4953 152 32.56 1800.02/1800.60 c 7537 46474 10837 1019121 94 375430 885787 7537 170 44.19 1800.02/1800.60 c 11416 46473 14716 1311596 89 384619 974366 11416 67 169.55 1800.02/1800.60 c 17238 46473 20538 2140458 104 396730 500000 17238 97 176.26 1800.02/1800.60 c 25975 46473 29275 2751549 93 412973 550001 25975 144 179.67 1800.02/1800.60 c 39085 46473 42385 5779813 136 440284 605002 39085 183 213.09 1800.02/1800.60 c 58756 46467 62056 7367133 118 477644 665503 58756 242 242.00 1800.02/1800.61 c 88273 46465 91573 8900473 97 536789 732054 88273 313 281.29 1800.02/1800.61 c 132545 46459 135845 11897322 87 625400 805260 132545 347 381.93 1800.02/1800.61 c 198955 46454 202255 16081802 79 758261 885787 198955 347 572.88 1800.02/1800.61 c 298576 46435 301876 21869959 72 957401 974366 298576 383 778.13 1800.02/1800.61 c 448011 46430 451311 33940034 75 1256278 500000 448011 264 1691.63 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 19 472345 43386 924510 475645 34878442 472345 262 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/node11/watcher-432725-1177948270 -o ROOT/results/node11/solver-432725-1177948270 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432725-1177948270/instance-432725-1177948270.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.12 1.09 1.04 3/77 13920 /proc/meminfo: memFree=1700216/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=14700 CPUtime=0 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 235875983 15052800 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 3675 334 279 324 0 2004 0 [startup+0.026484 s] /proc/loadavg: 1.12 1.09 1.04 3/77 13920 /proc/meminfo: memFree=1700216/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=15440 CPUtime=0.02 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 582 0 0 0 2 0 0 0 18 0 1 0 235875983 15810560 552 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 3860 552 308 324 0 2189 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15440 [startup+0.101493 s] /proc/loadavg: 1.12 1.09 1.04 3/77 13920 /proc/meminfo: memFree=1700216/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=10152 CPUtime=0.09 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 1335 0 0 0 9 0 0 0 18 0 1 0 235875983 10395648 1265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 2538 1265 399 324 0 867 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10152 [startup+0.301513 s] /proc/loadavg: 1.12 1.09 1.04 3/77 13920 /proc/meminfo: memFree=1700216/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=13448 CPUtime=0.29 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 2459 0 0 0 29 0 0 0 19 0 1 0 235875983 13770752 2261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 3362 2261 622 324 0 1691 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13448 [startup+0.701556 s] /proc/loadavg: 1.12 1.09 1.04 3/77 13920 /proc/meminfo: memFree=1700216/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=22372 CPUtime=0.69 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 5832 0 0 0 67 2 0 0 22 0 1 0 235875983 22908928 4830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 5593 4831 304 324 0 4663 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22372 [startup+1.50164 s] /proc/loadavg: 1.12 1.09 1.04 2/78 13921 /proc/meminfo: memFree=1677488/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=27204 CPUtime=1.49 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 6991 0 0 0 144 5 0 0 25 0 1 0 235875983 27856896 5989 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 6801 5989 304 324 0 5871 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27204 [startup+3.10181 s] /proc/loadavg: 1.12 1.09 1.04 2/78 13921 /proc/meminfo: memFree=1672368/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=32148 CPUtime=3.09 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 8800 0 0 0 299 10 0 0 25 0 1 0 235875983 32919552 7200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 8037 7200 306 324 0 7107 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32148 [startup+6.30115 s] /proc/loadavg: 1.19 1.11 1.05 2/78 13921 /proc/meminfo: memFree=1674672/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=29716 CPUtime=6.29 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 9348 0 0 0 618 11 0 0 25 0 1 0 235875983 30429184 6606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 7429 6606 310 324 0 6499 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29716 [startup+12.7018 s] /proc/loadavg: 1.17 1.10 1.05 2/78 13921 /proc/meminfo: memFree=1673904/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=30380 CPUtime=12.69 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 9537 0 0 0 1258 11 0 0 25 0 1 0 235875983 31109120 6795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 7595 6795 310 324 0 6665 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30380 [startup+25.5012 s] /proc/loadavg: 1.14 1.10 1.05 2/78 13921 /proc/meminfo: memFree=1672304/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=32108 CPUtime=25.48 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 9961 0 0 0 2537 11 0 0 25 0 1 0 235875983 32878592 7219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 8027 7219 310 324 0 7097 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32108 [startup+51.1019 s] /proc/loadavg: 1.09 1.09 1.04 2/78 13921 /proc/meminfo: memFree=1665840/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=38580 CPUtime=51.08 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 11579 0 0 0 5095 13 0 0 25 0 1 0 235875983 39505920 8837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 9645 8837 310 324 0 8715 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38580 [startup+102.305 s] /proc/loadavg: 1.04 1.07 1.04 3/78 13921 /proc/meminfo: memFree=1663856/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=40568 CPUtime=102.27 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 12071 0 0 0 10214 13 0 0 25 0 1 0 235875983 41541632 9329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8413025 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 10142 9329 310 324 0 9212 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40568 [startup+162.302 s] /proc/loadavg: 1.01 1.06 1.03 2/78 13921 /proc/meminfo: memFree=1663088/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=41360 CPUtime=162.25 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 12272 0 0 0 16211 14 0 0 25 0 1 0 235875983 42352640 9530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 10340 9530 310 324 0 9410 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 41360 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.03 2/78 13921 /proc/meminfo: memFree=1594544/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=109836 CPUtime=222.23 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 29394 0 0 0 22198 25 0 0 25 0 1 0 235875983 112472064 26652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 27459 26652 310 324 0 26529 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 109836 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.02 2/78 13921 /proc/meminfo: memFree=1557616/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=146732 CPUtime=282.22 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 38622 0 0 0 28187 35 0 0 25 0 1 0 235875983 150253568 35880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 36683 35880 310 324 0 35753 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 146732 [startup+342.302 s] /proc/loadavg: 1.00 1.03 1.02 2/78 13921 /proc/meminfo: memFree=1526320/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=177860 CPUtime=342.2 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 46393 0 0 0 34178 42 0 0 25 0 1 0 235875983 182128640 43651 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8421093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 44465 43651 310 324 0 43535 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 177860 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.01 2/78 13921 /proc/meminfo: memFree=1506928/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=197376 CPUtime=402.19 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 51282 0 0 0 40171 48 0 0 25 0 1 0 235875983 202113024 48540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 49344 48540 310 324 0 48414 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 197376 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 13921 /proc/meminfo: memFree=1488048/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=216244 CPUtime=462.17 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 55971 0 0 0 46164 53 0 0 25 0 1 0 235875983 221433856 53229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 54061 53229 310 324 0 53131 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 216244 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 13921 /proc/meminfo: memFree=1468080/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=236248 CPUtime=522.15 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 60981 0 0 0 52157 58 0 0 25 0 1 0 235875983 241917952 58239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 59062 58239 310 324 0 58132 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 236248 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13921 /proc/meminfo: memFree=1451632/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=252428 CPUtime=582.14 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 65042 0 0 0 58151 63 0 0 25 0 1 0 235875983 258486272 62300 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 63107 62300 310 324 0 62177 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 252428 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/84 14099 /proc/meminfo: memFree=1429752/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=272920 CPUtime=642.04 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 70165 0 0 0 64135 69 0 0 25 0 1 0 235875983 279470080 67423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8414099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 68230 67423 310 324 0 67300 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 272920 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1333616/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=370264 CPUtime=821.98 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 94501 0 0 0 82108 90 0 0 25 0 1 0 235875983 379150336 91759 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 92566 91759 310 324 0 91636 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 370264 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1306736/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=397004 CPUtime=881.96 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 101169 0 0 0 88100 96 0 0 25 0 1 0 235875983 406532096 98427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 99251 98427 310 324 0 98321 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 397004 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1290480/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=413204 CPUtime=941.95 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 105226 0 0 0 94093 102 0 0 25 0 1 0 235875983 423120896 102484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 103301 102484 310 324 0 102371 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 413204 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1279408/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=424100 CPUtime=1001.93 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 107967 0 0 0 100088 105 0 0 25 0 1 0 235875983 434278400 105225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 106025 105225 310 324 0 105095 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 424100 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1269552/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=434088 CPUtime=1061.91 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 110450 0 0 0 106082 109 0 0 25 0 1 0 235875983 444506112 107708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 108522 107708 310 324 0 107592 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 434088 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1261232/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=442344 CPUtime=1121.9 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 112511 0 0 0 112078 112 0 0 25 0 1 0 235875983 452960256 109769 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 110586 109769 310 324 0 109656 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 442344 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1250544/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=453192 CPUtime=1181.88 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 115233 0 0 0 118073 115 0 0 25 0 1 0 235875983 464068608 112491 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 113298 112491 310 324 0 112368 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 453192 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1239088/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=464572 CPUtime=1241.86 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 118059 0 0 0 124067 119 0 0 25 0 1 0 235875983 475721728 115317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 116143 115317 310 324 0 115213 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 464572 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1229808/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=473748 CPUtime=1301.85 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 120371 0 0 0 130063 122 0 0 25 0 1 0 235875983 485117952 117629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 118437 117629 310 324 0 117507 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 473748 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1223344/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=480232 CPUtime=1361.83 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 121992 0 0 0 136059 124 0 0 25 0 1 0 235875983 491757568 119250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 120058 119250 310 324 0 119128 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 480232 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1218608/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=484892 CPUtime=1421.82 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 123161 0 0 0 142056 126 0 0 25 0 1 0 235875983 496529408 120419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 121223 120419 310 324 0 120293 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 484892 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1214192/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=489308 CPUtime=1481.79 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 124264 0 0 0 148052 127 0 0 25 0 1 0 235875983 501051392 121522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 122327 121522 310 324 0 121397 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 489308 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1208304/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=495144 CPUtime=1541.79 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 125721 0 0 0 154049 130 0 0 25 0 1 0 235875983 507027456 122979 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 123786 122979 310 324 0 122856 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 495144 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1203312/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=500180 CPUtime=1601.76 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 126970 0 0 0 160045 131 0 0 25 0 1 0 235875983 512184320 124228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 125045 124228 310 324 0 124115 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 500180 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1199216/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=504336 CPUtime=1661.75 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 128010 0 0 0 166042 133 0 0 25 0 1 0 235875983 516440064 125268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 126084 125268 310 324 0 125154 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 504336 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1188912/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=514536 CPUtime=1721.74 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 130574 0 0 0 172038 136 0 0 25 0 1 0 235875983 526884864 127832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 128634 127832 310 324 0 127704 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 514536 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1183792/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=519688 CPUtime=1781.72 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 131860 0 0 0 178035 137 0 0 25 0 1 0 235875983 532160512 129118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 129922 129118 310 324 0 128992 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 519688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14119 /proc/meminfo: memFree=1182128/2055920 swapFree=4146836/4192956 [pid=13920] ppid=13918 vsize=521272 CPUtime=1800.02 /proc/13920/stat : 13920 (bsolo3.0.17) R 13918 13920 13460 0 -1 4194304 132261 0 0 0 179865 137 0 0 25 0 1 0 235875983 533782528 129519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13920/statm: 130318 129519 310 324 0 129388 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 521272 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.71 CPU time (s): 1800.11 CPU user time (s): 1798.65 CPU system time (s): 1.46078 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (KiB): 521272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.65 system time used= 1.46078 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 132265 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= 3956 runsolver used 1.41378 second user time and 3.89641 second system time The end
Begin job on node11 on Mon Apr 30 15:51:10 UTC 2007 IDJOB= 432725 IDBENCH= 1724 IDSOLVER= 199 FILE ID= node11/432725-1177948270 PBS_JOBID= 4727678 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/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432725-1177948270/instance-432725-1177948270.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-432725-1177948270 -o ROOT/results/node11/solver-432725-1177948270 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432725-1177948270/instance-432725-1177948270.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= cbc7f776eebadde6a6228c5e168c70a1 RANDOM SEED= 740223044 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1700624 kB Buffers: 41136 kB Cached: 216648 kB SwapCached: 14692 kB Active: 132572 kB Inactive: 150156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1700624 kB SwapTotal: 4192956 kB SwapFree: 4146836 kB Dirty: 9564 kB Writeback: 0 kB Mapped: 31588 kB Slab: 58048 kB Committed_AS: 6476516 kB PageTables: 1852 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 node11 on Mon Apr 30 16:21:13 UTC 2007