Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (MO) | 1561.87 | 1562.41 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb |
MD5SUM | 6389567e651775a5f815611581d2023e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 474 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 474 |
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 | 494177 |
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 | 494177 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 18.68/18.70 c starting to Solve 18.68/18.71 c #variables read: 10000 - #constraints read: 656901 25.08/25.12 o 7098 25.28/25.33 o 7061 26.08/26.14 o 7058 27.59/27.60 o 6714 28.59/28.66 o 6695 28.79/28.85 o 6682 31.09/31.11 o 6678 31.69/31.72 o 6675 31.79/31.87 o 6662 31.99/32.04 o 6661 32.38/32.42 o 6650 32.48/32.58 o 6611 37.28/37.32 o 6585 37.78/37.90 o 6580 45.47/45.58 o 6573 45.67/45.73 o 6553 45.87/45.98 o 6494 46.08/46.12 o 6474 46.18/46.28 o 6328 46.37/46.42 o 6305 46.47/46.57 o 6285 47.28/47.38 o 6273 47.47/47.52 o 6255 47.77/47.89 o 6252 48.57/48.60 o 6211 49.27/49.32 o 6196 49.37/49.46 o 6188 49.77/49.82 o 6178 49.87/49.97 o 6170 50.47/50.58 o 6136 50.67/50.75 o 6108 50.87/50.90 o 6100 51.57/51.60 o 6098 51.67/51.75 o 6090 54.97/55.10 o 6071 55.17/55.26 o 6061 62.27/62.35 o 6060 62.47/62.51 o 6054 62.57/62.68 o 6039 62.77/62.89 o 6031 62.97/63.07 o 6013 63.17/63.24 o 5998 63.37/63.40 o 5963 63.47/63.57 o 5953 63.67/63.73 o 5948 63.87/63.90 o 5938 63.97/64.07 o 5912 64.17/64.23 o 5902 64.37/64.41 o 5897 64.47/64.57 o 5887 64.67/64.75 o 5879 66.27/66.37 o 5872 103.56/103.60 o 5871 103.66/103.74 o 5867 103.86/103.90 o 5866 112.25/112.36 o 5856 112.55/112.60 o 5855 112.95/113.05 o 5841 113.15/113.20 o 5815 113.35/113.40 o 5787 113.45/113.55 o 5786 113.85/113.94 o 5784 114.05/114.10 o 5783 114.15/114.25 o 5773 114.35/114.41 o 5772 242.71/242.87 o 5769 242.92/243.02 o 5762 243.02/243.17 o 5751 243.21/243.32 o 5746 243.31/243.46 o 5698 285.60/285.71 o 5647 285.70/285.86 o 5641 285.90/286.03 o 5628 286.00/286.17 o 5622 332.18/332.31 o 5620 542.61/542.81 o 5589 737.43/737.79 o 5577 737.84/738.18 o 5562 838.40/838.76 o 5556 840.30/840.63 o 5544 840.90/841.25 o 5538
ERROR: no interpretation found !
/tmp/evaluation/352437-1176631955/instance-352437-1176631955.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-352437-1176631955 -o ROOT/results/node39/solver-352437-1176631955 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352437-1176631955/instance-352437-1176631955.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.85 0.97 0.99 3/77 31593 /proc/meminfo: memFree=1492024/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=2552 CPUtime=0 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 111107632 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 638 230 193 16 0 77 0 [startup+0.0135319 s] /proc/loadavg: 0.85 0.97 0.99 3/77 31593 /proc/meminfo: memFree=1492024/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=2816 CPUtime=0.01 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 322 0 0 0 1 0 0 0 18 0 1 0 111107632 2883584 292 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 704 292 193 16 0 143 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2816 [startup+0.101547 s] /proc/loadavg: 0.85 0.97 0.99 3/77 31593 /proc/meminfo: memFree=1492024/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=4416 CPUtime=0.09 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 728 0 0 0 9 0 0 0 18 0 1 0 111107632 4521984 698 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 1104 698 199 16 0 543 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4416 [startup+0.301579 s] /proc/loadavg: 0.85 0.97 0.99 3/77 31593 /proc/meminfo: memFree=1492024/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=6948 CPUtime=0.29 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 1374 0 0 0 29 0 0 0 19 0 1 0 111107632 7114752 1344 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 1737 1344 199 16 0 1176 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6948 [startup+0.701647 s] /proc/loadavg: 0.85 0.97 0.99 3/77 31593 /proc/meminfo: memFree=1492024/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=12008 CPUtime=0.69 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 2622 0 0 0 68 1 0 0 23 0 1 0 111107632 12296192 2592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 3002 2592 199 16 0 2441 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12008 [startup+1.50178 s] /proc/loadavg: 0.85 0.97 0.99 2/78 31594 /proc/meminfo: memFree=1478704/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=21732 CPUtime=1.49 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 5071 0 0 0 147 2 0 0 25 0 1 0 111107632 22253568 5041 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 5433 5041 199 16 0 4872 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21732 [startup+3.10106 s] /proc/loadavg: 0.85 0.97 0.99 2/78 31594 /proc/meminfo: memFree=1465328/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=40784 CPUtime=3.09 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 9823 0 0 0 305 4 0 0 25 0 1 0 111107632 41762816 9793 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 10196 9793 199 16 0 9635 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40784 [startup+6.30159 s] /proc/loadavg: 0.94 0.98 0.99 2/78 31594 /proc/meminfo: memFree=1425968/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=78748 CPUtime=6.29 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 19332 0 0 0 619 10 0 0 25 0 1 0 111107632 80637952 19302 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 19687 19302 199 16 0 19126 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 78748 [startup+12.7017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 31594 /proc/meminfo: memFree=1410096/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=85476 CPUtime=12.69 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 20724 0 0 0 1258 11 0 0 25 0 1 0 111107632 87527424 20694 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532452 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 21369 20694 204 16 0 20808 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 85476 [startup+25.5018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 31594 /proc/meminfo: memFree=1400880/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=95448 CPUtime=25.48 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 23016 0 0 0 2537 11 0 0 25 0 1 0 111107632 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 23862 22986 206 16 0 23301 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 95448 [startup+51.1012 s] /proc/loadavg: 0.97 0.98 0.99 2/78 31594 /proc/meminfo: memFree=1400880/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=95448 CPUtime=51.07 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 23016 0 0 0 5095 12 0 0 25 0 1 0 111107632 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 23862 22986 206 16 0 23301 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 95448 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=1365552/2055920 swapFree=4154220/4192956 [pid=31593] ppid=31591 vsize=130848 CPUtime=102.26 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 31851 0 0 0 10206 20 0 0 25 0 1 0 111107632 133988352 31821 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 32712 31821 206 16 0 32151 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 130848 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=1294128/2055920 swapFree=4154288/4192956 [pid=31593] ppid=31591 vsize=203268 CPUtime=162.23 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 49952 0 0 0 16191 32 0 0 25 0 1 0 111107632 208146432 49922 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 50817 49922 206 16 0 50256 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 203268 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=1198512/2055920 swapFree=4154288/4192956 [pid=31593] ppid=31591 vsize=297860 CPUtime=222.22 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 73556 0 0 0 22174 48 0 0 25 0 1 0 111107632 305008640 73526 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134558763 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 74465 73526 206 16 0 73904 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 297860 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=1136560/2055920 swapFree=4154352/4192956 [pid=31593] ppid=31591 vsize=360224 CPUtime=282.19 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 89163 0 0 0 28161 58 0 0 25 0 1 0 111107632 368869376 89133 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 90056 89133 206 16 0 89495 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 360224 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=1071344/2055920 swapFree=4154352/4192956 [pid=31593] ppid=31591 vsize=424940 CPUtime=342.18 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 105347 0 0 0 34149 69 0 0 25 0 1 0 111107632 435138560 105317 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 106235 105317 206 16 0 105674 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 424940 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=1004656/2055920 swapFree=4154352/4192956 [pid=31593] ppid=31591 vsize=491896 CPUtime=402.15 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 122100 0 0 0 40137 78 0 0 25 0 1 0 111107632 503701504 122070 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11527803 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 122974 122070 206 16 0 122413 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 491896 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=936688/2055920 swapFree=4154416/4192956 [pid=31593] ppid=31591 vsize=559152 CPUtime=462.13 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 138893 0 0 0 46126 87 0 0 25 0 1 0 111107632 572571648 138863 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 139788 138863 206 16 0 139227 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 559152 [startup+522.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=869104/2055920 swapFree=4154416/4192956 [pid=31593] ppid=31591 vsize=627108 CPUtime=522.11 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 155897 0 0 0 52115 96 0 0 25 0 1 0 111107632 642158592 155867 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 156777 155867 206 16 0 156216 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 627108 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=793008/2055920 swapFree=4154480/4192956 [pid=31593] ppid=31591 vsize=703328 CPUtime=582.09 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 174841 0 0 0 58101 108 0 0 25 0 1 0 111107632 720207872 174810 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 175832 174810 206 16 0 175271 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 703328 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=714672/2055920 swapFree=4154480/4192956 [pid=31593] ppid=31591 vsize=780668 CPUtime=642.07 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 194206 0 0 0 64086 121 0 0 25 0 1 0 111107632 799404032 194175 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11527803 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 195167 194175 206 16 0 194606 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 780668 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=652272/2055920 swapFree=4154480/4192956 [pid=31593] ppid=31591 vsize=843496 CPUtime=702.05 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 209904 0 0 0 70073 132 0 0 25 0 1 0 111107632 863739904 209873 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 210874 209873 206 16 0 210313 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 843496 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=587056/2055920 swapFree=4154544/4192956 [pid=31593] ppid=31591 vsize=908120 CPUtime=762.03 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 226052 0 0 0 76062 141 0 0 25 0 1 0 111107632 929914880 226021 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 227030 226021 206 16 0 226469 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 908120 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=516592/2055920 swapFree=4154544/4192956 [pid=31593] ppid=31591 vsize=979160 CPUtime=822 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 243828 0 0 0 82050 150 0 0 25 0 1 0 111107632 1002659840 243797 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 244790 243797 206 16 0 244229 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 979160 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=447728/2055920 swapFree=4154608/4192956 [pid=31593] ppid=31591 vsize=1047172 CPUtime=881.98 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 260822 0 0 0 88038 160 0 0 25 0 1 0 111107632 1072304128 260791 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 261793 260791 206 16 0 261232 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 1047172 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=379376/2055920 swapFree=4154608/4192956 [pid=31593] ppid=31591 vsize=1115916 CPUtime=941.97 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 278026 0 0 0 94024 173 0 0 25 0 1 0 111107632 1142697984 277995 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 278979 277995 206 16 0 278418 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1115916 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=321072/2055920 swapFree=4154608/4192956 [pid=31593] ppid=31591 vsize=1173536 CPUtime=1001.95 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 292450 0 0 0 100012 183 0 0 25 0 1 0 111107632 1201700864 292419 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11527803 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 293384 292419 206 16 0 292823 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1173536 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=266928/2055920 swapFree=4154672/4192956 [pid=31593] ppid=31591 vsize=1228304 CPUtime=1061.92 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 306124 0 0 0 106001 191 0 0 25 0 1 0 111107632 1257783296 306093 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134563800 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 307076 306093 206 16 0 306515 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1228304 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=193776/2055920 swapFree=4154672/4192956 [pid=31593] ppid=31591 vsize=1300864 CPUtime=1121.9 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 324294 0 0 0 111986 204 0 0 25 0 1 0 111107632 1332084736 324263 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 325216 324263 206 16 0 324655 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1300864 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=111984/2055920 swapFree=4154736/4192956 [pid=31593] ppid=31591 vsize=1384404 CPUtime=1181.88 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 344929 0 0 0 117967 221 0 0 25 0 1 0 111107632 1417629696 344898 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 346101 344898 206 16 0 345540 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1384404 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=25008/2055920 swapFree=4154736/4192956 [pid=31593] ppid=31591 vsize=1470316 CPUtime=1241.86 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 366427 0 0 0 123947 239 0 0 25 0 1 0 111107632 1505603584 366396 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 367579 366396 206 16 0 367018 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1470316 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=14832/2055920 swapFree=4154736/4192956 [pid=31593] ppid=31591 vsize=1548140 CPUtime=1301.84 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 385921 0 0 0 129928 256 0 0 25 0 1 0 111107632 1585295360 385890 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 387035 385890 206 16 0 386474 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1548140 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=15728/2055920 swapFree=4154800/4192956 [pid=31593] ppid=31591 vsize=1617020 CPUtime=1361.82 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 403128 0 0 0 135909 273 0 0 25 0 1 0 111107632 1655828480 403097 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 404255 403097 206 16 0 403694 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1617020 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=16048/2055920 swapFree=4154804/4192956 [pid=31593] ppid=31591 vsize=1685500 CPUtime=1421.8 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 420232 0 0 0 141893 287 0 0 25 0 1 0 111107632 1725952000 420201 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 421375 420201 206 16 0 420814 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1685500 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31594 /proc/meminfo: memFree=15472/2055920 swapFree=4154868/4192956 [pid=31593] ppid=31591 vsize=1751228 CPUtime=1481.78 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 436694 0 0 0 147878 300 0 0 25 0 1 0 111107632 1793257472 436663 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 437807 436663 206 16 0 437246 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1751228 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31596 /proc/meminfo: memFree=15024/2055920 swapFree=4154868/4192956 [pid=31593] ppid=31591 vsize=1822832 CPUtime=1541.76 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 454570 0 0 0 153859 317 0 0 25 0 1 0 111107632 1866579968 454539 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 455708 454539 206 16 0 455147 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1822832 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1562.1 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31596 /proc/meminfo: memFree=15152/2055920 swapFree=4137856/4192956 [pid=31593] ppid=31591 vsize=1843296 CPUtime=1561.56 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4194304 459644 0 0 0 155835 321 0 0 25 0 1 0 111107632 1887535104 456914 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 460824 456914 200 16 0 460263 0 Current children cumulated CPU time (s) 1561.56 Current children cumulated vsize (KiB) 1843296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1562.22 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31596 /proc/meminfo: memFree=15152/2055920 swapFree=4137856/4192956 [pid=31593] ppid=31591 vsize=0 CPUtime=1561.67 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4195332 459647 0 0 0 155836 331 0 0 25 0 1 0 111107632 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1561.67 Current children cumulated vsize (KiB) 0 [startup+1562.4 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31596 /proc/meminfo: memFree=15152/2055920 swapFree=4137856/4192956 [pid=31593] ppid=31591 vsize=0 CPUtime=1561.85 /proc/31593/stat : 31593 (Pueblo) R 31591 31593 30631 0 -1 4195332 459647 0 0 0 155836 349 0 0 25 0 1 0 111107632 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/31593/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1561.85 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1562.41 CPU time (s): 1561.87 CPU user time (s): 1558.36 CPU system time (s): 3.50647 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 1843296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1558.36 system time used= 3.50647 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459647 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= 11 involuntary context switches= 32954 runsolver used 1.77673 second user time and 3.79142 second system time The end
Begin job on node39 on Sun Apr 15 10:12:36 UTC 2007 IDJOB= 352437 IDBENCH= 1975 IDSOLVER= 165 FILE ID= node39/352437-1176631955 PBS_JOBID= 4559799 Free space on /tmp= 66546 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb COMMAND LINE= Pueblo /tmp/evaluation/352437-1176631955/instance-352437-1176631955.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node39/convwatcher-352437-1176631955 -o ROOT/results/node39/conversion-352437-1176631955 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352437-1176631955/instance-352437-1176631955.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-352437-1176631955 -o ROOT/results/node39/solver-352437-1176631955 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352437-1176631955/instance-352437-1176631955.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 6389567e651775a5f815611581d2023e RANDOM SEED= 845902616 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1492496 kB Buffers: 58244 kB Cached: 287380 kB SwapCached: 2740 kB Active: 169112 kB Inactive: 307908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1492496 kB SwapTotal: 4192956 kB SwapFree: 4154220 kB Dirty: 19180 kB Writeback: 0 kB Mapped: 145180 kB Slab: 71752 kB Committed_AS: 1053512 kB PageTables: 2016 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= 66546 MiB End job on node39 on Sun Apr 15 10:38:41 UTC 2007