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 (11838 MiB free)
memory of node 1: 16384 MiB (9759 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309527-1534301529/watcher-4309527-1534301529 -o /tmp/evaluation-result-4309527-1534301529/solver-4309527-1534301529 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534293289-16867 --watchdog 2580 xcsp_picat HOME/instance-4309527-1534301529.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=18263, runsolver pid=18260
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18264
/proc/meminfo: memFree=22094804/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2032684 memory=27812 CPUtime=0.1 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 3629 0 0 0 10 0 0 0 20 0 1 0 247716137 2081468416 6953 33554432000 4194304 5849940 140728429735680 140728429734984 4554669 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 508171 6953 651 405 0 505115 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2032684 KiB
Current children cumulated memory: 27812 KiB
[startup+0.209746 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18264
/proc/meminfo: memFree=22082856/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2041104 memory=36364 CPUtime=0.21 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 6573 0 0 0 20 1 0 0 20 0 1 0 247716137 2090090496 9091 33554432000 4194304 5849940 140728429735680 140728429734984 5410624 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 510276 9091 666 405 0 507220 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2041104 KiB
Current children cumulated memory: 36364 KiB
[startup+0.3098 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18264
/proc/meminfo: memFree=22082592/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2049296 memory=44404 CPUtime=0.31 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 7090 0 0 0 30 1 0 0 20 0 1 0 247716137 2098479104 11101 33554432000 4194304 5849940 140728429735680 140728429734984 5361090 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 512324 11101 668 405 0 509268 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2049296 KiB
Current children cumulated memory: 44404 KiB
[startup+0.700388 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18264
/proc/meminfo: memFree=22070844/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2053640 memory=47992 CPUtime=0.69 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 7910 0 0 0 68 1 0 0 20 0 1 0 247716137 2102927360 11998 33554432000 4194304 5849940 140728429735680 140728429734232 4214320 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 513410 11998 672 405 0 510354 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2053640 KiB
Current children cumulated memory: 47992 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18264
/proc/meminfo: memFree=22067124/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2056608 memory=51552 CPUtime=1.49 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 8773 0 0 0 148 1 0 0 20 0 1 0 247716137 2105966592 12888 33554432000 4194304 5849940 140728429735680 140728429734232 5308175 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 514152 12888 677 405 0 511096 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2056608 KiB
Current children cumulated memory: 51552 KiB
[startup+3.10931 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18264
/proc/meminfo: memFree=22067208/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2056608 memory=51672 CPUtime=3.1 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 10817 0 0 0 309 1 0 0 20 0 1 0 247716137 2105966592 12918 33554432000 4194304 5849940 140728429735680 140728429733224 4203940 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 514152 12918 677 405 0 511096 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2056608 KiB
Current children cumulated memory: 51672 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18264
/proc/meminfo: memFree=22063540/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2060912 memory=56356 CPUtime=6.29 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 17534 0 0 0 626 3 0 0 20 0 1 0 247716137 2110373888 14089 33554432000 4194304 5849940 140728429735680 140728429733224 5308647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 515228 14089 694 405 0 512172 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2060912 KiB
Current children cumulated memory: 56356 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18264
/proc/meminfo: memFree=22070836/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2052720 memory=48164 CPUtime=12.69 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 21182 0 0 0 1264 5 0 0 20 0 1 0 247716137 2101985280 12041 33554432000 4194304 5849940 140728429735680 140728429734552 5307254 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 513180 12041 694 405 0 510124 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2052720 KiB
Current children cumulated memory: 48164 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18264
/proc/meminfo: memFree=22032460/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2059228 memory=53604 CPUtime=25.49 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 27187 0 0 0 2536 13 0 0 20 0 1 0 247716137 2108649472 13401 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 514807 13401 694 405 0 511751 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2059228 KiB
Current children cumulated memory: 53604 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18264
/proc/meminfo: memFree=22055016/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2059228 memory=53656 CPUtime=51.1 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 31025 0 0 0 5074 36 0 0 20 0 1 0 247716137 2108649472 13414 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 514807 13414 694 405 0 511751 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2059228 KiB
Current children cumulated memory: 53656 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18265
/proc/meminfo: memFree=22050236/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2073824 memory=69268 CPUtime=102.29 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 37969 0 0 0 10148 81 0 0 20 0 1 0 247716137 2123595776 17317 33554432000 4194304 5849940 140728429735680 140728429734680 4211602 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 518456 17317 694 405 0 515400 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2073824 KiB
Current children cumulated memory: 69268 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18266
/proc/meminfo: memFree=22011540/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2087920 memory=83148 CPUtime=162.29 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 47094 0 0 0 16094 135 0 0 20 0 1 0 247716137 2138030080 20787 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 521980 20787 694 405 0 518924 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2087920 KiB
Current children cumulated memory: 83148 KiB
[startup+222.3 s]
/proc/loadavg: 2.44 2.12 2.08 3/187 18268
/proc/meminfo: memFree=22062640/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2089516 memory=84904 CPUtime=222.3 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 54350 0 0 0 22042 188 0 0 20 0 1 0 247716137 2139664384 21226 33554432000 4194304 5849940 140728429735680 140728429734840 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 522379 21226 694 405 0 519323 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2089516 KiB
Current children cumulated memory: 84904 KiB
[startup+282.3 s]
/proc/loadavg: 2.27 2.14 2.09 3/187 18269
/proc/meminfo: memFree=22072488/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2065856 memory=56848 CPUtime=282.29 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 63837 0 0 0 27999 230 0 0 20 0 1 0 247716137 2115436544 14212 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 516464 14212 694 405 0 513408 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2065856 KiB
Current children cumulated memory: 56848 KiB
[startup+342.3 s]
/proc/loadavg: 2.10 2.12 2.08 3/187 18270
/proc/meminfo: memFree=22033120/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2098248 memory=93528 CPUtime=342.3 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 69166 0 0 0 33947 283 0 0 20 0 1 0 247716137 2148605952 23382 33554432000 4194304 5849940 140728429735680 140728429734840 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 524562 23382 694 405 0 521506 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2098248 KiB
Current children cumulated memory: 93528 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/187 18272
/proc/meminfo: memFree=22001384/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2098248 memory=93744 CPUtime=402.3 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 69176 0 0 0 39893 337 0 0 20 0 1 0 247716137 2148605952 23436 33554432000 4194304 5849940 140728429735680 140728429734840 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 524562 23436 694 405 0 521506 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2098248 KiB
Current children cumulated memory: 93744 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 18273
/proc/meminfo: memFree=21972488/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2108936 memory=104120 CPUtime=462.3 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 76954 0 0 0 45837 393 0 0 20 0 1 0 247716137 2159550464 26030 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 527234 26030 694 405 0 524178 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2108936 KiB
Current children cumulated memory: 104120 KiB
################
# More data... #
################
/proc/18263/statm: 558166 57764 694 405 0 555110 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2232664 KiB
Current children cumulated memory: 231056 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18341
/proc/meminfo: memFree=21240552/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2232664 memory=231056 CPUtime=1782.31 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 192787 0 0 0 176955 1276 0 0 20 0 1 0 247716137 2286247936 57764 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 558166 57764 694 405 0 555110 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2232664 KiB
Current children cumulated memory: 231056 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18342
/proc/meminfo: memFree=21084784/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2318916 memory=317216 CPUtime=1842.31 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 195828 0 0 0 182921 1310 0 0 20 0 1 0 247716137 2374569984 79304 33554432000 4194304 5849940 140728429735680 140728429734680 5437856 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 579729 79304 694 405 0 576673 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2318916 KiB
Current children cumulated memory: 317216 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18343
/proc/meminfo: memFree=21009704/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2312804 memory=311196 CPUtime=1902.31 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 203349 0 0 0 188894 1337 0 0 20 0 1 0 247716137 2368311296 77799 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 578201 77799 694 405 0 575145 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2312804 KiB
Current children cumulated memory: 311196 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18344
/proc/meminfo: memFree=20981412/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2312804 memory=310932 CPUtime=1962.31 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 204418 0 0 0 194872 1359 0 0 20 0 1 0 247716137 2368311296 77733 33554432000 4194304 5849940 140728429735680 140728429734840 5437828 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 578201 77733 694 405 0 575145 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2312804 KiB
Current children cumulated memory: 310932 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18346
/proc/meminfo: memFree=20791048/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2349848 memory=348140 CPUtime=2022.32 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 211546 0 0 0 200837 1395 0 0 20 0 1 0 247716137 2406244352 87035 33554432000 4194304 5849940 140728429735680 140728429734552 5312832 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 587462 87035 694 405 0 584406 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2349848 KiB
Current children cumulated memory: 348140 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18347
/proc/meminfo: memFree=20753388/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2387516 memory=385948 CPUtime=2082.31 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 221381 0 0 0 206793 1438 0 0 20 0 1 0 247716137 2444816384 96487 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 596879 96487 694 405 0 593823 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 2387516 KiB
Current children cumulated memory: 385948 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18348
/proc/meminfo: memFree=20748984/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2340920 memory=339352 CPUtime=2142.31 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 226843 0 0 0 212753 1478 0 0 20 0 1 0 247716137 2397102080 84838 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 585230 84838 694 405 0 582174 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 2340920 KiB
Current children cumulated memory: 339352 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18350
/proc/meminfo: memFree=21293048/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2443464 memory=441984 CPUtime=2202.32 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 231995 0 0 0 218725 1507 0 0 20 0 1 0 247716137 2502107136 110496 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 610866 110496 694 405 0 607810 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2443464 KiB
Current children cumulated memory: 441984 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18351
/proc/meminfo: memFree=21105960/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2617680 memory=616200 CPUtime=2262.33 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 239091 0 0 0 224701 1532 0 0 20 0 1 0 247716137 2680504320 154050 33554432000 4194304 5849940 140728429735680 140728429734680 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 654420 154050 694 405 0 651364 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2617680 KiB
Current children cumulated memory: 616200 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 18422
/proc/meminfo: memFree=21568220/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2617680 memory=616200 CPUtime=2322.33 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 259385 0 0 0 230683 1550 0 0 20 0 1 0 247716137 2680504320 154050 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 654420 154050 694 405 0 651364 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 2617680 KiB
Current children cumulated memory: 616200 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 18423
/proc/meminfo: memFree=21814992/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2340808 memory=339328 CPUtime=2382.32 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 311031 0 0 0 236658 1574 0 0 20 0 1 0 247716137 2396987392 84832 33554432000 4194304 5849940 140728429735680 140728429734680 5437819 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 585202 84832 694 405 0 582146 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 2340808 KiB
Current children cumulated memory: 339328 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 18424
/proc/meminfo: memFree=21795872/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2352824 memory=351344 CPUtime=2442.33 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 340019 0 0 0 242635 1598 0 0 20 0 1 0 247716137 2409291776 87836 33554432000 4194304 5849940 140728429735680 140728429734680 5313398 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 588206 87836 694 405 0 585150 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 2352824 KiB
Current children cumulated memory: 351344 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 18425
/proc/meminfo: memFree=21681092/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2437388 memory=435780 CPUtime=2502.33 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 370344 0 0 0 248611 1622 0 0 20 0 1 0 247716137 2495885312 108945 33554432000 4194304 5849940 140728429735680 140728429734680 5437839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 609347 108945 694 405 0 606291 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 2437388 KiB
Current children cumulated memory: 435780 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.03 2.05 3/189 18425
/proc/meminfo: memFree=21757792/32770624 swapFree=67105356/67108860
[pid=18263] ppid=18260 vsize=2383628 memory=381996 CPUtime=2520.03 cores=0,2,4,6
/proc/18263/stat : 18263 (xcsp_picat) R 18260 18263 16836 0 -1 4202496 374189 0 0 0 250377 1626 0 0 20 0 1 0 247716137 2440835072 95499 33554432000 4194304 5849940 140728429735680 140728429734680 140089351602055 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 47177728 140728429737142 140728429737220 140728429737220 140728429739978 0
/proc/18263/statm: 595907 95499 694 405 0 592851 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2383628 KiB
Current children cumulated memory: 381996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 18263 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2503.78 s, system=16.2764 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.02
CPU time (s): 2520.06
CPU user time (s): 2503.78
CPU system time (s): 16.2764
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2617680
Max. memory (cumulated for all children) (KiB): 616200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2503.78
system time used= 16.2764
maximum resident set size= 616200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374189
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= 24
involuntary context switches= 810
# summary of solver processes directly reported to runsolver:
# pid: 18263
# total CPU time (s): 2520.06
# total CPU user time (s): 2503.78
# total CPU system time (s): 16.2764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.80888 second user time and 18.0972 second system time
The end