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 (15114 MiB free)
memory of node 1: 16384 MiB (15402 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395036-1568338857/watcher-4395036-1568338857 -o /tmp/evaluation-result-4395036-1568338857/solver-4395036-1568338857 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27187 --watchdog 2580 xcsp_picat HOME/instance-4395036-1568338857.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
solver pid=31284, runsolver pid=31281
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 2.02 2.02 2.05 3/197 31285
/proc/meminfo: memFree=31202444/32770624 swapFree=66921164/67108860
[pid=31284] ppid=31281 vsize=2031716 memory=18092 CPUtime=0.1 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1664 0 0 0 10 0 0 0 20 0 1 0 410141764 2080477184 4523 33554432000 4194304 5870510 140721107626432 140721107625736 140392511130624 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 507929 4523 824 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 18092 KiB
[startup+0.209627 s]*
/proc/loadavg: 2.02 2.02 2.05 3/197 31285
/proc/meminfo: memFree=31196004/32770624 swapFree=66921164/67108860
[pid=31284] ppid=31281 vsize=2031716 memory=24236 CPUtime=0.21 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1667 0 0 0 21 0 0 0 20 0 1 0 410141764 2080477184 6059 33554432000 4194304 5870510 140721107626432 140721107625736 4459388 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 507929 6059 824 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24236 KiB
[startup+0.309346 s]*
/proc/loadavg: 2.02 2.02 2.05 3/197 31285
/proc/meminfo: memFree=31189860/32770624 swapFree=66921164/67108860
[pid=31284] ppid=31281 vsize=2031716 memory=30380 CPUtime=0.31 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1670 0 0 0 31 0 0 0 20 0 1 0 410141764 2080477184 7595 33554432000 4194304 5870510 140721107626432 140721107625736 140392511130624 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 507929 7595 824 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30380 KiB
[startup+0.700382 s]
/proc/loadavg: 2.02 2.02 2.05 3/197 31285
/proc/meminfo: memFree=31177608/32770624 swapFree=66921164/67108860
[pid=31284] ppid=31281 vsize=2031716 memory=53128 CPUtime=0.69 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1681 0 0 0 69 0 0 0 20 0 1 0 410141764 2080477184 13282 33554432000 4194304 5870510 140721107626432 140721107625736 4462683 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 507929 13282 837 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 53128 KiB
[startup+1.50032 s]
/proc/loadavg: 2.02 2.02 2.05 3/197 31285
/proc/meminfo: memFree=31183192/32770624 swapFree=66921164/67108860
[pid=31284] ppid=31281 vsize=2031716 memory=98184 CPUtime=1.49 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1703 0 0 0 148 1 0 0 20 0 1 0 410141764 2080477184 24546 33554432000 4194304 5870510 140721107626432 140721107625736 140392511130624 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 507929 24546 837 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 98184 KiB
[startup+3.10932 s]
/proc/loadavg: 2.02 2.02 2.05 3/197 31285
/proc/meminfo: memFree=31067520/32770624 swapFree=66921164/67108860
[pid=31284] ppid=31281 vsize=2031716 memory=190384 CPUtime=3.1 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1764 0 0 0 308 2 0 0 20 0 1 0 410141764 2080477184 47596 33554432000 4194304 5870510 140721107626432 140721107625736 140392511130624 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 507929 47596 837 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 190384 KiB
[startup+6.30038 s]
/proc/loadavg: 2.02 2.02 2.05 3/197 31285
/proc/meminfo: memFree=30724544/32770624 swapFree=66921164/67108860
[pid=31284] ppid=31281 vsize=2414480 memory=526024 CPUtime=6.29 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 2545 0 0 0 623 6 0 0 20 0 1 0 410141764 2472427520 131506 33554432000 4194304 5870510 140721107626432 140721107625736 4461679 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 603620 131506 842 410 0 599093 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2414480 KiB
Current children cumulated memory: 526024 KiB
[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.05 3/197 31285
/proc/meminfo: memFree=30681864/32770624 swapFree=66921164/67108860
[pid=31284] ppid=31281 vsize=2534428 memory=951372 CPUtime=12.69 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 7580 0 0 0 1231 38 0 0 20 0 1 0 410141764 2595254272 237843 33554432000 4194304 5870510 140721107626432 140721107625752 4456432 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 633607 237843 846 410 0 629080 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2534428 KiB
Current children cumulated memory: 951372 KiB
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.05 3/197 31286
/proc/meminfo: memFree=30050068/32770624 swapFree=66921164/67108860
[pid=31284] ppid=31281 vsize=2890516 memory=1548056 CPUtime=25.48 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 22612 0 0 0 2387 161 0 0 20 0 1 0 410141764 2959888384 387014 33554432000 4194304 5870510 140721107626432 140721107625400 5245088 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 722629 387014 846 410 0 718102 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2890516 KiB
Current children cumulated memory: 1548056 KiB
[startup+51.1004 s]*
/proc/loadavg: 2.01 2.02 2.05 3/198 31289
/proc/meminfo: memFree=29037420/32770624 swapFree=66921164/67108860
[pid=31284] ppid=31281 vsize=3285900 memory=2182920 CPUtime=51.1 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 47184 0 0 0 4687 423 0 0 20 0 1 0 410141764 3364761600 545730 33554432000 4194304 5870510 140721107626432 140721107625400 5246734 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 821475 545730 846 410 0 816948 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 3285900 KiB
Current children cumulated memory: 2182920 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31301
/proc/meminfo: memFree=29328928/32770624 swapFree=66921172/67108860
[pid=31284] ppid=31281 vsize=3683528 memory=2093556 CPUtime=102.28 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 91667 0 0 0 9240 988 0 0 20 0 1 0 410141764 3771932672 523389 33554432000 4194304 5870510 140721107626432 140721107625400 5246749 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 920882 523389 846 410 0 916355 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3683528 KiB
Current children cumulated memory: 2093556 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 31305
/proc/meminfo: memFree=27661072/32770624 swapFree=66921172/67108860
[pid=31284] ppid=31281 vsize=3907632 memory=3545220 CPUtime=162.27 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 138710 0 0 0 14558 1669 0 0 20 0 1 0 410141764 4001415168 886305 33554432000 4194304 5870510 140721107626432 140721107625400 5355024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 976908 886305 846 410 0 972381 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 3907632 KiB
Current children cumulated memory: 3545220 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/199 31311
/proc/meminfo: memFree=27899544/32770624 swapFree=66921172/67108860
[pid=31284] ppid=31281 vsize=4037372 memory=3488928 CPUtime=222.26 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 184893 0 0 0 19867 2359 0 0 20 0 1 0 410141764 4134268928 872232 33554432000 4194304 5870510 140721107626432 140721107625400 5246232 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 1009343 872232 846 410 0 1004816 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 4037372 KiB
Current children cumulated memory: 3488928 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 31315
/proc/meminfo: memFree=27824908/32770624 swapFree=66921172/67108860
[pid=31284] ppid=31281 vsize=4111484 memory=3563436 CPUtime=282.26 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 231435 0 0 0 25162 3064 0 0 20 0 1 0 410141764 4210159616 890859 33554432000 4194304 5870510 140721107626432 140721107625400 5245088 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 1027871 890859 846 410 0 1023344 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 4111484 KiB
Current children cumulated memory: 3563436 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31319
/proc/meminfo: memFree=29055824/32770624 swapFree=66921172/67108860
[pid=31284] ppid=31281 vsize=4158052 memory=2334952 CPUtime=342.26 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 277849 0 0 0 30464 3762 0 0 20 0 1 0 410141764 4257845248 583738 33554432000 4194304 5870510 140721107626432 140721107625400 5245088 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 1039513 583738 846 410 0 1034986 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 4158052 KiB
Current children cumulated memory: 2334952 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31325
/proc/meminfo: memFree=28841904/32770624 swapFree=66921172/67108860
[pid=31284] ppid=31281 vsize=4186308 memory=2526604 CPUtime=402.25 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 324010 0 0 0 35776 4449 0 0 20 0 1 0 410141764 4286779392 631651 33554432000 4194304 5870510 140721107626432 140721107625400 5246600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 1046577 631651 846 410 0 1042050 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 4186308 KiB
Current children cumulated memory: 2526604 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31329
/proc/meminfo: memFree=27242236/32770624 swapFree=66921172/67108860
[pid=31284] ppid=31281 vsize=4203988 memory=4105676 CPUtime=462.25 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 368875 0 0 0 41069 5156 0 0 20 0 1 0 410141764 4304883712 1026419 33554432000 4194304 5870510 140721107626432 140721107625400 5355029 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 1050997 1026419 846 410 0 1046470 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 4203988 KiB
Current children cumulated memory: 4105676 KiB
################
# More data... #
################
/proc/31284/statm: 2091813 1748590 849 410 0 2087286 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 8367252 KiB
Current children cumulated memory: 6994360 KiB
[startup+1842.3 s]
/proc/loadavg: 2.40 2.11 2.08 4/198 32132
/proc/meminfo: memFree=25423576/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8371224 memory=6115644 CPUtime=1842.13 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1240888 0 0 0 162867 21346 0 0 20 0 1 0 410141764 8572133376 1528911 33554432000 4194304 5870510 140721107626432 140721107625400 5245088 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2092806 1528911 849 410 0 2088279 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 8371224 KiB
Current children cumulated memory: 6115644 KiB
[startup+1902.3 s]
/proc/loadavg: 2.15 2.09 2.07 3/199 32144
/proc/meminfo: memFree=26337348/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8374404 memory=5156264 CPUtime=1902.13 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1274966 0 0 0 168156 22057 0 0 20 0 1 0 410141764 8575389696 1289066 33554432000 4194304 5870510 140721107626432 140721107625400 5246749 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2093601 1289066 849 410 0 2089074 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 8374404 KiB
Current children cumulated memory: 5156264 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.07 2.06 3/199 32208
/proc/meminfo: memFree=22292908/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8376744 memory=8298644 CPUtime=1962.12 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1309396 0 0 0 173441 22771 0 0 20 0 1 0 410141764 8577785856 2074661 33554432000 4194304 5870510 140721107626432 140721107625400 5355024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2094186 2074661 849 410 0 2089659 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 8376744 KiB
Current children cumulated memory: 8298644 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/199 32214
/proc/meminfo: memFree=24219400/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8453160 memory=6536220 CPUtime=2022.12 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1345643 0 0 0 178754 23458 0 0 20 0 1 0 410141764 8656035840 1634055 33554432000 4194304 5870510 140721107626432 140721107625400 5245088 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2113290 1634055 849 410 0 2108763 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 8453160 KiB
Current children cumulated memory: 6536220 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/199 32218
/proc/meminfo: memFree=25888856/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8456380 memory=4864176 CPUtime=2082.12 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1382184 0 0 0 184040 24172 0 0 20 0 1 0 410141764 8659333120 1216044 33554432000 4194304 5870510 140721107626432 140721107625400 5246343 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2114095 1216044 849 410 0 2109568 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 8456380 KiB
Current children cumulated memory: 4864176 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 32222
/proc/meminfo: memFree=22247676/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8458748 memory=8313700 CPUtime=2142.11 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1419207 0 0 0 189324 24887 0 0 20 0 1 0 410141764 8661757952 2078425 33554432000 4194304 5870510 140721107626432 140721107625400 5355029 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2114687 2078425 849 410 0 2110160 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 8458748 KiB
Current children cumulated memory: 8313700 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/198 32228
/proc/meminfo: memFree=24554408/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8469500 memory=6179860 CPUtime=2202.11 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1456948 0 0 0 194619 25592 0 0 20 0 1 0 410141764 8672768000 1544965 33554432000 4194304 5870510 140721107626432 140721107625400 5245088 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2117375 1544965 849 410 0 2112848 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 8469500 KiB
Current children cumulated memory: 6179860 KiB
[startup+2262.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/198 32232
/proc/meminfo: memFree=25987776/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8472772 memory=4733148 CPUtime=2262.11 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1495369 0 0 0 199884 26327 0 0 20 0 1 0 410141764 8676118528 1183287 33554432000 4194304 5870510 140721107626432 140721107625400 5246749 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2118193 1183287 849 410 0 2113666 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 8472772 KiB
Current children cumulated memory: 4733148 KiB
[startup+2322.3 s]
/proc/loadavg: 2.44 2.18 2.09 3/198 32236
/proc/meminfo: memFree=22650868/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8475180 memory=8043076 CPUtime=2322.09 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1530115 0 0 0 205163 27046 0 0 20 0 1 0 410141764 8678584320 2010769 33554432000 4194304 5870510 140721107626432 140721107625400 5245088 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2118795 2010769 849 410 0 2114268 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 8475180 KiB
Current children cumulated memory: 8043076 KiB
[startup+2382.3 s]
/proc/loadavg: 2.16 2.15 2.09 3/198 32242
/proc/meminfo: memFree=25062884/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8485800 memory=5626472 CPUtime=2382.1 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1564416 0 0 0 210468 27742 0 0 20 0 1 0 410141764 8689459200 1406618 33554432000 4194304 5870510 140721107626432 140721107625400 5246718 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2121450 1406618 849 410 0 2116923 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 8485800 KiB
Current children cumulated memory: 5626472 KiB
[startup+2442.3 s]
/proc/loadavg: 2.06 2.12 2.08 3/198 32246
/proc/meminfo: memFree=20098604/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8488860 memory=8341376 CPUtime=2442.09 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1598875 0 0 0 215749 28460 0 0 20 0 1 0 410141764 8692592640 2085344 33554432000 4194304 5870510 140721107626432 140721107625400 5355037 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2122215 2085344 849 410 0 2117688 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 8488860 KiB
Current children cumulated memory: 8341376 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/199 32258
/proc/meminfo: memFree=21433852/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8491580 memory=7182588 CPUtime=2502.09 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1636202 0 0 0 221032 29177 0 0 20 0 1 0 410141764 8695377920 1795647 33554432000 4194304 5870510 140721107626432 140721107625400 5246737 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2122895 1795647 849 410 0 2118368 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 8491580 KiB
Current children cumulated memory: 7182588 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.09 2.07 3/199 32260
/proc/meminfo: memFree=21200388/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8492224 memory=8022912 CPUtime=2519.79 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1646663 0 0 0 222585 29394 0 0 20 0 1 0 410141764 8696037376 2005728 33554432000 4194304 5870510 140721107626432 140721107625400 5246343 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2123056 2005728 849 410 0 2118529 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 8492224 KiB
Current children cumulated memory: 8022912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 31284 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2225.85 s, system=293.967 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.02 2.09 2.07 3/199 32260
/proc/meminfo: memFree=21200388/32770624 swapFree=66921220/67108860
[pid=31284] ppid=31281 vsize=8492224 memory=8022912 CPUtime=2519.79 cores=1,3,5,7
/proc/31284/stat : 31284 (xcsp_picat) R 31281 31284 27155 0 -1 4202496 1646663 0 0 0 222585 29394 0 0 20 0 1 0 410141764 8696037376 2005728 33554432000 4194304 5870510 140721107626432 140721107625400 5246343 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27439104 140721107633183 140721107633261 140721107633261 140721107636170 0
/proc/31284/statm: 2123056 2005728 849 410 0 2118529 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 8492224 KiB
Current children cumulated memory: 8022912 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.03
CPU time (s): 2519.82
CPU user time (s): 2225.85
CPU system time (s): 293.967
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 12405896
Max. memory (cumulated for all children) (KiB): 12247736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2225.85
system time used= 293.967
maximum resident set size= 12247736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1646663
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= 6
involuntary context switches= 1099
# summary of solver processes directly reported to runsolver:
# pid: 31284
# total CPU time (s): 2519.82
# total CPU user time (s): 2225.85
# total CPU system time (s): 293.967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4176 second user time and 16.8679 second system time
The end