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 (11102 MiB free)
memory of node 1: 16384 MiB (13876 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395307-1568334323/watcher-4395307-1568334323 -o /tmp/evaluation-result-4395307-1568334323/solver-4395307-1568334323 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568322189-24245 --watchdog 2580 xcsp_picat HOME/instance-4395307-1568334323.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
solver pid=27858, runsolver pid=27855
Current StackSize limit: 8192 KiB
[startup+0.100683 s]*
/proc/loadavg: 1.98 1.98 2.03 3/200 27861
/proc/meminfo: memFree=25546456/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2031716 memory=36520 CPUtime=0.09 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 1667 0 0 0 9 0 0 0 20 0 1 0 409374276 2080477184 9130 33554432000 4194304 5870510 140735470280960 140735470280264 4461206 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 507929 9130 838 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36520 KiB
[startup+0.209744 s]*
/proc/loadavg: 1.98 1.98 2.03 3/200 27861
/proc/meminfo: memFree=25527124/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2031716 memory=55944 CPUtime=0.2 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 1936 0 0 0 20 0 0 0 20 0 1 0 409374276 2080477184 13986 33554432000 4194304 5870510 140735470280960 140735470280264 4508265 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 507929 13986 861 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 55944 KiB
[startup+0.309601 s]*
/proc/loadavg: 1.98 1.98 2.03 3/200 27861
/proc/meminfo: memFree=25513596/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2031716 memory=69796 CPUtime=0.31 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 2282 0 0 0 30 1 0 0 20 0 1 0 409374276 2080477184 17449 33554432000 4194304 5870510 140735470280960 140735470280264 4440707 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 507929 17449 892 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 69796 KiB
[startup+0.700304 s]
/proc/loadavg: 1.98 1.98 2.03 3/200 27861
/proc/meminfo: memFree=25488896/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2054500 memory=108228 CPUtime=0.69 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 6484 0 0 0 67 2 0 0 20 0 1 0 409374276 2103808000 27057 33554432000 4194304 5870510 140735470280960 140735470280264 5407312 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 513625 27057 967 410 0 509098 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2054500 KiB
Current children cumulated memory: 108228 KiB
[startup+1.50023 s]
/proc/loadavg: 1.98 1.98 2.03 3/200 27861
/proc/meminfo: memFree=25472652/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2054500 memory=108472 CPUtime=1.49 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 6516 0 0 0 147 2 0 0 20 0 1 0 409374276 2103808000 27118 33554432000 4194304 5870510 140735470280960 140735470280056 5562072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 513625 27118 970 410 0 509098 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2054500 KiB
Current children cumulated memory: 108472 KiB
[startup+3.10903 s]
/proc/loadavg: 1.98 1.98 2.03 3/200 27861
/proc/meminfo: memFree=25472280/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2054900 memory=109144 CPUtime=3.09 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 7160 0 0 0 307 2 0 0 20 0 1 0 409374276 2104217600 27286 33554432000 4194304 5870510 140735470280960 140735470279288 5574858 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 513725 27286 970 410 0 509198 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2054900 KiB
Current children cumulated memory: 109144 KiB
[startup+6.30022 s]
/proc/loadavg: 1.98 1.98 2.03 3/200 27861
/proc/meminfo: memFree=25470300/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2055868 memory=110728 CPUtime=6.29 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 8090 0 0 0 626 3 0 0 20 0 1 0 409374276 2105208832 27682 33554432000 4194304 5870510 140735470280960 140735470279288 5476966 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 513967 27682 970 410 0 509440 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2055868 KiB
Current children cumulated memory: 110728 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 1.98 2.03 3/199 27861
/proc/meminfo: memFree=25428780/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2098600 memory=152240 CPUtime=12.68 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 20321 0 0 0 1262 6 0 0 20 0 1 0 409374276 2148966400 38060 33554432000 4194304 5870510 140735470280960 140735470280056 5478371 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 524650 38060 972 410 0 520123 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2098600 KiB
Current children cumulated memory: 152240 KiB
[startup+25.5002 s]
/proc/loadavg: 1.98 1.98 2.03 3/199 27862
/proc/meminfo: memFree=25349392/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2201104 memory=231776 CPUtime=25.48 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 43313 0 0 0 2534 14 0 0 20 0 1 0 409374276 2253930496 57944 33554432000 4194304 5870510 140735470280960 140735470280120 5407631 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 550276 57944 972 410 0 545749 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2201104 KiB
Current children cumulated memory: 231776 KiB
[startup+51.1096 s]
/proc/loadavg: 1.99 1.98 2.03 3/199 27864
/proc/meminfo: memFree=25253620/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2311756 memory=326368 CPUtime=51.08 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 112137 0 0 0 5082 26 0 0 20 0 1 0 409374276 2367238144 81592 33554432000 4194304 5870510 140735470280960 140735470280216 140397142758424 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577939 81592 1003 410 0 573412 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2311756 KiB
Current children cumulated memory: 326368 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27868
/proc/meminfo: memFree=25461156/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2059448 memory=119852 CPUtime=102.26 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 149981 0 0 0 10195 31 0 0 20 0 1 0 409374276 2108874752 29963 33554432000 4194304 5870510 140735470280960 140735470280056 140397137076831 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 514862 29963 1010 410 0 510335 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2059448 KiB
Current children cumulated memory: 119852 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27872
/proc/meminfo: memFree=25212312/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2340632 memory=366656 CPUtime=162.25 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 183988 0 0 0 16175 50 0 0 20 0 1 0 409374276 2396807168 91664 33554432000 4194304 5870510 140735470280960 140735470280072 5282251 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 585158 91664 1010 410 0 580631 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2340632 KiB
Current children cumulated memory: 366656 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27877
/proc/meminfo: memFree=25382316/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2143692 memory=198160 CPUtime=222.24 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 214970 0 0 0 22164 60 0 0 20 0 1 0 409374276 2195140608 49540 33554432000 4194304 5870510 140735470280960 140735470280056 5477031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 535923 49540 1010 410 0 531396 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2143692 KiB
Current children cumulated memory: 198160 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27944
/proc/meminfo: memFree=25372148/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2339736 memory=368096 CPUtime=282.23 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 235966 0 0 0 28150 73 0 0 20 0 1 0 409374276 2395889664 92024 33554432000 4194304 5870510 140735470280960 140735470280072 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 584934 92024 1010 410 0 580407 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2339736 KiB
Current children cumulated memory: 368096 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27955
/proc/meminfo: memFree=25344156/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308916 memory=362808 CPUtime=342.21 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 246133 0 0 0 34147 74 0 0 20 0 1 0 409374276 2364329984 90702 33554432000 4194304 5870510 140735470280960 140735470279976 140397142758440 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577229 90702 1010 410 0 572702 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 2308916 KiB
Current children cumulated memory: 362808 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 27959
/proc/meminfo: memFree=25396804/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308916 memory=369116 CPUtime=402.19 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 247034 0 0 0 40145 74 0 0 20 0 1 0 409374276 2364329984 92279 33554432000 4194304 5870510 140735470280960 140735470279976 5272476 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577229 92279 1010 410 0 572702 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 2308916 KiB
Current children cumulated memory: 369116 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.00 2.03 3/199 27965
/proc/meminfo: memFree=25388888/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2280944 memory=318776 CPUtime=462.19 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 269241 0 0 0 46131 88 0 0 20 0 1 0 409374276 2335686656 79694 33554432000 4194304 5870510 140735470280960 140735470279304 5337297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 570236 79694 1010 410 0 565709 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 2280944 KiB
Current children cumulated memory: 318776 KiB
################
# More data... #
################
Current children cumulated memory: 360908 KiB
[startup+942.3 s]
/proc/loadavg: 2.55 2.15 2.09 3/200 28070
/proc/meminfo: memFree=24379232/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308308 memory=365016 CPUtime=942.17 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 414317 0 0 0 94092 125 0 0 20 0 1 0 409374276 2363707392 91254 33554432000 4194304 5870510 140735470280960 140735470279976 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577077 91254 1010 410 0 572550 0
Current children cumulated CPU time: 942.17 s
Current children cumulated vsize: 2308308 KiB
Current children cumulated memory: 365016 KiB
[startup+1002.3 s]
/proc/loadavg: 2.27 2.15 2.10 3/200 28076
/proc/meminfo: memFree=24279048/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308308 memory=367068 CPUtime=1002.18 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 428269 0 0 0 100091 127 0 0 20 0 1 0 409374276 2363707392 91767 33554432000 4194304 5870510 140735470280960 140735470279976 5272224 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577077 91767 1010 410 0 572550 0
Current children cumulated CPU time: 1002.18 s
Current children cumulated vsize: 2308308 KiB
Current children cumulated memory: 367068 KiB
[startup+1062.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/200 28080
/proc/meminfo: memFree=24380996/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308308 memory=358748 CPUtime=1062.17 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 433961 0 0 0 106089 128 0 0 20 0 1 0 409374276 2363707392 89687 33554432000 4194304 5870510 140735470280960 140735470279976 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577077 89687 1010 410 0 572550 0
Current children cumulated CPU time: 1062.17 s
Current children cumulated vsize: 2308308 KiB
Current children cumulated memory: 358748 KiB
[startup+1122.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/200 28084
/proc/meminfo: memFree=24268148/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2339544 memory=369396 CPUtime=1122.16 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 476125 0 0 0 112067 149 0 0 20 0 1 0 409374276 2395693056 92349 33554432000 4194304 5870510 140735470280960 140735470280216 5275364 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 584886 92349 1010 410 0 580359 0
Current children cumulated CPU time: 1122.16 s
Current children cumulated vsize: 2339544 KiB
Current children cumulated memory: 369396 KiB
[startup+1182.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/200 28090
/proc/meminfo: memFree=24224520/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=364840 CPUtime=1182.16 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 492169 0 0 0 118065 151 0 0 20 0 1 0 409374276 2364133376 91210 33554432000 4194304 5870510 140735470280960 140735470280072 5281827 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 91210 1010 410 0 572654 0
Current children cumulated CPU time: 1182.16 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 364840 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 28094
/proc/meminfo: memFree=24367236/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=358864 CPUtime=1242.16 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 506868 0 0 0 124063 153 0 0 20 0 1 0 409374276 2364133376 89716 33554432000 4194304 5870510 140735470280960 140735470279976 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 89716 1010 410 0 572654 0
Current children cumulated CPU time: 1242.16 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 358864 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/199 28098
/proc/meminfo: memFree=24384492/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=360916 CPUtime=1302.16 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 521664 0 0 0 130063 153 0 0 20 0 1 0 409374276 2364133376 90229 33554432000 4194304 5870510 140735470280960 140735470279976 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 90229 1010 410 0 572654 0
Current children cumulated CPU time: 1302.16 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 360916 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 28104
/proc/meminfo: memFree=24366224/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=362976 CPUtime=1362.16 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 534605 0 0 0 136062 154 0 0 20 0 1 0 409374276 2364133376 90744 33554432000 4194304 5870510 140735470280960 140735470279976 5272734 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 90744 1010 410 0 572654 0
Current children cumulated CPU time: 1362.16 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 362976 KiB
[startup+1394.89 s]
# the end of solver process 27858 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1393.2 s, system=1.5579 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1369.6 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 28104
/proc/meminfo: memFree=24365480/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=362976 CPUtime=1369.46 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 534712 0 0 0 136792 154 0 0 20 0 1 0 409374276 2364133376 90744 33554432000 4194304 5870510 140735470280960 140735470279976 5272202 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 90744 1010 410 0 572654 0
Current children cumulated CPU time: 1369.46 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 362976 KiB
[startup+1382.4 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 28105
/proc/meminfo: memFree=24348056/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=362976 CPUtime=1382.26 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 536937 0 0 0 138072 154 0 0 20 0 1 0 409374276 2364133376 90744 33554432000 4194304 5870510 140735470280960 140735470279976 140397142778765 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 90744 1010 410 0 572654 0
Current children cumulated CPU time: 1382.26 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 362976 KiB
[startup+1388.8 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 28105
/proc/meminfo: memFree=24361400/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=362976 CPUtime=1388.66 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 537055 0 0 0 138712 154 0 0 20 0 1 0 409374276 2364133376 90744 33554432000 4194304 5870510 140735470280960 140735470279976 5308341 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 90744 1010 410 0 572654 0
Current children cumulated CPU time: 1388.66 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 362976 KiB
[startup+1392 s]*
/proc/loadavg: 2.00 2.04 2.06 3/199 28105
/proc/meminfo: memFree=24359352/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=362976 CPUtime=1391.86 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 537084 0 0 0 139032 154 0 0 20 0 1 0 409374276 2364133376 90744 33554432000 4194304 5870510 140735470280960 140735470279976 5308227 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 90744 1010 410 0 572654 0
Current children cumulated CPU time: 1391.86 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 362976 KiB
[startup+1393.6 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 28105
/proc/meminfo: memFree=24351160/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=362976 CPUtime=1393.46 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 537098 0 0 0 139192 154 0 0 20 0 1 0 409374276 2364133376 90744 33554432000 4194304 5870510 140735470280960 140735470279976 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 90744 1010 410 0 572654 0
Current children cumulated CPU time: 1393.46 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 362976 KiB
[startup+1394.4 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 28105
/proc/meminfo: memFree=24342968/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=362976 CPUtime=1394.26 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 537111 0 0 0 139272 154 0 0 20 0 1 0 409374276 2364133376 90744 33554432000 4194304 5870510 140735470280960 140735470279976 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 90744 1010 410 0 572654 0
Current children cumulated CPU time: 1394.26 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 362976 KiB
[startup+1394.8 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 28105
/proc/meminfo: memFree=24342968/32770624 swapFree=66952812/67108860
[pid=27858] ppid=27855 vsize=2308724 memory=362980 CPUtime=1394.66 cores=0,2,4,6
/proc/27858/stat : 27858 (xcsp_picat) R 27855 27858 24214 0 -1 4202496 537129 0 0 0 139312 154 0 0 20 0 1 0 409374276 2364133376 90745 33554432000 4194304 5870510 140735470280960 140735470279976 5281883 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 23703552 140735470285855 140735470285933 140735470285933 140735470288842 0
/proc/27858/statm: 577181 90745 1010 410 0 572654 0
Current children cumulated CPU time: 1394.66 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 362980 KiB
Child status: 0
Real time (s): 1394.89
CPU time (s): 1394.76
CPU user time (s): 1393.2
CPU system time (s): 1.5579
CPU usage (%): 99.9906
Max. virtual memory (cumulated for all children) (KiB): 2459052
Max. memory (cumulated for all children) (KiB): 441184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1393.2
system time used= 1.5579
maximum resident set size= 441184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537188
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= 57
involuntary context switches= 693
# summary of solver processes directly reported to runsolver:
# pid: 27858
# total CPU time (s): 1394.76
# total CPU user time (s): 1393.2
# total CPU system time (s): 1.5579
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95197 second user time and 8.78246 second system time
The end