Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.1 | 1800.54 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb |
MD5SUM | 36a19a7aeba117287b60c4673ad89664 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126082 |
Number of constraints which are clauses | 126082 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
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 | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
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/353755-1176674923/instance-353755-1176674923.opb ...... 0.79/0.86 c done parsing opb. 0.79/0.86 o 1534 0.79/0.87 o 1533 0.79/0.89 o 1532 1.09/1.10 o 1531 1.09/1.11 o 1490 1.09/1.20 o 1489 22.79/22.83 o 1488 719.81/720.04 o 1487 1800.06/1800.50 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/353755-1176674923/instance-353755-1176674923.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-353755-1176674923 -o ROOT/results/node51/solver-353755-1176674923 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353755-1176674923/PBS4 /tmp/evaluation/353755-1176674923/instance-353755-1176674923.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: 1.00 1.00 1.00 3/64 4641 /proc/meminfo: memFree=1806960/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=1600 CPUtime=0 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 22337411 1638400 167 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134793016 0 0 4096 0 0 0 0 17 1 0 0 /proc/4641/statm: 400 168 86 219 0 177 0 [startup+0.0764059 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4641 /proc/meminfo: memFree=1806960/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=2116 CPUtime=0.07 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 408 0 0 0 7 0 0 0 18 0 1 0 22337411 2166784 335 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134554430 0 0 4096 0 0 0 0 17 1 0 0 /proc/4641/statm: 529 335 88 219 0 306 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2116 [startup+0.101408 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4641 /proc/meminfo: memFree=1806960/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=2372 CPUtime=0.09 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 455 0 0 0 9 0 0 0 18 0 1 0 22337411 2428928 382 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134636016 0 0 4096 0 0 0 0 17 1 0 0 /proc/4641/statm: 593 382 89 219 0 370 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2372 [startup+0.301427 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4641 /proc/meminfo: memFree=1806960/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=4564 CPUtime=0.29 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 1195 0 0 0 29 0 0 0 19 0 1 0 22337411 4673536 832 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/4641/statm: 1141 832 89 219 0 918 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4564 [startup+0.701463 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4641 /proc/meminfo: memFree=1806960/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=9964 CPUtime=0.69 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 2509 0 0 0 68 1 0 0 22 0 1 0 22337411 10203136 1761 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/4641/statm: 2491 1761 89 219 0 2268 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9964 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1797608/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=14320 CPUtime=1.49 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 3957 0 0 0 148 1 0 0 25 0 1 0 22337411 14663680 3209 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 3580 3209 104 219 0 3357 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14320 [startup+3.10168 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1790888/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=22644 CPUtime=3.09 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 6093 0 0 0 307 2 0 0 25 0 1 0 22337411 23187456 5345 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 5661 5345 104 219 0 5438 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22644 [startup+6.30197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1775656/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=39160 CPUtime=6.29 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 9583 0 0 0 625 4 0 0 25 0 1 0 22337411 40099840 8835 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 9790 8835 104 219 0 9567 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39160 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1749160/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=72204 CPUtime=12.69 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 15768 0 0 0 1261 8 0 0 25 0 1 0 22337411 73936896 15020 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 18051 15020 104 219 0 17828 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72204 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1690600/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=142620 CPUtime=25.48 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 30657 0 0 0 2534 14 0 0 25 0 1 0 22337411 146042880 29140 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 35655 29140 104 219 0 35432 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 142620 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1655336/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=279124 CPUtime=51.07 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 39373 0 0 0 5087 20 0 0 25 0 1 0 22337411 285822976 37856 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 69781 37856 104 219 0 69558 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 279124 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1629096/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=284172 CPUtime=102.26 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 45906 0 0 0 10201 25 0 0 25 0 1 0 22337411 290992128 44389 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134561546 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 71043 44389 104 219 0 70820 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 284172 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1620328/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=288268 CPUtime=162.25 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 48086 0 0 0 16194 31 0 0 25 0 1 0 22337411 295186432 46569 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134562567 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 72067 46569 104 219 0 71844 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 288268 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1616168/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=291584 CPUtime=222.23 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 49154 0 0 0 22187 36 0 0 25 0 1 0 22337411 298582016 47637 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549696 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 72896 47637 104 219 0 72673 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 291584 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1613672/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=293984 CPUtime=282.22 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 49767 0 0 0 28182 40 0 0 25 0 1 0 22337411 301039616 48250 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 73496 48250 104 219 0 73273 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 293984 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1611368/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=295868 CPUtime=342.2 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 50330 0 0 0 34176 44 0 0 25 0 1 0 22337411 302968832 48813 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 73967 48813 104 219 0 73744 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 295868 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1609256/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=297484 CPUtime=402.19 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 50870 0 0 0 40171 48 0 0 25 0 1 0 22337411 304623616 49353 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563269 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 74371 49353 104 219 0 74148 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 297484 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1607336/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=305056 CPUtime=462.18 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 52873 0 0 0 46165 53 0 0 25 0 1 0 22337411 312377344 49819 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 76264 49819 104 219 0 76041 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 305056 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1605480/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=306452 CPUtime=522.17 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 53340 0 0 0 52159 58 0 0 25 0 1 0 22337411 313806848 50286 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 76613 50286 104 219 0 76390 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 306452 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1604136/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=307620 CPUtime=582.15 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 53665 0 0 0 58153 62 0 0 25 0 1 0 22337411 315002880 50611 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 76905 50611 104 219 0 76682 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 307620 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1602024/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=309304 CPUtime=642.14 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 54177 0 0 0 64148 66 0 0 25 0 1 0 22337411 316727296 51123 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 77326 51123 104 219 0 77103 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 309304 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1596456/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=313984 CPUtime=882.08 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 55560 0 0 0 88128 80 0 0 25 0 1 0 22337411 321519616 52506 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 78496 52506 104 219 0 78273 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 313984 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1595048/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=315200 CPUtime=942.06 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 55930 0 0 0 94123 83 0 0 25 0 1 0 22337411 322764800 52876 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 78800 52876 104 219 0 78577 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 315200 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1593832/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=316312 CPUtime=1002.05 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 56253 0 0 0 100118 87 0 0 25 0 1 0 22337411 323903488 53199 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 79078 53199 104 219 0 78855 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 316312 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1592488/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=317292 CPUtime=1062.03 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 56581 0 0 0 106113 90 0 0 25 0 1 0 22337411 324907008 53527 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 79323 53527 104 219 0 79100 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 317292 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 3/65 4642 /proc/meminfo: memFree=1591400/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=317612 CPUtime=1122.02 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 56841 0 0 0 112108 94 0 0 25 0 1 0 22337411 325234688 53787 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134586000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 79403 53787 104 219 0 79180 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 317612 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1590568/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=318108 CPUtime=1182 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 57053 0 0 0 118102 98 0 0 25 0 1 0 22337411 325742592 53999 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 79527 53999 104 219 0 79304 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 318108 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1589672/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=318796 CPUtime=1241.99 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 57258 0 0 0 124098 101 0 0 25 0 1 0 22337411 326447104 54204 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 79699 54204 104 219 0 79476 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 318796 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1588648/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=319516 CPUtime=1301.98 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 57494 0 0 0 130093 105 0 0 25 0 1 0 22337411 327184384 54440 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 79879 54440 104 219 0 79656 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 319516 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1587688/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=331804 CPUtime=1361.96 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 60754 0 0 0 136085 111 0 0 25 0 1 0 22337411 339767296 54627 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 82951 54627 104 219 0 82728 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 331804 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1587048/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=332560 CPUtime=1421.94 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 60971 0 0 0 142081 113 0 0 25 0 1 0 22337411 340541440 54844 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 83140 54844 104 219 0 82917 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 332560 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1585832/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=333200 CPUtime=1481.93 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 61277 0 0 0 148077 116 0 0 25 0 1 0 22337411 341196800 55150 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559962 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 83300 55150 104 219 0 83077 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 333200 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1584872/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=333992 CPUtime=1541.92 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 61504 0 0 0 154072 120 0 0 25 0 1 0 22337411 342007808 55377 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 83498 55377 104 219 0 83275 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 333992 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1583848/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=334984 CPUtime=1601.9 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 61746 0 0 0 160067 123 0 0 25 0 1 0 22337411 343023616 55619 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 83746 55619 104 219 0 83523 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 334984 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4642 /proc/meminfo: memFree=1583016/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=335144 CPUtime=1661.89 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 61961 0 0 0 166062 127 0 0 25 0 1 0 22337411 343187456 55834 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 83786 55834 104 219 0 83563 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 335144 [startup+1722.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4642 /proc/meminfo: memFree=1582184/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=336016 CPUtime=1721.87 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 62171 0 0 0 172057 130 0 0 25 0 1 0 22337411 344080384 56044 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 84004 56044 104 219 0 83781 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 336016 [startup+1782.3 s] /proc/loadavg: 1.09 1.03 1.00 2/65 4642 /proc/meminfo: memFree=1581416/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=336176 CPUtime=1781.86 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 62365 0 0 0 178053 133 0 0 25 0 1 0 22337411 344244224 56238 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 84044 56238 104 219 0 83821 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 336176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.14 1.04 1.01 2/65 4642 /proc/meminfo: memFree=1581160/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=336176 CPUtime=1800.06 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 62416 0 0 0 179871 135 0 0 25 0 1 0 22337411 344244224 56289 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 84044 56289 104 219 0 83821 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 336176 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.14 1.04 1.01 2/65 4642 /proc/meminfo: memFree=1581160/2055920 swapFree=4184504/4192956 [pid=4641] ppid=4639 vsize=336176 CPUtime=1800.06 /proc/4641/stat : 4641 (PBS4) R 4639 4641 3660 0 -1 4194304 62416 0 0 0 179871 135 0 0 25 0 1 0 22337411 344244224 56289 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4641/statm: 84044 56289 104 219 0 83821 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 336176 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.1 CPU user time (s): 1798.72 CPU system time (s): 1.38779 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 344096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.72 system time used= 1.38779 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62417 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= 2143 runsolver used 1.2878 second user time and 3.65044 second system time The end
Begin job on node51 on Sun Apr 15 22:08:43 UTC 2007 IDJOB= 353755 IDBENCH= 2267 IDSOLVER= 157 FILE ID= node51/353755-1176674923 PBS_JOBID= 4559915 Free space on /tmp= 66560 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb COMMAND LINE= /tmp/evaluation/353755-1176674923/PBS4 /tmp/evaluation/353755-1176674923/instance-353755-1176674923.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-353755-1176674923 -o ROOT/results/node51/conversion-353755-1176674923 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353755-1176674923/instance-353755-1176674923.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-353755-1176674923 -o ROOT/results/node51/solver-353755-1176674923 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353755-1176674923/PBS4 /tmp/evaluation/353755-1176674923/instance-353755-1176674923.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664 RANDOM SEED= 118996943 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1807432 kB Buffers: 31064 kB Cached: 143464 kB SwapCached: 2680 kB Active: 71488 kB Inactive: 113788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1807432 kB SwapTotal: 4192956 kB SwapFree: 4184504 kB Dirty: 4168 kB Writeback: 0 kB Mapped: 16436 kB Slab: 49292 kB Committed_AS: 1848288 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node51 on Sun Apr 15 22:38:45 UTC 2007