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 (1507 MiB free)
memory of node 1: 16384 MiB (252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303515-1533998527/watcher-4303515-1533998527 -o /tmp/evaluation-result-4303515-1533998527/solver-4303515-1533998527 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21559 --watchdog 2580 xcsp_picat HOME/instance-4303515-1533998527.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=22138, runsolver pid=22135
[startup+0.100393 s]*
/proc/loadavg: 1.94 2.01 2.04 3/188 22139
/proc/meminfo: memFree=1775408/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2025744 memory=32784 CPUtime=0.1 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 1243 0 0 0 10 0 0 0 20 0 1 0 217415864 2074361856 8196 33554432000 4194304 5849708 140722722726224 140722722725528 4508864 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 506436 8196 629 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32784 KiB
[startup+0.209613 s]*
/proc/loadavg: 1.94 2.01 2.04 3/188 22139
/proc/meminfo: memFree=1769324/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2025744 memory=35332 CPUtime=0.21 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 1334 0 0 0 21 0 0 0 20 0 1 0 217415864 2074361856 8833 33554432000 4194304 5849708 140722722726224 140722722725464 5606235 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 506436 8833 710 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35332 KiB
[startup+0.309349 s]*
/proc/loadavg: 1.94 2.01 2.04 3/188 22139
/proc/meminfo: memFree=1769324/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2025744 memory=35332 CPUtime=0.31 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 1334 0 0 0 31 0 0 0 20 0 1 0 217415864 2074361856 8833 33554432000 4194304 5849708 140722722726224 140722722725464 5472485 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 506436 8833 710 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35332 KiB
[startup+0.700222 s]
/proc/loadavg: 1.94 2.01 2.04 3/188 22139
/proc/meminfo: memFree=1769324/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2025880 memory=35332 CPUtime=0.69 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 1346 0 0 0 69 0 0 0 20 0 1 0 217415864 2074501120 8833 33554432000 4194304 5849708 140722722726224 140722722725464 5606238 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 506470 8833 710 405 0 503415 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 35332 KiB
[startup+1.50023 s]
/proc/loadavg: 1.94 2.01 2.04 3/188 22139
/proc/meminfo: memFree=1769324/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2025880 memory=35332 CPUtime=1.48 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 1358 0 0 0 148 0 0 0 20 0 1 0 217415864 2074501120 8833 33554432000 4194304 5849708 140722722726224 140722722725320 5521456 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 506470 8833 710 405 0 503415 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 35332 KiB
[startup+3.10885 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 22139
/proc/meminfo: memFree=1768712/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2025976 memory=35584 CPUtime=3.09 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 1480 0 0 0 309 0 0 0 20 0 1 0 217415864 2074599424 8896 33554432000 4194304 5849708 140722722726224 140722722725320 5606207 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 506494 8896 711 405 0 503439 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 35584 KiB
[startup+6.30021 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 22139
/proc/meminfo: memFree=1768588/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2025976 memory=35664 CPUtime=6.28 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 1615 0 0 0 628 0 0 0 20 0 1 0 217415864 2074599424 8916 33554432000 4194304 5849708 140722722726224 140722722725320 5521456 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 506494 8916 711 405 0 503439 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 35664 KiB
[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 22139
/proc/meminfo: memFree=1740356/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2025976 memory=35664 CPUtime=12.69 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 1757 0 0 0 1268 1 0 0 20 0 1 0 217415864 2074599424 8916 33554432000 4194304 5849708 140722722726224 140722722725464 5606256 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 506494 8916 711 405 0 503439 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 35664 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 2.01 2.04 3/188 22139
/proc/meminfo: memFree=1709948/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2056844 memory=66536 CPUtime=25.48 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 21891 0 0 0 2542 6 0 0 20 0 1 0 217415864 2106208256 16634 33554432000 4194304 5849708 140722722726224 140722722724712 5309600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 514211 16634 745 405 0 511156 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2056844 KiB
Current children cumulated memory: 66536 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 2.01 2.04 3/188 22139
/proc/meminfo: memFree=1711396/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2055032 memory=64732 CPUtime=51.09 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 37815 0 0 0 5088 21 0 0 20 0 1 0 217415864 2104352768 16183 33554432000 4194304 5849708 140722722726224 140722722724712 140006030966663 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 513758 16183 745 405 0 510703 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2055032 KiB
Current children cumulated memory: 64732 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/188 22140
/proc/meminfo: memFree=1705588/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2058000 memory=67592 CPUtime=102.28 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 46827 0 0 0 10172 56 0 0 20 0 1 0 217415864 2107392000 16898 33554432000 4194304 5849708 140722722726224 140722722725224 140006030966663 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 514500 16898 745 405 0 511445 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2058000 KiB
Current children cumulated memory: 67592 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 22141
/proc/meminfo: memFree=1660216/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2080692 memory=90392 CPUtime=162.28 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 55587 0 0 0 16135 93 0 0 20 0 1 0 217415864 2130628608 22598 33554432000 4194304 5849708 140722722726224 140722722724872 5437592 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 520173 22598 745 405 0 517118 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2080692 KiB
Current children cumulated memory: 90392 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 22142
/proc/meminfo: memFree=1638512/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2089728 memory=99372 CPUtime=222.28 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 68428 0 0 0 22098 130 0 0 20 0 1 0 217415864 2139881472 24843 33554432000 4194304 5849708 140722722726224 140722722725224 5340258 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 522432 24843 745 405 0 519377 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2089728 KiB
Current children cumulated memory: 99372 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 22143
/proc/meminfo: memFree=1630228/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2095156 memory=104856 CPUtime=282.28 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 81357 0 0 0 28064 164 0 0 20 0 1 0 217415864 2145439744 26214 33554432000 4194304 5849708 140722722726224 140722722725384 5351344 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 523789 26214 745 405 0 520734 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2095156 KiB
Current children cumulated memory: 104856 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 22144
/proc/meminfo: memFree=1615392/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2105324 memory=114792 CPUtime=342.28 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 98532 0 0 0 34028 200 0 0 20 0 1 0 217415864 2155851776 28698 33554432000 4194304 5849708 140722722726224 140722722725224 5437925 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 526331 28698 745 405 0 523276 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2105324 KiB
Current children cumulated memory: 114792 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 22145
/proc/meminfo: memFree=1602000/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2105324 memory=115024 CPUtime=402.27 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 110326 0 0 0 39992 235 0 0 20 0 1 0 217415864 2155851776 28756 33554432000 4194304 5849708 140722722726224 140722722725224 5437837 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 526331 28756 745 405 0 523276 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2105324 KiB
Current children cumulated memory: 115024 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 22146
/proc/meminfo: memFree=1573732/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2133208 memory=142840 CPUtime=462.27 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 127813 0 0 0 45957 270 0 0 20 0 1 0 217415864 2184404992 35710 33554432000 4194304 5849708 140722722726224 140722722725224 140006030966663 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 533302 35710 745 405 0 530247 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2133208 KiB
Current children cumulated memory: 142840 KiB
################
# More data... #
################
/proc/22138/statm: 575866 79590 745 405 0 572811 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 2303464 KiB
Current children cumulated memory: 318360 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 22216
/proc/meminfo: memFree=1465136/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2157472 memory=172504 CPUtime=1782.24 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 442948 0 0 0 177218 1006 0 0 20 0 1 0 217415864 2209251328 43126 33554432000 4194304 5849708 140722722726224 140722722725224 140006030966663 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 539368 43126 745 405 0 536313 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 2157472 KiB
Current children cumulated memory: 172504 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 22217
/proc/meminfo: memFree=1475840/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2157464 memory=172496 CPUtime=1842.24 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 452748 0 0 0 183188 1036 0 0 20 0 1 0 217415864 2209243136 43124 33554432000 4194304 5849708 140722722726224 140722722725224 140006030966663 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 539366 43124 745 405 0 536311 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 2157464 KiB
Current children cumulated memory: 172496 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 22218
/proc/meminfo: memFree=1531864/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2123796 memory=138820 CPUtime=1902.23 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 460429 0 0 0 189151 1072 0 0 20 0 1 0 217415864 2174767104 34705 33554432000 4194304 5849708 140722722726224 140722722725224 5361448 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 530949 34705 745 405 0 527894 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2123796 KiB
Current children cumulated memory: 138820 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 22219
/proc/meminfo: memFree=1495480/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2127444 memory=142476 CPUtime=1962.24 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 477025 0 0 0 195119 1105 0 0 20 0 1 0 217415864 2178502656 35619 33554432000 4194304 5849708 140722722726224 140722722725096 5308064 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 531861 35619 745 405 0 528806 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 2127444 KiB
Current children cumulated memory: 142476 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22220
/proc/meminfo: memFree=1444488/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2162836 memory=177868 CPUtime=2022.23 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 495370 0 0 0 201081 1142 0 0 20 0 1 0 217415864 2214744064 44467 33554432000 4194304 5849708 140722722726224 140722722725224 140006030966663 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 540709 44467 745 405 0 537654 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2162836 KiB
Current children cumulated memory: 177868 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22221
/proc/meminfo: memFree=1430576/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2179124 memory=194156 CPUtime=2082.23 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 498432 0 0 0 207049 1174 0 0 20 0 1 0 217415864 2231422976 48539 33554432000 4194304 5849708 140722722726224 140722722725384 5437580 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 544781 48539 745 405 0 541726 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 2179124 KiB
Current children cumulated memory: 194156 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22222
/proc/meminfo: memFree=1470716/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2179124 memory=194156 CPUtime=2142.23 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 513396 0 0 0 213017 1206 0 0 20 0 1 0 217415864 2231422976 48539 33554432000 4194304 5849708 140722722726224 140722722725224 5438148 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 544781 48539 745 405 0 541726 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 2179124 KiB
Current children cumulated memory: 194156 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22223
/proc/meminfo: memFree=1475924/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2179124 memory=194156 CPUtime=2202.22 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 516616 0 0 0 218986 1236 0 0 20 0 1 0 217415864 2231422976 48539 33554432000 4194304 5849708 140722722726224 140722722725224 140006030966663 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 544781 48539 745 405 0 541726 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 2179124 KiB
Current children cumulated memory: 194156 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22224
/proc/meminfo: memFree=1454604/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2135884 memory=151044 CPUtime=2262.22 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 532384 0 0 0 224955 1267 0 0 20 0 1 0 217415864 2187145216 37761 33554432000 4194304 5849708 140722722726224 140722722725224 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 533971 37761 745 405 0 530916 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 2135884 KiB
Current children cumulated memory: 151044 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22233
/proc/meminfo: memFree=1303344/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2314180 memory=329064 CPUtime=2322.23 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 536779 0 0 0 230922 1301 0 0 20 0 1 0 217415864 2369720320 82266 33554432000 4194304 5849708 140722722726224 140722722725224 5438153 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 578545 82266 745 405 0 575490 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 2314180 KiB
Current children cumulated memory: 329064 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22234
/proc/meminfo: memFree=1298504/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2322444 memory=337296 CPUtime=2382.23 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 574347 0 0 0 236896 1327 0 0 20 0 1 0 217415864 2378182656 84324 33554432000 4194304 5849708 140722722726224 140722722725224 5438072 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 580611 84324 745 405 0 577556 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 2322444 KiB
Current children cumulated memory: 337296 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22235
/proc/meminfo: memFree=1395284/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2284444 memory=299456 CPUtime=2442.22 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 588641 0 0 0 242865 1357 0 0 20 0 1 0 217415864 2339270656 74864 33554432000 4194304 5849708 140722722726224 140722722725224 5335626 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 571111 74864 745 405 0 568056 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 2284444 KiB
Current children cumulated memory: 299456 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22236
/proc/meminfo: memFree=1260360/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2348676 memory=363708 CPUtime=2502.22 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 622528 0 0 0 248839 1383 0 0 20 0 1 0 217415864 2405044224 90927 33554432000 4194304 5849708 140722722726224 140722722725096 5437625 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 587169 90927 745 405 0 584114 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 2348676 KiB
Current children cumulated memory: 363708 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.16 2.05 2.06 3/188 22297
/proc/meminfo: memFree=1338716/32770624 swapFree=67108796/67108860
[pid=22138] ppid=22135 vsize=2448264 memory=463296 CPUtime=2519.93 cores=0,2,4,6
/proc/22138/stat : 22138 (xcsp_picat) R 22135 22138 21527 0 -1 4202496 652575 0 0 0 250601 1392 0 0 20 0 1 0 217415864 2507022336 115824 33554432000 4194304 5849708 140722722726224 140722722725224 140006030966663 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 44425216 140722722735286 140722722735364 140722722735364 140722722738122 0
/proc/22138/statm: 612066 115824 745 405 0 609011 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 2448264 KiB
Current children cumulated memory: 463296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 22138 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.02 s, system=13.9357 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): 2520.02
CPU time (s): 2519.95
CPU user time (s): 2506.02
CPU system time (s): 13.9357
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 2481436
Max. memory (cumulated for all children) (KiB): 496388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.02
system time used= 13.9357
maximum resident set size= 496388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 652575
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= 19
involuntary context switches= 1233
# summary of solver processes directly reported to runsolver:
# pid: 22138
# total CPU time (s): 2519.95
# total CPU user time (s): 2506.02
# total CPU system time (s): 13.9357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.55337 second user time and 18.6475 second system time
The end