Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.05 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb |
MD5SUM | a7e24e57a312eb47e85004eff6279cc1 |
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 | 78.792 |
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 | 4524 |
Total number of constraints | 257 |
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 | 257 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1080 |
Number of terms in the objective function | 181 |
Biggest coefficient in the objective function | 74899 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524431 |
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 | 525060 |
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/362869-1177019272/instance-362869-1177019272.opb 0.00/0.00 c File size is 188698 bytes. 0.00/0.04 c Highest Coefficient sum: 525060 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.036 s 0.00/0.04 c Var: 4524 Constr: 312 11/0/301 Lit: 30366 Watch. Lit: 11839 0.00/0.04 c Obj. Vars: 181 (4.00088 % of total variables) 3.59/3.68 c Pre-processing Time: 3.685 s 3.59/3.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.69 c 0 2805 159 21107 132 14332 42214 0 0 3.69 3.59/3.69 c Switching off LPR mode. 1799.98/1800.61 c 100 2805 259 22186 85 14569 46436 100 27 3.69 1799.98/1800.61 c 251 2805 410 29911 72 17311 51080 251 67 3.73 1799.98/1800.61 c 487 2805 646 39070 60 17660 56189 487 122 3.98 1799.98/1800.61 c 826 2805 985 50550 51 18233 61808 826 201 4.11 1799.98/1800.61 c 1335 2805 1494 71110 47 19215 67989 1335 296 4.51 1799.98/1800.61 c 2098 2805 2257 95077 42 20739 74788 2098 415 5.04 1799.98/1800.61 c 3245 2805 3404 138175 40 23109 82267 3245 578 5.61 1799.98/1800.61 c 4970 2805 5129 194017 37 26558 90494 4970 751 6.62 1799.98/1800.61 c 7555 2805 7714 284428 36 31712 99544 7555 997 7.57 1799.98/1800.61 c 11435 2805 11594 398340 34 39449 109499 11435 1213 9.42 1799.98/1800.61 c 17258 2805 17417 497439 28 51046 120449 17258 1486 11.61 1799.98/1800.61 c 25997 2805 26156 756551 28 68529 132494 25997 1364 19.05 1799.98/1800.61 c 39109 2804 39268 1155402 29 95071 145744 39109 1429 27.36 1799.98/1800.61 c 58780 2804 58939 1566251 26 134287 160319 58780 1469 40.00 1799.98/1800.61 c 88292 2804 88451 11859760 134 193665 176351 88292 623 141.62 1799.98/1800.61 c 132562 2804 132721 15932979 120 282135 193987 132562 624 212.42 1799.98/1800.61 c 198973 2804 16475 405503 24 49776 213386 16316 384 517.46 1799.98/1800.61 c 298595 2804 116097 3528207 30 249046 234725 115938 434 686.98 1799.98/1800.61 c 448032 2804 42552 2102849 49 101474 258198 42393 338 1322.76 1799.98/1800.61 c Resources Exceeded 1799.98/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.61 c 19 595572 120847 1280821 190092 18895247 189933 330 1800.00 1799.98/1800.61 s UNKNOWN 1799.98/1800.61 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-362869-1177019272 -o ROOT/results/node12/solver-362869-1177019272 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362869-1177019272/instance-362869-1177019272.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.90 0.97 0.99 3/77 14317 /proc/meminfo: memFree=1837800/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=11924 CPUtime=0 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 177964551 12210176 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 2981 334 281 324 0 2003 0 [startup+0.0738641 s] /proc/loadavg: 0.90 0.97 0.99 3/77 14317 /proc/meminfo: memFree=1837800/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=5628 CPUtime=0.07 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 831 0 0 0 7 0 0 0 18 0 1 0 177964551 5763072 752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 1407 752 305 324 0 476 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5628 [startup+0.101879 s] /proc/loadavg: 0.90 0.97 0.99 3/77 14317 /proc/meminfo: memFree=1837800/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=5640 CPUtime=0.09 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 843 0 0 0 9 0 0 0 18 0 1 0 177964551 5775360 764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134585088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 1410 764 305 324 0 479 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5640 [startup+0.301887 s] /proc/loadavg: 0.90 0.97 0.99 3/77 14317 /proc/meminfo: memFree=1837800/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=5684 CPUtime=0.29 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 880 0 0 0 29 0 0 0 19 0 1 0 177964551 5820416 798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 1421 798 307 324 0 490 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5684 [startup+0.701927 s] /proc/loadavg: 0.90 0.97 0.99 3/77 14317 /proc/meminfo: memFree=1837800/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=5684 CPUtime=0.69 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 880 0 0 0 69 0 0 0 22 0 1 0 177964551 5820416 798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 1421 798 307 324 0 490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5684 [startup+1.50201 s] /proc/loadavg: 0.90 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1835808/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=5684 CPUtime=1.49 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 880 0 0 0 149 0 0 0 25 0 1 0 177964551 5820416 798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 1421 798 307 324 0 490 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5684 [startup+3.10117 s] /proc/loadavg: 0.90 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1835680/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=5684 CPUtime=3.09 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 880 0 0 0 309 0 0 0 25 0 1 0 177964551 5820416 798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 1421 798 307 324 0 490 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5684 [startup+6.30249 s] /proc/loadavg: 0.90 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1834400/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=7796 CPUtime=6.29 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 1415 0 0 0 628 1 0 0 25 0 1 0 177964551 7983104 1333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 1949 1333 312 324 0 1018 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7796 [startup+12.7011 s] /proc/loadavg: 0.91 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1827680/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=14108 CPUtime=12.69 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 2968 0 0 0 1265 4 0 0 25 0 1 0 177964551 14446592 2886 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 3527 2886 312 324 0 2596 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14108 [startup+25.5014 s] /proc/loadavg: 0.93 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1818272/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=23140 CPUtime=25.48 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 5244 0 0 0 2539 9 0 0 25 0 1 0 177964551 23695360 5162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 5785 5162 312 324 0 4854 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23140 [startup+51.102 s] /proc/loadavg: 0.95 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1792608/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=49960 CPUtime=51.07 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 11946 0 0 0 5089 18 0 0 25 0 1 0 177964551 51159040 11864 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 12490 11864 312 324 0 11559 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49960 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1710752/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=130348 CPUtime=102.27 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 32050 0 0 0 10195 32 0 0 25 0 1 0 177964551 133476352 31968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 32587 31968 312 324 0 31656 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 130348 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1653280/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=187988 CPUtime=162.25 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 46450 0 0 0 16181 44 0 0 25 0 1 0 177964551 192499712 46368 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 46997 46368 312 324 0 46066 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 187988 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1614688/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=226196 CPUtime=222.23 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 56013 0 0 0 22165 58 0 0 25 0 1 0 177964551 231624704 55931 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 56549 55931 312 324 0 55618 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 226196 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1603296/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=237528 CPUtime=282.21 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 58846 0 0 0 28153 68 0 0 25 0 1 0 177964551 243228672 58764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 59382 58764 312 324 0 58451 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 237528 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1597408/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=243396 CPUtime=342.19 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 60288 0 0 0 34145 74 0 0 25 0 1 0 177964551 249237504 60206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 60849 60206 312 324 0 59918 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 243396 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1592416/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=248372 CPUtime=402.17 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 61552 0 0 0 40136 81 0 0 25 0 1 0 177964551 254332928 61470 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62093 61470 312 324 0 61162 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 248372 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1589536/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=250980 CPUtime=462.16 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62380 0 0 0 46130 86 0 0 25 0 1 0 177964551 257003520 62106 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62745 62106 312 324 0 61814 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 250980 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1589536/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=250980 CPUtime=522.15 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62380 0 0 0 52126 89 0 0 25 0 1 0 177964551 257003520 62106 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62745 62106 312 324 0 61814 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 250980 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1589536/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=250980 CPUtime=582.13 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62380 0 0 0 58112 101 0 0 25 0 1 0 177964551 257003520 62106 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62745 62106 312 324 0 61814 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 250980 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14318 /proc/meminfo: memFree=1589600/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=250980 CPUtime=642.11 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62380 0 0 0 64103 108 0 0 25 0 1 0 177964551 257003520 62106 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62745 62106 312 324 0 61814 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 250980 ################ # More data... # ################ /proc/meminfo: memFree=1589216/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251140 CPUtime=1121.86 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 112040 146 0 0 25 0 1 0 177964551 257167360 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62785 62146 312 324 0 61854 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 251140 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1589152/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251140 CPUtime=1181.85 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 118038 147 0 0 25 0 1 0 177964551 257167360 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62785 62146 312 324 0 61854 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 251140 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1589152/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251140 CPUtime=1241.83 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 124036 147 0 0 25 0 1 0 177964551 257167360 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62785 62146 312 324 0 61854 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 251140 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1589088/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251140 CPUtime=1301.82 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 130031 151 0 0 25 0 1 0 177964551 257167360 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62785 62146 312 324 0 61854 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 251140 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1589088/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251140 CPUtime=1361.79 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 136010 169 0 0 25 0 1 0 177964551 257167360 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62785 62146 312 324 0 61854 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 251140 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1589024/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251112 CPUtime=1421.79 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 142003 176 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10127219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62778 62146 312 324 0 61847 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 251112 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1589024/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251112 CPUtime=1481.76 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 147997 179 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62778 62146 312 324 0 61847 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 251112 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1588960/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251112 CPUtime=1541.75 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 153991 184 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62778 62146 312 324 0 61847 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 251112 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1588960/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251112 CPUtime=1601.73 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 159986 187 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551674 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62778 62146 312 324 0 61847 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 251112 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1588896/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251112 CPUtime=1661.71 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 165981 190 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62778 62146 312 324 0 61847 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 251112 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1588896/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=251112 CPUtime=1721.7 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 171977 193 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 62778 62146 312 324 0 61847 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 251112 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1577504/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=262488 CPUtime=1781.68 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 65278 0 0 0 177970 198 0 0 25 0 1 0 177964551 268787712 65004 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551201 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 65622 65004 312 324 0 64691 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 262488 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1574944/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=265076 CPUtime=1791.28 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 65913 0 0 0 178929 199 0 0 25 0 1 0 177964551 271437824 65639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 66269 65639 312 324 0 65338 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 265076 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1574048/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=265844 CPUtime=1794.48 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66117 0 0 0 179249 199 0 0 25 0 1 0 177964551 272224256 65843 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 66461 65843 312 324 0 65530 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 265844 [startup+1798.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1573536/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=266744 CPUtime=1797.68 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66321 0 0 0 179568 200 0 0 25 0 1 0 177964551 273145856 66047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 66686 66047 312 324 0 65755 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 266744 [startup+1799.9 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1572832/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=267260 CPUtime=1799.28 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66457 0 0 0 179728 200 0 0 25 0 1 0 177964551 273674240 66183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 66815 66183 312 324 0 65884 0 Current children cumulated CPU time (s) 1799.28 Current children cumulated vsize (KiB) 267260 [startup+1800.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1572832/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=267388 CPUtime=1799.68 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66483 0 0 0 179768 200 0 0 25 0 1 0 177964551 273805312 66209 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 66847 66209 312 324 0 65916 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (KiB) 267388 [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1572832/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=267388 CPUtime=1799.87 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66496 0 0 0 179787 200 0 0 25 0 1 0 177964551 273805312 66222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 66847 66222 312 324 0 65916 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (KiB) 267388 [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14516 /proc/meminfo: memFree=1572512/2055920 swapFree=4160068/4192956 [pid=14317] ppid=14315 vsize=267388 CPUtime=1799.98 /proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66502 0 0 0 179798 200 0 0 25 0 1 0 177964551 273805312 66228 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14317/statm: 66847 66228 312 324 0 65916 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 267388 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.05 CPU user time (s): 1798 CPU system time (s): 2.05269 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 267388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798 system time used= 2.05269 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66504 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= 1912 runsolver used 2.22766 second user time and 4.18336 second system time The end
Begin job on node12 on Thu Apr 19 21:47:52 UTC 2007 IDJOB= 362869 IDBENCH= 1678 IDSOLVER= 163 FILE ID= node12/362869-1177019272 PBS_JOBID= 4630557 Free space on /tmp= 66252 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-vtp.base.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362869-1177019272/instance-362869-1177019272.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-362869-1177019272 -o ROOT/results/node12/solver-362869-1177019272 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362869-1177019272/instance-362869-1177019272.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= a7e24e57a312eb47e85004eff6279cc1 RANDOM SEED= 62818528 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1838272 kB Buffers: 21440 kB Cached: 117636 kB SwapCached: 11408 kB Active: 56268 kB Inactive: 107472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1838272 kB SwapTotal: 4192956 kB SwapFree: 4160068 kB Dirty: 4596 kB Writeback: 0 kB Mapped: 31880 kB Slab: 39456 kB Committed_AS: 4404012 kB PageTables: 1796 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= 66252 MiB End job on node12 on Thu Apr 19 22:17:53 UTC 2007