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 (13807 MiB free)
memory of node 1: 16384 MiB (13069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395262-1568334901/watcher-4395262-1568334901 -o /tmp/evaluation-result-4395262-1568334901/solver-4395262-1568334901 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568323917-28816 --watchdog 2580 xcsp_picat HOME/instance-4395262-1568334901.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=31799, runsolver pid=31796
[startup+0.100217 s]*
/proc/loadavg: 2.08 2.08 2.07 4/201 31802
/proc/meminfo: memFree=27415916/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2031716 memory=31172 CPUtime=0.1 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1867 0 0 0 10 0 0 0 20 0 1 0 409757866 2080477184 7793 33554432000 4194304 5870510 140735360755632 140735360754936 4458467 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 507929 7793 843 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 31172 KiB
[startup+0.210422 s]*
/proc/loadavg: 2.08 2.08 2.07 3/201 31802
/proc/meminfo: memFree=27397476/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2031716 memory=51864 CPUtime=0.21 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1877 0 0 0 20 1 0 0 20 0 1 0 409757866 2080477184 12966 33554432000 4194304 5870510 140735360755632 140735360754936 4429588 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 507929 12966 866 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 51864 KiB
[startup+0.310137 s]*
/proc/loadavg: 2.08 2.08 2.07 3/201 31802
/proc/meminfo: memFree=27356268/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2099988 memory=79088 CPUtime=0.31 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 2586 0 0 0 29 2 0 0 20 0 1 0 409757866 2150387712 19772 33554432000 4194304 5870510 140735360755632 140735360754936 5251841 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 524997 19772 871 410 0 520470 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2099988 KiB
Current children cumulated memory: 79088 KiB
[startup+0.700459 s]
/proc/loadavg: 2.08 2.08 2.07 3/201 31802
/proc/meminfo: memFree=27725344/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2111116 memory=130280 CPUtime=0.7 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 4095 0 0 0 66 4 0 0 20 0 1 0 409757866 2161782784 32570 33554432000 4194304 5870510 140735360755632 140735360754936 4461520 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 527779 32570 871 410 0 523252 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2111116 KiB
Current children cumulated memory: 130280 KiB
[startup+1.50045 s]
/proc/loadavg: 2.23 2.11 2.08 3/201 31802
/proc/meminfo: memFree=27233144/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2153520 memory=203500 CPUtime=1.49 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 5258 0 0 0 143 6 0 0 20 0 1 0 409757866 2205204480 50875 33554432000 4194304 5870510 140735360755632 140735360754600 4461466 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 538380 50875 871 410 0 533853 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2153520 KiB
Current children cumulated memory: 203500 KiB
[startup+3.10984 s]
/proc/loadavg: 2.23 2.11 2.08 3/201 31802
/proc/meminfo: memFree=27572624/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2204476 memory=314708 CPUtime=3.1 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 8362 0 0 0 298 12 0 0 20 0 1 0 409757866 2257383424 78677 33554432000 4194304 5870510 140735360755632 140735360754952 4490052 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 551119 78677 871 410 0 546592 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2204476 KiB
Current children cumulated memory: 314708 KiB
[startup+6.30043 s]
/proc/loadavg: 2.22 2.11 2.08 3/200 31802
/proc/meminfo: memFree=27040424/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2237756 memory=718252 CPUtime=6.29 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 10299 0 0 0 606 23 0 0 20 0 1 0 409757866 2291462144 179563 33554432000 4194304 5870510 140735360755632 140735360754936 4509123 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 559439 179563 900 410 0 554912 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2237756 KiB
Current children cumulated memory: 718252 KiB
[startup+12.7003 s]
/proc/loadavg: 2.20 2.10 2.08 3/200 31803
/proc/meminfo: memFree=25898744/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2727956 memory=1016892 CPUtime=12.68 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 20487 0 0 0 1237 31 0 0 20 0 1 0 409757866 2793426944 254223 33554432000 4194304 5870510 140735360755632 140735360754136 5261200 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 681989 254223 978 410 0 677462 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2727956 KiB
Current children cumulated memory: 1016892 KiB
[startup+25.5004 s]
/proc/loadavg: 2.17 2.10 2.08 3/200 31803
/proc/meminfo: memFree=25371864/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2730200 memory=1019236 CPUtime=25.49 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 31737 0 0 0 2517 32 0 0 20 0 1 0 409757866 2795724800 254809 33554432000 4194304 5870510 140735360755632 140735360753960 5261210 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 682550 254809 978 410 0 678023 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2730200 KiB
Current children cumulated memory: 1019236 KiB
[startup+51.1097 s]
/proc/loadavg: 2.10 2.09 2.08 3/200 31805
/proc/meminfo: memFree=25184228/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2735084 memory=1024128 CPUtime=51.09 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 54141 0 0 0 5075 34 0 0 20 0 1 0 409757866 2800726016 256032 33554432000 4194304 5870510 140735360755632 140735360753960 140423863829400 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 683771 256032 978 410 0 679244 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2735084 KiB
Current children cumulated memory: 1024128 KiB
[startup+102.3 s]
/proc/loadavg: 1.93 2.05 2.06 3/200 31810
/proc/meminfo: memFree=24080664/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2819056 memory=1069920 CPUtime=102.27 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 75920 0 0 0 10177 50 0 0 20 0 1 0 409757866 2886713344 267480 33554432000 4194304 5870510 140735360755632 140735360754648 5274704 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 704764 267480 1001 410 0 700237 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2819056 KiB
Current children cumulated memory: 1069920 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 2.04 2.05 3/200 31814
/proc/meminfo: memFree=24601284/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2907584 memory=1149140 CPUtime=162.26 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 122831 0 0 0 16139 87 0 0 20 0 1 0 409757866 2977366016 287285 33554432000 4194304 5870510 140735360755632 140735360753992 5282379 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 726896 287285 1001 410 0 722369 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2907584 KiB
Current children cumulated memory: 1149140 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/200 31818
/proc/meminfo: memFree=25049620/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2785628 memory=1077480 CPUtime=222.25 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 168821 0 0 0 22087 138 0 0 20 0 1 0 409757866 2852483072 269370 33554432000 4194304 5870510 140735360755632 140735360753992 5277536 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 696407 269370 1001 410 0 691880 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2785628 KiB
Current children cumulated memory: 1077480 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 31825
/proc/meminfo: memFree=25163244/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2841120 memory=1114736 CPUtime=282.25 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 243282 0 0 0 28051 174 0 0 20 0 1 0 409757866 2909306880 278684 33554432000 4194304 5870510 140735360755632 140735360753928 5277455 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 710280 278684 1001 410 0 705753 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2841120 KiB
Current children cumulated memory: 1114736 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 31838
/proc/meminfo: memFree=24211376/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2926924 memory=1142736 CPUtime=342.26 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 307601 0 0 0 34013 213 0 0 20 0 1 0 409757866 2997170176 285684 33554432000 4194304 5870510 140735360755632 140735360754648 5298780 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 731731 285684 1001 410 0 727204 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2926924 KiB
Current children cumulated memory: 1142736 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 31842
/proc/meminfo: memFree=23775740/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2932524 memory=1159604 CPUtime=402.25 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 387976 0 0 0 39959 266 0 0 20 0 1 0 409757866 3002904576 289901 33554432000 4194304 5870510 140735360755632 140735360754584 5274516 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 733131 289901 1001 410 0 728604 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2932524 KiB
Current children cumulated memory: 1159604 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 31848
/proc/meminfo: memFree=23963732/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2806476 memory=1089580 CPUtime=462.25 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 449140 0 0 0 45920 305 0 0 20 0 1 0 409757866 2873831424 272395 33554432000 4194304 5870510 140735360755632 140735360754648 5262944 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 701619 272395 1001 410 0 697092 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2806476 KiB
Current children cumulated memory: 1089580 KiB
################
# More data... #
################
/proc/31799/statm: 728001 297828 1001 410 0 723474 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2912004 KiB
Current children cumulated memory: 1191312 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/201 31989
/proc/meminfo: memFree=18949984/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=3128280 memory=1404040 CPUtime=1782.21 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1452212 0 0 0 176953 1268 0 0 20 0 1 0 409757866 3203358720 351010 33554432000 4194304 5870510 140735360755632 140735360753992 140423869592060 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 782070 351010 1001 410 0 777543 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 3128280 KiB
Current children cumulated memory: 1404040 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.07 2.07 3/200 31993
/proc/meminfo: memFree=21777308/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2996976 memory=1247492 CPUtime=1842.22 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1498029 0 0 0 182893 1329 0 0 20 0 1 0 409757866 3068903424 311873 33554432000 4194304 5870510 140735360755632 140735360754648 5262768 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 749244 311873 1001 410 0 744717 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2996976 KiB
Current children cumulated memory: 1247492 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/200 31999
/proc/meminfo: memFree=21110144/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2917240 memory=1214852 CPUtime=1902.21 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1538058 0 0 0 188839 1382 0 0 20 0 1 0 409757866 2987253760 303713 33554432000 4194304 5870510 140735360755632 140735360753928 5277088 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 729310 303713 1001 410 0 724783 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 2917240 KiB
Current children cumulated memory: 1214852 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 32003
/proc/meminfo: memFree=19031456/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=3348072 memory=1438952 CPUtime=1962.21 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1552229 0 0 0 194795 1426 0 0 20 0 1 0 409757866 3428425728 359738 33554432000 4194304 5870510 140735360755632 140735360753992 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 837018 359738 1001 410 0 832491 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 3348072 KiB
Current children cumulated memory: 1438952 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 32007
/proc/meminfo: memFree=22755344/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=3003236 memory=1284132 CPUtime=2022.22 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1595780 0 0 0 200752 1470 0 0 20 0 1 0 409757866 3075313664 321033 33554432000 4194304 5870510 140735360755632 140735360754648 5283135 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 750809 321033 1001 410 0 746282 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 3003236 KiB
Current children cumulated memory: 1284132 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 32013
/proc/meminfo: memFree=22494364/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2872088 memory=1144908 CPUtime=2082.22 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1654051 0 0 0 206707 1515 0 0 20 0 1 0 409757866 2941018112 286227 33554432000 4194304 5870510 140735360755632 140735360754648 140423869520559 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 718022 286227 1001 410 0 713495 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2872088 KiB
Current children cumulated memory: 1144908 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 32022
/proc/meminfo: memFree=21292064/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=3004448 memory=1235276 CPUtime=2142.22 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1695598 0 0 0 212667 1555 0 0 20 0 1 0 409757866 3076554752 308819 33554432000 4194304 5870510 140735360755632 140735360754584 5277513 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 751112 308819 1001 410 0 746585 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 3004448 KiB
Current children cumulated memory: 1235276 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 32026
/proc/meminfo: memFree=19676100/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2875260 memory=1159188 CPUtime=2202.23 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1728515 0 0 0 218630 1593 0 0 20 0 1 0 409757866 2944266240 289797 33554432000 4194304 5870510 140735360755632 140735360753992 5262777 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 718815 289797 1001 410 0 714288 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 2875260 KiB
Current children cumulated memory: 1159188 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 32032
/proc/meminfo: memFree=19344548/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2929640 memory=1193828 CPUtime=2262.22 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1760943 0 0 0 224597 1625 0 0 20 0 1 0 409757866 2999951360 298457 33554432000 4194304 5870510 140735360755632 140735360754584 5278096 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 732410 298457 1001 410 0 727883 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 2929640 KiB
Current children cumulated memory: 1193828 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32036
/proc/meminfo: memFree=19118384/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2962244 memory=1229436 CPUtime=2322.23 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1806444 0 0 0 230560 1663 0 0 20 0 1 0 409757866 3033337856 307359 33554432000 4194304 5870510 140735360755632 140735360753992 5305252 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 740561 307359 1001 410 0 736034 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 2962244 KiB
Current children cumulated memory: 1229436 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32040
/proc/meminfo: memFree=22753736/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2853140 memory=1151880 CPUtime=2382.23 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1839612 0 0 0 236518 1705 0 0 20 0 1 0 409757866 2921615360 287970 33554432000 4194304 5870510 140735360755632 140735360754584 140423863823333 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 713285 287970 1001 410 0 708758 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 2853140 KiB
Current children cumulated memory: 1151880 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32046
/proc/meminfo: memFree=21648648/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2854724 memory=1153472 CPUtime=2442.23 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1895059 0 0 0 242466 1757 0 0 20 0 1 0 409757866 2923237376 288368 33554432000 4194304 5870510 140735360755632 140735360754584 5283106 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 713681 288368 1001 410 0 709154 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 2854724 KiB
Current children cumulated memory: 1153472 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 32050
/proc/meminfo: memFree=20308392/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2888552 memory=1170904 CPUtime=2502.23 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1936168 0 0 0 248437 1786 0 0 20 0 1 0 409757866 2957877248 292726 33554432000 4194304 5870510 140735360755632 140735360754584 5289442 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 722138 292726 1001 410 0 717611 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 2888552 KiB
Current children cumulated memory: 1170904 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.92 2.00 2.04 3/201 32113
/proc/meminfo: memFree=26453820/32770624 swapFree=67004752/67108860
[pid=31799] ppid=31796 vsize=2940292 memory=1206440 CPUtime=2519.94 cores=0,2,4,6
/proc/31799/stat : 31799 (xcsp_picat) R 31796 31799 28785 0 -1 4202496 1939974 0 0 0 250197 1797 0 0 20 0 1 0 409757866 3010859008 301610 33554432000 4194304 5870510 140735360755632 140735360753992 5274736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42692608 140735360762911 140735360762989 140735360762989 140735360765898 0
/proc/31799/statm: 735073 301610 1001 410 0 730546 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 2940292 KiB
Current children cumulated memory: 1206440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 31799 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2501.97 s, system=17.9908 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.96
CPU user time (s): 2501.97
CPU system time (s): 17.9908
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 3559688
Max. memory (cumulated for all children) (KiB): 1593316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.97
system time used= 17.9908
maximum resident set size= 1618856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1939974
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= 54
involuntary context switches= 1820
# summary of solver processes directly reported to runsolver:
# pid: 31799
# total CPU time (s): 2519.96
# total CPU user time (s): 2501.97
# total CPU system time (s): 17.9908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.91149 second user time and 19.3353 second system time
The end