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 (15373 MiB free)
memory of node 1: 16384 MiB (15523 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395107-1568324078/watcher-4395107-1568324078 -o /tmp/evaluation-result-4395107-1568324078/solver-4395107-1568324078 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580 xcsp_picat HOME/instance-4395107-1568324078.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=16699, runsolver pid=16696
[startup+0.10011 s]*
/proc/loadavg: 2.12 2.08 2.05 3/199 16700
/proc/meminfo: memFree=31625092/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=2031716 memory=16500 CPUtime=0.1 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 1229 0 0 0 10 0 0 0 20 0 1 0 408659256 2080477184 4125 33554432000 4194304 5870510 140723717342352 140723717339496 4643281 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 507929 4125 860 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 16500 KiB
[startup+0.209748 s]*
/proc/loadavg: 2.12 2.08 2.05 3/199 16700
/proc/meminfo: memFree=31624840/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=2031716 memory=16500 CPUtime=0.21 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 1229 0 0 0 21 0 0 0 20 0 1 0 408659256 2080477184 4125 33554432000 4194304 5870510 140723717342352 140723717341720 4643281 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 507929 4125 860 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 16500 KiB
[startup+0.309054 s]*
/proc/loadavg: 2.12 2.08 2.05 3/199 16700
/proc/meminfo: memFree=31624840/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=2031716 memory=16500 CPUtime=0.31 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 1229 0 0 0 31 0 0 0 20 0 1 0 408659256 2080477184 4125 33554432000 4194304 5870510 140723717342352 140723717341720 4643264 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 507929 4125 860 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 16500 KiB
[startup+0.700319 s]
/proc/loadavg: 2.12 2.08 2.05 3/199 16700
/proc/meminfo: memFree=31624840/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=2031716 memory=51316 CPUtime=0.69 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 1271 0 0 0 69 0 0 0 20 0 1 0 408659256 2080477184 12829 33554432000 4194304 5870510 140723717342352 140723717341720 4534926 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 507929 12829 860 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 51316 KiB
[startup+1.50032 s]
/proc/loadavg: 2.12 2.08 2.05 3/199 16700
/proc/meminfo: memFree=31530820/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=2154144 memory=186612 CPUtime=1.49 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2677 0 0 0 145 4 0 0 20 0 1 0 408659256 2205843456 46653 33554432000 4194304 5870510 140723717342352 140723717341720 5245425 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 538536 46653 885 410 0 534009 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 186612 KiB
[startup+3.1095 s]
/proc/loadavg: 2.12 2.08 2.05 3/199 16700
/proc/meminfo: memFree=31100396/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=2463472 memory=545960 CPUtime=3.09 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 24127 0 0 0 296 13 0 0 20 0 1 0 408659256 2522595328 136490 33554432000 4194304 5870510 140723717342352 140723717341320 4459612 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 615868 136490 897 410 0 611341 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2463472 KiB
Current children cumulated memory: 545960 KiB
[startup+6.30029 s]
/proc/loadavg: 2.11 2.08 2.05 3/199 16700
/proc/meminfo: memFree=30822924/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=2826664 memory=838936 CPUtime=6.29 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 56774 0 0 0 605 24 0 0 20 0 1 0 408659256 2894503936 209734 33554432000 4194304 5870510 140723717342352 140723717341544 4467361 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 706666 209734 950 410 0 702139 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2826664 KiB
Current children cumulated memory: 838936 KiB
[startup+12.7003 s]
/proc/loadavg: 2.10 2.08 2.05 3/199 16700
/proc/meminfo: memFree=30451740/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=3203036 memory=1187840 CPUtime=12.69 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 184423 0 0 0 1229 40 0 0 20 0 1 0 408659256 3279908864 296960 33554432000 4194304 5870510 140723717342352 140723717340856 5337589 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 800759 296960 955 410 0 796232 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3203036 KiB
Current children cumulated memory: 1187840 KiB
[startup+25.5003 s]
/proc/loadavg: 2.08 2.07 2.05 3/199 16700
/proc/meminfo: memFree=30451796/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=3203036 memory=1187848 CPUtime=25.48 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 228993 0 0 0 2507 41 0 0 20 0 1 0 408659256 3279908864 296962 33554432000 4194304 5870510 140723717342352 140723717340856 5337257 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 800759 296962 957 410 0 796232 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 3203036 KiB
Current children cumulated memory: 1187848 KiB
[startup+51.1096 s]
/proc/loadavg: 2.05 2.07 2.05 3/199 16703
/proc/meminfo: memFree=30534460/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1091744 CPUtime=51.09 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 386050 0 0 0 5054 55 0 0 20 0 1 0 408659256 3217137664 272936 33554432000 4194304 5870510 140723717342352 140723717341608 5282376 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 272936 980 410 0 780907 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1091744 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/199 16706
/proc/meminfo: memFree=30512036/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1110184 CPUtime=102.28 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 449762 0 0 0 10168 60 0 0 20 0 1 0 408659256 3217137664 277546 33554432000 4194304 5870510 140723717342352 140723717341464 139897462625165 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 277546 982 410 0 780907 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1110184 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/200 16711
/proc/meminfo: memFree=30255928/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=3356660 memory=1368232 CPUtime=162.28 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 508049 0 0 0 16160 68 0 0 20 0 1 0 408659256 3437219840 342058 33554432000 4194304 5870510 140723717342352 140723717341304 5262797 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 839165 342058 982 410 0 834638 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 3356660 KiB
Current children cumulated memory: 1368232 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 16717
/proc/meminfo: memFree=30308080/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=3356660 memory=1324920 CPUtime=222.29 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 581776 0 0 0 22145 84 0 0 20 0 1 0 408659256 3437219840 331230 33554432000 4194304 5870510 140723717342352 140723717341368 139897462604740 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 839165 331230 982 410 0 834638 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 3356660 KiB
Current children cumulated memory: 1324920 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 16721
/proc/meminfo: memFree=30475872/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1151864 CPUtime=282.3 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 644086 0 0 0 28137 93 0 0 20 0 1 0 408659256 3217137664 287966 33554432000 4194304 5870510 140723717342352 140723717341368 5282292 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 287966 982 410 0 780907 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1151864 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 16725
/proc/meminfo: memFree=30501176/32770624 swapFree=66993512/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1106620 CPUtime=342.3 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 719902 0 0 0 34128 102 0 0 20 0 1 0 408659256 3217137664 276655 33554432000 4194304 5870510 140723717342352 140723717341368 5288830 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 276655 982 410 0 780907 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1106620 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 16738
/proc/meminfo: memFree=30431428/32770624 swapFree=66993524/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1174204 CPUtime=402.31 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 777059 0 0 0 40124 107 0 0 20 0 1 0 408659256 3217137664 293551 33554432000 4194304 5870510 140723717342352 140723717341368 139897462622772 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 293551 982 410 0 780907 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1174204 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 16742
/proc/meminfo: memFree=30494352/32770624 swapFree=66993524/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1108480 CPUtime=462.31 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 853262 0 0 0 46115 116 0 0 20 0 1 0 408659256 3217137664 277120 33554432000 4194304 5870510 140723717342352 140723717341368 5281854 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 277120 982 410 0 780907 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1108480 KiB
################
# More data... #
################
/proc/16699/statm: 785434 283050 982 410 0 780907 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1132200 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 16907
/proc/meminfo: memFree=30298860/32770624 swapFree=66993588/67108860
[pid=16699] ppid=16696 vsize=3356660 memory=1228480 CPUtime=1842.38 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2212885 0 0 0 183926 312 0 0 20 0 1 0 408659256 3437219840 307120 33554432000 4194304 5870510 140723717342352 140723717341304 5282403 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 839165 307120 982 410 0 834638 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 3356660 KiB
Current children cumulated memory: 1228480 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16911
/proc/meminfo: memFree=30344428/32770624 swapFree=66993588/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1175404 CPUtime=1902.39 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2217069 0 0 0 189920 319 0 0 20 0 1 0 408659256 3217137664 293851 33554432000 4194304 5870510 140723717342352 140723717341368 5281707 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 293851 982 410 0 780907 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1175404 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16915
/proc/meminfo: memFree=30361292/32770624 swapFree=66993588/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1140400 CPUtime=1962.39 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2218459 0 0 0 195916 323 0 0 20 0 1 0 408659256 3217137664 285100 33554432000 4194304 5870510 140723717342352 140723717341368 5281707 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 285100 982 410 0 780907 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1140400 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16921
/proc/meminfo: memFree=30287692/32770624 swapFree=66993588/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1214128 CPUtime=2022.4 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2219483 0 0 0 201915 325 0 0 20 0 1 0 408659256 3217137664 303532 33554432000 4194304 5870510 140723717342352 140723717341368 5258491 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 303532 982 410 0 780907 0
Current children cumulated CPU time: 2022.4 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1214128 KiB
[startup+2082.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/199 16926
/proc/meminfo: memFree=30357856/32770624 swapFree=66993592/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1144308 CPUtime=2082.4 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2221477 0 0 0 207910 330 0 0 20 0 1 0 408659256 3217137664 286077 33554432000 4194304 5870510 140723717342352 140723717341368 5282295 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 286077 982 410 0 780907 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1144308 KiB
[startup+2142.3 s]
/proc/loadavg: 2.24 2.14 2.09 3/199 16991
/proc/meminfo: memFree=29022432/32770624 swapFree=66993592/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1191412 CPUtime=2142.41 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2222395 0 0 0 213910 331 0 0 20 0 1 0 408659256 3217137664 297853 33554432000 4194304 5870510 140723717342352 140723717341368 5262964 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 297853 982 410 0 780907 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1191412 KiB
[startup+2202.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/200 17006
/proc/meminfo: memFree=29024520/32770624 swapFree=66993612/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1150828 CPUtime=2202.42 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2223921 0 0 0 219907 335 0 0 20 0 1 0 408659256 3217137664 287707 33554432000 4194304 5870510 140723717342352 140723717341368 139897462623007 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 287707 982 410 0 780907 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1150828 KiB
[startup+2262.3 s]
/proc/loadavg: 2.11 2.11 2.08 3/201 17011
/proc/meminfo: memFree=29044744/32770624 swapFree=66993612/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1130160 CPUtime=2262.43 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2225384 0 0 0 225903 340 0 0 20 0 1 0 408659256 3217137664 282540 33554432000 4194304 5870510 140723717342352 140723717341368 5282617 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 282540 982 410 0 780907 0
Current children cumulated CPU time: 2262.43 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1130160 KiB
[startup+2322.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/201 17015
/proc/meminfo: memFree=28978316/32770624 swapFree=66993612/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1158832 CPUtime=2322.43 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2226327 0 0 0 231903 340 0 0 20 0 1 0 408659256 3217137664 289708 33554432000 4194304 5870510 140723717342352 140723717341368 5282345 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 289708 982 410 0 780907 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1158832 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/201 17021
/proc/meminfo: memFree=28946572/32770624 swapFree=66993612/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1187504 CPUtime=2382.43 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2227300 0 0 0 237903 340 0 0 20 0 1 0 408659256 3217137664 296876 33554432000 4194304 5870510 140723717342352 140723717341368 5308227 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 296876 982 410 0 780907 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1187504 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.06 2.07 3/201 17025
/proc/meminfo: memFree=28974092/32770624 swapFree=66993612/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1159020 CPUtime=2442.43 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2228888 0 0 0 243898 345 0 0 20 0 1 0 408659256 3217137664 289755 33554432000 4194304 5870510 140723717342352 140723717341368 5262793 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 289755 982 410 0 780907 0
Current children cumulated CPU time: 2442.43 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1159020 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 17029
/proc/meminfo: memFree=28932496/32770624 swapFree=66993612/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1199980 CPUtime=2502.44 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2229906 0 0 0 249898 346 0 0 20 0 1 0 408659256 3217137664 299995 33554432000 4194304 5870510 140723717342352 140723717341368 139897462622776 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 299995 982 410 0 780907 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1199980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 17032
/proc/meminfo: memFree=28926196/32770624 swapFree=66993612/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1206124 CPUtime=2520.04 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2230521 0 0 0 251658 346 0 0 20 0 1 0 408659256 3217137664 301531 33554432000 4194304 5870510 140723717342352 140723717341368 5288823 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 301531 982 410 0 780907 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1206124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 16699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.59 s, system=3.46928 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 17032
/proc/meminfo: memFree=28926196/32770624 swapFree=66993612/67108860
[pid=16699] ppid=16696 vsize=3141736 memory=1206124 CPUtime=2520.04 cores=0,2,4,6
/proc/16699/stat : 16699 (xcsp_picat) R 16696 16699 15976 0 -1 4202496 2230521 0 0 0 251658 346 0 0 20 0 1 0 408659256 3217137664 301531 33554432000 4194304 5870510 140723717342352 140723717341368 5288823 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18452480 140723717346335 140723717346413 140723717346413 140723717349322 0
/proc/16699/statm: 785434 301531 982 410 0 780907 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 3141736 KiB
Current children cumulated memory: 1206124 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.06
CPU user time (s): 2516.59
CPU system time (s): 3.46928
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 4264708
Max. memory (cumulated for all children) (KiB): 2078428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.59
system time used= 3.46928
maximum resident set size= 2078428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2230521
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= 99
involuntary context switches= 1613
# summary of solver processes directly reported to runsolver:
# pid: 16699
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.59
# total CPU system time (s): 3.46928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.98168 second user time and 18.8244 second system time
The end