Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (MO) | 1541.16 | 1541.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
MD5SUM | 093efae700664f798191c0b27cec34af |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 447 |
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 | 447 |
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 | 494527 |
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 | 494527 |
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 19.09/19.15 c starting to Solve 19.09/19.15 c #variables read: 10000 - #constraints read: 656901 25.49/25.57 o 7310 25.69/25.73 o 7220 25.89/25.91 o 7180 25.99/26.08 o 7090 26.19/26.29 o 7048 26.59/26.69 o 6894 26.79/26.86 o 6823 27.09/27.12 o 6754 27.19/27.28 o 6727 27.39/27.45 o 6683 27.59/27.60 o 6656 28.59/28.61 o 6645 39.68/39.76 o 6191 40.28/40.33 o 6163 44.78/44.89 o 6104 44.99/45.04 o 6095 45.18/45.21 o 6033 184.85/184.97 o 6010 185.05/185.16 o 5974 185.45/185.57 o 5960 185.95/186.04 o 5946 187.25/187.31 o 5937 191.26/191.39 o 5921 231.37/231.54 o 5907 231.77/231.97 o 5877 232.07/232.23 o 5872 232.26/232.42 o 5860 232.56/232.73 o 5809 242.36/242.50 o 5799 242.56/242.72 o 5782 242.76/242.91 o 5755 254.16/254.37 o 5742 254.56/254.70 o 5717 254.76/254.95 o 5700 287.34/287.52 o 5634 290.63/290.85 o 5629 302.13/302.32 o 5614 302.23/302.46 o 5578 302.74/302.90 o 5559 317.23/317.42 o 5548 317.33/317.58 o 5546 331.53/331.77 o 5519 331.73/331.91 o 5483
ERROR: no interpretation found !
/tmp/evaluation/352398-1176631058/instance-352398-1176631058.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-352398-1176631058 -o ROOT/results/node52/solver-352398-1176631058 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352398-1176631058/instance-352398-1176631058.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18213 /proc/meminfo: memFree=1830236/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=2552 CPUtime=0 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 17950941 2613248 228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4775639 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 638 228 193 16 0 77 0 [startup+0.0165021 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18213 /proc/meminfo: memFree=1830236/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=2816 CPUtime=0.01 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 344 0 0 0 1 0 0 0 18 0 1 0 17950941 2883584 314 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4775639 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 704 314 193 16 0 143 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2816 [startup+0.101508 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18213 /proc/meminfo: memFree=1830236/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=4416 CPUtime=0.09 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 728 0 0 0 9 0 0 0 18 0 1 0 17950941 4521984 698 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4775639 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 1104 698 199 16 0 543 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4416 [startup+0.30152 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18213 /proc/meminfo: memFree=1830236/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=6948 CPUtime=0.29 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 1374 0 0 0 29 0 0 0 19 0 1 0 17950941 7114752 1344 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4775639 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 1737 1344 199 16 0 1176 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6948 [startup+0.701547 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18213 /proc/meminfo: memFree=1830236/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=12008 CPUtime=0.69 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 2624 0 0 0 68 1 0 0 22 0 1 0 17950941 12296192 2594 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4775639 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 3002 2594 199 16 0 2441 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12008 [startup+1.5026 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18214 /proc/meminfo: memFree=1816916/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=21732 CPUtime=1.49 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 5079 0 0 0 146 3 0 0 25 0 1 0 17950941 22253568 5049 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546570 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 5433 5049 199 16 0 4872 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21732 [startup+3.10171 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18214 /proc/meminfo: memFree=1803476/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=40784 CPUtime=3.09 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 9839 0 0 0 303 6 0 0 25 0 1 0 17950941 41762816 9809 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546730 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 10196 9809 199 16 0 9635 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40784 [startup+6.30193 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18214 /proc/meminfo: memFree=1764132/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=78880 CPUtime=6.29 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 19362 0 0 0 619 10 0 0 25 0 1 0 17950941 80773120 19332 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4775639 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 19720 19332 199 16 0 19159 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 78880 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/65 18214 /proc/meminfo: memFree=1748260/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=85476 CPUtime=12.69 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 20725 0 0 0 1258 11 0 0 25 0 1 0 17950941 87527424 20695 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532440 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 21369 20695 204 16 0 20808 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 85476 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/65 18214 /proc/meminfo: memFree=1739044/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=95448 CPUtime=25.49 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 23016 0 0 0 2537 12 0 0 25 0 1 0 17950941 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134530538 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 23862 22986 206 16 0 23301 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 95448 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/65 18214 /proc/meminfo: memFree=1739108/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=95448 CPUtime=51.08 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 23016 0 0 0 5095 13 0 0 25 0 1 0 17950941 97738752 22986 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 23862 22986 206 16 0 23301 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 95448 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 18214 /proc/meminfo: memFree=1719012/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=115584 CPUtime=102.28 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 28047 0 0 0 10211 17 0 0 25 0 1 0 17950941 118358016 28012 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 28896 28012 206 16 0 28335 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 115584 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18214 /proc/meminfo: memFree=1670564/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=164336 CPUtime=162.25 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 40234 0 0 0 16202 23 0 0 25 0 1 0 17950941 168280064 40199 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 41084 40199 206 16 0 40523 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 164336 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/71 18322 /proc/meminfo: memFree=1613092/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=220072 CPUtime=222.2 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 54161 0 0 0 22190 30 0 0 25 0 1 0 17950941 225353728 54126 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 55018 54126 206 16 0 54457 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 220072 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18412 /proc/meminfo: memFree=1534436/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=300684 CPUtime=282.14 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 74310 0 0 0 28174 40 0 0 25 0 1 0 17950941 307900416 74275 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 75171 74275 206 16 0 74610 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 300684 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18412 /proc/meminfo: memFree=1471076/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=362916 CPUtime=342.13 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 89865 0 0 0 34164 49 0 0 25 0 1 0 17950941 371625984 89830 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 90729 89830 206 16 0 90168 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 362916 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18412 /proc/meminfo: memFree=1398436/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=436740 CPUtime=402.11 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 108330 0 0 0 40151 60 0 0 25 0 1 0 17950941 447221760 108295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 109185 108295 206 16 0 108624 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 436740 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18412 /proc/meminfo: memFree=1304228/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=529964 CPUtime=462.1 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 131610 0 0 0 46134 76 0 0 25 0 1 0 17950941 542683136 131575 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 132491 131575 206 16 0 131930 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 529964 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18412 /proc/meminfo: memFree=1213540/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=620984 CPUtime=522.08 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 154396 0 0 0 52119 89 0 0 25 0 1 0 17950941 635887616 154361 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 155246 154361 206 16 0 154685 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 620984 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=1135844/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=697344 CPUtime=582.06 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 173343 0 0 0 58105 101 0 0 25 0 1 0 17950941 714080256 173308 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 174336 173308 206 16 0 173775 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 697344 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=1063268/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=769116 CPUtime=642.05 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 191303 0 0 0 64093 112 0 0 25 0 1 0 17950941 787574784 191268 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134556831 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 192279 191268 206 16 0 191718 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 769116 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=993892/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=839192 CPUtime=702.04 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 208826 0 0 0 70080 124 0 0 25 0 1 0 17950941 859332608 208791 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 209798 208791 206 16 0 209237 0 Current children cumulated CPU time (s) 702.04 Current children cumulated vsize (KiB) 839192 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=921124/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=911124 CPUtime=762.03 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 226821 0 0 0 76067 136 0 0 25 0 1 0 17950941 932990976 226786 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 227781 226786 206 16 0 227220 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 911124 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=853348/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=979452 CPUtime=822.01 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 243917 0 0 0 82054 147 0 0 25 0 1 0 17950941 1002958848 243882 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 244863 243882 206 16 0 244302 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 979452 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=770020/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1061700 CPUtime=882 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 264480 0 0 0 88039 161 0 0 25 0 1 0 17950941 1087180800 264445 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 265425 264445 206 16 0 264864 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1061700 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=689764/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1142644 CPUtime=941.99 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 284737 0 0 0 94023 176 0 0 25 0 1 0 17950941 1170067456 284702 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 285661 284702 206 16 0 285100 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1142644 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=614820/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1217692 CPUtime=1001.97 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 303254 0 0 0 100009 188 0 0 25 0 1 0 17950941 1246916608 303219 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520003 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 304423 303219 206 16 0 303862 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 1217692 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=547492/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1285200 CPUtime=1061.96 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 320152 0 0 0 105995 201 0 0 25 0 1 0 17950941 1316044800 320117 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559594 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 321300 320117 206 16 0 320739 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1285200 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=481316/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1351156 CPUtime=1121.95 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 336589 0 0 0 111984 211 0 0 25 0 1 0 17950941 1383583744 336554 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 337789 336554 206 16 0 337228 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1351156 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=407972/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1425172 CPUtime=1181.93 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 355127 0 0 0 117971 222 0 0 25 0 1 0 17950941 1459376128 355092 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 356293 355092 206 16 0 355732 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1425172 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=339492/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1492748 CPUtime=1241.92 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 372026 0 0 0 123961 231 0 0 25 0 1 0 17950941 1528573952 371991 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 373187 371991 206 16 0 372626 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1492748 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=261860/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1569420 CPUtime=1301.91 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 391209 0 0 0 129947 244 0 0 25 0 1 0 17950941 1607086080 391174 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 392355 391174 206 16 0 391794 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1569420 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18414 /proc/meminfo: memFree=188068/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1643880 CPUtime=1361.89 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 409809 0 0 0 135932 257 0 0 25 0 1 0 17950941 1683333120 409774 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 410970 409774 206 16 0 410409 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1643880 [startup+1422.3 s] /proc/loadavg: 1.07 1.00 1.00 2/65 18414 /proc/meminfo: memFree=111844/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1719208 CPUtime=1421.89 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 428668 0 0 0 141920 269 0 0 25 0 1 0 17950941 1760468992 428633 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 429802 428633 206 16 0 429241 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1719208 [startup+1482.3 s] /proc/loadavg: 1.10 1.02 1.00 2/65 18414 /proc/meminfo: memFree=47396/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1784112 CPUtime=1481.87 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 444887 0 0 0 147908 279 0 0 25 0 1 0 17950941 1826930688 444852 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 446028 444852 206 16 0 445467 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1784112 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1541.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 18414 /proc/meminfo: memFree=15012/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=1843228 CPUtime=1540.86 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4194304 459690 0 0 0 153797 289 0 0 25 0 1 0 17950941 1887465472 459655 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 460807 459655 206 16 0 460246 0 Current children cumulated CPU time (s) 1540.86 Current children cumulated vsize (KiB) 1843228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1541.41 s] /proc/loadavg: 1.03 1.01 1.00 2/65 18414 /proc/meminfo: memFree=15012/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=0 CPUtime=1540.96 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4195332 459690 0 0 0 153797 299 0 0 25 0 1 0 17950941 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1540.96 Current children cumulated vsize (KiB) 0 [startup+1541.5 s] /proc/loadavg: 1.03 1.01 1.00 2/65 18414 /proc/meminfo: memFree=15012/2055920 swapFree=4186752/4192956 [pid=18213] ppid=18211 vsize=0 CPUtime=1541.06 /proc/18213/stat : 18213 (Pueblo) R 18211 18213 17404 0 -1 4195332 459690 0 0 0 153797 309 0 0 25 0 1 0 17950941 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/18213/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.06 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1541.6 CPU time (s): 1541.16 CPU user time (s): 1537.97 CPU system time (s): 3.18751 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 1843228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1537.97 system time used= 3.18751 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459690 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= 1872 runsolver used 1.06584 second user time and 3.22451 second system time The end
Begin job on node52 on Sun Apr 15 09:57:39 UTC 2007 IDJOB= 352398 IDBENCH= 1972 IDSOLVER= 165 FILE ID= node52/352398-1176631058 PBS_JOBID= 4559806 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_9.opb.PB06.opb COMMAND LINE= Pueblo /tmp/evaluation/352398-1176631058/instance-352398-1176631058.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node52/convwatcher-352398-1176631058 -o ROOT/results/node52/conversion-352398-1176631058 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352398-1176631058/instance-352398-1176631058.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-352398-1176631058 -o ROOT/results/node52/solver-352398-1176631058 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352398-1176631058/instance-352398-1176631058.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 093efae700664f798191c0b27cec34af RANDOM SEED= 166983353 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1830708 kB Buffers: 6500 kB Cached: 134140 kB SwapCached: 460 kB Active: 49480 kB Inactive: 101728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1830708 kB SwapTotal: 4192956 kB SwapFree: 4186752 kB Dirty: 19100 kB Writeback: 0 kB Mapped: 18516 kB Slab: 60044 kB Committed_AS: 562928 kB PageTables: 1484 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 node52 on Sun Apr 15 10:23:22 UTC 2007