Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 100.855 | 50.5029 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-0-100-0.wbo |
MD5SUM | 43acf8f13d56436057772fd6366e1bde |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.179971 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 5034 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 5033 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1248 |
Number of bits of the biggest sum of numbers | 11 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690072-1277923385.wbo. 0.00/0.00 c Instance file HOME/instance-2690072-1277923385.wbo 0.00/0.00 c File size is 10461 bytes. 0.00/0.00 c Highest Coefficient sum: 1248 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 169 101 1205 | 5500 100 34 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 34 | 0.004 % | 0.00/0.01 c | 475 | 169 101 1205 | 6655 475 37 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 36 | 0.004 % | 0.02/0.03 c | 1320 | 169 101 1205 | 8052 1320 34 | 0.004 % | 0.02/0.06 c | 2079 | 169 101 1205 | 8857 2079 34 | 0.004 % | 0.02/0.09 c | 3218 | 169 101 1205 | 9743 3218 35 | 0.004 % | 0.09/0.19 c | 4926 | 169 101 1205 | 10717 4926 37 | 0.004 % | 0.27/0.30 c | 7488 | 169 101 1205 | 11789 7488 39 | 0.004 % | 0.48/0.53 c | 11334 | 169 101 1205 | 12968 11334 40 | 0.004 % | 0.88/0.91 c | 17103 | 169 101 1205 | 14265 10567 44 | 0.004 % | 1.37/1.47 c | 25753 | 169 101 1205 | 15692 12016 49 | 0.004 % | 2.47/2.55 c | 38731 | 169 101 1205 | 17261 9186 50 | 0.004 % | 4.47/4.50 c | 58192 | 169 101 1205 | 18987 11274 51 | 0.004 % | 6.87/6.92 c =============================================================================== 7.27/7.36 c core #1 7.27/7.36 c ============================[ Search Statistics ]============================== 7.27/7.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.27/7.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.27/7.36 c =============================================================================== 7.27/7.36 c | 0 | 264 200 2568 | 5000 0 nan | 0.000 % | 7.27/7.37 c | 100 | 264 200 2568 | 5500 100 30 | 0.001 % | 7.27/7.38 c | 250 | 264 200 2568 | 6050 250 36 | 0.001 % | 7.27/7.38 c | 476 | 264 200 2568 | 6655 476 36 | 0.001 % | 7.27/7.39 c | 814 | 264 200 2568 | 7320 814 36 | 0.001 % | 7.37/7.41 c | 1320 | 264 200 2568 | 8052 1320 39 | 0.001 % | 7.37/7.44 c | 2079 | 264 200 2568 | 8857 2079 39 | 0.001 % | 7.37/7.49 c | 3219 | 264 200 2568 | 9743 3219 39 | 0.001 % | 7.47/7.57 c | 4928 | 264 200 2568 | 10717 4928 39 | 0.001 % | 7.58/7.70 c | 7490 | 264 200 2568 | 11789 7490 40 | 0.001 % | 7.87/7.96 c | 11336 | 264 200 2568 | 12968 11336 41 | 0.001 % | 8.27/8.38 c | 17103 | 264 200 2568 | 14265 10556 45 | 0.001 % | 9.07/9.10 c | 25754 | 264 200 2568 | 15692 12026 45 | 0.001 % | 10.17/10.22 c | 38728 | 264 200 2568 | 17261 9205 47 | 0.001 % | 11.87/11.98 c | 58190 | 264 200 2568 | 18987 11314 45 | 0.001 % | 14.77/14.85 c | 87383 | 234 200 2568 | 20886 1208 36 | 11.365 % | 15.47/15.56 c =============================================================================== 16.07/16.12 c core #2 16.07/16.12 c ============================[ Search Statistics ]============================== 16.07/16.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.07/16.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.07/16.12 c =============================================================================== 16.07/16.12 c | 0 | 360 295 3888 | 5000 0 nan | 0.000 % | 16.07/16.14 c | 100 | 360 295 3888 | 5500 100 31 | 0.001 % | 16.07/16.14 c | 250 | 360 295 3888 | 6050 250 28 | 0.001 % | 16.07/16.15 c | 475 | 360 295 3888 | 6655 475 28 | 0.001 % | 16.07/16.16 c | 813 | 360 295 3888 | 7320 813 31 | 0.001 % | 16.07/16.18 c | 1323 | 360 295 3888 | 8052 1323 32 | 0.001 % | 16.17/16.21 c | 2082 | 360 295 3888 | 8857 2082 35 | 0.001 % | 16.17/16.26 c | 3222 | 360 295 3888 | 9743 3222 35 | 0.001 % | 16.28/16.35 c | 4931 | 360 295 3888 | 10717 4931 38 | 0.001 % | 16.38/16.50 c | 7493 | 360 295 3888 | 11789 7493 38 | 0.001 % | 16.67/16.75 c | 11337 | 360 295 3888 | 12968 11337 38 | 0.001 % | 17.07/17.18 c | 17104 | 360 295 3888 | 14265 10562 42 | 0.001 % | 17.77/17.85 c | 25757 | 360 295 3888 | 15692 12023 44 | 0.001 % | 18.87/18.91 c | 38733 | 360 295 3888 | 17261 9190 44 | 0.001 % | 20.57/20.64 c | 58196 | 360 295 3888 | 18987 11287 46 | 0.001 % | 23.27/23.38 c | 87389 | 360 295 3888 | 20886 11836 47 | 0.001 % | 28.07/28.12 c | 131183 | 360 295 3888 | 22974 13635 48 | 0.001 % | 33.07/33.12 c =============================================================================== 34.08/34.18 c core #3 34.08/34.18 c ============================[ Search Statistics ]============================== 34.08/34.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.08/34.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.08/34.18 c =============================================================================== 34.08/34.18 c | 0 | 461 390 5218 | 5000 0 nan | 0.000 % | 34.08/34.19 c | 100 | 461 390 5218 | 5500 100 30 | 0.000 % | 34.17/34.20 c | 251 | 461 390 5218 | 6050 251 31 | 0.000 % | 34.17/34.21 c | 476 | 461 390 5218 | 6655 476 30 | 0.000 % | 34.17/34.22 c | 815 | 461 390 5218 | 7320 815 31 | 0.000 % | 34.17/34.24 c | 1321 | 461 390 5218 | 8052 1321 31 | 0.000 % | 34.17/34.27 c | 2080 | 461 390 5218 | 8857 2080 33 | 0.000 % | 34.27/34.33 c | 3220 | 461 390 5218 | 9743 3220 34 | 0.000 % | 34.37/34.41 c | 4930 | 461 390 5218 | 10717 4930 36 | 0.000 % | 34.47/34.57 c | 7496 | 461 390 5218 | 11789 7496 38 | 0.000 % | 34.78/34.84 c | 11342 | 461 390 5218 | 12968 11342 38 | 0.000 % | 35.17/35.29 c | 17109 | 461 390 5218 | 14265 10566 42 | 0.000 % | 35.97/36.05 c | 25758 | 461 390 5218 | 15692 12027 43 | 0.000 % | 37.17/37.20 c | 38732 | 461 390 5218 | 17261 9191 45 | 0.000 % | 38.77/38.89 c | 58194 | 461 390 5218 | 18987 11297 46 | 0.000 % | 41.68/41.72 c | 87387 | 461 390 5218 | 20886 11832 47 | 0.000 % | 45.87/45.95 c | 131178 | 461 390 5218 | 22974 13637 52 | 0.000 % | 50.37/50.49 c =============================================================================== 50.37/50.49 c #cores: 3 50.37/50.49 c Final Weight: 3 50.37/50.49 o 3 50.37/50.49 s OPTIMUM FOUND 50.37/50.49 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 50.37/50.49 c Total CPU time: 49.8834 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690072-1277923385/watcher-2690072-1277923385 -o /tmp/evaluation-result-2690072-1277923385/solver-2690072-1277923385 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690072-1277923385.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 4/176 15231 /proc/meminfo: memFree=29021728/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=2576 CPUtime=0 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 290 0 0 0 0 0 0 0 25 0 1 0 133634861 2637824 205 4089446400 134512640 135751879 4288944768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15231/statm: 644 205 143 303 0 339 0 [startup+0.0246009 s] /proc/loadavg: 1.92 1.98 1.99 4/176 15231 /proc/meminfo: memFree=29021728/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=2840 CPUtime=0.02 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 351 0 0 0 2 0 0 0 25 0 1 0 133634861 2908160 266 4089446400 134512640 135751879 4288944768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15231/statm: 710 266 143 303 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2840 [startup+0.100639 s] /proc/loadavg: 1.92 1.98 1.99 4/176 15231 /proc/meminfo: memFree=29021728/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=3500 CPUtime=0.09 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 538 0 0 0 9 0 0 0 25 0 1 0 133634861 3584000 453 4089446400 134512640 135751879 4288944768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15231/statm: 875 453 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.300557 s] /proc/loadavg: 1.92 1.98 1.99 4/176 15231 /proc/meminfo: memFree=29021728/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=4960 CPUtime=0.27 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 894 0 0 0 27 0 0 0 25 0 1 0 133634861 5079040 809 4089446400 134512640 135751879 4288944768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15231/statm: 1240 809 143 303 0 935 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 4960 [startup+0.700488 s] /proc/loadavg: 1.92 1.98 1.99 4/176 15231 /proc/meminfo: memFree=29021728/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=7232 CPUtime=0.67 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 1448 0 0 0 66 1 0 0 25 0 1 0 133634861 7405568 1363 4089446400 134512640 135751879 4288944768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15231/statm: 1808 1363 143 303 0 1503 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 7232 [startup+1.50035 s] /proc/loadavg: 1.92 1.98 1.99 3/177 15232 /proc/meminfo: memFree=29011300/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=11720 CPUtime=1.47 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 2588 0 0 0 145 2 0 0 25 0 1 0 133634861 12001280 2503 4089446400 134512640 135751879 4288944768 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/15231/statm: 2930 2503 143 303 0 2625 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 11720 [startup+3.10107 s] /proc/loadavg: 1.92 1.98 1.99 3/177 15232 /proc/meminfo: memFree=29002124/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=18716 CPUtime=3.07 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 4322 0 0 0 302 5 0 0 25 0 1 0 133634861 19165184 4237 4089446400 134512640 135751879 4288944768 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15231/statm: 4679 4237 143 303 0 4374 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 18716 [startup+6.30052 s] /proc/loadavg: 1.93 1.98 1.99 3/177 15232 /proc/meminfo: memFree=28979060/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=30520 CPUtime=6.28 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 7285 0 0 0 618 10 0 0 25 0 1 0 133634861 31252480 7200 4089446400 134512640 135751879 4288944768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15231/statm: 7630 7200 143 303 0 7325 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 30520 [startup+12.7004 s] /proc/loadavg: 1.93 1.98 1.99 3/177 15232 /proc/meminfo: memFree=28941780/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=44128 CPUtime=12.67 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 10676 0 0 0 1250 17 0 0 25 0 1 0 133634861 45187072 10591 4089446400 134512640 135751879 4288944768 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15231/statm: 11032 10591 146 303 0 10727 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 44128 [startup+25.5002 s] /proc/loadavg: 1.95 1.98 1.99 3/177 15234 /proc/meminfo: memFree=28870792/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=79044 CPUtime=25.47 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 19405 0 0 0 2515 32 0 0 25 0 1 0 133634861 80941056 19320 4089446400 134512640 135751879 4288944768 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15231/statm: 19761 19320 146 303 0 19456 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 79044 ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (50.37 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (50.37 s) to the 'lost time'. [startup+50.4009 s] /proc/loadavg: 1.96 1.98 1.99 3/177 15234 /proc/meminfo: memFree=28755892/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=141940 CPUtime=50.37 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 35127 0 0 0 4978 59 0 0 25 0 1 0 133634861 145346560 35042 4089446400 134512640 135751879 4288944768 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15231/statm: 35485 35042 146 303 0 35180 0 Current children cumulated CPU time (s) 50.37 Current children cumulated vsize (KiB) 141940 [startup+50.5009 s] /proc/loadavg: 1.96 1.98 1.99 3/177 15234 /proc/meminfo: memFree=28838244/32951132 swapFree=67111528/67111528 [pid=15231] ppid=-1 vsize=0 CPUtime=0 /proc/15231/stat : -- couldn't open stat file --/proc/15231/statm: 8753 557 302 27 0 5391 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+38.301 s] /proc/loadavg: 1.95 1.98 1.99 3/177 15234 /proc/meminfo: memFree=28812816/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=111140 CPUtime=38.27 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 27444 0 0 0 3781 46 0 0 25 0 1 0 133634861 113807360 27359 4089446400 134512640 135751879 4288944768 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15231/statm: 27785 27359 146 303 0 27480 0 Current children cumulated CPU time (s) 38.27 Current children cumulated vsize (KiB) 111140 [startup+44.7009 s] /proc/loadavg: 1.96 1.98 1.99 3/177 15234 /proc/meminfo: memFree=28789376/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=121320 CPUtime=44.68 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 29983 0 0 0 4415 53 0 0 25 0 1 0 133634861 124231680 29898 4089446400 134512640 135751879 4288944768 18446744073709551615 134607781 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15231/statm: 30330 29898 146 303 0 30025 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 121320 [startup+47.9003 s] /proc/loadavg: 1.96 1.98 1.99 3/177 15234 /proc/meminfo: memFree=28769532/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=133212 CPUtime=47.87 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 32939 0 0 0 4730 57 0 0 25 0 1 0 133634861 136409088 32854 4089446400 134512640 135751879 4288944768 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15231/statm: 33303 32854 146 303 0 32998 0 Current children cumulated CPU time (s) 47.87 Current children cumulated vsize (KiB) 133212 [startup+49.506 s] /proc/loadavg: 1.96 1.98 1.99 3/177 15234 /proc/meminfo: memFree=28755892/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=138760 CPUtime=49.48 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 34352 0 0 0 4890 58 0 0 25 0 1 0 133634861 142090240 34267 4089446400 134512640 135751879 4288944768 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15231/statm: 34690 34267 146 303 0 34385 0 Current children cumulated CPU time (s) 49.48 Current children cumulated vsize (KiB) 138760 [startup+50.3009 s] /proc/loadavg: 1.96 1.98 1.99 3/177 15234 /proc/meminfo: memFree=28755892/32951132 swapFree=67111528/67111528 [pid=15231] ppid=15229 vsize=141544 CPUtime=50.27 /proc/15231/stat : 15231 (wbo1.4a) R 15229 15231 13658 0 -1 4202496 35051 0 0 0 4968 59 0 0 25 0 1 0 133634861 144941056 34966 4089446400 134512640 135751879 4288944768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15231/statm: 35386 34966 146 303 0 35081 0 Current children cumulated CPU time (s) 50.27 Current children cumulated vsize (KiB) 141544 [startup+50.5009 s] /proc/loadavg: 1.96 1.98 1.99 3/177 15234 /proc/meminfo: memFree=28838244/32951132 swapFree=67111528/67111528 [pid=15231] ppid=-1 vsize=0 CPUtime=0 /proc/15231/stat : -- couldn't open stat file --/proc/15231/statm: 8753 557 302 27 0 5391 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 50.37 # lost CPU user time (s): 49.78 # lost CPU system time (s): 0.59 Real time (s): 50.5029 CPU time (s): 100.855 CPU user time (s): 99.6634 CPU system time (s): 1.19191 CPU usage (%): 199.702 Max. virtual memory (cumulated for all children) (KiB): 141940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.8834 system time used= 0.601908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35209 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= 1 involuntary context switches= 257 runsolver used 0.06199 second user time and 0.178972 second system time The end
Begin job on node128 at 2010-06-30 20:43:05 IDJOB=2690072 IDBENCH=79205 IDSOLVER=1200 FILE ID=node128/2690072-1277923385 PBS_JOBID= 11197309 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690072-1277923385/watcher-2690072-1277923385 -o /tmp/evaluation-result-2690072-1277923385/solver-2690072-1277923385 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690072-1277923385.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 43acf8f13d56436057772fd6366e1bde RANDOM SEED=930406922 node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29022388 kB Buffers: 207544 kB Cached: 1014572 kB SwapCached: 0 kB Active: 2980132 kB Inactive: 803404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29022388 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 2561708 kB Mapped: 15308 kB Slab: 78424 kB PageTables: 9672 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 2706416 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node128 at 2010-06-30 20:43:56