Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.24 | 1800.7 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dg012142.opb |
MD5SUM | 4f88b3d47f6404caca0c9a65b4bd3b5a |
Bench Category | OPT-BIGINT (optimisation, big 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 | 41920 |
Total number of constraints | 2137 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2097 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 371 |
Number of terms in the objective function | 22720 |
Biggest coefficient in the objective function | 5368709120000 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 1036222338778688 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 5368709120000 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 1036222338778688 |
Number of bits of the biggest sum of numbers | 50 |
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/433202-1177956310/instance-433202-1177956310.opb 0.00/0.00 c File size is 3667132 bytes. 0.02/0.05 c Coefficients are big enough for not using lower bounding. 0.60/0.62 c Highest Coefficient sum: 1.03622e+15 0.60/0.62 c Parsing was ok!! 0.60/0.62 c Total parsing time: 0.617 s 0.60/0.64 c Var: 41920 Constr: 2777 40/0/2737 Lit: 329176 Watch. Lit: 33379 0.60/0.64 c Obj. Vars: 22720 (54.1985 % of total variables) 1.49/1.55 c Pre-processing Time: 1.549 s 1800.05/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.50 c 0 32007 2731 327716 119 181369 655432 0 0 1.55 1800.05/1800.50 c 100 32007 2831 341481 120 182003 720976 100 54 1.82 1800.05/1800.50 c 250 32007 2981 360387 120 182312 793074 250 115 2.17 1800.05/1800.50 c 476 32007 3207 404713 126 182795 872382 476 199 2.38 1800.05/1800.50 c 814 32007 3545 454819 128 183450 959621 814 307 2.65 1800.05/1800.50 c 1322 32007 4053 513930 126 184561 500000 1322 452 2.92 1800.05/1800.50 c 2088 32007 4819 572040 118 186323 550001 2088 642 3.25 1800.05/1800.50 c 3235 32007 5966 750741 125 188599 605002 3235 823 3.93 1800.05/1800.50 c 4957 32007 7688 847281 110 192346 665503 4957 1160 4.27 1800.05/1800.50 c 7541 32007 10272 1196039 116 197424 732054 7541 1284 5.87 1800.05/1800.50 c 11421 32007 14152 1587758 112 205613 805260 11421 1495 7.63 1800.05/1800.50 c 17244 32007 19975 2152134 107 217413 885787 17244 1799 9.58 1800.05/1800.50 c 25981 32007 28712 2827754 98 234233 974366 25981 2155 12.06 1800.05/1800.50 c 39095 32007 41826 4051585 96 260233 500000 39095 2244 17.41 1800.05/1800.50 c 58766 32007 61497 7354487 119 299748 550001 58766 1397 42.06 1800.05/1800.50 c 88276 32007 91007 11350039 124 359018 605002 88276 753 117.13 1800.05/1800.50 c 132546 32007 135277 17828397 131 447818 665503 132546 511 259.08 1800.05/1800.50 c 198956 32007 201687 36702657 181 580500 732054 198956 391 507.78 1800.05/1800.50 c 298576 32006 301307 49035915 162 779529 805260 298576 294 1013.61 1800.05/1800.50 c 448011 32006 450742 65629568 145 1097652 885787 448011 320 1397.22 1800.05/1800.50 c Caught signal: 15 1800.05/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.50 c 19 514807 47317 1329888 517538 81358643 514807 285 1800.06 1800.05/1800.50 s UNKNOWN 1800.05/1800.50 c Total time: 1800.06 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-433202-1177956310 -o ROOT/results/node72/solver-433202-1177956310 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433202-1177956310/instance-433202-1177956310.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.95 0.99 0.95 3/77 13572 /proc/meminfo: memFree=1839040/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=15320 CPUtime=0 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 271669499 15687680 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 3830 335 280 324 0 2004 0 [startup+0.0302899 s] /proc/loadavg: 0.95 0.99 0.95 3/77 13572 /proc/meminfo: memFree=1839040/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=16196 CPUtime=0.02 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 628 0 0 0 2 0 0 0 18 0 1 0 271669499 16584704 598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 4049 598 322 324 0 2223 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16196 [startup+0.101297 s] /proc/loadavg: 0.95 0.99 0.95 3/77 13572 /proc/meminfo: memFree=1839040/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=9808 CPUtime=0.09 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 1107 0 0 0 9 0 0 0 18 0 1 0 271669499 10043392 1037 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 2452 1037 434 324 0 626 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9808 [startup+0.301316 s] /proc/loadavg: 0.95 0.99 0.95 3/77 13572 /proc/meminfo: memFree=1839040/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=11308 CPUtime=0.29 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 1786 0 0 0 29 0 0 0 19 0 1 0 271669499 11579392 1716 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 2827 1716 737 324 0 1001 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11308 [startup+0.701352 s] /proc/loadavg: 0.95 0.99 0.95 3/77 13572 /proc/meminfo: memFree=1839040/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=17832 CPUtime=0.69 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 4734 0 0 0 68 1 0 0 22 0 1 0 271669499 18259968 3644 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 4458 3644 304 324 0 3528 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17832 [startup+1.50143 s] /proc/loadavg: 0.95 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1824056/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=23416 CPUtime=1.49 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 6550 0 0 0 144 5 0 0 25 0 1 0 271669499 23977984 5050 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 5854 5050 306 324 0 4924 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23416 [startup+3.10157 s] /proc/loadavg: 0.95 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1819896/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=23424 CPUtime=3.1 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 6579 0 0 0 304 6 0 0 25 0 1 0 271669499 23986176 5079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 5856 5079 310 324 0 4926 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 23424 [startup+6.30186 s] /proc/loadavg: 0.95 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1813688/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=32908 CPUtime=6.29 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 8936 0 0 0 622 7 0 0 25 0 1 0 271669499 33697792 7436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 8227 7436 310 324 0 7297 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32908 [startup+12.7014 s] /proc/loadavg: 0.96 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1789112/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=56644 CPUtime=12.69 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 14872 0 0 0 1260 9 0 0 25 0 1 0 271669499 58003456 13372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 14161 13372 310 324 0 13231 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 56644 [startup+25.5016 s] /proc/loadavg: 0.96 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1748088/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=95576 CPUtime=25.49 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 24628 0 0 0 2534 15 0 0 25 0 1 0 271669499 97869824 23128 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 23894 23128 310 324 0 22964 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 95576 [startup+51.102 s] /proc/loadavg: 0.98 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1715256/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=128700 CPUtime=51.08 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 32898 0 0 0 5088 20 0 0 25 0 1 0 271669499 131788800 31398 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 32175 31398 310 324 0 31245 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 128700 [startup+102.306 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1680632/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=162580 CPUtime=102.27 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 41368 0 0 0 10197 30 0 0 25 0 1 0 271669499 166481920 39868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 40645 39868 310 324 0 39715 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 162580 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1629880/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=213576 CPUtime=162.25 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 54112 0 0 0 16183 42 0 0 25 0 1 0 271669499 218701824 52612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 53394 52612 310 324 0 52464 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 213576 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1599672/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=243416 CPUtime=222.23 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 61568 0 0 0 22173 50 0 0 25 0 1 0 271669499 249257984 60068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134548044 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 60854 60068 310 324 0 59924 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 243416 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1538552/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=305228 CPUtime=282.23 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 77014 0 0 0 28164 59 0 0 25 0 1 0 271669499 312553472 75514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 76307 75514 310 324 0 75377 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 305228 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1454776/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=388156 CPUtime=342.21 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 97762 0 0 0 34147 74 0 0 25 0 1 0 271669499 397471744 96262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 97039 96262 310 324 0 96109 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 388156 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1403832/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=439668 CPUtime=402.2 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 110629 0 0 0 40136 84 0 0 25 0 1 0 271669499 450220032 109129 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 109917 109129 310 324 0 108987 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 439668 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1362360/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=480212 CPUtime=462.18 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 120772 0 0 0 46127 91 0 0 25 0 1 0 271669499 491737088 119272 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 120053 119272 310 324 0 119123 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 480212 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1311672/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=531932 CPUtime=522.16 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 133708 0 0 0 52116 100 0 0 25 0 1 0 271669499 544698368 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 132983 132208 310 324 0 132053 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 531932 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1277368/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=564940 CPUtime=582.15 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 141955 0 0 0 58107 108 0 0 25 0 1 0 271669499 578498560 140455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2969146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 141235 140455 310 324 0 140305 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 564940 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1256504/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=585584 CPUtime=642.14 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 147128 0 0 0 64099 115 0 0 25 0 1 0 271669499 599638016 145628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 146396 145629 310 324 0 145466 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 585584 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1191736/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=650132 CPUtime=882.08 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 163248 0 0 0 88075 133 0 0 25 0 1 0 271669499 665735168 161748 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 162533 161748 310 324 0 161603 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 650132 [startup+942.301 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1180472/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=661344 CPUtime=942.06 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 166061 0 0 0 94069 137 0 0 25 0 1 0 271669499 677216256 164561 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 165336 164561 310 324 0 164406 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 661344 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1171384/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=670360 CPUtime=1002.04 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 168314 0 0 0 100065 139 0 0 25 0 1 0 271669499 686448640 166814 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 167590 166814 310 324 0 166660 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 670360 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1119736/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=722560 CPUtime=1062.03 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 181349 0 0 0 106054 149 0 0 25 0 1 0 271669499 739901440 179849 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 180640 179849 310 324 0 179710 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 722560 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1072312/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=769304 CPUtime=1122.01 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 193054 0 0 0 112041 160 0 0 25 0 1 0 271669499 787767296 191554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 192326 191554 310 324 0 191396 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 769304 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=1046584/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=795052 CPUtime=1182 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 199487 0 0 0 118031 169 0 0 25 0 1 0 271669499 814133248 197987 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 198763 197987 310 324 0 197833 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 795052 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=988664/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=852784 CPUtime=1241.99 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 213916 0 0 0 124019 180 0 0 25 0 1 0 271669499 873250816 212416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 213196 212416 310 324 0 212266 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 852784 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=965240/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=875832 CPUtime=1301.98 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 219686 0 0 0 130011 187 0 0 25 0 1 0 271669499 896851968 218186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 218958 218186 310 324 0 218028 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 875832 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.95 3/78 13573 /proc/meminfo: memFree=947000/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=894164 CPUtime=1361.97 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 224269 0 0 0 136004 193 0 0 25 0 1 0 271669499 915623936 222769 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 223541 222769 310 324 0 222611 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 894164 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.95 2/78 13573 /proc/meminfo: memFree=906104/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=934808 CPUtime=1421.95 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 234434 0 0 0 141994 201 0 0 25 0 1 0 271669499 957243392 232934 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 233702 232934 310 324 0 232772 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 934808 [startup+1482.3 s] /proc/loadavg: 1.07 1.01 0.96 2/78 13573 /proc/meminfo: memFree=857848/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=983468 CPUtime=1481.93 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 246592 0 0 0 147981 212 0 0 25 0 1 0 271669499 1007071232 245092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 245867 245092 310 324 0 244937 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 983468 [startup+1542.3 s] /proc/loadavg: 1.08 1.02 0.96 2/78 13573 /proc/meminfo: memFree=823800/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=1017004 CPUtime=1541.91 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 254961 0 0 0 153971 220 0 0 25 0 1 0 271669499 1041412096 253461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 254251 253461 310 324 0 253321 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1017004 [startup+1602.3 s] /proc/loadavg: 1.08 1.03 0.97 2/78 13573 /proc/meminfo: memFree=795576/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=1045388 CPUtime=1601.9 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 262077 0 0 0 159963 227 0 0 25 0 1 0 271669499 1070477312 260577 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 261347 260577 310 324 0 260417 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1045388 [startup+1662.3 s] /proc/loadavg: 1.03 1.02 0.97 2/78 13573 /proc/meminfo: memFree=774584/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=1066008 CPUtime=1661.89 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 267238 0 0 0 165957 232 0 0 25 0 1 0 271669499 1091592192 265738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 266502 265738 310 324 0 265572 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1066008 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 0.97 2/78 13575 /proc/meminfo: memFree=754168/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=1086620 CPUtime=1721.87 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 272377 0 0 0 171950 237 0 0 25 0 1 0 271669499 1112698880 270877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 271655 270877 310 324 0 270725 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1086620 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 0.97 2/78 13575 /proc/meminfo: memFree=736632/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=1103744 CPUtime=1781.86 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 276665 0 0 0 177944 242 0 0 25 0 1 0 271669499 1130233856 275165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 275936 275165 310 324 0 275006 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1103744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.01 0.97 2/78 13575 /proc/meminfo: memFree=731704/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=1108640 CPUtime=1800.05 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 277870 0 0 0 179762 243 0 0 25 0 1 0 271669499 1135247360 276370 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 277160 276370 310 324 0 276230 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1108640 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.01 0.97 2/79 13576 /proc/meminfo: memFree=1371148/2055920 swapFree=4157096/4192956 [pid=13572] ppid=13570 vsize=0 CPUtime=1800.16 /proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194308 277874 0 0 0 179762 254 0 0 25 0 1 0 271669499 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/13572/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.7 CPU time (s): 1800.24 CPU user time (s): 1797.63 CPU system time (s): 2.6086 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 1108640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.63 system time used= 2.6086 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277874 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= 4075 runsolver used 1.41478 second user time and 3.88241 second system time The end
Begin job on node72 on Mon Apr 30 18:05:11 UTC 2007 IDJOB= 433202 IDBENCH= 2355 IDSOLVER= 199 FILE ID= node72/433202-1177956310 PBS_JOBID= 4727692 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dg012142.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433202-1177956310/instance-433202-1177956310.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-433202-1177956310 -o ROOT/results/node72/solver-433202-1177956310 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433202-1177956310/instance-433202-1177956310.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 4f88b3d47f6404caca0c9a65b4bd3b5a RANDOM SEED= 221715770 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1839640 kB Buffers: 15816 kB Cached: 130492 kB SwapCached: 16688 kB Active: 44892 kB Inactive: 124044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1839640 kB SwapTotal: 4192956 kB SwapFree: 4157096 kB Dirty: 10176 kB Writeback: 0 kB Mapped: 29596 kB Slab: 32884 kB Committed_AS: 3429676 kB PageTables: 1788 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66555 MiB End job on node72 on Mon Apr 30 18:35:13 UTC 2007