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 (10764 MiB free)
memory of node 1: 16384 MiB (14111 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395273-1568334901/watcher-4395273-1568334901 -o /tmp/evaluation-result-4395273-1568334901/solver-4395273-1568334901 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568322189-24246 --watchdog 2580 xcsp_picat HOME/instance-4395273-1568334901.xml
running on 4 cores: 1,3,5,7
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=28033, runsolver pid=28030
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 2.00 2.00 2.03 3/199 28034
/proc/meminfo: memFree=25444596/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2031716 memory=31944 CPUtime=0.1 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 2009 0 0 0 10 0 0 0 20 0 1 0 409432012 2080477184 7986 33554432000 4194304 5870510 140727825856576 140727825853720 4456448 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 507929 7986 864 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 31944 KiB
[startup+0.209888 s]*
/proc/loadavg: 2.00 2.00 2.03 3/199 28034
/proc/meminfo: memFree=25423992/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2031716 memory=52424 CPUtime=0.21 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 2019 0 0 0 21 0 0 0 20 0 1 0 409432012 2080477184 13106 33554432000 4194304 5870510 140727825856576 140727825853720 4520559 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 507929 13106 864 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 52424 KiB
[startup+0.3098 s]*
/proc/loadavg: 2.00 2.00 2.03 3/199 28034
/proc/meminfo: memFree=25403224/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2038436 memory=78752 CPUtime=0.31 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 2495 0 0 0 31 0 0 0 20 0 1 0 409432012 2087358464 19688 33554432000 4194304 5870510 140727825856576 140727825853720 5252591 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 509609 19688 870 410 0 505082 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2038436 KiB
Current children cumulated memory: 78752 KiB
[startup+0.700411 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 28034
/proc/meminfo: memFree=25368228/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2111116 memory=131112 CPUtime=0.69 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 4890 0 0 0 67 2 0 0 20 0 1 0 409432012 2161782784 32778 33554432000 4194304 5870510 140727825856576 140727825855896 5355037 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 527779 32778 871 410 0 523252 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2111116 KiB
Current children cumulated memory: 131112 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 28034
/proc/meminfo: memFree=25317488/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2153520 memory=204352 CPUtime=1.49 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 6195 0 0 0 145 4 0 0 20 0 1 0 409432012 2205204480 51088 33554432000 4194304 5870510 140727825856576 140727825855896 4479551 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 538380 51088 871 410 0 533853 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2153520 KiB
Current children cumulated memory: 204352 KiB
[startup+3.10959 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 28034
/proc/meminfo: memFree=25172604/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2204476 memory=315560 CPUtime=3.1 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 9062 0 0 0 298 12 0 0 20 0 1 0 409432012 2257383424 78890 33554432000 4194304 5870510 140727825856576 140727825855896 4520559 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 551119 78890 871 410 0 546592 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2204476 KiB
Current children cumulated memory: 315560 KiB
[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 28034
/proc/meminfo: memFree=24811356/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2237756 memory=720864 CPUtime=6.29 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 11615 0 0 0 607 22 0 0 20 0 1 0 409432012 2291462144 180216 33554432000 4194304 5870510 140727825856576 140727825855544 4464587 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 559439 180216 901 410 0 554912 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2237756 KiB
Current children cumulated memory: 720864 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 28036
/proc/meminfo: memFree=24456180/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2726940 memory=1016176 CPUtime=12.69 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 33496 0 0 0 1240 29 0 0 20 0 1 0 409432012 2792386560 254044 33554432000 4194304 5870510 140727825856576 140727825855080 5261111 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 681735 254044 979 410 0 677208 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2726940 KiB
Current children cumulated memory: 1016176 KiB
[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 2.04 3/199 28037
/proc/meminfo: memFree=24453376/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2729448 memory=1018588 CPUtime=25.49 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 44337 0 0 0 2519 30 0 0 20 0 1 0 409432012 2794954752 254647 33554432000 4194304 5870510 140727825856576 140727825854904 5261287 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 682362 254647 979 410 0 677835 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2729448 KiB
Current children cumulated memory: 1018588 KiB
[startup+51.1094 s]
/proc/loadavg: 2.05 2.02 2.04 3/199 28037
/proc/meminfo: memFree=24541344/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2734472 memory=1023672 CPUtime=51.1 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 67071 0 0 0 5079 31 0 0 20 0 1 0 409432012 2800099328 255918 33554432000 4194304 5870510 140727825856576 140727825854904 5261099 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 683618 255918 979 410 0 679091 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2734472 KiB
Current children cumulated memory: 1023672 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/199 28043
/proc/meminfo: memFree=24305396/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2898448 memory=1162652 CPUtime=102.29 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 98032 0 0 0 10178 51 0 0 20 0 1 0 409432012 2968010752 290663 33554432000 4194304 5870510 140727825856576 140727825855528 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 724612 290663 1003 410 0 720085 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2898448 KiB
Current children cumulated memory: 1162652 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/199 28047
/proc/meminfo: memFree=24224132/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=3040888 memory=1238996 CPUtime=162.29 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 178009 0 0 0 16132 97 0 0 20 0 1 0 409432012 3113869312 309749 33554432000 4194304 5870510 140727825856576 140727825854936 5262541 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 760222 309749 1003 410 0 755695 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 3040888 KiB
Current children cumulated memory: 1238996 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 28051
/proc/meminfo: memFree=24247560/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=3046604 memory=1221372 CPUtime=222.28 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 225315 0 0 0 22087 141 0 0 20 0 1 0 409432012 3119722496 305343 33554432000 4194304 5870510 140727825856576 140727825854936 5281974 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 761651 305343 1003 410 0 757124 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 3046604 KiB
Current children cumulated memory: 1221372 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28057
/proc/meminfo: memFree=24361672/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2838688 memory=1101688 CPUtime=282.28 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 321508 0 0 0 28036 192 0 0 20 0 1 0 409432012 2906816512 275422 33554432000 4194304 5870510 140727825856576 140727825854936 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 709672 275422 1003 410 0 705145 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2838688 KiB
Current children cumulated memory: 1101688 KiB
[startup+342.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/199 28061
/proc/meminfo: memFree=24364956/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2842096 memory=1096964 CPUtime=342.28 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 382538 0 0 0 34000 228 0 0 20 0 1 0 409432012 2910306304 274241 33554432000 4194304 5870510 140727825856576 140727825854936 5277425 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 710524 274241 1003 410 0 705997 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2842096 KiB
Current children cumulated memory: 1096964 KiB
[startup+402.3 s]
/proc/loadavg: 2.41 2.17 2.10 3/200 28073
/proc/meminfo: memFree=24354228/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2846360 memory=1107432 CPUtime=402.28 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 428536 0 0 0 39968 260 0 0 20 0 1 0 409432012 2914672640 276858 33554432000 4194304 5870510 140727825856576 140727825854936 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 711590 276858 1003 410 0 707063 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2846360 KiB
Current children cumulated memory: 1107432 KiB
[startup+462.3 s]
/proc/loadavg: 2.15 2.14 2.09 3/200 28079
/proc/meminfo: memFree=24394720/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2802860 memory=1071936 CPUtime=462.27 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 473559 0 0 0 45935 292 0 0 20 0 1 0 409432012 2870128640 267984 33554432000 4194304 5870510 140727825856576 140727825855592 5274864 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 700715 267984 1003 410 0 696188 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2802860 KiB
Current children cumulated memory: 1071936 KiB
################
# More data... #
################
/proc/28033/statm: 695024 264698 1010 410 0 690497 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 2780096 KiB
Current children cumulated memory: 1058792 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28344
/proc/meminfo: memFree=24596140/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2755740 memory=1057152 CPUtime=1782.18 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1359150 0 0 0 177299 919 0 0 20 0 1 0 409432012 2821877760 264288 33554432000 4194304 5870510 140727825856576 140727825854872 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 688935 264288 1010 410 0 684408 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 2755740 KiB
Current children cumulated memory: 1057152 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28348
/proc/meminfo: memFree=24583164/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2791760 memory=1070348 CPUtime=1842.17 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1398534 0 0 0 183263 954 0 0 20 0 1 0 409432012 2858762240 267587 33554432000 4194304 5870510 140727825856576 140727825855528 5274516 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 697940 267587 1010 410 0 693413 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 2791760 KiB
Current children cumulated memory: 1070348 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28354
/proc/meminfo: memFree=24580808/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2765684 memory=1062444 CPUtime=1902.18 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1437244 0 0 0 189224 994 0 0 20 0 1 0 409432012 2832060416 265611 33554432000 4194304 5870510 140727825856576 140727825855592 5276817 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 691421 265611 1010 410 0 686894 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 2765684 KiB
Current children cumulated memory: 1062444 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28358
/proc/meminfo: memFree=24505296/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2851288 memory=1147932 CPUtime=1962.17 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1530930 0 0 0 195178 1039 0 0 20 0 1 0 409432012 2919718912 286983 33554432000 4194304 5870510 140727825856576 140727825855528 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 712822 286983 1010 410 0 708295 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 2851288 KiB
Current children cumulated memory: 1147932 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28362
/proc/meminfo: memFree=24452772/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2935972 memory=1201636 CPUtime=2022.17 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1549245 0 0 0 201145 1072 0 0 20 0 1 0 409432012 3006435328 300409 33554432000 4194304 5870510 140727825856576 140727825855592 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 733993 300409 1010 410 0 729466 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 2935972 KiB
Current children cumulated memory: 1201636 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28368
/proc/meminfo: memFree=24543824/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2777328 memory=1075784 CPUtime=2082.16 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1627957 0 0 0 207108 1108 0 0 20 0 1 0 409432012 2843983872 268946 33554432000 4194304 5870510 140727825856576 140727825855528 5304291 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 694332 268946 1010 410 0 689805 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 2777328 KiB
Current children cumulated memory: 1075784 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28372
/proc/meminfo: memFree=24535664/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2812400 memory=1098364 CPUtime=2142.17 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1660599 0 0 0 213071 1146 0 0 20 0 1 0 409432012 2879897600 274591 33554432000 4194304 5870510 140727825856576 140727825854936 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 703100 274591 1010 410 0 698573 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2812400 KiB
Current children cumulated memory: 1098364 KiB
[startup+2202.3 s]
/proc/loadavg: 2.35 2.13 2.08 3/200 28381
/proc/meminfo: memFree=24550024/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2785036 memory=1083248 CPUtime=2202.16 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1717623 0 0 0 219035 1181 0 0 20 0 1 0 409432012 2851876864 270812 33554432000 4194304 5870510 140727825856576 140727825855144 5281700 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 696259 270812 1010 410 0 691732 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 2785036 KiB
Current children cumulated memory: 1083248 KiB
[startup+2262.3 s]
/proc/loadavg: 2.13 2.11 2.08 3/200 28387
/proc/meminfo: memFree=24610548/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2736456 memory=1022668 CPUtime=2262.17 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1751521 0 0 0 225025 1192 0 0 20 0 1 0 409432012 2802130944 255667 33554432000 4194304 5870510 140727825856576 140727825855832 5282429 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 684114 255667 1010 410 0 679587 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 2736456 KiB
Current children cumulated memory: 1022668 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 2.09 2.07 3/200 28391
/proc/meminfo: memFree=24469684/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2900488 memory=1167924 CPUtime=2322.16 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1771248 0 0 0 230995 1221 0 0 20 0 1 0 409432012 2970099712 291981 33554432000 4194304 5870510 140727825856576 140727825854936 5274936 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 725122 291981 1010 410 0 720595 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 2900488 KiB
Current children cumulated memory: 1167924 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/200 28395
/proc/meminfo: memFree=24569968/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2776212 memory=1066976 CPUtime=2382.16 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1812241 0 0 0 236954 1262 0 0 20 0 1 0 409432012 2842841088 266744 33554432000 4194304 5870510 140727825856576 140727825854872 5308341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 694053 266744 1010 410 0 689526 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 2776212 KiB
Current children cumulated memory: 1066976 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/200 28401
/proc/meminfo: memFree=24554828/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2784400 memory=1079096 CPUtime=2442.15 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1843469 0 0 0 242922 1293 0 0 20 0 1 0 409432012 2851225600 269774 33554432000 4194304 5870510 140727825856576 140727825854936 5308267 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 696100 269774 1010 410 0 691573 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 2784400 KiB
Current children cumulated memory: 1079096 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 28405
/proc/meminfo: memFree=24536324/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2789696 memory=1069940 CPUtime=2502.15 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1899202 0 0 0 248888 1327 0 0 20 0 1 0 409432012 2856648704 267485 33554432000 4194304 5870510 140727825856576 140727825854872 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 697424 267485 1010 410 0 692897 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 2789696 KiB
Current children cumulated memory: 1069940 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 28405
/proc/meminfo: memFree=24565144/32770624 swapFree=66952812/67108860
[pid=28033] ppid=28030 vsize=2761156 memory=1062828 CPUtime=2519.86 cores=1,3,5,7
/proc/28033/stat : 28033 (xcsp_picat) R 28030 28033 24214 0 -1 4202496 1912961 0 0 0 250650 1336 0 0 20 0 1 0 409432012 2827423744 265707 33554432000 4194304 5870510 140727825856576 140727825855592 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 35618816 140727825863711 140727825863789 140727825863789 140727825866698 0
/proc/28033/statm: 690289 265707 1010 410 0 685762 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 2761156 KiB
Current children cumulated memory: 1062828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 28033 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.51 s, system=13.3734 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.88
CPU user time (s): 2506.51
CPU system time (s): 13.3734
CPU usage (%): 99.9945
Max. virtual memory (cumulated for all children) (KiB): 3286736
Max. memory (cumulated for all children) (KiB): 1484960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.51
system time used= 13.3734
maximum resident set size= 1501260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1912962
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= 50
involuntary context switches= 1006
# summary of solver processes directly reported to runsolver:
# pid: 28033
# total CPU time (s): 2519.88
# total CPU user time (s): 2506.51
# total CPU system time (s): 13.3734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.99965 second user time and 18.9335 second system time
The end