Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.15 | 1800.94 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb |
MD5SUM | 85d5cf87b7b65babdb4e7a6c3071d7ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 885 |
Best CPU time to get the best result obtained on this benchmark | 1782.77 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 645 |
Optimality of the best value was proved | NO |
Number of variables | 56400 |
Total number of constraints | 1033 |
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 | 1033 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 720 |
Number of terms in the objective function | 42300 |
Biggest coefficient in the objective function | 854 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 560740 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 142664 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 560740 |
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/351096-1176580135/instance-351096-1176580135.opb 0.00/0.00 c File size is 2541619 bytes. 0.89/0.95 c Highest Coefficient sum: 560740 0.89/0.95 c Parsing was ok!! 0.89/0.95 c Total parsing time: 0.945 s 0.89/0.97 c Var: 56400 Constr: 1503 475/0/1028 Lit: 236970 Watch. Lit: 46328 0.89/0.97 c Obj. Vars: 42300 (75 % of total variables) 7.99/8.06 c Pre-processing Time: 8.059 s 7.99/8.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.07 c 0 31590 1503 236970 157 169247 386078 0 0 8.06 7.99/8.07 c Switching off LPR mode. 1800.01/1800.80 c 100 31590 1603 249522 155 169447 424686 100 10 9.71 1800.01/1800.80 c 250 31590 1753 268338 153 169747 467155 250 21 11.48 1800.01/1800.80 c 475 31590 1978 296575 149 170197 513871 475 35 13.27 1800.01/1800.80 c 813 31590 2316 353000 152 170873 565259 813 33 24.49 1800.01/1800.80 c 1321 31590 2824 416866 147 171889 621785 1321 49 26.46 1800.01/1800.80 c 2084 31590 3587 541482 150 173415 683964 2084 59 34.90 1800.01/1800.80 c 3234 31590 4737 650667 137 175715 752361 3234 88 36.55 1800.01/1800.80 c 4955 31590 6458 802769 124 179157 827598 4955 128 38.56 1800.01/1800.80 c 7542 31590 9045 974155 107 184331 910358 7542 187 40.22 1800.01/1800.80 c 11422 31590 12925 1407723 108 192091 500000 11422 230 49.46 1800.01/1800.80 c 17244 31590 18747 2637698 140 203735 550001 17244 217 79.32 1800.01/1800.80 c 25981 31590 27484 3543815 128 221209 605002 25981 294 88.34 1800.01/1800.80 c 39091 31590 40594 5043771 124 247429 665503 39091 370 105.54 1800.01/1800.80 c 58764 31590 60267 6118042 101 286775 732054 58764 476 123.33 1800.01/1800.80 c 88275 31590 89778 14008882 156 345797 805260 88275 462 190.89 1800.01/1800.80 c 132546 31590 134049 20670739 154 434339 885787 132546 495 267.33 1800.01/1800.80 c 198956 31590 200459 30039961 149 567159 974366 198956 411 483.83 1800.01/1800.80 c 298576 31590 300079 38588204 128 766399 500000 298576 385 774.62 1800.01/1800.80 c 448012 31590 449515 55133838 122 1065271 550001 448012 293 1527.47 1800.01/1800.80 c Caught signal: 15 1800.01/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.80 c 19 486206 40154 7185426 487709 58919629 486206 270 1800.02 1800.01/1800.80 s UNKNOWN 1800.01/1800.80 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-351096-1176580135 -o ROOT/results/node20/solver-351096-1176580135 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351096-1176580135/instance-351096-1176580135.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.77 0.95 0.98 3/77 31992 /proc/meminfo: memFree=1681048/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=14220 CPUtime=0 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 105930892 14561280 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 3555 334 281 324 0 2003 0 [startup+0.073051 s] /proc/loadavg: 0.77 0.95 0.98 3/77 31992 /proc/meminfo: memFree=1681048/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=15384 CPUtime=0.06 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 709 0 0 0 6 0 0 0 18 0 1 0 105930892 15753216 677 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 3846 677 327 324 0 2294 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15384 [startup+0.101057 s] /proc/loadavg: 0.77 0.95 0.98 3/77 31992 /proc/meminfo: memFree=1681048/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=16156 CPUtime=0.09 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 915 0 0 0 9 0 0 0 18 0 1 0 105930892 16543744 843 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 4039 843 343 324 0 2487 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16156 [startup+0.301097 s] /proc/loadavg: 0.77 0.95 0.98 3/77 31992 /proc/meminfo: memFree=1681048/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=10724 CPUtime=0.29 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 1681 0 0 0 29 0 0 0 19 0 1 0 105930892 10981376 1530 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 2681 1530 473 324 0 1129 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10724 [startup+0.701176 s] /proc/loadavg: 0.77 0.95 0.98 3/77 31992 /proc/meminfo: memFree=1681048/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=13308 CPUtime=0.69 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 2681 0 0 0 68 1 0 0 23 0 1 0 105930892 13627392 2481 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 3327 2481 737 324 0 1775 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13308 [startup+1.50134 s] /proc/loadavg: 0.79 0.95 0.98 2/78 31993 /proc/meminfo: memFree=1666320/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=20092 CPUtime=1.49 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 5120 0 0 0 147 2 0 0 25 0 1 0 105930892 20574208 4216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 5023 4216 306 324 0 4092 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20092 [startup+3.10166 s] /proc/loadavg: 0.79 0.95 0.98 2/78 31993 /proc/meminfo: memFree=1665232/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=20092 CPUtime=3.09 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 5120 0 0 0 306 3 0 0 25 0 1 0 105930892 20574208 4216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 5023 4216 306 324 0 4092 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20092 [startup+6.3013 s] /proc/loadavg: 0.79 0.95 0.98 2/78 31993 /proc/meminfo: memFree=1664976/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=20092 CPUtime=6.28 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 5120 0 0 0 624 4 0 0 25 0 1 0 105930892 20574208 4216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 5023 4216 306 324 0 4092 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20092 [startup+12.7016 s] /proc/loadavg: 0.82 0.95 0.98 2/78 31993 /proc/meminfo: memFree=1662544/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=22652 CPUtime=12.67 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 6322 0 0 0 1250 17 0 0 25 0 1 0 105930892 23195648 4865 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 5663 4865 312 324 0 4732 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 22652 [startup+25.5012 s] /proc/loadavg: 0.85 0.95 0.98 2/78 31993 /proc/meminfo: memFree=1662672/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=22656 CPUtime=25.47 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 6324 0 0 0 2485 62 0 0 25 0 1 0 105930892 23199744 4867 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 5664 4867 312 324 0 4733 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 22656 [startup+51.1013 s] /proc/loadavg: 0.90 0.96 0.98 2/78 31993 /proc/meminfo: memFree=1648464/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=36864 CPUtime=51.06 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 9895 0 0 0 4980 126 0 0 25 0 1 0 105930892 37748736 8438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 9216 8438 312 324 0 8285 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 36864 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/78 31993 /proc/meminfo: memFree=1602448/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=82924 CPUtime=102.25 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 21408 0 0 0 10015 210 0 0 25 0 1 0 105930892 84914176 19951 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 20731 19951 312 324 0 19800 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 82924 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 31993 /proc/meminfo: memFree=1521424/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=164136 CPUtime=162.22 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 41741 0 0 0 15925 297 0 0 25 0 1 0 105930892 168075264 40284 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 41034 40284 312 324 0 40103 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 164136 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31993 /proc/meminfo: memFree=1417488/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=267560 CPUtime=222.2 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 67598 0 0 0 21882 338 0 0 25 0 1 0 105930892 273981440 66141 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 66890 66141 312 324 0 65959 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 267560 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31993 /proc/meminfo: memFree=1369296/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=316208 CPUtime=282.18 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 79751 0 0 0 27851 367 0 0 25 0 1 0 105930892 323796992 78294 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 79052 78294 312 324 0 78121 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 316208 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31993 /proc/meminfo: memFree=1323856/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=360936 CPUtime=342.15 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 90922 0 0 0 33831 384 0 0 25 0 1 0 105930892 369598464 89465 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 90234 89465 312 324 0 89303 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 360936 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31993 /proc/meminfo: memFree=1293264/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=391740 CPUtime=402.13 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 98621 0 0 0 39818 395 0 0 25 0 1 0 105930892 401141760 97164 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 97935 97164 312 324 0 97004 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 391740 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31993 /proc/meminfo: memFree=1269200/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=415444 CPUtime=462.11 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 104550 0 0 0 45807 404 0 0 25 0 1 0 105930892 425414656 103093 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 103861 103093 312 324 0 102930 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 415444 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31993 /proc/meminfo: memFree=1234256/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=450620 CPUtime=522.08 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 113358 0 0 0 51787 421 0 0 25 0 1 0 105930892 461434880 111901 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 112655 111901 312 324 0 111724 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 450620 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31993 /proc/meminfo: memFree=1207184/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=477536 CPUtime=582.06 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 120075 0 0 0 57772 434 0 0 25 0 1 0 105930892 488996864 118618 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 119384 118618 312 324 0 118453 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 477536 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 31993 /proc/meminfo: memFree=1180880/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=503484 CPUtime=642.04 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 126551 0 0 0 63759 445 0 0 25 0 1 0 105930892 515567616 125094 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 125871 125094 312 324 0 124940 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 503484 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=1070544/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=613592 CPUtime=881.85 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 154095 0 0 0 87627 558 0 0 25 0 1 0 105930892 628318208 152638 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8052368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 153398 152638 312 324 0 152467 0 Current children cumulated CPU time (s) 881.85 Current children cumulated vsize (KiB) 613592 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=1050960/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=633328 CPUtime=941.83 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 159027 0 0 0 93616 567 0 0 25 0 1 0 105930892 648527872 157570 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 158332 157570 312 324 0 157401 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 633328 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=1028368/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=655776 CPUtime=1001.81 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 164628 0 0 0 99605 576 0 0 25 0 1 0 105930892 671514624 163171 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 163944 163171 312 324 0 163013 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 655776 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=1006160/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=678476 CPUtime=1061.78 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 170309 0 0 0 105593 585 0 0 25 0 1 0 105930892 694759424 168852 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 169619 168852 312 324 0 168688 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 678476 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=986512/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=697452 CPUtime=1121.76 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 175060 0 0 0 111583 593 0 0 25 0 1 0 105930892 714190848 173603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 174363 173603 312 324 0 173432 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 697452 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=970960/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=713180 CPUtime=1181.74 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 178997 0 0 0 117574 600 0 0 25 0 1 0 105930892 730296320 177540 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 178295 177540 312 324 0 177364 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 713180 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=956176/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=727788 CPUtime=1241.72 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 182638 0 0 0 123564 608 0 0 25 0 1 0 105930892 745254912 181181 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 181947 181181 312 324 0 181016 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 727788 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=947600/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=736308 CPUtime=1301.7 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 184766 0 0 0 129557 613 0 0 25 0 1 0 105930892 753979392 183309 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8050517 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 184077 183309 312 324 0 183146 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 736308 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=939536/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=744300 CPUtime=1361.68 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 186772 0 0 0 135549 619 0 0 25 0 1 0 105930892 762163200 185315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 186075 185315 312 324 0 185144 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 744300 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=932240/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=751504 CPUtime=1421.66 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 188579 0 0 0 141543 623 0 0 25 0 1 0 105930892 769540096 187122 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 187876 187122 312 324 0 186945 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 751504 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=920656/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=763108 CPUtime=1481.62 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 191486 0 0 0 147533 629 0 0 25 0 1 0 105930892 781422592 190029 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 190777 190029 312 324 0 189846 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 763108 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=912016/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=771896 CPUtime=1541.6 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 193674 0 0 0 153523 637 0 0 25 0 1 0 105930892 790421504 192217 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 192974 192217 312 324 0 192043 0 Current children cumulated CPU time (s) 1541.6 Current children cumulated vsize (KiB) 771896 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=896080/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=787908 CPUtime=1601.59 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 197688 0 0 0 159513 646 0 0 25 0 1 0 105930892 806817792 196231 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 196977 196231 312 324 0 196046 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 787908 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=885584/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=798236 CPUtime=1661.56 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 200253 0 0 0 165506 650 0 0 25 0 1 0 105930892 817393664 198796 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 199559 198796 312 324 0 198628 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 798236 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=875088/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=808840 CPUtime=1721.54 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 202916 0 0 0 171500 654 0 0 25 0 1 0 105930892 828252160 201459 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 202210 201459 312 324 0 201279 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 808840 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=864336/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=819432 CPUtime=1781.51 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 205560 0 0 0 177493 658 0 0 25 0 1 0 105930892 839098368 204103 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 204858 204103 312 324 0 203927 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (KiB) 819432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=861520/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=822140 CPUtime=1800.01 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194304 206242 0 0 0 179342 659 0 0 25 0 1 0 105930892 841871360 204785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 205535 204785 312 324 0 204604 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 822140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32191 /proc/meminfo: memFree=861520/2055920 swapFree=4159876/4192956 [pid=31992] ppid=31990 vsize=0 CPUtime=1800.11 /proc/31992/stat : 31992 (bsolo3.0.16) R 31990 31992 31932 0 -1 4194308 206243 0 0 0 179342 669 0 0 25 0 1 0 105930892 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/31992/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.94 CPU time (s): 1800.15 CPU user time (s): 1793.43 CPU system time (s): 6.72398 CPU usage (%): 99.9564 Max. virtual memory (cumulated for all children) (KiB): 822140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.43 system time used= 6.72398 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 206243 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= 37672 runsolver used 2.09768 second user time and 4.45332 second system time The end
Begin job on node20 on Sat Apr 14 19:48:56 UTC 2007 IDJOB= 351096 IDBENCH= 1661 IDSOLVER= 163 FILE ID= node20/351096-1176580135 PBS_JOBID= 4556938 Free space on /tmp= 66558 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-sctap2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351096-1176580135/instance-351096-1176580135.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-351096-1176580135 -o ROOT/results/node20/solver-351096-1176580135 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351096-1176580135/instance-351096-1176580135.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 85d5cf87b7b65babdb4e7a6c3071d7ec RANDOM SEED= 307899760 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1681520 kB Buffers: 48480 kB Cached: 238868 kB SwapCached: 15252 kB Active: 179456 kB Inactive: 134080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1681520 kB SwapTotal: 4192956 kB SwapFree: 4159876 kB Dirty: 7076 kB Writeback: 0 kB Mapped: 36212 kB Slab: 46532 kB Committed_AS: 287048 kB PageTables: 1688 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 node20 on Sat Apr 14 20:18:58 UTC 2007