Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | ? (TO) | 1800.15 | 1800.11 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-66-100-0.wbo |
MD5SUM | 855765d60afa4a3ed9dadddc2a73110a |
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 | 23 |
Best CPU time to get the best result obtained on this benchmark | 0.045992 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1050 |
Total number of constraints | 65 |
Number of soft constraints | 17 |
Number of constraints which are clauses | 35 |
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 | 35 |
Top cost | 939 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 938 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 36 |
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-2690408-1277893699.wbo. 0.00/0.00 c Instance file HOME/instance-2690408-1277893699.wbo 0.00/0.00 c File size is 17516 bytes. 0.00/0.00 c Highest Coefficient sum: 36 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: 1050 | 0.00/0.00 c | Number Clauses: 35 | 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 | 1050 65 2100 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 1050 65 2100 | 5500 102 139 | 0.000 % | 0.00/0.01 c | 254 | 1050 65 2100 | 6050 254 152 | 0.000 % | 0.01/0.02 c | 483 | 1050 65 2100 | 6655 483 157 | 0.000 % | 0.01/0.04 c | 820 | 1050 65 2100 | 7320 820 165 | 0.000 % | 0.01/0.07 c | 1326 | 1050 65 2100 | 8052 1326 165 | 0.000 % | 0.09/0.13 c | 2085 | 1050 65 2100 | 8857 2085 168 | 0.000 % | 0.19/0.21 c | 3226 | 1050 65 2100 | 9743 3226 164 | 0.000 % | 0.39/0.42 c | 4935 | 1050 65 2100 | 10717 4935 174 | 0.000 % | 0.79/0.83 c | 7499 | 1050 65 2100 | 11789 7499 198 | 0.000 % | 1.49/1.58 c | 11343 | 1050 65 2100 | 12968 11343 195 | 0.000 % | 2.69/2.78 c | 17110 | 1050 65 2100 | 14265 10137 187 | 0.000 % | 5.79/5.87 c | 25760 | 1050 65 2100 | 15692 11161 243 | 0.000 % | 11.59/11.68 c | 38734 | 1050 65 2100 | 17261 15791 292 | 0.000 % | 23.19/23.23 c | 58197 | 1050 65 2100 | 18987 17021 335 | 0.000 % | 36.09/36.17 c | 87389 | 1050 65 2100 | 20886 16283 269 | 0.000 % | 55.00/55.09 c | 131180 | 1050 65 2100 | 22974 16441 229 | 0.000 % | 91.19/91.26 c | 196865 | 1050 65 2100 | 25272 22286 265 | 0.000 % | 134.49/134.50 c | 295392 | 1050 65 2100 | 27799 13643 213 | 0.000 % | 180.79/180.88 c There are 0 assigned variables. 0 in cost function. 180.99/181.06 c ============================[ Search Statistics ]============================== 180.99/181.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.99/181.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.99/181.06 c =============================================================================== 180.99/181.06 c | 0 | 1050 65 2100 | 5000 0 nan | 0.000 % | 181.09/181.10 c | 100 | 1050 65 2100 | 5500 100 131 | 0.000 % | 181.09/181.11 c | 253 | 1050 65 2100 | 6050 253 134 | 0.000 % | 181.09/181.13 c | 478 | 1050 65 2100 | 6655 478 152 | 0.000 % | 181.09/181.16 c | 819 | 1050 65 2100 | 7320 819 150 | 0.000 % | 181.19/181.22 c | 1328 | 1050 65 2100 | 8052 1328 151 | 0.000 % | 181.29/181.33 c | 2088 | 1050 65 2100 | 8857 2088 161 | 0.000 % | 181.50/181.50 c | 3228 | 1050 65 2100 | 9743 3228 164 | 0.000 % | 181.79/181.80 c | 4936 | 1050 65 2100 | 10717 4936 165 | 0.000 % | 182.39/182.46 c | 7499 | 1050 65 2100 | 11789 7499 184 | 0.000 % | 183.49/183.54 c | 11344 | 1050 65 2100 | 12968 11344 205 | 0.000 % | 185.80/185.87 c | 17112 | 1050 65 2100 | 14265 10131 242 | 0.000 % | 189.29/189.34 c | 25764 | 1050 65 2100 | 15692 11413 247 | 0.000 % | 194.28/194.32 c | 38739 | 1050 65 2100 | 17261 16051 212 | 0.000 % | 204.69/204.78 c | 58202 | 1050 65 2100 | 18987 17292 233 | 0.000 % | 218.99/219.04 c | 87394 | 1050 65 2100 | 20886 16607 292 | 0.000 % | 243.49/243.53 c | 131183 | 1050 65 2100 | 22974 16709 229 | 0.000 % | 273.29/273.38 c | 196871 | 1050 65 2100 | 25272 22654 279 | 0.000 % | 334.39/334.45 c | 295398 | 1050 65 2100 | 27799 13668 232 | 0.000 % | 410.70/410.74 c | 443198 | 1050 65 2100 | 30579 21983 345 | 0.000 % | 556.60/556.64 c | 664883 | 1050 65 2100 | 33637 18134 265 | 0.000 % | 778.40/778.47 c | 997408 | 1050 65 2100 | 37001 19295 342 | 0.000 % | 1190.12/1190.18 c | 1496199 | 1050 65 2100 | 40701 26339 261 | 0.000 % | 1735.43/1735.45 c | 2244381 | 1050 65 2100 | 44771 32396 299 | 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-2690408-1277893699/watcher-2690408-1277893699 -o /tmp/evaluation-result-2690408-1277893699/solver-2690408-1277893699 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690408-1277893699.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.05 2.01 2.00 3/178 10955 /proc/meminfo: memFree=31402520/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2724 CPUtime=0 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 351 0 0 0 0 0 0 0 21 0 1 0 130666634 2789376 261 4089446400 134512640 135752675 4291483904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10955/statm: 681 261 143 303 0 376 0 [startup+0.0217861 s] /proc/loadavg: 2.05 2.01 2.00 3/178 10955 /proc/meminfo: memFree=31402520/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2988 CPUtime=0.01 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 416 0 0 0 1 0 0 0 21 0 1 0 130666634 3059712 326 4089446400 134512640 135752675 4291483904 18446744073709551615 134644415 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10955/statm: 747 326 144 303 0 442 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2988 [startup+0.100771 s] /proc/loadavg: 2.05 2.01 2.00 3/178 10955 /proc/meminfo: memFree=31402520/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=4044 CPUtime=0.09 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 670 0 0 0 9 0 0 0 21 0 1 0 130666634 4141056 580 4089446400 134512640 135752675 4291483904 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10955/statm: 1011 581 144 303 0 706 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4044 [startup+0.300736 s] /proc/loadavg: 2.05 2.01 2.00 3/178 10955 /proc/meminfo: memFree=31402520/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=5892 CPUtime=0.29 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 1118 0 0 0 28 1 0 0 22 0 1 0 130666634 6033408 1028 4089446400 134512640 135752675 4291483904 18446744073709551615 134611730 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10955/statm: 1473 1028 144 303 0 1168 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5892 [startup+0.700665 s] /proc/loadavg: 2.05 2.01 2.00 3/178 10955 /proc/meminfo: memFree=31402520/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=8928 CPUtime=0.69 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 1873 0 0 0 68 1 0 0 24 0 1 0 130666634 9142272 1783 4089446400 134512640 135752675 4291483904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10955/statm: 2232 1783 144 303 0 1927 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8928 [startup+1.50052 s] /proc/loadavg: 2.04 2.01 2.00 3/179 10956 /proc/meminfo: memFree=31393336/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=12892 CPUtime=1.49 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 2880 0 0 0 146 3 0 0 25 0 1 0 130666634 13201408 2790 4089446400 134512640 135752675 4291483904 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10955/statm: 3223 2790 144 303 0 2918 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12892 [startup+3.10024 s] /proc/loadavg: 2.04 2.01 2.00 3/179 10956 /proc/meminfo: memFree=31387260/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=20044 CPUtime=3.09 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 4665 0 0 0 306 3 0 0 25 0 1 0 130666634 20525056 4575 4089446400 134512640 135752675 4291483904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10955/statm: 5011 4575 144 303 0 4706 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20044 [startup+6.30066 s] /proc/loadavg: 2.04 2.01 2.00 3/179 10956 /proc/meminfo: memFree=31373808/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=31176 CPUtime=6.29 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 7459 0 0 0 624 5 0 0 25 0 1 0 130666634 31924224 7369 4089446400 134512640 135752675 4291483904 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10955/statm: 7794 7369 144 303 0 7489 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31176 [startup+12.7005 s] /proc/loadavg: 2.04 2.01 2.00 3/179 10957 /proc/meminfo: memFree=31350256/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=51944 CPUtime=12.69 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 12620 0 0 0 1260 9 0 0 25 0 1 0 130666634 53190656 12530 4089446400 134512640 135752675 4291483904 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10955/statm: 12986 12530 144 303 0 12681 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51944 [startup+25.5002 s] /proc/loadavg: 2.03 2.01 2.00 3/179 10957 /proc/meminfo: memFree=31306900/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=84920 CPUtime=25.49 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 20854 0 0 0 2533 16 0 0 25 0 1 0 130666634 86958080 20764 4089446400 134512640 135752675 4291483904 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10955/statm: 21230 20764 144 303 0 20925 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 84920 [startup+51.1007 s] /proc/loadavg: 2.02 2.01 2.00 3/179 10958 /proc/meminfo: memFree=31227624/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=151076 CPUtime=51.08 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 37375 0 0 0 5079 29 0 0 25 0 1 0 130666634 154701824 37285 4089446400 134512640 135752675 4291483904 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10955/statm: 37769 37285 144 303 0 37464 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 151076 [startup+102.307 s] /proc/loadavg: 2.01 2.00 2.00 3/179 10959 /proc/meminfo: memFree=31079252/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=273684 CPUtime=102.29 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 68012 0 0 0 10175 54 0 0 25 0 1 0 130666634 280252416 67922 4089446400 134512640 135752675 4291483904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10955/statm: 68421 67922 144 303 0 68116 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 273684 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10961 /proc/meminfo: memFree=30903712/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=416296 CPUtime=162.29 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 103583 0 0 0 16146 83 0 0 25 0 1 0 130666634 426287104 103493 4089446400 134512640 135752675 4291483904 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10955/statm: 104074 103493 144 303 0 103769 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 416296 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10965 /proc/meminfo: memFree=30763684/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=522608 CPUtime=222.29 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 130281 0 0 0 22117 112 0 0 25 0 1 0 130666634 535150592 130162 4089446400 134512640 135752675 4291483904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 130652 130162 146 303 0 130347 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 522608 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10967 /proc/meminfo: memFree=30602644/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=650584 CPUtime=282.29 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 162272 0 0 0 28088 141 0 0 25 0 1 0 130666634 666198016 162153 4089446400 134512640 135752675 4291483904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 162646 162153 146 303 0 162341 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 650584 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10969 /proc/meminfo: memFree=30465420/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=755352 CPUtime=342.3 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 188385 0 0 0 34063 167 0 0 25 0 1 0 130666634 773480448 188266 4089446400 134512640 135752675 4291483904 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 188838 188266 146 303 0 188533 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 755352 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10970 /proc/meminfo: memFree=30290024/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=901476 CPUtime=402.29 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 224874 0 0 0 40037 192 0 0 25 0 1 0 130666634 923111424 224755 4089446400 134512640 135752675 4291483904 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 225369 224755 146 303 0 225064 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 901476 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10972 /proc/meminfo: memFree=30143612/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=1017128 CPUtime=462.3 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 253746 0 0 0 46010 220 0 0 25 0 1 0 130666634 1041539072 253627 4089446400 134512640 135752675 4291483904 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 254282 253627 146 303 0 253977 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1017128 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10973 /proc/meminfo: memFree=30031068/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=1101232 CPUtime=522.3 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 274717 0 0 0 51990 240 0 0 25 0 1 0 130666634 1127661568 274598 4089446400 134512640 135752675 4291483904 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 275308 274598 146 303 0 275003 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1101232 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10975 /proc/meminfo: memFree=29896424/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=1203540 CPUtime=582.3 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 300280 0 0 0 57968 262 0 0 25 0 1 0 130666634 1232424960 300161 4089446400 134512640 135752675 4291483904 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 300885 300161 146 303 0 300580 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1203540 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10977 /proc/meminfo: memFree=29742944/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=1323928 CPUtime=642.3 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 330286 0 0 0 63944 286 0 0 25 0 1 0 130666634 1355702272 330167 4089446400 134512640 135752675 4291483904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 330982 330167 146 303 0 330677 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1323928 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10981 /proc/meminfo: memFree=29308568/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=1672704 CPUtime=822.31 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 417391 0 0 0 81879 352 0 0 25 0 1 0 130666634 1712848896 417272 4089446400 134512640 135752675 4291483904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 418176 417272 146 303 0 417871 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1672704 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10983 /proc/meminfo: memFree=29207304/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=1743900 CPUtime=882.3 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 435154 0 0 0 87861 369 0 0 25 0 1 0 130666634 1785753600 435035 4089446400 134512640 135752675 4291483904 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 435975 435035 146 303 0 435670 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 1743900 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10985 /proc/meminfo: memFree=29094632/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=1829016 CPUtime=942.3 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 456414 0 0 0 93843 387 0 0 25 0 1 0 130666634 1872912384 456295 4089446400 134512640 135752675 4291483904 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 457254 456295 146 303 0 456949 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 1829016 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10986 /proc/meminfo: memFree=28968076/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=1925052 CPUtime=1002.31 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 480387 0 0 0 99823 408 0 0 25 0 1 0 130666634 1971253248 480268 4089446400 134512640 135752675 4291483904 18446744073709551615 134611735 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 481263 480268 146 303 0 480958 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1925052 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10988 /proc/meminfo: memFree=28846216/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2014516 CPUtime=1062.32 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 502694 0 0 0 105804 428 0 0 25 0 1 0 130666634 2062864384 502575 4089446400 134512640 135752675 4291483904 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 503629 502575 146 303 0 503324 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 2014516 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10989 /proc/meminfo: memFree=28736636/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2092276 CPUtime=1122.31 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 522136 0 0 0 111787 444 0 0 25 0 1 0 130666634 2142490624 522017 4089446400 134512640 135752675 4291483904 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 523069 522017 146 303 0 522764 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 2092276 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10991 /proc/meminfo: memFree=28635984/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2163676 CPUtime=1182.31 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 539972 0 0 0 117771 460 0 0 25 0 1 0 130666634 2215604224 539853 4089446400 134512640 135752675 4291483904 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 540919 539853 146 303 0 540614 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 2163676 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10993 /proc/meminfo: memFree=28491436/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2278916 CPUtime=1242.31 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 568686 0 0 0 123746 485 0 0 25 0 1 0 130666634 2333609984 568567 4089446400 134512640 135752675 4291483904 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 569729 568567 146 303 0 569424 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 2278916 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10994 /proc/meminfo: memFree=28344676/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2393968 CPUtime=1302.32 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 597435 0 0 0 129725 507 0 0 25 0 1 0 130666634 2451423232 597316 4089446400 134512640 135752675 4291483904 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 598492 597316 146 303 0 598187 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 2393968 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10996 /proc/meminfo: memFree=28200616/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2508716 CPUtime=1362.32 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 626095 0 0 0 135702 530 0 0 25 0 1 0 130666634 2568925184 625976 4089446400 134512640 135752675 4291483904 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 627179 625976 146 303 0 626874 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2508716 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10997 /proc/meminfo: memFree=28050980/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2626928 CPUtime=1422.33 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 655621 0 0 0 141681 552 0 0 25 0 1 0 130666634 2689974272 655502 4089446400 134512640 135752675 4291483904 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 656732 655502 146 303 0 656427 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2626928 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10999 /proc/meminfo: memFree=27917344/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2731168 CPUtime=1482.32 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 681668 0 0 0 147661 571 0 0 25 0 1 0 130666634 2796716032 681549 4089446400 134512640 135752675 4291483904 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 682792 681549 146 303 0 682487 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2731168 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11001 /proc/meminfo: memFree=27789648/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2827908 CPUtime=1542.32 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 705830 0 0 0 153643 589 0 0 25 0 1 0 130666634 2895777792 705711 4089446400 134512640 135752675 4291483904 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 706977 705711 146 303 0 706672 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2827908 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11002 /proc/meminfo: memFree=27659980/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=2928020 CPUtime=1602.33 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 730832 0 0 0 159622 611 0 0 25 0 1 0 130666634 2998292480 730713 4089446400 134512640 135752675 4291483904 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 732005 730713 146 303 0 731700 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2928020 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11004 /proc/meminfo: memFree=27527848/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=3029196 CPUtime=1662.33 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 756114 0 0 0 165599 634 0 0 25 0 1 0 130666634 3101896704 755995 4089446400 134512640 135752675 4291483904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 757299 755995 146 303 0 756994 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 3029196 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11005 /proc/meminfo: memFree=27398560/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=3128632 CPUtime=1722.33 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 780952 0 0 0 171578 655 0 0 25 0 1 0 130666634 3203719168 780833 4089446400 134512640 135752675 4291483904 18446744073709551615 134607312 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 782158 780834 146 303 0 781853 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 3128632 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11035 /proc/meminfo: memFree=28169252/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=3223368 CPUtime=1782.33 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 804607 0 0 0 177560 673 0 0 25 0 1 0 130666634 3300728832 804488 4089446400 134512640 135752675 4291483904 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 805842 804488 146 303 0 805537 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 3223368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11035 /proc/meminfo: memFree=28102584/32950904 swapFree=67111528/67111528 [pid=10955] ppid=10953 vsize=3245840 CPUtime=1800.03 /proc/10955/stat : 10955 (wbo1.4b) R 10953 10955 9833 0 -1 4202496 810216 0 0 0 179328 675 0 0 25 0 1 0 130666634 3323740160 810097 4089446400 134512640 135752675 4291483904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10955/statm: 811460 810097 146 303 0 811155 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 3245840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.11 CPU time (s): 1800.15 CPU user time (s): 1793.29 CPU system time (s): 6.85996 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 3245840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.29 system time used= 6.85996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 810216 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= 2 involuntary context switches= 1312 runsolver used 2.78058 second user time and 5.9141 second system time The end
Begin job on node121 at 2010-06-30 12:28:19 IDJOB=2690408 IDBENCH=78731 IDSOLVER=1201 FILE ID=node121/2690408-1277893699 PBS_JOBID= 11197112 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-35-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-2690408-1277893699/watcher-2690408-1277893699 -o /tmp/evaluation-result-2690408-1277893699/solver-2690408-1277893699 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690408-1277893699.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 855765d60afa4a3ed9dadddc2a73110a RANDOM SEED=633717276 node121.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.876 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.75 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.876 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 : 5226.23 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.876 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.876 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.83 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.876 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.75 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.876 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.82 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.876 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.876 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: 32950904 kB MemFree: 31403296 kB Buffers: 175272 kB Cached: 1099760 kB SwapCached: 0 kB Active: 624720 kB Inactive: 779224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31403296 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 128368 kB Mapped: 16080 kB Slab: 80272 kB PageTables: 4924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 272852 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 node121 at 2010-06-30 12:58:21