Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | ? (TO) | 1800.14 | 1800.11 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo |
MD5SUM | 318c9cc5b16e210b9b0a9873d7c14d4c |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.020996 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 930 |
Total number of constraints | 61 |
Number of soft constraints | 16 |
Number of constraints which are clauses | 31 |
Number of constraints which are cardinality constraints (but not clauses) | 30 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 31 |
Top cost | 916 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 915 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 32 |
Number of bits of the biggest sum of numbers | 6 |
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 - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690362-1277891748.wbo. 0.00/0.00 c Instance file HOME/instance-2690362-1277891748.wbo 0.00/0.00 c File size is 15460 bytes. 0.00/0.00 c Highest Coefficient sum: 32 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: 930 | 0.00/0.00 c | Number Clauses: 31 | 0.00/0.00 c | Number Cardinality: 30 | 0.00/0.00 c | Number PB Constraints: 0 | 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 | 930 61 1860 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 930 61 1860 | 5500 101 105 | 0.000 % | 0.00/0.01 c | 252 | 930 61 1860 | 6050 252 154 | 0.000 % | 0.01/0.02 c | 479 | 930 61 1860 | 6655 479 152 | 0.000 % | 0.01/0.03 c | 816 | 930 61 1860 | 7320 816 145 | 0.000 % | 0.01/0.06 c | 1322 | 930 61 1860 | 8052 1322 164 | 0.000 % | 0.09/0.12 c | 2082 | 930 61 1860 | 8857 2082 186 | 0.000 % | 0.18/0.21 c | 3221 | 930 61 1860 | 9743 3221 192 | 0.000 % | 0.39/0.43 c | 4934 | 930 61 1860 | 10717 4934 191 | 0.000 % | 0.68/0.76 c | 7496 | 930 61 1860 | 11789 7496 209 | 0.000 % | 1.59/1.68 c | 11340 | 930 61 1860 | 12968 11340 256 | 0.000 % | 2.79/2.82 c | 17107 | 930 61 1860 | 14265 10178 258 | 0.000 % | 4.89/4.99 c | 25757 | 930 61 1860 | 15692 11254 225 | 0.000 % | 9.69/9.76 c | 38731 | 930 61 1860 | 17261 15937 233 | 0.000 % | 31.59/31.68 c | 58194 | 930 61 1860 | 18987 17293 560 | 0.000 % | 46.38/46.40 c | 87387 | 930 61 1860 | 20886 16716 395 | 0.000 % | 64.80/64.87 c | 131176 | 930 61 1860 | 22974 17082 285 | 0.000 % | 92.59/92.65 c | 196861 | 930 61 1860 | 25272 23040 252 | 0.000 % | 137.89/137.91 c | 295390 | 930 61 1860 | 27799 25007 273 | 0.000 % | 180.99/181.00 c There are 0 assigned variables. 0 in cost function. 181.09/181.18 c ============================[ Search Statistics ]============================== 181.09/181.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.09/181.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.09/181.18 c =============================================================================== 181.09/181.18 c | 0 | 930 61 1860 | 5000 0 nan | 0.000 % | 181.19/181.21 c | 102 | 930 61 1860 | 5500 102 106 | 0.000 % | 181.19/181.22 c | 252 | 930 61 1860 | 6050 252 139 | 0.000 % | 181.19/181.24 c | 481 | 930 61 1860 | 6655 481 156 | 0.000 % | 181.19/181.27 c | 818 | 930 61 1860 | 7320 818 165 | 0.000 % | 181.29/181.32 c | 1324 | 930 61 1860 | 8052 1324 149 | 0.000 % | 181.40/181.42 c | 2083 | 930 61 1860 | 8857 2083 170 | 0.000 % | 181.50/181.59 c | 3225 | 930 61 1860 | 9743 3225 198 | 0.000 % | 181.99/182.06 c | 4933 | 930 61 1860 | 10717 4933 200 | 0.000 % | 182.69/182.70 c | 7495 | 930 61 1860 | 11789 7495 229 | 0.000 % | 183.99/184.05 c | 11340 | 930 61 1860 | 12968 11340 242 | 0.000 % | 186.79/186.84 c | 17106 | 930 61 1860 | 14265 10200 287 | 0.000 % | 190.50/190.59 c | 25758 | 930 61 1860 | 15692 11306 272 | 0.000 % | 197.19/197.24 c | 38736 | 930 61 1860 | 17261 16039 357 | 0.000 % | 206.99/207.00 c | 58202 | 930 61 1860 | 18987 17625 382 | 0.000 % | 219.39/219.49 c | 87396 | 930 61 1860 | 20886 17100 158 | 0.000 % | 241.79/241.89 c | 131190 | 930 61 1860 | 22974 17446 352 | 0.000 % | 276.20/276.25 c | 196876 | 930 61 1860 | 25272 23483 170 | 0.000 % | 355.69/355.75 c | 295402 | 930 61 1860 | 27799 14833 280 | 0.000 % | 433.90/433.94 c | 443192 | 930 61 1860 | 30579 19612 224 | 0.000 % | 543.30/543.38 c | 664875 | 930 61 1860 | 33637 17942 309 | 0.000 % | 757.81/757.87 c | 997400 | 930 61 1860 | 37001 30647 196 | 0.000 % | 1117.80/1117.85 c | 1496189 | 930 61 1860 | 40701 17463 261 | 0.000 % | 1617.62/1617.68 c | 2244371 | 930 61 1860 | 44771 18706 243 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690362-1277891748/watcher-2690362-1277891748 -o /tmp/evaluation-result-2690362-1277891748/solver-2690362-1277891748 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690362-1277891748.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: 2.00 2.00 2.13 3/196 9441 /proc/meminfo: memFree=31649224/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2712 CPUtime=0 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 130472806 2777088 257 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9441/statm: 678 257 143 303 0 373 0 [startup+0.0154589 s] /proc/loadavg: 2.00 2.00 2.13 3/196 9441 /proc/meminfo: memFree=31649224/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2844 CPUtime=0.01 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 377 0 0 0 1 0 0 0 20 0 1 0 130472806 2912256 291 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9441/statm: 711 291 144 303 0 406 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2844 [startup+0.100442 s] /proc/loadavg: 2.00 2.00 2.13 3/196 9441 /proc/meminfo: memFree=31649224/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=4164 CPUtime=0.09 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 700 0 0 0 9 0 0 0 20 0 1 0 130472806 4263936 614 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 1041 615 144 303 0 736 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4164 [startup+0.300416 s] /proc/loadavg: 2.00 2.00 2.13 3/196 9441 /proc/meminfo: memFree=31649224/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=6144 CPUtime=0.29 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 1200 0 0 0 28 1 0 0 21 0 1 0 130472806 6291456 1114 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 1536 1115 144 303 0 1231 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6144 [startup+0.700332 s] /proc/loadavg: 2.00 2.00 2.13 3/196 9441 /proc/meminfo: memFree=31649224/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=9576 CPUtime=0.68 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 2029 0 0 0 67 1 0 0 22 0 1 0 130472806 9805824 1943 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 2394 1943 144 303 0 2089 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9576 [startup+1.50019 s] /proc/loadavg: 2.00 2.00 2.13 3/197 9442 /proc/meminfo: memFree=31639668/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=14724 CPUtime=1.49 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 3328 0 0 0 147 2 0 0 25 0 1 0 130472806 15077376 3242 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 3681 3242 144 303 0 3376 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14724 [startup+3.10091 s] /proc/loadavg: 2.00 2.00 2.13 3/197 9442 /proc/meminfo: memFree=31632972/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=22944 CPUtime=3.09 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 5391 0 0 0 305 4 0 0 18 0 1 0 130472806 23494656 5305 4089446400 134512640 135752675 4287059680 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 5736 5305 144 303 0 5431 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22944 [startup+6.30034 s] /proc/loadavg: 2.00 2.00 2.13 3/197 9442 /proc/meminfo: memFree=31618360/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=36704 CPUtime=6.29 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 8810 0 0 0 621 8 0 0 19 0 1 0 130472806 37584896 8724 4089446400 134512640 135752675 4287059680 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 9176 8724 144 303 0 8871 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36704 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.13 3/197 9442 /proc/meminfo: memFree=31600236/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=54820 CPUtime=12.69 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 13339 0 0 0 1257 12 0 0 25 0 1 0 130472806 56135680 13253 4089446400 134512640 135752675 4287059680 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 13705 13253 144 303 0 13400 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54820 [startup+25.501 s] /proc/loadavg: 2.00 2.00 2.13 3/197 9442 /proc/meminfo: memFree=31572340/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=81776 CPUtime=25.49 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 20076 0 0 0 2534 15 0 0 25 0 1 0 130472806 83738624 19990 4089446400 134512640 135752675 4287059680 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 20444 19990 144 303 0 20139 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81776 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.12 3/197 9444 /proc/meminfo: memFree=31494896/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=160432 CPUtime=51.09 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 39726 0 0 0 5077 32 0 0 25 0 1 0 130472806 164282368 39640 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 40108 39640 144 303 0 39803 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 160432 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.11 3/197 9444 /proc/meminfo: memFree=31340464/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=311656 CPUtime=102.29 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 77519 0 0 0 10165 64 0 0 25 0 1 0 130472806 319135744 77433 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 77914 77433 144 303 0 77609 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 311656 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.10 3/197 9446 /proc/meminfo: memFree=31185900/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=467060 CPUtime=162.3 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 116311 0 0 0 16138 92 0 0 25 0 1 0 130472806 478269440 116225 4089446400 134512640 135752675 4287059680 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 116765 116225 144 303 0 116460 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 467060 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.09 3/197 9448 /proc/meminfo: memFree=31071376/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=580208 CPUtime=222.29 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 144708 0 0 0 22104 125 0 0 25 0 1 0 130472806 594132992 144593 4089446400 134512640 135752675 4287059680 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 145052 144593 146 303 0 144747 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 580208 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.08 3/197 9450 /proc/meminfo: memFree=30955240/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=696936 CPUtime=282.29 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 173820 0 0 0 28076 153 0 0 25 0 1 0 130472806 713662464 173705 4089446400 134512640 135752675 4287059680 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 174234 173705 146 303 0 173929 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 696936 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.08 3/197 9460 /proc/meminfo: memFree=30860464/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=789108 CPUtime=342.29 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 196801 0 0 0 34060 169 0 0 25 0 1 0 130472806 808046592 196686 4089446400 134512640 135752675 4287059680 18446744073709551615 134606709 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 197277 196686 146 303 0 196972 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 789108 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.07 3/197 9461 /proc/meminfo: memFree=30747528/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=902404 CPUtime=402.29 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 225076 0 0 0 40032 197 0 0 25 0 1 0 130472806 924061696 224961 4089446400 134512640 135752675 4287059680 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 225601 224961 146 303 0 225296 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 902404 [startup+462.301 s] /proc/loadavg: 2.06 2.02 2.07 3/197 9463 /proc/meminfo: memFree=30606476/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=1042984 CPUtime=462.3 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 260185 0 0 0 45999 231 0 0 25 0 1 0 130472806 1068015616 260070 4089446400 134512640 135752675 4287059680 18446744073709551615 134639424 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 260746 260070 146 303 0 260441 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1042984 [startup+522.3 s] /proc/loadavg: 2.02 2.01 2.07 3/197 9465 /proc/meminfo: memFree=30453148/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=1197572 CPUtime=522.29 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 298787 0 0 0 51964 265 0 0 25 0 1 0 130472806 1226313728 298672 4089446400 134512640 135752675 4287059680 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 299393 298672 146 303 0 299088 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 1197572 [startup+582.301 s] /proc/loadavg: 2.05 2.02 2.07 3/197 9467 /proc/meminfo: memFree=30332044/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=1316776 CPUtime=582.3 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 328534 0 0 0 57937 293 0 0 25 0 1 0 130472806 1348378624 328419 4089446400 134512640 135752675 4287059680 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 329194 328419 146 303 0 328889 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1316776 [startup+642.301 s] /proc/loadavg: 2.02 2.01 2.06 3/197 9468 /proc/meminfo: memFree=30245680/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=1402132 CPUtime=642.3 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 349867 0 0 0 63913 317 0 0 25 0 1 0 130472806 1435783168 349752 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 350533 349752 146 303 0 350228 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1402132 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.04 3/197 9475 /proc/meminfo: memFree=29884428/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=1763408 CPUtime=882.3 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 439969 0 0 0 87831 399 0 0 25 0 1 0 130472806 1805729792 439854 4089446400 134512640 135752675 4287059680 18446744073709551615 134518896 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 440852 439855 146 303 0 440547 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 1763408 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.03 3/197 9476 /proc/meminfo: memFree=29775972/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=1872764 CPUtime=942.31 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 467281 0 0 0 93809 422 0 0 25 0 1 0 130472806 1917710336 467166 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9441/statm: 468191 467166 146 303 0 467886 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1872764 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.03 3/197 9523 /proc/meminfo: memFree=29586308/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=1971116 CPUtime=1002.31 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 491828 0 0 0 99788 443 0 0 25 0 1 0 130472806 2018422784 491713 4089446400 134512640 135752675 4287059680 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 492779 491713 146 303 0 492474 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1971116 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.02 3/197 9525 /proc/meminfo: memFree=29416244/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2075900 CPUtime=1062.3 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 518014 0 0 0 105766 464 0 0 25 0 1 0 130472806 2125721600 517899 4089446400 134512640 135752675 4287059680 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 518975 517899 146 303 0 518670 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 2075900 [startup+1122.3 s] /proc/loadavg: 2.13 2.03 2.02 3/197 9527 /proc/meminfo: memFree=29293700/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2181704 CPUtime=1122.3 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 544467 0 0 0 111744 486 0 0 25 0 1 0 130472806 2234064896 544352 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 545426 544352 146 303 0 545121 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 2181704 [startup+1182.3 s] /proc/loadavg: 2.05 2.02 2.02 3/197 9529 /proc/meminfo: memFree=29197288/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2268012 CPUtime=1182.31 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 565984 0 0 0 117726 505 0 0 25 0 1 0 130472806 2322444288 565869 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 567003 565869 146 303 0 566698 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 2268012 [startup+1242.3 s] /proc/loadavg: 2.02 2.02 2.01 3/197 9530 /proc/meminfo: memFree=29064436/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2370128 CPUtime=1242.31 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 591466 0 0 0 123704 527 0 0 25 0 1 0 130472806 2427011072 591351 4089446400 134512640 135752675 4287059680 18446744073709551615 134612135 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 592532 591351 146 303 0 592227 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 2370128 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.01 3/197 9531 /proc/meminfo: memFree=28965308/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2468060 CPUtime=1302.31 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 615930 0 0 0 129680 551 0 0 25 0 1 0 130472806 2527293440 615815 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 617015 615815 146 303 0 616710 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 2468060 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 9533 /proc/meminfo: memFree=28857256/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2577328 CPUtime=1362.31 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 643233 0 0 0 135655 576 0 0 25 0 1 0 130472806 2639183872 643118 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 644332 643118 146 303 0 644027 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 2577328 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9535 /proc/meminfo: memFree=28770656/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2662992 CPUtime=1422.32 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 664595 0 0 0 141637 595 0 0 25 0 1 0 130472806 2726903808 664480 4089446400 134512640 135752675 4287059680 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 665748 664480 146 303 0 665443 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 2662992 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9537 /proc/meminfo: memFree=28667688/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2766796 CPUtime=1482.31 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 690536 0 0 0 147611 620 0 0 25 0 1 0 130472806 2833199104 690421 4089446400 134512640 135752675 4287059680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 691699 690421 146 303 0 691394 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 2766796 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9538 /proc/meminfo: memFree=28558264/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2872268 CPUtime=1542.31 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 716906 0 0 0 153586 645 0 0 25 0 1 0 130472806 2941202432 716791 4089446400 134512640 135752675 4287059680 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 718067 716791 146 303 0 717762 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 2872268 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9539 /proc/meminfo: memFree=28461136/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=2970832 CPUtime=1602.32 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 741524 0 0 0 159564 668 0 0 25 0 1 0 130472806 3042131968 741409 4089446400 134512640 135752675 4287059680 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 742708 741409 146 303 0 742403 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2970832 [startup+1662.3 s] /proc/loadavg: 2.08 2.02 2.01 3/197 9541 /proc/meminfo: memFree=28319092/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=3106008 CPUtime=1662.31 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 775258 0 0 0 165532 699 0 0 25 0 1 0 130472806 3180552192 775143 4089446400 134512640 135752675 4287059680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 776502 775143 146 303 0 776197 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 3106008 [startup+1722.3 s] /proc/loadavg: 2.07 2.03 2.00 3/197 9543 /proc/meminfo: memFree=28206692/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=3218044 CPUtime=1722.31 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 803241 0 0 0 171512 719 0 0 25 0 1 0 130472806 3295277056 803126 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 804511 803126 146 303 0 804206 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 3218044 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.00 3/197 9545 /proc/meminfo: memFree=28091320/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=3332912 CPUtime=1782.32 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 831915 0 0 0 177490 742 0 0 25 0 1 0 130472806 3412901888 831800 4089446400 134512640 135752675 4287059680 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 833228 831800 146 303 0 832923 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 3332912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.02 2.00 3/197 9545 /proc/meminfo: memFree=28055596/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=3367468 CPUtime=1800.03 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4202496 840568 0 0 0 179253 750 0 0 25 0 1 0 130472806 3448287232 840453 4089446400 134512640 135752675 4287059680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/9441/statm: 841867 840453 146 303 0 841562 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 3367468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.11 s] /proc/loadavg: 2.02 2.02 2.00 3/197 9545 /proc/meminfo: memFree=28055596/32951124 swapFree=67111528/67111528 [pid=9441] ppid=9439 vsize=0 CPUtime=1800.13 /proc/9441/stat : 9441 (wbo1.4b) R 9439 9441 8514 0 -1 4203524 840568 0 0 0 179253 760 0 0 25 0 1 0 130472806 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0 /proc/9441/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.11 CPU time (s): 1800.14 CPU user time (s): 1792.53 CPU system time (s): 7.60584 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 3367468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.53 system time used= 7.60584 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 840568 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= 2530 runsolver used 2.45163 second user time and 5.88211 second system time The end
Begin job on node103 at 2010-06-30 11:55:48 IDJOB=2690362 IDBENCH=78707 IDSOLVER=1201 FILE ID=node103/2690362-1277891748 PBS_JOBID= 11197148 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690362-1277891748/watcher-2690362-1277891748 -o /tmp/evaluation-result-2690362-1277891748/solver-2690362-1277891748 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690362-1277891748.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 318c9cc5b16e210b9b0a9873d7c14d4c RANDOM SEED=1857645531 node103.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.817 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.63 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.817 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.817 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.75 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.817 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.75 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.817 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.74 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.817 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.817 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.75 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.817 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: 32951124 kB MemFree: 31649380 kB Buffers: 173604 kB Cached: 892468 kB SwapCached: 0 kB Active: 528360 kB Inactive: 631768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31649380 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3324 kB Writeback: 0 kB AnonPages: 93664 kB Mapped: 20240 kB Slab: 76440 kB PageTables: 4784 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1640084 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 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 node103 at 2010-06-30 12:25:50