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 (10744 MiB free)
memory of node 1: 16384 MiB (12653 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407799-1569512864/watcher-4407799-1569512864 -o /var/tmp/evaluation-result-4407799-1569512864/solver-4407799-1569512864 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569509600-16691 --watchdog 2560 xcsp_picat HOME/instance-4407799-1569512864.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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=17717, runsolver pid=17714
Current StackSize limit: 8192 KiB
[startup+0.100174 s]*
/proc/loadavg: 1.99 2.03 1.96 3/204 17718
/proc/meminfo: memFree=23933064/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2031716 memory=33996 CPUtime=0.1 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 2043 0 0 0 9 1 0 0 20 0 1 0 527525939 2080477184 8499 33554432000 4194304 5870510 140721304899168 140721304896312 4468944 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 507929 8499 849 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 33996 KiB
[startup+0.210251 s]*
/proc/loadavg: 1.99 2.03 1.96 3/204 17718
/proc/meminfo: memFree=23908488/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2031716 memory=54476 CPUtime=0.21 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 2053 0 0 0 20 1 0 0 20 0 1 0 527525939 2080477184 13619 33554432000 4194304 5870510 140721304899168 140721304896312 4432784 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 507929 13619 849 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 54476 KiB
[startup+0.310114 s]*
/proc/loadavg: 1.99 2.03 1.96 3/204 17718
/proc/meminfo: memFree=23896084/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2043412 memory=68036 CPUtime=0.31 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 4793 0 0 0 29 2 0 0 20 0 1 0 527525939 2092453888 17009 33554432000 4194304 5870510 140721304899168 140721304896312 5478360 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 510853 17009 929 410 0 506326 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2043412 KiB
Current children cumulated memory: 68036 KiB
[startup+0.700333 s]
/proc/loadavg: 2.00 2.03 1.96 3/204 17718
/proc/meminfo: memFree=23889016/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2050724 memory=74652 CPUtime=0.69 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 6758 0 0 0 67 2 0 0 20 0 1 0 527525939 2099941376 18663 33554432000 4194304 5870510 140721304899168 140721304896312 5337395 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 512681 18663 948 410 0 508154 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2050724 KiB
Current children cumulated memory: 74652 KiB
[startup+1.50032 s]
/proc/loadavg: 2.00 2.03 1.96 3/204 17718
/proc/meminfo: memFree=23888528/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2053928 memory=74948 CPUtime=1.49 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 7136 0 0 0 147 2 0 0 20 0 1 0 527525939 2103222272 18737 33554432000 4194304 5870510 140721304899168 140721304898344 5298815 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 513482 18737 975 410 0 508955 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2053928 KiB
Current children cumulated memory: 74948 KiB
[startup+3.11006 s]
/proc/loadavg: 2.00 2.03 1.96 3/204 17718
/proc/meminfo: memFree=23870720/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2072784 memory=94444 CPUtime=3.1 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 13441 0 0 0 307 3 0 0 20 0 1 0 527525939 2122530816 23611 33554432000 4194304 5870510 140721304899168 140721304898120 5282721 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 518196 23611 975 410 0 513669 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2072784 KiB
Current children cumulated memory: 94444 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.03 1.96 3/204 17718
/proc/meminfo: memFree=23860076/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2092452 memory=107392 CPUtime=6.29 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 26374 0 0 0 625 4 0 0 20 0 1 0 527525939 2142670848 26848 33554432000 4194304 5870510 140721304899168 140721304897464 5282759 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 523113 26848 975 410 0 518586 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2092452 KiB
Current children cumulated memory: 107392 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 1.96 3/203 17718
/proc/meminfo: memFree=23845468/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2069856 memory=95328 CPUtime=12.69 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 41627 0 0 0 1261 8 0 0 20 0 1 0 527525939 2119532544 23832 33554432000 4194304 5870510 140721304899168 140721304897608 139972373345263 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 517464 23832 982 410 0 512937 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2069856 KiB
Current children cumulated memory: 95328 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 1.96 3/203 17719
/proc/meminfo: memFree=23842008/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2105228 memory=120580 CPUtime=25.5 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 50836 0 0 0 2540 10 0 0 20 0 1 0 527525939 2155753472 30145 33554432000 4194304 5870510 140721304899168 140721304897608 5308370 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 526307 30145 982 410 0 521780 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2105228 KiB
Current children cumulated memory: 120580 KiB
[startup+51.11 s]
/proc/loadavg: 2.00 2.03 1.96 3/203 17721
/proc/meminfo: memFree=23826856/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2112408 memory=136304 CPUtime=51.1 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 55921 0 0 0 5100 10 0 0 20 0 1 0 527525939 2163105792 34076 33554432000 4194304 5870510 140721304899168 140721304898280 5272433 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 528102 34076 982 410 0 523575 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2112408 KiB
Current children cumulated memory: 136304 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/203 17725
/proc/meminfo: memFree=23806276/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2142760 memory=155276 CPUtime=102.3 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 67930 0 0 0 10218 12 0 0 20 0 1 0 527525939 2194186240 38819 33554432000 4194304 5870510 140721304899168 140721304897608 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 535690 38819 982 410 0 531163 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2142760 KiB
Current children cumulated memory: 155276 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/203 17729
/proc/meminfo: memFree=23793784/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2143172 memory=168536 CPUtime=162.3 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 68267 0 0 0 16218 12 0 0 20 0 1 0 527525939 2194608128 42134 33554432000 4194304 5870510 140721304899168 140721304897736 5283064 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 535793 42134 982 410 0 531266 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2143172 KiB
Current children cumulated memory: 168536 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/204 17742
/proc/meminfo: memFree=23771744/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2173520 memory=188044 CPUtime=222.31 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 74482 0 0 0 22217 14 0 0 20 0 1 0 527525939 2225684480 47011 33554432000 4194304 5870510 140721304899168 140721304897608 5274413 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543380 47011 982 410 0 538853 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2173520 KiB
Current children cumulated memory: 188044 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/204 17748
/proc/meminfo: memFree=23763256/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2173820 memory=196240 CPUtime=282.31 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 74548 0 0 0 28217 14 0 0 20 0 1 0 527525939 2225991680 49060 33554432000 4194304 5870510 140721304899168 140721304897736 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543455 49060 982 410 0 538928 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2173820 KiB
Current children cumulated memory: 196240 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/204 17752
/proc/meminfo: memFree=23760604/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2173820 memory=199164 CPUtime=342.31 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 79782 0 0 0 34217 14 0 0 20 0 1 0 527525939 2225991680 49791 33554432000 4194304 5870510 140721304899168 140721304897736 5282759 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543455 49791 982 410 0 538928 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2173820 KiB
Current children cumulated memory: 199164 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.96 4/205 17758
/proc/meminfo: memFree=23738076/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2173820 memory=199164 CPUtime=402.32 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 80167 0 0 0 40217 15 0 0 20 0 1 0 527525939 2225991680 49791 33554432000 4194304 5870510 140721304899168 140721304897736 5278096 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543455 49791 982 410 0 538928 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2173820 KiB
Current children cumulated memory: 199164 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/204 17762
/proc/meminfo: memFree=23740660/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2173820 memory=199164 CPUtime=462.32 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 80408 0 0 0 46217 15 0 0 20 0 1 0 527525939 2225991680 49791 33554432000 4194304 5870510 140721304899168 140721304897736 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543455 49791 982 410 0 538928 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2173820 KiB
Current children cumulated memory: 199164 KiB
################
# More data... #
################
/proc/17717/statm: 548037 55031 983 410 0 543510 0
Current children cumulated CPU time: 1662.39 s
Current children cumulated vsize: 2192148 KiB
Current children cumulated memory: 220124 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/203 17965
/proc/meminfo: memFree=23790900/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2192148 memory=220124 CPUtime=1722.38 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 118139 0 0 0 172204 34 0 0 20 0 1 0 527525939 2244759552 55031 33554432000 4194304 5870510 140721304899168 140721304898184 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 548037 55031 983 410 0 543510 0
Current children cumulated CPU time: 1722.38 s
Current children cumulated vsize: 2192148 KiB
Current children cumulated memory: 220124 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/202 17969
/proc/meminfo: memFree=23791008/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2192148 memory=220124 CPUtime=1782.39 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 123193 0 0 0 178202 37 0 0 20 0 1 0 527525939 2244759552 55031 33554432000 4194304 5870510 140721304899168 140721304898184 5283079 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 548037 55031 983 410 0 543510 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 2192148 KiB
Current children cumulated memory: 220124 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/202 17973
/proc/meminfo: memFree=23758724/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2241468 memory=252268 CPUtime=1842.4 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 126167 0 0 0 184199 41 0 0 20 0 1 0 527525939 2295263232 63067 33554432000 4194304 5870510 140721304899168 140721304897608 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 560367 63067 983 410 0 555840 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 2241468 KiB
Current children cumulated memory: 252268 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/202 17979
/proc/meminfo: memFree=23870868/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2112064 memory=139528 CPUtime=1902.4 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 129770 0 0 0 190196 44 0 0 20 0 1 0 527525939 2162753536 34882 33554432000 4194304 5870510 140721304899168 140721304897736 5282357 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 528016 34882 983 410 0 523489 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 2112064 KiB
Current children cumulated memory: 139528 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/202 17983
/proc/meminfo: memFree=23821856/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2144196 memory=172136 CPUtime=1962.4 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 131336 0 0 0 196196 44 0 0 20 0 1 0 527525939 2195656704 43034 33554432000 4194304 5870510 140721304899168 140721304897736 5262735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 536049 43034 983 410 0 531522 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 2144196 KiB
Current children cumulated memory: 172136 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/203 17995
/proc/meminfo: memFree=23822496/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2144196 memory=172220 CPUtime=2022.41 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 135795 0 0 0 202196 45 0 0 20 0 1 0 527525939 2195656704 43055 33554432000 4194304 5870510 140721304899168 140721304897736 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 536049 43055 983 410 0 531522 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 2144196 KiB
Current children cumulated memory: 172220 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/203 18001
/proc/meminfo: memFree=23821656/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2144196 memory=172220 CPUtime=2082.41 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 135836 0 0 0 208196 45 0 0 20 0 1 0 527525939 2195656704 43055 33554432000 4194304 5870510 140721304899168 140721304897736 5258758 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 536049 43055 983 410 0 531522 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 2144196 KiB
Current children cumulated memory: 172220 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/203 18005
/proc/meminfo: memFree=23810088/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2174528 memory=184508 CPUtime=2142.42 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 135859 0 0 0 214197 45 0 0 20 0 1 0 527525939 2226716672 46127 33554432000 4194304 5870510 140721304899168 140721304897608 5274812 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543632 46127 983 410 0 539105 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 2174528 KiB
Current children cumulated memory: 184508 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/204 18011
/proc/meminfo: memFree=23809636/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2174528 memory=184508 CPUtime=2202.42 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 135863 0 0 0 220197 45 0 0 20 0 1 0 527525939 2226716672 46127 33554432000 4194304 5870510 140721304899168 140721304897608 5282736 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543632 46127 983 410 0 539105 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 2174528 KiB
Current children cumulated memory: 184508 KiB
[startup+2262.3 s]
/proc/loadavg: 1.93 2.00 1.96 3/203 18015
/proc/meminfo: memFree=23797008/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2175152 memory=196804 CPUtime=2262.43 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 139767 0 0 0 226197 46 0 0 20 0 1 0 527525939 2227355648 49201 33554432000 4194304 5870510 140721304899168 140721304897736 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543788 49201 983 410 0 539261 0
Current children cumulated CPU time: 2262.43 s
Current children cumulated vsize: 2175152 KiB
Current children cumulated memory: 196804 KiB
[startup+2322.3 s]
/proc/loadavg: 1.97 2.00 1.96 3/202 18020
/proc/meminfo: memFree=23795308/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2175152 memory=198724 CPUtime=2322.43 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 141663 0 0 0 232196 47 0 0 20 0 1 0 527525939 2227355648 49681 33554432000 4194304 5870510 140721304899168 140721304897736 5304480 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543788 49681 983 410 0 539261 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 2175152 KiB
Current children cumulated memory: 198724 KiB
[startup+2382.3 s]
/proc/loadavg: 1.99 2.00 1.96 3/203 18026
/proc/meminfo: memFree=23772604/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2175160 memory=202824 CPUtime=2382.43 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 142553 0 0 0 238195 48 0 0 20 0 1 0 527525939 2227363840 50706 33554432000 4194304 5870510 140721304899168 140721304897736 5275252 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543790 50706 983 410 0 539263 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 2175160 KiB
Current children cumulated memory: 202824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 1.99 2.00 1.96 3/202 18026
/proc/meminfo: memFree=23771172/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2175160 memory=202824 CPUtime=2400.03 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 142558 0 0 0 239955 48 0 0 20 0 1 0 527525939 2227363840 50706 33554432000 4194304 5870510 140721304899168 140721304897736 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543790 50706 983 410 0 539263 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 2175160 KiB
Current children cumulated memory: 202824 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 17717 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.56 s, system=0.490033 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 1.99 2.00 1.96 3/202 18026
/proc/meminfo: memFree=23771172/32770624 swapFree=67003180/67108860
[pid=17717] ppid=17714 vsize=2175160 memory=202824 CPUtime=2400.03 cores=1,3,5,7
/proc/17717/stat : 17717 (xcsp_picat) R 17714 17717 16659 0 -1 4202496 142558 0 0 0 239955 48 0 0 20 0 1 0 527525939 2227363840 50706 33554432000 4194304 5870510 140721304899168 140721304897736 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16670720 140721304900615 140721304900697 140721304900697 140721304903622 0
/proc/17717/statm: 543790 50706 983 410 0 539263 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 2175160 KiB
Current children cumulated memory: 202824 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2399.9
CPU time (s): 2400.05
CPU user time (s): 2399.56
CPU system time (s): 0.490033
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2241468
Max. memory (cumulated for all children) (KiB): 254208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.56
system time used= 0.490033
maximum resident set size= 268780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142558
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= 18
involuntary context switches= 2150
# summary of solver processes directly reported to runsolver:
# pid: 17717
# total CPU time (s): 2400.05
# total CPU user time (s): 2399.56
# total CPU system time (s): 0.490033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.03907 second user time and 19.0597 second system time
The end