Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.05 | 1800.01 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo |
MD5SUM | 2e8bafba6181eaf32525647669a5fbcc |
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.116981 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3900 |
Total number of constraints | 125 |
Number of soft constraints | 125 |
Number of constraints which are clauses | 65 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 65 |
Top cost | 6098 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6097 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 66 |
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/60 clauses 0/65 units 0 0.00/0.01 c vars 3900 1800.04/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-2695558-1277922554/watcher-2695558-1277922554 -o /tmp/evaluation-result-2695558-1277922554/solver-2695558-1277922554 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695558-1277922554.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.06 2.03 2.00 4/200 15077 /proc/meminfo: memFree=31150220/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=2136 CPUtime=0 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 252 0 0 0 0 0 0 0 23 0 1 0 133551567 2187264 171 4089446400 134512640 136421960 4290493264 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15077/statm: 534 172 144 467 0 65 0 [startup+0.029508 s] /proc/loadavg: 2.06 2.03 2.00 4/200 15077 /proc/meminfo: memFree=31150220/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=10472 CPUtime=0.02 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 2312 0 0 0 2 0 0 0 23 0 1 0 133551567 10723328 2231 4089446400 134512640 136421960 4290493264 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 2651 2252 193 467 0 2182 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10472 [startup+0.100495 s] /proc/loadavg: 2.06 2.03 2.00 4/200 15077 /proc/meminfo: memFree=31150220/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=29324 CPUtime=0.09 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7025 0 0 0 9 0 0 0 23 0 1 0 133551567 30027776 6801 4089446400 134512640 136421960 4290493264 18446744073709551615 134700908 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7331 6801 203 467 0 6862 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29324 [startup+0.300458 s] /proc/loadavg: 2.06 2.03 2.00 4/200 15077 /proc/meminfo: memFree=31150220/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31200 CPUtime=0.29 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7539 0 0 0 14 15 0 0 23 0 1 0 133551567 31948800 7315 4089446400 134512640 136421960 4290493264 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7800 7315 214 467 0 7331 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31200 [startup+0.700366 s] /proc/loadavg: 2.06 2.03 2.00 4/200 15077 /proc/meminfo: memFree=31150220/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31332 CPUtime=0.69 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7552 0 0 0 27 42 0 0 25 0 1 0 133551567 32083968 7328 4089446400 134512640 136421960 4290493264 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7833 7328 214 467 0 7364 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31332 [startup+1.50024 s] /proc/loadavg: 2.06 2.03 2.00 3/201 15078 /proc/meminfo: memFree=31122856/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31464 CPUtime=1.49 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7578 0 0 0 65 84 0 0 25 0 1 0 133551567 32219136 7354 4089446400 134512640 136421960 4290493264 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7866 7354 214 467 0 7397 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31464 [startup+3.10096 s] /proc/loadavg: 2.05 2.03 2.00 3/201 15078 /proc/meminfo: memFree=31122360/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31596 CPUtime=3.09 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7612 0 0 0 155 154 0 0 25 0 1 0 133551567 32354304 7388 4089446400 134512640 136421960 4290493264 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7899 7388 214 467 0 7430 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31596 [startup+6.30039 s] /proc/loadavg: 2.05 2.03 2.00 3/201 15078 /proc/meminfo: memFree=31122608/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31596 CPUtime=6.29 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7628 0 0 0 460 169 0 0 25 0 1 0 133551567 32354304 7404 4089446400 134512640 136421960 4290493264 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7899 7404 214 467 0 7430 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31596 [startup+12.7003 s] /proc/loadavg: 2.04 2.03 2.00 3/201 15078 /proc/meminfo: memFree=31122612/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31596 CPUtime=12.69 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7628 0 0 0 1096 173 0 0 25 0 1 0 133551567 32354304 7404 4089446400 134512640 136421960 4290493264 18446744073709551615 134902259 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7899 7404 214 467 0 7430 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31596 [startup+25.501 s] /proc/loadavg: 2.04 2.03 2.00 3/201 15079 /proc/meminfo: memFree=31123744/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31596 CPUtime=25.49 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7630 0 0 0 2372 177 0 0 25 0 1 0 133551567 32354304 7406 4089446400 134512640 136421960 4290493264 18446744073709551615 134902406 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7899 7406 214 467 0 7430 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31596 [startup+51.1004 s] /proc/loadavg: 2.02 2.03 2.00 3/201 15080 /proc/meminfo: memFree=31123532/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31596 CPUtime=51.09 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7635 0 0 0 4923 186 0 0 25 0 1 0 133551567 32354304 7411 4089446400 134512640 136421960 4290493264 18446744073709551615 134902384 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7899 7411 214 467 0 7430 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 31596 [startup+102.307 s] /proc/loadavg: 2.01 2.02 2.00 3/201 15081 /proc/meminfo: memFree=31123120/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31728 CPUtime=102.3 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7643 0 0 0 10028 202 0 0 25 0 1 0 133551567 32489472 7419 4089446400 134512640 136421960 4290493264 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7932 7419 214 467 0 7463 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 31728 [startup+162.301 s] /proc/loadavg: 2.00 2.01 2.00 3/201 15085 /proc/meminfo: memFree=31119952/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31728 CPUtime=162.3 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7654 0 0 0 16010 220 0 0 25 0 1 0 133551567 32489472 7430 4089446400 134512640 136421960 4290493264 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7932 7430 214 467 0 7463 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 31728 [startup+222.301 s] /proc/loadavg: 2.05 2.03 2.00 3/201 15087 /proc/meminfo: memFree=31115152/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31872 CPUtime=222.29 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7671 0 0 0 21995 234 0 0 25 0 1 0 133551567 32636928 7447 4089446400 134512640 136421960 4290493264 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7968 7447 214 467 0 7499 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 31872 [startup+282.3 s] /proc/loadavg: 2.02 2.02 2.00 3/201 15089 /proc/meminfo: memFree=31114968/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31872 CPUtime=282.29 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7672 0 0 0 27981 248 0 0 25 0 1 0 133551567 32636928 7448 4089446400 134512640 136421960 4290493264 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7968 7448 214 467 0 7499 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 31872 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 3/201 15091 /proc/meminfo: memFree=31114672/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31872 CPUtime=342.3 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7676 0 0 0 33969 261 0 0 25 0 1 0 133551567 32636928 7452 4089446400 134512640 136421960 4290493264 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7968 7452 214 467 0 7499 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 31872 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/201 15092 /proc/meminfo: memFree=31114480/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31872 CPUtime=402.3 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7679 0 0 0 39959 271 0 0 25 0 1 0 133551567 32636928 7455 4089446400 134512640 136421960 4290493264 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7968 7455 214 467 0 7499 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 31872 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 15093 /proc/meminfo: memFree=31114528/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31872 CPUtime=462.31 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7686 0 0 0 45950 281 0 0 25 0 1 0 133551567 32636928 7462 4089446400 134512640 136421960 4290493264 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7968 7462 214 467 0 7499 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 31872 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/201 15095 /proc/meminfo: memFree=31113720/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31872 CPUtime=522.3 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7690 0 0 0 51940 290 0 0 25 0 1 0 133551567 32636928 7466 4089446400 134512640 136421960 4290493264 18446744073709551615 134902271 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7968 7466 214 467 0 7499 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 31872 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/201 15097 /proc/meminfo: memFree=31113272/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31872 CPUtime=582.31 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7698 0 0 0 57933 298 0 0 25 0 1 0 133551567 32636928 7474 4089446400 134512640 136421960 4290493264 18446744073709551615 134902237 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7968 7474 214 467 0 7499 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 31872 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 15099 /proc/meminfo: memFree=31112968/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=31872 CPUtime=642.31 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7707 0 0 0 63924 307 0 0 25 0 1 0 133551567 32636928 7483 4089446400 134512640 136421960 4290493264 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 7968 7483 214 467 0 7499 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 31872 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.08 2.03 2.00 3/201 15103 /proc/meminfo: memFree=31112548/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32148 CPUtime=822.31 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7738 0 0 0 81899 332 0 0 25 0 1 0 133551567 32919552 7514 4089446400 134512640 136421960 4290493264 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8037 7514 214 467 0 7568 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 32148 [startup+882.301 s] /proc/loadavg: 2.10 2.04 2.00 3/201 15105 /proc/meminfo: memFree=31112364/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32148 CPUtime=882.31 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7739 0 0 0 87890 341 0 0 25 0 1 0 133551567 32919552 7515 4089446400 134512640 136421960 4290493264 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8037 7515 214 467 0 7568 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 32148 [startup+942.301 s] /proc/loadavg: 2.04 2.03 2.00 3/201 15107 /proc/meminfo: memFree=31110928/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32148 CPUtime=942.31 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7741 0 0 0 93882 349 0 0 25 0 1 0 133551567 32919552 7517 4089446400 134512640 136421960 4290493264 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8037 7517 214 467 0 7568 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 32148 [startup+1002.3 s] /proc/loadavg: 2.08 2.05 2.01 3/201 15108 /proc/meminfo: memFree=31110608/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32148 CPUtime=1002.32 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7745 0 0 0 99875 357 0 0 25 0 1 0 133551567 32919552 7521 4089446400 134512640 136421960 4290493264 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8037 7521 214 467 0 7568 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 32148 [startup+1062.3 s] /proc/loadavg: 2.07 2.05 2.01 3/201 15109 /proc/meminfo: memFree=31110660/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32148 CPUtime=1062.31 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7751 0 0 0 105866 365 0 0 25 0 1 0 133551567 32919552 7527 4089446400 134512640 136421960 4290493264 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8037 7527 214 467 0 7568 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 32148 [startup+1122.3 s] /proc/loadavg: 2.02 2.04 2.00 3/201 15111 /proc/meminfo: memFree=31110348/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32148 CPUtime=1122.32 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7756 0 0 0 111858 374 0 0 25 0 1 0 133551567 32919552 7532 4089446400 134512640 136421960 4290493264 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8037 7532 214 467 0 7568 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 32148 [startup+1182.3 s] /proc/loadavg: 2.05 2.05 2.00 3/201 15113 /proc/meminfo: memFree=31110036/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32148 CPUtime=1182.32 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7760 0 0 0 117850 382 0 0 25 0 1 0 133551567 32919552 7536 4089446400 134512640 136421960 4290493264 18446744073709551615 134902448 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8037 7536 214 467 0 7568 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 32148 [startup+1242.3 s] /proc/loadavg: 2.02 2.03 2.00 3/201 15115 /proc/meminfo: memFree=31109348/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32148 CPUtime=1242.32 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7764 0 0 0 123842 390 0 0 25 0 1 0 133551567 32919552 7540 4089446400 134512640 136421960 4290493264 18446744073709551615 134902406 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8037 7540 214 467 0 7568 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 32148 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.00 3/201 15116 /proc/meminfo: memFree=31109032/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32148 CPUtime=1302.34 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7769 0 0 0 129837 397 0 0 25 0 1 0 133551567 32919552 7545 4089446400 134512640 136421960 4290493264 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8037 7545 214 467 0 7568 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 32148 [startup+1362.3 s] /proc/loadavg: 2.07 2.05 2.01 3/183 15193 /proc/meminfo: memFree=31246060/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32148 CPUtime=1362.32 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7774 0 0 0 135829 403 0 0 25 0 1 0 133551567 32919552 7550 4089446400 134512640 136421960 4290493264 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8037 7550 214 467 0 7568 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 32148 [startup+1422.31 s] /proc/loadavg: 2.02 2.04 2.00 3/183 15268 /proc/meminfo: memFree=31282488/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32280 CPUtime=1422.33 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7778 0 0 0 141824 409 0 0 25 0 1 0 133551567 33054720 7554 4089446400 134512640 136421960 4290493264 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8070 7554 214 467 0 7601 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 32280 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/201 15315 /proc/meminfo: memFree=31105680/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32280 CPUtime=1482.32 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7781 0 0 0 147817 415 0 0 25 0 1 0 133551567 33054720 7557 4089446400 134512640 136421960 4290493264 18446744073709551615 134902189 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8070 7557 214 467 0 7601 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 32280 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/201 15317 /proc/meminfo: memFree=31067428/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32280 CPUtime=1542.32 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7787 0 0 0 153813 419 0 0 25 0 1 0 133551567 33054720 7563 4089446400 134512640 136421960 4290493264 18446744073709551615 134902241 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8070 7563 214 467 0 7601 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 32280 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/201 15318 /proc/meminfo: memFree=31053512/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32280 CPUtime=1602.33 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7793 0 0 0 159809 424 0 0 25 0 1 0 133551567 33054720 7569 4089446400 134512640 136421960 4290493264 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8070 7569 214 467 0 7601 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 32280 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/201 15319 /proc/meminfo: memFree=31043928/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32280 CPUtime=1662.33 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7801 0 0 0 165804 429 0 0 25 0 1 0 133551567 33054720 7577 4089446400 134512640 136421960 4290493264 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8070 7577 214 467 0 7601 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 32280 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 15321 /proc/meminfo: memFree=31041540/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32280 CPUtime=1722.33 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7804 0 0 0 171798 435 0 0 25 0 1 0 133551567 33054720 7580 4089446400 134512640 136421960 4290493264 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8070 7580 214 467 0 7601 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 32280 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 15323 /proc/meminfo: memFree=31023140/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32280 CPUtime=1782.34 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7807 0 0 0 177794 440 0 0 25 0 1 0 133551567 33054720 7583 4089446400 134512640 136421960 4290493264 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8070 7583 214 467 0 7601 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 32280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/201 15323 /proc/meminfo: memFree=31021148/32951124 swapFree=67111528/67111528 [pid=15077] ppid=15075 vsize=32280 CPUtime=1800.04 /proc/15077/stat : 15077 (pbct) R 15075 15077 14634 0 -1 4202496 7808 0 0 0 179562 442 0 0 25 0 1 0 133551567 33054720 7584 4089446400 134512640 136421960 4290493264 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15077/statm: 8070 7584 214 467 0 7601 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 32280 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.05 CPU user time (s): 1795.63 CPU system time (s): 4.42433 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 32280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.63 system time used= 4.42433 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7810 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= 2887 runsolver used 3.16452 second user time and 5.72513 second system time The end
Begin job on node132 at 2010-06-30 20:29:14 IDJOB=2695558 IDBENCH=79186 IDSOLVER=1208 FILE ID=node132/2695558-1277922554 PBS_JOBID= 11197348 Free space on /tmp= 74140 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695558-1277922554/watcher-2695558-1277922554 -o /tmp/evaluation-result-2695558-1277922554/solver-2695558-1277922554 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695558-1277922554.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2e8bafba6181eaf32525647669a5fbcc RANDOM SEED=1748013349 node132.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.810 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.62 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.810 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.810 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.810 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.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 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.810 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.810 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: 31149996 kB Buffers: 202872 kB Cached: 1216548 kB SwapCached: 0 kB Active: 772324 kB Inactive: 882080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31149996 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1996 kB Writeback: 0 kB AnonPages: 235264 kB Mapped: 20284 kB Slab: 82160 kB PageTables: 5716 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1643328 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= 74136 MiB End job on node132 at 2010-06-30 20:59:16