Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | ? (TO) | 1800.05 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb |
MD5SUM | 8dbaef61ba32642517e0b17ac09a002e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 24.3463 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 31 |
Total number of constraints | 9 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 851 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2553 |
Number of bits of the biggest sum of numbers | 12 |
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/459134-1178649555/instance-459134-1178649555.opb ...... 1800.03/1800.70 c done parsing opb. 1800.03/1800.70 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/459134-1178649555/instance-459134-1178649555.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-459134-1178649555 -o ROOT/results/node69/solver-459134-1178649555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459134-1178649555/instance-459134-1178649555.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/64 31975 /proc/meminfo: memFree=1482532/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=1320 CPUtime=0 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 129 0 0 0 0 0 0 0 18 0 1 0 340944970 1351680 111 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 330 111 90 219 0 107 0 [startup+0.0429 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31975 /proc/meminfo: memFree=1482532/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=1320 CPUtime=0.03 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 170 0 0 0 3 0 0 0 18 0 1 0 340944970 1351680 152 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 330 152 90 219 0 107 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1320 [startup+0.101908 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31975 /proc/meminfo: memFree=1482532/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=1708 CPUtime=0.09 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 227 0 0 0 9 0 0 0 18 0 1 0 340944970 1748992 209 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 427 209 90 219 0 204 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1708 [startup+0.301941 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31975 /proc/meminfo: memFree=1482532/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=2356 CPUtime=0.29 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 367 0 0 0 29 0 0 0 19 0 1 0 340944970 2412544 349 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 589 349 90 219 0 366 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2356 [startup+0.702006 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31975 /proc/meminfo: memFree=1482532/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=3576 CPUtime=0.69 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 543 0 0 0 69 0 0 0 22 0 1 0 340944970 3661824 525 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 894 525 90 219 0 671 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3576 [startup+1.50114 s] /proc/loadavg: 0.92 0.98 0.99 2/65 31976 /proc/meminfo: memFree=1480412/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=3920 CPUtime=1.49 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 804 0 0 0 148 1 0 0 25 0 1 0 340944970 4014080 737 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 980 737 90 219 0 757 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3920 [startup+3.10139 s] /proc/loadavg: 0.92 0.98 0.99 2/65 31976 /proc/meminfo: memFree=1479388/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=6256 CPUtime=3.09 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 1046 0 0 0 307 2 0 0 25 0 1 0 340944970 6406144 979 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 1564 979 90 219 0 1341 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6256 [startup+6.30191 s] /proc/loadavg: 0.93 0.98 0.99 2/65 31976 /proc/meminfo: memFree=1477980/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=6944 CPUtime=6.29 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 1389 0 0 0 626 3 0 0 25 0 1 0 340944970 7110656 1225 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 1736 1225 90 219 0 1513 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6944 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/65 31976 /proc/meminfo: memFree=1476444/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=7104 CPUtime=12.69 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 1711 0 0 0 1264 5 0 0 25 0 1 0 340944970 7274496 1547 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 1776 1547 90 219 0 1553 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7104 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/65 31976 /proc/meminfo: memFree=1474460/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=12480 CPUtime=25.48 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 2417 0 0 0 2541 7 0 0 25 0 1 0 340944970 12779520 2060 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 3120 2060 90 219 0 2897 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12480 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/65 31976 /proc/meminfo: memFree=1470876/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=13632 CPUtime=51.08 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 3318 0 0 0 5095 13 0 0 25 0 1 0 340944970 13959168 2961 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 3408 2961 90 219 0 3185 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13632 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 31976 /proc/meminfo: memFree=1465884/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=24944 CPUtime=102.27 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 4928 0 0 0 10209 18 0 0 25 0 1 0 340944970 25542656 4186 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 6236 4186 90 219 0 6013 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24944 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31976 /proc/meminfo: memFree=1462172/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=25996 CPUtime=162.24 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 5861 0 0 0 16200 24 0 0 25 0 1 0 340944970 26619904 5086 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 6499 5086 90 219 0 6276 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25996 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31978 /proc/meminfo: memFree=1458908/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=26260 CPUtime=222.23 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 6656 0 0 0 22194 29 0 0 25 0 1 0 340944970 26890240 5881 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 6565 5881 90 219 0 6342 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 26260 [startup+282.302 s] /proc/loadavg: 1.11 1.02 1.01 2/65 31978 /proc/meminfo: memFree=1455324/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=44964 CPUtime=282.21 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 7873 0 0 0 28187 34 0 0 25 0 1 0 340944970 46043136 6768 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 11241 6768 90 219 0 11018 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 44964 [startup+342.301 s] /proc/loadavg: 1.04 1.01 1.00 2/65 31978 /proc/meminfo: memFree=1454556/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=48296 CPUtime=342.18 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 8798 0 0 0 34181 37 0 0 25 0 1 0 340944970 49455104 6924 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 12074 6924 90 219 0 11851 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 48296 [startup+402.301 s] /proc/loadavg: 1.01 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1453084/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=48820 CPUtime=402.16 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 9230 0 0 0 40175 41 0 0 25 0 1 0 340944970 49991680 7323 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 12205 7323 90 219 0 11982 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 48820 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1451100/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=49336 CPUtime=462.14 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 9842 0 0 0 46170 44 0 0 25 0 1 0 340944970 50520064 7836 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 12334 7836 90 219 0 12111 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 49336 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1449052/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=49592 CPUtime=522.13 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 10414 0 0 0 52165 48 0 0 25 0 1 0 340944970 50782208 8342 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 12398 8342 90 219 0 12175 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 49592 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1446812/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=50236 CPUtime=582.11 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 11059 0 0 0 58159 52 0 0 25 0 1 0 340944970 51441664 8888 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 12559 8888 90 219 0 12336 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 50236 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1445596/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=50404 CPUtime=642.09 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 11367 0 0 0 64153 56 0 0 25 0 1 0 340944970 51613696 9196 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 12601 9196 90 219 0 12378 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 50404 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1437148/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=54000 CPUtime=882.01 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 14206 0 0 0 88131 70 0 0 25 0 1 0 340944970 55296000 11286 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 13500 11286 90 219 0 13277 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 54000 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1436252/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=54000 CPUtime=941.99 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 14433 0 0 0 94127 72 0 0 25 0 1 0 340944970 55296000 11513 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 13500 11513 90 219 0 13277 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 54000 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1434780/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=54472 CPUtime=1001.97 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 14856 0 0 0 100123 74 0 0 25 0 1 0 340944970 55779328 11871 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 13618 11871 90 219 0 13395 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 54472 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1433308/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=54984 CPUtime=1061.96 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 15352 0 0 0 106120 76 0 0 25 0 1 0 340944970 56303616 12236 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 13746 12236 90 219 0 13523 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 54984 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1431900/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=88008 CPUtime=1121.94 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 15759 0 0 0 112116 78 0 0 25 0 1 0 340944970 90120192 12578 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 22002 12578 90 219 0 21779 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 88008 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1430876/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=88268 CPUtime=1181.92 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 16026 0 0 0 118112 80 0 0 25 0 1 0 340944970 90386432 12845 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 22067 12845 90 219 0 21844 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 88268 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1429340/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=95180 CPUtime=1241.9 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 18134 0 0 0 124107 83 0 0 25 0 1 0 340944970 97464320 13221 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 23795 13221 90 219 0 23572 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 95180 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31978 /proc/meminfo: memFree=1427868/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=95692 CPUtime=1301.88 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 18627 0 0 0 130103 85 0 0 25 0 1 0 340944970 97988608 13584 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 23923 13584 90 219 0 23700 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 95692 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 32156 /proc/meminfo: memFree=1424996/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=96644 CPUtime=1361.77 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 19203 0 0 0 136088 89 0 0 25 0 1 0 340944970 98963456 13965 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 24161 13965 90 219 0 23938 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 96644 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32176 /proc/meminfo: memFree=1424924/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=97104 CPUtime=1421.75 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 19517 0 0 0 142084 91 0 0 25 0 1 0 340944970 99434496 14279 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 24276 14279 90 219 0 24053 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 97104 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32176 /proc/meminfo: memFree=1424156/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=98132 CPUtime=1481.71 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 19882 0 0 0 148078 93 0 0 25 0 1 0 340944970 100487168 14449 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 24533 14449 90 219 0 24310 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 98132 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32176 /proc/meminfo: memFree=1424092/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=98364 CPUtime=1541.7 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 19936 0 0 0 154074 96 0 0 25 0 1 0 340944970 100724736 14503 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 24591 14503 90 219 0 24368 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 98364 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32176 /proc/meminfo: memFree=1423772/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=98364 CPUtime=1601.68 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20017 0 0 0 160070 98 0 0 25 0 1 0 340944970 100724736 14584 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 24591 14584 90 219 0 24368 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 98364 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32176 /proc/meminfo: memFree=1422236/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=98752 CPUtime=1661.66 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20483 0 0 0 166067 99 0 0 25 0 1 0 340944970 101122048 14985 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134583768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 24688 14985 90 219 0 24465 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 98752 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32176 /proc/meminfo: memFree=1421852/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=98884 CPUtime=1721.65 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20583 0 0 0 172063 102 0 0 25 0 1 0 340944970 101257216 15085 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 24721 15085 90 219 0 24498 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 98884 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32176 /proc/meminfo: memFree=1420764/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=99280 CPUtime=1781.63 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20899 0 0 0 178059 104 0 0 25 0 1 0 340944970 101662720 15336 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 24820 15336 90 219 0 24597 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 99280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32176 /proc/meminfo: memFree=1420444/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=99280 CPUtime=1800.03 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20987 0 0 0 179898 105 0 0 25 0 1 0 340944970 101662720 15424 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 24820 15424 90 219 0 24597 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 99280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32176 /proc/meminfo: memFree=1420444/2055920 swapFree=4183088/4192956 [pid=31975] ppid=31973 vsize=99280 CPUtime=1800.03 /proc/31975/stat : 31975 (PBS4_SAT07v2) R 31973 31975 30688 0 -1 4194304 20987 0 0 0 179898 105 0 0 25 0 1 0 340944970 101662720 15424 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31975/statm: 24820 15424 90 219 0 24597 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 99280 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.05 CPU user time (s): 1798.99 CPU system time (s): 1.06284 CPU usage (%): 99.9627 Max. virtual memory (cumulated for all children) (KiB): 99280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.99 system time used= 1.06284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20988 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= 1607 runsolver used 1.26581 second user time and 3.71143 second system time The end
Begin job on node69 on Tue May 8 18:39:15 UTC 2007 IDJOB= 459134 IDBENCH= 2905 IDSOLVER= 200 FILE ID= node69/459134-1178649555 PBS_JOBID= 5218340 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_1.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459134-1178649555/instance-459134-1178649555.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node69/convwatcher-459134-1178649555 -o ROOT/results/node69/conversion-459134-1178649555 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459134-1178649555/instance-459134-1178649555.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-459134-1178649555 -o ROOT/results/node69/solver-459134-1178649555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459134-1178649555/instance-459134-1178649555.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 8dbaef61ba32642517e0b17ac09a002e RANDOM SEED= 828648827 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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.264 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: 1483004 kB Buffers: 32140 kB Cached: 412888 kB SwapCached: 3840 kB Active: 123444 kB Inactive: 369156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1483004 kB SwapTotal: 4192956 kB SwapFree: 4183088 kB Dirty: 2260 kB Writeback: 0 kB Mapped: 53752 kB Slab: 66172 kB Committed_AS: 7741988 kB PageTables: 1592 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= 66562 MiB End job on node69 on Tue May 8 19:09:18 UTC 2007