Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (MO) | 1661.19 | 1661.14 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo |
MD5SUM | b19b36a9eeef0aa91319f6277ed84276 |
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.049992 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1640 |
Total number of constraints | 81 |
Number of soft constraints | 21 |
Number of constraints which are clauses | 41 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 41 |
Top cost | 1107 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 1106 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 42 |
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 - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689772-1277894127.wbo. 0.00/0.00 c Instance file HOME/instance-2689772-1277894127.wbo 0.00/0.00 c File size is 28280 bytes. 0.00/0.00 c Highest Coefficient sum: 42 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: 1640 | 0.00/0.00 c | Number Clauses: 41 | 0.00/0.00 c | Number Cardinality: 40 | 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 | 1640 81 3280 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 1640 81 3280 | 5500 101 149 | 0.000 % | 0.00/0.01 c | 254 | 1640 81 3280 | 6050 254 221 | 0.000 % | 0.00/0.02 c | 481 | 1640 81 3280 | 6655 481 193 | 0.000 % | 0.00/0.04 c | 820 | 1640 81 3280 | 7320 820 182 | 0.000 % | 0.00/0.07 c | 1326 | 1640 81 3280 | 8052 1326 180 | 0.000 % | 0.09/0.12 c | 2087 | 1640 81 3280 | 8857 2087 181 | 0.000 % | 0.19/0.24 c | 3227 | 1640 81 3280 | 9743 3227 198 | 0.000 % | 0.39/0.46 c | 4936 | 1640 81 3280 | 10717 4936 213 | 0.000 % | 1.29/1.39 c | 7499 | 1640 81 3280 | 11789 7499 257 | 0.000 % | 2.10/2.14 c | 11345 | 1640 81 3280 | 12968 11345 252 | 0.000 % | 3.30/3.39 c | 17111 | 1640 81 3280 | 14265 9831 278 | 0.000 % | 6.60/6.61 c | 25760 | 1640 81 3280 | 15692 10554 379 | 0.000 % | 14.19/14.29 c | 38734 | 1640 81 3280 | 17261 14881 312 | 0.000 % | 28.50/28.55 c | 58195 | 1640 81 3280 | 18987 15512 481 | 0.000 % | 46.60/46.64 c | 87390 | 1640 81 3280 | 20886 14370 512 | 0.000 % | 72.89/72.93 c | 131180 | 1640 81 3280 | 22974 13305 376 | 0.000 % | 121.10/121.11 c | 196867 | 1640 81 3280 | 25272 16729 433 | 0.000 % | 169.19/169.29 c | 295396 | 1640 81 3280 | 27799 19791 530 | 0.000 % | 272.90/272.91 c | 443186 | 1640 81 3280 | 30579 19064 415 | 0.000 % | 447.10/447.16 c | 664871 | 1640 81 3280 | 33637 18774 559 | 0.000 % | 712.61/712.64 c | 997396 | 1640 81 3280 | 37001 20921 437 | 0.000 % | 1246.43/1246.40 c | 1496186 | 1640 81 3280 | 40701 16822 488 | 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-2689772-1277894127/watcher-2689772-1277894127 -o /tmp/evaluation-result-2689772-1277894127/solver-2689772-1277894127 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689772-1277894127.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.99 1.99 4/182 11510 /proc/meminfo: memFree=29432852/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=2864 CPUtime=0 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 371 0 0 0 0 0 0 0 25 0 1 0 130708332 2932736 283 4089446400 134512640 135751879 4291226704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 716 283 142 303 0 411 0 [startup+0.078578 s] /proc/loadavg: 1.93 1.99 1.99 4/182 11510 /proc/meminfo: memFree=29432852/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=4052 CPUtime=0.07 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 654 0 0 0 7 0 0 0 25 0 1 0 130708332 4149248 566 4089446400 134512640 135751879 4291226704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 1013 567 143 303 0 708 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4052 [startup+0.100577 s] /proc/loadavg: 1.93 1.99 1.99 4/182 11510 /proc/meminfo: memFree=29432852/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=4316 CPUtime=0.09 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 739 0 0 0 9 0 0 0 25 0 1 0 130708332 4419584 651 4089446400 134512640 135751879 4291226704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 1079 652 143 303 0 774 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4316 [startup+0.30054 s] /proc/loadavg: 1.93 1.99 1.99 4/182 11510 /proc/meminfo: memFree=29432852/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=6428 CPUtime=0.29 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 1264 0 0 0 29 0 0 0 25 0 1 0 130708332 6582272 1176 4089446400 134512640 135751879 4291226704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 1607 1176 143 303 0 1302 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6428 [startup+0.700464 s] /proc/loadavg: 1.93 1.99 1.99 4/182 11510 /proc/meminfo: memFree=29432852/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=8804 CPUtime=0.69 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 1855 0 0 0 69 0 0 0 25 0 1 0 130708332 9015296 1767 4089446400 134512640 135751879 4291226704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 2201 1767 143 303 0 1896 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8804 [startup+1.50032 s] /proc/loadavg: 1.93 1.99 1.99 3/183 11511 /proc/meminfo: memFree=29422676/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=12500 CPUtime=1.49 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 2779 0 0 0 149 0 0 0 25 0 1 0 130708332 12800000 2691 4089446400 134512640 135751879 4291226704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 3125 2691 143 303 0 2820 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12500 [startup+3.10102 s] /proc/loadavg: 1.93 1.99 1.99 3/183 11511 /proc/meminfo: memFree=29413500/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=21652 CPUtime=3.09 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 5076 0 0 0 307 2 0 0 25 0 1 0 130708332 22171648 4988 4089446400 134512640 135751879 4291226704 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 5413 4988 143 303 0 5108 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21652 [startup+6.30043 s] /proc/loadavg: 1.93 1.99 1.99 3/183 11511 /proc/meminfo: memFree=29387956/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=37108 CPUtime=6.29 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 8932 0 0 0 625 4 0 0 25 0 1 0 130708332 37998592 8844 4089446400 134512640 135751879 4291226704 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 9277 8844 143 303 0 8972 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37108 [startup+12.7002 s] /proc/loadavg: 1.94 1.99 1.99 3/183 11511 /proc/meminfo: memFree=29357876/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=53392 CPUtime=12.69 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 12989 0 0 0 1263 6 0 0 25 0 1 0 130708332 54673408 12901 4089446400 134512640 135751879 4291226704 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 13348 12901 143 303 0 13043 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53392 [startup+25.5009 s] /proc/loadavg: 1.95 1.99 1.99 3/183 11511 /proc/meminfo: memFree=29291864/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=89584 CPUtime=25.49 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 22036 0 0 0 2540 9 0 0 25 0 1 0 130708332 91734016 21948 4089446400 134512640 135751879 4291226704 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 22396 21948 143 303 0 22091 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89584 [startup+51.1011 s] /proc/loadavg: 1.97 1.99 1.99 3/183 11512 /proc/meminfo: memFree=29152756/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=175184 CPUtime=51.1 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 43421 0 0 0 5090 20 0 0 25 0 1 0 130708332 179388416 43333 4089446400 134512640 135751879 4291226704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 43796 43333 143 303 0 43491 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 175184 [startup+102.307 s] /proc/loadavg: 1.98 1.99 1.99 3/183 11513 /proc/meminfo: memFree=28834412/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=294016 CPUtime=102.3 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 73115 0 0 0 10199 31 0 0 25 0 1 0 130708332 301072384 73027 4089446400 134512640 135751879 4291226704 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 73504 73027 143 303 0 73199 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 294016 [startup+162.301 s] /proc/loadavg: 1.99 1.99 1.99 3/183 11515 /proc/meminfo: memFree=28427428/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=550832 CPUtime=162.3 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 137261 0 0 0 16175 55 0 0 25 0 1 0 130708332 564051968 137173 4089446400 134512640 135751879 4291226704 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 137708 137173 143 303 0 137403 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 550832 [startup+222.3 s] /proc/loadavg: 1.99 1.99 1.99 3/183 11517 /proc/meminfo: memFree=28080572/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=727056 CPUtime=222.29 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 181289 0 0 0 22156 73 0 0 25 0 1 0 130708332 744505344 181201 4089446400 134512640 135751879 4291226704 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 181764 181201 143 303 0 181459 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 727056 [startup+282.3 s] /proc/loadavg: 1.99 1.99 1.99 3/183 11519 /proc/meminfo: memFree=27721196/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=891780 CPUtime=282.3 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 222461 0 0 0 28140 90 0 0 25 0 1 0 130708332 913182720 222373 4089446400 134512640 135751879 4291226704 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 222945 222373 143 303 0 222640 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 891780 [startup+342.3 s] /proc/loadavg: 1.99 1.99 1.99 3/183 11520 /proc/meminfo: memFree=27363672/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=1070900 CPUtime=342.3 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 267207 0 0 0 34125 105 0 0 25 0 1 0 130708332 1096601600 267119 4089446400 134512640 135751879 4291226704 18446744073709551615 134616430 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 267725 267119 143 303 0 267420 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1070900 [startup+402.301 s] /proc/loadavg: 1.99 1.99 1.99 3/183 11521 /proc/meminfo: memFree=27004424/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=1243852 CPUtime=402.31 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 310412 0 0 0 40109 122 0 0 25 0 1 0 130708332 1273704448 310324 4089446400 134512640 135751879 4291226704 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 310963 310324 143 303 0 310658 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 1243852 [startup+462.301 s] /proc/loadavg: 2.06 2.00 2.00 3/183 11523 /proc/meminfo: memFree=26642692/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=1438560 CPUtime=462.3 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 359070 0 0 0 46092 138 0 0 25 0 1 0 130708332 1473085440 358982 4089446400 134512640 135751879 4291226704 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 359640 358982 143 303 0 359335 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1438560 [startup+522.301 s] /proc/loadavg: 2.02 2.00 2.00 3/183 11525 /proc/meminfo: memFree=26319648/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=1580456 CPUtime=522.31 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 394531 0 0 0 52079 152 0 0 25 0 1 0 130708332 1618386944 394443 4089446400 134512640 135751879 4291226704 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 395114 394444 143 303 0 394809 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1580456 [startup+582.301 s] /proc/loadavg: 2.01 2.00 2.00 3/183 11527 /proc/meminfo: memFree=26036908/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=1711916 CPUtime=582.31 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 427388 0 0 0 58065 166 0 0 25 0 1 0 130708332 1753001984 427300 4089446400 134512640 135751879 4291226704 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 427979 427300 143 303 0 427674 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1711916 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 2/181 11529 /proc/meminfo: memFree=29610700/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=1852184 CPUtime=642.31 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 462402 0 0 0 64049 182 0 0 25 0 1 0 130708332 1896636416 462314 4089446400 134512640 135751879 4291226704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 463046 462314 143 303 0 462741 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1852184 [startup+702.301 s] /proc/loadavg: 2.09 2.03 2.01 3/183 11657 /proc/meminfo: memFree=29405792/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=1989344 CPUtime=702.31 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 496692 0 0 0 70034 197 0 0 25 0 1 0 130708332 2037088256 496604 4089446400 134512640 135751879 4291226704 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 497336 496604 143 303 0 497031 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 1989344 [startup+762.307 s] /proc/loadavg: 2.03 2.02 2.00 3/183 11659 /proc/meminfo: memFree=29238480/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=2109420 CPUtime=762.32 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 526660 0 0 0 76020 212 0 0 25 0 1 0 130708332 2160046080 526572 4089446400 134512640 135751879 4291226704 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 527355 526572 143 303 0 527050 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 2109420 [startup+822.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 11661 /proc/meminfo: memFree=29086804/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=2214100 CPUtime=822.32 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 552818 0 0 0 82008 224 0 0 25 0 1 0 130708332 2267238400 552730 4089446400 134512640 135751879 4291226704 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 553525 552730 143 303 0 553220 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 2214100 [startup+882.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 11663 /proc/meminfo: memFree=28912276/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=2344232 CPUtime=882.32 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 585311 0 0 0 87991 241 0 0 25 0 1 0 130708332 2400493568 585223 4089446400 134512640 135751879 4291226704 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 586058 585223 143 303 0 585753 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 2344232 [startup+942.3 s] /proc/loadavg: 2.03 2.02 2.00 3/183 11664 /proc/meminfo: memFree=28760324/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=2452732 CPUtime=942.33 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 612430 0 0 0 93979 254 0 0 25 0 1 0 130708332 2511597568 612342 4089446400 134512640 135751879 4291226704 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 613183 612342 143 303 0 612878 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 2452732 [startup+1002.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 11665 /proc/meminfo: memFree=28619036/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=2548044 CPUtime=1002.33 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 636215 0 0 0 99969 264 0 0 25 0 1 0 130708332 2609197056 636127 4089446400 134512640 135751879 4291226704 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 637011 636127 143 303 0 636706 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 2548044 [startup+1062.3 s] /proc/loadavg: 2.06 2.03 2.00 3/183 11667 /proc/meminfo: memFree=28478492/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=2647752 CPUtime=1062.33 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 661128 0 0 0 105958 275 0 0 25 0 1 0 130708332 2711298048 661040 4089446400 134512640 135751879 4291226704 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 661938 661040 143 303 0 661633 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 2647752 [startup+1122.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 11669 /proc/meminfo: memFree=28337828/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=2747244 CPUtime=1122.33 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 685984 0 0 0 111947 286 0 0 25 0 1 0 130708332 2813177856 685896 4089446400 134512640 135751879 4291226704 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 686811 685896 143 303 0 686506 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 2747244 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 11671 /proc/meminfo: memFree=28167656/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=2874508 CPUtime=1182.33 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 717801 0 0 0 117934 299 0 0 25 0 1 0 130708332 2943496192 717713 4089446400 134512640 135751879 4291226704 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 718627 717713 143 303 0 718322 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 2874508 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 2.00 3/183 11672 /proc/meminfo: memFree=28016568/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=2979496 CPUtime=1242.33 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 744058 0 0 0 123922 311 0 0 25 0 1 0 130708332 3051003904 743970 4089446400 134512640 135751879 4291226704 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 744874 743970 143 303 0 744569 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2979496 [startup+1302.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 11673 /proc/meminfo: memFree=27845280/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=3106892 CPUtime=1302.34 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 775803 0 0 0 129911 323 0 0 25 0 1 0 130708332 3181457408 775715 4089446400 134512640 135751879 4291226704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 776723 775715 143 303 0 776418 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 3106892 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 11675 /proc/meminfo: memFree=27661084/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=3247716 CPUtime=1362.33 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 811000 0 0 0 135898 335 0 0 25 0 1 0 130708332 3325661184 810912 4089446400 134512640 135751879 4291226704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 811929 810912 143 303 0 811624 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 3247716 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/183 11677 /proc/meminfo: memFree=27493012/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=3368472 CPUtime=1422.34 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 841157 0 0 0 141886 348 0 0 25 0 1 0 130708332 3449315328 841069 4089446400 134512640 135751879 4291226704 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 842118 841069 143 303 0 841813 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 3368472 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 11679 /proc/meminfo: memFree=27333624/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=3485036 CPUtime=1482.34 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 870261 0 0 0 147873 361 0 0 25 0 1 0 130708332 3568676864 870173 4089446400 134512640 135751879 4291226704 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11510/statm: 871259 870173 143 303 0 870954 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 3485036 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 11689 /proc/meminfo: memFree=27143904/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=3629504 CPUtime=1542.34 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 906360 0 0 0 153858 376 0 0 25 0 1 0 130708332 3716612096 906272 4089446400 134512640 135751879 4291226704 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11510/statm: 907376 906272 143 303 0 907071 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 3629504 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 11690 /proc/meminfo: memFree=26965172/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=3765212 CPUtime=1602.34 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 940283 0 0 0 159844 390 0 0 25 0 1 0 130708332 3855577088 940195 4089446400 134512640 135751879 4291226704 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11510/statm: 941303 940195 143 303 0 940998 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 3765212 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1661.01 s] /proc/loadavg: 2.00 2.00 2.00 3/183 11692 /proc/meminfo: memFree=26792412/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=3891224 CPUtime=1661.05 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4202496 971789 0 0 0 165703 402 0 0 25 0 1 0 130708332 3984613376 971701 4089446400 134512640 135751879 4291226704 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11510/statm: 972806 971701 143 303 0 972501 0 Current children cumulated CPU time (s) 1661.05 Current children cumulated vsize (KiB) 3891224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1661.11 s] /proc/loadavg: 2.00 2.00 2.00 3/183 11692 /proc/meminfo: memFree=26792412/32951124 swapFree=67111528/67111528 [pid=11510] ppid=11508 vsize=0 CPUtime=1661.15 /proc/11510/stat : 11510 (wbo1.4a) R 11508 11510 10123 0 -1 4203524 971789 0 0 0 165703 412 0 0 25 0 1 0 130708332 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/11510/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1661.14 CPU time (s): 1661.19 CPU user time (s): 1657.04 CPU system time (s): 4.15637 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 3891224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1657.04 system time used= 4.15637 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 971789 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 1301 runsolver used 2.6116 second user time and 5.40418 second system time The end
Begin job on node135 at 2010-06-30 12:35:27 IDJOB=2689772 IDBENCH=78734 IDSOLVER=1200 FILE ID=node135/2689772-1277894127 PBS_JOBID= 11197084 Free space on /tmp= 74136 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689772-1277894127/watcher-2689772-1277894127 -o /tmp/evaluation-result-2689772-1277894127/solver-2689772-1277894127 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689772-1277894127.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b19b36a9eeef0aa91319f6277ed84276 RANDOM SEED=653992956 node135.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.857 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.71 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.857 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.857 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.857 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 : 7186.14 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.857 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.857 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.857 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.74 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.857 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29433504 kB Buffers: 176420 kB Cached: 1102752 kB SwapCached: 0 kB Active: 2554000 kB Inactive: 818092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29433504 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2448 kB Writeback: 0 kB AnonPages: 2092800 kB Mapped: 15084 kB Slab: 80012 kB PageTables: 8852 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2233080 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node135 at 2010-06-30 13:03:10