Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.14 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb |
MD5SUM | 6a8d837851671f69c34bdd14861bc7ba |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 13 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 2910 |
Total number of constraints | 56 |
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 | 56 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 2460 |
Biggest coefficient in the objective function | 12627 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 526152 |
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 | 526152 |
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/432643-1177947176/instance-432643-1177947176.opb 0.00/0.00 c File size is 128165 bytes. 0.00/0.02 c Highest Coefficient sum: 526152 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.025 s 0.00/0.03 c Var: 2910 Constr: 71 1/0/70 Lit: 15960 Watch. Lit: 6772 0.00/0.03 c Obj. Vars: 2460 (84.5361 % of total variables) 0.39/0.43 c Pre-processing Time: 0.432 s 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1329 66 15330 232 13058 30660 0 0 0.43 0.39/0.43 c Switching off LPR mode. 1800.04/1800.61 c 100 1329 166 25200 151 13275 33727 100 195 0.51 1800.04/1800.61 c 250 1329 316 38809 122 13569 37100 250 365 0.68 1800.04/1800.61 c 475 1329 541 60896 112 14020 40811 475 476 1.00 1800.04/1800.61 c 817 1329 883 92537 104 14702 44893 817 517 1.58 1800.04/1800.61 c 1325 1329 1391 174308 125 15700 49383 1325 539 2.46 1800.04/1800.61 c 2170 1329 2236 379584 169 17430 54322 2170 456 4.76 1800.04/1800.61 c 3316 1329 3382 760936 224 19722 59755 3316 602 5.51 1800.04/1800.61 c 5039 1329 5105 1272662 249 23158 65731 5039 680 7.40 1800.04/1800.61 c 7625 1329 7691 2132708 277 28330 72305 7625 734 10.38 1800.04/1800.61 c 11509 1329 11575 3359703 290 36102 79536 11509 546 21.05 1800.04/1800.61 c 17331 1329 17397 5251575 301 47746 87490 17331 444 39.01 1800.04/1800.61 c 26082 1329 26148 8120612 310 65248 96240 26082 346 75.19 1800.04/1800.61 c 39193 1329 39259 12430662 316 91470 105865 39193 272 143.61 1800.04/1800.61 c 58874 1329 58940 18866263 320 130832 116452 58874 190 309.34 1800.04/1800.61 c 88391 1329 88457 28483908 322 189866 128098 88391 127 693.99 1800.04/1800.61 c 132665 1329 15139 4966015 328 43230 140908 15073 85 1546.56 1800.04/1800.61 c Caught signal: 15 1800.04/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.61 c 16 170720 2300 283702 53194 16830421 53128 94 1800.05 1800.04/1800.61 s UNKNOWN 1800.04/1800.61 c Total time: 1800.05 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-432643-1177947176 -o ROOT/results/node45/solver-432643-1177947176 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432643-1177947176/instance-432643-1177947176.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.99 0.98 0.91 3/77 32252 /proc/meminfo: memFree=1644320/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=11864 CPUtime=0 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 149563235 12148736 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 2966 335 279 324 0 2004 0 [startup+0.0482861 s] /proc/loadavg: 0.99 0.98 0.91 3/77 32252 /proc/meminfo: memFree=1644320/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=12704 CPUtime=0.04 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 658 0 0 0 4 0 0 0 18 0 1 0 149563235 13008896 596 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 3176 596 303 324 0 2246 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12704 [startup+0.101292 s] /proc/loadavg: 0.99 0.98 0.91 3/77 32252 /proc/meminfo: memFree=1644320/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=12704 CPUtime=0.09 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 658 0 0 0 9 0 0 0 18 0 1 0 149563235 13008896 596 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 3176 596 303 324 0 2246 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12704 [startup+0.301311 s] /proc/loadavg: 0.99 0.98 0.91 3/77 32252 /proc/meminfo: memFree=1644320/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=12804 CPUtime=0.29 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 702 0 0 0 29 0 0 0 19 0 1 0 149563235 13111296 631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 3201 631 305 324 0 2271 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12804 [startup+0.701352 s] /proc/loadavg: 0.99 0.98 0.91 3/77 32252 /proc/meminfo: memFree=1644320/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=5252 CPUtime=0.69 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 760 0 0 0 69 0 0 0 22 0 1 0 149563235 5378048 689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 1313 689 310 324 0 383 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5252 [startup+1.50143 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1642392/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=5900 CPUtime=1.49 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 933 0 0 0 149 0 0 0 25 0 1 0 149563235 6041600 862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 1475 862 310 324 0 545 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5900 [startup+3.10159 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1641624/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=8228 CPUtime=3.1 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 1490 0 0 0 309 1 0 0 25 0 1 0 149563235 8425472 1419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 2057 1419 310 324 0 1127 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 8228 [startup+6.30292 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1633432/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=17488 CPUtime=6.29 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 3829 0 0 0 627 2 0 0 25 0 1 0 149563235 17907712 3758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 4372 3758 310 324 0 3442 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17488 [startup+12.7016 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1612504/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=36232 CPUtime=12.69 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 8513 0 0 0 1264 5 0 0 25 0 1 0 149563235 37101568 8442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 9058 8442 310 324 0 8128 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36232 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1593432/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=54744 CPUtime=25.49 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 13122 0 0 0 2541 8 0 0 25 0 1 0 149563235 56057856 13051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 13686 13051 310 324 0 12756 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54744 [startup+51.1015 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1562392/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=85844 CPUtime=51.08 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 20912 0 0 0 5094 14 0 0 25 0 1 0 149563235 87904256 20841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 21461 20841 310 324 0 20531 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 85844 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1514136/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=133492 CPUtime=102.27 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 32824 0 0 0 10202 25 0 0 25 0 1 0 149563235 136695808 32753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 33373 32753 310 324 0 32443 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 133492 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1471000/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=176788 CPUtime=162.25 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 43648 0 0 0 16191 34 0 0 25 0 1 0 149563235 181030912 43577 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 44197 43577 310 324 0 43267 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 176788 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1437592/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=209784 CPUtime=222.24 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 51895 0 0 0 22182 42 0 0 25 0 1 0 149563235 214818816 51824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 52446 51824 310 324 0 51516 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 209784 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1409176/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=238712 CPUtime=282.22 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 59107 0 0 0 28174 48 0 0 25 0 1 0 149563235 244441088 59036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 59678 59036 310 324 0 58748 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 238712 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1386840/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=260424 CPUtime=342.2 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 64563 0 0 0 34167 53 0 0 25 0 1 0 149563235 266674176 64492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 65106 64492 310 324 0 64176 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 260424 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1364952/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=282780 CPUtime=402.19 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 70136 0 0 0 40161 58 0 0 25 0 1 0 149563235 289566720 70065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 70695 70065 310 324 0 69765 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 282780 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1342040/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=305296 CPUtime=462.17 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 75766 0 0 0 46155 62 0 0 25 0 1 0 149563235 312623104 75695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 76324 75695 310 324 0 75394 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 305296 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1320728/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=326616 CPUtime=522.16 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 81098 0 0 0 52149 67 0 0 25 0 1 0 149563235 334454784 81027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 81654 81027 310 324 0 80724 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 326616 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1303768/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=343440 CPUtime=582.14 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 85298 0 0 0 58143 71 0 0 25 0 1 0 149563235 351682560 85227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 85860 85227 310 324 0 84930 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 343440 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1284120/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=362856 CPUtime=642.13 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 90153 0 0 0 64138 75 0 0 25 0 1 0 149563235 371564544 90082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 90714 90082 310 324 0 89784 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 362856 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1237272/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=410004 CPUtime=822.08 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 101952 0 0 0 82121 87 0 0 25 0 1 0 149563235 419844096 101881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 102501 101881 310 324 0 101571 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 410004 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1212568/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=434392 CPUtime=882.07 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 108053 0 0 0 88115 92 0 0 25 0 1 0 149563235 444817408 107982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 108598 107982 310 324 0 107668 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 434392 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1192792/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=454176 CPUtime=942.05 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 113001 0 0 0 94108 97 0 0 25 0 1 0 149563235 465076224 112930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 113544 112930 310 324 0 112614 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 454176 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.91 3/78 32253 /proc/meminfo: memFree=1169880/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=477044 CPUtime=1002.04 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 118696 0 0 0 100102 102 0 0 25 0 1 0 149563235 488493056 118625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 119261 118625 310 324 0 118331 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 477044 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1149912/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=497092 CPUtime=1062.03 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 123705 0 0 0 106096 107 0 0 25 0 1 0 149563235 509022208 123634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 124273 123634 310 324 0 123343 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 497092 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1127704/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=519056 CPUtime=1122 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 129210 0 0 0 112089 111 0 0 25 0 1 0 149563235 531513344 129139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 129764 129139 310 324 0 128834 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 519056 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1113752/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=533192 CPUtime=1181.99 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 132734 0 0 0 118085 114 0 0 25 0 1 0 149563235 545988608 132663 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 133298 132663 310 324 0 132368 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 533192 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1091928/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555060 CPUtime=1241.97 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138221 0 0 0 124078 119 0 0 25 0 1 0 149563235 568381440 138150 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138765 138150 310 324 0 137835 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 555060 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1090968/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555572 CPUtime=1301.97 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138456 0 0 0 130077 120 0 0 25 0 1 0 149563235 568905728 138257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138893 138257 310 324 0 137963 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 555572 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1090968/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555572 CPUtime=1361.94 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138456 0 0 0 136074 120 0 0 25 0 1 0 149563235 568905728 138257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138893 138257 310 324 0 137963 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 555572 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1091032/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555572 CPUtime=1421.94 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138456 0 0 0 142073 121 0 0 25 0 1 0 149563235 568905728 138257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138893 138257 310 324 0 137963 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 555572 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1091096/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555572 CPUtime=1481.91 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138456 0 0 0 148070 121 0 0 25 0 1 0 149563235 568905728 138257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138893 138257 310 324 0 137963 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 555572 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1091096/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555572 CPUtime=1541.9 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138456 0 0 0 154068 122 0 0 25 0 1 0 149563235 568905728 138257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138893 138257 310 324 0 137963 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 555572 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1091096/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555572 CPUtime=1601.88 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138456 0 0 0 160066 122 0 0 25 0 1 0 149563235 568905728 138257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138893 138257 310 324 0 137963 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 555572 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.91 2/78 32253 /proc/meminfo: memFree=1091096/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555572 CPUtime=1661.87 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138456 0 0 0 166064 123 0 0 25 0 1 0 149563235 568905728 138257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138893 138257 310 324 0 137963 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 555572 [startup+1722.3 s] /proc/loadavg: 1.08 1.01 0.93 2/84 32421 /proc/meminfo: memFree=1089752/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555572 CPUtime=1721.78 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138456 0 0 0 172052 126 0 0 25 0 1 0 149563235 568905728 138257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138893 138257 310 324 0 137963 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 555572 [startup+1782.3 s] /proc/loadavg: 1.03 1.01 0.93 2/78 32451 /proc/meminfo: memFree=1090840/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555572 CPUtime=1781.74 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138456 0 0 0 178048 126 0 0 25 0 1 0 149563235 568905728 138257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138893 138257 310 324 0 137963 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 555572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.02 1.01 0.93 2/78 32451 /proc/meminfo: memFree=1090840/2055920 swapFree=4157776/4192956 [pid=32252] ppid=32250 vsize=555572 CPUtime=1800.04 /proc/32252/stat : 32252 (bsolo3.0.17) R 32250 32252 31545 0 -1 4194304 138456 0 0 0 179878 126 0 0 25 0 1 0 149563235 568905728 138257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32252/statm: 138893 138257 310 324 0 137963 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 555572 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.7 CPU time (s): 1800.14 CPU user time (s): 1798.78 CPU system time (s): 1.35179 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 556084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.78 system time used= 1.35179 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 138460 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= 2764 runsolver used 1.3238 second user time and 4.02539 second system time The end
Begin job on node45 on Mon Apr 30 15:32:56 UTC 2007 IDJOB= 432643 IDBENCH= 1642 IDSOLVER= 199 FILE ID= node45/432643-1177947176 PBS_JOBID= 4727550 Free space on /tmp= 66558 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-adlittle.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432643-1177947176/instance-432643-1177947176.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-432643-1177947176 -o ROOT/results/node45/solver-432643-1177947176 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432643-1177947176/instance-432643-1177947176.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 6a8d837851671f69c34bdd14861bc7ba RANDOM SEED= 764579970 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1644792 kB Buffers: 41696 kB Cached: 274876 kB SwapCached: 14656 kB Active: 235020 kB Inactive: 105024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1644792 kB SwapTotal: 4192956 kB SwapFree: 4157776 kB Dirty: 6816 kB Writeback: 0 kB Mapped: 30320 kB Slab: 56736 kB Committed_AS: 1447820 kB PageTables: 1732 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= 66558 MiB End job on node45 on Mon Apr 30 16:02:59 UTC 2007