Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.1 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scorpion.opb |
MD5SUM | c81149f534c8693c12d254417cbfee8f |
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 | 10740 |
Total number of constraints | 377 |
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 | 377 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 8460 |
Biggest coefficient in the objective function | 9370 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 531275 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531275 |
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/348501-1176585790/instance-348501-1176585790.opb 0.00/0.00 c File size is 504659 bytes. 0.09/0.18 c Highest Coefficient sum: 531275 0.09/0.18 c Parsing was ok!! 0.09/0.18 c Total parsing time: 0.181 s 0.09/0.19 c Var: 10740 Constr: 657 62/0/595 Lit: 75450 Watch. Lit: 11614 0.09/0.19 c Obj. Vars: 8460 (78.7709 % of total variables) 0.49/0.54 c Pre-processing Time: 0.534 s 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 9203 609 72930 119 49653 142936 0 0 0.53 0.49/0.54 c Switching off LPR mode. 1799.99/1800.71 c 101 9203 710 85897 120 59265 157230 101 109 0.92 1799.99/1800.71 c 251 9203 860 106724 124 58464 172954 251 165 1.51 1799.99/1800.71 c 476 9203 1085 159059 146 59959 190250 476 173 2.74 1799.99/1800.71 c 814 9203 1423 216755 152 63325 209276 814 258 3.14 1799.99/1800.71 c 1324 9203 1933 267826 138 64826 230204 1324 388 3.41 1799.99/1800.71 c 2087 9198 2696 326412 121 66617 253225 2087 563 3.70 1799.99/1800.71 c 3233 9198 3842 504190 131 69390 278548 3233 694 4.66 1799.99/1800.71 c 4954 9198 5563 591843 106 72417 306403 4954 888 5.57 1799.99/1800.71 c 7538 9198 8147 718459 88 77718 337044 7538 1220 6.17 1799.99/1800.71 c 11421 9198 12030 961425 79 85249 370749 11421 1453 7.86 1799.99/1800.71 c 17243 9196 17852 1521681 85 97548 407824 17243 1617 10.66 1799.99/1800.71 c 25980 9191 26589 2387143 89 113760 448607 25980 1653 15.71 1799.99/1800.71 c 39090 9191 39699 3239551 81 140107 493468 39090 1667 23.45 1799.99/1800.71 c 58762 9191 59371 4856485 81 179571 542815 58762 1332 44.09 1799.99/1800.72 c 88272 9191 88881 6794064 76 238073 597097 88272 927 95.21 1799.99/1800.72 c 132542 9190 133151 10306611 77 328444 656807 132542 1057 125.32 1799.99/1800.72 c 198952 9190 199561 17866844 89 460995 722488 198952 659 301.48 1799.99/1800.72 c 298573 9190 299182 24169773 80 661152 794737 298573 298 1000.81 1799.99/1800.72 c 448011 9189 448620 33934658 75 959272 874211 448011 265 1685.18 1799.99/1800.72 c Resources Exceeded 1799.99/1800.72 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.72 c 19 510438 55385 857399 511047 39700098 510438 283 1800.01 1799.99/1800.72 s UNKNOWN 1799.99/1800.72 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-348501-1176585790 -o ROOT/results/node13/solver-348501-1176585790 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348501-1176585790/instance-348501-1176585790.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.98 0.99 3/77 32593 /proc/meminfo: memFree=1735216/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=20044 CPUtime=0 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 363 0 1 0 0 0 0 0 18 0 1 0 106496855 20525056 332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 5011 332 280 324 0 3956 0 [startup+0.0389601 s] /proc/loadavg: 0.91 0.98 0.99 3/77 32593 /proc/meminfo: memFree=1735216/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=12896 CPUtime=0.03 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 553 0 1 0 3 0 0 0 18 0 1 0 106496855 13205504 522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 3224 522 303 324 0 2169 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12896 [startup+0.101973 s] /proc/loadavg: 0.91 0.98 0.99 3/77 32593 /proc/meminfo: memFree=1735216/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=5640 CPUtime=0.09 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 745 0 1 0 9 0 0 0 18 0 1 0 106496855 5775360 714 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 1410 714 346 324 0 355 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5640 [startup+0.302016 s] /proc/loadavg: 0.91 0.98 0.99 3/77 32593 /proc/meminfo: memFree=1735216/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=8720 CPUtime=0.29 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 1777 0 1 0 27 2 0 0 19 0 1 0 106496855 8929280 1538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 2180 1538 308 324 0 1249 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8720 [startup+0.701101 s] /proc/loadavg: 0.91 0.98 0.99 3/77 32593 /proc/meminfo: memFree=1735216/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=8192 CPUtime=0.69 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 1846 0 1 0 67 2 0 0 22 0 1 0 106496855 8388608 1415 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 2048 1415 312 324 0 1117 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8192 [startup+1.50127 s] /proc/loadavg: 0.91 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1730280/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=8452 CPUtime=1.48 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 1914 0 1 0 146 2 0 0 25 0 1 0 106496855 8654848 1483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 2113 1483 312 324 0 1182 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8452 [startup+3.10161 s] /proc/loadavg: 0.91 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1729640/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=10016 CPUtime=3.08 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 2296 0 1 0 305 3 0 0 25 0 1 0 106496855 10256384 1865 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 2504 1865 312 324 0 1573 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10016 [startup+6.3013 s] /proc/loadavg: 0.92 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1723496/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=17576 CPUtime=6.28 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 4173 0 1 0 622 6 0 0 25 0 1 0 106496855 17997824 3742 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 4394 3742 312 324 0 3463 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17576 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1707056/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=33692 CPUtime=12.68 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 8214 0 1 0 1257 11 0 0 25 0 1 0 106496855 34500608 7783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 8423 7783 312 324 0 7492 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33692 [startup+25.5014 s] /proc/loadavg: 0.94 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1680944/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=58116 CPUtime=25.48 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 14311 0 1 0 2528 20 0 0 25 0 1 0 106496855 59510784 13880 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 14529 13880 312 324 0 13598 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58116 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1658480/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=80584 CPUtime=51.06 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 19953 0 1 0 5078 28 0 0 25 0 1 0 106496855 82518016 19522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 20146 19522 312 324 0 19215 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 80584 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1629040/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=109468 CPUtime=102.25 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 27168 0 1 0 10183 42 0 0 25 0 1 0 106496855 112095232 26737 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 27367 26737 312 324 0 26436 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 109468 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1524400/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=214252 CPUtime=162.22 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 53359 0 1 0 16151 71 0 0 25 0 1 0 106496855 219394048 52928 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 53563 52928 312 324 0 52632 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 214252 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1499760/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=238464 CPUtime=222.2 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 59406 0 1 0 22138 82 0 0 25 0 1 0 106496855 244187136 58975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 59616 58975 312 324 0 58685 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 238464 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1484976/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=253360 CPUtime=282.18 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 63122 0 1 0 28128 90 0 0 25 0 1 0 106496855 259440640 62691 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 63340 62691 312 324 0 62409 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 253360 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1459824/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=278316 CPUtime=342.15 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 69385 0 1 0 34114 101 0 0 25 0 1 0 106496855 284995584 68954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 69579 68954 312 324 0 68648 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 278316 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1447792/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=290380 CPUtime=402.13 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 72388 0 1 0 40105 108 0 0 25 0 1 0 106496855 297349120 71957 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 72595 71957 312 324 0 71664 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 290380 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1438576/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=299604 CPUtime=462.11 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 74694 0 1 0 46098 113 0 0 25 0 1 0 106496855 306794496 74263 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 74901 74263 312 324 0 73970 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 299604 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1431344/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=306748 CPUtime=522.09 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 76486 0 1 0 52091 118 0 0 25 0 1 0 106496855 314109952 76055 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 76687 76055 312 324 0 75756 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 306748 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1423344/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=314784 CPUtime=582.06 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 78484 0 1 0 58082 124 0 0 25 0 1 0 106496855 322338816 78053 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 78696 78053 312 324 0 77765 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 314784 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1416944/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=321132 CPUtime=642.04 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 80071 0 1 0 64076 128 0 0 25 0 1 0 106496855 328839168 79640 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 80283 79640 312 324 0 79352 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 321132 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32594 /proc/meminfo: memFree=1400624/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=337464 CPUtime=821.96 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 84154 0 1 0 82056 140 0 0 25 0 1 0 106496855 345563136 83723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 84366 83723 312 324 0 83435 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 337464 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1396144/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=341876 CPUtime=881.94 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 85255 0 1 0 88051 143 0 0 25 0 1 0 106496855 350081024 84824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 85469 84824 312 324 0 84538 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 341876 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1392240/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=345776 CPUtime=941.92 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 86232 0 1 0 94046 146 0 0 25 0 1 0 106496855 354074624 85801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 86444 85801 312 324 0 85513 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 345776 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1388464/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=350324 CPUtime=1001.9 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 87368 0 1 0 100041 149 0 0 25 0 1 0 106496855 358731776 86937 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 87581 86937 312 324 0 86650 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 350324 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1351472/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=386680 CPUtime=1061.88 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 96452 0 1 0 106023 165 0 0 25 0 1 0 106496855 395960320 96021 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 96670 96021 312 324 0 95739 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 386680 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1334832/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=403108 CPUtime=1121.85 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 100562 0 1 0 112010 175 0 0 25 0 1 0 106496855 412782592 100131 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 100777 100131 312 324 0 99846 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 403108 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1321008/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=416940 CPUtime=1181.83 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 104044 0 1 0 118002 181 0 0 25 0 1 0 106496855 426946560 103613 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 104235 103613 312 324 0 103304 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 416940 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1307952/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=429896 CPUtime=1241.8 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 107275 0 1 0 123993 187 0 0 25 0 1 0 106496855 440213504 106844 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 107474 106844 312 324 0 106543 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 429896 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1296944/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=440748 CPUtime=1301.78 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 109988 0 1 0 129985 193 0 0 25 0 1 0 106496855 451325952 109557 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 110187 109557 312 324 0 109256 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 440748 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1287664/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=450072 CPUtime=1361.75 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 112327 0 1 0 135977 198 0 0 25 0 1 0 106496855 460873728 111896 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 112518 111896 312 324 0 111587 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 450072 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1279472/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=458244 CPUtime=1421.73 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 114341 0 1 0 141971 202 0 0 25 0 1 0 106496855 469241856 113910 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 114561 113910 312 324 0 113630 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 458244 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1271664/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=466136 CPUtime=1481.71 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 116313 0 1 0 147964 207 0 0 25 0 1 0 106496855 477323264 115882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 116534 115882 312 324 0 115603 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 466136 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1263472/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=474180 CPUtime=1541.68 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 118348 0 1 0 153957 211 0 0 25 0 1 0 106496855 485560320 117917 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 118545 117917 312 324 0 117614 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 474180 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1256560/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=481184 CPUtime=1601.66 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 120080 0 1 0 159951 215 0 0 25 0 1 0 106496855 492732416 119649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12312060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 120296 119649 312 324 0 119365 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 481184 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1249712/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=487928 CPUtime=1661.64 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 121774 0 1 0 165945 219 0 0 25 0 1 0 106496855 499638272 121343 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 121982 121343 312 324 0 121051 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 487928 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1209136/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=528876 CPUtime=1721.61 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 132011 0 1 0 171928 233 0 0 25 0 1 0 106496855 541569024 131580 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 132219 131580 312 324 0 131288 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 528876 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1175088/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=562488 CPUtime=1781.59 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194304 140429 0 1 0 177914 245 0 0 25 0 1 0 106496855 575987712 139998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 140622 139998 312 324 0 139691 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 562488 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32596 /proc/meminfo: memFree=1696800/2055920 swapFree=4175456/4192956 [pid=32593] ppid=32591 vsize=0 CPUtime=1800.08 /proc/32593/stat : 32593 (bsolo3.0.16) R 32591 32593 16924 0 -1 4194308 142556 0 1 0 179751 257 0 0 25 0 1 0 106496855 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32593/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.1 CPU user time (s): 1797.52 CPU system time (s): 2.57961 CPU usage (%): 99.9604 Max. virtual memory (cumulated for all children) (KiB): 571076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.52 system time used= 2.57961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 142556 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 1234 runsolver used 2.14767 second user time and 4.33134 second system time The end
Begin job on node13 on Sat Apr 14 21:23:10 UTC 2007 IDJOB= 348501 IDBENCH= 1687 IDSOLVER= 163 FILE ID= node13/348501-1176585790 PBS_JOBID= 4556790 Free space on /tmp= 66519 MiB SOLVER NAME= bsolo 3.0.16 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-scorpion.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348501-1176585790/instance-348501-1176585790.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-348501-1176585790 -o ROOT/results/node13/solver-348501-1176585790 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348501-1176585790/instance-348501-1176585790.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c81149f534c8693c12d254417cbfee8f RANDOM SEED= 266079733 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1735688 kB Buffers: 39204 kB Cached: 196228 kB SwapCached: 3452 kB Active: 141720 kB Inactive: 126856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1735688 kB SwapTotal: 4192956 kB SwapFree: 4175456 kB Dirty: 4908 kB Writeback: 0 kB Mapped: 43004 kB Slab: 37084 kB Committed_AS: 4793024 kB PageTables: 1884 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= 66519 MiB End job on node13 on Sat Apr 14 21:53:13 UTC 2007