Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.07 | 1801.36 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb |
MD5SUM | 24f5fdc248e1411d713d304748099da5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 20024 |
Total number of constraints | 1258 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 912 |
Number of constraints which are nor clauses,nor cardinality constraints | 345 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 15837 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
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 | 532272 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/348111-1176568850/instance-348111-1176568850.opb 0.00/0.01 c File size is 2210131 bytes. 0.38/0.42 c Highest Coefficient sum: 532272 0.38/0.42 c Parsing was ok!! 0.38/0.42 c Total parsing time: 0.407 s 0.38/0.45 c Var: 20024 Constr: 1473 1/912/560 Lit: 395189 Watch. Lit: 204468 0.38/0.45 c Obj. Vars: 31 (0.154814 % of total variables) 91.82/91.99 c Pre-processing Time: 91.918 s 91.82/91.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.82/91.99 c 0 19433 1472 394810 268 280177 854929 0 0 91.92 91.82/91.99 c Switching off LPR mode. 1799.91/1801.28 c 104 19433 1576 430924 273 286239 940422 104 1 100.70 1799.91/1801.28 c 254 19433 1726 458571 265 286222 500000 254 2 105.94 1799.91/1801.28 c 481 19433 1953 665518 340 286432 550001 481 4 114.01 1799.91/1801.28 c 819 19433 2291 886869 387 287120 605002 819 5 138.14 1799.91/1801.28 c 1331 19433 2803 1208220 431 287983 665503 1331 9 144.54 1799.91/1801.28 c 2097 19433 3569 1931183 541 289821 732054 2097 13 156.18 1799.91/1801.28 c 3264 19433 4736 2670208 563 291620 805260 3264 20 159.75 1799.91/1801.28 c 4998 19433 6470 4718661 729 295389 885787 4998 27 180.62 1799.91/1801.28 c 7584 19433 9056 6041292 667 299907 974366 7584 40 185.10 1799.91/1801.28 c 11527 19433 12999 10519867 809 308199 500000 11527 48 239.68 1799.91/1801.28 c 17349 19433 18821 14123465 750 319798 550001 17349 64 268.59 1799.91/1801.28 c 26086 19433 27558 17907880 649 337258 605002 26086 69 375.07 1799.91/1801.28 c 39196 19433 40668 22733063 558 363447 665503 39196 60 652.37 1799.91/1801.28 c 58866 19433 60338 29532785 489 402746 732054 58866 46 1268.14 1799.91/1801.28 c Resources Exceeded 1799.91/1801.28 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1801.28 c 14 70381 45534 1129288 71853 33091029 70381 39 1800.00 1799.91/1801.28 s UNKNOWN 1799.91/1801.28 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/node71/watcher-348111-1176568850 -o ROOT/results/node71/solver-348111-1176568850 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348111-1176568850/instance-348111-1176568850.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: 1.00 1.00 1.09 2/64 31239 /proc/meminfo: memFree=1684544/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=2332 CPUtime=0 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 132874381 2387968 26 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7209991 0 2147483391 4096 0 0 0 0 17 0 0 0 /proc/31239/statm: 583 26 20 324 0 3 0 [startup+0.031359 s] /proc/loadavg: 1.00 1.00 1.09 2/64 31239 /proc/meminfo: memFree=1684544/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=6640 CPUtime=0.01 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 535 0 3 0 1 0 0 0 18 0 1 0 132874381 6799360 506 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134538841 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 1660 506 307 324 0 189 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6640 [startup+0.101367 s] /proc/loadavg: 1.00 1.00 1.09 2/64 31239 /proc/meminfo: memFree=1684544/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=8168 CPUtime=0.08 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 1021 0 3 0 8 0 0 0 18 0 1 0 132874381 8364032 992 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7585797 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 2042 992 412 324 0 571 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8168 [startup+0.301394 s] /proc/loadavg: 1.00 1.00 1.09 2/64 31239 /proc/meminfo: memFree=1684544/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=11116 CPUtime=0.28 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 2061 0 3 0 27 1 0 0 19 0 1 0 132874381 11382784 1971 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 2779 1971 673 324 0 1308 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11116 [startup+0.701449 s] /proc/loadavg: 1.00 1.00 1.09 2/64 31239 /proc/meminfo: memFree=1684544/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=18844 CPUtime=0.68 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 4686 0 3 0 66 2 0 0 23 0 1 0 132874381 19296256 4016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 4711 4016 305 324 0 3780 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 18844 [startup+1.50156 s] /proc/loadavg: 1.00 1.00 1.09 2/65 31240 /proc/meminfo: memFree=1668088/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=19636 CPUtime=1.49 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 4876 0 3 0 146 3 0 0 25 0 1 0 132874381 20107264 4206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 4909 4206 305 324 0 3978 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19636 [startup+3.10178 s] /proc/loadavg: 1.00 1.00 1.09 2/65 31240 /proc/meminfo: memFree=1668024/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=19636 CPUtime=3.09 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 4876 0 3 0 306 3 0 0 25 0 1 0 132874381 20107264 4206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 4909 4206 305 324 0 3978 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19636 [startup+6.30122 s] /proc/loadavg: 1.00 1.00 1.09 2/65 31240 /proc/meminfo: memFree=1667768/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=19636 CPUtime=6.28 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 4876 0 3 0 625 3 0 0 25 0 1 0 132874381 20107264 4206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31239/statm: 4909 4206 305 324 0 3978 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19636 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.09 2/65 31240 /proc/meminfo: memFree=1667896/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=19636 CPUtime=12.68 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 4876 0 3 0 1265 3 0 0 25 0 1 0 132874381 20107264 4206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 4909 4206 305 324 0 3978 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19636 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.08 2/65 31240 /proc/meminfo: memFree=1662776/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=25068 CPUtime=25.48 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 6429 0 3 0 2543 5 0 0 25 0 1 0 132874381 25669632 5561 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 6267 5561 307 324 0 5336 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25068 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.08 2/65 31240 /proc/meminfo: memFree=1662712/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=25068 CPUtime=51.05 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 6429 0 3 0 5100 5 0 0 25 0 1 0 132874381 25669632 5561 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 6267 5561 307 324 0 5336 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 25068 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.08 2/65 31240 /proc/meminfo: memFree=1666744/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=21020 CPUtime=102.21 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 6753 0 3 0 10214 7 0 0 25 0 1 0 132874381 21524480 4569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 5255 4569 311 324 0 4324 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 21020 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.07 2/65 31240 /proc/meminfo: memFree=1638072/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=49804 CPUtime=162.17 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 13949 0 3 0 16192 25 0 0 25 0 1 0 132874381 50999296 11765 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 12451 11765 311 324 0 11520 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 49804 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.07 2/65 31240 /proc/meminfo: memFree=1550264/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=137296 CPUtime=222.13 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 35834 0 3 0 22174 39 0 0 25 0 1 0 132874381 140591104 33650 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 34324 33650 311 324 0 33393 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 137296 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.06 2/65 31240 /proc/meminfo: memFree=1481784/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=205832 CPUtime=282.08 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 52986 0 3 0 28158 50 0 0 25 0 1 0 132874381 210771968 50802 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31239/statm: 51458 50802 311 324 0 50527 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 205832 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.05 2/65 31240 /proc/meminfo: memFree=1453752/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=233692 CPUtime=342.03 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 59935 0 3 0 34146 57 0 0 25 0 1 0 132874381 239300608 57751 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 58423 57751 311 324 0 57492 0 Current children cumulated CPU time (s) 342.03 Current children cumulated vsize (KiB) 233692 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.05 2/65 31240 /proc/meminfo: memFree=1433400/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=254228 CPUtime=401.98 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 65073 0 3 0 40134 64 0 0 25 0 1 0 132874381 260329472 62889 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7638772 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 63557 62889 311 324 0 62626 0 Current children cumulated CPU time (s) 401.98 Current children cumulated vsize (KiB) 254228 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.04 2/65 31240 /proc/meminfo: memFree=1417016/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=270256 CPUtime=461.95 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 69088 0 3 0 46124 71 0 0 25 0 1 0 132874381 276742144 66904 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 67564 66904 311 324 0 66633 0 Current children cumulated CPU time (s) 461.95 Current children cumulated vsize (KiB) 270256 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.04 2/65 31240 /proc/meminfo: memFree=1404664/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=282784 CPUtime=521.91 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 72213 0 3 0 52114 77 0 0 25 0 1 0 132874381 289570816 70029 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 70696 70029 311 324 0 69765 0 Current children cumulated CPU time (s) 521.91 Current children cumulated vsize (KiB) 282784 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.03 2/65 31240 /proc/meminfo: memFree=1391352/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=296052 CPUtime=581.86 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 75520 0 3 0 58103 83 0 0 25 0 1 0 132874381 303157248 73336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 74013 73336 311 324 0 73082 0 Current children cumulated CPU time (s) 581.86 Current children cumulated vsize (KiB) 296052 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.02 2/65 31240 /proc/meminfo: memFree=1381304/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=305872 CPUtime=641.82 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 77993 0 3 0 64094 88 0 0 25 0 1 0 132874381 313212928 75809 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 76468 75809 311 324 0 75537 0 Current children cumulated CPU time (s) 641.82 Current children cumulated vsize (KiB) 305872 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31240 /proc/meminfo: memFree=1342456/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=344772 CPUtime=881.65 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 87713 0 3 0 88060 105 0 0 25 0 1 0 132874381 353046528 85529 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 86193 85529 311 324 0 85262 0 Current children cumulated CPU time (s) 881.65 Current children cumulated vsize (KiB) 344772 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31240 /proc/meminfo: memFree=1332280/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=354996 CPUtime=941.6 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 90270 0 3 0 94051 109 0 0 25 0 1 0 132874381 363515904 88086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 88749 88086 311 324 0 87818 0 Current children cumulated CPU time (s) 941.6 Current children cumulated vsize (KiB) 354996 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31240 /proc/meminfo: memFree=1323960/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=363336 CPUtime=1001.57 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 92339 0 3 0 100043 114 0 0 25 0 1 0 132874381 372056064 90155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 90834 90155 311 324 0 89903 0 Current children cumulated CPU time (s) 1001.57 Current children cumulated vsize (KiB) 363336 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31240 /proc/meminfo: memFree=1316152/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=371212 CPUtime=1061.53 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 94308 0 3 0 106036 117 0 0 25 0 1 0 132874381 380121088 92124 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 92803 92124 311 324 0 91872 0 Current children cumulated CPU time (s) 1061.53 Current children cumulated vsize (KiB) 371212 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31240 /proc/meminfo: memFree=1308216/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=379028 CPUtime=1121.5 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 96264 0 3 0 112028 122 0 0 25 0 1 0 132874381 388124672 94080 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 94757 94080 311 324 0 93826 0 Current children cumulated CPU time (s) 1121.5 Current children cumulated vsize (KiB) 379028 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31240 /proc/meminfo: memFree=1299768/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=387384 CPUtime=1181.46 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 98372 0 3 0 118020 126 0 0 25 0 1 0 132874381 396681216 96188 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 96846 96188 311 324 0 95915 0 Current children cumulated CPU time (s) 1181.46 Current children cumulated vsize (KiB) 387384 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 31404 /proc/meminfo: memFree=1292232/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=393480 CPUtime=1241.44 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 99884 0 3 0 124007 137 0 0 25 0 1 0 132874381 402923520 97700 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 98370 97700 311 324 0 97439 0 Current children cumulated CPU time (s) 1241.44 Current children cumulated vsize (KiB) 393480 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1286584/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=400176 CPUtime=1301.38 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 101561 0 3 0 129994 144 0 0 25 0 1 0 132874381 409780224 99377 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 100044 99377 311 324 0 99113 0 Current children cumulated CPU time (s) 1301.38 Current children cumulated vsize (KiB) 400176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1279992/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=406856 CPUtime=1361.34 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 103233 0 3 0 135986 148 0 0 25 0 1 0 132874381 416620544 101049 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 101714 101049 311 324 0 100783 0 Current children cumulated CPU time (s) 1361.34 Current children cumulated vsize (KiB) 406856 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1274232/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=412668 CPUtime=1421.31 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 104675 0 3 0 141980 151 0 0 25 0 1 0 132874381 422572032 102491 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551518 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 103167 102491 311 324 0 102236 0 Current children cumulated CPU time (s) 1421.31 Current children cumulated vsize (KiB) 412668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1270008/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=416864 CPUtime=1481.26 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 105719 0 3 0 147972 154 0 0 25 0 1 0 132874381 426868736 103535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 104216 103535 311 324 0 103285 0 Current children cumulated CPU time (s) 1481.26 Current children cumulated vsize (KiB) 416864 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1265912/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=420920 CPUtime=1541.21 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 106741 0 3 0 153964 157 0 0 25 0 1 0 132874381 431022080 104557 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 105230 104557 311 324 0 104299 0 Current children cumulated CPU time (s) 1541.21 Current children cumulated vsize (KiB) 420920 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1261816/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=425144 CPUtime=1601.18 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 107806 0 3 0 159958 160 0 0 25 0 1 0 132874381 435347456 105622 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 106286 105622 311 324 0 105355 0 Current children cumulated CPU time (s) 1601.18 Current children cumulated vsize (KiB) 425144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1255864/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=431076 CPUtime=1661.11 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 109288 0 3 0 165948 163 0 0 25 0 1 0 132874381 441421824 107104 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 107769 107104 311 324 0 106838 0 Current children cumulated CPU time (s) 1661.11 Current children cumulated vsize (KiB) 431076 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1251640/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=435280 CPUtime=1721.07 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 110343 0 3 0 171941 166 0 0 25 0 1 0 132874381 445726720 108159 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 108820 108159 311 324 0 107889 0 Current children cumulated CPU time (s) 1721.07 Current children cumulated vsize (KiB) 435280 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1245816/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=440960 CPUtime=1781.03 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194304 111759 0 3 0 177934 169 0 0 25 0 1 0 132874381 451543040 109575 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 110240 109575 311 324 0 109309 0 Current children cumulated CPU time (s) 1781.03 Current children cumulated vsize (KiB) 440960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1332984/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=0 CPUtime=1800.02 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194308 112155 0 3 0 179830 172 0 0 25 0 1 0 132874381 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31438 /proc/meminfo: memFree=1332984/2055920 swapFree=4184248/4192956 [pid=31239] ppid=31237 vsize=0 CPUtime=1800.02 /proc/31239/stat : 31239 (bsolo3.0.16) R 31237 31239 31131 0 -1 4194308 112155 0 3 0 179830 172 0 0 25 0 1 0 132874381 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31239/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.36 CPU time (s): 1800.07 CPU user time (s): 1798.3 CPU system time (s): 1.77273 CPU usage (%): 99.9289 Max. virtual memory (cumulated for all children) (KiB): 442496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.3 system time used= 1.77273 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 112155 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 7000 runsolver used 1.71674 second user time and 4.84326 second system time The end
Begin job on node71 on Sat Apr 14 16:40:51 UTC 2007 IDJOB= 348111 IDBENCH= 1618 IDSOLVER= 163 FILE ID= node71/348111-1176568850 PBS_JOBID= 4556918 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/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ar98.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348111-1176568850/instance-348111-1176568850.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-348111-1176568850 -o ROOT/results/node71/solver-348111-1176568850 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348111-1176568850/instance-348111-1176568850.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 24f5fdc248e1411d713d304748099da5 RANDOM SEED= 623025142 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.234 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.234 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: 1685016 kB Buffers: 39488 kB Cached: 228556 kB SwapCached: 3276 kB Active: 191476 kB Inactive: 87640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1685016 kB SwapTotal: 4192956 kB SwapFree: 4184248 kB Dirty: 6540 kB Writeback: 0 kB Mapped: 16500 kB Slab: 77840 kB Committed_AS: 1023764 kB PageTables: 1452 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 node71 on Sat Apr 14 17:10:54 UTC 2007