Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.06 | 1800.01 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo |
MD5SUM | 3c416dfc7b9a20db215e1b491e013711 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.167973 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 5250 |
Total number of constraints | 145 |
Number of soft constraints | 145 |
Number of constraints which are clauses | 75 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 70 |
Maximum length of a constraint | 75 |
Top cost | 7458 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 7457 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 76 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.01 c constraints 0/70 clauses 0/75 units 0 0.00/0.01 c vars 5250 1800.06/1800.00 s UNKNOWN
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-2695544-1277922040/watcher-2695544-1277922040 -o /tmp/evaluation-result-2695544-1277922040/solver-2695544-1277922040 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695544-1277922040.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.85 1.97 1.99 4/178 16419 /proc/meminfo: memFree=28743716/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=2136 CPUtime=0 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 245 0 0 0 0 0 0 0 21 0 1 0 133498668 2187264 164 4089446400 134512640 136421960 4293376464 18446744073709551615 135378156 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/16419/statm: 534 164 143 467 0 65 0 [startup+0.076218 s] /proc/loadavg: 1.85 1.97 1.99 4/178 16419 /proc/meminfo: memFree=28743716/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=22188 CPUtime=0.07 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 5199 0 0 0 7 0 0 0 23 0 1 0 133498668 22720512 5085 4089446400 134512640 136421960 4293376464 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 5547 5091 193 467 0 5078 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 22188 [startup+0.101226 s] /proc/loadavg: 1.85 1.97 1.99 4/178 16419 /proc/meminfo: memFree=28743716/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=27596 CPUtime=0.09 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 6630 0 0 0 9 0 0 0 23 0 1 0 133498668 28258304 6483 4089446400 134512640 136421960 4293376464 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 6899 6485 193 467 0 6430 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27596 [startup+0.301175 s] /proc/loadavg: 1.85 1.97 1.99 4/178 16419 /proc/meminfo: memFree=28743716/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=41492 CPUtime=0.29 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10249 0 0 0 18 11 0 0 23 0 1 0 133498668 42487808 9676 4089446400 134512640 136421960 4293376464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10373 9676 214 467 0 9904 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 41492 [startup+0.701107 s] /proc/loadavg: 1.85 1.97 1.99 4/178 16419 /proc/meminfo: memFree=28743716/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=41492 CPUtime=0.69 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10265 0 0 0 31 38 0 0 25 0 1 0 133498668 42487808 9692 4089446400 134512640 136421960 4293376464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10373 9692 214 467 0 9904 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41492 [startup+1.50095 s] /proc/loadavg: 1.85 1.97 1.99 3/179 16420 /proc/meminfo: memFree=28706024/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=41632 CPUtime=1.49 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10284 0 0 0 61 88 0 0 25 0 1 0 133498668 42631168 9711 4089446400 134512640 136421960 4293376464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10408 9711 214 467 0 9939 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41632 [startup+3.10066 s] /proc/loadavg: 1.85 1.97 1.99 3/179 16420 /proc/meminfo: memFree=28703544/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=41764 CPUtime=3.09 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10329 0 0 0 159 150 0 0 25 0 1 0 133498668 42766336 9756 4089446400 134512640 136421960 4293376464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10441 9756 214 467 0 9972 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41764 [startup+6.30108 s] /proc/loadavg: 1.86 1.97 1.99 3/179 16420 /proc/meminfo: memFree=28697948/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=41896 CPUtime=6.29 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10359 0 0 0 447 182 0 0 25 0 1 0 133498668 42901504 9786 4089446400 134512640 136421960 4293376464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10474 9786 214 467 0 10005 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41896 [startup+12.7009 s] /proc/loadavg: 1.87 1.97 1.99 3/179 16420 /proc/meminfo: memFree=28688536/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=41896 CPUtime=12.7 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10363 0 0 0 1081 189 0 0 25 0 1 0 133498668 42901504 9790 4089446400 134512640 136421960 4293376464 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10474 9790 214 467 0 10005 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 41896 [startup+25.5006 s] /proc/loadavg: 1.90 1.97 1.99 3/179 16421 /proc/meminfo: memFree=28665196/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=41896 CPUtime=25.49 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10366 0 0 0 2356 193 0 0 25 0 1 0 133498668 42901504 9793 4089446400 134512640 136421960 4293376464 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10474 9793 214 467 0 10005 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41896 [startup+51.1009 s] /proc/loadavg: 1.93 1.97 1.99 3/179 16421 /proc/meminfo: memFree=28625848/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=41896 CPUtime=51.1 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10371 0 0 0 4910 200 0 0 25 0 1 0 133498668 42901504 9798 4089446400 134512640 136421960 4293376464 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10474 9798 214 467 0 10005 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 41896 [startup+102.307 s] /proc/loadavg: 1.97 1.97 1.99 3/179 16423 /proc/meminfo: memFree=28540608/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42060 CPUtime=102.3 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10385 0 0 0 10014 216 0 0 25 0 1 0 133498668 43069440 9812 4089446400 134512640 136421960 4293376464 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10515 9812 214 467 0 10046 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 42060 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.99 3/179 16424 /proc/meminfo: memFree=28447296/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42060 CPUtime=162.3 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10388 0 0 0 15997 233 0 0 25 0 1 0 133498668 43069440 9815 4089446400 134512640 136421960 4293376464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10515 9815 214 467 0 10046 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 42060 [startup+222.301 s] /proc/loadavg: 2.03 1.99 1.99 3/179 16426 /proc/meminfo: memFree=28334544/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42060 CPUtime=222.3 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10396 0 0 0 21986 244 0 0 25 0 1 0 133498668 43069440 9823 4089446400 134512640 136421960 4293376464 18446744073709551615 134902278 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10515 9823 214 467 0 10046 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 42060 [startup+282.301 s] /proc/loadavg: 2.01 1.99 1.99 3/179 16427 /proc/meminfo: memFree=28245332/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42060 CPUtime=282.3 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10402 0 0 0 27974 256 0 0 25 0 1 0 133498668 43069440 9829 4089446400 134512640 136421960 4293376464 18446744073709551615 134902283 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10515 9829 214 467 0 10046 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 42060 [startup+342.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16429 /proc/meminfo: memFree=28151280/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42060 CPUtime=342.3 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10410 0 0 0 33962 268 0 0 25 0 1 0 133498668 43069440 9837 4089446400 134512640 136421960 4293376464 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10515 9837 214 467 0 10046 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 42060 [startup+402.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16431 /proc/meminfo: memFree=28043100/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42060 CPUtime=402.3 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10416 0 0 0 39950 280 0 0 25 0 1 0 133498668 43069440 9843 4089446400 134512640 136421960 4293376464 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10515 9843 214 467 0 10046 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 42060 [startup+462.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16432 /proc/meminfo: memFree=27956112/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42060 CPUtime=462.3 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10419 0 0 0 45939 291 0 0 25 0 1 0 133498668 43069440 9846 4089446400 134512640 136421960 4293376464 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10515 9846 214 467 0 10046 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 42060 [startup+522.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16434 /proc/meminfo: memFree=27832544/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42192 CPUtime=522.31 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10423 0 0 0 51928 303 0 0 25 0 1 0 133498668 43204608 9850 4089446400 134512640 136421960 4293376464 18446744073709551615 134902591 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10548 9850 214 467 0 10079 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 42192 [startup+582.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16435 /proc/meminfo: memFree=27749416/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42192 CPUtime=582.31 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10427 0 0 0 57918 313 0 0 25 0 1 0 133498668 43204608 9854 4089446400 134512640 136421960 4293376464 18446744073709551615 134902294 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10548 9854 214 467 0 10079 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 42192 [startup+642.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 16437 /proc/meminfo: memFree=27679552/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42192 CPUtime=642.31 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10432 0 0 0 63908 323 0 0 25 0 1 0 133498668 43204608 9859 4089446400 134512640 136421960 4293376464 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10548 9859 214 467 0 10079 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 42192 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 1.99 1.99 3/197 16518 /proc/meminfo: memFree=31217584/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=822.32 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10453 0 0 0 81877 355 0 0 25 0 1 0 133498668 43352064 9880 4089446400 134512640 136421960 4293376464 18446744073709551615 134902512 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9880 214 467 0 10115 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 42336 [startup+882.301 s] /proc/loadavg: 2.00 1.99 1.99 3/197 16519 /proc/meminfo: memFree=31206396/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=882.32 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10453 0 0 0 87867 365 0 0 25 0 1 0 133498668 43352064 9880 4089446400 134512640 136421960 4293376464 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9880 214 467 0 10115 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 42336 [startup+942.301 s] /proc/loadavg: 2.00 1.99 1.99 3/197 16521 /proc/meminfo: memFree=31190244/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=942.32 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10453 0 0 0 93858 374 0 0 25 0 1 0 133498668 43352064 9880 4089446400 134512640 136421960 4293376464 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9880 214 467 0 10115 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 42336 [startup+1002.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 16523 /proc/meminfo: memFree=31178052/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1002.32 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10456 0 0 0 99849 383 0 0 25 0 1 0 133498668 43352064 9883 4089446400 134512640 136421960 4293376464 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9883 214 467 0 10115 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 42336 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 16524 /proc/meminfo: memFree=31174540/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1062.32 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10460 0 0 0 105839 393 0 0 25 0 1 0 133498668 43352064 9887 4089446400 134512640 136421960 4293376464 18446744073709551615 134902548 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9887 214 467 0 10115 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 42336 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.99 3/197 16526 /proc/meminfo: memFree=31174264/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1122.33 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10463 0 0 0 111832 401 0 0 25 0 1 0 133498668 43352064 9890 4089446400 134512640 136421960 4293376464 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9890 214 467 0 10115 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 42336 [startup+1182.3 s] /proc/loadavg: 2.05 2.00 2.00 3/197 16527 /proc/meminfo: memFree=31165044/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1182.33 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10468 0 0 0 117824 409 0 0 25 0 1 0 133498668 43352064 9895 4089446400 134512640 136421960 4293376464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9895 214 467 0 10115 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 42336 [startup+1242.3 s] /proc/loadavg: 2.02 2.00 2.00 3/197 16529 /proc/meminfo: memFree=31160800/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1242.33 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10471 0 0 0 123816 417 0 0 25 0 1 0 133498668 43352064 9898 4089446400 134512640 136421960 4293376464 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9898 214 467 0 10115 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 42336 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16531 /proc/meminfo: memFree=31160504/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1302.34 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10472 0 0 0 129808 426 0 0 25 0 1 0 133498668 43352064 9899 4089446400 134512640 136421960 4293376464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9899 214 467 0 10115 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 42336 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16532 /proc/meminfo: memFree=31160348/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1362.34 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10475 0 0 0 135799 435 0 0 25 0 1 0 133498668 43352064 9902 4089446400 134512640 136421960 4293376464 18446744073709551615 134902548 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9902 214 467 0 10115 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 42336 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16534 /proc/meminfo: memFree=31154236/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1422.34 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10477 0 0 0 141791 443 0 0 25 0 1 0 133498668 43352064 9904 4089446400 134512640 136421960 4293376464 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9904 214 467 0 10115 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 42336 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16535 /proc/meminfo: memFree=31153952/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1482.34 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10480 0 0 0 147783 451 0 0 25 0 1 0 133498668 43352064 9907 4089446400 134512640 136421960 4293376464 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9907 214 467 0 10115 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 42336 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16537 /proc/meminfo: memFree=31153416/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1542.34 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10481 0 0 0 153776 458 0 0 25 0 1 0 133498668 43352064 9908 4089446400 134512640 136421960 4293376464 18446744073709551615 134902403 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9908 214 467 0 10115 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 42336 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16539 /proc/meminfo: memFree=31153260/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1602.35 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10483 0 0 0 159768 467 0 0 25 0 1 0 133498668 43352064 9910 4089446400 134512640 136421960 4293376464 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9910 214 467 0 10115 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 42336 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16540 /proc/meminfo: memFree=31152972/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1662.34 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10485 0 0 0 165761 473 0 0 25 0 1 0 133498668 43352064 9912 4089446400 134512640 136421960 4293376464 18446744073709551615 134902536 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9912 214 467 0 10115 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 42336 [startup+1722.3 s] /proc/loadavg: 2.07 2.02 2.00 3/197 16542 /proc/meminfo: memFree=31142160/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1722.35 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10487 0 0 0 171754 481 0 0 25 0 1 0 133498668 43352064 9914 4089446400 134512640 136421960 4293376464 18446744073709551615 134902294 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9914 214 467 0 10115 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 42336 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 16543 /proc/meminfo: memFree=31138656/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42336 CPUtime=1782.35 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10489 0 0 0 177748 487 0 0 25 0 1 0 133498668 43352064 9916 4089446400 134512640 136421960 4293376464 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10584 9916 214 467 0 10115 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 42336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.01 2.00 3/197 16544 /proc/meminfo: memFree=31138400/32951124 swapFree=67111528/67111528 [pid=16419] ppid=16417 vsize=42468 CPUtime=1800.06 /proc/16419/stat : 16419 (pbct) R 16417 16419 15397 0 -1 4202496 10490 0 0 0 179516 490 0 0 25 0 1 0 133498668 43487232 9917 4089446400 134512640 136421960 4293376464 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16419/statm: 10617 9917 214 467 0 10148 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 42468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.01 CPU time (s): 1800.06 CPU user time (s): 1795.16 CPU system time (s): 4.90325 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 42468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.16 system time used= 4.90325 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10492 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= 2665 runsolver used 3.36249 second user time and 6.20806 second system time The end
Begin job on node142 at 2010-06-30 20:20:40 IDJOB=2695544 IDBENCH=79179 IDSOLVER=1208 FILE ID=node142/2695544-1277922040 PBS_JOBID= 11197306 Free space on /tmp= 74176 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695544-1277922040/watcher-2695544-1277922040 -o /tmp/evaluation-result-2695544-1277922040/solver-2695544-1277922040 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695544-1277922040.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3c416dfc7b9a20db215e1b491e013711 RANDOM SEED=330814015 node142.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.827 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.65 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.827 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.16 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.827 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 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.827 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28743864 kB Buffers: 201108 kB Cached: 1074916 kB SwapCached: 0 kB Active: 3208424 kB Inactive: 848964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28743864 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2136 kB Writeback: 0 kB AnonPages: 2781648 kB Mapped: 16332 kB Slab: 80644 kB PageTables: 10312 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2973076 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= 74176 MiB End job on node142 at 2010-06-30 20:50:42