Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.04 | 1800.81 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb |
MD5SUM | 4c21c441bf9f3f3be8f0cdb52c39f9b4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 30 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 12852 |
Total number of constraints | 41686 |
Number of constraints which are clauses | 41686 |
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 | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 6267 |
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 | 6267 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 6267 |
Number of bits of the biggest sum of numbers | 13 |
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/372842-1177140768/instance-372842-1177140768.opb ...... 0.59/0.67 c done parsing opb. 0.59/0.67 o 313 0.59/0.69 o 312 0.69/0.74 o 311 192.93/193.00 o 310 446.84/447.05 o 309 521.92/522.11 o 308 521.92/522.15 o 303 1800.02/1800.71 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/372842-1177140768/instance-372842-1177140768.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-372842-1177140768 -o ROOT/results/node25/solver-372842-1177140768 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372842-1177140768/PBS4 /tmp/evaluation/372842-1177140768/instance-372842-1177140768.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 2/64 13249 /proc/meminfo: memFree=1781984/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=2664 CPUtime=0 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 461 0 0 0 0 0 0 0 18 0 1 0 161993947 2727936 443 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/13249/statm: 666 445 81 219 0 443 0 [startup+0.0555229 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13249 /proc/meminfo: memFree=1781984/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=3440 CPUtime=0.05 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 646 0 0 0 5 0 0 0 18 0 1 0 161993947 3522560 628 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588368 0 0 4096 0 0 0 0 17 1 0 0 /proc/13249/statm: 860 628 87 219 0 637 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3440 [startup+0.101531 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13249 /proc/meminfo: memFree=1781984/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=3440 CPUtime=0.09 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 646 0 0 0 9 0 0 0 18 0 1 0 161993947 3522560 628 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588362 0 0 4096 0 0 0 0 17 1 0 0 /proc/13249/statm: 860 628 87 219 0 637 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301565 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13249 /proc/meminfo: memFree=1781984/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=4172 CPUtime=0.29 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 865 0 0 0 29 0 0 0 19 0 1 0 161993947 4272128 847 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/13249/statm: 1043 847 87 219 0 820 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4172 [startup+0.702633 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13249 /proc/meminfo: memFree=1781984/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=7964 CPUtime=0.69 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 1820 0 0 0 68 1 0 0 23 0 1 0 161993947 8155136 1463 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 1991 1463 104 219 0 1768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7964 [startup+1.50177 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13250 /proc/meminfo: memFree=1775960/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=8532 CPUtime=1.49 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 2079 0 0 0 146 3 0 0 25 0 1 0 161993947 8736768 1722 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 2133 1722 104 219 0 1910 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8532 [startup+3.10104 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13250 /proc/meminfo: memFree=1774872/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=10740 CPUtime=3.09 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 2399 0 0 0 305 4 0 0 25 0 1 0 161993947 10997760 2042 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547915 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 2685 2042 104 219 0 2462 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10740 [startup+6.30159 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13250 /proc/meminfo: memFree=1770968/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=13508 CPUtime=6.29 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 3237 0 0 0 622 7 0 0 25 0 1 0 161993947 13832192 2880 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 3377 2880 104 219 0 3154 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13508 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13250 /proc/meminfo: memFree=1767448/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=18960 CPUtime=12.69 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 4063 0 0 0 1259 10 0 0 25 0 1 0 161993947 19415040 3706 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 4740 3706 104 219 0 4517 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18960 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13250 /proc/meminfo: memFree=1764504/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=21836 CPUtime=25.48 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 4833 0 0 0 2531 17 0 0 25 0 1 0 161993947 22360064 4476 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 5459 4476 104 219 0 5236 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21836 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13250 /proc/meminfo: memFree=1758232/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=27516 CPUtime=51.08 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 6318 0 0 0 5077 31 0 0 25 0 1 0 161993947 28176384 5961 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 6879 5961 104 219 0 6656 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27516 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13250 /proc/meminfo: memFree=1757080/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=28956 CPUtime=102.26 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 6622 0 0 0 10192 34 0 0 25 0 1 0 161993947 29650944 6265 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 7239 6265 104 219 0 7016 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28956 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13250 /proc/meminfo: memFree=1753560/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=33244 CPUtime=162.24 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 7496 0 0 0 16183 41 0 0 25 0 1 0 161993947 34041856 7139 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559810 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 8311 7139 104 219 0 8088 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33244 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13250 /proc/meminfo: memFree=1751640/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=35520 CPUtime=222.22 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 7970 0 0 0 22177 45 0 0 25 0 1 0 161993947 36372480 7613 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 8880 7613 104 219 0 8657 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 35520 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13250 /proc/meminfo: memFree=1749592/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=37828 CPUtime=282.2 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 8479 0 0 0 28170 50 0 0 25 0 1 0 161993947 38735872 8122 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 9457 8122 104 219 0 9234 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 37828 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1747288/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=40288 CPUtime=342.18 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 9023 0 0 0 34165 53 0 0 25 0 1 0 161993947 41254912 8666 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 10072 8666 104 219 0 9849 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 40288 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1746264/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=42976 CPUtime=402.16 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 9671 0 0 0 40158 58 0 0 25 0 1 0 161993947 44007424 8929 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 10744 8929 104 219 0 10521 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 42976 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1745816/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=43428 CPUtime=462.14 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 9775 0 0 0 46154 60 0 0 25 0 1 0 161993947 44470272 9033 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 10857 9033 104 219 0 10634 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 43428 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1744472/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=45536 CPUtime=522.12 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 10219 0 0 0 52148 64 0 0 25 0 1 0 161993947 46628864 9477 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 11384 9477 104 219 0 11161 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 45536 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1743000/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=46652 CPUtime=582.1 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 10478 0 0 0 58144 66 0 0 25 0 1 0 161993947 47771648 9736 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 11663 9736 104 219 0 11440 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 46652 [startup+642.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 13252 /proc/meminfo: memFree=1742552/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=46920 CPUtime=642.09 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 10586 0 0 0 64141 68 0 0 25 0 1 0 161993947 48046080 9844 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 11730 9844 104 219 0 11507 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 46920 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.01 1.02 1.00 2/65 13252 /proc/meminfo: memFree=1739416/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=49996 CPUtime=882.01 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 11365 0 0 0 88124 77 0 0 25 0 1 0 161993947 51195904 10623 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 12499 10623 104 219 0 12276 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 49996 [startup+942.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 13252 /proc/meminfo: memFree=1738584/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=50864 CPUtime=941.99 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 11569 0 0 0 94118 81 0 0 25 0 1 0 161993947 52084736 10827 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 12716 10827 104 219 0 12493 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 50864 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 13252 /proc/meminfo: memFree=1737944/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=51520 CPUtime=1001.97 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 11726 0 0 0 100115 82 0 0 25 0 1 0 161993947 52756480 10984 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 12880 10984 104 219 0 12657 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 51520 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1737304/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=52264 CPUtime=1061.95 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 11882 0 0 0 106111 84 0 0 25 0 1 0 161993947 53518336 11140 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 13066 11140 104 219 0 12843 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 52264 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1733912/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=61336 CPUtime=1121.93 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 12728 0 0 0 112106 87 0 0 25 0 1 0 161993947 62808064 11986 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134557935 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 15334 11986 104 219 0 15111 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 61336 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1727192/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=62792 CPUtime=1181.91 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 14404 0 0 0 118099 92 0 0 25 0 1 0 161993947 64299008 13662 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 15698 13662 104 219 0 15475 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 62792 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1726616/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=63416 CPUtime=1241.89 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 14544 0 0 0 124096 93 0 0 25 0 1 0 161993947 64937984 13802 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 15854 13802 104 219 0 15631 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 63416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1725848/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=64280 CPUtime=1301.87 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 14727 0 0 0 130091 96 0 0 25 0 1 0 161993947 65822720 13985 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 16070 13985 104 219 0 15847 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 64280 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1725464/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=64640 CPUtime=1361.85 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 14822 0 0 0 136086 99 0 0 25 0 1 0 161993947 66191360 14080 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 16160 14080 104 219 0 15937 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 64640 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1724888/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=65276 CPUtime=1421.84 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 14970 0 0 0 142082 102 0 0 25 0 1 0 161993947 66842624 14228 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 16319 14228 104 219 0 16096 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 65276 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1724376/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=65864 CPUtime=1481.82 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15103 0 0 0 148076 106 0 0 25 0 1 0 161993947 67444736 14361 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 16466 14361 104 219 0 16243 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 65864 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1724056/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=66152 CPUtime=1541.79 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15172 0 0 0 154072 107 0 0 25 0 1 0 161993947 67739648 14430 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 16538 14430 104 219 0 16315 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 66152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1723480/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=66536 CPUtime=1601.77 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15317 0 0 0 160068 109 0 0 25 0 1 0 161993947 68132864 14575 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 16634 14575 104 219 0 16411 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 66536 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13252 /proc/meminfo: memFree=1723224/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=67048 CPUtime=1661.75 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15428 0 0 0 166064 111 0 0 25 0 1 0 161993947 68657152 14686 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 16762 14686 104 219 0 16539 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 67048 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 13408 /proc/meminfo: memFree=1720776/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=68112 CPUtime=1721.65 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15673 0 0 0 172049 116 0 0 25 0 1 0 161993947 69746688 14931 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 17028 14931 104 219 0 16805 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 68112 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13450 /proc/meminfo: memFree=1721752/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=68484 CPUtime=1781.62 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 15741 0 0 0 178044 118 0 0 25 0 1 0 161993947 70127616 14999 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 17121 14999 104 219 0 16898 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 68484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13450 /proc/meminfo: memFree=1721496/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=71652 CPUtime=1800.02 /proc/13249/stat : 13249 (PBS4) R 13247 13249 12466 0 -1 4194304 16557 0 0 0 179883 119 0 0 25 0 1 0 161993947 73371648 15046 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13249/statm: 17913 15046 104 219 0 17690 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 71652 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13450 /proc/meminfo: memFree=1721496/2055920 swapFree=4182972/4192956 [pid=13249] ppid=13247 vsize=0 CPUtime=1800.03 /proc/13249/stat : 13249 (PBS4) D 13247 13249 12466 0 -1 4194308 16558 0 0 0 179883 120 0 0 24 0 1 0 161993947 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/13249/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.04 CPU user time (s): 1798.83 CPU system time (s): 1.20782 CPU usage (%): 99.9572 Max. virtual memory (cumulated for all children) (KiB): 71652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.83 system time used= 1.20782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16558 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= 3245 runsolver used 1.20982 second user time and 3.76943 second system time The end
Begin job on node25 on Sat Apr 21 07:32:49 UTC 2007 IDJOB= 372842 IDBENCH= 25001 IDSOLVER= 157 FILE ID= node25/372842-1177140768 PBS_JOBID= 4648807 Free space on /tmp= 66367 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb COMMAND LINE= /tmp/evaluation/372842-1177140768/PBS4 /tmp/evaluation/372842-1177140768/instance-372842-1177140768.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-372842-1177140768 -o ROOT/results/node25/conversion-372842-1177140768 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372842-1177140768/instance-372842-1177140768.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-372842-1177140768 -o ROOT/results/node25/solver-372842-1177140768 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372842-1177140768/PBS4 /tmp/evaluation/372842-1177140768/instance-372842-1177140768.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4 RANDOM SEED= 712188343 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1782392 kB Buffers: 60636 kB Cached: 160828 kB SwapCached: 3684 kB Active: 67296 kB Inactive: 165208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1782392 kB SwapTotal: 4192956 kB SwapFree: 4182972 kB Dirty: 2356 kB Writeback: 0 kB Mapped: 15752 kB Slab: 27020 kB Committed_AS: 4080536 kB PageTables: 1472 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= 66367 MiB End job on node25 on Sat Apr 21 08:02:51 UTC 2007