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 (14039 MiB free)
memory of node 1: 16384 MiB (14441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293559-1532318872/watcher-4293559-1532318872 -o /tmp/evaluation-result-4293559-1532318872/solver-4293559-1532318872 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532296142-8379 --watchdog 2580 xcsp_picat HOME/instance-4293559-1532318872.xml
running on 4 cores: 1,3,5,7
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=10852, runsolver pid=10849
[startup+0.100315 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 10853
/proc/meminfo: memFree=29139232/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=111688 memory=28504 CPUtime=0.1 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 1660 0 0 0 10 0 0 0 20 0 1 0 49450358 114368512 7126 33554432000 4194304 5849740 140723388185008 140723388184312 4819812 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 27922 7126 611 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 28504 KiB
[startup+0.209981 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 10853
/proc/meminfo: memFree=29095892/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=181292 memory=79204 CPUtime=0.21 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 2119 0 0 0 20 1 0 0 20 0 1 0 49450358 185643008 19801 33554432000 4194304 5849740 140723388185008 140723388184312 5251112 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 45323 19801 620 405 0 42267 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 181292 KiB
Current children cumulated memory: 79204 KiB
[startup+0.310035 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 10853
/proc/meminfo: memFree=29073676/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=181292 memory=93540 CPUtime=0.31 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 2129 0 0 0 30 1 0 0 20 0 1 0 49450358 185643008 23385 33554432000 4194304 5849740 140723388185008 140723388184312 4486600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 45323 23385 620 405 0 42267 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 181292 KiB
Current children cumulated memory: 93540 KiB
[startup+0.700415 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10853
/proc/meminfo: memFree=29063436/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=181292 memory=112208 CPUtime=0.68 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 2139 0 0 0 67 1 0 0 20 0 1 0 49450358 185643008 28052 33554432000 4194304 5849740 140723388185008 140723388184328 5250855 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 45323 28052 620 405 0 42267 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 181292 KiB
Current children cumulated memory: 112208 KiB
[startup+1.50043 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10853
/proc/meminfo: memFree=29046484/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=181292 memory=121140 CPUtime=1.49 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 2384 0 0 0 147 2 0 0 20 0 1 0 49450358 185643008 30285 33554432000 4194304 5849740 140723388185008 140723388184328 5249600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 45323 30285 630 405 0 42267 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 181292 KiB
Current children cumulated memory: 121140 KiB
[startup+3.10964 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10853
/proc/meminfo: memFree=29019372/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=247100 memory=148240 CPUtime=3.1 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 4347 0 0 0 306 4 0 0 20 0 1 0 49450358 253030400 37060 33554432000 4194304 5849740 140723388185008 140723388183976 5520311 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 61775 37060 721 405 0 58719 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 247100 KiB
Current children cumulated memory: 148240 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10853
/proc/meminfo: memFree=29017624/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=248892 memory=149904 CPUtime=6.28 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 4974 0 0 0 624 4 0 0 20 0 1 0 49450358 254865408 37476 33554432000 4194304 5849740 140723388185008 140723388184248 5473363 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 62223 37476 721 405 0 59167 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 248892 KiB
Current children cumulated memory: 149904 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10853
/proc/meminfo: memFree=29016060/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=250940 memory=152068 CPUtime=12.68 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 6015 0 0 0 1262 6 0 0 20 0 1 0 49450358 256962560 38017 33554432000 4194304 5849740 140723388185008 140723388184008 5535036 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 62735 38017 721 405 0 59679 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 250940 KiB
Current children cumulated memory: 152068 KiB
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 10853
/proc/meminfo: memFree=29009372/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=258108 memory=159264 CPUtime=25.48 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 9923 0 0 0 2537 11 0 0 20 0 1 0 49450358 264302592 39816 33554432000 4194304 5849740 140723388185008 140723388184104 5479465 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 64527 39816 721 405 0 61471 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 258108 KiB
Current children cumulated memory: 159264 KiB
[startup+51.1098 s]
/proc/loadavg: 2.05 2.03 2.05 3/192 10853
/proc/meminfo: memFree=28888956/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=385420 memory=279268 CPUtime=51.08 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 22953 0 0 0 5089 19 0 0 20 0 1 0 49450358 394670080 69817 33554432000 4194304 5849740 140723388185008 140723388183496 5308439 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 96355 69817 745 405 0 93299 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 385420 KiB
Current children cumulated memory: 279268 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/192 10854
/proc/meminfo: memFree=28858076/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=413928 memory=310048 CPUtime=102.27 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 41966 0 0 0 10202 25 0 0 20 0 1 0 49450358 423862272 77512 33554432000 4194304 5849740 140723388185008 140723388183496 4203824 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 103482 77512 753 405 0 100426 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 413928 KiB
Current children cumulated memory: 310048 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/193 10863
/proc/meminfo: memFree=28884952/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=383228 memory=281396 CPUtime=162.25 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 59597 0 0 0 16194 31 0 0 20 0 1 0 49450358 392425472 70349 33554432000 4194304 5849740 140723388185008 140723388183496 4209134 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 95807 70349 753 405 0 92751 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 383228 KiB
Current children cumulated memory: 281396 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10865
/proc/meminfo: memFree=29035660/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=393324 memory=287476 CPUtime=222.24 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 62001 0 0 0 22183 41 0 0 20 0 1 0 49450358 402763776 71869 33554432000 4194304 5849740 140723388185008 140723388183880 5392704 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 98331 71869 753 405 0 95275 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 393324 KiB
Current children cumulated memory: 287476 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10866
/proc/meminfo: memFree=28997320/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=393212 memory=288244 CPUtime=282.23 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 63923 0 0 0 28174 49 0 0 20 0 1 0 49450358 402649088 72061 33554432000 4194304 5849740 140723388185008 140723388184008 5351929 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 98303 72061 753 405 0 95247 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 393212 KiB
Current children cumulated memory: 288244 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10867
/proc/meminfo: memFree=28992632/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=393212 memory=292504 CPUtime=342.23 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 66303 0 0 0 34167 56 0 0 20 0 1 0 49450358 402649088 73126 33554432000 4194304 5849740 140723388185008 140723388184008 139693625827207 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 98303 73126 753 405 0 95247 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 393212 KiB
Current children cumulated memory: 292504 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10868
/proc/meminfo: memFree=28993132/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=393020 memory=292312 CPUtime=402.24 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 66952 0 0 0 40156 68 0 0 20 0 1 0 49450358 402452480 73078 33554432000 4194304 5849740 140723388185008 140723388184008 139693625827207 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 98255 73078 753 405 0 95199 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 393020 KiB
Current children cumulated memory: 292312 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10869
/proc/meminfo: memFree=28952012/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=393020 memory=292312 CPUtime=462.24 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 68638 0 0 0 46149 75 0 0 20 0 1 0 49450358 402452480 73078 33554432000 4194304 5849740 140723388185008 140723388184008 5307745 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 98255 73078 753 405 0 95199 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 393020 KiB
Current children cumulated memory: 292312 KiB
################
# More data... #
################
/proc/10852/statm: 114393 91005 753 405 0 111337 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 457572 KiB
Current children cumulated memory: 364020 KiB
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.06 3/192 11033
/proc/meminfo: memFree=29112344/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=457440 memory=363888 CPUtime=1782.32 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 224772 0 0 0 177916 316 0 0 20 0 1 0 49450358 468418560 90972 33554432000 4194304 5849740 140723388185008 140723388184008 139693625827207 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 114360 90972 753 405 0 111304 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 457440 KiB
Current children cumulated memory: 363888 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/192 11034
/proc/meminfo: memFree=29112604/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=457440 memory=363888 CPUtime=1842.33 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 226489 0 0 0 183911 322 0 0 20 0 1 0 49450358 468418560 90972 33554432000 4194304 5849740 140723388185008 140723388183496 4212035 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 114360 90972 753 405 0 111304 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 457440 KiB
Current children cumulated memory: 363888 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/192 11035
/proc/meminfo: memFree=29112456/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=461968 memory=364120 CPUtime=1902.33 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 227667 0 0 0 189905 328 0 0 20 0 1 0 49450358 473055232 91030 33554432000 4194304 5849740 140723388185008 140723388184008 5307656 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 115492 91030 753 405 0 112436 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 461968 KiB
Current children cumulated memory: 364120 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/192 11043
/proc/meminfo: memFree=29111892/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=461968 memory=364120 CPUtime=1962.33 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 228522 0 0 0 195895 338 0 0 20 0 1 0 49450358 473055232 91030 33554432000 4194304 5849740 140723388185008 140723388184008 5307594 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 115492 91030 753 405 0 112436 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 461968 KiB
Current children cumulated memory: 364120 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 11045
/proc/meminfo: memFree=29102788/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=464204 memory=370632 CPUtime=2022.34 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 231160 0 0 0 201888 346 0 0 20 0 1 0 49450358 475344896 92658 33554432000 4194304 5849740 140723388185008 140723388184008 5437607 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 116051 92658 753 405 0 112995 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 464204 KiB
Current children cumulated memory: 370632 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 11046
/proc/meminfo: memFree=29102772/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=464204 memory=370632 CPUtime=2082.34 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 233710 0 0 0 207880 354 0 0 20 0 1 0 49450358 475344896 92658 33554432000 4194304 5849740 140723388185008 140723388184008 139693625827207 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 116051 92658 753 405 0 112995 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 464204 KiB
Current children cumulated memory: 370632 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 11047
/proc/meminfo: memFree=29103024/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=464204 memory=370632 CPUtime=2142.35 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 235070 0 0 0 213872 363 0 0 20 0 1 0 49450358 475344896 92658 33554432000 4194304 5849740 140723388185008 140723388184008 5307529 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 116051 92658 753 405 0 112995 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 464204 KiB
Current children cumulated memory: 370632 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 11048
/proc/meminfo: memFree=29101760/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=464100 memory=370528 CPUtime=2202.36 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 236275 0 0 0 219861 375 0 0 20 0 1 0 49450358 475238400 92632 33554432000 4194304 5849740 140723388185008 140723388184008 5307605 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 116025 92632 753 405 0 112969 0
Current children cumulated CPU time: 2202.36 s
Current children cumulated vsize: 464100 KiB
Current children cumulated memory: 370528 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 11049
/proc/meminfo: memFree=29097532/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=468544 memory=375056 CPUtime=2262.35 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 237777 0 0 0 225853 382 0 0 20 0 1 0 49450358 479789056 93764 33554432000 4194304 5849740 140723388185008 140723388184008 5437480 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 117136 93764 753 405 0 114080 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 468544 KiB
Current children cumulated memory: 375056 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11052
/proc/meminfo: memFree=29162520/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=403008 memory=309520 CPUtime=2322.36 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 239402 0 0 0 231839 397 0 0 20 0 1 0 49450358 412680192 77380 33554432000 4194304 5849740 140723388185008 140723388184008 5437607 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 100752 77380 753 405 0 97696 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 403008 KiB
Current children cumulated memory: 309520 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11053
/proc/meminfo: memFree=29162148/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=403008 memory=309520 CPUtime=2382.37 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 240863 0 0 0 237831 406 0 0 20 0 1 0 49450358 412680192 77380 33554432000 4194304 5849740 140723388185008 140723388183880 5437821 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 100752 77380 753 405 0 97696 0
Current children cumulated CPU time: 2382.37 s
Current children cumulated vsize: 403008 KiB
Current children cumulated memory: 309520 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11054
/proc/meminfo: memFree=29097028/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=468544 memory=375056 CPUtime=2442.38 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 244365 0 0 0 243818 420 0 0 20 0 1 0 49450358 479789056 93764 33554432000 4194304 5849740 140723388185008 140723388183880 5312657 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 117136 93764 753 405 0 114080 0
Current children cumulated CPU time: 2442.38 s
Current children cumulated vsize: 468544 KiB
Current children cumulated memory: 375056 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11055
/proc/meminfo: memFree=29097368/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=468544 memory=375056 CPUtime=2502.38 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 245825 0 0 0 249808 430 0 0 20 0 1 0 49450358 479789056 93764 33554432000 4194304 5849740 140723388185008 140723388184008 5307316 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 117136 93764 753 405 0 114080 0
Current children cumulated CPU time: 2502.38 s
Current children cumulated vsize: 468544 KiB
Current children cumulated memory: 375056 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 11056
/proc/meminfo: memFree=29096608/32770624 swapFree=67108860/67108860
[pid=10852] ppid=10849 vsize=468544 memory=375056 CPUtime=2520.09 cores=1,3,5,7
/proc/10852/stat : 10852 (xcsp_picat) R 10849 10852 8347 0 -1 4202496 246377 0 0 0 251576 433 0 0 20 0 1 0 49450358 479789056 93764 33554432000 4194304 5849740 140723388185008 140723388184008 5307594 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28618752 140723388187830 140723388187908 140723388187908 140723388190666 0
/proc/10852/statm: 117136 93764 753 405 0 114080 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 468544 KiB
Current children cumulated memory: 375056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 10852 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.77 s, system=4.33621 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.01
CPU time (s): 2520.1
CPU user time (s): 2515.77
CPU system time (s): 4.33621
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 468544
Max. memory (cumulated for all children) (KiB): 375056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.77
system time used= 4.33621
maximum resident set size= 375056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246377
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= 46
involuntary context switches= 859
# summary of solver processes directly reported to runsolver:
# pid: 10852
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.77
# total CPU system time (s): 4.33621
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7922 second user time and 18.342 second system time
The end