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 (11541 MiB free)
memory of node 1: 16384 MiB (12589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407551-1569509641/watcher-4407551-1569509641 -o /var/tmp/evaluation-result-4407551-1569509641/solver-4407551-1569509641 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1569509600-16879 --watchdog 2560 xcsp_picat HOME/instance-4407551-1569509641.xml
running on 4 cores: 0,2,4,6
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=16909, runsolver pid=16902
[startup+0.100199 s]*
/proc/loadavg: 0.00 0.01 0.05 4/200 16910
/proc/meminfo: memFree=24673092/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2045860 memory=30580 CPUtime=0.08 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 4498 0 0 0 8 0 0 0 20 0 1 0 526904218 2094960640 7645 33554432000 4194304 5870510 140731477990208 140731477987352 139649965215623 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 511465 7645 927 410 0 506938 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2045860 KiB
Current children cumulated memory: 30580 KiB
[startup+0.209758 s]*
/proc/loadavg: 0.00 0.01 0.05 4/200 16910
/proc/meminfo: memFree=24634680/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2053880 memory=39424 CPUtime=0.19 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 6560 0 0 0 18 1 0 0 20 0 1 0 526904218 2103173120 9856 33554432000 4194304 5870510 140731477990208 140731477987352 139649965215623 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 513470 9856 927 410 0 508943 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2053880 KiB
Current children cumulated memory: 39424 KiB
[startup+0.309784 s]*
/proc/loadavg: 0.00 0.01 0.05 4/200 16910
/proc/meminfo: memFree=24592924/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2053880 memory=39424 CPUtime=0.29 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 6593 0 0 0 28 1 0 0 20 0 1 0 526904218 2103173120 9856 33554432000 4194304 5870510 140731477990208 140731477987352 5343883 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 513470 9856 927 410 0 508943 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2053880 KiB
Current children cumulated memory: 39424 KiB
[startup+0.700402 s]
/proc/loadavg: 0.00 0.01 0.05 5/200 16910
/proc/meminfo: memFree=24537892/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2052284 memory=36992 CPUtime=0.67 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 7108 0 0 0 66 1 0 0 20 0 1 0 526904218 2101538816 9248 33554432000 4194304 5870510 140731477990208 140731477989464 5262464 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 513071 9248 937 410 0 508544 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2052284 KiB
Current children cumulated memory: 36992 KiB
[startup+1.5004 s]
/proc/loadavg: 0.00 0.01 0.05 4/200 16910
/proc/meminfo: memFree=24463040/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2052284 memory=38024 CPUtime=1.47 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 7405 0 0 0 146 1 0 0 20 0 1 0 526904218 2101538816 9506 33554432000 4194304 5870510 140731477990208 140731477989464 5258623 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 513071 9506 958 410 0 508544 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2052284 KiB
Current children cumulated memory: 38024 KiB
[startup+3.1097 s]
/proc/loadavg: 0.16 0.05 0.06 4/200 16910
/proc/meminfo: memFree=24344488/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2064544 memory=48096 CPUtime=3.08 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 11907 0 0 0 306 2 0 0 20 0 1 0 526904218 2114093056 12024 33554432000 4194304 5870510 140731477990208 140731477988568 5288858 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 516136 12024 960 410 0 511609 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2064544 KiB
Current children cumulated memory: 48096 KiB
[startup+6.30039 s]
/proc/loadavg: 0.16 0.05 0.06 4/200 16910
/proc/meminfo: memFree=24341540/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2096136 memory=73876 CPUtime=6.27 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 23287 0 0 0 624 3 0 0 20 0 1 0 526904218 2146443264 18469 33554432000 4194304 5870510 140731477990208 140731477988568 5263058 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 524034 18469 960 410 0 519507 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2096136 KiB
Current children cumulated memory: 73876 KiB
[startup+12.7004 s]
/proc/loadavg: 0.45 0.11 0.08 4/200 16910
/proc/meminfo: memFree=24328728/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2128528 memory=87672 CPUtime=12.67 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 36680 0 0 0 1262 5 0 0 20 0 1 0 526904218 2179612672 21918 33554432000 4194304 5870510 140731477990208 140731477988568 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 532132 21918 960 410 0 527605 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 2128528 KiB
Current children cumulated memory: 87672 KiB
[startup+25.5004 s]
/proc/loadavg: 0.68 0.17 0.10 5/202 16912
/proc/meminfo: memFree=24335848/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2102040 memory=72180 CPUtime=25.47 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 44611 0 0 0 2540 7 0 0 20 0 1 0 526904218 2152488960 18045 33554432000 4194304 5870510 140731477990208 140731477988568 5262958 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 525510 18045 960 410 0 520983 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 2102040 KiB
Current children cumulated memory: 72180 KiB
[startup+51.1097 s]
/proc/loadavg: 1.13 0.32 0.15 4/200 16913
/proc/meminfo: memFree=24280748/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2098260 memory=83960 CPUtime=51.08 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 61257 0 0 0 5100 8 0 0 20 0 1 0 526904218 2148618240 20990 33554432000 4194304 5870510 140731477990208 140731477988776 5262964 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 524565 20990 960 410 0 520038 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2098260 KiB
Current children cumulated memory: 83960 KiB
[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 4/200 16918
/proc/meminfo: memFree=24292072/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2117088 memory=102884 CPUtime=102.27 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 69406 0 0 0 10218 9 0 0 20 0 1 0 526904218 2167898112 25721 33554432000 4194304 5870510 140731477990208 140731477988648 5308401 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 529272 25721 960 410 0 524745 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2117088 KiB
Current children cumulated memory: 102884 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 4/200 16924
/proc/meminfo: memFree=24279384/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2124272 memory=109672 CPUtime=162.27 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 76932 0 0 0 16217 10 0 0 20 0 1 0 526904218 2175254528 27418 33554432000 4194304 5870510 140731477990208 140731477988776 5282475 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 531068 27418 960 410 0 526541 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2124272 KiB
Current children cumulated memory: 109672 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 4/199 16928
/proc/meminfo: memFree=24255320/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2143684 memory=129288 CPUtime=222.27 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 78036 0 0 0 22217 10 0 0 20 0 1 0 526904218 2195132416 32322 33554432000 4194304 5870510 140731477990208 140731477988776 139649970453279 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 535921 32322 960 410 0 531394 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2143684 KiB
Current children cumulated memory: 129288 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 4/199 16933
/proc/meminfo: memFree=24234244/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2155356 memory=140268 CPUtime=282.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 86533 0 0 0 28217 11 0 0 20 0 1 0 526904218 2207084544 35067 33554432000 4194304 5870510 140731477990208 140731477988776 5282251 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 538839 35067 960 410 0 534312 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2155356 KiB
Current children cumulated memory: 140268 KiB
[startup+342.3 s]
/proc/loadavg: 2.07 1.39 0.66 4/200 16939
/proc/meminfo: memFree=24211856/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2155356 memory=141172 CPUtime=342.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 88531 0 0 0 34216 12 0 0 20 0 1 0 526904218 2207084544 35293 33554432000 4194304 5870510 140731477990208 140731477988776 5283064 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 538839 35293 960 410 0 534312 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2155356 KiB
Current children cumulated memory: 141172 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 1.50 0.74 4/199 16950
/proc/meminfo: memFree=24218784/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2155356 memory=141248 CPUtime=402.27 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 97406 0 0 0 40215 12 0 0 20 0 1 0 526904218 2207084544 35312 33554432000 4194304 5870510 140731477990208 140731477988776 5288878 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 538839 35312 960 410 0 534312 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2155356 KiB
Current children cumulated memory: 141248 KiB
[startup+462.3 s]
/proc/loadavg: 1.94 1.58 0.81 4/200 16977
/proc/meminfo: memFree=24212188/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2155356 memory=141248 CPUtime=462.27 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 97821 0 0 0 46215 12 0 0 20 0 1 0 526904218 2207084544 35312 33554432000 4194304 5870510 140731477990208 140731477988776 139649970453061 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 538839 35312 960 410 0 534312 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2155356 KiB
Current children cumulated memory: 141248 KiB
################
# More data... #
################
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 1662.27 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.70 4/200 17090
/proc/meminfo: memFree=24108088/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2185712 memory=175804 CPUtime=1722.27 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 181337 0 0 0 172205 22 0 0 20 0 1 0 526904218 2238169088 43951 33554432000 4194304 5870510 140731477990208 140731477988776 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.72 4/201 17096
/proc/meminfo: memFree=24120352/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2185712 memory=175804 CPUtime=1782.27 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 181630 0 0 0 178205 22 0 0 20 0 1 0 526904218 2238169088 43951 33554432000 4194304 5870510 140731477990208 140731477988776 5282574 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.74 4/200 17100
/proc/meminfo: memFree=24131372/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2185712 memory=175804 CPUtime=1842.27 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 182284 0 0 0 184205 22 0 0 20 0 1 0 526904218 2238169088 43951 33554432000 4194304 5870510 140731477990208 140731477988776 5281827 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 4/199 17105
/proc/meminfo: memFree=24118032/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2185712 memory=175804 CPUtime=1902.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 182542 0 0 0 190206 22 0 0 20 0 1 0 526904218 2238169088 43951 33554432000 4194304 5870510 140731477990208 140731477988776 5283106 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 1.78 4/200 17111
/proc/meminfo: memFree=24131020/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2185712 memory=175804 CPUtime=1962.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 183201 0 0 0 196206 22 0 0 20 0 1 0 526904218 2238169088 43951 33554432000 4194304 5870510 140731477990208 140731477988776 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 1.79 4/199 17115
/proc/meminfo: memFree=24103056/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2185712 memory=175804 CPUtime=2022.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 183456 0 0 0 202206 22 0 0 20 0 1 0 526904218 2238169088 43951 33554432000 4194304 5870510 140731477990208 140731477988776 5282211 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.80 4/199 17120
/proc/meminfo: memFree=24109160/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2185712 memory=175804 CPUtime=2082.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 184077 0 0 0 208206 22 0 0 20 0 1 0 526904218 2238169088 43951 33554432000 4194304 5870510 140731477990208 140731477988776 5282590 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.81 4/200 17126
/proc/meminfo: memFree=24132892/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2185712 memory=175804 CPUtime=2142.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 184370 0 0 0 214206 22 0 0 20 0 1 0 526904218 2238169088 43951 33554432000 4194304 5870510 140731477990208 140731477988776 5283072 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.83 4/199 17137
/proc/meminfo: memFree=24111484/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2185712 memory=175804 CPUtime=2202.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 185030 0 0 0 220206 22 0 0 20 0 1 0 526904218 2238169088 43951 33554432000 4194304 5870510 140731477990208 140731477988776 5282690 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.84 4/199 17141
/proc/meminfo: memFree=24084812/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2185712 memory=175804 CPUtime=2262.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 185284 0 0 0 226206 22 0 0 20 0 1 0 526904218 2238169088 43951 33554432000 4194304 5870510 140731477990208 140731477988776 5282590 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 546428 43951 960 410 0 541901 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 2185712 KiB
Current children cumulated memory: 175804 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 4/200 17147
/proc/meminfo: memFree=24087740/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2197384 memory=185228 CPUtime=2322.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 186594 0 0 0 232206 22 0 0 20 0 1 0 526904218 2250121216 46307 33554432000 4194304 5870510 140731477990208 140731477988776 5282429 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 549346 46307 960 410 0 544819 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 2197384 KiB
Current children cumulated memory: 185228 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.86 4/199 17151
/proc/meminfo: memFree=24093132/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2197384 memory=185228 CPUtime=2382.28 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 186848 0 0 0 238206 22 0 0 20 0 1 0 526904218 2250121216 46307 33554432000 4194304 5870510 140731477990208 140731477988776 5263036 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 549346 46307 960 410 0 544819 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 2197384 KiB
Current children cumulated memory: 185228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 1.86 4/199 17152
/proc/meminfo: memFree=24036000/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2197384 memory=185228 CPUtime=2400.09 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 187816 0 0 0 239987 22 0 0 20 0 1 0 526904218 2250121216 46307 33554432000 4194304 5870510 140731477990208 140731477988776 5282770 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 549346 46307 960 410 0 544819 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 2197384 KiB
Current children cumulated memory: 185228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 16909 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.88 s, system=0.225003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 1.86 4/199 17152
/proc/meminfo: memFree=24036000/32770624 swapFree=66976804/67108860
[pid=16909] ppid=16902 vsize=2197384 memory=185228 CPUtime=2400.09 cores=0,2,4,6
/proc/16909/stat : 16909 (xcsp_picat) R 16902 16909 16848 0 -1 4202496 187816 0 0 0 239987 22 0 0 20 0 1 0 526904218 2250121216 46307 33554432000 4194304 5870510 140731477990208 140731477988776 5282770 0 0 4096 8389634 0 0 0 17 2 0 0 1 0 0 7970040 9572284 35516416 140731477996551 140731477996633 140731477996633 140731477999558 0
/proc/16909/statm: 549346 46307 960 410 0 544819 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 2197384 KiB
Current children cumulated memory: 185228 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.11
CPU time (s): 2400.1
CPU user time (s): 2399.88
CPU system time (s): 0.225003
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 2216356
Max. memory (cumulated for all children) (KiB): 185228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.88
system time used= 0.225003
maximum resident set size= 212476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187816
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= 21
involuntary context switches= 1949
# summary of solver processes directly reported to runsolver:
# pid: 16909
# total CPU time (s): 2400.1
# total CPU user time (s): 2399.88
# total CPU system time (s): 0.225003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.23182 second user time and 17.447 second system time
The end