runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8902 MiB free)
memory of node 1: 16384 MiB (9998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309597-1534293040/watcher-4309597-1534293040 -o /tmp/evaluation-result-4309597-1534293040/solver-4309597-1534293040 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16588 --watchdog 2580 xcsp_picat HOME/instance-4309597-1534293040.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16619, runsolver pid=16612
[startup+0.100648 s]*
/proc/loadavg: 1.04 1.24 1.38 4/189 16620
/proc/meminfo: memFree=19328048/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2027212 memory=15432 CPUtime=0.05 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 1995 0 0 0 5 0 0 0 20 0 1 0 246867180 2075865088 3858 33554432000 4194304 5849940 140724441785728 140724441784600 5303979 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 506803 3858 629 405 0 503747 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 2027212 KiB
Current children cumulated memory: 15432 KiB
[startup+0.209572 s]*
/proc/loadavg: 1.04 1.24 1.38 4/189 16620
/proc/meminfo: memFree=19326448/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2028740 memory=16212 CPUtime=0.16 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 2509 0 0 0 16 0 0 0 20 0 1 0 246867180 2077429760 4053 33554432000 4194304 5849940 140724441785728 140724441784600 5416673 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 507185 4053 650 405 0 504129 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 2028740 KiB
Current children cumulated memory: 16212 KiB
[startup+0.309139 s]*
/proc/loadavg: 1.04 1.24 1.38 4/189 16620
/proc/meminfo: memFree=19326448/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2028740 memory=16212 CPUtime=0.26 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 2517 0 0 0 26 0 0 0 20 0 1 0 246867180 2077429760 4053 33554432000 4194304 5849940 140724441785728 140724441784216 140073258528647 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 507185 4053 650 405 0 504129 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 2028740 KiB
Current children cumulated memory: 16212 KiB
[startup+0.700242 s]
/proc/loadavg: 1.04 1.24 1.38 4/189 16620
/proc/meminfo: memFree=19324960/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2030376 memory=18364 CPUtime=0.64 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 3056 0 0 0 63 1 0 0 20 0 1 0 246867180 2079105024 4591 33554432000 4194304 5849940 140724441785728 140724441784216 140073258528647 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 507594 4591 661 405 0 504538 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 2030376 KiB
Current children cumulated memory: 18364 KiB
[startup+1.50025 s]
/proc/loadavg: 1.04 1.24 1.38 4/189 16620
/proc/meminfo: memFree=19321344/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2033232 memory=20740 CPUtime=1.45 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 3643 0 0 0 142 3 0 0 20 0 1 0 246867180 2082029568 5185 33554432000 4194304 5849940 140724441785728 140724441784728 5317771 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 508308 5185 661 405 0 505252 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2033232 KiB
Current children cumulated memory: 20740 KiB
[startup+3.10926 s]
/proc/loadavg: 1.11 1.25 1.39 4/189 16620
/proc/meminfo: memFree=19314252/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2033832 memory=21996 CPUtime=3.06 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 6036 0 0 0 300 6 0 0 20 0 1 0 246867180 2082643968 5499 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 508458 5499 661 405 0 505402 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2033832 KiB
Current children cumulated memory: 21996 KiB
[startup+6.30024 s]
/proc/loadavg: 1.11 1.25 1.39 4/189 16620
/proc/meminfo: memFree=19312084/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2039840 memory=28012 CPUtime=6.24 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 15038 0 0 0 612 12 0 0 20 0 1 0 246867180 2088796160 7003 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 509960 7003 661 405 0 506904 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2039840 KiB
Current children cumulated memory: 28012 KiB
[startup+12.7003 s]
/proc/loadavg: 1.25 1.27 1.39 4/189 16620
/proc/meminfo: memFree=19298072/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2043232 memory=31540 CPUtime=12.64 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 31093 0 0 0 1242 22 0 0 20 0 1 0 246867180 2092269568 7885 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 510808 7885 661 405 0 507752 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2043232 KiB
Current children cumulated memory: 31540 KiB
[startup+25.5003 s]
/proc/loadavg: 1.37 1.30 1.40 4/189 16620
/proc/meminfo: memFree=19292760/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2047808 memory=36028 CPUtime=25.44 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 52304 0 0 0 2506 38 0 0 20 0 1 0 246867180 2096955392 9007 33554432000 4194304 5849940 140724441785728 140724441784216 140073258528647 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 511952 9007 661 405 0 508896 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 2047808 KiB
Current children cumulated memory: 36028 KiB
[startup+51.1094 s]
/proc/loadavg: 1.58 1.35 1.42 4/189 16620
/proc/meminfo: memFree=19283084/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2054808 memory=42984 CPUtime=51.05 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 107335 0 0 0 5035 70 0 0 20 0 1 0 246867180 2104123392 10746 33554432000 4194304 5849940 140724441785728 140724441784728 5335712 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 513702 10746 661 405 0 510646 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 2054808 KiB
Current children cumulated memory: 42984 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 1.46 1.45 4/189 16621
/proc/meminfo: memFree=19247260/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2066588 memory=54808 CPUtime=102.23 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 194311 0 0 0 10101 122 0 0 20 0 1 0 246867180 2116186112 13702 33554432000 4194304 5849940 140724441785728 140724441784600 5395864 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 516647 13702 661 405 0 513591 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 2066588 KiB
Current children cumulated memory: 54808 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.56 1.48 4/189 16622
/proc/meminfo: memFree=19181028/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2083316 memory=71400 CPUtime=162.22 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 258859 0 0 0 16050 172 0 0 20 0 1 0 246867180 2133315584 17850 33554432000 4194304 5849940 140724441785728 140724441784728 5438424 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 520829 17850 661 405 0 517773 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 2083316 KiB
Current children cumulated memory: 71400 KiB
[startup+222.3 s]
/proc/loadavg: 1.91 1.62 1.51 4/189 16623
/proc/meminfo: memFree=19096032/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2148604 memory=136824 CPUtime=222.22 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 310101 0 0 0 22015 207 0 0 20 0 1 0 246867180 2200170496 34206 33554432000 4194304 5849940 140724441785728 140724441784600 140073258528647 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 537151 34206 661 405 0 534095 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 2148604 KiB
Current children cumulated memory: 136824 KiB
[startup+282.3 s]
/proc/loadavg: 1.97 1.69 1.54 4/188 16624
/proc/meminfo: memFree=19146052/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2131132 memory=119480 CPUtime=282.22 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 339640 0 0 0 27986 236 0 0 20 0 1 0 246867180 2182279168 29870 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 532783 29870 661 405 0 529727 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 2131132 KiB
Current children cumulated memory: 119480 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.75 1.57 4/187 16625
/proc/meminfo: memFree=19079820/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2188252 memory=176600 CPUtime=342.21 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 391493 0 0 0 33953 268 0 0 20 0 1 0 246867180 2240770048 44150 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 547063 44150 661 405 0 544007 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 2188252 KiB
Current children cumulated memory: 176600 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.79 1.60 4/187 16626
/proc/meminfo: memFree=19098264/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2133808 memory=122028 CPUtime=402.21 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 407899 0 0 0 39937 284 0 0 20 0 1 0 246867180 2185019392 30507 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 533452 30507 661 405 0 530396 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 2133808 KiB
Current children cumulated memory: 122028 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.83 1.62 4/187 16627
/proc/meminfo: memFree=18943008/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2224188 memory=212408 CPUtime=462.21 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 432311 0 0 0 45914 307 0 0 20 0 1 0 246867180 2277568512 53102 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 556047 53102 661 405 0 552991 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 2224188 KiB
Current children cumulated memory: 212408 KiB
################
# More data... #
################
/proc/16619/statm: 624281 122307 661 405 0 621225 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 2497124 KiB
Current children cumulated memory: 489228 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/187 16674
/proc/meminfo: memFree=18447536/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2497124 memory=489228 CPUtime=1782.12 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 937202 0 0 0 177553 659 0 0 20 0 1 0 246867180 2557054976 122307 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 624281 122307 661 405 0 621225 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 2497124 KiB
Current children cumulated memory: 489228 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 16697
/proc/meminfo: memFree=18446064/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2497124 memory=489228 CPUtime=1842.12 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 948673 0 0 0 183547 665 0 0 20 0 1 0 246867180 2557054976 122307 33554432000 4194304 5849940 140724441785728 140724441784728 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 624281 122307 661 405 0 621225 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 2497124 KiB
Current children cumulated memory: 489228 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 16698
/proc/meminfo: memFree=18265432/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2497124 memory=489228 CPUtime=1902.12 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 965904 0 0 0 189541 671 0 0 20 0 1 0 246867180 2557054976 122307 33554432000 4194304 5849940 140724441785728 140724441784728 5438368 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 624281 122307 661 405 0 621225 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 2497124 KiB
Current children cumulated memory: 489228 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 16699
/proc/meminfo: memFree=18265432/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2497124 memory=489228 CPUtime=1962.12 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 971533 0 0 0 195535 677 0 0 20 0 1 0 246867180 2557054976 122307 33554432000 4194304 5849940 140724441785728 140724441784728 5312986 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 624281 122307 661 405 0 621225 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 2497124 KiB
Current children cumulated memory: 489228 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 16700
/proc/meminfo: memFree=18264440/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2497124 memory=489228 CPUtime=2022.11 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 983725 0 0 0 201528 683 0 0 20 0 1 0 246867180 2557054976 122307 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 624281 122307 661 405 0 621225 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 2497124 KiB
Current children cumulated memory: 489228 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 16701
/proc/meminfo: memFree=18007500/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2684092 memory=676140 CPUtime=2082.12 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 1005876 0 0 0 207518 694 0 0 20 0 1 0 246867180 2748510208 169035 33554432000 4194304 5849940 140724441785728 140724441784728 5438456 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 671023 169035 661 405 0 667967 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 2684092 KiB
Current children cumulated memory: 676140 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 16702
/proc/meminfo: memFree=17918528/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2772212 memory=764316 CPUtime=2142.11 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 1029010 0 0 0 213508 703 0 0 20 0 1 0 246867180 2838745088 191079 33554432000 4194304 5849940 140724441785728 140724441784728 5317291 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 693053 191079 661 405 0 689997 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 2772212 KiB
Current children cumulated memory: 764316 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 16703
/proc/meminfo: memFree=17985484/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2705760 memory=697864 CPUtime=2202.11 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 1064005 0 0 0 219494 717 0 0 20 0 1 0 246867180 2770698240 174466 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 676440 174466 661 405 0 673384 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 2705760 KiB
Current children cumulated memory: 697864 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 16704
/proc/meminfo: memFree=17984700/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2705760 memory=697864 CPUtime=2262.11 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 1100915 0 0 0 225481 730 0 0 20 0 1 0 246867180 2770698240 174466 33554432000 4194304 5849940 140724441785728 140724441784728 5438033 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 676440 174466 661 405 0 673384 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 2705760 KiB
Current children cumulated memory: 697864 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 16705
/proc/meminfo: memFree=17958676/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2731780 memory=723884 CPUtime=2322.11 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 1158365 0 0 0 231456 755 0 0 20 0 1 0 246867180 2797342720 180971 33554432000 4194304 5849940 140724441785728 140724441784888 5438505 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 682945 180971 661 405 0 679889 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 2731780 KiB
Current children cumulated memory: 723884 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 1.96 4/188 16711
/proc/meminfo: memFree=17893092/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2731780 memory=723884 CPUtime=2382.11 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 1203925 0 0 0 237431 780 0 0 20 0 1 0 246867180 2797342720 180971 33554432000 4194304 5849940 140724441785728 140724441784728 140073258528647 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 682945 180971 661 405 0 679889 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 2731780 KiB
Current children cumulated memory: 723884 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 1.96 4/188 16712
/proc/meminfo: memFree=17891324/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2731780 memory=723884 CPUtime=2442.1 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 1236956 0 0 0 243407 803 0 0 20 0 1 0 246867180 2797342720 180971 33554432000 4194304 5849940 140724441785728 140724441784888 140073258528647 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 682945 180971 661 405 0 679889 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 2731780 KiB
Current children cumulated memory: 723884 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 1.96 4/188 16713
/proc/meminfo: memFree=17891564/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2731780 memory=723884 CPUtime=2502.1 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 1281270 0 0 0 249383 827 0 0 20 0 1 0 246867180 2797342720 180971 33554432000 4194304 5849940 140724441785728 140724441784600 5437940 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 682945 180971 661 405 0 679889 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 2731780 KiB
Current children cumulated memory: 723884 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 1.96 4/188 16713
/proc/meminfo: memFree=17891556/32770624 swapFree=67108860/67108860
[pid=16619] ppid=16612 vsize=2731780 memory=723884 CPUtime=2519.8 cores=0,2,4,6
/proc/16619/stat : 16619 (xcsp_picat) R 16612 16619 16557 0 -1 4202496 1295106 0 0 0 251148 832 0 0 20 0 1 0 246867180 2797342720 180971 33554432000 4194304 5849940 140724441785728 140724441784728 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 4 0 0 7949816 9396308 35467264 140724441789622 140724441789700 140724441789700 140724441792458 0
/proc/16619/statm: 682945 180971 661 405 0 679889 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 2731780 KiB
Current children cumulated memory: 723884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 16619 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.49 s, system=8.34367 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.03
CPU time (s): 2519.83
CPU user time (s): 2511.49
CPU system time (s): 8.34367
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 2797316
Max. memory (cumulated for all children) (KiB): 789420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.49
system time used= 8.34367
maximum resident set size= 789420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1295106
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= 77
involuntary context switches= 1460
# summary of solver processes directly reported to runsolver:
# pid: 16619
# total CPU time (s): 2519.83
# total CPU user time (s): 2511.49
# total CPU system time (s): 8.34367
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.28222 second user time and 18.4013 second system time
The end