Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.05 | 1800.74 |
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.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/432608-1177946180/instance-432608-1177946180.opb 0.00/0.01 c File size is 1872488 bytes. 0.27/0.38 c Highest Coefficient sum: 565237 0.27/0.38 c Parsing was ok!! 0.27/0.38 c Total parsing time: 0.364 s 0.38/0.41 c Var: 42650 Constr: 2399 0/0/2399 Lit: 230936 Watch. Lit: 134486 0.38/0.41 c Obj. Vars: 42650 (100 % of total variables) 19.57/19.65 c Pre-processing Time: 19.632 s 19.57/19.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.57/19.66 c 0 26127 2399 230936 96 204244 461872 0 0 19.63 19.57/19.66 c Switching off LPR mode. 1800.02/1800.71 c 102 26127 2501 257061 102 209945 508060 102 5 20.11 1800.02/1800.71 c 253 26127 2652 276074 104 209571 558867 253 12 20.86 1800.02/1800.71 c 478 26127 2877 279350 97 210279 614754 478 19 24.28 1800.02/1800.71 c 816 26127 3215 290456 90 210936 676230 816 28 28.67 1800.02/1800.71 c 1324 26127 3723 299038 80 211991 743854 1324 36 36.20 1800.02/1800.71 c 2088 26127 4487 330913 73 213382 818240 2088 49 42.36 1800.02/1800.71 c 3234 26127 5633 356744 63 215605 900065 3234 55 58.56 1800.02/1800.71 c 4955 26127 7354 394831 53 218940 990072 4955 58 84.36 1800.02/1800.71 c 7539 26127 9938 480448 48 224094 500000 7539 61 121.90 1800.02/1800.71 c 11418 26127 13817 583717 42 231827 550001 11418 64 176.32 1800.02/1800.71 c 17240 26127 19639 737766 37 243529 605002 17240 64 265.93 1800.02/1800.71 c 25977 26127 28376 1036699 36 260910 665503 25977 66 391.43 1800.02/1800.71 c 39087 26127 41486 1438686 34 287106 732054 39087 66 584.20 1800.02/1800.71 c 58758 26127 61157 2613180 42 326298 805260 58758 77 759.17 1800.02/1800.71 c 88269 26127 90668 3667997 40 384908 885787 88269 90 980.33 1800.02/1800.71 c 132539 26127 134938 5307752 39 473327 974366 132539 79 1676.34 1800.02/1800.71 c Caught signal: 15 1800.02/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.71 c 16 154999 110685 1479534 157398 6462707 154999 86 1800.03 1800.02/1800.71 s UNKNOWN 1800.02/1800.71 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-432608-1177946180 -o ROOT/results/node37/solver-432608-1177946180 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432608-1177946180/instance-432608-1177946180.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.91 0.95 0.90 3/78 538 /proc/meminfo: memFree=1862008/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=2380 CPUtime=0 /proc/538/stat : 538 (bsolo3.0.17) D 536 538 32645 0 -1 4194304 52 0 0 0 0 0 0 0 18 0 1 0 242530496 2437120 36 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3167140 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/538/statm: 595 36 28 324 0 9 0 [startup+0.100636 s] /proc/loadavg: 0.91 0.95 0.90 3/78 538 /proc/meminfo: memFree=1862008/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=17508 CPUtime=0.08 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 1514 0 0 0 8 0 0 0 18 0 1 0 242530496 17928192 1365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3547245 0 0 4096 16384 0 0 0 17 0 0 0 /proc/538/statm: 4377 1365 385 324 0 2989 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17508 [startup+0.201655 s] /proc/loadavg: 0.91 0.95 0.90 3/78 538 /proc/meminfo: memFree=1862008/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=11012 CPUtime=0.18 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 1930 0 0 0 18 0 0 0 18 0 1 0 242530496 11276288 1781 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586566 0 0 4096 16384 0 0 0 17 0 0 0 /proc/538/statm: 2753 1781 518 324 0 1365 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 11012 [startup+0.301673 s] /proc/loadavg: 0.91 0.95 0.90 3/78 538 /proc/meminfo: memFree=1862008/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=12116 CPUtime=0.27 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 2353 0 0 0 27 0 0 0 19 0 1 0 242530496 12406784 2204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/538/statm: 3029 2204 635 324 0 1641 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 12116 [startup+0.701744 s] /proc/loadavg: 0.91 0.95 0.90 3/78 538 /proc/meminfo: memFree=1862008/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=17928 CPUtime=0.68 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 4460 0 0 0 67 1 0 0 23 0 1 0 242530496 18358272 3716 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 0 0 0 /proc/538/statm: 4482 3716 304 324 0 3552 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 17928 [startup+1.50189 s] /proc/loadavg: 0.91 0.95 0.90 2/79 539 /proc/meminfo: memFree=1848048/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=17928 CPUtime=1.47 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 4463 0 0 0 146 1 0 0 25 0 1 0 242530496 18358272 3719 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 4482 3719 304 324 0 3552 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 17928 [startup+3.10119 s] /proc/loadavg: 0.91 0.95 0.90 2/79 539 /proc/meminfo: memFree=1847920/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=17928 CPUtime=3.08 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 4463 0 0 0 306 2 0 0 25 0 1 0 242530496 18358272 3719 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 4482 3719 304 324 0 3552 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17928 [startup+6.30179 s] /proc/loadavg: 0.92 0.95 0.90 2/79 539 /proc/meminfo: memFree=1847280/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=18588 CPUtime=6.27 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 4605 0 0 0 625 2 0 0 25 0 1 0 242530496 19034112 3861 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 4647 3861 304 324 0 3717 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 18588 [startup+12.702 s] /proc/loadavg: 0.93 0.95 0.90 2/79 539 /proc/meminfo: memFree=1847152/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=18848 CPUtime=12.67 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 4682 0 0 0 1262 5 0 0 25 0 1 0 242530496 19300352 3938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 4712 3938 304 324 0 3782 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 18848 [startup+25.5014 s] /proc/loadavg: 0.94 0.96 0.91 2/79 539 /proc/meminfo: memFree=1844016/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=21796 CPUtime=25.46 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 5898 0 0 0 2539 7 0 0 25 0 1 0 242530496 22319104 4736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 5449 4736 310 324 0 4519 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 21796 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.91 2/79 539 /proc/meminfo: memFree=1843952/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=21808 CPUtime=51.06 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 5901 0 0 0 5098 8 0 0 25 0 1 0 242530496 22331392 4739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 5452 4739 310 324 0 4522 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 21808 [startup+102.302 s] /proc/loadavg: 0.98 0.96 0.91 2/79 539 /proc/meminfo: memFree=1843312/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=22600 CPUtime=102.24 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 6079 0 0 0 10216 8 0 0 25 0 1 0 242530496 23142400 4917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 5650 4917 310 324 0 4720 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 22600 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1841392/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=24428 CPUtime=162.21 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 6557 0 0 0 16212 9 0 0 25 0 1 0 242530496 25014272 5395 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 6107 5395 310 324 0 5177 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 24428 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1839856/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=25956 CPUtime=222.2 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 6920 0 0 0 22210 10 0 0 25 0 1 0 242530496 26578944 5758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 6489 5758 310 324 0 5559 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 25956 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1837744/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=28124 CPUtime=282.17 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 7459 0 0 0 28206 11 0 0 25 0 1 0 242530496 28798976 6297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 7031 6297 310 324 0 6101 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 28124 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1835696/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=30052 CPUtime=342.15 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 7947 0 0 0 34202 13 0 0 25 0 1 0 242530496 30773248 6785 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 7513 6785 310 324 0 6583 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 30052 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1833264/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=32504 CPUtime=402.13 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 8563 0 0 0 40199 14 0 0 25 0 1 0 242530496 33284096 7401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 8126 7401 310 324 0 7196 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 32504 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1831024/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=34716 CPUtime=462.1 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 9113 0 0 0 46195 15 0 0 25 0 1 0 242530496 35549184 7951 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 8679 7951 310 324 0 7749 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 34716 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1828976/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=36756 CPUtime=522.09 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 9627 0 0 0 52192 17 0 0 25 0 1 0 242530496 37638144 8465 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3600471 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 9189 8465 310 324 0 8259 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 36756 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1827120/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=38540 CPUtime=582.06 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 10075 0 0 0 58188 18 0 0 25 0 1 0 242530496 39464960 8913 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 9635 8913 310 324 0 8705 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 38540 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1821552/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=44228 CPUtime=642.04 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 11493 0 0 0 64184 20 0 0 25 0 1 0 242530496 45289472 10331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 11057 10331 310 324 0 10127 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 44228 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1805168/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=60496 CPUtime=821.98 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 15563 0 0 0 82172 26 0 0 25 0 1 0 242530496 61947904 14401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 15124 14401 310 324 0 14194 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 60496 [startup+882.305 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1800624/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=65076 CPUtime=881.95 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 16711 0 0 0 88168 27 0 0 25 0 1 0 242530496 66637824 15549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 16269 15549 310 324 0 15339 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 65076 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1795760/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=69928 CPUtime=941.93 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 17925 0 0 0 94164 29 0 0 25 0 1 0 242530496 71606272 16763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 17482 16763 310 324 0 16552 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 69928 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1791152/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=74636 CPUtime=1001.9 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 19084 0 0 0 100160 30 0 0 25 0 1 0 242530496 76427264 17922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 18659 17922 310 324 0 17729 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 74636 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1786224/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=79460 CPUtime=1061.88 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 20311 0 0 0 106156 32 0 0 25 0 1 0 242530496 81367040 19149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 19865 19149 310 324 0 18935 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 79460 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1782256/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=83356 CPUtime=1121.87 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 21294 0 0 0 112152 35 0 0 25 0 1 0 242530496 85356544 20132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3601328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 20839 20132 310 324 0 19909 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 83356 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1780656/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=85000 CPUtime=1181.84 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 21686 0 0 0 118149 35 0 0 25 0 1 0 242530496 87040000 20524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 21250 20524 310 324 0 20320 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 85000 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1779568/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=86000 CPUtime=1241.82 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 21946 0 0 0 124146 36 0 0 25 0 1 0 242530496 88064000 20784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 21500 20784 310 324 0 20570 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 86000 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1778544/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=87140 CPUtime=1301.8 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 22224 0 0 0 130143 37 0 0 25 0 1 0 242530496 89231360 21062 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 21785 21062 310 324 0 20855 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 87140 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1777392/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=88312 CPUtime=1361.78 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 22503 0 0 0 136140 38 0 0 25 0 1 0 242530496 90431488 21341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 22078 21341 310 324 0 21148 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 88312 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1776688/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=88920 CPUtime=1421.76 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 22682 0 0 0 142137 39 0 0 25 0 1 0 242530496 91054080 21520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3600106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 22230 21520 310 324 0 21300 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 88920 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 539 /proc/meminfo: memFree=1775856/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=89720 CPUtime=1481.73 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 22882 0 0 0 148134 39 0 0 25 0 1 0 242530496 91873280 21720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3600471 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 22430 21720 310 324 0 21500 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 89720 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.91 2/79 541 /proc/meminfo: memFree=1774768/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=90796 CPUtime=1541.71 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 23138 0 0 0 154131 40 0 0 25 0 1 0 242530496 92975104 21976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 22699 21976 310 324 0 21769 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 90796 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 541 /proc/meminfo: memFree=1773936/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=91700 CPUtime=1601.69 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 23370 0 0 0 160128 41 0 0 25 0 1 0 242530496 93900800 22208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 22925 22208 310 324 0 21995 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 91700 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 541 /proc/meminfo: memFree=1768944/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=96620 CPUtime=1661.67 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 24609 0 0 0 166125 42 0 0 25 0 1 0 242530496 98938880 23447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551269 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 24155 23447 310 324 0 23225 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 96620 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 541 /proc/meminfo: memFree=1761904/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=103828 CPUtime=1721.64 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 26389 0 0 0 172120 44 0 0 25 0 1 0 242530496 106319872 25227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 25957 25227 310 324 0 25027 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 103828 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 541 /proc/meminfo: memFree=1751920/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=113672 CPUtime=1781.62 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 28852 0 0 0 178116 46 0 0 25 0 1 0 242530496 116400128 27690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 28418 27690 310 324 0 27488 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 113672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 0.97 0.91 2/79 541 /proc/meminfo: memFree=1749936/2055920 swapFree=4145572/4192956 [pid=538] ppid=536 vsize=115616 CPUtime=1800.02 /proc/538/stat : 538 (bsolo3.0.17) R 536 538 32645 0 -1 4194304 29340 0 0 0 179955 47 0 0 25 0 1 0 242530496 118390784 28178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3601299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/538/statm: 28904 28178 310 324 0 27974 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 115616 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.74 CPU time (s): 1800.05 CPU user time (s): 1799.56 CPU system time (s): 0.493924 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (KiB): 115616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.493924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29344 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= 13 involuntary context switches= 3749 runsolver used 1.71574 second user time and 4.07238 second system time The end
Begin job on node37 on Mon Apr 30 15:16:20 UTC 2007 IDJOB= 432608 IDBENCH= 1606 IDSOLVER= 199 FILE ID= node37/432608-1177946180 PBS_JOBID= 4727668 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/432608-1177946180/instance-432608-1177946180.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-432608-1177946180 -o ROOT/results/node37/solver-432608-1177946180 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432608-1177946180/instance-432608-1177946180.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 02b8e2ce7db79ee00a9a8f2ebac90f1b RANDOM SEED= 555078361 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1862416 kB Buffers: 33716 kB Cached: 73408 kB SwapCached: 15276 kB Active: 48400 kB Inactive: 81852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862416 kB SwapTotal: 4192956 kB SwapFree: 4145572 kB Dirty: 8436 kB Writeback: 0 kB Mapped: 30056 kB Slab: 48636 kB Committed_AS: 2166092 kB PageTables: 2000 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= 66556 MiB End job on node37 on Mon Apr 30 15:46:23 UTC 2007