Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.09 | 1800.77 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-vtp.base.opb |
MD5SUM | 5b3e28beae15a1c34f0e545c98eeb705 |
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 | 4524 |
Total number of constraints | 257 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 257 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1080 |
Number of terms in the objective function | 181 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 7516192762 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 198568686125056 |
Number of bits of the biggest number in a constraint | 48 |
Biggest sum of numbers in a constraint | 12817928787879752 |
Number of bits of the biggest sum of numbers | 54 |
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/433233-1177956993/instance-433233-1177956993.opb 0.00/0.00 c File size is 253261 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Highest Coefficient sum: 1.28179e+16 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.041 s 0.00/0.04 c Var: 4524 Constr: 312 11/0/301 Lit: 30366 Watch. Lit: 11818 0.00/0.04 c Obj. Vars: 181 (4.00088 % of total variables) 3.69/3.74 c Pre-processing Time: 3.744 s 1800.03/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.70 c 0 2725 155 20496 132 13295 40992 0 0 3.74 1800.03/1800.70 c 101 2725 256 24954 97 15471 45092 101 26 3.77 1800.03/1800.70 c 251 2723 406 29036 71 16947 49602 251 65 3.83 1800.03/1800.70 c 476 2723 631 40195 63 17381 54563 476 122 3.87 1800.03/1800.70 c 814 2723 969 60250 62 18165 60020 814 204 3.98 1800.03/1800.70 c 1323 2723 1478 93514 63 19124 66023 1323 321 4.12 1800.03/1800.70 c 2087 2723 2242 152938 68 20619 72626 2087 487 4.28 1800.03/1800.70 c 3237 2722 3392 227051 66 22978 79889 3237 698 4.63 1800.03/1800.70 c 4958 2722 5113 334853 65 26331 87878 4958 950 5.21 1800.03/1800.70 c 7542 2722 7697 517859 67 31617 96666 7542 1302 5.79 1800.03/1800.70 c 11421 2722 11576 711304 61 39422 106333 11421 1480 7.71 1800.03/1800.70 c 17243 2722 17398 1135488 65 51005 116967 17243 1769 9.74 1800.03/1800.70 c 25981 2722 26136 1790701 68 68469 128664 25981 2034 12.77 1800.03/1800.71 c 39092 2722 39247 2818568 71 94702 141531 39092 1622 24.09 1800.03/1800.71 c 58763 2722 58918 4128212 70 134004 155685 58763 1440 40.79 1800.03/1800.71 c 88274 2722 88429 6122299 69 193154 171254 88274 1190 74.18 1800.03/1800.71 c 132544 2722 132699 10975322 82 281780 188380 132544 1006 131.71 1800.03/1800.71 c 198954 2722 21574 1959350 90 59674 207219 21419 856 232.16 1800.03/1800.71 c 298575 2722 121195 9556167 78 258977 227941 121040 949 314.42 1800.03/1800.71 c 448010 2722 53532 5467876 102 123504 250736 53377 583 767.68 1800.03/1800.71 c 672168 2721 39218 2411715 61 94789 275810 39063 413 1624.49 1800.03/1800.71 c Caught signal: 15 1800.03/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.71 c 20 734687 48714 847630 101737 6231852 101582 408 1800.04 1800.03/1800.71 s UNKNOWN 1800.03/1800.71 c Total time: 1800.04 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-433233-1177956993 -o ROOT/results/node10/solver-433233-1177956993 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433233-1177956993/instance-433233-1177956993.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.88 0.95 0.95 3/77 18338 /proc/meminfo: memFree=1761328/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=11984 CPUtime=0 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 271736895 12271616 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 2996 335 280 324 0 2004 0 [startup+0.0723 s] /proc/loadavg: 0.88 0.95 0.95 3/77 18338 /proc/meminfo: memFree=1761328/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=5496 CPUtime=0.06 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 839 0 0 0 6 0 0 0 18 0 1 0 271736895 5627904 747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 1374 747 303 324 0 444 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5496 [startup+0.101306 s] /proc/loadavg: 0.88 0.95 0.95 3/77 18338 /proc/meminfo: memFree=1761328/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=5496 CPUtime=0.09 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 839 0 0 0 9 0 0 0 18 0 1 0 271736895 5627904 747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 1374 747 303 324 0 444 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5496 [startup+0.30135 s] /proc/loadavg: 0.88 0.95 0.95 3/77 18338 /proc/meminfo: memFree=1761328/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=5672 CPUtime=0.29 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 890 0 0 0 29 0 0 0 19 0 1 0 271736895 5808128 794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 1418 794 305 324 0 488 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5672 [startup+0.701435 s] /proc/loadavg: 0.88 0.95 0.95 3/77 18338 /proc/meminfo: memFree=1761328/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=5672 CPUtime=0.69 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 890 0 0 0 69 0 0 0 22 0 1 0 271736895 5808128 794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 1418 794 305 324 0 488 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5672 [startup+1.50161 s] /proc/loadavg: 0.89 0.95 0.95 2/78 18339 /proc/meminfo: memFree=1759336/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=5672 CPUtime=1.49 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 890 0 0 0 149 0 0 0 25 0 1 0 271736895 5808128 794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 1418 794 305 324 0 488 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5672 [startup+3.10195 s] /proc/loadavg: 0.89 0.95 0.95 2/78 18339 /proc/meminfo: memFree=1759208/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=5672 CPUtime=3.09 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 890 0 0 0 309 0 0 0 25 0 1 0 271736895 5808128 794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 1418 794 305 324 0 488 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5672 [startup+6.30164 s] /proc/loadavg: 0.89 0.95 0.95 2/78 18339 /proc/meminfo: memFree=1754472/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=13312 CPUtime=6.29 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 2784 0 0 0 628 1 0 0 25 0 1 0 271736895 13631488 2688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 3328 2688 309 324 0 2398 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13312 [startup+12.702 s] /proc/loadavg: 0.91 0.96 0.95 2/78 18339 /proc/meminfo: memFree=1735536/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=30696 CPUtime=12.69 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 7151 0 0 0 1265 4 0 0 25 0 1 0 271736895 31432704 7055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 7674 7055 309 324 0 6744 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30696 [startup+25.5018 s] /proc/loadavg: 0.92 0.96 0.95 2/78 18339 /proc/meminfo: memFree=1717168/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=48100 CPUtime=25.49 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 11476 0 0 0 2541 8 0 0 25 0 1 0 271736895 49254400 11380 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 12025 11380 309 324 0 11095 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48100 [startup+51.1013 s] /proc/loadavg: 0.95 0.96 0.95 2/78 18339 /proc/meminfo: memFree=1686128/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=79240 CPUtime=51.07 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 19261 0 0 0 5092 15 0 0 25 0 1 0 271736895 81141760 19165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9346849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 19810 19165 309 324 0 18880 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 79240 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.95 2/78 18339 /proc/meminfo: memFree=1616176/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=148296 CPUtime=102.25 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 36551 0 0 0 10199 26 0 0 25 0 1 0 271736895 151855104 36455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 37074 36455 309 324 0 36144 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 148296 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 18339 /proc/meminfo: memFree=1580976/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=183644 CPUtime=162.22 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 45382 0 0 0 16188 34 0 0 25 0 1 0 271736895 188051456 45286 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 45911 45286 309 324 0 44981 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 183644 [startup+222.301 s] /proc/loadavg: 1.06 0.99 0.95 2/78 18339 /proc/meminfo: memFree=1549104/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=215004 CPUtime=222.2 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 53403 0 0 0 22179 41 0 0 25 0 1 0 271736895 220164096 53120 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9338408 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 53751 53120 309 324 0 52821 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 215004 [startup+282.301 s] /proc/loadavg: 1.08 1.00 0.96 2/78 18339 /proc/meminfo: memFree=1549104/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=215004 CPUtime=282.18 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 53403 0 0 0 28176 42 0 0 25 0 1 0 271736895 220164096 53120 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 53751 53120 309 324 0 52821 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 215004 [startup+342.302 s] /proc/loadavg: 1.08 1.01 0.96 2/78 18339 /proc/meminfo: memFree=1549104/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=215004 CPUtime=342.16 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 53403 0 0 0 34174 42 0 0 25 0 1 0 271736895 220164096 53120 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 53751 53120 309 324 0 52821 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 215004 [startup+402.302 s] /proc/loadavg: 1.08 1.02 0.97 2/78 18339 /proc/meminfo: memFree=1543216/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=221424 CPUtime=402.14 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 55014 0 0 0 40170 44 0 0 25 0 1 0 271736895 226738176 54731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 55356 54731 309 324 0 54426 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 221424 [startup+462.303 s] /proc/loadavg: 1.03 1.02 0.97 2/78 18339 /proc/meminfo: memFree=1511600/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=252548 CPUtime=462.11 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 62796 0 0 0 46159 52 0 0 25 0 1 0 271736895 258609152 62513 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 63137 62513 309 324 0 62207 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 252548 [startup+522.302 s] /proc/loadavg: 1.01 1.01 0.97 2/78 18339 /proc/meminfo: memFree=1491376/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=272808 CPUtime=522.09 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 67842 0 0 0 52151 58 0 0 25 0 1 0 271736895 279355392 67559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 68202 67559 309 324 0 67272 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 272808 [startup+582.302 s] /proc/loadavg: 1.00 1.01 0.97 2/78 18339 /proc/meminfo: memFree=1474928/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=289092 CPUtime=582.07 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 71916 0 0 0 58143 64 0 0 25 0 1 0 271736895 296030208 71633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72273 71633 309 324 0 71343 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 289092 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18339 /proc/meminfo: memFree=1472176/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291416 CPUtime=642.05 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72741 0 0 0 64141 64 0 0 25 0 1 0 271736895 298409984 72233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72854 72233 309 324 0 71924 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 291416 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18339 /proc/meminfo: memFree=1472176/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291416 CPUtime=881.96 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72741 0 0 0 88130 66 0 0 25 0 1 0 271736895 298409984 72233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72854 72233 309 324 0 71924 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 291416 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18339 /proc/meminfo: memFree=1472112/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291416 CPUtime=941.93 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72741 0 0 0 94127 66 0 0 25 0 1 0 271736895 298409984 72233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72854 72233 309 324 0 71924 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 291416 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18339 /proc/meminfo: memFree=1472048/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291416 CPUtime=1001.92 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72741 0 0 0 100125 67 0 0 25 0 1 0 271736895 298409984 72233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72854 72233 309 324 0 71924 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 291416 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18339 /proc/meminfo: memFree=1472048/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291416 CPUtime=1061.89 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72741 0 0 0 106122 67 0 0 25 0 1 0 271736895 298409984 72233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9346838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72854 72233 309 324 0 71924 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 291416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18339 /proc/meminfo: memFree=1471984/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291416 CPUtime=1121.87 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72741 0 0 0 112119 68 0 0 25 0 1 0 271736895 298409984 72233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72854 72233 309 324 0 71924 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 291416 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1471920/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291416 CPUtime=1181.85 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72741 0 0 0 118117 68 0 0 25 0 1 0 271736895 298409984 72233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72854 72233 309 324 0 71924 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 291416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1471856/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291416 CPUtime=1241.83 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72741 0 0 0 124114 69 0 0 25 0 1 0 271736895 298409984 72233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72854 72233 309 324 0 71924 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 291416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1471792/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291416 CPUtime=1301.81 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72741 0 0 0 130112 69 0 0 25 0 1 0 271736895 298409984 72233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72854 72233 309 324 0 71924 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 291416 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1471792/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291416 CPUtime=1361.79 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72742 0 0 0 136109 70 0 0 25 0 1 0 271736895 298409984 72234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72854 72234 309 324 0 71924 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 291416 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1471664/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291452 CPUtime=1421.76 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72751 0 0 0 142106 70 0 0 25 0 1 0 271736895 298446848 72243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72863 72243 309 324 0 71933 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 291452 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 3/78 18341 /proc/meminfo: memFree=1471600/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291492 CPUtime=1481.74 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 72761 0 0 0 148103 71 0 0 25 0 1 0 271736895 298487808 72253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72873 72253 309 324 0 71943 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 291492 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1471344/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=291500 CPUtime=1541.72 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 73010 0 0 0 154101 71 0 0 25 0 1 0 271736895 298496000 72255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72875 72255 309 324 0 71945 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 291500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 3/78 18341 /proc/meminfo: memFree=1472752/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=290016 CPUtime=1601.7 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 73010 0 0 0 160098 72 0 0 25 0 1 0 271736895 296976384 71886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72504 71886 309 324 0 71574 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 290016 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1472752/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=290016 CPUtime=1661.67 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 73010 0 0 0 166095 72 0 0 25 0 1 0 271736895 296976384 71886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72504 71886 309 324 0 71574 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 290016 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1472752/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=290016 CPUtime=1721.65 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 73010 0 0 0 172093 72 0 0 25 0 1 0 271736895 296976384 71886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72504 71886 309 324 0 71574 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 290016 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1472752/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=290016 CPUtime=1781.63 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 73010 0 0 0 178090 73 0 0 25 0 1 0 271736895 296976384 71886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72504 71886 309 324 0 71574 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 290016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1472752/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=290016 CPUtime=1800.03 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 73010 0 0 0 179930 73 0 0 25 0 1 0 271736895 296976384 71886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72504 71886 309 324 0 71574 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 290016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.97 2/78 18341 /proc/meminfo: memFree=1472752/2055920 swapFree=4145504/4192956 [pid=18338] ppid=18336 vsize=290016 CPUtime=1800.03 /proc/18338/stat : 18338 (bsolo3.0.17) R 18336 18338 17836 0 -1 4194304 73010 0 0 0 179930 73 0 0 25 0 1 0 271736895 296976384 71886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18338/statm: 72504 71886 309 324 0 71574 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 290016 Child status: 15 Real time (s): 1800.77 CPU time (s): 1800.09 CPU user time (s): 1799.31 CPU system time (s): 0.778881 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (KiB): 292488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.31 system time used= 0.778881 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73014 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= 2881 runsolver used 1.37379 second user time and 3.78842 second system time The end
Begin job on node10 on Mon Apr 30 18:16:34 UTC 2007 IDJOB= 433233 IDBENCH= 2387 IDSOLVER= 199 FILE ID= node10/433233-1177956993 PBS_JOBID= 4727715 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433233-1177956993/instance-433233-1177956993.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-433233-1177956993 -o ROOT/results/node10/solver-433233-1177956993 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433233-1177956993/instance-433233-1177956993.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 5b3e28beae15a1c34f0e545c98eeb705 RANDOM SEED= 809455016 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1761744 kB Buffers: 21700 kB Cached: 172488 kB SwapCached: 15320 kB Active: 56524 kB Inactive: 171660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1761744 kB SwapTotal: 4192956 kB SwapFree: 4145504 kB Dirty: 6988 kB Writeback: 0 kB Mapped: 32296 kB Slab: 51548 kB Committed_AS: 3856796 kB PageTables: 1712 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 node10 on Mon Apr 30 18:46:37 UTC 2007