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 (13170 MiB free)
memory of node 1: 16384 MiB (11490 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407538-1569509641/watcher-4407538-1569509641 -o /tmp/evaluation-result-4407538-1569509641/solver-4407538-1569509641 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569509779-15648 --watchdog 2560 xcsp_picat HOME/instance-4407538-1569509641.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
Current StackSize limit: 8192 KiB
solver pid=15675, runsolver pid=15669
[startup+0.100241 s]*
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=25214388/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2031716 memory=22184 CPUtime=0.09 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 1634 0 0 0 9 0 0 0 20 0 1 0 527235433 2080477184 5546 33554432000 4194304 5870510 140733460350896 140733460348040 139955188952064 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 507929 5546 839 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22184 KiB
[startup+0.209877 s]*
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=25186412/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2050764 memory=43960 CPUtime=0.2 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 5847 0 0 0 19 1 0 0 20 0 1 0 527235433 2099982336 10990 33554432000 4194304 5870510 140733460350896 140733460348040 5287596 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 512691 10990 886 410 0 508164 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2050764 KiB
Current children cumulated memory: 43960 KiB
[startup+0.309745 s]*
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=25150688/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2085692 memory=75220 CPUtime=0.29 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 13419 0 0 0 28 1 0 0 20 0 1 0 527235433 2135748608 18805 33554432000 4194304 5870510 140733460350896 140733460348040 5316963 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 521423 18805 886 410 0 516896 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2085692 KiB
Current children cumulated memory: 75220 KiB
[startup+0.700459 s]
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=25110376/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2109232 memory=101340 CPUtime=0.68 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 19076 0 0 0 66 2 0 0 20 0 1 0 527235433 2159853568 25335 33554432000 4194304 5870510 140733460350896 140733460349448 139955188511247 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 527308 25335 896 410 0 522781 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2109232 KiB
Current children cumulated memory: 101340 KiB
[startup+1.50047 s]
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=24954724/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2119012 memory=109436 CPUtime=1.48 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 21531 0 0 0 145 3 0 0 20 0 1 0 527235433 2169868288 27359 33554432000 4194304 5870510 140733460350896 140733460349448 5287129 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 529753 27359 897 410 0 525226 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2119012 KiB
Current children cumulated memory: 109436 KiB
[startup+3.1096 s]
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=24695364/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2208872 memory=184912 CPUtime=3.09 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 44901 0 0 0 304 5 0 0 20 0 1 0 527235433 2261884928 46228 33554432000 4194304 5870510 140733460350896 140733460349048 5257418 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 552218 46228 897 410 0 547691 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2208872 KiB
Current children cumulated memory: 184912 KiB
[startup+6.30046 s]
/proc/loadavg: 0.24 0.06 0.06 4/197 15678
/proc/meminfo: memFree=24635584/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2113608 memory=102424 CPUtime=6.28 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 66245 0 0 0 619 9 0 0 20 0 1 0 527235433 2164334592 25606 33554432000 4194304 5870510 140733460350896 140733460349704 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 528402 25606 926 410 0 523875 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2113608 KiB
Current children cumulated memory: 102424 KiB
[startup+12.7005 s]
/proc/loadavg: 0.30 0.08 0.07 4/197 15678
/proc/meminfo: memFree=24530416/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2198936 memory=188580 CPUtime=12.68 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 77596 0 0 0 1257 11 0 0 20 0 1 0 527235433 2251710464 47145 33554432000 4194304 5870510 140733460350896 140733460349704 5281810 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 549734 47145 928 410 0 545207 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2198936 KiB
Current children cumulated memory: 188580 KiB
[startup+25.5005 s]
/proc/loadavg: 0.67 0.17 0.10 4/197 15678
/proc/meminfo: memFree=24561372/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2168588 memory=162468 CPUtime=25.48 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 87801 0 0 0 2532 16 0 0 20 0 1 0 527235433 2220634112 40617 33554432000 4194304 5870510 140733460350896 140733460349336 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 542147 40617 928 410 0 537620 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2168588 KiB
Current children cumulated memory: 162468 KiB
[startup+51.1096 s]
/proc/loadavg: 1.13 0.32 0.15 4/198 15682
/proc/meminfo: memFree=24464468/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2267228 memory=227320 CPUtime=51.09 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 108267 0 0 0 5081 28 0 0 20 0 1 0 527235433 2321641472 56830 33554432000 4194304 5870510 140733460350896 140733460349912 5305072 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 566807 56830 928 410 0 562280 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2267228 KiB
Current children cumulated memory: 227320 KiB
[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.24 4/198 15688
/proc/meminfo: memFree=24491692/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2217908 memory=205332 CPUtime=102.26 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 124575 0 0 0 10171 55 0 0 20 0 1 0 527235433 2271137792 51333 33554432000 4194304 5870510 140733460350896 140733460349912 5274721 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 554477 51333 928 410 0 549950 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2217908 KiB
Current children cumulated memory: 205332 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.84 0.35 5/198 15692
/proc/meminfo: memFree=24524904/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2217908 memory=201404 CPUtime=162.26 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 139320 0 0 0 16134 92 0 0 20 0 1 0 527235433 2271137792 50351 33554432000 4194304 5870510 140733460350896 140733460349912 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 554477 50351 928 410 0 549950 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2217908 KiB
Current children cumulated memory: 201404 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.46 4/200 15707
/proc/meminfo: memFree=24505084/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2217908 memory=201844 CPUtime=222.25 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 151803 0 0 0 22100 125 0 0 20 0 1 0 527235433 2271137792 50461 33554432000 4194304 5870510 140733460350896 140733460349336 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 554477 50461 928 410 0 549950 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2217908 KiB
Current children cumulated memory: 201844 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 1.24 0.56 4/201 15734
/proc/meminfo: memFree=24535964/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2168588 memory=168204 CPUtime=282.25 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 165329 0 0 0 28063 162 0 0 20 0 1 0 527235433 2220634112 42051 33554432000 4194304 5870510 140733460350896 140733460349912 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 542147 42051 928 410 0 537620 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2168588 KiB
Current children cumulated memory: 168204 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 1.38 0.65 4/201 15738
/proc/meminfo: memFree=24516264/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2217908 memory=210036 CPUtime=342.24 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 177025 0 0 0 34030 194 0 0 20 0 1 0 527235433 2271137792 52509 33554432000 4194304 5870510 140733460350896 140733460349912 139955194213293 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 554477 52509 928 410 0 549950 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2217908 KiB
Current children cumulated memory: 210036 KiB
[startup+402.3 s]
/proc/loadavg: 3.06 1.76 0.82 5/200 15744
/proc/meminfo: memFree=24523740/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2217908 memory=201496 CPUtime=402.24 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 189266 0 0 0 39994 230 0 0 20 0 1 0 527235433 2271137792 50374 33554432000 4194304 5870510 140733460350896 140733460349912 5283126 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 554477 50374 928 410 0 549950 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2217908 KiB
Current children cumulated memory: 201496 KiB
[startup+462.3 s]
/proc/loadavg: 2.55 1.87 0.92 4/200 15748
/proc/meminfo: memFree=24482348/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2297872 memory=276200 CPUtime=462.23 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 202876 0 0 0 45956 267 0 0 20 0 1 0 527235433 2353020928 69050 33554432000 4194304 5870510 140733460350896 140733460349912 5305258 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 574468 69050 928 410 0 569941 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2297872 KiB
Current children cumulated memory: 276200 KiB
################
# More data... #
################
/proc/15675/statm: 571489 68497 928 410 0 566962 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 2285956 KiB
Current children cumulated memory: 273988 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.70 4/199 15858
/proc/meminfo: memFree=24390376/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2285956 memory=275868 CPUtime=1662.16 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 438687 0 0 0 165337 879 0 0 20 0 1 0 527235433 2340818944 68967 33554432000 4194304 5870510 140733460350896 140733460349912 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 571489 68967 928 410 0 566962 0
Current children cumulated CPU time: 1662.16 s
Current children cumulated vsize: 2285956 KiB
Current children cumulated memory: 275868 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.72 4/198 15863
/proc/meminfo: memFree=24401036/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2285956 memory=273640 CPUtime=1722.16 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 454013 0 0 0 171293 923 0 0 20 0 1 0 527235433 2340818944 68410 33554432000 4194304 5870510 140733460350896 140733460349336 5274812 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 571489 68410 928 410 0 566962 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 2285956 KiB
Current children cumulated memory: 273640 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.74 4/197 15869
/proc/meminfo: memFree=24441728/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2236636 memory=236252 CPUtime=1782.15 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 460919 0 0 0 177277 938 0 0 20 0 1 0 527235433 2290315264 59063 33554432000 4194304 5870510 140733460350896 140733460349336 5276783 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 559159 59063 928 410 0 554632 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 2236636 KiB
Current children cumulated memory: 236252 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.76 4/197 15875
/proc/meminfo: memFree=24423476/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2285956 memory=269544 CPUtime=1842.15 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 467600 0 0 0 183260 955 0 0 20 0 1 0 527235433 2340818944 67386 33554432000 4194304 5870510 140733460350896 140733460349912 5283102 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 571489 67386 928 410 0 566962 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 2285956 KiB
Current children cumulated memory: 269544 KiB
[startup+1902.3 s]
/proc/loadavg: 2.09 2.02 1.78 4/197 15880
/proc/meminfo: memFree=24372112/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2298900 memory=288812 CPUtime=1902.14 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 477458 0 0 0 189237 977 0 0 20 0 1 0 527235433 2354073600 72203 33554432000 4194304 5870510 140733460350896 140733460349912 5262770 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 574725 72203 928 410 0 570198 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 2298900 KiB
Current children cumulated memory: 288812 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.01 1.79 4/197 15884
/proc/meminfo: memFree=24401992/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2298900 memory=290860 CPUtime=1962.14 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 493269 0 0 0 195195 1019 0 0 20 0 1 0 527235433 2354073600 72715 33554432000 4194304 5870510 140733460350896 140733460349464 5278092 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 574725 72715 928 410 0 570198 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 2298900 KiB
Current children cumulated memory: 290860 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.01 1.80 4/197 15897
/proc/meminfo: memFree=24434956/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2249580 memory=249196 CPUtime=2022.14 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 500434 0 0 0 201170 1044 0 0 20 0 1 0 527235433 2303569920 62299 33554432000 4194304 5870510 140733460350896 140733460349912 5274503 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 562395 62299 928 410 0 557868 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 2249580 KiB
Current children cumulated memory: 249196 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.82 4/198 15902
/proc/meminfo: memFree=24428560/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2249580 memory=249196 CPUtime=2082.14 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 508931 0 0 0 207148 1066 0 0 20 0 1 0 527235433 2303569920 62299 33554432000 4194304 5870510 140733460350896 140733460349912 5276256 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 562395 62299 928 410 0 557868 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 2249580 KiB
Current children cumulated memory: 249196 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.83 4/198 15906
/proc/meminfo: memFree=24373996/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2298900 memory=288724 CPUtime=2142.13 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 518267 0 0 0 213124 1089 0 0 20 0 1 0 527235433 2354073600 72181 33554432000 4194304 5870510 140733460350896 140733460349912 5262735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 574725 72181 928 410 0 570198 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 2298900 KiB
Current children cumulated memory: 288724 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.84 4/198 15912
/proc/meminfo: memFree=24402984/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2249580 memory=249196 CPUtime=2202.13 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 525117 0 0 0 219103 1110 0 0 20 0 1 0 527235433 2303569920 62299 33554432000 4194304 5870510 140733460350896 140733460349912 5283048 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 562395 62299 928 410 0 557868 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 2249580 KiB
Current children cumulated memory: 249196 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.85 4/198 15916
/proc/meminfo: memFree=24385780/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2275528 memory=275144 CPUtime=2262.13 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 528505 0 0 0 225101 1112 0 0 20 0 1 0 527235433 2330140672 68786 33554432000 4194304 5870510 140733460350896 140733460349464 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 568882 68786 928 410 0 564355 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 2275528 KiB
Current children cumulated memory: 275144 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 4/198 15920
/proc/meminfo: memFree=24399392/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2275528 memory=275144 CPUtime=2322.13 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 528613 0 0 0 231101 1112 0 0 20 0 1 0 527235433 2330140672 68786 33554432000 4194304 5870510 140733460350896 140733460349464 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 568882 68786 928 410 0 564355 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 2275528 KiB
Current children cumulated memory: 275144 KiB
[startup+2382.3 s]
/proc/loadavg: 2.13 2.04 1.88 4/197 15926
/proc/meminfo: memFree=24341184/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2325072 memory=308644 CPUtime=2382.12 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 534928 0 0 0 237087 1125 0 0 20 0 1 0 527235433 2380873728 77161 33554432000 4194304 5870510 140733460350896 140733460349912 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 581268 77161 928 410 0 576741 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 2325072 KiB
Current children cumulated memory: 308644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.10 2.04 1.88 5/197 15927
/proc/meminfo: memFree=24340004/32770624 swapFree=66941828/67108860
[pid=15675] ppid=15669 vsize=2325072 memory=312756 CPUtime=2400.02 cores=1,3,5,7
/proc/15675/stat : 15675 (xcsp_picat) R 15669 15675 15616 0 -1 4202496 536333 0 0 0 238872 1130 0 0 20 0 1 0 527235433 2380873728 78189 33554432000 4194304 5870510 140733460350896 140733460349336 5258656 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 15339520 140733460354079 140733460354157 140733460354157 140733460357066 0
/proc/15675/statm: 581268 78189 928 410 0 576741 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 2325072 KiB
Current children cumulated memory: 312756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 15675 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2388.72 s, system=11.3093 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.2
CPU time (s): 2400.03
CPU user time (s): 2388.72
CPU system time (s): 11.3093
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 2379040
Max. memory (cumulated for all children) (KiB): 338936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.72
system time used= 11.3093
maximum resident set size= 338936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536333
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= 27
involuntary context switches= 2723
# summary of solver processes directly reported to runsolver:
# pid: 15675
# total CPU time (s): 2400.03
# total CPU user time (s): 2388.72
# total CPU system time (s): 11.3093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5079 second user time and 15.5701 second system time
The end