Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.09 | 1800.92 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb |
MD5SUM | 55e4261919fe5e3e5c6520778d47a3ef |
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 | 142226 |
Total number of constraints | 20881 |
Number of constraints which are clauses | 2438 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 18443 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 780 |
Biggest coefficient in the objective function | 261957 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524680 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261957 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524680 |
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.06 c Pueblo version 1.4 (September 2005) 0.00/0.06 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.06 c by Hossein Sheini 18.22/18.39 c starting to Solve 18.22/18.40 c #variables read: 142226 - #constraints read: 20883
ERROR: no interpretation found !
/tmp/evaluation/348022-1176565798/instance-348022-1176565798.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-348022-1176565798 -o ROOT/results/node42/solver-348022-1176565798 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/348022-1176565798/instance-348022-1176565798.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: 2.00 2.00 2.00 3/64 8704 /proc/meminfo: memFree=1575448/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=172 CPUtime=0 /proc/8704/stat : 8704 (Pueblo) D 8702 8704 8630 0 -1 4194304 39 0 0 0 0 0 0 0 18 0 1 0 104491777 176128 23 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 12407716 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/8704/statm: 43 23 18 16 0 2 0 [startup+0.022003 s] /proc/loadavg: 2.00 2.00 2.00 3/64 8704 /proc/meminfo: memFree=1575448/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=916 CPUtime=0 /proc/8704/stat : 8704 (Pueblo) D 8702 8704 8630 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 104491777 937984 24 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 12411911 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/8704/statm: 229 24 18 16 0 3 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 916 [startup+0.102024 s] /proc/loadavg: 2.00 2.00 2.00 3/64 8704 /proc/meminfo: memFree=1575448/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=3484 CPUtime=0.03 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 514 0 4 0 3 0 0 0 18 0 1 0 104491777 3567616 488 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 12867356 0 0 4096 0 0 0 0 17 0 0 0 /proc/8704/statm: 871 488 199 16 0 310 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3484 [startup+0.301064 s] /proc/loadavg: 2.00 2.00 2.00 3/64 8704 /proc/meminfo: memFree=1575448/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=8944 CPUtime=0.23 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 1868 0 4 0 22 1 0 0 19 0 1 0 104491777 9158656 1842 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546589 0 0 4096 0 0 0 0 17 0 0 0 /proc/8704/statm: 2236 1842 199 16 0 1675 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 8944 [startup+0.701135 s] /proc/loadavg: 2.00 2.00 2.00 3/64 8704 /proc/meminfo: memFree=1575448/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=18136 CPUtime=0.63 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 4158 0 4 0 61 2 0 0 23 0 1 0 104491777 18571264 4132 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134542696 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 4534 4132 199 16 0 3973 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 18136 [startup+1.50128 s] /proc/loadavg: 1.92 1.98 1.99 2/65 8705 /proc/meminfo: memFree=1556880/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=22132 CPUtime=1.42 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 5171 0 4 0 139 3 0 0 25 0 1 0 104491777 22663168 5145 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546743 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 5533 5147 199 16 0 4972 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 22132 [startup+3.10159 s] /proc/loadavg: 1.92 1.98 1.99 2/65 8705 /proc/meminfo: memFree=1551632/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=29728 CPUtime=3.03 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 7077 0 4 0 299 4 0 0 25 0 1 0 104491777 30441472 7051 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 12805766 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 7432 7051 199 16 0 6871 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 29728 [startup+6.3012 s] /proc/loadavg: 1.92 1.98 1.99 2/65 8705 /proc/meminfo: memFree=1529688/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=58008 CPUtime=6.22 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 497858 0 4 0 481 141 0 0 25 0 1 0 104491777 59400192 11346 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 14502 11356 204 16 0 13941 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 58008 [startup+12.7014 s] /proc/loadavg: 1.78 1.95 1.98 2/65 8705 /proc/meminfo: memFree=1519480/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=68596 CPUtime=12.62 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 1782861 0 4 0 760 502 0 0 25 0 1 0 104491777 70242304 13935 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 17010 13935 205 16 0 16449 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 68596 [startup+25.5019 s] /proc/loadavg: 1.66 1.92 1.97 2/65 8705 /proc/meminfo: memFree=1502264/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=86000 CPUtime=25.42 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2921238 0 4 0 1720 822 0 0 25 0 1 0 104491777 88064000 18350 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134558609 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 21500 18350 206 16 0 20939 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 86000 [startup+51.1017 s] /proc/loadavg: 1.43 1.84 1.95 2/65 8705 /proc/meminfo: memFree=1490104/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=98028 CPUtime=51.01 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2924229 0 4 0 4275 826 0 0 25 0 1 0 104491777 100380672 21341 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 24507 21341 206 16 0 23946 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 98028 [startup+102.305 s] /proc/loadavg: 1.17 1.70 1.89 2/65 8705 /proc/meminfo: memFree=1487480/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=100588 CPUtime=102.19 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2924873 0 4 0 9393 826 0 0 25 0 1 0 104491777 103002112 21985 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 25147 21985 206 16 0 24586 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 100588 [startup+162.302 s] /proc/loadavg: 1.06 1.57 1.83 2/65 8705 /proc/meminfo: memFree=1486072/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=101892 CPUtime=162.16 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2925213 0 4 0 15390 826 0 0 25 0 1 0 104491777 104337408 22325 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 25473 22325 206 16 0 24912 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 101892 [startup+222.301 s] /proc/loadavg: 1.02 1.46 1.78 2/65 8705 /proc/meminfo: memFree=1480440/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=107836 CPUtime=222.14 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2926647 0 4 0 21386 828 0 0 25 0 1 0 104491777 110424064 23759 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 12839716 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 26959 23759 206 16 0 26398 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 107836 [startup+282.302 s] /proc/loadavg: 1.01 1.38 1.72 2/65 8705 /proc/meminfo: memFree=1480056/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=108484 CPUtime=282.12 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2926804 0 4 0 27384 828 0 0 25 0 1 0 104491777 111087616 23916 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 27121 23916 206 16 0 26560 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 108484 [startup+342.302 s] /proc/loadavg: 1.00 1.31 1.68 2/65 8705 /proc/meminfo: memFree=1476472/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=112008 CPUtime=342.1 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2927620 0 4 0 33381 829 0 0 25 0 1 0 104491777 114696192 24732 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28002 24732 206 16 0 27441 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 112008 [startup+402.302 s] /proc/loadavg: 1.00 1.25 1.63 2/65 8705 /proc/meminfo: memFree=1473848/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114720 CPUtime=402.08 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928290 0 4 0 39378 830 0 0 25 0 1 0 104491777 117473280 25402 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28680 25402 206 16 0 28119 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 114720 [startup+462.301 s] /proc/loadavg: 1.00 1.20 1.59 2/65 8705 /proc/meminfo: memFree=1473784/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114720 CPUtime=462.05 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928291 0 4 0 45375 830 0 0 25 0 1 0 104491777 117473280 25403 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28680 25403 206 16 0 28119 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 114720 [startup+522.302 s] /proc/loadavg: 1.00 1.16 1.55 2/65 8705 /proc/meminfo: memFree=1473848/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114720 CPUtime=522.03 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928291 0 4 0 51373 830 0 0 25 0 1 0 104491777 117473280 25403 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28680 25403 206 16 0 28119 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 114720 [startup+582.302 s] /proc/loadavg: 1.00 1.13 1.51 2/65 8705 /proc/meminfo: memFree=1473848/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114720 CPUtime=582.01 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928291 0 4 0 57371 830 0 0 25 0 1 0 104491777 117473280 25403 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28680 25403 206 16 0 28119 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 114720 [startup+642.301 s] /proc/loadavg: 1.00 1.10 1.48 2/65 8705 /proc/meminfo: memFree=1473784/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114580 CPUtime=642 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928291 0 4 0 63369 831 0 0 25 0 1 0 104491777 117329920 25384 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28645 25384 206 16 0 28084 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 114580 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.04 1.36 2/65 8903 /proc/meminfo: memFree=1473656/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114580 CPUtime=881.79 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928292 0 4 0 87347 832 0 0 25 0 1 0 104491777 117329920 25385 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28645 25385 206 16 0 28084 0 Current children cumulated CPU time (s) 881.79 Current children cumulated vsize (KiB) 114580 [startup+942.302 s] /proc/loadavg: 1.00 1.03 1.33 2/65 8903 /proc/meminfo: memFree=1473720/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114580 CPUtime=941.77 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928292 0 4 0 93345 832 0 0 25 0 1 0 104491777 117329920 25385 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28645 25385 206 16 0 28084 0 Current children cumulated CPU time (s) 941.77 Current children cumulated vsize (KiB) 114580 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.31 2/65 8903 /proc/meminfo: memFree=1473784/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114580 CPUtime=1001.75 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928295 0 4 0 99343 832 0 0 25 0 1 0 104491777 117329920 25388 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28645 25388 206 16 0 28084 0 Current children cumulated CPU time (s) 1001.75 Current children cumulated vsize (KiB) 114580 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.29 2/65 8903 /proc/meminfo: memFree=1473848/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114580 CPUtime=1061.73 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928295 0 4 0 105341 832 0 0 25 0 1 0 104491777 117329920 25388 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28645 25388 206 16 0 28084 0 Current children cumulated CPU time (s) 1061.73 Current children cumulated vsize (KiB) 114580 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.27 2/65 8903 /proc/meminfo: memFree=1473848/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114580 CPUtime=1121.71 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928295 0 4 0 111338 833 0 0 25 0 1 0 104491777 117329920 25388 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28645 25388 206 16 0 28084 0 Current children cumulated CPU time (s) 1121.71 Current children cumulated vsize (KiB) 114580 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.25 2/65 8903 /proc/meminfo: memFree=1473848/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114580 CPUtime=1181.69 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928295 0 4 0 117336 833 0 0 25 0 1 0 104491777 117329920 25388 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28645 25388 206 16 0 28084 0 Current children cumulated CPU time (s) 1181.69 Current children cumulated vsize (KiB) 114580 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.23 2/65 8903 /proc/meminfo: memFree=1473784/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114580 CPUtime=1241.67 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928295 0 4 0 123334 833 0 0 25 0 1 0 104491777 117329920 25388 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28645 25388 206 16 0 28084 0 Current children cumulated CPU time (s) 1241.67 Current children cumulated vsize (KiB) 114580 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.21 2/65 8903 /proc/meminfo: memFree=1473848/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=114580 CPUtime=1301.65 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928295 0 4 0 129332 833 0 0 25 0 1 0 104491777 117329920 25388 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28645 25388 206 16 0 28084 0 Current children cumulated CPU time (s) 1301.65 Current children cumulated vsize (KiB) 114580 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.20 2/65 8903 /proc/meminfo: memFree=1473400/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=115092 CPUtime=1361.62 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928388 0 4 0 135329 833 0 0 25 0 1 0 104491777 117854208 25481 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28773 25481 206 16 0 28212 0 Current children cumulated CPU time (s) 1361.62 Current children cumulated vsize (KiB) 115092 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.18 2/65 8903 /proc/meminfo: memFree=1473336/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=115092 CPUtime=1421.6 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928389 0 4 0 141327 833 0 0 25 0 1 0 104491777 117854208 25482 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28773 25482 206 16 0 28212 0 Current children cumulated CPU time (s) 1421.6 Current children cumulated vsize (KiB) 115092 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.17 2/65 8903 /proc/meminfo: memFree=1473336/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=115092 CPUtime=1481.57 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928389 0 4 0 147324 833 0 0 25 0 1 0 104491777 117854208 25482 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28773 25482 206 16 0 28212 0 Current children cumulated CPU time (s) 1481.57 Current children cumulated vsize (KiB) 115092 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.16 2/65 8903 /proc/meminfo: memFree=1473336/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=115092 CPUtime=1541.55 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928389 0 4 0 153322 833 0 0 25 0 1 0 104491777 117854208 25482 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559503 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28773 25482 206 16 0 28212 0 Current children cumulated CPU time (s) 1541.55 Current children cumulated vsize (KiB) 115092 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.14 2/65 8903 /proc/meminfo: memFree=1473336/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=115092 CPUtime=1601.53 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928389 0 4 0 159320 833 0 0 25 0 1 0 104491777 117854208 25482 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28773 25482 206 16 0 28212 0 Current children cumulated CPU time (s) 1601.53 Current children cumulated vsize (KiB) 115092 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.13 2/65 8903 /proc/meminfo: memFree=1473336/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=115092 CPUtime=1661.5 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928389 0 4 0 165317 833 0 0 25 0 1 0 104491777 117854208 25482 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28773 25482 206 16 0 28212 0 Current children cumulated CPU time (s) 1661.5 Current children cumulated vsize (KiB) 115092 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.12 2/65 8903 /proc/meminfo: memFree=1473336/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=115092 CPUtime=1721.49 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928389 0 4 0 171315 834 0 0 25 0 1 0 104491777 117854208 25482 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134554668 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 28773 25482 206 16 0 28212 0 Current children cumulated CPU time (s) 1721.49 Current children cumulated vsize (KiB) 115092 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.11 2/65 8903 /proc/meminfo: memFree=1471352/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=117168 CPUtime=1781.46 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2928885 0 4 0 177312 834 0 0 25 0 1 0 104491777 119980032 25978 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 12838402 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 29292 25978 206 16 0 28731 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (KiB) 117168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.10 2/65 8903 /proc/meminfo: memFree=1469816/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=118880 CPUtime=1800.06 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2929307 0 4 0 179171 835 0 0 25 0 1 0 104491777 121733120 26400 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520065 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 29720 26400 206 16 0 29159 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 118880 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.10 2/65 8903 /proc/meminfo: memFree=1469816/2055920 swapFree=4192812/4192956 [pid=8704] ppid=8702 vsize=118880 CPUtime=1800.06 /proc/8704/stat : 8704 (Pueblo) R 8702 8704 8630 0 -1 4194304 2929307 0 4 0 179171 835 0 0 25 0 1 0 104491777 121733120 26400 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520065 0 0 4096 0 0 0 0 17 1 0 0 /proc/8704/statm: 29720 26400 206 16 0 29159 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 118880 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.92 CPU time (s): 1800.09 CPU user time (s): 1791.72 CPU system time (s): 8.37373 CPU usage (%): 99.9537 Max. virtual memory (cumulated for all children) (KiB): 118880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.72 system time used= 8.37373 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2929307 page faults= 4 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 2620 runsolver used 1.20282 second user time and 3.78442 second system time The end
Begin job on node42 on Sat Apr 14 15:49:59 UTC 2007 IDJOB= 348022 IDBENCH= 1605 IDSOLVER= 165 FILE ID= node42/348022-1176565798 PBS_JOBID= 4556877 Free space on /tmp= 66551 MiB SOLVER NAME= Pueblo 1.4 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-CMS750_4.opb COMMAND LINE= Pueblo /tmp/evaluation/348022-1176565798/instance-348022-1176565798.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node42/convwatcher-348022-1176565798 -o ROOT/results/node42/conversion-348022-1176565798 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/348022-1176565798/instance-348022-1176565798.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-348022-1176565798 -o ROOT/results/node42/solver-348022-1176565798 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/348022-1176565798/instance-348022-1176565798.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 55e4261919fe5e3e5c6520778d47a3ef RANDOM SEED= 869548927 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1575856 kB Buffers: 42108 kB Cached: 316728 kB SwapCached: 0 kB Active: 109660 kB Inactive: 264472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1575856 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 13676 kB Writeback: 0 kB Mapped: 25468 kB Slab: 91980 kB Committed_AS: 133960 kB PageTables: 1408 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= 66551 MiB End job on node42 on Sat Apr 14 16:20:02 UTC 2007