runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3386346-1305582138/watcher-3386346-1305582138 -o /tmp/evaluation-result-3386346-1305582138/solver-3386346-1305582138 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386346-1305582138.cnf -threads=4
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.32 1.07 1.07 7/419 25902
/proc/meminfo: memFree=20541424/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=21564 CPUtime=0.01 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 1402 0 0 0 1 0 0 0 23 0 1 0 125823181 22081536 956 33554432000 4194304 4625164 140733681267776 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25902/statm: 5391 958 299 106 0 894 0
[startup+0.0640429 s]
/proc/loadavg: 1.32 1.07 1.07 7/419 25902
/proc/meminfo: memFree=20541424/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=193156 CPUtime=0.12 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) D 25900 25902 25831 0 -1 4202496 4306 0 0 0 12 0 0 0 24 0 4 0 125823181 197791744 3193 33554432000 4194304 4625164 140733681267776 18446744073709551615 4528352 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 48289 3193 336 106 0 43792 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 193156
[startup+0.112839 s]
/proc/loadavg: 1.32 1.07 1.07 7/419 25902
/proc/meminfo: memFree=20541424/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=194184 CPUtime=0.26 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 5619 0 0 0 26 0 0 0 24 0 4 0 125823181 198844416 3534 33554432000 4194304 4625164 140733681267776 18446744073709551615 4512042 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 48546 3534 342 106 0 44049 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 194184
[startup+0.300514 s]
/proc/loadavg: 1.32 1.07 1.07 7/419 25902
/proc/meminfo: memFree=20541424/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=195464 CPUtime=0.82 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 8594 0 0 0 82 0 0 0 25 0 4 0 125823181 200155136 4266 33554432000 4194304 4625164 140733681267776 18446744073709551615 4511863 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 48866 4266 343 106 0 44369 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 195464
[startup+0.700442 s]
/proc/loadavg: 1.32 1.07 1.07 7/419 25902
/proc/meminfo: memFree=20541424/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=197012 CPUtime=2.03 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 12553 0 0 0 202 1 0 0 25 0 4 0 125823181 201740288 4652 33554432000 4194304 4625164 140733681267776 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 49253 4652 343 106 0 44756 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 197012
[startup+1.5003 s]
/proc/loadavg: 1.32 1.07 1.07 10/423 25906
/proc/meminfo: memFree=20514896/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=197636 CPUtime=4.41 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 16478 0 0 0 440 1 0 0 25 0 4 0 125823181 202379264 6322 33554432000 4194304 4625164 140733681267776 18446744073709551615 218880213952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 49409 6322 346 106 0 44912 0
[pid=25902/tid=25904] ppid=25900 vsize=197636 CPUtime=0.24 cores=1,3,5,7
/proc/25902/task/25904/stat : 25904 (SArTagnan) R 25900 25902 25831 0 -1 4202560 675 0 0 0 24 0 0 0 25 0 4 0 125823183 202379264 6322 33554432000 4194304 4625164 140733681267776 18446744073709551615 218880223494 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=197636 CPUtime=1.46 cores=1,3,5,7
/proc/25902/task/25905/stat : 25905 (SArTagnan) R 25900 25902 25831 0 -1 4202560 2251 0 0 0 146 0 0 0 20 0 4 0 125823183 202379264 6322 33554432000 4194304 4625164 140733681267776 18446744073709551615 218880232415 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=197636 CPUtime=1.2 cores=1,3,5,7
/proc/25902/task/25906/stat : 25906 (SArTagnan) R 25900 25902 25831 0 -1 4202560 8040 0 0 0 119 1 0 0 19 0 4 0 125823183 202379264 6322 33554432000 4194304 4625164 140733681267776 18446744073709551615 218880232483 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 197636
[startup+3.10102 s]
/proc/loadavg: 1.32 1.07 1.07 10/423 25906
/proc/meminfo: memFree=20506712/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=203132 CPUtime=9.2 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 24701 0 0 0 917 3 0 0 25 0 4 0 125823181 208007168 7584 33554432000 4194304 4625164 140733681267776 18446744073709551615 4391930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 50783 7584 346 106 0 46286 0
[pid=25902/tid=25904] ppid=25900 vsize=203132 CPUtime=0.63 cores=1,3,5,7
/proc/25902/task/25904/stat : 25904 (SArTagnan) R 25900 25902 25831 0 -1 4202560 1100 0 0 0 63 0 0 0 25 0 4 0 125823183 208007168 7584 33554432000 4194304 4625164 140733681267776 18446744073709551615 4278640 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=203132 CPUtime=3.06 cores=1,3,5,7
/proc/25902/task/25905/stat : 25905 (SArTagnan) R 25900 25902 25831 0 -1 4202560 2296 0 0 0 306 0 0 0 25 0 4 0 125823183 208007168 7584 33554432000 4194304 4625164 140733681267776 18446744073709551615 218880221141 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=203132 CPUtime=2.4 cores=1,3,5,7
/proc/25902/task/25906/stat : 25906 (SArTagnan) R 25900 25902 25831 0 -1 4202560 15262 0 0 0 238 2 0 0 22 0 4 0 125823183 208007168 7584 33554432000 4194304 4625164 140733681267776 18446744073709551615 218880223615 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 203132
[startup+6.30046 s]
/proc/loadavg: 2.02 1.21 1.12 10/423 25906
/proc/meminfo: memFree=20481780/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=208436 CPUtime=18.75 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 41953 0 0 0 1869 6 0 0 25 0 4 0 125823181 213438464 10598 33554432000 4194304 4625164 140733681267776 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 52109 10598 349 106 0 47612 0
[pid=25902/tid=25904] ppid=25900 vsize=208436 CPUtime=2.08 cores=1,3,5,7
/proc/25902/task/25904/stat : 25904 (SArTagnan) R 25900 25902 25831 0 -1 4202560 2326 0 0 0 208 0 0 0 25 0 4 0 125823183 213438464 10598 33554432000 4194304 4625164 140733681267776 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=208436 CPUtime=6.26 cores=1,3,5,7
/proc/25902/task/25905/stat : 25905 (SArTagnan) R 25900 25902 25831 0 -1 4202560 5416 0 0 0 626 0 0 0 25 0 4 0 125823183 213438464 10598 33554432000 4194304 4625164 140733681267776 18446744073709551615 4464405 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=208436 CPUtime=4.1 cores=1,3,5,7
/proc/25902/task/25906/stat : 25906 (SArTagnan) R 25900 25902 25831 0 -1 4202560 27325 0 0 0 406 4 0 0 25 0 4 0 125823183 213438464 10598 33554432000 4194304 4625164 140733681267776 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.75
Current children cumulated vsize (KiB) 208436
Solver just ended. Dumping a history of the last processes samples
[startup+7.90117 s]
/proc/loadavg: 2.02 1.21 1.12 10/423 25906
/proc/meminfo: memFree=20467940/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=206892 CPUtime=23.53 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 49598 0 0 0 2345 8 0 0 25 0 4 0 125823181 211857408 11281 33554432000 4194304 4625164 140733681267776 18446744073709551615 4512763 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 51723 11281 349 106 0 47226 0
[pid=25902/tid=25904] ppid=25900 vsize=206892 CPUtime=2.82 cores=1,3,5,7
/proc/25902/task/25904/stat : 25904 (SArTagnan) R 25900 25902 25831 0 -1 4202560 3351 0 0 0 282 0 0 0 25 0 4 0 125823183 211857408 11281 33554432000 4194304 4625164 140733681267776 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=206892 CPUtime=7.85 cores=1,3,5,7
/proc/25902/task/25905/stat : 25905 (SArTagnan) R 25900 25902 25831 0 -1 4202560 5585 0 0 0 785 0 0 0 25 0 4 0 125823183 211857408 11281 33554432000 4194304 4625164 140733681267776 18446744073709551615 4352760 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=206892 CPUtime=4.92 cores=1,3,5,7
/proc/25902/task/25906/stat : 25906 (SArTagnan) R 25900 25902 25831 0 -1 4202560 33442 0 0 0 487 5 0 0 25 0 4 0 125823183 211857408 11281 33554432000 4194304 4625164 140733681267776 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.53
Current children cumulated vsize (KiB) 206892
[startup+9.50089 s]
/proc/loadavg: 2.02 1.21 1.12 10/423 25906
/proc/meminfo: memFree=20462360/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=206892 CPUtime=28.31 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 56367 0 0 0 2822 9 0 0 25 0 4 0 125823181 211857408 12250 33554432000 4194304 4625164 140733681267776 18446744073709551615 4512012 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 51723 12250 349 106 0 47226 0
[pid=25902/tid=25904] ppid=25900 vsize=206892 CPUtime=3.53 cores=1,3,5,7
/proc/25902/task/25904/stat : 25904 (SArTagnan) R 25900 25902 25831 0 -1 4202560 3519 0 0 0 352 1 0 0 25 0 4 0 125823183 211857408 12250 33554432000 4194304 4625164 140733681267776 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=206892 CPUtime=9.45 cores=1,3,5,7
/proc/25902/task/25905/stat : 25905 (SArTagnan) R 25900 25902 25831 0 -1 4202560 5889 0 0 0 945 0 0 0 25 0 4 0 125823183 211857408 12250 33554432000 4194304 4625164 140733681267776 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=206892 CPUtime=5.81 cores=1,3,5,7
/proc/25902/task/25906/stat : 25906 (SArTagnan) R 25900 25902 25831 0 -1 4202560 39684 0 0 0 575 6 0 0 25 0 4 0 125823183 211857408 12250 33554432000 4194304 4625164 140733681267776 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 28.31
Current children cumulated vsize (KiB) 206892
[startup+10.3007 s]
/proc/loadavg: 2.57 1.34 1.16 10/423 25906
/proc/meminfo: memFree=20457024/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=209508 CPUtime=30.69 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 60485 0 0 0 3059 10 0 0 25 0 4 0 125823181 214536192 12956 33554432000 4194304 4625164 140733681267776 18446744073709551615 4512042 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 52377 12956 349 106 0 47880 0
[pid=25902/tid=25904] ppid=25900 vsize=209508 CPUtime=4.22 cores=1,3,5,7
/proc/25902/task/25904/stat : 25904 (SArTagnan) R 25900 25902 25831 0 -1 4202560 5083 0 0 0 421 1 0 0 25 0 4 0 125823183 214536192 12956 33554432000 4194304 4625164 140733681267776 18446744073709551615 4351878 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=209508 CPUtime=10.24 cores=1,3,5,7
/proc/25902/task/25905/stat : 25905 (SArTagnan) R 25900 25902 25831 0 -1 4202560 6078 0 0 0 1023 1 0 0 25 0 4 0 125823183 214536192 12956 33554432000 4194304 4625164 140733681267776 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=209508 CPUtime=6.19 cores=1,3,5,7
/proc/25902/task/25906/stat : 25906 (SArTagnan) R 25900 25902 25831 0 -1 4202560 41991 0 0 0 613 6 0 0 25 0 4 0 125823183 214536192 12956 33554432000 4194304 4625164 140733681267776 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30.69
Current children cumulated vsize (KiB) 209508
[startup+10.7007 s]
/proc/loadavg: 2.57 1.34 1.16 10/423 25906
/proc/meminfo: memFree=20457024/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=211052 CPUtime=31.89 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 64253 0 0 0 3178 11 0 0 25 0 4 0 125823181 216117248 13828 33554432000 4194304 4625164 140733681267776 18446744073709551615 4512057 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 52763 13829 348 106 0 48266 0
[pid=25902/tid=25904] ppid=25900 vsize=211052 CPUtime=4.62 cores=1,3,5,7
/proc/25902/task/25904/stat : 25904 (SArTagnan) R 25900 25902 25831 0 -1 4202560 5186 0 0 0 461 1 0 0 25 0 4 0 125823183 216117248 13829 33554432000 4194304 4625164 140733681267776 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=211052 CPUtime=10.63 cores=1,3,5,7
/proc/25902/task/25905/stat : 25905 (SArTagnan) R 25900 25902 25831 0 -1 4202560 8271 0 0 0 1062 1 0 0 25 0 4 0 125823183 216117248 13829 33554432000 4194304 4625164 140733681267776 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=211052 CPUtime=6.38 cores=1,3,5,7
/proc/25902/task/25906/stat : 25906 (SArTagnan) R 25900 25902 25831 0 -1 4202560 42390 0 0 0 632 6 0 0 25 0 4 0 125823183 216117248 13830 33554432000 4194304 4625164 140733681267776 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 211052
[startup+10.8007 s]
/proc/loadavg: 2.57 1.34 1.16 10/423 25906
/proc/meminfo: memFree=20457024/32950928 swapFree=62959404/67111528
[pid=25902] ppid=25900 vsize=276804 CPUtime=32.18 cores=1,3,5,7
/proc/25902/stat : 25902 (SArTagnan) R 25900 25902 25831 0 -1 4202496 64769 0 0 0 3207 11 0 0 25 0 4 0 125823181 283447296 14343 33554432000 4194304 4625164 140733681267776 18446744073709551615 4396690 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/25902/statm: 69201 14343 347 106 0 64704 0
[pid=25902/tid=25904] ppid=25900 vsize=276804 CPUtime=4.72 cores=1,3,5,7
/proc/25902/task/25904/stat : 25904 (SArTagnan) R 25900 25902 25831 0 -1 4202560 5340 0 0 0 471 1 0 0 18 0 4 0 125823183 283447296 14343 33554432000 4194304 4625164 140733681267776 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25902/tid=25905] ppid=25900 vsize=276804 CPUtime=10.74 cores=1,3,5,7
/proc/25902/task/25905/stat : 25905 (SArTagnan) R 25900 25902 25831 0 -1 4202560 8544 0 0 0 1072 2 0 0 25 0 4 0 125823183 283447296 14343 33554432000 4194304 4625164 140733681267776 18446744073709551615 218880223494 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25902/tid=25906] ppid=25900 vsize=276804 CPUtime=6.38 cores=1,3,5,7
/proc/25902/task/25906/stat : 25906 (SArTagnan) R 25900 25902 25831 0 -1 4202560 42418 0 0 0 632 6 0 0 25 0 4 0 125823183 283447296 14343 33554432000 4194304 4625164 140733681267776 18446744073709551615 218880262247 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 32.18
Current children cumulated vsize (KiB) 276804
Child status: 20
Real time (s): 10.8878
CPU time (s): 32.4431
CPU user time (s): 32.3181
CPU system time (s): 0.124981
CPU usage (%): 297.976
Max. virtual memory (cumulated for all children) (KiB): 276804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.3181
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65413
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= 438
involuntary context switches= 355
runsolver used 0.049992 second user time and 0.115982 second system time
The end