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 (11127 MiB free)
memory of node 1: 16384 MiB (12818 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309746-1534309163/watcher-4309746-1534309163 -o /tmp/evaluation-result-4309746-1534309163/solver-4309746-1534309163 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534293327-696 --watchdog 2580 xcsp_picat HOME/instance-4309746-1534309163.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=3033, runsolver pid=3030
[startup+0.10064 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 3034
/proc/meminfo: memFree=24506164/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=2025744 memory=17672 CPUtime=0.1 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 1049 0 0 0 10 0 0 0 20 0 1 0 248479471 2074361856 4418 33554432000 4194304 5849940 140735513926576 140735513925880 140187887717376 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 506436 4418 591 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 17672 KiB
[startup+0.209807 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 3034
/proc/meminfo: memFree=24500052/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=2025744 memory=24060 CPUtime=0.2 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 1052 0 0 0 20 0 0 0 20 0 1 0 248479471 2074361856 6015 33554432000 4194304 5849940 140735513926576 140735513925880 140187887717376 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 506436 6015 591 405 0 503380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24060 KiB
[startup+0.309624 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 3034
/proc/meminfo: memFree=24493908/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=2025744 memory=30204 CPUtime=0.3 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 1055 0 0 0 30 0 0 0 20 0 1 0 248479471 2074361856 7551 33554432000 4194304 5849940 140735513926576 140735513925880 4850760 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 506436 7551 591 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30204 KiB
[startup+0.700264 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3034
/proc/meminfo: memFree=24485344/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=2025744 memory=50684 CPUtime=0.69 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 1070 0 0 0 68 1 0 0 20 0 1 0 248479471 2074361856 12671 33554432000 4194304 5849940 140735513926576 140735513925880 4488915 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 506436 12671 591 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 50684 KiB
[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.05 4/190 3034
/proc/meminfo: memFree=24462644/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=2054252 memory=216764 CPUtime=1.48 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 3230 0 0 0 145 3 0 0 20 0 1 0 248479471 2103554048 54191 33554432000 4194304 5849940 140735513926576 140735513925896 4539754 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 513563 54191 624 405 0 510507 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2054252 KiB
Current children cumulated memory: 216764 KiB
[startup+3.10961 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3034
/proc/meminfo: memFree=23789792/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=2550648 memory=733008 CPUtime=3.1 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 5413 0 0 0 298 12 0 0 20 0 1 0 248479471 2611863552 183252 33554432000 4194304 5849940 140735513926576 140735513925896 4818373 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 637662 183252 629 405 0 634606 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2550648 KiB
Current children cumulated memory: 733008 KiB
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3034
/proc/meminfo: memFree=23468132/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=2779284 memory=1086928 CPUtime=6.29 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 12516 0 0 0 610 19 0 0 20 0 1 0 248479471 2845986816 271732 33554432000 4194304 5849940 140735513926576 140735513925272 5432174 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 694821 271732 675 405 0 691765 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2779284 KiB
Current children cumulated memory: 1086928 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3034
/proc/meminfo: memFree=22318908/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=3893396 memory=2201304 CPUtime=12.69 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 21001 0 0 0 1230 39 0 0 20 0 1 0 248479471 3986837504 550326 33554432000 4194304 5849940 140735513926576 140735513925688 5406239 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 973349 550326 675 405 0 970293 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3893396 KiB
Current children cumulated memory: 2201304 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3034
/proc/meminfo: memFree=21005588/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=5204116 memory=3512024 CPUtime=25.48 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 22885 0 0 0 2488 60 0 0 20 0 1 0 248479471 5329014784 878006 33554432000 4194304 5849940 140735513926576 140735513925752 5432515 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 1301029 878006 675 405 0 1297973 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 5204116 KiB
Current children cumulated memory: 3512024 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3042
/proc/meminfo: memFree=18731276/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=7472056 memory=5780008 CPUtime=51.08 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 272892 0 0 0 4995 113 0 0 20 0 1 0 248479471 7651385344 1445002 33554432000 4194304 5849940 140735513926576 140735513925448 5392674 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 1868014 1445002 686 405 0 1864958 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 7472056 KiB
Current children cumulated memory: 5780008 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 3066
/proc/meminfo: memFree=17547960/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828632 CPUtime=102.27 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 874757 0 0 0 10071 156 0 0 20 0 1 0 248479471 8725127168 1707158 33554432000 4194304 5849940 140735513926576 140735513925576 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707158 698 405 0 2127102 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828632 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 3067
/proc/meminfo: memFree=17679928/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=162.26 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 1719064 0 0 0 16031 195 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5438533 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 3068
/proc/meminfo: memFree=17679928/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=222.25 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 2686024 0 0 0 21984 241 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925736 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 3069
/proc/meminfo: memFree=17680344/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=282.25 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 3675618 0 0 0 27937 288 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925448 5313043 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3070
/proc/meminfo: memFree=17681060/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=342.24 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 4468439 0 0 0 33897 327 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3071
/proc/meminfo: memFree=17681228/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=402.23 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 5391971 0 0 0 39849 374 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925448 5313082 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3072
/proc/meminfo: memFree=17666604/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=462.22 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 6069697 0 0 0 45812 410 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5335787 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
################
# More data... #
################
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 1721.85 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/191 3236
/proc/meminfo: memFree=17706132/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=1781.84 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 16907486 0 0 0 177188 996 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 1781.84 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.06 2.06 3/192 3246
/proc/meminfo: memFree=17823308/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=1841.84 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 17101551 0 0 0 183174 1010 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 1841.84 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 3247
/proc/meminfo: memFree=17823724/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=1901.83 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 17145715 0 0 0 189165 1018 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 1901.83 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/192 3248
/proc/meminfo: memFree=17818936/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=1961.82 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 17333417 0 0 0 195152 1030 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5335816 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 1961.82 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 3249
/proc/meminfo: memFree=17806424/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=2021.81 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 17450439 0 0 0 201141 1040 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925448 5392040 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 2021.81 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 3250
/proc/meminfo: memFree=17750928/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=2081.81 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 17595017 0 0 0 207124 1057 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5335760 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 2081.81 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 3251
/proc/meminfo: memFree=17750960/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=2141.8 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 17890576 0 0 0 213109 1071 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5335780 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 2141.8 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3252
/proc/meminfo: memFree=17704044/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=2201.79 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 18116173 0 0 0 219089 1090 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5438519 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 2201.79 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3253
/proc/meminfo: memFree=17685336/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=2261.79 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 18288562 0 0 0 225074 1105 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 2261.79 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3254
/proc/meminfo: memFree=17685152/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=2321.79 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 18464334 0 0 0 231060 1119 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5438033 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 2321.79 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 3255
/proc/meminfo: memFree=17685412/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=2381.79 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 18550772 0 0 0 237052 1127 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 140187887738759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 2381.79 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3264
/proc/meminfo: memFree=17683084/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=2441.79 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 18714546 0 0 0 243039 1140 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5437828 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 2441.79 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3265
/proc/meminfo: memFree=17684448/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=2501.78 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 18841722 0 0 0 249028 1150 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925736 140187887738759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 2501.78 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 3266
/proc/meminfo: memFree=17684192/32770624 swapFree=67108856/67108860
[pid=3033] ppid=3030 vsize=8520632 memory=6828648 CPUtime=2519.5 cores=0,2,4,6
/proc/3033/stat : 3033 (xcsp_picat) R 3030 3033 665 0 -1 4202496 18842903 0 0 0 250798 1152 0 0 20 0 1 0 248479471 8725127168 1707162 33554432000 4194304 5849940 140735513926576 140735513925576 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23011328 140735513932982 140735513933060 140735513933060 140735513935818 0
/proc/3033/statm: 2130158 1707162 702 405 0 2127102 0
Current children cumulated CPU time: 2519.5 s
Current children cumulated vsize: 8520632 KiB
Current children cumulated memory: 6828648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.09 s]
# the end of solver process 3033 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.99 s, system=11.6007 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.09
CPU time (s): 2519.59
CPU user time (s): 2507.99
CPU system time (s): 11.6007
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 8668976
Max. memory (cumulated for all children) (KiB): 6976936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.99
system time used= 11.6007
maximum resident set size= 6976936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18842904
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= 373
involuntary context switches= 2371
# summary of solver processes directly reported to runsolver:
# pid: 3033
# total CPU time (s): 2519.59
# total CPU user time (s): 2507.99
# total CPU system time (s): 11.6007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.81571 second user time and 18.8482 second system time
The end