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 (13733 MiB free)
memory of node 1: 16384 MiB (13120 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309504-1534294868/watcher-4309504-1534294868 -o /tmp/evaluation-result-4309504-1534294868/solver-4309504-1534294868 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534292346-18984 --watchdog 2580 xcsp_picat HOME/instance-4309504-1534294868.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=19365, runsolver pid=19362
[startup+0.100169 s]*
/proc/loadavg: 2.00 2.01 1.96 3/189 19366
/proc/meminfo: memFree=27453168/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=2025744 memory=30520 CPUtime=0.1 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 1655 0 0 0 10 0 0 0 20 0 1 0 247049971 2074361856 7630 33554432000 4194304 5849940 140732044542656 140732044542656 4593558 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 506436 7630 622 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30520 KiB
[startup+0.2099 s]*
/proc/loadavg: 2.00 2.01 1.96 3/189 19366
/proc/meminfo: memFree=27415932/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=2025744 memory=51252 CPUtime=0.21 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 1736 0 0 0 21 0 0 0 20 0 1 0 247049971 2074361856 12813 33554432000 4194304 5849940 140732044542656 140732044542656 4458064 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 506436 12813 622 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 51252 KiB
[startup+0.309759 s]*
/proc/loadavg: 2.00 2.01 1.96 3/189 19366
/proc/meminfo: memFree=27377020/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=2025744 memory=67636 CPUtime=0.31 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 1744 0 0 0 30 1 0 0 20 0 1 0 247049971 2074361856 16909 33554432000 4194304 5849940 140732044542656 140732044542656 4593168 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 506436 16909 622 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 67636 KiB
[startup+0.700395 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 19366
/proc/meminfo: memFree=27304952/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=2025744 memory=133172 CPUtime=0.69 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 1776 0 0 0 68 1 0 0 20 0 1 0 247049971 2074361856 33293 33554432000 4194304 5849940 140732044542656 140732044541960 4508826 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 506436 33293 622 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 133172 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 19366
/proc/meminfo: memFree=27130748/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=2025744 memory=280720 CPUtime=1.49 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 1853 0 0 0 146 3 0 0 20 0 1 0 247049971 2074361856 70180 33554432000 4194304 5849940 140732044542656 140732044541960 4467769 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 506436 70180 626 405 0 503380 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 280720 KiB
[startup+3.10967 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 19366
/proc/meminfo: memFree=26392280/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=2025744 memory=577680 CPUtime=3.09 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 2091 0 0 0 303 6 0 0 20 0 1 0 247049971 2074361856 144420 33554432000 4194304 5849940 140732044542656 140732044541960 4454844 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 506436 144420 626 405 0 503380 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 577680 KiB
[startup+6.30039 s]
/proc/loadavg: 1.92 2.00 1.95 3/189 19366
/proc/meminfo: memFree=25288968/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=2056996 memory=1153768 CPUtime=6.29 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 3496 0 0 0 613 16 0 0 20 0 1 0 247049971 2106363904 288442 33554432000 4194304 5849940 140732044542656 140732044541960 4475405 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 514249 288442 626 405 0 511193 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2056996 KiB
Current children cumulated memory: 1153768 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 1.95 3/189 19366
/proc/meminfo: memFree=22680860/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=2528848 memory=2410108 CPUtime=12.69 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 8212 0 0 0 1230 39 0 0 20 0 1 0 247049971 2589540352 602527 33554432000 4194304 5849940 140732044542656 140732044541976 4488780 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 632212 602527 656 405 0 629156 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2528848 KiB
Current children cumulated memory: 2410108 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 1.95 3/189 19366
/proc/meminfo: memFree=17889292/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=5622888 memory=4700696 CPUtime=25.48 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 15132 0 0 0 2441 107 0 0 20 0 1 0 247049971 5757837312 1175174 33554432000 4194304 5849940 140732044542656 140732044541944 4533250 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 1405722 1175174 657 405 0 1402666 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 5622888 KiB
Current children cumulated memory: 4700696 KiB
[startup+51.11 s]
/proc/loadavg: 1.96 2.00 1.95 3/189 19366
/proc/meminfo: memFree=10547508/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=12192976 memory=12040980 CPUtime=51.1 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 54542 0 0 0 4861 249 0 0 20 0 1 0 247049971 12485607424 3010245 33554432000 4194304 5849940 140732044542656 140732044541656 5269656 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3048244 3010245 658 405 0 3045188 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 12192976 KiB
Current children cumulated memory: 12040980 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/189 19367
/proc/meminfo: memFree=13794504/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=8328712 memory=7198136 CPUtime=102.28 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 69558 0 0 0 9707 521 0 0 20 0 1 0 247049971 8528601088 1799534 33554432000 4194304 5849940 140732044542656 140732044541624 5251224 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 2082178 1799534 658 405 0 2079122 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 8328712 KiB
Current children cumulated memory: 7198136 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/189 19368
/proc/meminfo: memFree=3187192/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=12315044 memory=12161872 CPUtime=162.28 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 87616 0 0 0 15407 821 0 0 20 0 1 0 247049971 12610605056 3040468 33554432000 4194304 5849940 140732044542656 140732044541656 5269705 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3078761 3040468 658 405 0 3075705 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 12315044 KiB
Current children cumulated memory: 12161872 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/189 19369
/proc/meminfo: memFree=7389576/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=12388288 memory=12233900 CPUtime=222.26 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 110677 0 0 0 21068 1158 0 0 20 0 1 0 247049971 12685606912 3058475 33554432000 4194304 5849940 140732044542656 140732044541656 5257310 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3097072 3058475 658 405 0 3094016 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 12388288 KiB
Current children cumulated memory: 12233900 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/188 19370
/proc/meminfo: memFree=8239340/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=8461524 memory=7102704 CPUtime=282.26 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 128620 0 0 0 26804 1422 0 0 20 0 1 0 247049971 8664600576 1775676 33554432000 4194304 5849940 140732044542656 140732044541624 5250714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 2115381 1775676 658 405 0 2112325 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 8461524 KiB
Current children cumulated memory: 7102704 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/188 19371
/proc/meminfo: memFree=6602644/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=12510356 memory=12355268 CPUtime=342.26 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 147009 0 0 0 32496 1730 0 0 20 0 1 0 247049971 12810604544 3088817 33554432000 4194304 5849940 140732044542656 140732044541656 5260393 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3127589 3088817 658 405 0 3124533 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 12510356 KiB
Current children cumulated memory: 12355268 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 19372
/proc/meminfo: memFree=6709440/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=12583600 memory=8923172 CPUtime=402.24 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 167228 0 0 0 38192 2032 0 0 20 0 1 0 247049971 12885606400 2230793 33554432000 4194304 5849940 140732044542656 140732044541624 5269297 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3145900 2230793 658 405 0 3142844 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 12583600 KiB
Current children cumulated memory: 8923172 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/188 19415
/proc/meminfo: memFree=11508756/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=8594336 memory=5501992 CPUtime=462.24 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 183941 0 0 0 43883 2341 0 0 20 0 1 0 247049971 8800600064 1375498 33554432000 4194304 5849940 140732044542656 140732044541656 5251224 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 2148584 1375498 658 405 0 2145528 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 8594336 KiB
Current children cumulated memory: 5501992 KiB
################
# More data... #
################
/proc/19365/statm: 2360255 1904409 658 405 0 2357199 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 9441020 KiB
Current children cumulated memory: 7617636 KiB
[startup+1782.3 s]
/proc/loadavg: 1.96 2.00 1.98 3/187 19460
/proc/meminfo: memFree=4033928/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=13950788 memory=10947396 CPUtime=1782.2 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 2604727 0 0 0 168901 9319 0 0 20 0 1 0 247049971 14285606912 2736849 33554432000 4194304 5849940 140732044542656 140732044541624 5269297 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3487697 2736849 658 405 0 3484641 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 13950788 KiB
Current children cumulated memory: 10947396 KiB
[startup+1842.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/187 19461
/proc/meminfo: memFree=219860/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=13999612 memory=13849392 CPUtime=1842.21 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 3037160 0 0 0 174509 9712 0 0 20 0 1 0 247049971 14335602688 3462348 33554432000 4194304 5849940 140732044542656 140732044541656 5260603 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3499903 3462348 658 405 0 3496847 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 13999612 KiB
Current children cumulated memory: 13849392 KiB
[startup+1902.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/187 19462
/proc/meminfo: memFree=8222352/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=14048444 memory=13899516 CPUtime=1902.21 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 3654943 0 0 0 180161 10060 0 0 20 0 1 0 247049971 14385606656 3474879 33554432000 4194304 5849940 140732044542656 140732044541656 5269670 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3512111 3474879 658 405 0 3509055 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 14048444 KiB
Current children cumulated memory: 13899516 KiB
[startup+1962.3 s]
/proc/loadavg: 1.94 1.98 1.98 3/187 19463
/proc/meminfo: memFree=12518844/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=9590436 memory=7751420 CPUtime=1962.21 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 3999421 0 0 0 185763 10458 0 0 20 0 1 0 247049971 9820606464 1937855 33554432000 4194304 5849940 140732044542656 140732044541624 5249712 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 2397609 1937855 658 405 0 2394553 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 9590436 KiB
Current children cumulated memory: 7751420 KiB
[startup+2022.3 s]
/proc/loadavg: 1.98 1.99 1.98 3/187 19464
/proc/meminfo: memFree=9245360/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=9623636 memory=9488724 CPUtime=2022.2 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 4367334 0 0 0 191384 10836 0 0 20 0 1 0 247049971 9854603264 2372181 33554432000 4194304 5849940 140732044542656 140732044541624 5262261 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 2405909 2372181 658 405 0 2402853 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 9623636 KiB
Current children cumulated memory: 9488724 KiB
[startup+2082.3 s]
/proc/loadavg: 1.98 1.99 1.98 3/187 19465
/proc/meminfo: memFree=215056/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=14219340 memory=14068356 CPUtime=2082.21 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 5207791 0 0 0 196864 11357 0 0 20 0 1 0 247049971 14560604160 3517089 33554432000 4194304 5849940 140732044542656 140732044541656 5257299 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3554835 3517089 658 405 0 3551779 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 14219340 KiB
Current children cumulated memory: 14068356 KiB
[startup+2142.3 s]
/proc/loadavg: 1.99 1.99 1.98 3/187 19466
/proc/meminfo: memFree=203952/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=14268168 memory=14116992 CPUtime=2142.21 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 6037433 0 0 0 202427 11794 0 0 20 0 1 0 247049971 14610604032 3529248 33554432000 4194304 5849940 140732044542656 140732044541656 5260393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3567042 3529248 658 405 0 3563986 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 14268168 KiB
Current children cumulated memory: 14116992 KiB
[startup+2202.3 s]
/proc/loadavg: 1.95 1.97 1.97 3/187 19467
/proc/meminfo: memFree=1206528/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=14317000 memory=14167872 CPUtime=2202.2 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 6331334 0 0 0 208061 12159 0 0 20 0 1 0 247049971 14660608000 3541968 33554432000 4194304 5849940 140732044542656 140732044541656 5269720 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3579250 3541968 658 405 0 3576194 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 14317000 KiB
Current children cumulated memory: 14167872 KiB
[startup+2262.3 s]
/proc/loadavg: 1.98 1.98 1.97 3/187 19468
/proc/meminfo: memFree=14004232/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=9773048 memory=7754860 CPUtime=2262.21 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 6430392 0 0 0 213718 12503 0 0 20 0 1 0 247049971 10007601152 1938715 33554432000 4194304 5849940 140732044542656 140732044541624 5251285 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 2443262 1938715 658 405 0 2440206 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 9773048 KiB
Current children cumulated memory: 7754860 KiB
[startup+2322.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/187 19469
/proc/meminfo: memFree=10845864/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=9806252 memory=9670852 CPUtime=2322.21 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 6447034 0 0 0 219423 12798 0 0 20 0 1 0 247049971 10041602048 2417713 33554432000 4194304 5849940 140732044542656 140732044541624 5249765 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 2451563 2417713 658 405 0 2448507 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 9806252 KiB
Current children cumulated memory: 9670852 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/188 19478
/proc/meminfo: memFree=5065436/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=14487896 memory=14338800 CPUtime=2382.2 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 6468721 0 0 0 225085 13135 0 0 20 0 1 0 247049971 14835605504 3584700 33554432000 4194304 5849940 140732044542656 140732044541656 5260600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3621974 3584700 658 405 0 3618918 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 14487896 KiB
Current children cumulated memory: 14338800 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/188 19479
/proc/meminfo: memFree=3628268/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=14536724 memory=14386644 CPUtime=2442.21 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 6484423 0 0 0 230803 13418 0 0 20 0 1 0 247049971 14885605376 3596661 33554432000 4194304 5849940 140732044542656 140732044541656 5260393 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3634181 3596661 658 405 0 3631125 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 14536724 KiB
Current children cumulated memory: 14386644 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/188 19480
/proc/meminfo: memFree=259004/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=9913672 memory=9778788 CPUtime=2502.21 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 6497823 0 0 0 236528 13693 0 0 20 0 1 0 247049971 10151600128 2444697 33554432000 4194304 5849940 140732044542656 140732044541656 4548541 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 2478418 2444697 658 405 0 2475362 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 9913672 KiB
Current children cumulated memory: 9778788 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.92 1.97 1.97 3/188 19541
/proc/meminfo: memFree=14738400/32770624 swapFree=67030680/67108860
[pid=19365] ppid=19362 vsize=14609964 memory=14460168 CPUtime=2519.92 cores=1,3,5,7
/proc/19365/stat : 19365 (xcsp_picat) R 19362 19365 18952 0 -1 4202496 6504638 0 0 0 238167 13825 0 0 20 0 1 0 247049971 14960603136 3615042 33554432000 4194304 5849940 140732044542656 140732044541656 5260600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 31543296 140732044547254 140732044547332 140732044547332 140732044550090 0
/proc/19365/statm: 3652491 3615042 658 405 0 3649435 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 14609964 KiB
Current children cumulated memory: 14460168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.06 s]
# the end of solver process 19365 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2381.67 s, system=138.303 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.06
CPU time (s): 2519.98
CPU user time (s): 2381.67
CPU system time (s): 138.303
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 14609964
Max. memory (cumulated for all children) (KiB): 14460168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2381.67
system time used= 138.303
maximum resident set size= 14460180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6504638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1884
# summary of solver processes directly reported to runsolver:
# pid: 19365
# total CPU time (s): 2519.98
# total CPU user time (s): 2381.67
# total CPU system time (s): 138.303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7118 second user time and 16.0595 second system time
The end