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 (15355 MiB free)
memory of node 1: 16384 MiB (15590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395396-1568340145/watcher-4395396-1568340145 -o /tmp/evaluation-result-4395396-1568340145/solver-4395396-1568340145 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580 xcsp_picat HOME/instance-4395396-1568340145.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21451, runsolver pid=21448
[startup+0.100119 s]*
/proc/loadavg: 2.18 2.09 2.07 3/202 21452
/proc/meminfo: memFree=31661732/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2038860 memory=32044 CPUtime=0.1 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 2621 0 0 0 10 0 0 0 20 0 1 0 410265912 2087792640 8011 33554432000 4194304 5870510 140732176247584 140732176244728 140048297978853 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 509715 8011 943 410 0 505188 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2038860 KiB
Current children cumulated memory: 32044 KiB
[startup+0.209771 s]*
/proc/loadavg: 2.18 2.09 2.07 3/202 21452
/proc/meminfo: memFree=31659872/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2040408 memory=33492 CPUtime=0.21 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 3090 0 0 0 21 0 0 0 20 0 1 0 410265912 2089377792 8373 33554432000 4194304 5870510 140732176247584 140732176244728 5316272 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 510102 8373 943 410 0 505575 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2040408 KiB
Current children cumulated memory: 33492 KiB
[startup+0.309579 s]*
/proc/loadavg: 2.18 2.09 2.07 3/202 21452
/proc/meminfo: memFree=31660184/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2038368 memory=32928 CPUtime=0.31 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 3745 0 0 0 31 0 0 0 20 0 1 0 410265912 2087288832 8232 33554432000 4194304 5870510 140732176247584 140732176244728 5298780 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 509592 8232 973 410 0 505065 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2038368 KiB
Current children cumulated memory: 32928 KiB
[startup+0.700262 s]
/proc/loadavg: 2.18 2.09 2.07 3/202 21452
/proc/meminfo: memFree=31659532/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2040312 memory=35000 CPUtime=0.69 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 4305 0 0 0 69 0 0 0 20 0 1 0 410265912 2089279488 8750 33554432000 4194304 5870510 140732176247584 140732176244728 5281896 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 510078 8750 973 410 0 505551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2040312 KiB
Current children cumulated memory: 35000 KiB
[startup+1.50027 s]
/proc/loadavg: 2.18 2.09 2.07 3/202 21452
/proc/meminfo: memFree=31655052/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2048008 memory=42792 CPUtime=1.49 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 6255 0 0 0 148 1 0 0 20 0 1 0 410265912 2097160192 10698 33554432000 4194304 5870510 140732176247584 140732176246536 5282759 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 512002 10698 975 410 0 507475 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2048008 KiB
Current children cumulated memory: 42792 KiB
[startup+3.10982 s]
/proc/loadavg: 2.17 2.09 2.07 3/202 21452
/proc/meminfo: memFree=31635144/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2067532 memory=57360 CPUtime=3.1 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 9805 0 0 0 309 1 0 0 20 0 1 0 410265912 2117152768 14340 33554432000 4194304 5870510 140732176247584 140732176245944 5277475 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 516883 14340 975 410 0 512356 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2067532 KiB
Current children cumulated memory: 57360 KiB
[startup+6.3003 s]
/proc/loadavg: 2.17 2.09 2.07 3/201 21452
/proc/meminfo: memFree=31625152/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2087388 memory=68292 CPUtime=6.29 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 20400 0 0 0 626 3 0 0 20 0 1 0 410265912 2137485312 17073 33554432000 4194304 5870510 140732176247584 140732176246536 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 521847 17073 975 410 0 517320 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2087388 KiB
Current children cumulated memory: 68292 KiB
[startup+12.7003 s]
/proc/loadavg: 2.14 2.09 2.06 3/201 21516
/proc/meminfo: memFree=31583980/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2100976 memory=92488 CPUtime=12.69 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 25634 0 0 0 1264 5 0 0 20 0 1 0 410265912 2151399424 23122 33554432000 4194304 5870510 140732176247584 140732176246024 5282464 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 525244 23122 983 410 0 520717 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2100976 KiB
Current children cumulated memory: 92488 KiB
[startup+25.5003 s]
/proc/loadavg: 2.12 2.08 2.06 3/201 21516
/proc/meminfo: memFree=31609716/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2066784 memory=60584 CPUtime=25.48 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 28114 0 0 0 2542 6 0 0 20 0 1 0 410265912 2116386816 15146 33554432000 4194304 5870510 140732176247584 140732176246152 5308259 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 516696 15146 983 410 0 512169 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2066784 KiB
Current children cumulated memory: 60584 KiB
[startup+51.1098 s]
/proc/loadavg: 2.08 2.08 2.06 3/201 21519
/proc/meminfo: memFree=31563068/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2104680 memory=94372 CPUtime=51.09 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 32055 0 0 0 5102 7 0 0 20 0 1 0 410265912 2155192320 23593 33554432000 4194304 5870510 140732176247584 140732176246024 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 526170 23593 983 410 0 521643 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2104680 KiB
Current children cumulated memory: 94372 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.06 3/201 21522
/proc/meminfo: memFree=31530088/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2116944 memory=110964 CPUtime=102.27 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 33113 0 0 0 10220 7 0 0 20 0 1 0 410265912 2167750656 27741 33554432000 4194304 5870510 140732176247584 140732176246024 5283135 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 529236 27741 983 410 0 524709 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2116944 KiB
Current children cumulated memory: 110964 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/201 21526
/proc/meminfo: memFree=31527968/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2089488 memory=88676 CPUtime=162.28 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 36320 0 0 0 16219 9 0 0 20 0 1 0 410265912 2139635712 22169 33554432000 4194304 5870510 140732176247584 140732176246024 5272968 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 522372 22169 985 410 0 517845 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2089488 KiB
Current children cumulated memory: 88676 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 21532
/proc/meminfo: memFree=31611208/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2043140 memory=42252 CPUtime=222.28 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 38492 0 0 0 22219 9 0 0 20 0 1 0 410265912 2092175360 10563 33554432000 4194304 5870510 140732176247584 140732176246696 5275815 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 510785 10563 985 410 0 506258 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2043140 KiB
Current children cumulated memory: 42252 KiB
[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/199 21536
/proc/meminfo: memFree=31548660/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2098208 memory=97520 CPUtime=282.29 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 43898 0 0 0 28219 10 0 0 20 0 1 0 410265912 2148564992 24380 33554432000 4194304 5870510 140732176247584 140732176246152 140048303676185 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 524552 24380 985 410 0 520025 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2098208 KiB
Current children cumulated memory: 97520 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/199 21540
/proc/meminfo: memFree=31514368/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2110160 memory=109456 CPUtime=342.3 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 44932 0 0 0 34219 11 0 0 20 0 1 0 410265912 2160803840 27364 33554432000 4194304 5870510 140732176247584 140732176246152 5282680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 527540 27364 985 410 0 523013 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2110160 KiB
Current children cumulated memory: 109456 KiB
[startup+402.3 s]
/proc/loadavg: 1.98 2.02 2.04 3/200 21546
/proc/meminfo: memFree=31515408/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2097532 memory=96600 CPUtime=402.3 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 47994 0 0 0 40218 12 0 0 20 0 1 0 410265912 2147872768 24150 33554432000 4194304 5870510 140732176247584 140732176246152 5282721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 524383 24150 985 410 0 519856 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2097532 KiB
Current children cumulated memory: 96600 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 21550
/proc/meminfo: memFree=31489924/32770624 swapFree=66994024/67108860
[pid=21451] ppid=21448 vsize=2111276 memory=110544 CPUtime=462.3 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 49465 0 0 0 46218 12 0 0 20 0 1 0 410265912 2161946624 27636 33554432000 4194304 5870510 140732176247584 140732176246152 5277166 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 527819 27636 985 410 0 523292 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2111276 KiB
Current children cumulated memory: 110544 KiB
################
# More data... #
################
/proc/21451/statm: 538251 37473 985 410 0 533724 0
Current children cumulated CPU time: 1722.43 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 149892 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/200 21678
/proc/meminfo: memFree=31396200/32770624 swapFree=66994048/67108860
[pid=21451] ppid=21448 vsize=2153004 memory=151940 CPUtime=1782.44 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 83697 0 0 0 178224 20 0 0 20 0 1 0 410265912 2204676096 37985 33554432000 4194304 5870510 140732176247584 140732176246152 5307152 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 538251 37985 985 410 0 533724 0
Current children cumulated CPU time: 1782.44 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 151940 KiB
[startup+1842.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/201 21684
/proc/meminfo: memFree=31395144/32770624 swapFree=66994048/67108860
[pid=21451] ppid=21448 vsize=2153004 memory=152284 CPUtime=1842.44 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 84175 0 0 0 184224 20 0 0 20 0 1 0 410265912 2204676096 38071 33554432000 4194304 5870510 140732176247584 140732176246152 5283102 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 538251 38071 985 410 0 533724 0
Current children cumulated CPU time: 1842.44 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 152284 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/200 21688
/proc/meminfo: memFree=31378628/32770624 swapFree=66994048/67108860
[pid=21451] ppid=21448 vsize=2153004 memory=152284 CPUtime=1902.45 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 84197 0 0 0 190225 20 0 0 20 0 1 0 410265912 2204676096 38071 33554432000 4194304 5870510 140732176247584 140732176246152 5282721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 538251 38071 985 410 0 533724 0
Current children cumulated CPU time: 1902.45 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 152284 KiB
[startup+1962.3 s]
/proc/loadavg: 2.54 2.18 2.09 3/200 21692
/proc/meminfo: memFree=31376348/32770624 swapFree=66994048/67108860
[pid=21451] ppid=21448 vsize=2153004 memory=152312 CPUtime=1962.46 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 88105 0 0 0 196225 21 0 0 20 0 1 0 410265912 2204676096 38078 33554432000 4194304 5870510 140732176247584 140732176246152 5283087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 538251 38078 985 410 0 533724 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 2153004 KiB
Current children cumulated memory: 152312 KiB
[startup+2022.3 s]
/proc/loadavg: 2.26 2.17 2.09 3/200 21698
/proc/meminfo: memFree=31427956/32770624 swapFree=66994048/67108860
[pid=21451] ppid=21448 vsize=2100976 memory=100256 CPUtime=2022.46 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 88900 0 0 0 202225 21 0 0 20 0 1 0 410265912 2151399424 25064 33554432000 4194304 5870510 140732176247584 140732176246152 5282736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 525244 25064 985 410 0 520717 0
Current children cumulated CPU time: 2022.46 s
Current children cumulated vsize: 2100976 KiB
Current children cumulated memory: 100256 KiB
[startup+2082.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/199 21702
/proc/meminfo: memFree=31428340/32770624 swapFree=66994048/67108860
[pid=21451] ppid=21448 vsize=2116832 memory=100476 CPUtime=2082.47 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 91270 0 0 0 208224 23 0 0 20 0 1 0 410265912 2167635968 25119 33554432000 4194304 5870510 140732176247584 140732176246024 5283116 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 529208 25119 985 410 0 524681 0
Current children cumulated CPU time: 2082.47 s
Current children cumulated vsize: 2116832 KiB
Current children cumulated memory: 100476 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/199 21706
/proc/meminfo: memFree=31418364/32770624 swapFree=66994048/67108860
[pid=21451] ppid=21448 vsize=2116832 memory=110716 CPUtime=2142.47 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 91304 0 0 0 214224 23 0 0 20 0 1 0 410265912 2167635968 27679 33554432000 4194304 5870510 140732176247584 140732176246024 5308350 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 529208 27679 985 410 0 524681 0
Current children cumulated CPU time: 2142.47 s
Current children cumulated vsize: 2116832 KiB
Current children cumulated memory: 110716 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/200 21712
/proc/meminfo: memFree=31413024/32770624 swapFree=66994048/67108860
[pid=21451] ppid=21448 vsize=2117948 memory=114916 CPUtime=2202.49 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 93842 0 0 0 220225 24 0 0 20 0 1 0 410265912 2168778752 28729 33554432000 4194304 5870510 140732176247584 140732176246152 5308383 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 529487 28729 985 410 0 524960 0
Current children cumulated CPU time: 2202.49 s
Current children cumulated vsize: 2117948 KiB
Current children cumulated memory: 114916 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/199 21716
/proc/meminfo: memFree=31401672/32770624 swapFree=66994048/67108860
[pid=21451] ppid=21448 vsize=2129496 memory=127144 CPUtime=2262.49 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 96871 0 0 0 226225 24 0 0 20 0 1 0 410265912 2180603904 31786 33554432000 4194304 5870510 140732176247584 140732176246152 5272665 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 532374 31786 985 410 0 527847 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 2129496 KiB
Current children cumulated memory: 127144 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 21728
/proc/meminfo: memFree=31442456/32770624 swapFree=66994056/67108860
[pid=21451] ppid=21448 vsize=2097468 memory=86380 CPUtime=2322.49 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 101354 0 0 0 232223 26 0 0 20 0 1 0 410265912 2147807232 21595 33554432000 4194304 5870510 140732176247584 140732176246024 5282390 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 524367 21595 985 410 0 519840 0
Current children cumulated CPU time: 2322.49 s
Current children cumulated vsize: 2097468 KiB
Current children cumulated memory: 86380 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/201 21734
/proc/meminfo: memFree=31418780/32770624 swapFree=66994056/67108860
[pid=21451] ppid=21448 vsize=2110668 memory=109852 CPUtime=2382.5 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 102699 0 0 0 238223 27 0 0 20 0 1 0 410265912 2161324032 27463 33554432000 4194304 5870510 140732176247584 140732176246152 5283138 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 527667 27463 985 410 0 523140 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 2110668 KiB
Current children cumulated memory: 109852 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 21738
/proc/meminfo: memFree=31418664/32770624 swapFree=66994056/67108860
[pid=21451] ppid=21448 vsize=2110668 memory=109980 CPUtime=2442.51 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 105815 0 0 0 244224 27 0 0 20 0 1 0 410265912 2161324032 27495 33554432000 4194304 5870510 140732176247584 140732176246152 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 527667 27495 985 410 0 523140 0
Current children cumulated CPU time: 2442.51 s
Current children cumulated vsize: 2110668 KiB
Current children cumulated memory: 109980 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 21742
/proc/meminfo: memFree=31413584/32770624 swapFree=66994056/67108860
[pid=21451] ppid=21448 vsize=2117852 memory=115072 CPUtime=2502.51 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 107168 0 0 0 250224 27 0 0 20 0 1 0 410265912 2168680448 28768 33554432000 4194304 5870510 140732176247584 140732176246152 140048303747564 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 529463 28768 985 410 0 524936 0
Current children cumulated CPU time: 2502.51 s
Current children cumulated vsize: 2117852 KiB
Current children cumulated memory: 115072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 21745
/proc/meminfo: memFree=31400928/32770624 swapFree=66994056/67108860
[pid=21451] ppid=21448 vsize=2129652 memory=127256 CPUtime=2520.02 cores=0,2,4,6
/proc/21451/stat : 21451 (xcsp_picat) R 21448 21451 15976 0 -1 4202496 108184 0 0 0 251974 28 0 0 20 0 1 0 410265912 2180763648 31814 33554432000 4194304 5870510 140732176247584 140732176246152 5282574 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 16482304 140732176253983 140732176254061 140732176254061 140732176256970 0
/proc/21451/statm: 532413 31814 985 410 0 527886 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2129652 KiB
Current children cumulated memory: 127256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.8 s]
# the end of solver process 21451 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.74 s, system=0.285025 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): 2519.8
CPU time (s): 2520.03
CPU user time (s): 2519.74
CPU system time (s): 0.285025
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 2170684
Max. memory (cumulated for all children) (KiB): 156032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.74
system time used= 0.285025
maximum resident set size= 156032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108184
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= 12
involuntary context switches= 987
# summary of solver processes directly reported to runsolver:
# pid: 21451
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.74
# total CPU system time (s): 0.285025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.79351 second user time and 19.0281 second system time
The end