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 (6209 MiB free)
memory of node 1: 16384 MiB (8928 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309403-1534309764/watcher-4309403-1534309764 -o /tmp/evaluation-result-4309403-1534309764/solver-4309403-1534309764 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534294082-5447 --watchdog 2580 xcsp_picat HOME/instance-4309403-1534309764.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=7865, runsolver pid=7862
[startup+0.100387 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 7866
/proc/meminfo: memFree=15473620/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2025744 memory=30268 CPUtime=0.1 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 1590 0 0 0 10 0 0 0 20 0 1 0 248539610 2074361856 7567 33554432000 4194304 5849940 140730927062016 140730927061320 4488943 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 506436 7567 653 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30268 KiB
[startup+0.209751 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 7866
/proc/meminfo: memFree=15471624/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2025892 memory=32620 CPUtime=0.2 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 1693 0 0 0 20 0 0 0 20 0 1 0 248539610 2074513408 8155 33554432000 4194304 5849940 140730927062016 140730927061320 140228364185479 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 506473 8155 712 405 0 503417 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025892 KiB
Current children cumulated memory: 32620 KiB
[startup+0.309652 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 7866
/proc/meminfo: memFree=15471252/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2026200 memory=32880 CPUtime=0.3 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 1787 0 0 0 30 0 0 0 20 0 1 0 248539610 2074828800 8220 33554432000 4194304 5849940 140730927062016 140730927061320 140228364185479 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 506550 8220 726 405 0 503494 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026200 KiB
Current children cumulated memory: 32880 KiB
[startup+0.700338 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 7866
/proc/meminfo: memFree=15470880/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2026592 memory=33324 CPUtime=0.68 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 1901 0 0 0 68 0 0 0 20 0 1 0 248539610 2075230208 8331 33554432000 4194304 5849940 140730927062016 140730927061112 5472029 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 506648 8331 726 405 0 503592 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2026592 KiB
Current children cumulated memory: 33324 KiB
[startup+1.50044 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 7866
/proc/meminfo: memFree=15440436/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2059192 memory=66080 CPUtime=1.49 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 13549 0 0 0 147 2 0 0 20 0 1 0 248539610 2108612608 16520 33554432000 4194304 5849940 140730927062016 140730927061112 5366701 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 514798 16520 742 405 0 511742 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2059192 KiB
Current children cumulated memory: 66080 KiB
[startup+3.10969 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 7866
/proc/meminfo: memFree=15421748/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2075904 memory=82864 CPUtime=3.1 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 23310 0 0 0 307 3 0 0 20 0 1 0 248539610 2125725696 20716 33554432000 4194304 5849940 140730927062016 140730927060664 4213393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 518976 20716 750 405 0 515920 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2075904 KiB
Current children cumulated memory: 82864 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 7866
/proc/meminfo: memFree=15438436/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2080672 memory=87652 CPUtime=6.28 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 29044 0 0 0 625 3 0 0 20 0 1 0 248539610 2130608128 21913 33554432000 4194304 5849940 140730927062016 140730927060264 5309811 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 520168 21913 754 405 0 517112 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2080672 KiB
Current children cumulated memory: 87652 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 7866
/proc/meminfo: memFree=15381724/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2080672 memory=87652 CPUtime=12.69 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 37088 0 0 0 1265 4 0 0 20 0 1 0 248539610 2130608128 21913 33554432000 4194304 5849940 140730927062016 140730927060264 5309646 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 520168 21913 754 405 0 517112 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2080672 KiB
Current children cumulated memory: 87652 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 7866
/proc/meminfo: memFree=15377132/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2080672 memory=87652 CPUtime=25.49 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 49021 0 0 0 2545 4 0 0 20 0 1 0 248539610 2130608128 21913 33554432000 4194304 5849940 140730927062016 140730927060264 4208942 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 520168 21913 754 405 0 517112 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2080672 KiB
Current children cumulated memory: 87652 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 7873
/proc/meminfo: memFree=15373472/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2083296 memory=90320 CPUtime=51.1 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 62923 0 0 0 5103 7 0 0 20 0 1 0 248539610 2133295104 22580 33554432000 4194304 5849940 140730927062016 140730927059752 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 520824 22580 765 405 0 517768 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2083296 KiB
Current children cumulated memory: 90320 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 7874
/proc/meminfo: memFree=15391788/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2065420 memory=72408 CPUtime=102.29 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 80193 0 0 0 10215 14 0 0 20 0 1 0 248539610 2114990080 18102 33554432000 4194304 5849940 140730927062016 140730927060504 5308629 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 516355 18102 767 405 0 513299 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2065420 KiB
Current children cumulated memory: 72408 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.00 2.04 3/188 7936
/proc/meminfo: memFree=15466440/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2082920 memory=89808 CPUtime=162.3 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 90829 0 0 0 16205 25 0 0 20 0 1 0 248539610 2132910080 22452 33554432000 4194304 5849940 140730927062016 140730927059048 5305842 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 520730 22452 767 405 0 517674 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2082920 KiB
Current children cumulated memory: 89808 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/188 7937
/proc/meminfo: memFree=15420796/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2097176 memory=108328 CPUtime=222.3 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 95322 0 0 0 22195 35 0 0 20 0 1 0 248539610 2147508224 27082 33554432000 4194304 5849940 140730927062016 140730927060664 5339245 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 524294 27082 767 405 0 521238 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2097176 KiB
Current children cumulated memory: 108328 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/188 7938
/proc/meminfo: memFree=15434332/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2080792 memory=92196 CPUtime=282.3 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 97918 0 0 0 28166 64 0 0 20 0 1 0 248539610 2130731008 23049 33554432000 4194304 5849940 140730927062016 140730927061016 140228364185479 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 520198 23049 767 405 0 517142 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2080792 KiB
Current children cumulated memory: 92196 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7939
/proc/meminfo: memFree=15423688/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2080792 memory=92196 CPUtime=342.3 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 98134 0 0 0 34136 94 0 0 20 0 1 0 248539610 2130731008 23049 33554432000 4194304 5849940 140730927062016 140730927061016 5311618 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 520198 23049 767 405 0 517142 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2080792 KiB
Current children cumulated memory: 92196 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7940
/proc/meminfo: memFree=15422376/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2080792 memory=92196 CPUtime=402.31 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 98144 0 0 0 40113 118 0 0 20 0 1 0 248539610 2130731008 23049 33554432000 4194304 5849940 140730927062016 140730927061016 5437675 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 520198 23049 767 405 0 517142 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2080792 KiB
Current children cumulated memory: 92196 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7941
/proc/meminfo: memFree=15422024/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2080792 memory=92196 CPUtime=462.31 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 98144 0 0 0 46087 144 0 0 20 0 1 0 248539610 2130731008 23049 33554432000 4194304 5849940 140730927062016 140730927061176 5437662 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 520198 23049 767 405 0 517142 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2080792 KiB
Current children cumulated memory: 92196 KiB
################
# More data... #
################
/proc/7865/statm: 521985 24836 767 405 0 518929 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 2087940 KiB
Current children cumulated memory: 99344 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7992
/proc/meminfo: memFree=15383928/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2089636 memory=99480 CPUtime=1842.4 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 145472 0 0 0 183563 677 0 0 20 0 1 0 248539610 2139787264 24870 33554432000 4194304 5849940 140730927062016 140730927061016 5437819 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 522409 24870 767 405 0 519353 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 2089636 KiB
Current children cumulated memory: 99480 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7993
/proc/meminfo: memFree=15350512/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2090628 memory=101136 CPUtime=1902.4 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 150639 0 0 0 189536 704 0 0 20 0 1 0 248539610 2140803072 25284 33554432000 4194304 5849940 140730927062016 140730927061016 5438288 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 522657 25284 767 405 0 519601 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 2090628 KiB
Current children cumulated memory: 101136 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7994
/proc/meminfo: memFree=15366288/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2090628 memory=101176 CPUtime=1962.41 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 150942 0 0 0 195515 726 0 0 20 0 1 0 248539610 2140803072 25294 33554432000 4194304 5849940 140730927062016 140730927061016 5438291 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 522657 25294 767 405 0 519601 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 2090628 KiB
Current children cumulated memory: 101176 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 7995
/proc/meminfo: memFree=15349600/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2107012 memory=117560 CPUtime=2022.41 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 155430 0 0 0 201492 749 0 0 20 0 1 0 248539610 2157580288 29390 33554432000 4194304 5849940 140730927062016 140730927061016 5335806 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 526753 29390 767 405 0 523697 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 2107012 KiB
Current children cumulated memory: 117560 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 7996
/proc/meminfo: memFree=15333584/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2107012 memory=117560 CPUtime=2082.42 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 155963 0 0 0 207470 772 0 0 20 0 1 0 248539610 2157580288 29390 33554432000 4194304 5849940 140730927062016 140730927061016 5437808 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 526753 29390 767 405 0 523697 0
Current children cumulated CPU time: 2082.42 s
Current children cumulated vsize: 2107012 KiB
Current children cumulated memory: 117560 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7997
/proc/meminfo: memFree=15343960/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2114492 memory=120548 CPUtime=2142.42 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 161311 0 0 0 213448 794 0 0 20 0 1 0 248539610 2165239808 30137 33554432000 4194304 5849940 140730927062016 140730927061016 5437635 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 528623 30137 767 405 0 525567 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 2114492 KiB
Current children cumulated memory: 120548 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7998
/proc/meminfo: memFree=15344016/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2114492 memory=120548 CPUtime=2202.42 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 161321 0 0 0 219430 812 0 0 20 0 1 0 248539610 2165239808 30137 33554432000 4194304 5849940 140730927062016 140730927060888 5438372 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 528623 30137 767 405 0 525567 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 2114492 KiB
Current children cumulated memory: 120548 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7999
/proc/meminfo: memFree=15323280/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2114492 memory=124644 CPUtime=2262.42 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 166512 0 0 0 225414 828 0 0 20 0 1 0 248539610 2165239808 31161 33554432000 4194304 5849940 140730927062016 140730927061016 5437815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 528623 31161 767 405 0 525567 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 2114492 KiB
Current children cumulated memory: 124644 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8000
/proc/meminfo: memFree=15328364/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2114492 memory=124644 CPUtime=2322.43 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 166998 0 0 0 231395 848 0 0 20 0 1 0 248539610 2165239808 31161 33554432000 4194304 5849940 140730927062016 140730927061016 5339651 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 528623 31161 767 405 0 525567 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 2114492 KiB
Current children cumulated memory: 124644 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8001
/proc/meminfo: memFree=15324432/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2120940 memory=128740 CPUtime=2382.43 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 167650 0 0 0 237375 868 0 0 20 0 1 0 248539610 2171842560 32185 33554432000 4194304 5849940 140730927062016 140730927061016 5437928 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 530235 32185 767 405 0 527179 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 2120940 KiB
Current children cumulated memory: 128740 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8010
/proc/meminfo: memFree=15301036/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2120940 memory=130788 CPUtime=2442.43 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 167930 0 0 0 243360 883 0 0 20 0 1 0 248539610 2171842560 32697 33554432000 4194304 5849940 140730927062016 140730927061016 140228364185479 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 530235 32697 767 405 0 527179 0
Current children cumulated CPU time: 2442.43 s
Current children cumulated vsize: 2120940 KiB
Current children cumulated memory: 130788 KiB
[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 8011
/proc/meminfo: memFree=15301752/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2120940 memory=130788 CPUtime=2502.44 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 171658 0 0 0 249341 903 0 0 20 0 1 0 248539610 2171842560 32697 33554432000 4194304 5849940 140730927062016 140730927061016 5438277 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 530235 32697 767 405 0 527179 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 2120940 KiB
Current children cumulated memory: 130788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 8011
/proc/meminfo: memFree=15301948/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2120940 memory=130788 CPUtime=2520.04 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 171721 0 0 0 251095 909 0 0 20 0 1 0 248539610 2171842560 32697 33554432000 4194304 5849940 140730927062016 140730927061016 5437936 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 530235 32697 767 405 0 527179 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2120940 KiB
Current children cumulated memory: 130788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 7865 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.95 s, system=9.10158 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 8011
/proc/meminfo: memFree=15301948/32770624 swapFree=67108504/67108860
[pid=7865] ppid=7862 vsize=2120940 memory=130788 CPUtime=2520.04 cores=0,2,4,6
/proc/7865/stat : 7865 (xcsp_picat) R 7862 7865 5416 0 -1 4202496 171721 0 0 0 251095 909 0 0 20 0 1 0 248539610 2171842560 32697 33554432000 4194304 5849940 140730927062016 140730927061016 5437936 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 17207296 140730927064246 140730927064324 140730927064324 140730927067082 0
/proc/7865/statm: 530235 32697 767 405 0 527179 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2120940 KiB
Current children cumulated memory: 130788 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.9
CPU time (s): 2520.05
CPU user time (s): 2510.95
CPU system time (s): 9.10158
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2120940
Max. memory (cumulated for all children) (KiB): 130788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.95
system time used= 9.10158
maximum resident set size= 130788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171721
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= 7
involuntary context switches= 4212
# summary of solver processes directly reported to runsolver:
# pid: 7865
# total CPU time (s): 2520.05
# total CPU user time (s): 2510.95
# total CPU system time (s): 9.10158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.90192 second user time and 18.8692 second system time
The end