Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.05 | 1800.82 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb |
MD5SUM | cdc1e49bcf2e6b6913c93a683c821b72 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.227965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/430822-1177999257/instance-430822-1177999257.opb ...... 861.38/861.87 c done parsing opb. 861.38/861.87 o 133 1800.03/1800.80 s SATISFIABLE
ERROR: no interpretation found !
Linearizing /tmp/evaluation/430822-1177999257/instance-430822-1177999257.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-430822-1177999257 -o ROOT/results/node20/solver-430822-1177999257 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/430822-1177999257/PBS4 /tmp/evaluation/430822-1177999257/instance-430822-1177999257.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.91 0.98 0.99 3/77 9502 /proc/meminfo: memFree=1819992/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=1456 CPUtime=0 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 172 0 0 0 0 0 0 0 18 0 1 0 247843121 1490944 155 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0 /proc/9502/statm: 364 155 87 219 0 141 0 [startup+0.0620041 s] /proc/loadavg: 0.91 0.98 0.99 3/77 9502 /proc/meminfo: memFree=1819992/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=1972 CPUtime=0.05 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 294 0 0 0 5 0 0 0 18 0 1 0 247843121 2019328 277 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 493 277 93 219 0 270 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1972 [startup+0.102011 s] /proc/loadavg: 0.91 0.98 0.99 3/77 9502 /proc/meminfo: memFree=1819992/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=1972 CPUtime=0.09 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 349 0 0 0 9 0 0 0 18 0 1 0 247843121 2019328 332 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 493 332 93 219 0 270 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1972 [startup+0.301052 s] /proc/loadavg: 0.91 0.98 0.99 3/77 9502 /proc/meminfo: memFree=1819992/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=3732 CPUtime=0.29 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 683 0 0 0 29 0 0 0 19 0 1 0 247843121 3821568 666 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 933 666 93 219 0 710 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3732 [startup+0.701133 s] /proc/loadavg: 0.91 0.98 0.99 3/77 9502 /proc/meminfo: memFree=1819992/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=6240 CPUtime=0.68 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 1098 0 0 0 67 1 0 0 23 0 1 0 247843121 6389760 1081 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 1560 1081 93 219 0 1337 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6240 [startup+1.50129 s] /proc/loadavg: 0.91 0.98 0.99 2/78 9503 /proc/meminfo: memFree=1815248/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=6828 CPUtime=1.49 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 1522 0 0 0 146 3 0 0 25 0 1 0 247843121 6991872 1456 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 1707 1456 94 219 0 1484 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6828 [startup+3.10162 s] /proc/loadavg: 0.91 0.98 0.99 2/78 9503 /proc/meminfo: memFree=1814160/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=7608 CPUtime=3.09 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 1790 0 0 0 304 5 0 0 25 0 1 0 247843121 7790592 1627 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9502/statm: 1902 1627 94 219 0 1679 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7608 [startup+6.30227 s] /proc/loadavg: 0.92 0.98 0.99 2/84 9529 /proc/meminfo: memFree=1811360/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=12232 CPUtime=6.28 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 2277 0 0 0 620 8 0 0 25 0 1 0 247843121 12525568 2114 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9502/statm: 3058 2114 94 219 0 2835 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 12232 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/84 9577 /proc/meminfo: memFree=1809576/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=13680 CPUtime=12.67 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 2711 0 0 0 1254 13 0 0 25 0 1 0 247843121 14008320 2355 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 3420 2355 94 219 0 3197 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 13680 [startup+25.5011 s] /proc/loadavg: 0.94 0.98 0.99 2/84 9625 /proc/meminfo: memFree=1807336/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=14428 CPUtime=25.44 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 3255 0 0 0 2522 22 0 0 25 0 1 0 247843121 14774272 2899 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 3607 2899 94 219 0 3384 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 14428 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/84 9677 /proc/meminfo: memFree=1804192/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=17044 CPUtime=51 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 4439 0 0 0 5063 37 0 0 25 0 1 0 247843121 17453056 3698 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 4261 3698 94 219 0 4038 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 17044 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 9701 /proc/meminfo: memFree=1797656/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=31408 CPUtime=102.16 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 7106 0 0 0 10150 66 0 0 25 0 1 0 247843121 32161792 5596 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 7852 5596 94 219 0 7629 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 31408 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9701 /proc/meminfo: memFree=1795160/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=32764 CPUtime=162.14 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 7755 0 0 0 16119 95 0 0 25 0 1 0 247843121 33550336 6245 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 8191 6245 94 219 0 7968 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 32764 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9701 /proc/meminfo: memFree=1792536/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=34236 CPUtime=222.12 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 8379 0 0 0 22089 123 0 0 25 0 1 0 247843121 35057664 6869 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 8559 6869 94 219 0 8336 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 34236 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9701 /proc/meminfo: memFree=1790296/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=41764 CPUtime=282.09 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 10489 0 0 0 28057 152 0 0 25 0 1 0 247843121 42766336 7442 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 10441 7442 94 219 0 10218 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 41764 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9701 /proc/meminfo: memFree=1787224/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=42440 CPUtime=342.07 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 11239 0 0 0 34030 177 0 0 25 0 1 0 247843121 43458560 8192 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 10610 8192 94 219 0 10387 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 42440 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9701 /proc/meminfo: memFree=1785240/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=43984 CPUtime=402.05 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 11737 0 0 0 40005 200 0 0 25 0 1 0 247843121 45039616 8690 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 10996 8690 94 219 0 10773 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 43984 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9701 /proc/meminfo: memFree=1783896/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=44668 CPUtime=462.02 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 12102 0 0 0 45981 221 0 0 25 0 1 0 247843121 45740032 9055 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 11167 9055 94 219 0 10944 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 44668 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9701 /proc/meminfo: memFree=1780504/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=45544 CPUtime=522 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 12969 0 0 0 51958 242 0 0 25 0 1 0 247843121 46637056 9922 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 11386 9922 94 219 0 11163 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 45544 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9701 /proc/meminfo: memFree=1778584/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=46488 CPUtime=581.99 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 13439 0 0 0 57936 263 0 0 25 0 1 0 247843121 47603712 10392 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 11622 10392 94 219 0 11399 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 46488 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9701 /proc/meminfo: memFree=1775768/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=48140 CPUtime=641.96 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 14138 0 0 0 63913 283 0 0 25 0 1 0 247843121 49295360 11091 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 12035 11091 94 219 0 11812 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 48140 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.06 1.00 1.00 2/78 9701 /proc/meminfo: memFree=1771928/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=61996 CPUtime=821.89 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 18173 0 0 0 81853 336 0 0 25 0 1 0 247843121 63483904 12053 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 15499 12053 94 219 0 15276 0 Current children cumulated CPU time (s) 821.89 Current children cumulated vsize (KiB) 61996 [startup+882.301 s] /proc/loadavg: 1.07 1.01 1.00 2/78 9701 /proc/meminfo: memFree=1770648/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=62748 CPUtime=881.87 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 18491 0 0 0 87831 356 0 0 25 0 1 0 247843121 64253952 12371 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 15687 12371 104 219 0 15464 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 62748 [startup+942.301 s] /proc/loadavg: 1.06 1.02 1.00 2/78 9701 /proc/meminfo: memFree=1769560/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=63548 CPUtime=941.84 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 18774 0 0 0 93813 371 0 0 25 0 1 0 247843121 65073152 12654 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 15887 12654 104 219 0 15664 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 63548 [startup+1002.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 9701 /proc/meminfo: memFree=1768664/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=64396 CPUtime=1001.82 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 19000 0 0 0 99792 390 0 0 25 0 1 0 247843121 65941504 12880 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 16099 12880 104 219 0 15876 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 64396 [startup+1062.3 s] /proc/loadavg: 1.06 1.04 1.00 2/78 9701 /proc/meminfo: memFree=1767384/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=64396 CPUtime=1061.8 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 19312 0 0 0 105776 404 0 0 25 0 1 0 247843121 65941504 13192 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 16099 13192 104 219 0 15876 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 64396 [startup+1122.3 s] /proc/loadavg: 1.39 1.12 1.03 2/78 9701 /proc/meminfo: memFree=1766552/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=65300 CPUtime=1121.78 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 19519 0 0 0 111758 420 0 0 25 0 1 0 247843121 66867200 13399 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 16325 13399 104 219 0 16102 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 65300 [startup+1182.3 s] /proc/loadavg: 1.22 1.11 1.03 2/78 9701 /proc/meminfo: memFree=1765720/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=65300 CPUtime=1181.76 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 19728 0 0 0 117741 435 0 0 25 0 1 0 247843121 66867200 13608 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 16325 13608 104 219 0 16102 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 65300 [startup+1242.3 s] /proc/loadavg: 1.14 1.11 1.03 2/78 9701 /proc/meminfo: memFree=1764120/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=82836 CPUtime=1241.73 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 20112 0 0 0 123723 450 0 0 25 0 1 0 247843121 84824064 13992 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 20709 13992 104 219 0 20486 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 82836 [startup+1302.3 s] /proc/loadavg: 1.11 1.10 1.03 2/78 9701 /proc/meminfo: memFree=1763032/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=82836 CPUtime=1301.71 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 20389 0 0 0 129704 467 0 0 25 0 1 0 247843121 84824064 14269 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 20709 14269 104 219 0 20486 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 82836 [startup+1362.3 s] /proc/loadavg: 1.10 1.09 1.02 2/78 9701 /proc/meminfo: memFree=1762264/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=83856 CPUtime=1361.69 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 20581 0 0 0 135687 482 0 0 25 0 1 0 247843121 85868544 14461 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 20964 14461 104 219 0 20741 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 83856 [startup+1422.31 s] /proc/loadavg: 1.09 1.09 1.02 2/78 9701 /proc/meminfo: memFree=1761368/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=83856 CPUtime=1421.66 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 20802 0 0 0 141668 498 0 0 25 0 1 0 247843121 85868544 14682 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 20964 14682 104 219 0 20741 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 83856 [startup+1482.3 s] /proc/loadavg: 1.08 1.08 1.02 2/78 9701 /proc/meminfo: memFree=1760408/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=85112 CPUtime=1481.65 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 21050 0 0 0 147653 512 0 0 25 0 1 0 247843121 87154688 14930 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 21278 14930 104 219 0 21055 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 85112 [startup+1542.3 s] /proc/loadavg: 1.07 1.08 1.02 2/78 9701 /proc/meminfo: memFree=1759448/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=85304 CPUtime=1541.62 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 21278 0 0 0 153635 527 0 0 25 0 1 0 247843121 87351296 15158 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 21326 15158 104 219 0 21103 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 85304 [startup+1602.3 s] /proc/loadavg: 1.07 1.08 1.02 2/78 9701 /proc/meminfo: memFree=1758168/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=85304 CPUtime=1601.6 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 21598 0 0 0 159616 544 0 0 25 0 1 0 247843121 87351296 15478 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 21326 15478 104 219 0 21103 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 85304 [startup+1662.3 s] /proc/loadavg: 1.06 1.08 1.02 2/78 9701 /proc/meminfo: memFree=1756952/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=86644 CPUtime=1661.58 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 21898 0 0 0 165600 558 0 0 25 0 1 0 247843121 88723456 15778 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 21661 15778 104 219 0 21438 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 86644 [startup+1722.3 s] /proc/loadavg: 1.06 1.08 1.02 2/78 9701 /proc/meminfo: memFree=1755032/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=86836 CPUtime=1721.55 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 22379 0 0 0 171582 573 0 0 25 0 1 0 247843121 88920064 16259 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 21709 16259 104 219 0 21486 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 86836 [startup+1782.3 s] /proc/loadavg: 1.05 1.07 1.02 2/78 9701 /proc/meminfo: memFree=1753752/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=88248 CPUtime=1781.52 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 22699 0 0 0 177567 585 0 0 25 0 1 0 247843121 90365952 16579 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 22062 16579 104 219 0 21839 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 88248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.04 1.07 1.02 2/78 9701 /proc/meminfo: memFree=1753496/2055920 swapFree=4154876/4192956 [pid=9502] ppid=9500 vsize=88248 CPUtime=1800.03 /proc/9502/stat : 9502 (PBS4) R 9500 9502 8172 0 -1 4194304 22757 0 0 0 179413 590 0 0 25 0 1 0 247843121 90365952 16637 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9502/statm: 22062 16637 104 219 0 21839 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 88248 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.82 CPU time (s): 1800.05 CPU user time (s): 1794.13 CPU system time (s): 5.9121 CPU usage (%): 99.9571 Max. virtual memory (cumulated for all children) (KiB): 88248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.13 system time used= 5.9121 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22758 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= 35938 runsolver used 1.46178 second user time and 4.23735 second system time The end
Begin job on node20 on Tue May 1 06:00:58 UTC 2007 IDJOB= 430822 IDBENCH= 48008 IDSOLVER= 157 FILE ID= node20/430822-1177999257 PBS_JOBID= 4728253 Free space on /tmp= 66563 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb COMMAND LINE= /tmp/evaluation/430822-1177999257/PBS4 /tmp/evaluation/430822-1177999257/instance-430822-1177999257.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-430822-1177999257 -o ROOT/results/node20/conversion-430822-1177999257 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/430822-1177999257/instance-430822-1177999257.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-430822-1177999257 -o ROOT/results/node20/solver-430822-1177999257 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/430822-1177999257/PBS4 /tmp/evaluation/430822-1177999257/instance-430822-1177999257.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= cdc1e49bcf2e6b6913c93a683c821b72 RANDOM SEED= 889854294 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1820528 kB Buffers: 46860 kB Cached: 99484 kB SwapCached: 16448 kB Active: 104856 kB Inactive: 65448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820528 kB SwapTotal: 4192956 kB SwapFree: 4154876 kB Dirty: 1284 kB Writeback: 0 kB Mapped: 30808 kB Slab: 50708 kB Committed_AS: 2349996 kB PageTables: 1748 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= 66563 MiB End job on node20 on Tue May 1 06:31:01 UTC 2007