Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.04 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb |
MD5SUM | 02b8e2ce7db79ee00a9a8f2ebac90f1b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 2.47162 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 42650 |
Total number of constraints | 1202 |
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 | 1202 |
Minimum length of a constraint | 38 |
Maximum length of a constraint | 42650 |
Number of terms in the objective function | 42650 |
Biggest coefficient in the objective function | 58891 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 565237 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262142 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 565237 |
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/362659-1177016206/instance-362659-1177016206.opb 0.00/0.00 c File size is 1872488 bytes. 0.29/0.39 c Highest Coefficient sum: 565237 0.29/0.39 c Parsing was ok!! 0.29/0.39 c Total parsing time: 0.386 s 0.39/0.42 c Var: 42650 Constr: 2399 0/0/2399 Lit: 230936 Watch. Lit: 134486 0.39/0.42 c Obj. Vars: 42650 (100 % of total variables) 19.69/19.78 c Pre-processing Time: 19.779 s 19.69/19.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.69/19.79 c 0 26127 2399 230936 96 204244 461872 0 0 19.78 19.69/19.79 c Switching off LPR mode. 1799.90/1800.70 c 102 26127 2501 257061 102 209945 508060 102 5 20.27 1799.90/1800.70 c 253 26127 2652 276074 104 209571 558867 253 12 21.02 1799.90/1800.70 c 478 26127 2877 279350 97 210279 614754 478 19 24.41 1799.90/1800.70 c 816 26127 3215 290456 90 210936 676230 816 28 28.82 1799.90/1800.70 c 1324 26127 3723 299038 80 211991 743854 1324 36 36.37 1799.90/1800.70 c 2088 26127 4487 330913 73 213382 818240 2088 49 42.49 1799.90/1800.70 c 3234 26127 5633 356744 63 215605 900065 3234 55 58.75 1799.90/1800.70 c 4955 26127 7354 394831 53 218940 990072 4955 58 84.47 1799.90/1800.70 c 7539 26127 9938 480448 48 224094 500000 7539 61 122.06 1799.90/1800.70 c 11418 26127 13817 583717 42 231827 550001 11418 64 176.48 1799.90/1800.70 c 17240 26127 19639 737766 37 243529 605002 17240 64 265.93 1799.90/1800.70 c 25977 26127 28376 1036699 36 260910 665503 25977 66 391.33 1799.90/1800.70 c 39087 26127 41486 1438686 34 287106 732054 39087 66 583.53 1799.90/1800.70 c 58758 26127 61157 2613180 42 326298 805260 58758 77 759.07 1799.90/1800.70 c 88269 26127 90668 3667997 40 384908 885787 88269 89 981.08 1799.90/1800.70 c 132539 26127 134938 5307752 39 473327 974366 132539 78 1681.87 1799.90/1800.70 c Resources Exceeded 1799.90/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.90/1800.70 c 16 154115 110038 1473994 156514 6422759 154115 85 1800.01 1799.90/1800.70 s UNKNOWN 1799.90/1800.70 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-362659-1177016206 -o ROOT/results/node22/solver-362659-1177016206 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362659-1177016206/instance-362659-1177016206.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 2/77 11514 /proc/meminfo: memFree=1666056/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=13568 CPUtime=0 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 149538270 13893632 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 3392 334 281 324 0 2003 0 [startup+0.0274999 s] /proc/loadavg: 0.99 0.97 0.98 2/77 11514 /proc/meminfo: memFree=1666056/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=14444 CPUtime=0.02 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 618 0 0 0 2 0 0 0 18 0 1 0 149538270 14790656 586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 3611 586 310 324 0 2222 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14444 [startup+0.10151 s] /proc/loadavg: 0.99 0.97 0.98 2/77 11514 /proc/meminfo: memFree=1666056/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=9828 CPUtime=0.09 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 1552 0 0 0 9 0 0 0 18 0 1 0 149538270 10063872 1401 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 2457 1401 397 324 0 1068 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9828 [startup+0.30154 s] /proc/loadavg: 0.99 0.97 0.98 2/77 11514 /proc/meminfo: memFree=1666056/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=11984 CPUtime=0.29 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 2337 0 0 0 29 0 0 0 19 0 1 0 149538270 12271616 2186 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 2996 2186 632 324 0 1607 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11984 [startup+0.701602 s] /proc/loadavg: 0.99 0.97 0.98 2/77 11514 /proc/meminfo: memFree=1666056/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=17928 CPUtime=0.69 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 4463 0 0 0 68 1 0 0 23 0 1 0 149538270 18358272 3717 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 4482 3717 306 324 0 3551 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17928 [startup+1.50272 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11515 /proc/meminfo: memFree=1652352/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=17928 CPUtime=1.49 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 4467 0 0 0 148 1 0 0 25 0 1 0 149538270 18358272 3721 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 4482 3721 306 324 0 3551 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17928 [startup+3.10197 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11515 /proc/meminfo: memFree=1652224/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=17928 CPUtime=3.09 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 4467 0 0 0 308 1 0 0 25 0 1 0 149538270 18358272 3721 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 4482 3721 306 324 0 3551 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17928 [startup+6.30146 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11515 /proc/meminfo: memFree=1651392/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=18588 CPUtime=6.29 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 4609 0 0 0 627 2 0 0 25 0 1 0 149538270 19034112 3863 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 4647 3863 306 324 0 3716 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18588 [startup+12.7014 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11515 /proc/meminfo: memFree=1651200/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=18848 CPUtime=12.68 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 4686 0 0 0 1265 3 0 0 25 0 1 0 149538270 19300352 3940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 4712 3940 306 324 0 3781 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18848 [startup+25.5014 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11515 /proc/meminfo: memFree=1648128/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=21796 CPUtime=25.49 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 5902 0 0 0 2540 9 0 0 25 0 1 0 149538270 22319104 4738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5111895 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 5449 4738 312 324 0 4518 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21796 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11515 /proc/meminfo: memFree=1648128/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=21808 CPUtime=51.07 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 5904 0 0 0 5096 11 0 0 25 0 1 0 149538270 22331392 4740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 5452 4740 312 324 0 4521 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21808 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11515 /proc/meminfo: memFree=1647424/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=22600 CPUtime=102.26 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 6083 0 0 0 10213 13 0 0 25 0 1 0 149538270 23142400 4919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 5650 4919 312 324 0 4719 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 22600 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11515 /proc/meminfo: memFree=1645504/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=24428 CPUtime=162.23 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 6561 0 0 0 16207 16 0 0 25 0 1 0 149538270 25014272 5397 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134571648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 6107 5397 312 324 0 5176 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 24428 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11515 /proc/meminfo: memFree=1643968/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=25956 CPUtime=222.21 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 6924 0 0 0 22202 19 0 0 25 0 1 0 149538270 26578944 5760 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 6489 5760 312 324 0 5558 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 25956 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/84 11653 /proc/meminfo: memFree=1640576/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=28124 CPUtime=282.15 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 7462 0 0 0 28192 23 0 0 25 0 1 0 149538270 28798976 6298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 7031 6298 312 324 0 6100 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 28124 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11713 /proc/meminfo: memFree=1639680/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=30052 CPUtime=342.09 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 7951 0 0 0 34182 27 0 0 25 0 1 0 149538270 30773248 6787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 7513 6787 312 324 0 6582 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 30052 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11713 /proc/meminfo: memFree=1637248/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=32504 CPUtime=402.07 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 8568 0 0 0 40178 29 0 0 25 0 1 0 149538270 33284096 7404 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 8126 7404 312 324 0 7195 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 32504 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11713 /proc/meminfo: memFree=1635136/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=34716 CPUtime=462.05 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 9118 0 0 0 46173 32 0 0 25 0 1 0 149538270 35549184 7954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 8679 7954 312 324 0 7748 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 34716 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11713 /proc/meminfo: memFree=1633088/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=36756 CPUtime=522.03 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 9633 0 0 0 52169 34 0 0 25 0 1 0 149538270 37638144 8469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 9189 8469 312 324 0 8258 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 36756 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11713 /proc/meminfo: memFree=1631296/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=38540 CPUtime=582.01 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 10083 0 0 0 58164 37 0 0 25 0 1 0 149538270 39464960 8919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 9635 8919 312 324 0 8704 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 38540 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11713 /proc/meminfo: memFree=1625536/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=44228 CPUtime=641.99 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 11507 0 0 0 64155 44 0 0 25 0 1 0 149538270 45289472 10343 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 11057 10343 312 324 0 10126 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 44228 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11713 /proc/meminfo: memFree=1604864/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=65076 CPUtime=881.91 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 16708 0 0 0 88121 70 0 0 25 0 1 0 149538270 66637824 15544 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 16269 15544 312 324 0 15338 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 65076 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11713 /proc/meminfo: memFree=1600000/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=69928 CPUtime=941.89 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 17919 0 0 0 94114 75 0 0 25 0 1 0 149538270 71606272 16755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 17482 16755 312 324 0 16551 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 69928 [startup+1002.3 s] /proc/loadavg: 1.10 1.00 0.99 2/78 11713 /proc/meminfo: memFree=1595392/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=74508 CPUtime=1001.87 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 19071 0 0 0 100100 87 0 0 25 0 1 0 149538270 76296192 17907 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 18627 17907 312 324 0 17696 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 74508 [startup+1062.3 s] /proc/loadavg: 1.09 1.01 1.00 2/78 11713 /proc/meminfo: memFree=1590528/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=79460 CPUtime=1061.85 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 20296 0 0 0 106090 95 0 0 25 0 1 0 149538270 81367040 19132 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134571616 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 19865 19132 312 324 0 18934 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 79460 [startup+1122.3 s] /proc/loadavg: 1.03 1.01 1.00 2/78 11713 /proc/meminfo: memFree=1586560/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=83352 CPUtime=1121.83 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 21270 0 0 0 112082 101 0 0 25 0 1 0 149538270 85352448 20106 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 20838 20106 312 324 0 19907 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 83352 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1584832/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=84904 CPUtime=1181.8 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 21682 0 0 0 118062 118 0 0 25 0 1 0 149538270 86941696 20518 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 21226 20518 312 324 0 20295 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 84904 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1583808/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=86000 CPUtime=1241.79 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 21939 0 0 0 124059 120 0 0 25 0 1 0 149538270 88064000 20775 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5107864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 21500 20775 312 324 0 20569 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 86000 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1582784/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=87012 CPUtime=1301.78 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 22202 0 0 0 130056 122 0 0 25 0 1 0 149538270 89100288 21038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 21753 21038 312 324 0 20822 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 87012 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1581632/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=88180 CPUtime=1361.75 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 22495 0 0 0 136052 123 0 0 25 0 1 0 149538270 90296320 21331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134571987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 22045 21331 312 324 0 21114 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 88180 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1580864/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=88920 CPUtime=1421.73 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 22680 0 0 0 142048 125 0 0 25 0 1 0 149538270 91054080 21516 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 22230 21516 312 324 0 21299 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 88920 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1580096/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=89720 CPUtime=1481.71 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 22877 0 0 0 148044 127 0 0 25 0 1 0 149538270 91873280 21713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 22430 21713 312 324 0 21499 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 89720 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1579072/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=90672 CPUtime=1541.68 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 23123 0 0 0 154040 128 0 0 25 0 1 0 149538270 92848128 21959 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 22668 21959 312 324 0 21737 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 90672 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1578176/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=91700 CPUtime=1601.67 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 23357 0 0 0 160037 130 0 0 25 0 1 0 149538270 93900800 22193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 22925 22193 312 324 0 21994 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 91700 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1573824/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=96104 CPUtime=1661.64 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 24461 0 0 0 166024 140 0 0 25 0 1 0 149538270 98410496 23297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 24026 23297 312 324 0 23095 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 96104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1566784/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=103164 CPUtime=1721.63 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 26231 0 0 0 172010 153 0 0 25 0 1 0 149538270 105639936 25067 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 25791 25067 312 324 0 24860 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 103164 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1557056/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=112760 CPUtime=1781.6 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194304 28635 0 0 0 177997 163 0 0 25 0 1 0 149538270 115466240 27471 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 28190 27471 312 324 0 27259 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 112760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1555904/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=0 CPUtime=1800.01 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194308 29194 0 0 0 179835 166 0 0 25 0 1 0 149538270 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 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+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11713 /proc/meminfo: memFree=1555904/2055920 swapFree=4168584/4192956 [pid=11514] ppid=11512 vsize=0 CPUtime=1800.01 /proc/11514/stat : 11514 (bsolo3.0.16) R 11512 11514 11346 0 -1 4194308 29194 0 0 0 179835 166 0 0 25 0 1 0 149538270 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11514/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.04 CPU user time (s): 1798.36 CPU system time (s): 1.67974 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (KiB): 114964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.36 system time used= 1.67974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29194 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= 4368 runsolver used 1.90371 second user time and 4.03839 second system time The end
Begin job on node22 on Thu Apr 19 20:56:46 UTC 2007 IDJOB= 362659 IDBENCH= 1606 IDSOLVER= 163 FILE ID= node22/362659-1177016206 PBS_JOBID= 4630562 Free space on /tmp= 66493 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-biella1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362659-1177016206/instance-362659-1177016206.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-362659-1177016206 -o ROOT/results/node22/solver-362659-1177016206 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362659-1177016206/instance-362659-1177016206.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 02b8e2ce7db79ee00a9a8f2ebac90f1b RANDOM SEED= 230092813 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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: 1666528 kB Buffers: 42516 kB Cached: 256056 kB SwapCached: 2192 kB Active: 85816 kB Inactive: 235276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1666528 kB SwapTotal: 4192956 kB SwapFree: 4168584 kB Dirty: 6240 kB Writeback: 0 kB Mapped: 30332 kB Slab: 53948 kB Committed_AS: 1805256 kB PageTables: 1676 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= 66493 MiB End job on node22 on Thu Apr 19 21:26:49 UTC 2007