Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.17 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb |
MD5SUM | 8bdca001a57a76bf3835c82b9bc6a431 |
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 | 8902 |
Total number of constraints | 2864 |
Number of constraints which are clauses | 143 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2407 |
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 | 526135 |
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.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/432617-1177946364/instance-432617-1177946364.opb 0.00/0.00 c File size is 875870 bytes. 0.09/0.16 c Highest Coefficient sum: 526135 0.09/0.16 c Parsing was ok!! 0.09/0.16 c Total parsing time: 0.161 s 0.09/0.17 c Var: 8902 Constr: 3038 988/31/2019 Lit: 113980 Watch. Lit: 36262 0.09/0.17 c Obj. Vars: 31 (0.348236 % of total variables) 0.99/1.00 c Pre-processing Time: 1.004 s 0.99/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.00 c 0 5561 2062 98960 47 49509 191746 0 0 1.00 0.99/1.00 c Switching off LPR mode. 1800.07/1800.60 c 100 5561 2162 101527 46 54718 210921 100 93 1.07 1800.07/1800.60 c 250 5561 2312 110267 47 58464 232014 250 200 1.25 1800.07/1800.60 c 476 5561 2538 120174 47 58968 255216 476 342 1.39 1800.07/1800.60 c 815 5561 2877 136029 47 59810 280738 815 517 1.58 1800.07/1800.60 c 1323 5561 3385 154849 45 61552 308812 1323 624 2.12 1800.07/1800.60 c 2086 5561 4148 192710 46 62638 339694 2086 728 2.86 1800.07/1800.60 c 3233 5561 5295 233983 44 64609 373664 3233 826 3.91 1800.07/1800.60 c 4954 5561 7016 289013 41 67914 411031 4954 929 5.33 1800.07/1800.60 c 7539 5561 9601 552365 57 74831 452135 7539 785 9.60 1800.07/1800.60 c 11419 5561 13481 759037 56 82726 497349 11419 768 14.86 1800.07/1800.60 c 17241 5561 19303 1028643 53 94446 547084 17241 767 22.45 1800.07/1800.60 c 25978 5561 28040 1707305 60 111314 601793 25978 729 35.61 1800.07/1800.60 c 39088 5561 41150 2335792 56 137747 661973 39088 750 52.09 1800.07/1800.60 c 58758 5561 60820 4108800 67 177135 728171 58758 545 107.62 1800.07/1800.60 c 88269 5561 90331 6808089 75 236142 800989 88269 375 234.93 1800.07/1800.60 c 132539 5561 134601 11459192 85 325018 881088 132539 305 433.72 1800.07/1800.60 c 198950 5561 201012 23083299 114 457169 969197 198950 221 897.60 1800.07/1800.60 c Caught signal: 15 1800.07/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.60 c 17 288890 69145 549548 290952 39258669 288890 160 1800.08 1800.07/1800.60 s UNKNOWN 1800.07/1800.60 c Total time: 1800.08 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-432617-1177946364 -o ROOT/results/node62/solver-432617-1177946364 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432617-1177946364/instance-432617-1177946364.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.92 0.97 0.91 3/64 24943 /proc/meminfo: memFree=1783104/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=12592 CPUtime=0 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 113212458 12894208 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 3148 334 280 324 0 2004 0 [startup+0.0654409 s] /proc/loadavg: 0.92 0.97 0.91 3/64 24943 /proc/meminfo: memFree=1783104/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=6040 CPUtime=0.05 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 740 0 0 0 5 0 0 0 18 0 1 0 113212458 6184960 710 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 1510 710 361 324 0 366 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6040 [startup+0.101444 s] /proc/loadavg: 0.92 0.97 0.91 3/64 24943 /proc/meminfo: memFree=1783104/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=6432 CPUtime=0.09 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 882 0 0 0 9 0 0 0 18 0 1 0 113212458 6586368 852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 1608 852 407 324 0 464 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6432 [startup+0.301467 s] /proc/loadavg: 0.92 0.97 0.91 3/64 24943 /proc/meminfo: memFree=1783104/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=8140 CPUtime=0.29 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 1608 0 0 0 29 0 0 0 19 0 1 0 113212458 8335360 1364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 2035 1364 304 324 0 1105 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8140 [startup+0.701514 s] /proc/loadavg: 0.92 0.97 0.91 3/64 24943 /proc/meminfo: memFree=1783104/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=8888 CPUtime=0.69 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 1898 0 0 0 67 2 0 0 22 0 1 0 113212458 9101312 1584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 2222 1584 306 324 0 1292 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8888 [startup+1.50161 s] /proc/loadavg: 0.93 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1777784/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=8624 CPUtime=1.49 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 1944 0 0 0 147 2 0 0 25 0 1 0 113212458 8830976 1498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 2156 1498 310 324 0 1226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8624 [startup+3.10279 s] /proc/loadavg: 0.93 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1777720/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=9672 CPUtime=3.09 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 2225 0 0 0 307 2 0 0 25 0 1 0 113212458 9904128 1779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 2418 1779 310 324 0 1488 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9672 [startup+6.30117 s] /proc/loadavg: 0.93 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1775416/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=11644 CPUtime=6.29 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 2726 0 0 0 626 3 0 0 25 0 1 0 113212458 11923456 2280 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 2911 2280 310 324 0 1981 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11644 [startup+12.7019 s] /proc/loadavg: 0.94 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1770496/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=16476 CPUtime=12.69 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 3927 0 0 0 1265 4 0 0 25 0 1 0 113212458 16871424 3481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 4119 3481 310 324 0 3189 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16476 [startup+25.5014 s] /proc/loadavg: 0.95 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1762432/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=24448 CPUtime=25.49 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 5910 0 0 0 2543 6 0 0 25 0 1 0 113212458 25034752 5464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 6112 5464 310 324 0 5182 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24448 [startup+51.1014 s] /proc/loadavg: 0.96 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1746240/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=40716 CPUtime=51.08 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 9967 0 0 0 5098 10 0 0 25 0 1 0 113212458 41693184 9521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 10179 9521 310 324 0 9249 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40716 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1723136/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=63480 CPUtime=102.27 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 15682 0 0 0 10211 16 0 0 25 0 1 0 113212458 65003520 15236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 15870 15236 310 324 0 14940 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 63480 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1700736/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=86096 CPUtime=162.25 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 21314 0 0 0 16204 21 0 0 25 0 1 0 113212458 88162304 20868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8537941 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 21524 20868 310 324 0 20594 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 86096 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1685568/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=101024 CPUtime=222.23 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 25048 0 0 0 22198 25 0 0 25 0 1 0 113212458 103448576 24602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 25256 24602 310 324 0 24326 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 101024 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1672448/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=114160 CPUtime=282.21 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 28327 0 0 0 28192 29 0 0 25 0 1 0 113212458 116899840 27881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 28540 27881 310 324 0 27610 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 114160 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1654208/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=132332 CPUtime=342.2 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 32877 0 0 0 34186 34 0 0 25 0 1 0 113212458 135507968 32431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 33083 32431 310 324 0 32153 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 132332 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1631104/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=155548 CPUtime=402.17 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 38687 0 0 0 40178 39 0 0 25 0 1 0 113212458 159281152 38241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 38887 38241 310 324 0 37957 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 155548 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1610816/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=175648 CPUtime=462.16 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 43701 0 0 0 46172 44 0 0 25 0 1 0 113212458 179863552 43255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 43912 43255 310 324 0 42982 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 175648 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1589248/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=197308 CPUtime=522.14 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 49145 0 0 0 52165 49 0 0 25 0 1 0 113212458 202043392 48699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 49327 48699 310 324 0 48397 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 197308 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1565248/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=221108 CPUtime=582.12 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 55080 0 0 0 58158 54 0 0 25 0 1 0 113212458 226414592 54634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 55277 54634 310 324 0 54347 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 221108 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1544832/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=241288 CPUtime=642.11 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 60128 0 0 0 64153 58 0 0 25 0 1 0 113212458 247078912 59682 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8539796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 60322 59682 310 324 0 59392 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 241288 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1486144/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=300420 CPUtime=822.05 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 74907 0 0 0 82132 73 0 0 25 0 1 0 113212458 307630080 74461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 75105 74461 310 324 0 74175 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 300420 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1466624/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=319508 CPUtime=882.03 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 79677 0 0 0 88126 77 0 0 25 0 1 0 113212458 327176192 79231 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 79877 79231 310 324 0 78947 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 319508 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1450624/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=335716 CPUtime=942.01 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 83732 0 0 0 94121 80 0 0 25 0 1 0 113212458 343773184 83286 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 83929 83286 310 324 0 82999 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 335716 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1426688/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=359396 CPUtime=1002 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 89651 0 0 0 100114 86 0 0 25 0 1 0 113212458 368021504 89205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8539892 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 89849 89205 310 324 0 88919 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 359396 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1411520/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=374724 CPUtime=1061.98 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 93468 0 0 0 106108 90 0 0 25 0 1 0 113212458 383717376 93022 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 93681 93022 310 324 0 92751 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 374724 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1396416/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=389676 CPUtime=1121.97 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 97212 0 0 0 112104 93 0 0 25 0 1 0 113212458 399028224 96766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 97419 96766 310 324 0 96489 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 389676 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1379200/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=406888 CPUtime=1181.94 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 101531 0 0 0 118097 97 0 0 25 0 1 0 113212458 416653312 101085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 101722 101085 310 324 0 100792 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 406888 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1362048/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=423856 CPUtime=1241.93 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 105781 0 0 0 124091 102 0 0 25 0 1 0 113212458 434028544 105335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 105964 105335 310 324 0 105034 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 423856 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1344896/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=440904 CPUtime=1301.91 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 110030 0 0 0 130085 106 0 0 25 0 1 0 113212458 451485696 109584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 110226 109584 310 324 0 109296 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 440904 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1334080/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=451768 CPUtime=1361.89 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 112755 0 0 0 136080 109 0 0 25 0 1 0 113212458 462610432 112309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 112942 112309 310 324 0 112012 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 451768 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1319040/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=466716 CPUtime=1421.88 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 116478 0 0 0 142076 112 0 0 25 0 1 0 113212458 477917184 116032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 116679 116032 310 324 0 115749 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 466716 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1300288/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=485792 CPUtime=1481.86 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 121237 0 0 0 148069 117 0 0 25 0 1 0 113212458 497451008 120791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 121448 120791 310 324 0 120518 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 485792 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1289984/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=495764 CPUtime=1541.84 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 123734 0 0 0 154065 119 0 0 25 0 1 0 113212458 507662336 123288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 123941 123288 310 324 0 123011 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 495764 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1280960/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=504940 CPUtime=1601.82 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 126023 0 0 0 160060 122 0 0 25 0 1 0 113212458 517058560 125577 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 126235 125577 310 324 0 125305 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 504940 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1271744/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=513976 CPUtime=1661.81 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 128291 0 0 0 166057 124 0 0 25 0 1 0 113212458 526311424 127845 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 128494 127845 310 324 0 127564 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 513976 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1263040/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=522768 CPUtime=1721.79 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 130500 0 0 0 172053 126 0 0 25 0 1 0 113212458 535314432 130054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 130692 130054 310 324 0 129762 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 522768 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1249856/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=535896 CPUtime=1781.77 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 133787 0 0 0 178049 128 0 0 25 0 1 0 113212458 548757504 133341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 133974 133341 310 324 0 133044 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 535896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/65 24944 /proc/meminfo: memFree=1246400/2055920 swapFree=4184584/4192956 [pid=24943] ppid=24941 vsize=539252 CPUtime=1800.07 /proc/24943/stat : 24943 (bsolo3.0.17) R 24941 24943 24582 0 -1 4194304 134602 0 0 0 179879 128 0 0 25 0 1 0 113212458 552194048 134156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24943/statm: 134813 134156 310 324 0 133883 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 539252 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.7 CPU time (s): 1800.17 CPU user time (s): 1798.79 CPU system time (s): 1.37379 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 539252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.79 system time used= 1.37379 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134606 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= 3867 runsolver used 1.39679 second user time and 3.52746 second system time The end
Begin job on node62 on Mon Apr 30 15:19:25 UTC 2007 IDJOB= 432617 IDBENCH= 1615 IDSOLVER= 199 FILE ID= node62/432617-1177946364 PBS_JOBID= 4727809 Free space on /tmp= 66557 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-roll3000.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432617-1177946364/instance-432617-1177946364.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-432617-1177946364 -o ROOT/results/node62/solver-432617-1177946364 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432617-1177946364/instance-432617-1177946364.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 8bdca001a57a76bf3835c82b9bc6a431 RANDOM SEED= 460698131 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.216 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.216 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: 1783576 kB Buffers: 34984 kB Cached: 158360 kB SwapCached: 2428 kB Active: 79556 kB Inactive: 123516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1783576 kB SwapTotal: 4192956 kB SwapFree: 4184584 kB Dirty: 7436 kB Writeback: 0 kB Mapped: 16240 kB Slab: 55340 kB Committed_AS: 1288964 kB PageTables: 1460 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= 66557 MiB End job on node62 on Mon Apr 30 15:49:27 UTC 2007