Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.11 | 1801.42 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
MD5SUM | f8f4f876e372c51b5109e7995e83ce5e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 443 |
Best CPU time to get the best result obtained on this benchmark | 1800.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 443 |
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 | 492823 |
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 | 492823 |
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/352273-1176627897/instance-352273-1176627897.opb ...... 5.49/5.59 c done parsing opb. 5.49/5.59 o 9300 5.59/5.64 o 9266 5.69/5.72 o 9215 5.69/5.77 o 9164 5.79/5.81 o 9155 85.31/85.43 o 9150 85.41/85.51 o 9136 93.41/93.59 o 9130 102.01/102.13 o 9108 126.78/126.95 o 9021 157.86/158.04 o 8967 185.95/186.19 o 8943 407.86/408.21 o 8854 424.66/425.08 o 8847 1535.47/1536.69 o 8287 1800.09/1801.40 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/352273-1176627897/instance-352273-1176627897.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-352273-1176627897 -o ROOT/results/node67/solver-352273-1176627897 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352273-1176627897/PBS4 /tmp/evaluation/352273-1176627897/instance-352273-1176627897.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.95 0.95 2/64 9199 /proc/meminfo: memFree=1510704/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=2704 CPUtime=0 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 458 0 0 0 0 0 0 0 18 0 1 0 138779283 2768896 440 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 0 0 0 /proc/9199/statm: 676 441 86 219 0 453 0 [startup+0.0264111 s] /proc/loadavg: 0.91 0.95 0.95 2/64 9199 /proc/meminfo: memFree=1510704/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=3012 CPUtime=0.02 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 552 0 0 0 2 0 0 0 18 0 1 0 138779283 3084288 534 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134792855 0 0 4096 0 0 0 0 17 0 0 0 /proc/9199/statm: 753 534 86 219 0 530 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3012 [startup+0.101424 s] /proc/loadavg: 0.91 0.95 0.95 2/64 9199 /proc/meminfo: memFree=1510704/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=3284 CPUtime=0.09 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 613 0 0 0 9 0 0 0 18 0 1 0 138779283 3362816 595 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588268 0 0 4096 0 0 0 0 17 0 0 0 /proc/9199/statm: 821 595 87 219 0 598 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3284 [startup+0.30146 s] /proc/loadavg: 0.91 0.95 0.95 2/64 9199 /proc/meminfo: memFree=1510704/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=3444 CPUtime=0.29 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 653 0 0 0 29 0 0 0 19 0 1 0 138779283 3526656 635 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588877 0 0 4096 0 0 0 0 17 0 0 0 /proc/9199/statm: 861 635 87 219 0 638 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3444 [startup+0.701534 s] /proc/loadavg: 0.91 0.95 0.95 2/64 9199 /proc/meminfo: memFree=1510704/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=4876 CPUtime=0.69 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 1182 0 0 0 69 0 0 0 23 0 1 0 138779283 4993024 974 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 0 0 0 /proc/9199/statm: 1219 974 89 219 0 996 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4876 [startup+1.50168 s] /proc/loadavg: 0.91 0.95 0.95 2/65 9200 /proc/meminfo: memFree=1504488/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=12772 CPUtime=1.49 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 3515 0 0 0 148 1 0 0 25 0 1 0 138779283 13078528 2729 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134530221 0 0 4096 0 0 0 0 17 0 0 0 /proc/9199/statm: 3193 2729 89 219 0 2970 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12772 [startup+3.10198 s] /proc/loadavg: 0.91 0.95 0.95 2/65 9200 /proc/meminfo: memFree=1494376/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=30176 CPUtime=3.08 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 9279 0 0 0 304 4 0 0 25 0 1 0 138779283 30900224 6187 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134529780 0 0 4096 0 0 0 0 17 0 0 0 /proc/9199/statm: 7544 6187 89 219 0 7321 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30176 [startup+6.30156 s] /proc/loadavg: 0.92 0.95 0.95 2/65 9200 /proc/meminfo: memFree=1468136/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=54564 CPUtime=6.28 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 17164 0 0 0 607 21 0 0 25 0 1 0 138779283 55873536 10979 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 13641 10979 104 219 0 13418 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 54564 [startup+12.7017 s] /proc/loadavg: 0.93 0.95 0.95 2/65 9200 /proc/meminfo: memFree=1465832/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=55620 CPUtime=12.69 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 17538 0 0 0 1194 75 0 0 25 0 1 0 138779283 56954880 11353 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 13905 11353 104 219 0 13682 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 55620 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.95 2/65 9200 /proc/meminfo: memFree=1461672/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=73720 CPUtime=25.47 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 18613 0 0 0 2444 103 0 0 25 0 1 0 138779283 75489280 12428 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 18430 12428 104 219 0 18207 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 73720 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.95 2/65 9200 /proc/meminfo: memFree=1454312/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=75152 CPUtime=51.04 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 20445 0 0 0 4958 146 0 0 25 0 1 0 138779283 76955648 14260 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 18788 14260 104 219 0 18565 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 75152 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.95 2/65 9200 /proc/meminfo: memFree=1442536/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=79496 CPUtime=102.21 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 23348 0 0 0 9929 292 0 0 25 0 1 0 138779283 81403904 17163 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 19874 17163 104 219 0 19651 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 79496 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1440616/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=81264 CPUtime=162.17 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 23825 0 0 0 15705 512 0 0 25 0 1 0 138779283 83214336 17640 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 20316 17640 104 219 0 20093 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 81264 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1438504/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=83256 CPUtime=222.11 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 24365 0 0 0 21414 797 0 0 25 0 1 0 138779283 85254144 18180 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 20814 18180 104 219 0 20591 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 83256 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1437608/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=84324 CPUtime=282.07 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 24613 0 0 0 27185 1022 0 0 25 0 1 0 138779283 86347776 18428 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 21081 18428 104 219 0 20858 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 84324 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1436648/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=85244 CPUtime=342.02 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 24873 0 0 0 32942 1260 0 0 25 0 1 0 138779283 87289856 18688 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 21311 18688 104 219 0 21088 0 Current children cumulated CPU time (s) 342.02 Current children cumulated vsize (KiB) 85244 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1435880/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=86032 CPUtime=401.97 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 25083 0 0 0 38729 1468 0 0 25 0 1 0 138779283 88096768 18898 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9199/statm: 21508 18898 104 219 0 21285 0 Current children cumulated CPU time (s) 401.97 Current children cumulated vsize (KiB) 86032 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1434664/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=86976 CPUtime=461.93 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 25370 0 0 0 44418 1775 0 0 25 0 1 0 138779283 89063424 19185 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 21744 19185 104 219 0 21521 0 Current children cumulated CPU time (s) 461.93 Current children cumulated vsize (KiB) 86976 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1433768/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=87916 CPUtime=521.89 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 25597 0 0 0 50149 2040 0 0 25 0 1 0 138779283 90025984 19412 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 21979 19412 104 219 0 21756 0 Current children cumulated CPU time (s) 521.89 Current children cumulated vsize (KiB) 87916 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1433192/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=88340 CPUtime=581.85 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 25735 0 0 0 55966 2219 0 0 25 0 1 0 138779283 90460160 19550 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 22085 19550 104 219 0 21862 0 Current children cumulated CPU time (s) 581.85 Current children cumulated vsize (KiB) 88340 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1432808/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=88656 CPUtime=641.81 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 25834 0 0 0 61754 2427 0 0 25 0 1 0 138779283 90783744 19649 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 22164 19649 104 219 0 21941 0 Current children cumulated CPU time (s) 641.81 Current children cumulated vsize (KiB) 88656 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1430120/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=91144 CPUtime=821.68 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 26482 0 0 0 78866 3302 0 0 25 0 1 0 138779283 93331456 20297 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 22786 20297 104 219 0 22563 0 Current children cumulated CPU time (s) 821.68 Current children cumulated vsize (KiB) 91144 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1429480/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=91524 CPUtime=881.63 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 26648 0 0 0 84655 3508 0 0 25 0 1 0 138779283 93720576 20463 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 22881 20463 104 219 0 22658 0 Current children cumulated CPU time (s) 881.63 Current children cumulated vsize (KiB) 91524 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1428904/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=92220 CPUtime=941.59 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 26797 0 0 0 90375 3784 0 0 25 0 1 0 138779283 94433280 20612 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23055 20612 104 219 0 22832 0 Current children cumulated CPU time (s) 941.59 Current children cumulated vsize (KiB) 92220 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1428392/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=92620 CPUtime=1001.55 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 26923 0 0 0 96121 4034 0 0 25 0 1 0 138779283 94842880 20738 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23155 20738 104 219 0 22932 0 Current children cumulated CPU time (s) 1001.55 Current children cumulated vsize (KiB) 92620 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1427880/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=92892 CPUtime=1061.5 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27067 0 0 0 101854 4296 0 0 25 0 1 0 138779283 95121408 20882 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23223 20882 104 219 0 23000 0 Current children cumulated CPU time (s) 1061.5 Current children cumulated vsize (KiB) 92892 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1427304/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=93228 CPUtime=1121.46 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27199 0 0 0 107585 4561 0 0 25 0 1 0 138779283 95465472 21014 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23307 21014 104 219 0 23084 0 Current children cumulated CPU time (s) 1121.46 Current children cumulated vsize (KiB) 93228 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1426728/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=93888 CPUtime=1181.43 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27352 0 0 0 113293 4850 0 0 25 0 1 0 138779283 96141312 21167 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23472 21167 104 219 0 23249 0 Current children cumulated CPU time (s) 1181.43 Current children cumulated vsize (KiB) 93888 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1426344/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=93964 CPUtime=1241.35 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27408 0 0 0 119140 4995 0 0 25 0 1 0 138779283 96219136 21223 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23491 21223 104 219 0 23268 0 Current children cumulated CPU time (s) 1241.35 Current children cumulated vsize (KiB) 93964 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1426088/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=94140 CPUtime=1301.33 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27456 0 0 0 124974 5159 0 0 25 0 1 0 138779283 96399360 21271 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23535 21271 104 219 0 23312 0 Current children cumulated CPU time (s) 1301.33 Current children cumulated vsize (KiB) 94140 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1425640/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=94760 CPUtime=1361.29 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27596 0 0 0 130761 5368 0 0 25 0 1 0 138779283 97034240 21411 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23690 21411 104 219 0 23467 0 Current children cumulated CPU time (s) 1361.29 Current children cumulated vsize (KiB) 94760 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1425320/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=94948 CPUtime=1421.24 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27675 0 0 0 136518 5606 0 0 25 0 1 0 138779283 97226752 21490 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23737 21490 104 219 0 23514 0 Current children cumulated CPU time (s) 1421.24 Current children cumulated vsize (KiB) 94948 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1424808/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=95332 CPUtime=1481.2 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27808 0 0 0 142243 5877 0 0 25 0 1 0 138779283 97619968 21623 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23833 21623 104 219 0 23610 0 Current children cumulated CPU time (s) 1481.2 Current children cumulated vsize (KiB) 95332 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1424232/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=95628 CPUtime=1541.16 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 27942 0 0 0 147989 6127 0 0 25 0 1 0 138779283 97923072 21757 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 23907 21757 104 219 0 23684 0 Current children cumulated CPU time (s) 1541.16 Current children cumulated vsize (KiB) 95628 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1423848/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=96168 CPUtime=1601.11 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 28039 0 0 0 153763 6348 0 0 25 0 1 0 138779283 98476032 21854 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 24042 21854 104 219 0 23819 0 Current children cumulated CPU time (s) 1601.11 Current children cumulated vsize (KiB) 96168 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1423336/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=96532 CPUtime=1661.07 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 28152 0 0 0 159480 6627 0 0 25 0 1 0 138779283 98848768 21967 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549780 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 24133 21967 104 219 0 23910 0 Current children cumulated CPU time (s) 1661.07 Current children cumulated vsize (KiB) 96532 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1422952/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=96756 CPUtime=1721.04 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 28279 0 0 0 165218 6886 0 0 25 0 1 0 138779283 99078144 22094 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 24189 22094 104 219 0 23966 0 Current children cumulated CPU time (s) 1721.04 Current children cumulated vsize (KiB) 96756 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1422184/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=97036 CPUtime=1781 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 28402 0 0 0 170969 7131 0 0 25 0 1 0 138779283 99364864 22217 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 24259 22217 104 219 0 24036 0 Current children cumulated CPU time (s) 1781 Current children cumulated vsize (KiB) 97036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.95 2/65 9200 /proc/meminfo: memFree=1422120/2055920 swapFree=4183904/4192956 [pid=9199] ppid=9197 vsize=97456 CPUtime=1800.09 /proc/9199/stat : 9199 (PBS4) R 9197 9199 8454 0 -1 4194304 28426 0 0 0 172803 7206 0 0 25 0 1 0 138779283 99794944 22241 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9199/statm: 24364 22241 104 219 0 24141 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 97456 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): 1801.42 CPU time (s): 1800.11 CPU user time (s): 1728.03 CPU system time (s): 72.082 CPU usage (%): 99.9273 Max. virtual memory (cumulated for all children) (KiB): 97456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1728.03 system time used= 72.082 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28427 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= 8117 runsolver used 1.66975 second user time and 4.89226 second system time The end
Begin job on node67 on Sun Apr 15 09:04:58 UTC 2007 IDJOB= 352273 IDBENCH= 1963 IDSOLVER= 157 FILE ID= node67/352273-1176627897 PBS_JOBID= 4559783 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_11.opb.PB06.opb COMMAND LINE= /tmp/evaluation/352273-1176627897/PBS4 /tmp/evaluation/352273-1176627897/instance-352273-1176627897.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-352273-1176627897 -o ROOT/results/node67/conversion-352273-1176627897 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352273-1176627897/instance-352273-1176627897.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-352273-1176627897 -o ROOT/results/node67/solver-352273-1176627897 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/352273-1176627897/PBS4 /tmp/evaluation/352273-1176627897/instance-352273-1176627897.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e RANDOM SEED= 166240019 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1511176 kB Buffers: 21960 kB Cached: 424720 kB SwapCached: 3140 kB Active: 109216 kB Inactive: 347364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1511176 kB SwapTotal: 4192956 kB SwapFree: 4183904 kB Dirty: 17964 kB Writeback: 0 kB Mapped: 15876 kB Slab: 74136 kB Committed_AS: 162120 kB PageTables: 1452 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 node67 on Sun Apr 15 09:35:01 UTC 2007