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 (8882 MiB free)
memory of node 1: 16384 MiB (6777 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309337-1534305713/watcher-4309337-1534305713 -o /tmp/evaluation-result-4309337-1534305713/solver-4309337-1534305713 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16588 --watchdog 2580 xcsp_picat HOME/instance-4309337-1534305713.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=18164, runsolver pid=18161
[startup+0.100214 s]*
/proc/loadavg: 2.12 2.04 2.05 3/188 18165
/proc/meminfo: memFree=15997760/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2025744 memory=24388 CPUtime=0.1 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 1667 0 0 0 10 0 0 0 20 0 1 0 248134481 2074361856 6097 33554432000 4194304 5849940 140721755972368 140721755972368 4572157 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 506436 6097 609 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24388 KiB
[startup+0.209776 s]*
/proc/loadavg: 2.12 2.04 2.05 3/188 18165
/proc/meminfo: memFree=15956180/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2025744 memory=45368 CPUtime=0.21 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 1792 0 0 0 20 1 0 0 20 0 1 0 248134481 2074361856 11342 33554432000 4194304 5849940 140721755972368 140721755972368 4507601 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 506436 11342 609 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 45368 KiB
[startup+0.30968 s]*
/proc/loadavg: 2.12 2.04 2.05 3/188 18165
/proc/meminfo: memFree=15921240/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2025744 memory=65848 CPUtime=0.31 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 1802 0 0 0 30 1 0 0 20 0 1 0 248134481 2074361856 16462 33554432000 4194304 5849940 140721755972368 140721755972368 4819903 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 506436 16462 609 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 65848 KiB
[startup+0.70044 s]
/proc/loadavg: 2.12 2.04 2.05 3/188 18165
/proc/meminfo: memFree=15847140/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2025744 memory=135480 CPUtime=0.69 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 1836 0 0 0 67 2 0 0 20 0 1 0 248134481 2074361856 33870 33554432000 4194304 5849940 140721755972368 140721755972368 4505511 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 506436 33870 609 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 135480 KiB
[startup+1.50045 s]
/proc/loadavg: 2.12 2.04 2.05 3/188 18165
/proc/meminfo: memFree=15670624/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2025744 memory=280980 CPUtime=1.49 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 1917 0 0 0 145 4 0 0 20 0 1 0 248134481 2074361856 70245 33554432000 4194304 5849940 140721755972368 140721755972368 4458486 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 506436 70245 617 405 0 503380 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 280980 KiB
[startup+3.10961 s]
/proc/loadavg: 2.11 2.04 2.05 3/188 18165
/proc/meminfo: memFree=14946780/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2025744 memory=575892 CPUtime=3.1 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 2500 0 0 0 302 8 0 0 20 0 1 0 248134481 2074361856 143973 33554432000 4194304 5849940 140721755972368 140721755971672 4845174 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 506436 143973 617 405 0 503380 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 575892 KiB
[startup+6.30042 s]
/proc/loadavg: 2.11 2.04 2.05 3/188 18165
/proc/meminfo: memFree=13984812/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2056996 memory=1151980 CPUtime=6.29 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 3876 0 0 0 613 16 0 0 20 0 1 0 248134481 2106363904 287995 33554432000 4194304 5849940 140721755972368 140721755971672 4488826 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 514249 287995 617 405 0 511193 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2056996 KiB
Current children cumulated memory: 1151980 KiB
[startup+12.7004 s]
/proc/loadavg: 2.09 2.04 2.05 3/188 18165
/proc/meminfo: memFree=11889772/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2119496 memory=1935336 CPUtime=12.69 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 5490 0 0 0 1241 28 0 0 20 0 1 0 248134481 2170363904 483834 33554432000 4194304 5849940 140721755972368 140721755971672 4491167 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 529874 483834 626 405 0 526818 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2119496 KiB
Current children cumulated memory: 1935336 KiB
[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 18165
/proc/meminfo: memFree=10812340/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2244496 memory=2027448 CPUtime=25.49 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 6724 0 0 0 2517 32 0 0 20 0 1 0 248134481 2298363904 506862 33554432000 4194304 5849940 140721755972368 140721755971560 4488955 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 561124 506862 633 405 0 558068 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2244496 KiB
Current children cumulated memory: 2027448 KiB
[startup+51.1097 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 18165
/proc/meminfo: memFree=6100028/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2887900 memory=2765464 CPUtime=51.1 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 10403 0 0 0 5064 46 0 0 20 0 1 0 248134481 2957209600 691366 33554432000 4194304 5849940 140721755972368 140721755971688 5249480 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 721975 691366 650 405 0 718919 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2887900 KiB
Current children cumulated memory: 2765464 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 18166
/proc/meminfo: memFree=5997260/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2887900 memory=2767796 CPUtime=102.28 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 12492 0 0 0 10182 46 0 0 20 0 1 0 248134481 2957209600 691949 33554432000 4194304 5849940 140721755972368 140721755971688 5249765 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 721975 691949 650 405 0 718919 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2887900 KiB
Current children cumulated memory: 2767796 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 18167
/proc/meminfo: memFree=5864000/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=2887900 memory=2767796 CPUtime=162.28 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 14426 0 0 0 16182 46 0 0 20 0 1 0 248134481 2957209600 691949 33554432000 4194304 5849940 140721755972368 140721755971688 5249765 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 721975 691949 650 405 0 718919 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2887900 KiB
Current children cumulated memory: 2767796 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18168
/proc/meminfo: memFree=6196592/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3029768 memory=2915296 CPUtime=222.28 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 23650 0 0 0 22101 127 0 0 20 0 1 0 248134481 3102482432 728824 33554432000 4194304 5849940 140721755972368 140721755971368 5418546 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 757442 728824 721 405 0 754386 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 3029768 KiB
Current children cumulated memory: 2915296 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18169
/proc/meminfo: memFree=5396608/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3114252 memory=2999684 CPUtime=282.28 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 56101 0 0 0 28011 217 0 0 20 0 1 0 248134481 3188994048 749921 33554432000 4194304 5849940 140721755972368 140721755970856 5319938 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 778563 749921 731 405 0 775507 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 3114252 KiB
Current children cumulated memory: 2999684 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18170
/proc/meminfo: memFree=6693984/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3130636 memory=3016300 CPUtime=342.28 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 101897 0 0 0 34008 220 0 0 20 0 1 0 248134481 3205771264 754075 33554432000 4194304 5849940 140721755972368 140721755971368 5385828 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 782659 754075 731 405 0 779603 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 3130636 KiB
Current children cumulated memory: 3016300 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18171
/proc/meminfo: memFree=4985116/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3264132 memory=3149776 CPUtime=402.28 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 176456 0 0 0 40000 228 0 0 20 0 1 0 248134481 3342471168 787444 33554432000 4194304 5849940 140721755972368 140721755971368 5307765 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 816033 787444 733 405 0 812977 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 3264132 KiB
Current children cumulated memory: 3149776 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18172
/proc/meminfo: memFree=4764004/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3384748 memory=3270368 CPUtime=462.28 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 259718 0 0 0 45992 236 0 0 20 0 1 0 248134481 3465981952 817592 33554432000 4194304 5849940 140721755972368 140721755971368 5386411 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 846187 817592 733 405 0 843131 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 3384748 KiB
Current children cumulated memory: 3270368 KiB
################
# More data... #
################
/proc/18164/statm: 886657 858847 743 405 0 883601 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 3546628 KiB
Current children cumulated memory: 3435388 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 18220
/proc/meminfo: memFree=6610476/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3617076 memory=3505836 CPUtime=1782.22 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 2530678 0 0 0 177505 717 0 0 20 0 1 0 248134481 3703885824 876459 33554432000 4194304 5849940 140721755972368 140721755971368 5385828 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 904269 876459 743 405 0 901213 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 3617076 KiB
Current children cumulated memory: 3505836 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 18221
/proc/meminfo: memFree=2044752/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3642524 memory=3531284 CPUtime=1842.22 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 2643430 0 0 0 183494 728 0 0 20 0 1 0 248134481 3729944576 882821 33554432000 4194304 5849940 140721755972368 140721755971368 5387309 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 910631 882821 743 405 0 907575 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 3642524 KiB
Current children cumulated memory: 3531284 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 18222
/proc/meminfo: memFree=2147640/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3438304 memory=3327192 CPUtime=1902.22 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 2764328 0 0 0 189478 744 0 0 20 0 1 0 248134481 3520823296 831798 33554432000 4194304 5849940 140721755972368 140721755971368 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 859576 831798 743 405 0 856520 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 3438304 KiB
Current children cumulated memory: 3327192 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16241976/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3113436 memory=3002196 CPUtime=1962.22 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 2810997 0 0 0 195389 833 0 0 20 0 1 0 248134481 3188158464 750549 33554432000 4194304 5849940 140721755972368 140721755970856 4213012 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 778359 750549 743 405 0 775303 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 3113436 KiB
Current children cumulated memory: 3002196 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18285
/proc/meminfo: memFree=16134584/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3216636 memory=3105432 CPUtime=2022.21 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 2903071 0 0 0 201381 840 0 0 20 0 1 0 248134481 3293835264 776358 33554432000 4194304 5849940 140721755972368 140721755971368 5437817 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 804159 776358 743 405 0 801103 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 3216636 KiB
Current children cumulated memory: 3105432 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18286
/proc/meminfo: memFree=16040812/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3306168 memory=3195056 CPUtime=2082.22 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 2987347 0 0 0 207371 851 0 0 20 0 1 0 248134481 3385516032 798764 33554432000 4194304 5849940 140721755972368 140721755971368 5385786 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 826542 798764 743 405 0 823486 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 3306168 KiB
Current children cumulated memory: 3195056 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18287
/proc/meminfo: memFree=15840120/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3506264 memory=3395024 CPUtime=2142.21 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 3093546 0 0 0 213360 861 0 0 20 0 1 0 248134481 3590414336 848756 33554432000 4194304 5849940 140721755972368 140721755971016 5340938 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 876566 848756 743 405 0 873510 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 3506264 KiB
Current children cumulated memory: 3395024 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18288
/proc/meminfo: memFree=15756948/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3579080 memory=3467840 CPUtime=2202.21 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 3195570 0 0 0 219345 876 0 0 20 0 1 0 248134481 3664977920 866960 33554432000 4194304 5849940 140721755972368 140721755971368 5438016 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 894770 866960 743 405 0 891714 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 3579080 KiB
Current children cumulated memory: 3467840 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18289
/proc/meminfo: memFree=15738320/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3601772 memory=3490532 CPUtime=2262.21 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 3296609 0 0 0 225339 882 0 0 20 0 1 0 248134481 3688214528 872633 33554432000 4194304 5849940 140721755972368 140721755971240 5398438 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 900443 872633 743 405 0 897387 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 3601772 KiB
Current children cumulated memory: 3490532 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 18297
/proc/meminfo: memFree=15790028/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3547776 memory=3436536 CPUtime=2322.21 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 3421757 0 0 0 231332 889 0 0 20 0 1 0 248134481 3632922624 859134 33554432000 4194304 5849940 140721755972368 140721755971016 5417117 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 886944 859134 743 405 0 883888 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 3547776 KiB
Current children cumulated memory: 3436536 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 18298
/proc/meminfo: memFree=15639672/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3686456 memory=3575216 CPUtime=2382.21 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 3557171 0 0 0 237321 900 0 0 20 0 1 0 248134481 3774930944 893804 33554432000 4194304 5849940 140721755972368 140721755971368 5388641 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 921614 893804 743 405 0 918558 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 3686456 KiB
Current children cumulated memory: 3575216 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18299
/proc/meminfo: memFree=15687732/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3645224 memory=3533984 CPUtime=2442.21 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 3689334 0 0 0 243308 913 0 0 20 0 1 0 248134481 3732709376 883496 33554432000 4194304 5849940 140721755972368 140721755971368 5385279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 911306 883496 743 405 0 908250 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 3645224 KiB
Current children cumulated memory: 3533984 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18300
/proc/meminfo: memFree=15615068/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3698856 memory=3587616 CPUtime=2502.2 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 3814873 0 0 0 249297 923 0 0 20 0 1 0 248134481 3787628544 896904 33554432000 4194304 5849940 140721755972368 140721755971368 5437837 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 924714 896904 743 405 0 921658 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 3698856 KiB
Current children cumulated memory: 3587616 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 18300
/proc/meminfo: memFree=15598756/32770624 swapFree=67108860/67108860
[pid=18164] ppid=18161 vsize=3715880 memory=3604640 CPUtime=2519.92 cores=0,2,4,6
/proc/18164/stat : 18164 (xcsp_picat) R 18161 18164 16557 0 -1 4202496 3851519 0 0 0 251065 927 0 0 20 0 1 0 248134481 3805061120 901160 33554432000 4194304 5849940 140721755972368 140721755971368 5387778 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 33005568 140721755976886 140721755976964 140721755976964 140721755979722 0
/proc/18164/statm: 928970 901160 743 405 0 925914 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 3715880 KiB
Current children cumulated memory: 3604640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 18164 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.65 s, system=9.30076 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.04
CPU time (s): 2519.95
CPU user time (s): 2510.65
CPU system time (s): 9.30076
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 4331480
Max. memory (cumulated for all children) (KiB): 4218752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.65
system time used= 9.30076
maximum resident set size= 4218752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3851520
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= 47
involuntary context switches= 1057
# summary of solver processes directly reported to runsolver:
# pid: 18164
# total CPU time (s): 2519.95
# total CPU user time (s): 2510.65
# total CPU system time (s): 9.30076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.36843 second user time and 19.1102 second system time
The end