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 (12470 MiB free)
memory of node 1: 16384 MiB (13041 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407576-1569509644/watcher-4407576-1569509644 -o /tmp/evaluation-result-4407576-1569509644/solver-4407576-1569509644 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569509598-26661 --watchdog 2560 xcsp_picat HOME/instance-4407576-1569509644.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=26751, runsolver pid=26748
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 0.16 0.05 0.06 3/199 26752
/proc/meminfo: memFree=26105816/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=2031716 memory=23508 CPUtime=0.1 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1985 0 0 0 10 0 0 0 20 0 1 0 527231177 2080477184 5877 33554432000 4194304 5870510 140733073651584 140733073648728 4515323 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 507929 5877 846 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23508 KiB
[startup+0.20982 s]*
/proc/loadavg: 0.16 0.05 0.06 3/199 26752
/proc/meminfo: memFree=26093528/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=2031716 memory=33748 CPUtime=0.21 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1990 0 0 0 21 0 0 0 20 0 1 0 527231177 2080477184 8437 33554432000 4194304 5870510 140733073651584 140733073648728 4469019 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 507929 8437 846 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 33748 KiB
[startup+0.30947 s]*
/proc/loadavg: 0.16 0.05 0.06 3/199 26752
/proc/meminfo: memFree=26083288/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=2031716 memory=43988 CPUtime=0.3 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1995 0 0 0 30 0 0 0 20 0 1 0 527231177 2080477184 10997 33554432000 4194304 5870510 140733073651584 140733073648728 4515865 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 507929 10997 846 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 43988 KiB
[startup+0.700377 s]
/proc/loadavg: 0.16 0.05 0.06 3/199 26752
/proc/meminfo: memFree=26062684/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=2031716 memory=83072 CPUtime=0.69 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 2014 0 0 0 68 1 0 0 20 0 1 0 527231177 2080477184 20768 33554432000 4194304 5870510 140733073651584 140733073650888 4459710 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 507929 20768 846 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 83072 KiB
[startup+1.50039 s]
/proc/loadavg: 0.16 0.05 0.06 3/199 26752
/proc/meminfo: memFree=26013312/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=2031716 memory=169168 CPUtime=1.49 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 2118 0 0 0 147 2 0 0 20 0 1 0 527231177 2080477184 42292 33554432000 4194304 5870510 140733073651584 140733073650888 4466490 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 507929 42292 864 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 169168 KiB
[startup+3.10962 s]
/proc/loadavg: 0.31 0.08 0.07 3/199 26752
/proc/meminfo: memFree=25586952/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=2031716 memory=564600 CPUtime=3.1 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 2436 0 0 0 301 9 0 0 20 0 1 0 527231177 2080477184 141150 33554432000 4194304 5870510 140733073651584 140733073650888 4570832 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 507929 141150 893 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 564600 KiB
[startup+6.30033 s]
/proc/loadavg: 0.31 0.08 0.07 4/210 26779
/proc/meminfo: memFree=24890772/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=2031716 memory=1277304 CPUtime=6.29 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 3333 0 0 0 610 19 0 0 20 0 1 0 527231177 2080477184 319326 33554432000 4194304 5870510 140733073651584 140733073650888 4475277 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 507929 319326 893 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 1277304 KiB
[startup+12.7002 s]
/proc/loadavg: 0.45 0.11 0.08 3/199 26813
/proc/meminfo: memFree=23801988/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3546160 memory=2213444 CPUtime=12.68 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 58391 0 0 0 1227 41 0 0 20 0 1 0 527231177 3631267840 553361 33554432000 4194304 5870510 140733073651584 140733073650696 139933902200711 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 886540 553361 961 410 0 882013 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 3546160 KiB
Current children cumulated memory: 2213444 KiB
[startup+25.5004 s]
/proc/loadavg: 0.79 0.20 0.11 3/199 26814
/proc/meminfo: memFree=23796996/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3546464 memory=2215476 CPUtime=25.49 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 77761 0 0 0 2506 43 0 0 20 0 1 0 527231177 3631579136 553869 33554432000 4194304 5870510 140733073651584 140733073650088 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 886616 553869 966 410 0 882089 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3546464 KiB
Current children cumulated memory: 2215476 KiB
[startup+51.1096 s]
/proc/loadavg: 1.20 0.35 0.16 3/198 26816
/proc/meminfo: memFree=23827496/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3525700 memory=2181380 CPUtime=51.09 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 168424 0 0 0 5059 50 0 0 20 0 1 0 527231177 3610316800 545345 33554432000 4194304 5870510 140733073651584 140733073650696 139933907421020 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 881425 545345 993 410 0 876898 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3525700 KiB
Current children cumulated memory: 2181380 KiB
[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 3/199 26822
/proc/meminfo: memFree=23806812/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3525700 memory=2198504 CPUtime=102.26 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 254314 0 0 0 10167 59 0 0 20 0 1 0 527231177 3610316800 549626 33554432000 4194304 5870510 140733073651584 140733073650536 5281849 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 881425 549626 993 410 0 876898 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 3525700 KiB
Current children cumulated memory: 2198504 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 0.87 0.37 3/199 26826
/proc/meminfo: memFree=23783408/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3525700 memory=2199104 CPUtime=162.23 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 362708 0 0 0 16153 70 0 0 20 0 1 0 527231177 3610316800 549776 33554432000 4194304 5870510 140733073651584 140733073650536 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 881425 549776 993 410 0 876898 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 3525700 KiB
Current children cumulated memory: 2199104 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.08 0.47 3/200 26832
/proc/meminfo: memFree=23790992/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3530860 memory=2204272 CPUtime=222.21 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 411966 0 0 0 22142 79 0 0 20 0 1 0 527231177 3615600640 551068 33554432000 4194304 5870510 140733073651584 140733073649944 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 882715 551068 993 410 0 878188 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 3530860 KiB
Current children cumulated memory: 2204272 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.24 0.57 3/199 26837
/proc/meminfo: memFree=23792536/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3535736 memory=2203404 CPUtime=282.2 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 469840 0 0 0 28134 86 0 0 20 0 1 0 527231177 3620593664 550851 33554432000 4194304 5870510 140733073651584 140733073650008 5272628 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 883934 550851 993 410 0 879407 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 3535736 KiB
Current children cumulated memory: 2203404 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.38 0.66 3/199 26841
/proc/meminfo: memFree=23765324/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3542016 memory=2238708 CPUtime=342.19 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 482850 0 0 0 34130 89 0 0 20 0 1 0 527231177 3627024384 559677 33554432000 4194304 5870510 140733073651584 140733073649944 5282617 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 885504 559677 993 410 0 880977 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 3542016 KiB
Current children cumulated memory: 2238708 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 3/200 26854
/proc/meminfo: memFree=23764812/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3546924 memory=2237500 CPUtime=402.18 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 501289 0 0 0 40123 95 0 0 20 0 1 0 527231177 3632050176 559375 33554432000 4194304 5870510 140733073651584 140733073649944 5282555 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 886731 559375 993 410 0 882204 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 3546924 KiB
Current children cumulated memory: 2237500 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 1.60 0.82 3/201 26882
/proc/meminfo: memFree=23783068/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3553308 memory=2240556 CPUtime=462.17 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 522786 0 0 0 46115 102 0 0 20 0 1 0 527231177 3638587392 560139 33554432000 4194304 5870510 140733073651584 140733073649880 139933907420012 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 888327 560139 993 410 0 883800 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 3553308 KiB
Current children cumulated memory: 2240556 KiB
################
# More data... #
################
/proc/26751/statm: 896593 566191 993 410 0 892066 0
Current children cumulated CPU time: 1602.02 s
Current children cumulated vsize: 3586372 KiB
Current children cumulated memory: 2264764 KiB
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 1.71 3/200 26992
/proc/meminfo: memFree=23706900/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3586372 memory=2295484 CPUtime=1662 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1092079 0 0 0 166015 185 0 0 20 0 1 0 527231177 3672444928 573871 33554432000 4194304 5870510 140733073651584 140733073650600 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 896593 573871 993 410 0 892066 0
Current children cumulated CPU time: 1662 s
Current children cumulated vsize: 3586372 KiB
Current children cumulated memory: 2295484 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.73 3/199 26996
/proc/meminfo: memFree=23692284/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3586372 memory=2287964 CPUtime=1722 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1120718 0 0 0 172010 190 0 0 20 0 1 0 527231177 3672444928 571991 33554432000 4194304 5870510 140733073651584 140733073650600 5311573 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 896593 571991 993 410 0 892066 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 3586372 KiB
Current children cumulated memory: 2287964 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.75 3/199 27000
/proc/meminfo: memFree=23706928/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3586372 memory=2272960 CPUtime=1781.99 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1155864 0 0 0 178004 195 0 0 20 0 1 0 527231177 3672444928 568240 33554432000 4194304 5870510 140733073651584 140733073650600 5277056 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 896593 568240 993 410 0 892066 0
Current children cumulated CPU time: 1781.99 s
Current children cumulated vsize: 3586372 KiB
Current children cumulated memory: 2272960 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/200 27006
/proc/meminfo: memFree=23716036/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3586372 memory=2277728 CPUtime=1841.98 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1193979 0 0 0 183995 203 0 0 20 0 1 0 527231177 3672444928 569432 33554432000 4194304 5870510 140733073651584 140733073650600 5262777 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 896593 569432 993 410 0 892066 0
Current children cumulated CPU time: 1841.98 s
Current children cumulated vsize: 3586372 KiB
Current children cumulated memory: 2277728 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/199 27011
/proc/meminfo: memFree=23719364/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3597604 memory=2283200 CPUtime=1901.97 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1231894 0 0 0 189988 209 0 0 20 0 1 0 527231177 3683946496 570800 33554432000 4194304 5870510 140733073651584 140733073650600 5282574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 899401 570800 993 410 0 894874 0
Current children cumulated CPU time: 1901.97 s
Current children cumulated vsize: 3597604 KiB
Current children cumulated memory: 2283200 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/199 27142
/proc/meminfo: memFree=23795752/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3597604 memory=2313920 CPUtime=1961.96 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1264747 0 0 0 195983 213 0 0 20 0 1 0 527231177 3683946496 578480 33554432000 4194304 5870510 140733073651584 140733073650600 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 899401 578480 993 410 0 894874 0
Current children cumulated CPU time: 1961.96 s
Current children cumulated vsize: 3597604 KiB
Current children cumulated memory: 2313920 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/200 27148
/proc/meminfo: memFree=23761812/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3597604 memory=2300260 CPUtime=2021.96 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1301316 0 0 0 201977 219 0 0 20 0 1 0 527231177 3683946496 575065 33554432000 4194304 5870510 140733073651584 140733073650600 5283036 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 899401 575065 993 410 0 894874 0
Current children cumulated CPU time: 2021.96 s
Current children cumulated vsize: 3597604 KiB
Current children cumulated memory: 2300260 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/200 27154
/proc/meminfo: memFree=23763240/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3597604 memory=2287304 CPUtime=2081.94 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1339535 0 0 0 207970 224 0 0 20 0 1 0 527231177 3683946496 571826 33554432000 4194304 5870510 140733073651584 140733073650600 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 899401 571826 993 410 0 894874 0
Current children cumulated CPU time: 2081.94 s
Current children cumulated vsize: 3597604 KiB
Current children cumulated memory: 2287304 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 1.83 3/200 27158
/proc/meminfo: memFree=23722932/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3597604 memory=2318024 CPUtime=2141.94 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1371778 0 0 0 213966 228 0 0 20 0 1 0 527231177 3683946496 579506 33554432000 4194304 5870510 140733073651584 140733073650600 5308364 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 899401 579506 993 410 0 894874 0
Current children cumulated CPU time: 2141.94 s
Current children cumulated vsize: 3597604 KiB
Current children cumulated memory: 2318024 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 1.84 3/201 27171
/proc/meminfo: memFree=23731052/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3597604 memory=2300264 CPUtime=2201.93 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1403756 0 0 0 219959 234 0 0 20 0 1 0 527231177 3683946496 575066 33554432000 4194304 5870510 140733073651584 140733073650600 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 899401 575066 993 410 0 894874 0
Current children cumulated CPU time: 2201.93 s
Current children cumulated vsize: 3597604 KiB
Current children cumulated memory: 2300264 KiB
[startup+2262.3 s]
/proc/loadavg: 2.07 2.03 1.86 3/200 27175
/proc/meminfo: memFree=23737708/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3597604 memory=2289352 CPUtime=2261.92 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1444087 0 0 0 225953 239 0 0 20 0 1 0 527231177 3683946496 572338 33554432000 4194304 5870510 140733073651584 140733073650600 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 899401 572338 993 410 0 894874 0
Current children cumulated CPU time: 2261.92 s
Current children cumulated vsize: 3597604 KiB
Current children cumulated memory: 2289352 KiB
[startup+2322.3 s]
/proc/loadavg: 2.16 2.07 1.88 3/200 27179
/proc/meminfo: memFree=23745328/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3597604 memory=2283880 CPUtime=2321.92 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1484315 0 0 0 231947 245 0 0 20 0 1 0 527231177 3683946496 570970 33554432000 4194304 5870510 140733073651584 140733073650600 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 899401 570970 993 410 0 894874 0
Current children cumulated CPU time: 2321.92 s
Current children cumulated vsize: 3597604 KiB
Current children cumulated memory: 2283880 KiB
[startup+2382.3 s]
/proc/loadavg: 2.15 2.09 1.90 3/200 27185
/proc/meminfo: memFree=23711508/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3597604 memory=2316648 CPUtime=2381.91 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1518811 0 0 0 237943 248 0 0 20 0 1 0 527231177 3683946496 579162 33554432000 4194304 5870510 140733073651584 140733073650600 5274868 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 899401 579162 993 410 0 894874 0
Current children cumulated CPU time: 2381.91 s
Current children cumulated vsize: 3597604 KiB
Current children cumulated memory: 2316648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.18 2.10 1.91 3/199 27185
/proc/meminfo: memFree=23727244/32770624 swapFree=66975648/67108860
[pid=26751] ppid=26748 vsize=3597604 memory=2289352 CPUtime=2400.01 cores=1,3,5,7
/proc/26751/stat : 26751 (xcsp_picat) R 26748 26751 26629 0 -1 4202496 1525749 0 0 0 239750 251 0 0 20 0 1 0 527231177 3683946496 572338 33554432000 4194304 5870510 140733073651584 140733073650600 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 20615168 140733073654815 140733073654893 140733073654893 140733073657802 0
/proc/26751/statm: 899401 572338 993 410 0 894874 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 3597604 KiB
Current children cumulated memory: 2289352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.41 s]
# the end of solver process 26751 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.51 s, system=2.52466 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): 2400.41
CPU time (s): 2400.03
CPU user time (s): 2397.51
CPU system time (s): 2.52466
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 3809220
Max. memory (cumulated for all children) (KiB): 2474340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.51
system time used= 2.52466
maximum resident set size= 2474340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1525749
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= 2656
# summary of solver processes directly reported to runsolver:
# pid: 26751
# total CPU time (s): 2400.03
# total CPU user time (s): 2397.51
# total CPU system time (s): 2.52466
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52774 second user time and 20.2659 second system time
The end