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 (6847 MiB free)
memory of node 1: 16384 MiB (13860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294327-1532442147/watcher-4294327-1532442147 -o /tmp/evaluation-result-4294327-1532442147/solver-4294327-1532442147 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532432860-27369 --watchdog 2580 xcsp_picat HOME/instance-4294327-1532442147.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
Current StackSize limit: 8192 KiB
solver pid=30087, runsolver pid=30084
[startup+0.10017 s]*
/proc/loadavg: 1.98 2.00 2.04 3/193 30088
/proc/meminfo: memFree=21173936/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=130368 memory=33876 CPUtime=0.1 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 3122 0 0 0 10 0 0 0 20 0 1 0 61777890 133496832 8469 33554432000 4194304 5849740 140727436984672 140727436984672 140493201911687 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 32592 8469 713 405 0 29536 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 130368 KiB
Current children cumulated memory: 33876 KiB
[startup+0.209988 s]*
/proc/loadavg: 1.98 2.00 2.04 3/193 30088
/proc/meminfo: memFree=21170960/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=134992 memory=38288 CPUtime=0.21 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 4280 0 0 0 20 1 0 0 20 0 1 0 61777890 138231808 9572 33554432000 4194304 5849740 140727436984672 140727436984672 5355910 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 33748 9572 715 405 0 30692 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 134992 KiB
Current children cumulated memory: 38288 KiB
[startup+0.309996 s]*
/proc/loadavg: 1.98 2.00 2.04 3/193 30088
/proc/meminfo: memFree=21158124/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=150352 memory=53676 CPUtime=0.31 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 7098 0 0 0 30 1 0 0 20 0 1 0 61777890 153960448 13419 33554432000 4194304 5849740 140727436984672 140727436984672 5335114 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 37588 13419 715 405 0 34532 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 150352 KiB
Current children cumulated memory: 53676 KiB
[startup+0.700335 s]
/proc/loadavg: 1.98 2.00 2.04 3/193 30088
/proc/meminfo: memFree=21116680/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=184344 memory=87880 CPUtime=0.69 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 9804 0 0 0 67 2 0 0 20 0 1 0 61777890 188768256 21970 33554432000 4194304 5849740 140727436984672 140727436984672 5375077 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 46086 21970 716 405 0 43030 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 184344 KiB
Current children cumulated memory: 87880 KiB
[startup+1.50042 s]
/proc/loadavg: 1.98 2.00 2.04 3/193 30088
/proc/meminfo: memFree=21111180/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=191152 memory=94676 CPUtime=1.5 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 12919 0 0 0 147 3 0 0 20 0 1 0 61777890 195739648 23669 33554432000 4194304 5849740 140727436984672 140727436983400 5391913 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 47788 23669 731 405 0 44732 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 191152 KiB
Current children cumulated memory: 94676 KiB
[startup+3.10993 s]
/proc/loadavg: 1.98 2.00 2.04 3/193 30088
/proc/meminfo: memFree=21110256/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=192048 memory=95676 CPUtime=3.1 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 23081 0 0 0 307 3 0 0 20 0 1 0 61777890 196657152 23919 33554432000 4194304 5849740 140727436984672 140727436983320 5376292 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 48012 23919 739 405 0 44956 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 192048 KiB
Current children cumulated memory: 95676 KiB
[startup+6.30042 s]
/proc/loadavg: 1.98 2.00 2.04 3/193 30088
/proc/meminfo: memFree=21102604/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=192040 memory=95696 CPUtime=6.29 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 32323 0 0 0 625 4 0 0 20 0 1 0 61777890 196648960 23924 33554432000 4194304 5849740 140727436984672 140727436983832 5438129 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 48010 23924 745 405 0 44954 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 192040 KiB
Current children cumulated memory: 95696 KiB
[startup+12.7004 s]
/proc/loadavg: 1.90 1.98 2.03 3/193 30088
/proc/meminfo: memFree=21101232/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=192040 memory=95704 CPUtime=12.69 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 40341 0 0 0 1263 6 0 0 20 0 1 0 61777890 196648960 23926 33554432000 4194304 5849740 140727436984672 140727436983544 5323448 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 48010 23926 747 405 0 44954 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 192040 KiB
Current children cumulated memory: 95704 KiB
[startup+25.5004 s]
/proc/loadavg: 1.93 1.98 2.03 3/193 30088
/proc/meminfo: memFree=21095396/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=198932 memory=102596 CPUtime=25.49 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 64620 0 0 0 2538 11 0 0 20 0 1 0 61777890 203706368 25649 33554432000 4194304 5849740 140727436984672 140727436983672 5307612 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 49733 25649 747 405 0 46677 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 198932 KiB
Current children cumulated memory: 102596 KiB
[startup+51.11 s]
/proc/loadavg: 1.95 1.99 2.03 3/193 30088
/proc/meminfo: memFree=21095736/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=198584 memory=101860 CPUtime=51.09 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 74444 0 0 0 5088 21 0 0 20 0 1 0 61777890 203350016 25465 33554432000 4194304 5849740 140727436984672 140727436983672 4233541 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 49646 25465 747 405 0 46590 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 198584 KiB
Current children cumulated memory: 101860 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/193 30089
/proc/meminfo: memFree=21097744/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=196724 memory=100000 CPUtime=102.28 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 85405 0 0 0 10186 42 0 0 20 0 1 0 61777890 201445376 25000 33554432000 4194304 5849740 140727436984672 140727436983672 140493201911687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 49181 25000 747 405 0 46125 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 196724 KiB
Current children cumulated memory: 100000 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/190 30091
/proc/meminfo: memFree=21087908/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=203292 memory=106956 CPUtime=162.28 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 98450 0 0 0 16160 68 0 0 20 0 1 0 61777890 208171008 26739 33554432000 4194304 5849740 140727436984672 140727436983672 140493201911687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 50823 26739 747 405 0 47767 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 203292 KiB
Current children cumulated memory: 106956 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/190 30092
/proc/meminfo: memFree=21085080/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=202796 memory=110132 CPUtime=222.28 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 105712 0 0 0 22131 97 0 0 20 0 1 0 61777890 207663104 27533 33554432000 4194304 5849740 140727436984672 140727436983544 5437620 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 50699 27533 747 405 0 47643 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 202796 KiB
Current children cumulated memory: 110132 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/190 30093
/proc/meminfo: memFree=21085336/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=203496 memory=110056 CPUtime=282.28 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 107989 0 0 0 28098 130 0 0 20 0 1 0 61777890 208379904 27514 33554432000 4194304 5849740 140727436984672 140727436983544 5375307 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 50874 27514 747 405 0 47818 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 203496 KiB
Current children cumulated memory: 110056 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/190 30095
/proc/meminfo: memFree=21083744/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=203344 memory=111952 CPUtime=342.28 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 110616 0 0 0 34070 158 0 0 20 0 1 0 61777890 208224256 27988 33554432000 4194304 5849740 140727436984672 140727436983672 5437600 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 50836 27988 747 405 0 47780 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 203344 KiB
Current children cumulated memory: 111952 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.00 2.04 3/190 30096
/proc/meminfo: memFree=21083700/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=203204 memory=111812 CPUtime=402.27 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 113209 0 0 0 40039 188 0 0 20 0 1 0 61777890 208080896 27953 33554432000 4194304 5849740 140727436984672 140727436983672 5437591 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 50801 27953 747 405 0 47745 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 203204 KiB
Current children cumulated memory: 111812 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.00 2.04 3/191 30105
/proc/meminfo: memFree=21082112/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=205904 memory=112604 CPUtime=462.28 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 116020 0 0 0 46012 216 0 0 20 0 1 0 61777890 210845696 28151 33554432000 4194304 5849740 140727436984672 140727436983672 5437607 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 51476 28151 747 405 0 48420 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 205904 KiB
Current children cumulated memory: 112604 KiB
################
# More data... #
################
/proc/30087/statm: 65878 43223 747 405 0 62822 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 263512 KiB
Current children cumulated memory: 172892 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 30145
/proc/meminfo: memFree=20968184/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=263716 memory=173012 CPUtime=1782.26 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 204831 0 0 0 177318 908 0 0 20 0 1 0 61777890 270045184 43253 33554432000 4194304 5849740 140727436984672 140727436983672 5437819 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 65929 43253 747 405 0 62873 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 263716 KiB
Current children cumulated memory: 173012 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30146
/proc/meminfo: memFree=20968508/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=263496 memory=172876 CPUtime=1842.26 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 207248 0 0 0 183287 939 0 0 20 0 1 0 61777890 269819904 43219 33554432000 4194304 5849740 140727436984672 140727436983832 140493201911687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 65874 43219 747 405 0 62818 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 263496 KiB
Current children cumulated memory: 172876 KiB
[startup+1902.3 s]
/proc/loadavg: 2.19 2.06 2.06 3/190 30147
/proc/meminfo: memFree=20967008/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=263496 memory=172876 CPUtime=1902.27 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 209703 0 0 0 189260 967 0 0 20 0 1 0 61777890 269819904 43219 33554432000 4194304 5849740 140727436984672 140727436983544 4226706 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 65874 43219 747 405 0 62818 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 263496 KiB
Current children cumulated memory: 172876 KiB
[startup+1962.3 s]
/proc/loadavg: 2.42 2.16 2.09 3/190 30149
/proc/meminfo: memFree=20965060/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=263496 memory=172876 CPUtime=1962.27 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 211611 0 0 0 195228 999 0 0 20 0 1 0 61777890 269819904 43219 33554432000 4194304 5849740 140727436984672 140727436983672 140493201911687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 65874 43219 747 405 0 62818 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 263496 KiB
Current children cumulated memory: 172876 KiB
[startup+2022.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/190 30150
/proc/meminfo: memFree=20963720/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=263480 memory=172860 CPUtime=2022.27 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 212926 0 0 0 201201 1026 0 0 20 0 1 0 61777890 269803520 43215 33554432000 4194304 5849740 140727436984672 140727436983672 140493201911687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 65870 43215 747 405 0 62814 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 263480 KiB
Current children cumulated memory: 172860 KiB
[startup+2082.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/190 30151
/proc/meminfo: memFree=20956528/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=271176 memory=180556 CPUtime=2082.27 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 215810 0 0 0 207161 1066 0 0 20 0 1 0 61777890 277684224 45139 33554432000 4194304 5849740 140727436984672 140727436983672 140493201911687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 67794 45139 747 405 0 64738 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 271176 KiB
Current children cumulated memory: 180556 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/190 30153
/proc/meminfo: memFree=20929984/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=281876 memory=191256 CPUtime=2142.26 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 222275 0 0 0 213099 1127 0 0 20 0 1 0 61777890 288641024 47814 33554432000 4194304 5849740 140727436984672 140727436983672 140493201500069 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 70469 47814 747 405 0 67413 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 281876 KiB
Current children cumulated memory: 191256 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/190 30154
/proc/meminfo: memFree=20987688/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=205952 memory=115372 CPUtime=2202.27 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 234778 0 0 0 219078 1149 0 0 20 0 1 0 61777890 210894848 28843 33554432000 4194304 5849740 140727436984672 140727436983672 5335568 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 51488 28843 757 405 0 48432 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 205952 KiB
Current children cumulated memory: 115372 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/191 30163
/proc/meminfo: memFree=20972100/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=202192 memory=111612 CPUtime=2262.26 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 241737 0 0 0 225058 1168 0 0 20 0 1 0 61777890 207044608 27903 33554432000 4194304 5849740 140727436984672 140727436983672 5307529 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 50548 27903 757 405 0 47492 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 202192 KiB
Current children cumulated memory: 111612 KiB
[startup+2322.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/192 30187
/proc/meminfo: memFree=20875084/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=207640 memory=116904 CPUtime=2322.26 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 247898 0 0 0 231036 1190 0 0 20 0 1 0 61777890 212623360 29226 33554432000 4194304 5849740 140727436984672 140727436983672 140493201911687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 51910 29226 757 405 0 48854 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 207640 KiB
Current children cumulated memory: 116904 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.07 2.07 3/192 30188
/proc/meminfo: memFree=20876124/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=207144 memory=116564 CPUtime=2382.26 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 249347 0 0 0 237011 1215 0 0 20 0 1 0 61777890 212115456 29141 33554432000 4194304 5849740 140727436984672 140727436983672 5437576 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 51786 29141 757 405 0 48730 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 207144 KiB
Current children cumulated memory: 116564 KiB
[startup+2442.3 s]
/proc/loadavg: 1.93 2.04 2.06 3/192 30250
/proc/meminfo: memFree=21242008/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=205904 memory=111028 CPUtime=2442.26 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 251230 0 0 0 242982 1244 0 0 20 0 1 0 61777890 210845696 27757 33554432000 4194304 5849740 140727436984672 140727436983672 140493201911687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 51476 27757 757 405 0 48420 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 205904 KiB
Current children cumulated memory: 111028 KiB
[startup+2502.3 s]
/proc/loadavg: 2.11 2.07 2.06 3/193 30252
/proc/meminfo: memFree=21229648/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=205752 memory=113784 CPUtime=2502.26 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 253251 0 0 0 248950 1276 0 0 20 0 1 0 61777890 210690048 28446 33554432000 4194304 5849740 140727436984672 140727436983672 5437821 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 51438 28446 757 405 0 48382 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 205752 KiB
Current children cumulated memory: 113784 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.09 2.07 2.06 3/193 30252
/proc/meminfo: memFree=21221292/32770624 swapFree=67108860/67108860
[pid=30087] ppid=30084 vsize=210992 memory=119540 CPUtime=2519.97 cores=1,3,5,7
/proc/30087/stat : 30087 (xcsp_picat) R 30084 30087 27337 0 -1 4202496 255000 0 0 0 250713 1284 0 0 20 0 1 0 61777890 216055808 29885 33554432000 4194304 5849740 140727436984672 140727436983672 140493201911687 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 28061696 140727436989622 140727436989700 140727436989700 140727436992458 0
/proc/30087/statm: 52748 29885 757 405 0 49692 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 210992 KiB
Current children cumulated memory: 119540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30087 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.13 s, system=12.844 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.01
CPU time (s): 2519.98
CPU user time (s): 2507.13
CPU system time (s): 12.844
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 295316
Max. memory (cumulated for all children) (KiB): 204696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.13
system time used= 12.844
maximum resident set size= 204696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255000
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= 45
involuntary context switches= 1126
# summary of solver processes directly reported to runsolver:
# pid: 30087
# total CPU time (s): 2519.98
# total CPU user time (s): 2507.13
# total CPU system time (s): 12.844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.26932 second user time and 21.2249 second system time
The end