Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.06 | 1800.92 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb |
MD5SUM | ca3282cf347faf21ba3550ec87dd7af4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 466 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 466 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 494728 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 494728 |
Number of bits of the biggest sum of numbers | 19 |
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/352338-1176629497/instance-352338-1176629497.opb ...... 5.59/5.62 c done parsing opb. 5.59/5.62 o 9726 5.59/5.67 o 9685 5.69/5.70 o 9676 5.69/5.77 o 9595 5.79/5.85 o 9557 92.80/92.92 o 9499 93.10/93.26 o 8942 1583.11/1583.88 o 8466 1800.04/1800.90 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/352338-1176629497/instance-352338-1176629497.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-352338-1176629497 -o ROOT/results/node62/solver-352338-1176629497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352338-1176629497/PBS4 /tmp/evaluation/352338-1176629497/instance-352338-1176629497.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 0.99 3/64 23806 /proc/meminfo: memFree=1740136/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=2704 CPUtime=0 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 459 0 0 0 0 0 0 0 18 0 1 0 95115316 2768896 441 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 0 0 0 /proc/23806/statm: 676 441 86 219 0 453 0 [startup+0.0563591 s] /proc/loadavg: 1.00 1.00 0.99 3/64 23806 /proc/meminfo: memFree=1740136/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=3284 CPUtime=0.05 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 613 0 0 0 5 0 0 0 18 0 1 0 95115316 3362816 595 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588374 0 0 4096 0 0 0 0 17 0 0 0 /proc/23806/statm: 821 595 87 219 0 598 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3284 [startup+0.102369 s] /proc/loadavg: 1.00 1.00 0.99 3/64 23806 /proc/meminfo: memFree=1740136/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=3284 CPUtime=0.1 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 613 0 0 0 10 0 0 0 18 0 1 0 95115316 3362816 595 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588374 0 0 4096 0 0 0 0 17 0 0 0 /proc/23806/statm: 821 595 87 219 0 598 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3284 [startup+0.302407 s] /proc/loadavg: 1.00 1.00 0.99 3/64 23806 /proc/meminfo: memFree=1740136/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=3444 CPUtime=0.3 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 653 0 0 0 30 0 0 0 19 0 1 0 95115316 3526656 635 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134589003 0 0 4096 0 0 0 0 17 0 0 0 /proc/23806/statm: 861 635 87 219 0 638 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3444 [startup+0.701488 s] /proc/loadavg: 1.00 1.00 0.99 3/64 23806 /proc/meminfo: memFree=1740136/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=4876 CPUtime=0.69 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 1192 0 0 0 69 0 0 0 23 0 1 0 95115316 4993024 984 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134783384 0 0 4096 0 0 0 0 17 0 0 0 /proc/23806/statm: 1219 984 89 219 0 996 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4876 [startup+1.50165 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1733856/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=12772 CPUtime=1.49 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 3521 0 0 0 148 1 0 0 25 0 1 0 95115316 13078528 2735 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135023547 0 0 4096 0 0 0 0 17 0 0 0 /proc/23806/statm: 3193 2735 89 219 0 2970 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12772 [startup+3.1042 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1723744/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=30176 CPUtime=3.09 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 9288 0 0 0 305 4 0 0 25 0 1 0 95115316 30900224 6196 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134518488 0 0 4096 0 0 0 0 17 0 0 0 /proc/23806/statm: 7544 6196 89 219 0 7321 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30176 [startup+6.30159 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1697696/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=54564 CPUtime=6.29 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 17188 0 0 0 609 20 0 0 25 0 1 0 95115316 55873536 11003 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23806/statm: 13641 11003 104 219 0 13418 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54564 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1696160/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=54564 CPUtime=12.68 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 17229 0 0 0 1232 36 0 0 25 0 1 0 95115316 55873536 11044 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23806/statm: 13641 11044 104 219 0 13418 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 54564 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1693664/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=72928 CPUtime=25.47 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 17963 0 0 0 2454 93 0 0 25 0 1 0 95115316 74678272 11778 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23806/statm: 18232 11778 104 219 0 18009 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 72928 [startup+51.1024 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1687072/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=73848 CPUtime=51.04 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 19606 0 0 0 4972 132 0 0 25 0 1 0 95115316 75620352 13421 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23806/statm: 18462 13421 104 219 0 18239 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 73848 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1673312/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=78356 CPUtime=102.2 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 23003 0 0 0 9982 238 0 0 25 0 1 0 95115316 80236544 16818 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/23806/statm: 19589 16818 104 219 0 19366 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 78356 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1671968/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=79624 CPUtime=162.14 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 23334 0 0 0 15863 351 0 0 25 0 1 0 95115316 81534976 17149 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 19906 17149 104 219 0 19683 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 79624 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1670752/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=80936 CPUtime=222.12 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 23638 0 0 0 21692 520 0 0 25 0 1 0 95115316 82878464 17453 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 20234 17453 104 219 0 20011 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 80936 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1668512/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=82948 CPUtime=282.09 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 24180 0 0 0 27363 846 0 0 25 0 1 0 95115316 84938752 17995 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 20737 17995 104 219 0 20514 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 82948 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1668000/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=83336 CPUtime=342.07 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 24304 0 0 0 33249 958 0 0 25 0 1 0 95115316 85336064 18119 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 20834 18119 104 219 0 20611 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 83336 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1666528/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=84700 CPUtime=402.05 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 24664 0 0 0 38911 1294 0 0 25 0 1 0 95115316 86732800 18479 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 21175 18479 104 219 0 20952 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 84700 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1665312/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=85896 CPUtime=462.02 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 24959 0 0 0 44608 1594 0 0 25 0 1 0 95115316 87957504 18774 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 21474 18774 104 219 0 21251 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 85896 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1664992/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=86072 CPUtime=522 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 25033 0 0 0 50479 1721 0 0 25 0 1 0 95115316 88137728 18848 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 21518 18848 104 219 0 21295 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 86072 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1663840/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=87156 CPUtime=581.98 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 25314 0 0 0 56159 2039 0 0 25 0 1 0 95115316 89247744 19129 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 21789 19129 104 219 0 21566 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 87156 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1662816/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=88100 CPUtime=641.97 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 25564 0 0 0 61817 2380 0 0 25 0 1 0 95115316 90214400 19379 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 22025 19379 104 219 0 21802 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 88100 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1661088/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=89636 CPUtime=881.87 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 25998 0 0 0 85023 3164 0 0 25 0 1 0 95115316 91787264 19813 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 22409 19813 104 219 0 22186 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 89636 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1660896/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=89696 CPUtime=941.85 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 26043 0 0 0 90944 3241 0 0 25 0 1 0 95115316 91848704 19858 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 22424 19858 104 219 0 22201 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 89696 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1660192/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=90404 CPUtime=1001.82 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 26201 0 0 0 96667 3515 0 0 25 0 1 0 95115316 92573696 20016 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 22601 20016 104 219 0 22378 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 90404 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1659872/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=90632 CPUtime=1061.8 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 26280 0 0 0 102345 3835 0 0 25 0 1 0 95115316 92807168 20095 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 22658 20095 104 219 0 22435 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 90632 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1659616/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=90808 CPUtime=1121.78 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 26357 0 0 0 108259 3919 0 0 25 0 1 0 95115316 92987392 20172 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 22702 20172 104 219 0 22479 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 90808 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1659168/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=91224 CPUtime=1181.76 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 26497 0 0 0 114025 4151 0 0 25 0 1 0 95115316 93413376 20312 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 22806 20312 104 219 0 22583 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 91224 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1658464/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=91896 CPUtime=1241.73 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 26620 0 0 0 119841 4332 0 0 25 0 1 0 95115316 94101504 20435 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 22974 20435 104 219 0 22751 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 91896 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1657888/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=92328 CPUtime=1301.72 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 26758 0 0 0 125548 4624 0 0 25 0 1 0 95115316 94543872 20573 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23082 20573 104 219 0 22859 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 92328 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1657504/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=92608 CPUtime=1361.69 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 26853 0 0 0 131329 4840 0 0 25 0 1 0 95115316 94830592 20668 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23152 20668 104 219 0 22929 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 92608 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1657120/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=92880 CPUtime=1421.68 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 26941 0 0 0 137128 5040 0 0 25 0 1 0 95115316 95109120 20756 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23220 20756 104 219 0 22997 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 92880 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1656672/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=93172 CPUtime=1481.65 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 27067 0 0 0 142781 5384 0 0 25 0 1 0 95115316 95408128 20882 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23293 20882 104 219 0 23070 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 93172 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1656288/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=93392 CPUtime=1541.63 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 27147 0 0 0 148530 5633 0 0 25 0 1 0 95115316 95633408 20962 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23348 20962 104 219 0 23125 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 93392 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1655840/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=93980 CPUtime=1601.6 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 27260 0 0 0 154189 5971 0 0 25 0 1 0 95115316 96235520 21075 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23495 21075 104 219 0 23272 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 93980 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1655264/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=94404 CPUtime=1661.58 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 27448 0 0 0 159902 6256 0 0 25 0 1 0 95115316 96669696 21263 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23601 21263 104 219 0 23378 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 94404 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 23807 /proc/meminfo: memFree=1654624/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=94972 CPUtime=1721.56 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 27552 0 0 0 165615 6541 0 0 25 0 1 0 95115316 97251328 21367 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23743 21367 104 219 0 23520 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 94972 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/71 23915 /proc/meminfo: memFree=1652776/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=95340 CPUtime=1781.48 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 27651 0 0 0 171318 6830 0 0 25 0 1 0 95115316 97628160 21466 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23835 21466 104 219 0 23612 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 95340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.99 2/71 23973 /proc/meminfo: memFree=1652584/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=95340 CPUtime=1800.04 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 27690 0 0 0 173057 6947 0 0 25 0 1 0 95115316 97628160 21505 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23835 21505 104 219 0 23612 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 95340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.99 2/71 23973 /proc/meminfo: memFree=1652584/2055920 swapFree=4184604/4192956 [pid=23806] ppid=23804 vsize=95340 CPUtime=1800.04 /proc/23806/stat : 23806 (PBS4) R 23804 23806 23103 0 -1 4194304 27690 0 0 0 173057 6947 0 0 25 0 1 0 95115316 97628160 21505 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23806/statm: 23835 21505 104 219 0 23612 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 95340 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.06 CPU user time (s): 1730.57 CPU system time (s): 69.4884 CPU usage (%): 99.9523 Max. virtual memory (cumulated for all children) (KiB): 95340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1730.57 system time used= 69.4884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27691 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= 4383 runsolver used 1.21081 second user time and 3.89341 second system time The end
Begin job on node62 on Sun Apr 15 09:31:38 UTC 2007 IDJOB= 352338 IDBENCH= 1968 IDSOLVER= 157 FILE ID= node62/352338-1176629497 PBS_JOBID= 4559779 Free space on /tmp= 66547 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb COMMAND LINE= /tmp/evaluation/352338-1176629497/PBS4 /tmp/evaluation/352338-1176629497/instance-352338-1176629497.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node62/convwatcher-352338-1176629497 -o ROOT/results/node62/conversion-352338-1176629497 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352338-1176629497/instance-352338-1176629497.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-352338-1176629497 -o ROOT/results/node62/solver-352338-1176629497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352338-1176629497/PBS4 /tmp/evaluation/352338-1176629497/instance-352338-1176629497.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4 RANDOM SEED= 943018626 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.279 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.279 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: 1740544 kB Buffers: 13268 kB Cached: 203104 kB SwapCached: 2112 kB Active: 56604 kB Inactive: 169160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1740544 kB SwapTotal: 4192956 kB SwapFree: 4184604 kB Dirty: 17964 kB Writeback: 0 kB Mapped: 16260 kB Slab: 75580 kB Committed_AS: 151752 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= 66547 MiB End job on node62 on Sun Apr 15 10:01:41 UTC 2007