Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS4 2007-03-23 | ? (TO) | 1800.06 | 1800.52 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin18.opb |
MD5SUM | f17e31cb6762bd0e8d3e659d7bd1050c |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 23409 |
Total number of constraints | 1386 |
Number of constraints which are clauses | 612 |
Number of constraints which are cardinality constraints (but not clauses) | 774 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 153 |
Maximum length of a constraint | 289 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 291 |
Number of bits of the biggest sum of numbers | 9 |
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/357607-1176829985/instance-357607-1176829985.opb ...... 1800.04/1800.50 c done parsing opb. 1800.04/1800.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/357607-1176829985/instance-357607-1176829985.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-357607-1176829985 -o ROOT/results/node44/solver-357607-1176829985 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/357607-1176829985/PBS4 /tmp/evaluation/357607-1176829985/instance-357607-1176829985.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.99 0.99 3/77 19175 /proc/meminfo: memFree=1682944/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=3520 CPUtime=0 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 515 0 0 0 0 0 0 0 18 0 1 0 130910193 3604480 497 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134572872 0 0 4096 0 0 0 0 17 1 0 0 /proc/19175/statm: 880 501 82 219 0 657 0 [startup+0.082423 s] /proc/loadavg: 0.92 0.99 0.99 3/77 19175 /proc/meminfo: memFree=1682944/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=5088 CPUtime=0.07 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 1068 0 0 0 7 0 0 0 18 0 1 0 130910193 5210112 1050 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/19175/statm: 1272 1050 87 219 0 1049 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5088 [startup+0.101424 s] /proc/loadavg: 0.92 0.99 0.99 3/77 19175 /proc/meminfo: memFree=1682944/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=5352 CPUtime=0.09 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 1139 0 0 0 9 0 0 0 18 0 1 0 130910193 5480448 1121 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134529777 0 0 4096 0 0 0 0 17 1 0 0 /proc/19175/statm: 1338 1121 87 219 0 1115 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5352 [startup+0.301446 s] /proc/loadavg: 0.92 0.99 0.99 3/77 19175 /proc/meminfo: memFree=1682944/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=6216 CPUtime=0.29 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 1410 0 0 0 29 0 0 0 19 0 1 0 130910193 6365184 1392 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135023547 0 0 4096 0 0 0 0 17 1 0 0 /proc/19175/statm: 1554 1392 87 219 0 1331 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6216 [startup+0.701486 s] /proc/loadavg: 0.92 0.99 0.99 3/77 19175 /proc/meminfo: memFree=1682944/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=8048 CPUtime=0.69 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 1760 0 0 0 69 0 0 0 22 0 1 0 130910193 8241152 1742 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/19175/statm: 2012 1742 88 219 0 1789 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8048 [startup+1.50157 s] /proc/loadavg: 0.92 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1674808/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=12612 CPUtime=1.49 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 3021 0 0 0 144 5 0 0 25 0 1 0 130910193 12914688 2957 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 3153 2957 94 219 0 2930 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12612 [startup+3.10173 s] /proc/loadavg: 0.92 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1670328/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=15276 CPUtime=3.09 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 3527 0 0 0 300 9 0 0 25 0 1 0 130910193 15642624 3463 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 3819 3463 94 219 0 3596 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15276 [startup+6.30106 s] /proc/loadavg: 0.93 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1667320/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=18676 CPUtime=6.29 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 4161 0 0 0 614 15 0 0 25 0 1 0 130910193 19124224 4097 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 4669 4097 94 219 0 4446 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18676 [startup+12.7017 s] /proc/loadavg: 0.93 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1663288/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=24500 CPUtime=12.69 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 5059 0 0 0 1244 25 0 0 25 0 1 0 130910193 25088000 4995 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 6125 4995 94 219 0 5902 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24500 [startup+25.501 s] /proc/loadavg: 0.95 0.99 0.99 3/78 19176 /proc/meminfo: memFree=1656056/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=27984 CPUtime=25.48 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 6820 0 0 0 2503 45 0 0 25 0 1 0 130910193 28655616 6756 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 6996 6756 94 219 0 6773 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27984 [startup+51.1017 s] /proc/loadavg: 0.96 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1649080/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=39896 CPUtime=51.08 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 8782 0 0 0 5021 87 0 0 25 0 1 0 130910193 40853504 8439 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 9974 8439 94 219 0 9751 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39896 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1646904/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=42292 CPUtime=102.27 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 10227 0 0 0 10033 194 0 0 25 0 1 0 130910193 43307008 9005 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 10573 9005 94 219 0 10350 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 42292 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1644152/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=45036 CPUtime=162.25 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 11954 0 0 0 15931 294 0 0 25 0 1 0 130910193 46116864 9711 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 11259 9711 94 219 0 11036 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 45036 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1642488/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=46288 CPUtime=222.23 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 13179 0 0 0 21809 414 0 0 25 0 1 0 130910193 47398912 10108 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 11572 10108 94 219 0 11349 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 46288 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1640824/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=47696 CPUtime=282.22 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 14392 0 0 0 27704 518 0 0 25 0 1 0 130910193 48840704 10493 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 11924 10493 94 219 0 11701 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 47696 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1639672/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=49988 CPUtime=342.21 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 15881 0 0 0 33599 622 0 0 25 0 1 0 130910193 51187712 10769 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 12497 10769 94 219 0 12274 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 49988 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1638456/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=51044 CPUtime=402.18 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 17022 0 0 0 39485 733 0 0 25 0 1 0 130910193 52269056 11082 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 12761 11082 94 219 0 12538 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 51044 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1637432/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=51580 CPUtime=462.17 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 18110 0 0 0 45364 853 0 0 25 0 1 0 130910193 52817920 11342 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 12895 11342 94 219 0 12672 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 51580 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1636152/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=52528 CPUtime=522.16 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 19245 0 0 0 51241 975 0 0 25 0 1 0 130910193 53788672 11649 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 13132 11649 94 219 0 12909 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 52528 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1635320/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=53228 CPUtime=582.14 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 20150 0 0 0 57135 1079 0 0 25 0 1 0 130910193 54505472 11864 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 13307 11864 94 219 0 13084 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 53228 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1634424/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=57164 CPUtime=642.13 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 21886 0 0 0 63035 1178 0 0 25 0 1 0 130910193 58535936 12095 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 14291 12095 94 219 0 14068 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 57164 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 19176 /proc/meminfo: memFree=1630648/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=59920 CPUtime=882.07 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 25960 0 0 0 86616 1591 0 0 25 0 1 0 130910193 61358080 13087 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 14980 13087 94 219 0 14757 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 59920 [startup+942.301 s] /proc/loadavg: 1.04 1.01 1.00 2/78 19176 /proc/meminfo: memFree=1629688/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=60316 CPUtime=942.05 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 26918 0 0 0 92516 1689 0 0 25 0 1 0 130910193 61763584 13309 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 15079 13309 94 219 0 14856 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 60316 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 19176 /proc/meminfo: memFree=1628920/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=61000 CPUtime=1002.04 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 27886 0 0 0 98416 1788 0 0 25 0 1 0 130910193 62464000 13495 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 15250 13495 94 219 0 15027 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 61000 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19176 /proc/meminfo: memFree=1628024/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=61400 CPUtime=1062.02 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 28836 0 0 0 104306 1896 0 0 25 0 1 0 130910193 62873600 13709 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 15350 13709 94 219 0 15127 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 61400 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19176 /proc/meminfo: memFree=1627256/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=62264 CPUtime=1122.01 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 29720 0 0 0 110205 1996 0 0 25 0 1 0 130910193 63758336 13903 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 15566 13903 94 219 0 15343 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 62264 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19176 /proc/meminfo: memFree=1626552/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=62400 CPUtime=1181.99 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 30632 0 0 0 116102 2097 0 0 25 0 1 0 130910193 63897600 14079 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 15600 14079 94 219 0 15377 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 62400 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19176 /proc/meminfo: memFree=1625848/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=63156 CPUtime=1241.98 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 31515 0 0 0 122001 2197 0 0 25 0 1 0 130910193 64671744 14226 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 15789 14226 94 219 0 15566 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 63156 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19176 /proc/meminfo: memFree=1625208/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=69444 CPUtime=1301.96 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 33911 0 0 0 127903 2293 0 0 25 0 1 0 130910193 71110656 14395 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134585680 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 17361 14395 94 219 0 17138 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 69444 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19176 /proc/meminfo: memFree=1624504/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=70240 CPUtime=1361.94 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 34797 0 0 0 133809 2385 0 0 25 0 1 0 130910193 71925760 14591 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 17560 14591 94 219 0 17337 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 70240 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19176 /proc/meminfo: memFree=1623864/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=70376 CPUtime=1421.93 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 35591 0 0 0 139711 2482 0 0 25 0 1 0 130910193 72065024 14741 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 17594 14741 94 219 0 17371 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 70376 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19176 /proc/meminfo: memFree=1623096/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=70652 CPUtime=1481.92 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 36470 0 0 0 145613 2579 0 0 25 0 1 0 130910193 72347648 14930 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 17663 14930 94 219 0 17440 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 70652 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19178 /proc/meminfo: memFree=1622456/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=71484 CPUtime=1541.89 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 37272 0 0 0 151515 2674 0 0 25 0 1 0 130910193 73199616 15088 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 17871 15088 94 219 0 17648 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 71484 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19178 /proc/meminfo: memFree=1621560/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=71880 CPUtime=1601.88 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 38183 0 0 0 157419 2769 0 0 25 0 1 0 130910193 73605120 15309 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 17970 15309 94 219 0 17747 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 71880 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19178 /proc/meminfo: memFree=1620920/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=72016 CPUtime=1661.86 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 39035 0 0 0 163329 2857 0 0 25 0 1 0 130910193 73744384 15471 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 18004 15471 94 219 0 17781 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 72016 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19178 /proc/meminfo: memFree=1620280/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=72896 CPUtime=1721.85 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 39877 0 0 0 169238 2947 0 0 25 0 1 0 130910193 74645504 15623 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 18224 15623 94 219 0 18001 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 72896 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19178 /proc/meminfo: memFree=1619768/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=73032 CPUtime=1781.83 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 40670 0 0 0 175146 3037 0 0 25 0 1 0 130910193 74784768 15772 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 18258 15772 94 219 0 18035 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 73032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 19178 /proc/meminfo: memFree=1619384/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=73164 CPUtime=1800.04 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 40975 0 0 0 176938 3066 0 0 25 0 1 0 130910193 74919936 15847 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 18291 15847 94 219 0 18068 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 73164 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: 1.00 1.00 1.00 2/78 19178 /proc/meminfo: memFree=1619384/2055920 swapFree=4143524/4192956 [pid=19175] ppid=19173 vsize=73164 CPUtime=1800.04 /proc/19175/stat : 19175 (PBS4) R 19173 19175 18472 0 -1 4194304 40975 0 0 0 176938 3066 0 0 25 0 1 0 130910193 74919936 15847 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19175/statm: 18291 15847 94 219 0 18068 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 73164 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.06 CPU user time (s): 1769.39 CPU system time (s): 30.6723 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 73348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1769.39 system time used= 30.6723 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40976 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= 2908 runsolver used 1.9467 second user time and 4.6123 second system time The end
Begin job on node44 on Tue Apr 17 17:13:05 UTC 2007 IDJOB= 357607 IDBENCH= 1155 IDSOLVER= 157 FILE ID= node44/357607-1176829985 PBS_JOBID= 4586359 Free space on /tmp= 66429 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin18.opb COMMAND LINE= /tmp/evaluation/357607-1176829985/PBS4 /tmp/evaluation/357607-1176829985/instance-357607-1176829985.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node44/convwatcher-357607-1176829985 -o ROOT/results/node44/conversion-357607-1176829985 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/357607-1176829985/instance-357607-1176829985.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-357607-1176829985 -o ROOT/results/node44/solver-357607-1176829985 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/357607-1176829985/PBS4 /tmp/evaluation/357607-1176829985/instance-357607-1176829985.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= f17e31cb6762bd0e8d3e659d7bd1050c RANDOM SEED= 396243055 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: 1683352 kB Buffers: 38004 kB Cached: 252096 kB SwapCached: 27460 kB Active: 211744 kB Inactive: 116544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1683352 kB SwapTotal: 4192956 kB SwapFree: 4143524 kB Dirty: 3408 kB Writeback: 0 kB Mapped: 32580 kB Slab: 29780 kB Committed_AS: 419312 kB PageTables: 1736 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= 66429 MiB End job on node44 on Tue Apr 17 17:43:08 UTC 2007