Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.08 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_012_area_delay.opb |
MD5SUM | 390f49d8db402e26df87629238cc1aa6 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 27 |
Best CPU time to get the best result obtained on this benchmark | 1444.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 27 |
Optimality of the best value was proved | YES |
Number of variables | 15284 |
Total number of constraints | 49839 |
Number of constraints which are clauses | 49839 |
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 | 7495 |
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 | 7495 |
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 | 7495 |
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/372660-1177118941/instance-372660-1177118941.opb ...... 0.79/0.89 c done parsing opb. 0.79/0.89 o 330 88.77/88.84 o 329 132.65/132.76 o 328 151.06/151.15 o 327 157.25/157.31 o 326 387.20/387.34 o 325 421.79/421.93 o 324 748.61/748.84 o 317 749.01/749.25 o 316 1408.15/1408.57 o 315 1410.75/1411.12 o 314 1438.14/1438.58 o 313 1769.57/1770.08 o 312 1800.06/1800.50 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/372660-1177118941/instance-372660-1177118941.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-372660-1177118941 -o ROOT/results/node50/solver-372660-1177118941 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372660-1177118941/PBS4 /tmp/evaluation/372660-1177118941/instance-372660-1177118941.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 7341 /proc/meminfo: memFree=1799992/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=2760 CPUtime=0 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 489 0 0 0 0 0 0 0 18 0 1 0 66739349 2826240 472 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/7341/statm: 690 474 81 219 0 467 0 [startup+0.104853 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7341 /proc/meminfo: memFree=1799992/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=3852 CPUtime=0.1 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 745 0 0 0 10 0 0 0 18 0 1 0 66739349 3944448 727 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588274 0 0 4096 0 0 0 0 17 1 0 0 /proc/7341/statm: 963 727 87 219 0 740 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3852 [startup+0.201861 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7341 /proc/meminfo: memFree=1799992/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=3852 CPUtime=0.19 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 774 0 0 0 19 0 0 0 18 0 1 0 66739349 3944448 756 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588851 0 0 4096 0 0 0 0 17 1 0 0 /proc/7341/statm: 963 756 87 219 0 740 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3852 [startup+0.30187 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7341 /proc/meminfo: memFree=1799992/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=3852 CPUtime=0.29 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 774 0 0 0 29 0 0 0 19 0 1 0 66739349 3944448 756 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588877 0 0 4096 0 0 0 0 17 1 0 0 /proc/7341/statm: 963 756 87 219 0 740 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3852 [startup+0.701904 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7341 /proc/meminfo: memFree=1799992/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=8120 CPUtime=0.69 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 1799 0 0 0 69 0 0 0 22 0 1 0 66739349 8314880 1442 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134529735 0 0 4096 0 0 0 0 17 1 0 0 /proc/7341/statm: 2030 1442 89 219 0 1807 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8120 [startup+1.50198 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1793264/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=9104 CPUtime=1.49 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 2254 0 0 0 146 3 0 0 25 0 1 0 66739349 9322496 1897 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134546823 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 2276 1897 104 219 0 2053 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9104 [startup+3.10112 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1792112/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=9584 CPUtime=3.09 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 2492 0 0 0 306 3 0 0 25 0 1 0 66739349 9814016 2135 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134557988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 2396 2135 104 219 0 2173 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9584 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1790576/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=11780 CPUtime=6.29 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 2858 0 0 0 625 4 0 0 25 0 1 0 66739349 12062720 2501 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 2945 2501 104 219 0 2722 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11780 [startup+12.703 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1787312/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=15876 CPUtime=12.69 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 3626 0 0 0 1263 6 0 0 25 0 1 0 66739349 16257024 3269 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 3969 3269 104 219 0 3746 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15876 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1781424/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=24068 CPUtime=25.49 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 5046 0 0 0 2541 8 0 0 25 0 1 0 66739349 24645632 4689 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 6017 4689 104 219 0 5794 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24068 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1772336/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=41312 CPUtime=51.08 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 7309 0 0 0 5093 15 0 0 25 0 1 0 66739349 42303488 6952 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 10328 6952 104 219 0 10105 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41312 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1759408/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=50424 CPUtime=102.27 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 10548 0 0 0 10194 33 0 0 25 0 1 0 66739349 51634176 10191 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 12606 10191 104 219 0 12383 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 50424 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1754608/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=58684 CPUtime=162.25 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 11950 0 0 0 16172 53 0 0 25 0 1 0 66739349 60092416 11593 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 14671 11593 104 219 0 14448 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 58684 [startup+222.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1747824/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=68836 CPUtime=222.24 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 13820 0 0 0 22159 65 0 0 25 0 1 0 66739349 70488064 13078 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 17209 13078 104 219 0 16986 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 68836 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1745968/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=71592 CPUtime=282.22 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 14280 0 0 0 28154 68 0 0 25 0 1 0 66739349 73310208 13538 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 17898 13538 104 219 0 17675 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 71592 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1745776/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=71784 CPUtime=342.21 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 14316 0 0 0 34152 69 0 0 25 0 1 0 66739349 73506816 13574 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 17946 13574 104 219 0 17723 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 71784 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1744624/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=73428 CPUtime=402.19 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 14617 0 0 0 40147 72 0 0 25 0 1 0 66739349 75190272 13875 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 18357 13875 104 219 0 18134 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 73428 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1743024/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=75592 CPUtime=462.17 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 15019 0 0 0 46141 76 0 0 25 0 1 0 66739349 77406208 14277 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 18898 14277 104 219 0 18675 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 75592 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1742896/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=75784 CPUtime=522.16 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 15046 0 0 0 52140 76 0 0 25 0 1 0 66739349 77602816 14304 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 18946 14304 104 219 0 18723 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 75784 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1738992/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=80592 CPUtime=582.15 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 16008 0 0 0 58134 81 0 0 25 0 1 0 66739349 82526208 15266 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 20148 15266 104 219 0 19925 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 80592 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1738672/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=81164 CPUtime=642.14 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 16085 0 0 0 64130 84 0 0 25 0 1 0 66739349 83111936 15343 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 20291 15343 104 219 0 20068 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 81164 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1736624/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=83108 CPUtime=822.09 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 16571 0 0 0 82118 91 0 0 25 0 1 0 66739349 85102592 15829 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563095 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 20777 15829 104 219 0 20554 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 83108 [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1735856/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=84008 CPUtime=882.08 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 16781 0 0 0 88114 94 0 0 25 0 1 0 66739349 86024192 16039 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 21002 16039 104 219 0 20779 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 84008 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1735216/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=84572 CPUtime=942.07 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 16931 0 0 0 94111 96 0 0 25 0 1 0 66739349 86601728 16189 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 21143 16189 104 219 0 20920 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 84572 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1734640/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=85400 CPUtime=1002.05 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 17082 0 0 0 100108 97 0 0 25 0 1 0 66739349 87449600 16340 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 21350 16340 104 219 0 21127 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 85400 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1734128/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=85848 CPUtime=1062.03 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 17200 0 0 0 106105 98 0 0 25 0 1 0 66739349 87908352 16458 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 21462 16458 104 219 0 21239 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 85848 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1733232/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=86824 CPUtime=1122.02 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 17421 0 0 0 112102 100 0 0 25 0 1 0 66739349 88907776 16679 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 21706 16679 104 219 0 21483 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 86824 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1732336/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=87792 CPUtime=1182 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 17639 0 0 0 118096 104 0 0 25 0 1 0 66739349 89899008 16897 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 21948 16897 104 219 0 21725 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 87792 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1731824/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=88368 CPUtime=1241.99 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 17757 0 0 0 124094 105 0 0 25 0 1 0 66739349 90488832 17015 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 22092 17015 104 219 0 21869 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 88368 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1731568/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=88504 CPUtime=1301.97 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 17827 0 0 0 130091 106 0 0 25 0 1 0 66739349 90628096 17085 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 22126 17085 104 219 0 21903 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 88504 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1731376/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=88776 CPUtime=1361.96 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 17889 0 0 0 136089 107 0 0 25 0 1 0 66739349 90906624 17147 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 22194 17147 104 219 0 21971 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 88776 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1729904/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=90416 CPUtime=1421.95 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 18256 0 0 0 142084 111 0 0 25 0 1 0 66739349 92585984 17514 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 22604 17514 104 219 0 22381 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 90416 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1729328/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=90992 CPUtime=1481.94 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 18390 0 0 0 148081 113 0 0 25 0 1 0 66739349 93175808 17648 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 22748 17648 104 219 0 22525 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 90992 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1728688/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=91548 CPUtime=1541.92 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 18545 0 0 0 154079 113 0 0 25 0 1 0 66739349 93745152 17803 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 22887 17803 104 219 0 22664 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 91548 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1728624/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=91548 CPUtime=1601.9 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 18560 0 0 0 160076 114 0 0 25 0 1 0 66739349 93745152 17818 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 22887 17818 104 219 0 22664 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 91548 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1728240/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=92092 CPUtime=1661.89 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 18649 0 0 0 166074 115 0 0 25 0 1 0 66739349 94302208 17907 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 23023 17907 104 219 0 22800 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 92092 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1728048/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=92112 CPUtime=1721.88 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 18697 0 0 0 172072 116 0 0 25 0 1 0 66739349 94322688 17955 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 23028 17955 104 219 0 22805 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 92112 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1725744/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=94584 CPUtime=1781.86 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 19262 0 0 0 178063 123 0 0 25 0 1 0 66739349 96854016 18520 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 23646 18520 104 219 0 23423 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 94584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1725744/2055920 swapFree=4183800/4192956 [pid=7341] ppid=7339 vsize=94584 CPUtime=1800.06 /proc/7341/stat : 7341 (PBS4) R 7339 7341 6496 0 -1 4194304 19264 0 0 0 179883 123 0 0 25 0 1 0 66739349 96854016 18522 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7341/statm: 23646 18522 104 219 0 23423 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 94584 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.08 CPU user time (s): 1798.83 CPU system time (s): 1.25081 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 94584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.83 system time used= 1.25081 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19265 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= 3061 runsolver used 1.23081 second user time and 3.69044 second system time The end
Begin job on node50 on Sat Apr 21 01:29:02 UTC 2007 IDJOB= 372660 IDBENCH= 24988 IDSOLVER= 157 FILE ID= node50/372660-1177118941 PBS_JOBID= 4640446 Free space on /tmp= 66506 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_012_area_delay.opb COMMAND LINE= /tmp/evaluation/372660-1177118941/PBS4 /tmp/evaluation/372660-1177118941/instance-372660-1177118941.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node50/convwatcher-372660-1177118941 -o ROOT/results/node50/conversion-372660-1177118941 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372660-1177118941/instance-372660-1177118941.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-372660-1177118941 -o ROOT/results/node50/solver-372660-1177118941 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372660-1177118941/PBS4 /tmp/evaluation/372660-1177118941/instance-372660-1177118941.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 390f49d8db402e26df87629238cc1aa6 RANDOM SEED= 505709351 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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.232 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: 1800464 kB Buffers: 51444 kB Cached: 131940 kB SwapCached: 2936 kB Active: 98076 kB Inactive: 105532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800464 kB SwapTotal: 4192956 kB SwapFree: 4183800 kB Dirty: 2720 kB Writeback: 0 kB Mapped: 16756 kB Slab: 37892 kB Committed_AS: 2849364 kB PageTables: 1464 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= 66506 MiB End job on node50 on Sat Apr 21 01:59:04 UTC 2007