Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (MO) | 1357.88 | 1357.83 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo |
MD5SUM | b2b0b6245f8ec2d35e44e032ffc67cea |
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.258959 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 6800 |
Total number of constraints | 165 |
Number of soft constraints | 110 |
Number of constraints which are clauses | 85 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 80 |
Maximum length of a constraint | 85 |
Top cost | 6303 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6302 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 86 |
Number of bits of the biggest sum of numbers | 7 |
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-2689770-1277893923.wbo. 0.00/0.00 c Instance file HOME/instance-2689770-1277893923.wbo 0.00/0.00 c File size is 122233 bytes. 0.00/0.01 c Highest Coefficient sum: 86 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 6800 | 0.00/0.01 c | Number Clauses: 85 | 0.00/0.01 c | Number Cardinality: 80 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 6800 165 13600 | 5000 0 nan | 0.000 % | 0.01/0.02 c | 101 | 6800 165 13600 | 5500 101 359 | 0.000 % | 0.01/0.03 c | 252 | 6800 165 13600 | 6050 252 347 | 0.000 % | 0.01/0.06 c | 479 | 6800 165 13600 | 6655 479 490 | 0.000 % | 0.09/0.13 c | 819 | 6800 165 13600 | 7320 819 721 | 0.000 % | 0.19/0.20 c | 1325 | 6800 165 13600 | 8052 1325 626 | 0.000 % | 0.29/0.32 c | 2085 | 6800 165 13600 | 8857 2085 558 | 0.000 % | 0.49/0.56 c | 3224 | 6800 165 13600 | 9743 3224 524 | 0.000 % | 0.89/0.96 c | 4935 | 6800 165 13600 | 10717 4935 538 | 0.000 % | 1.59/1.67 c | 7498 | 6800 165 13600 | 11789 7498 541 | 0.000 % | 3.09/3.17 c | 11342 | 6800 165 13600 | 12968 11342 554 | 0.000 % | 6.09/6.13 c | 17109 | 6800 165 13600 | 14265 17109 566 | 0.000 % | 12.19/12.22 c | 25762 | 6800 165 13600 | 15692 17208 582 | 0.000 % | 23.10/23.19 c | 38743 | 6800 165 13600 | 17261 21585 1094 | 0.000 % | 50.69/50.71 c | 58205 | 6800 165 13600 | 18987 17760 1395 | 0.000 % | 77.10/77.11 c | 87397 | 6800 165 13600 | 20886 20490 963 | 0.000 % | 115.69/115.75 c | 131188 | 6800 165 13600 | 22974 18564 1762 | 0.000 % | 256.10/256.10 c | 196873 | 6800 165 13600 | 25272 18536 1467 | 0.000 % | 435.11/435.12 c | 295400 | 6800 165 13600 | 27799 26579 1055 | 0.000 % | 800.12/800.16 c | 443191 | 6800 165 13600 | 30579 27529 2100 | 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-2689770-1277893923/watcher-2689770-1277893923 -o /tmp/evaluation-result-2689770-1277893923/solver-2689770-1277893923 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689770-1277893923.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.00 3/178 23031 /proc/meminfo: memFree=28702992/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=3652 CPUtime=0 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 505 0 0 0 0 0 0 0 18 0 1 0 164995454 3739648 423 4089446400 134512640 135751879 4291962592 18446744073709551615 134598224 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 913 423 145 303 0 578 0 [startup+0.016223 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23031 /proc/meminfo: memFree=28702992/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=4112 CPUtime=0.01 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 657 0 0 0 1 0 0 0 18 0 1 0 164995454 4210688 545 4089446400 134512640 135751879 4291962592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 1028 546 142 303 0 723 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4112 [startup+0.10024 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23031 /proc/meminfo: memFree=28702992/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=5960 CPUtime=0.09 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 1123 0 0 0 9 0 0 0 18 0 1 0 164995454 6103040 1011 4089446400 134512640 135751879 4291962592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 1490 1011 143 303 0 1185 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5960 [startup+0.300193 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23031 /proc/meminfo: memFree=28702992/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=8740 CPUtime=0.29 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 1836 0 0 0 28 1 0 0 18 0 1 0 164995454 8949760 1724 4089446400 134512640 135751879 4291962592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 2185 1724 143 303 0 1880 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8740 [startup+0.701122 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23031 /proc/meminfo: memFree=28702992/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=13104 CPUtime=0.69 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 2928 0 0 0 67 2 0 0 18 0 1 0 164995454 13418496 2816 4089446400 134512640 135751879 4291962592 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 3276 2816 143 303 0 2971 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13104 [startup+1.50097 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23032 /proc/meminfo: memFree=28688848/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=20364 CPUtime=1.49 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 4721 0 0 0 146 3 0 0 20 0 1 0 164995454 20852736 4609 4089446400 134512640 135751879 4291962592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 5091 4609 143 303 0 4786 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20364 [startup+3.10066 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23032 /proc/meminfo: memFree=28677860/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=30660 CPUtime=3.09 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 7296 0 0 0 304 5 0 0 25 0 1 0 164995454 31395840 7184 4089446400 134512640 135751879 4291962592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 7665 7184 143 303 0 7360 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30660 [startup+6.30106 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23032 /proc/meminfo: memFree=28657152/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=47028 CPUtime=6.29 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 11388 0 0 0 623 6 0 0 25 0 1 0 164995454 48156672 11276 4089446400 134512640 135751879 4291962592 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 11757 11277 143 303 0 11452 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47028 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23033 /proc/meminfo: memFree=28618704/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=73780 CPUtime=12.69 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 18092 0 0 0 1260 9 0 0 25 0 1 0 164995454 75550720 17980 4089446400 134512640 135751879 4291962592 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 18445 17981 143 303 0 18140 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 73780 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23033 /proc/meminfo: memFree=28501008/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=164904 CPUtime=25.5 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 40866 0 0 0 2535 15 0 0 25 0 1 0 164995454 168861696 40754 4089446400 134512640 135751879 4291962592 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 41226 40754 143 303 0 40921 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 164904 [startup+51.1006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23034 /proc/meminfo: memFree=28364956/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=256416 CPUtime=51.09 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 63751 0 0 0 5089 20 0 0 25 0 1 0 164995454 262569984 63639 4089446400 134512640 135751879 4291962592 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 64104 63639 143 303 0 63799 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 256416 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23035 /proc/meminfo: memFree=28051096/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=475460 CPUtime=102.3 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 118488 0 0 0 10193 37 0 0 25 0 1 0 164995454 486871040 118376 4089446400 134512640 135751879 4291962592 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 118865 118376 143 303 0 118560 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 475460 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23037 /proc/meminfo: memFree=27710296/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=722396 CPUtime=162.3 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 180170 0 0 0 16177 53 0 0 25 0 1 0 164995454 739733504 180058 4089446400 134512640 135751879 4291962592 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 180599 180058 143 303 0 180294 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 722396 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23038 /proc/meminfo: memFree=27418872/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=877176 CPUtime=222.3 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 218853 0 0 0 22166 64 0 0 25 0 1 0 164995454 898228224 218741 4089446400 134512640 135751879 4291962592 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 219294 218741 143 303 0 218989 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 877176 [startup+282.301 s] /proc/loadavg: 2.07 2.02 2.00 3/179 23040 /proc/meminfo: memFree=27146540/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=1050000 CPUtime=282.31 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 262036 0 0 0 28155 76 0 0 25 0 1 0 164995454 1075200000 261924 4089446400 134512640 135751879 4291962592 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 262500 261924 143 303 0 262195 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 1050000 [startup+342.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 23042 /proc/meminfo: memFree=26945376/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=1163700 CPUtime=342.3 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 290447 0 0 0 34144 86 0 0 25 0 1 0 164995454 1191628800 290335 4089446400 134512640 135751879 4291962592 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 290925 290335 143 303 0 290620 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1163700 [startup+402.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 23043 /proc/meminfo: memFree=26707020/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=1289512 CPUtime=402.3 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 321864 0 0 0 40134 96 0 0 25 0 1 0 164995454 1320460288 321752 4089446400 134512640 135751879 4291962592 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 322378 321752 143 303 0 322073 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1289512 [startup+462.301 s] /proc/loadavg: 1.92 1.98 1.99 2/177 23046 /proc/meminfo: memFree=30002420/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=1457600 CPUtime=462.3 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 363851 0 0 0 46119 111 0 0 25 0 1 0 164995454 1492582400 363739 4089446400 134512640 135751879 4291962592 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23031/statm: 364400 363739 143 303 0 364095 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1457600 [startup+522.301 s] /proc/loadavg: 1.97 1.98 1.99 3/179 23074 /proc/meminfo: memFree=29770896/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=1606884 CPUtime=522.31 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 401146 0 0 0 52109 122 0 0 25 0 1 0 164995454 1645449216 401034 4089446400 134512640 135751879 4291962592 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 401721 401034 143 303 0 401416 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1606884 [startup+582.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 23076 /proc/meminfo: memFree=29533644/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=1759440 CPUtime=582.31 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 439298 0 0 0 58098 133 0 0 25 0 1 0 164995454 1801666560 439186 4089446400 134512640 135751879 4291962592 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 439860 439186 143 303 0 439555 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1759440 [startup+642.301 s] /proc/loadavg: 2.03 2.00 2.00 3/179 23078 /proc/meminfo: memFree=29353444/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=1902876 CPUtime=642.32 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 475111 0 0 0 64088 144 0 0 25 0 1 0 164995454 1948545024 474999 4089446400 134512640 135751879 4291962592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 475719 474999 143 303 0 475414 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1902876 [startup+702.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 23079 /proc/meminfo: memFree=29136640/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=2064340 CPUtime=702.31 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 515471 0 0 0 70077 154 0 0 25 0 1 0 164995454 2113884160 515359 4089446400 134512640 135751879 4291962592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 516085 515359 143 303 0 515780 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 2064340 [startup+762.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23081 /proc/meminfo: memFree=28933616/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=2188644 CPUtime=762.32 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 546521 0 0 0 76072 160 0 0 25 0 1 0 164995454 2241171456 546409 4089446400 134512640 135751879 4291962592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 547161 546409 143 303 0 546856 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 2188644 [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23082 /proc/meminfo: memFree=28678640/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=2377356 CPUtime=822.32 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 593693 0 0 0 82062 170 0 0 25 0 1 0 164995454 2434412544 593581 4089446400 134512640 135751879 4291962592 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 594339 593581 143 303 0 594034 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 2377356 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23084 /proc/meminfo: memFree=28408524/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=2576420 CPUtime=882.32 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 643435 0 0 0 88051 181 0 0 25 0 1 0 164995454 2638254080 643323 4089446400 134512640 135751879 4291962592 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 644105 643323 143 303 0 643800 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 2576420 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23086 /proc/meminfo: memFree=28176748/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=2762416 CPUtime=942.32 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 689915 0 0 0 94041 191 0 0 25 0 1 0 164995454 2828713984 689803 4089446400 134512640 135751879 4291962592 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 690604 689803 143 303 0 690299 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 2762416 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23087 /proc/meminfo: memFree=28008696/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=2891116 CPUtime=1002.32 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 722054 0 0 0 100033 199 0 0 25 0 1 0 164995454 2960502784 721942 4089446400 134512640 135751879 4291962592 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 722779 721942 143 303 0 722474 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 2891116 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23089 /proc/meminfo: memFree=27830596/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=3038328 CPUtime=1062.33 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 758839 0 0 0 106026 207 0 0 25 0 1 0 164995454 3111247872 758727 4089446400 134512640 135751879 4291962592 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 759582 758727 143 303 0 759277 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 3038328 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23090 /proc/meminfo: memFree=27549948/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=3268808 CPUtime=1122.33 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 816477 0 0 0 112014 219 0 0 25 0 1 0 164995454 3347259392 816365 4089446400 134512640 135751879 4291962592 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 817202 816365 143 303 0 816897 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 3268808 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23092 /proc/meminfo: memFree=27381400/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=3412916 CPUtime=1182.33 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 852462 0 0 0 118004 229 0 0 25 0 1 0 164995454 3494825984 852350 4089446400 134512640 135751879 4291962592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 853229 852350 143 303 0 852924 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 3412916 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23094 /proc/meminfo: memFree=27226120/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=3540020 CPUtime=1242.33 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 884203 0 0 0 123996 237 0 0 25 0 1 0 164995454 3624980480 884091 4089446400 134512640 135751879 4291962592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 885005 884091 143 303 0 884700 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 3540020 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 23095 /proc/meminfo: memFree=27025208/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=3712160 CPUtime=1302.34 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 927206 0 0 0 129987 247 0 0 25 0 1 0 164995454 3801251840 927094 4089446400 134512640 135751879 4291962592 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 928040 927094 143 303 0 927735 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 3712160 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1357.7 s] /proc/loadavg: 2.01 2.00 2.00 3/179 23097 /proc/meminfo: memFree=26766640/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=3891564 CPUtime=1357.75 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4202496 972068 0 0 0 135516 259 0 0 25 0 1 0 164995454 3984961536 971956 4089446400 134512640 135751879 4291962592 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23031/statm: 972891 971956 143 303 0 972586 0 Current children cumulated CPU time (s) 1357.75 Current children cumulated vsize (KiB) 3891564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1357.81 s] /proc/loadavg: 2.01 2.00 2.00 3/179 23097 /proc/meminfo: memFree=26766640/32950928 swapFree=67111528/67111528 [pid=23031] ppid=23029 vsize=0 CPUtime=1357.85 /proc/23031/stat : 23031 (wbo1.4a) R 23029 23031 21178 0 -1 4203524 972068 0 0 0 135516 269 0 0 25 0 1 0 164995454 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0 /proc/23031/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1357.85 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1357.83 CPU time (s): 1357.88 CPU user time (s): 1355.16 CPU system time (s): 2.71459 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 3891564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1355.16 system time used= 2.71459 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972068 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= 3 involuntary context switches= 7206 runsolver used 2.36564 second user time and 5.00924 second system time The end
Begin job on node114 at 2010-06-30 12:32:03 IDJOB=2689770 IDBENCH=78733 IDSOLVER=1200 FILE ID=node114/2689770-1277893923 PBS_JOBID= 11197125 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689770-1277893923/watcher-2689770-1277893923 -o /tmp/evaluation-result-2689770-1277893923/solver-2689770-1277893923 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689770-1277893923.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b2b0b6245f8ec2d35e44e032ffc67cea RANDOM SEED=727356294 node114.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.819 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.819 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.819 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.82 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.819 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.67 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.819 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.819 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.819 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.83 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.819 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 : 5447.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28703644 kB Buffers: 177472 kB Cached: 1106888 kB SwapCached: 0 kB Active: 3217372 kB Inactive: 882988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28703644 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 2815748 kB Mapped: 15076 kB Slab: 78044 kB PageTables: 10064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 2961948 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 node114 at 2010-06-30 12:54:43