Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.11 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir04_trarea_ac.opb |
MD5SUM | 1312c6b0204e50ac57a7790cd1d32db9 |
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 | 12940 |
Best CPU time to get the best result obtained on this benchmark | 0.510922 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12940 |
Optimality of the best value was proved | YES |
Number of variables | 1945 |
Total number of constraints | 3355 |
Number of constraints which are clauses | 3355 |
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 | 55 |
Number of terms in the objective function | 1036 |
Biggest coefficient in the objective function | 650 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 524770 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 650 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 524770 |
Number of bits of the biggest sum of numbers | 20 |
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/372240-1177079220/instance-372240-1177079220.opb ...... 0.00/0.04 c done parsing opb. 0.00/0.04 o 125763 0.00/0.04 o 125475 0.00/0.04 o 123644 0.00/0.05 o 123640 0.00/0.05 o 123636 0.00/0.05 o 61092 0.00/0.06 o 60347 0.05/0.06 o 58886 0.09/0.20 o 58866 13.59/13.61 o 58618 43.08/43.11 o 58348 49.38/49.46 o 58144 49.38/49.46 o 25171 49.38/49.47 o 25002 49.38/49.47 o 24999 49.38/49.47 o 24964 49.38/49.47 o 24855 56.08/56.19 o 24631 60.87/60.99 o 24544 67.97/68.10 o 24540 68.08/68.11 o 24505 68.18/68.21 o 24497 71.07/71.18 o 24470 71.17/71.22 o 24464 71.17/71.29 o 24333 74.47/74.50 o 24270 74.47/74.52 o 24018 74.47/74.55 o 24010 76.98/77.08 o 24009 79.67/79.79 o 23977 79.67/79.79 o 23876 79.77/79.85 o 23762 79.77/79.86 o 23738 79.86/79.92 o 23598 83.87/83.94 o 23589 83.87/83.97 o 23454 83.87/83.97 o 23121 83.87/83.97 o 23082 83.87/83.98 o 23081 83.97/84.03 o 23028 90.27/90.30 o 23012 90.27/90.32 o 22758 90.27/90.32 o 22462 90.27/90.32 o 22448 90.27/90.32 o 22421 90.27/90.33 o 22314 94.67/94.73 o 22277 100.66/100.70 o 22240 102.06/102.15 o 22239 104.26/104.32 o 22143 105.06/105.16 o 21777 105.96/106.09 o 21417 109.26/109.39 o 21373 109.36/109.44 o 21371 109.46/109.51 o 21357 110.36/110.46 o 21303 110.36/110.50 o 21274 110.46/110.50 o 21073 110.46/110.50 o 21070 110.46/110.50 o 20993 110.46/110.50 o 20902 110.46/110.50 o 20885 110.46/110.50 o 20481 110.46/110.51 o 20475 110.46/110.51 o 20472 110.46/110.51 o 20395 110.46/110.51 o 20304 110.46/110.51 o 20287 110.46/110.51 o 20279 110.46/110.51 o 19883 110.46/110.51 o 19799 110.46/110.52 o 19782 110.46/110.52 o 19378 110.46/110.52 o 19375 110.46/110.52 o 19342 110.46/110.52 o 19339 110.46/110.53 o 19311 113.86/113.95 o 19127 115.26/115.39 o 19039 115.76/115.86 o 18986 116.96/117.00 o 18967 126.36/126.45 o 18949 131.05/131.10 o 18946 131.25/131.37 o 18867 131.95/132.04 o 18779 136.85/136.99 o 18445 147.74/147.85 o 18401 148.75/148.89 o 18382 152.65/152.78 o 18149 153.65/153.77 o 17889 162.45/162.59 o 17845 164.85/164.91 o 17777 165.95/166.05 o 17637 169.04/169.15 o 17546 171.05/171.11 o 17307 172.34/172.43 o 17269 173.24/173.33 o 17229 176.24/176.34 o 17060 181.74/181.84 o 17032 187.44/187.53 o 17024 206.73/206.82 o 16979 214.03/214.11 o 16914 222.63/222.77 o 16898 277.12/277.27 o 16866 312.60/312.75 o 16853 343.59/343.70 o 16837 366.79/366.93 o 16726 460.66/460.83 o 16687 522.35/522.50 o 16676 558.53/558.75 o 16583 1029.10/1029.43 o 16531 1172.07/1172.50 o 16519 1209.25/1209.68 o 16518 1252.34/1252.71 o 16517 1253.74/1254.15 o 16513 1573.75/1574.25 o 16444 1753.90/1754.42 o 16403 1789.39/1789.98 o 16399 1800.10/1800.60 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/372240-1177079220/instance-372240-1177079220.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-372240-1177079220 -o ROOT/results/node27/solver-372240-1177079220 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372240-1177079220/PBS4 /tmp/evaluation/372240-1177079220/instance-372240-1177079220.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/65 2848 /proc/meminfo: memFree=1844960/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=1640 CPUtime=0 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 198 0 0 0 0 0 0 0 18 0 1 0 120617968 1679360 180 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/2848/statm: 410 180 86 219 0 187 0 [startup+0.0633329 s] /proc/loadavg: 0.92 0.98 0.99 3/65 2848 /proc/meminfo: memFree=1844960/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=1940 CPUtime=0.05 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 306 0 0 0 5 0 0 0 18 0 1 0 120617968 1986560 288 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 485 288 102 219 0 262 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1940 [startup+0.101337 s] /proc/loadavg: 0.92 0.98 0.99 3/65 2848 /proc/meminfo: memFree=1844960/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=1940 CPUtime=0.09 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 328 0 0 0 9 0 0 0 18 0 1 0 120617968 1986560 310 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 485 310 102 219 0 262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1940 [startup+0.301356 s] /proc/loadavg: 0.92 0.98 0.99 3/65 2848 /proc/meminfo: memFree=1844960/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=2464 CPUtime=0.3 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 445 0 0 0 29 1 0 0 19 0 1 0 120617968 2523136 427 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 616 427 103 219 0 393 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 2464 [startup+0.701397 s] /proc/loadavg: 0.92 0.98 0.99 3/65 2848 /proc/meminfo: memFree=1844960/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=2976 CPUtime=0.7 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 486 0 0 0 69 1 0 0 22 0 1 0 120617968 3047424 468 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 744 468 103 219 0 521 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 2976 [startup+1.50148 s] /proc/loadavg: 0.92 0.98 0.99 2/66 2849 /proc/meminfo: memFree=1843416/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=3172 CPUtime=1.49 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 620 0 0 0 148 1 0 0 25 0 1 0 120617968 3248128 602 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 793 602 103 219 0 570 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3172 [startup+3.10164 s] /proc/loadavg: 0.93 0.98 0.99 2/66 2849 /proc/meminfo: memFree=1842456/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=4196 CPUtime=3.09 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 857 0 0 0 308 1 0 0 25 0 1 0 120617968 4296704 839 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 1049 839 103 219 0 826 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4196 [startup+6.30196 s] /proc/loadavg: 0.93 0.98 0.99 2/66 2849 /proc/meminfo: memFree=1840608/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=6244 CPUtime=6.29 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 1271 0 0 0 627 2 0 0 25 0 1 0 120617968 6393856 1253 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 1561 1253 103 219 0 1338 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6244 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/66 2849 /proc/meminfo: memFree=1837664/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=10532 CPUtime=12.69 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 1977 0 0 0 1266 3 0 0 25 0 1 0 120617968 10784768 1910 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 2633 1910 104 219 0 2410 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10532 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/66 2849 /proc/meminfo: memFree=1833184/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=12772 CPUtime=25.48 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 3137 0 0 0 2542 6 0 0 25 0 1 0 120617968 13078528 2973 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 3193 2973 104 219 0 2970 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12772 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1831256/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=15008 CPUtime=51.08 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 3827 0 0 0 5092 16 0 0 25 0 1 0 120617968 15368192 3470 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 3752 3470 104 219 0 3529 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15008 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1827872/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=19000 CPUtime=102.26 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 5032 0 0 0 10185 41 0 0 25 0 1 0 120617968 19456000 4290 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 4750 4290 104 219 0 4527 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19000 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1825312/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=20560 CPUtime=162.25 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 5668 0 0 0 16141 84 0 0 25 0 1 0 120617968 21053440 4926 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 5140 4926 104 219 0 4917 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 20560 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1823328/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=24704 CPUtime=222.22 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 6925 0 0 0 22099 123 0 0 25 0 1 0 120617968 25296896 5414 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 6176 5414 104 219 0 5953 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 24704 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1821728/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=25712 CPUtime=282.21 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 7326 0 0 0 28068 153 0 0 25 0 1 0 120617968 26329088 5815 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 6428 5815 104 219 0 6205 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 25712 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1820064/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=26628 CPUtime=342.19 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 7725 0 0 0 34034 185 0 0 25 0 1 0 120617968 27267072 6214 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 6657 6214 104 219 0 6434 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 26628 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1818592/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=27456 CPUtime=402.18 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 8091 0 0 0 40002 216 0 0 25 0 1 0 120617968 28114944 6580 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 6864 6580 104 219 0 6641 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 27456 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1817184/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=33988 CPUtime=462.16 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 9954 0 0 0 45974 242 0 0 25 0 1 0 120617968 34803712 6906 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 8497 6906 104 219 0 8274 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 33988 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1815904/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=34956 CPUtime=522.15 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 10268 0 0 0 51945 270 0 0 25 0 1 0 120617968 35794944 7220 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 8739 7220 104 219 0 8516 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 34956 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1814752/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=35420 CPUtime=582.13 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 10568 0 0 0 57920 293 0 0 25 0 1 0 120617968 36270080 7520 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 8855 7520 104 219 0 8632 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 35420 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1813600/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=35912 CPUtime=642.11 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 10852 0 0 0 63901 310 0 0 25 0 1 0 120617968 36773888 7804 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 8978 7804 104 219 0 8755 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 35912 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1810336/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=37720 CPUtime=822.06 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 11654 0 0 0 81839 367 0 0 25 0 1 0 120617968 38625280 8606 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 9430 8606 104 219 0 9207 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 37720 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2851 /proc/meminfo: memFree=1809376/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=38348 CPUtime=882.04 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 11893 0 0 0 87821 383 0 0 25 0 1 0 120617968 39268352 8845 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 9587 8845 104 219 0 9364 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 38348 [startup+942.302 s] /proc/loadavg: 1.06 1.00 1.00 2/66 2851 /proc/meminfo: memFree=1808544/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=39016 CPUtime=942.02 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 12111 0 0 0 93803 399 0 0 25 0 1 0 120617968 39952384 9063 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 9754 9063 104 219 0 9531 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 39016 [startup+1002.3 s] /proc/loadavg: 1.02 1.00 1.00 2/66 2851 /proc/meminfo: memFree=1807520/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=39016 CPUtime=1002.01 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 12349 0 0 0 99782 419 0 0 25 0 1 0 120617968 39952384 9301 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 9754 9301 104 219 0 9531 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 39016 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2851 /proc/meminfo: memFree=1806560/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=39844 CPUtime=1061.99 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 12575 0 0 0 105763 436 0 0 25 0 1 0 120617968 40800256 9527 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 9961 9527 104 219 0 9738 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 39844 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2851 /proc/meminfo: memFree=1805664/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=40596 CPUtime=1121.97 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 12810 0 0 0 111744 453 0 0 25 0 1 0 120617968 41570304 9762 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 10149 9762 104 219 0 9926 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 40596 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2851 /proc/meminfo: memFree=1804704/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=52884 CPUtime=1181.96 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 16118 0 0 0 117724 472 0 0 25 0 1 0 120617968 54153216 9997 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 13221 9997 104 219 0 12998 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 52884 [startup+1242.3 s] /proc/loadavg: 1.07 1.02 1.00 2/66 2851 /proc/meminfo: memFree=1803808/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=53684 CPUtime=1241.95 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 16331 0 0 0 123709 486 0 0 25 0 1 0 120617968 54972416 10210 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 13421 10210 104 219 0 13198 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 53684 [startup+1302.3 s] /proc/loadavg: 1.08 1.03 1.00 2/66 2851 /proc/meminfo: memFree=1802848/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=53684 CPUtime=1301.93 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 16549 0 0 0 129690 503 0 0 25 0 1 0 120617968 54972416 10428 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 13421 10428 104 219 0 13198 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 53684 [startup+1362.3 s] /proc/loadavg: 1.09 1.04 1.00 2/66 2851 /proc/meminfo: memFree=1802080/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=54536 CPUtime=1361.91 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 16765 0 0 0 135673 518 0 0 25 0 1 0 120617968 55844864 10644 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 13634 10644 104 219 0 13411 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 54536 [startup+1422.31 s] /proc/loadavg: 1.14 1.06 1.01 2/66 2851 /proc/meminfo: memFree=1801184/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=54536 CPUtime=1421.9 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 16970 0 0 0 141660 530 0 0 25 0 1 0 120617968 55844864 10849 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 13634 10849 104 219 0 13411 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 54536 [startup+1482.3 s] /proc/loadavg: 1.11 1.06 1.01 2/66 2851 /proc/meminfo: memFree=1800416/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=55440 CPUtime=1481.87 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 17177 0 0 0 147643 544 0 0 25 0 1 0 120617968 56770560 11056 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134585934 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 13860 11056 104 219 0 13637 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 55440 [startup+1542.3 s] /proc/loadavg: 1.03 1.05 1.00 2/66 2851 /proc/meminfo: memFree=1799584/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=55440 CPUtime=1541.86 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 17370 0 0 0 153627 559 0 0 25 0 1 0 120617968 56770560 11249 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 13860 11249 104 219 0 13637 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 55440 [startup+1602.3 s] /proc/loadavg: 1.01 1.04 1.00 2/66 2851 /proc/meminfo: memFree=1798816/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=56400 CPUtime=1601.85 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 17580 0 0 0 159609 576 0 0 25 0 1 0 120617968 57753600 11459 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 14100 11459 104 219 0 13877 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 56400 [startup+1662.3 s] /proc/loadavg: 1.00 1.03 1.00 2/66 2851 /proc/meminfo: memFree=1798048/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=56400 CPUtime=1661.82 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 17762 0 0 0 165593 589 0 0 25 0 1 0 120617968 57753600 11641 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 14100 11641 104 219 0 13877 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 56400 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/66 2851 /proc/meminfo: memFree=1797152/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=56516 CPUtime=1721.81 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 17977 0 0 0 171574 607 0 0 25 0 1 0 120617968 57872384 11856 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 14129 11856 104 219 0 13906 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 56516 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/66 2851 /proc/meminfo: memFree=1796384/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=57536 CPUtime=1781.79 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 18162 0 0 0 177561 618 0 0 25 0 1 0 120617968 58916864 12041 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 14384 12041 104 219 0 14161 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 57536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 1.00 2/66 2851 /proc/meminfo: memFree=1796192/2055920 swapFree=4183004/4192956 [pid=2848] ppid=2846 vsize=57536 CPUtime=1800.1 /proc/2848/stat : 2848 (PBS4) R 2846 2848 2026 0 -1 4194304 18216 0 0 0 179387 623 0 0 25 0 1 0 120617968 58916864 12095 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2848/statm: 14384 12095 104 219 0 14161 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 57536 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.62 CPU time (s): 1800.11 CPU user time (s): 1793.87 CPU system time (s): 6.24105 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 57536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.87 system time used= 6.24105 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18217 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= 3040 runsolver used 1.38479 second user time and 3.64445 second system time The end
Begin job on node27 on Fri Apr 20 14:27:01 UTC 2007 IDJOB= 372240 IDBENCH= 24958 IDSOLVER= 157 FILE ID= node27/372240-1177079220 PBS_JOBID= 4640260 Free space on /tmp= 66377 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir04_trarea_ac.opb COMMAND LINE= /tmp/evaluation/372240-1177079220/PBS4 /tmp/evaluation/372240-1177079220/instance-372240-1177079220.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node27/convwatcher-372240-1177079220 -o ROOT/results/node27/conversion-372240-1177079220 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372240-1177079220/instance-372240-1177079220.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-372240-1177079220 -o ROOT/results/node27/solver-372240-1177079220 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372240-1177079220/PBS4 /tmp/evaluation/372240-1177079220/instance-372240-1177079220.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 1312c6b0204e50ac57a7790cd1d32db9 RANDOM SEED= 505405216 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 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: 1845432 kB Buffers: 38228 kB Cached: 101584 kB SwapCached: 3736 kB Active: 61584 kB Inactive: 88268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845432 kB SwapTotal: 4192956 kB SwapFree: 4183004 kB Dirty: 1240 kB Writeback: 0 kB Mapped: 15964 kB Slab: 46636 kB Committed_AS: 2092048 kB PageTables: 1412 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= 66377 MiB End job on node27 on Fri Apr 20 14:57:03 UTC 2007