Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.07 | 1800.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb |
MD5SUM | cc797868c6f9cb3811b8dc2300ad7f9f |
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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 612 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 556800 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 556800 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 4.19/4.23 c starting to Solve 4.19/4.23 c #variables read: 107808 - #constraints read: 5185
ERROR: no interpretation found !
/tmp/evaluation/348165-1176570629/instance-348165-1176570629.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-348165-1176570629 -o ROOT/results/node44/solver-348165-1176570629 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/348165-1176570629/instance-348165-1176570629.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.99 3/64 13099 /proc/meminfo: memFree=1534248/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=2552 CPUtime=0 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 104974632 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 638 230 193 16 0 77 0 [startup+0.0693969 s] /proc/loadavg: 0.92 0.97 0.99 3/64 13099 /proc/meminfo: memFree=1534248/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=4416 CPUtime=0.06 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 716 0 0 0 6 0 0 0 18 0 1 0 104974632 4521984 686 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 1104 686 193 16 0 543 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4416 [startup+0.101399 s] /proc/loadavg: 0.92 0.97 0.99 3/64 13099 /proc/meminfo: memFree=1534248/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=5216 CPUtime=0.09 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 933 0 0 0 9 0 0 0 18 0 1 0 104974632 5341184 903 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 1304 903 193 16 0 743 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5216 [startup+0.301421 s] /proc/loadavg: 0.92 0.97 0.99 3/64 13099 /proc/meminfo: memFree=1534248/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=10412 CPUtime=0.29 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 2223 0 0 0 28 1 0 0 19 0 1 0 104974632 10661888 2193 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 2603 2193 199 16 0 2042 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10412 [startup+0.701462 s] /proc/loadavg: 0.92 0.97 0.99 3/64 13099 /proc/meminfo: memFree=1534248/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=12676 CPUtime=0.69 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 2816 0 0 0 68 1 0 0 23 0 1 0 104974632 12980224 2786 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 3169 2786 199 16 0 2608 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12676 [startup+1.50154 s] /proc/loadavg: 0.92 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1520352/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=36424 CPUtime=1.49 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 30530 0 0 0 139 10 0 0 25 0 1 0 104974632 37298176 8078 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 9106 8088 205 16 0 8545 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36424 [startup+3.10171 s] /proc/loadavg: 0.92 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1499296/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=44588 CPUtime=3.09 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 334156 0 0 0 213 96 0 0 25 0 1 0 104974632 45658112 10133 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 11147 10143 205 16 0 10586 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44588 [startup+6.30104 s] /proc/loadavg: 0.93 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1486048/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=52340 CPUtime=6.29 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 561999 0 0 0 470 159 0 0 25 0 1 0 104974632 53596160 12120 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 13085 12120 206 16 0 12524 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52340 [startup+12.7017 s] /proc/loadavg: 0.93 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1485744/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=52860 CPUtime=12.69 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 562142 0 0 0 1110 159 0 0 25 0 1 0 104974632 54128640 12263 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 13215 12263 206 16 0 12654 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52860 [startup+25.502 s] /proc/loadavg: 0.95 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1484720/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=54032 CPUtime=25.49 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 562430 0 0 0 2390 159 0 0 25 0 1 0 104974632 55328768 12551 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 13508 12551 206 16 0 12947 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54032 [startup+51.1016 s] /proc/loadavg: 0.96 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1482032/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=56628 CPUtime=51.08 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 563084 0 0 0 4948 160 0 0 25 0 1 0 104974632 57987072 13205 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 14157 13205 206 16 0 13596 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 56628 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1479280/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=59508 CPUtime=102.27 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 563801 0 0 0 10067 160 0 0 25 0 1 0 104974632 60936192 13922 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528252 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 14877 13922 206 16 0 14316 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 59508 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1466544/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=72352 CPUtime=162.25 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 566992 0 0 0 16061 164 0 0 25 0 1 0 104974632 74088448 17113 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11716219 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 18088 17113 206 16 0 17527 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 72352 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1463088/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=75604 CPUtime=222.24 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 567811 0 0 0 22059 165 0 0 25 0 1 0 104974632 77418496 17932 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134563566 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 18901 17932 206 16 0 18340 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 75604 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1463088/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=75604 CPUtime=282.22 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 567813 0 0 0 28057 165 0 0 25 0 1 0 104974632 77418496 17934 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527800 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 18901 17934 206 16 0 18340 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 75604 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1458736/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=80204 CPUtime=342.2 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 568893 0 0 0 34054 166 0 0 25 0 1 0 104974632 82128896 19014 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 20051 19014 206 16 0 19490 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 80204 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1455792/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=83520 CPUtime=402.19 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 569621 0 0 0 40052 167 0 0 25 0 1 0 104974632 85524480 19742 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 20880 19742 206 16 0 20319 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 83520 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1453424/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=86120 CPUtime=462.17 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 570251 0 0 0 46050 167 0 0 25 0 1 0 104974632 88186880 20372 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 21530 20372 206 16 0 20969 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 86120 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1446000/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=93756 CPUtime=522.16 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 572100 0 0 0 52046 170 0 0 25 0 1 0 104974632 96006144 22221 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 23439 22221 206 16 0 22878 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 93756 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1446000/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=93756 CPUtime=582.15 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 572100 0 0 0 58045 170 0 0 25 0 1 0 104974632 96006144 22221 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 23439 22221 206 16 0 22878 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 93756 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1446000/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=93756 CPUtime=642.14 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 572100 0 0 0 64044 170 0 0 25 0 1 0 104974632 96006144 22221 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559265 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 23439 22221 206 16 0 22878 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 93756 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1436016/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=103768 CPUtime=882.06 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 574581 0 0 0 88034 172 0 0 25 0 1 0 104974632 106258432 24702 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 25942 24702 206 16 0 25381 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 103768 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1436528/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=103072 CPUtime=942.06 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 574581 0 0 0 94033 173 0 0 25 0 1 0 104974632 105545728 24538 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 25768 24538 206 16 0 25207 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 103072 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1435504/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=104356 CPUtime=1002.04 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 574876 0 0 0 100031 173 0 0 25 0 1 0 104974632 106860544 24833 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 26089 24833 206 16 0 25528 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 104356 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1435504/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=104356 CPUtime=1062.02 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 574876 0 0 0 106029 173 0 0 25 0 1 0 104974632 106860544 24833 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519890 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 26089 24833 206 16 0 25528 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 104356 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1435568/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=104356 CPUtime=1122.01 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 574876 0 0 0 112028 173 0 0 25 0 1 0 104974632 106860544 24833 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 26089 24833 206 16 0 25528 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 104356 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1429808/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=110480 CPUtime=1181.99 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 576382 0 0 0 118025 174 0 0 25 0 1 0 104974632 113131520 26339 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 27620 26339 206 16 0 27059 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 110480 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1428464/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=111632 CPUtime=1241.98 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 576631 0 0 0 124023 175 0 0 25 0 1 0 104974632 114311168 26588 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 27908 26588 206 16 0 27347 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 111632 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1427888/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=112400 CPUtime=1301.96 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 576785 0 0 0 130021 175 0 0 25 0 1 0 104974632 115097600 26742 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11723997 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 28100 26742 206 16 0 27539 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 112400 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1425776/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=115728 CPUtime=1361.94 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 577304 0 0 0 136019 175 0 0 25 0 1 0 104974632 118505472 27261 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 28932 27261 206 16 0 28371 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 115728 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1425648/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=115984 CPUtime=1421.94 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 577348 0 0 0 142018 176 0 0 25 0 1 0 104974632 118767616 27305 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 28996 27305 206 16 0 28435 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 115984 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1423344/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=118308 CPUtime=1481.91 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 577907 0 0 0 148015 176 0 0 25 0 1 0 104974632 121147392 27864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 29577 27864 206 16 0 29016 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 118308 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1423344/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=118308 CPUtime=1541.9 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 577907 0 0 0 154014 176 0 0 25 0 1 0 104974632 121147392 27864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 29577 27864 206 16 0 29016 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 118308 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13100 /proc/meminfo: memFree=1421872/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=119940 CPUtime=1601.89 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 578286 0 0 0 160012 177 0 0 25 0 1 0 104974632 122818560 28243 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 29985 28243 206 16 0 29424 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 119940 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13102 /proc/meminfo: memFree=1421424/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=120328 CPUtime=1661.87 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 578383 0 0 0 166010 177 0 0 25 0 1 0 104974632 123215872 28340 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 30082 28340 206 16 0 29521 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 120328 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13102 /proc/meminfo: memFree=1417968/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=124072 CPUtime=1721.85 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 579252 0 0 0 172008 177 0 0 25 0 1 0 104974632 127049728 29209 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134557517 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 31018 29209 206 16 0 30457 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 124072 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13102 /proc/meminfo: memFree=1417904/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=124072 CPUtime=1781.83 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 579253 0 0 0 178006 177 0 0 25 0 1 0 104974632 127049728 29210 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 31018 29210 206 16 0 30457 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 124072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13102 /proc/meminfo: memFree=1417968/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=124072 CPUtime=1800.03 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 579253 0 0 0 179826 177 0 0 25 0 1 0 104974632 127049728 29210 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 31018 29210 206 16 0 30457 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 124072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.99 2/65 13102 /proc/meminfo: memFree=1417968/2055920 swapFree=4191292/4192956 [pid=13099] ppid=13097 vsize=124072 CPUtime=1800.03 /proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 579253 0 0 0 179826 177 0 0 25 0 1 0 104974632 127049728 29210 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/13099/statm: 31018 29210 206 16 0 30457 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 124072 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.07 CPU user time (s): 1798.27 CPU system time (s): 1.79873 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 124072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.27 system time used= 1.79873 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 579253 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= 10 involuntary context switches= 2669 runsolver used 1.15082 second user time and 3.77842 second system time The end
Begin job on node44 on Sat Apr 14 17:10:29 UTC 2007 IDJOB= 348165 IDBENCH= 1623 IDSOLVER= 165 FILE ID= node44/348165-1176570629 PBS_JOBID= 4556910 Free space on /tmp= 66559 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-B1C1S1.opb COMMAND LINE= Pueblo /tmp/evaluation/348165-1176570629/instance-348165-1176570629.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node44/convwatcher-348165-1176570629 -o ROOT/results/node44/conversion-348165-1176570629 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/348165-1176570629/instance-348165-1176570629.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-348165-1176570629 -o ROOT/results/node44/solver-348165-1176570629 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/348165-1176570629/instance-348165-1176570629.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= cc797868c6f9cb3811b8dc2300ad7f9f RANDOM SEED= 446150164 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1534656 kB Buffers: 43412 kB Cached: 357540 kB SwapCached: 452 kB Active: 244824 kB Inactive: 170736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1534656 kB SwapTotal: 4192956 kB SwapFree: 4191292 kB Dirty: 5932 kB Writeback: 0 kB Mapped: 23376 kB Slab: 91716 kB Committed_AS: 123916 kB PageTables: 1396 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= 66559 MiB End job on node44 on Sat Apr 14 17:40:32 UTC 2007