Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | ? (TO) | 1800.08 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb |
MD5SUM | 8e9a545df4abbe3f7a2b003048b42200 |
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 | 103872 |
Total number of constraints | 3312 |
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 | 3312 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 725 |
Number of terms in the objective function | 37632 |
Biggest coefficient in the objective function | 1116 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 555552 |
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 | 555552 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458507-1178632635/instance-458507-1178632635.opb ...... 1800.06/1800.60 c done parsing opb. 1800.06/1800.60 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/458507-1178632635/instance-458507-1178632635.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-458507-1178632635 -o ROOT/results/node72/solver-458507-1178632635 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458507-1178632635/instance-458507-1178632635.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.98 0.99 3/77 31205 /proc/meminfo: memFree=1351848/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=11064 CPUtime=0 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 498 0 0 0 0 0 0 0 18 0 1 0 339301990 11329536 480 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134570608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 2766 484 79 219 0 2543 0 [startup+0.0367809 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31205 /proc/meminfo: memFree=1351848/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=13440 CPUtime=0.03 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 3219 0 0 0 2 1 0 0 18 0 1 0 339301990 13762560 3103 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 3360 3105 79 219 0 3137 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13440 [startup+0.102787 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31205 /proc/meminfo: memFree=1351848/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=16068 CPUtime=0.09 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 3890 0 0 0 8 1 0 0 18 0 1 0 339301990 16453632 3774 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 4017 3774 84 219 0 3794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16068 [startup+0.302806 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31205 /proc/meminfo: memFree=1351848/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=17832 CPUtime=0.29 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 4301 0 0 0 28 1 0 0 19 0 1 0 339301990 18259968 4120 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 4458 4120 86 219 0 4235 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17832 [startup+0.701842 s] /proc/loadavg: 0.92 0.98 0.99 3/77 31205 /proc/meminfo: memFree=1351848/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=17832 CPUtime=0.69 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 4301 0 0 0 68 1 0 0 23 0 1 0 339301990 18259968 4120 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 4458 4120 86 219 0 4235 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17832 [startup+1.50192 s] /proc/loadavg: 0.92 0.98 0.99 2/78 31206 /proc/meminfo: memFree=1335584/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=17832 CPUtime=1.49 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 4301 0 0 0 148 1 0 0 25 0 1 0 339301990 18259968 4120 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 4458 4120 86 219 0 4235 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17832 [startup+3.10106 s] /proc/loadavg: 0.92 0.98 0.99 2/78 31206 /proc/meminfo: memFree=1335456/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=17832 CPUtime=3.09 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 4301 0 0 0 308 1 0 0 25 0 1 0 339301990 18259968 4120 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 4458 4120 86 219 0 4235 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17832 [startup+6.30135 s] /proc/loadavg: 0.93 0.98 0.99 2/78 31206 /proc/meminfo: memFree=1334752/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=18424 CPUtime=6.29 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 4449 0 0 0 627 2 0 0 25 0 1 0 339301990 18866176 4268 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 4606 4268 86 219 0 4383 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18424 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/78 31206 /proc/meminfo: memFree=1317160/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=45324 CPUtime=12.69 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 13567 0 0 0 1262 7 0 0 25 0 1 0 339301990 46411776 8670 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 11331 8670 90 219 0 11108 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45324 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 31206 /proc/meminfo: memFree=1316264/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=47116 CPUtime=25.49 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 13803 0 0 0 2539 10 0 0 25 0 1 0 339301990 48246784 8906 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 11779 8906 90 219 0 11556 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47116 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 31206 /proc/meminfo: memFree=1314536/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=49304 CPUtime=51.08 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 14647 0 0 0 5092 16 0 0 25 0 1 0 339301990 50487296 9344 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 12326 9344 90 219 0 12103 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49304 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 31206 /proc/meminfo: memFree=1311272/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=55044 CPUtime=102.27 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 17495 0 0 0 10198 29 0 0 25 0 1 0 339301990 56365056 10162 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 13761 10162 90 219 0 13538 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 55044 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31206 /proc/meminfo: memFree=1308072/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=55296 CPUtime=162.25 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 20746 0 0 0 16179 46 0 0 25 0 1 0 339301990 56623104 10977 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 13824 10977 90 219 0 13601 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 55296 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31206 /proc/meminfo: memFree=1304808/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=64632 CPUtime=222.24 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 23934 0 0 0 22161 63 0 0 25 0 1 0 339301990 66183168 11739 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 16158 11739 90 219 0 15935 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 64632 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/84 31384 /proc/meminfo: memFree=1300008/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=65168 CPUtime=282.13 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 27265 0 0 0 28134 79 0 0 25 0 1 0 339301990 66732032 12634 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 16292 12634 90 219 0 16069 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 65168 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1297960/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=65432 CPUtime=342.1 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 30437 0 0 0 34116 94 0 0 25 0 1 0 339301990 67002368 13370 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 16358 13370 90 219 0 16135 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 65432 [startup+402.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1295016/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=83620 CPUtime=402.09 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 33400 0 0 0 40096 113 0 0 25 0 1 0 339301990 85626880 14121 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 20905 14121 90 219 0 20682 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 83620 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1292392/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=83884 CPUtime=462.07 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 36496 0 0 0 46077 130 0 0 25 0 1 0 339301990 85897216 14781 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 20971 14781 90 219 0 20748 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 83884 [startup+522.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1290024/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=84148 CPUtime=522.06 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 38959 0 0 0 52057 149 0 0 25 0 1 0 339301990 86167552 15417 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 21037 15417 90 219 0 20814 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 84148 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1287464/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=85080 CPUtime=582.04 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 41618 0 0 0 58041 163 0 0 25 0 1 0 339301990 87121920 16046 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 21270 16046 90 219 0 21047 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 85080 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1284520/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=85220 CPUtime=642.03 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 44386 0 0 0 64025 178 0 0 25 0 1 0 339301990 87265280 16784 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134548931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 21305 16784 90 219 0 21082 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 85220 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1279080/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=85768 CPUtime=821.98 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 52009 0 0 0 81971 227 0 0 25 0 1 0 339301990 87826432 18114 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 21442 18114 90 219 0 21219 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 85768 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1277800/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=86040 CPUtime=881.96 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 54571 0 0 0 87954 242 0 0 25 0 1 0 339301990 88104960 18443 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 21510 18443 90 219 0 21287 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 86040 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1276328/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=89240 CPUtime=941.96 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 57743 0 0 0 93939 257 0 0 25 0 1 0 339301990 91381760 18816 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 22310 18816 90 219 0 22087 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 89240 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1275240/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=122820 CPUtime=1001.94 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 59837 0 0 0 99923 271 0 0 25 0 1 0 339301990 125767680 19083 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 30705 19083 90 219 0 30482 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 122820 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1274792/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=123068 CPUtime=1061.92 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 61765 0 0 0 105908 284 0 0 25 0 1 0 339301990 126021632 19184 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 30767 19184 90 219 0 30544 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 123068 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1273896/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=123200 CPUtime=1121.91 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 64087 0 0 0 111895 296 0 0 25 0 1 0 339301990 126156800 19476 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 30800 19476 90 219 0 30577 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 123200 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1272488/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=123464 CPUtime=1181.89 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 66220 0 0 0 117882 307 0 0 25 0 1 0 339301990 126427136 19782 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 30866 19782 90 219 0 30643 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 123464 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1271208/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=123596 CPUtime=1241.88 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 68353 0 0 0 123868 320 0 0 25 0 1 0 339301990 126562304 20088 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 30899 20088 90 219 0 30676 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 123596 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1269992/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=123732 CPUtime=1301.87 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 70704 0 0 0 129856 331 0 0 25 0 1 0 339301990 126701568 20409 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 30933 20409 90 219 0 30710 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 123732 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1267752/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=124000 CPUtime=1361.85 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 73060 0 0 0 135841 344 0 0 25 0 1 0 339301990 126976000 20938 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 31000 20938 90 219 0 30777 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 124000 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1266344/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=124152 CPUtime=1421.84 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 75239 0 0 0 141827 357 0 0 25 0 1 0 339301990 127131648 21290 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 31038 21290 90 219 0 30815 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 124152 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1265064/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=124416 CPUtime=1481.82 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 77389 0 0 0 147811 371 0 0 25 0 1 0 339301990 127401984 21613 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 31104 21613 90 219 0 30881 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 124416 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1263144/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=124536 CPUtime=1541.81 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 79896 0 0 0 153798 383 0 0 25 0 1 0 339301990 127524864 22090 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 31134 22090 90 219 0 30911 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 124536 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1261416/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=124668 CPUtime=1601.79 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 82215 0 0 0 159783 396 0 0 25 0 1 0 339301990 127660032 22582 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 31167 22582 90 219 0 30944 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 124668 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1259048/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=124976 CPUtime=1661.78 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 84826 0 0 0 165772 406 0 0 25 0 1 0 339301990 127975424 23163 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 31244 23163 90 219 0 31021 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 124976 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1257192/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=125860 CPUtime=1721.77 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 87299 0 0 0 171758 419 0 0 25 0 1 0 339301990 128880640 23606 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 31465 23606 90 219 0 31242 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 125860 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1255336/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=126140 CPUtime=1781.75 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 89811 0 0 0 177743 432 0 0 25 0 1 0 339301990 129167360 24088 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 31535 24088 90 219 0 31312 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 126140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31408 /proc/meminfo: memFree=1254440/2055920 swapFree=4157256/4192956 [pid=31205] ppid=31203 vsize=126140 CPUtime=1800.06 /proc/31205/stat : 31205 (PBS4_SAT07v2) R 31203 31205 30547 0 -1 4194304 90832 0 0 0 179570 436 0 0 25 0 1 0 339301990 129167360 24297 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31205/statm: 31535 24297 90 219 0 31312 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 126140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.08 CPU user time (s): 1795.7 CPU system time (s): 4.37833 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 126952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.7 system time used= 4.37833 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 90833 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= 8 involuntary context switches= 2928 runsolver used 1.66475 second user time and 4.24735 second system time The end
Begin job on node72 on Tue May 8 13:57:15 UTC 2007 IDJOB= 458507 IDBENCH= 1620 IDSOLVER= 200 FILE ID= node72/458507-1178632635 PBS_JOBID= 5218291 Free space on /tmp= 66559 MiB SOLVER NAME= PBS4_v2 2007-03-23 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-A1C1S1.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458507-1178632635/instance-458507-1178632635.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-458507-1178632635 -o ROOT/results/node72/conversion-458507-1178632635 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458507-1178632635/instance-458507-1178632635.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-458507-1178632635 -o ROOT/results/node72/solver-458507-1178632635 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458507-1178632635/instance-458507-1178632635.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 8e9a545df4abbe3f7a2b003048b42200 RANDOM SEED= 830731006 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1352256 kB Buffers: 40844 kB Cached: 538624 kB SwapCached: 17028 kB Active: 265848 kB Inactive: 342032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1352256 kB SwapTotal: 4192956 kB SwapFree: 4157256 kB Dirty: 5564 kB Writeback: 0 kB Mapped: 35448 kB Slab: 81300 kB Committed_AS: 7408424 kB PageTables: 1800 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 node72 on Tue May 8 14:27:18 UTC 2007