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 (4962 MiB free)
memory of node 1: 16384 MiB (7745 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295388-1532524774/watcher-4295388-1532524774 -o /tmp/evaluation-result-4295388-1532524774/solver-4295388-1532524774 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532498874-27090 --watchdog 2580 xcsp_picat HOME/instance-4295388-1532524774.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=30095, runsolver pid=30092
[startup+0.100201 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 30096
/proc/meminfo: memFree=13002012/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=111820 memory=13836 CPUtime=0.1 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 1589 0 0 0 10 0 0 0 20 0 1 0 70040633 114503680 3459 33554432000 4194304 5849740 140734515916224 140734515916224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 27955 3459 697 405 0 24899 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111820 KiB
Current children cumulated memory: 13836 KiB
[startup+0.209741 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 30096
/proc/meminfo: memFree=13000824/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=112528 memory=14876 CPUtime=0.21 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 1831 0 0 0 21 0 0 0 20 0 1 0 70040633 115228672 3719 33554432000 4194304 5849740 140734515916224 140734515916224 5308854 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 28132 3719 737 405 0 25076 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112528 KiB
Current children cumulated memory: 14876 KiB
[startup+0.30947 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 30096
/proc/meminfo: memFree=13000824/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=112628 memory=14956 CPUtime=0.31 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 1842 0 0 0 31 0 0 0 20 0 1 0 70040633 115331072 3739 33554432000 4194304 5849740 140734515916224 140734515916224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 28157 3739 749 405 0 25101 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112628 KiB
Current children cumulated memory: 14956 KiB
[startup+0.700332 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30096
/proc/meminfo: memFree=13000336/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=113288 memory=15552 CPUtime=0.69 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 2018 0 0 0 68 1 0 0 20 0 1 0 70040633 116006912 3888 33554432000 4194304 5849740 140734515916224 140734515914872 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 28322 3888 749 405 0 25266 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113288 KiB
Current children cumulated memory: 15552 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30096
/proc/meminfo: memFree=12999220/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=113476 memory=15876 CPUtime=1.49 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 3166 0 0 0 147 2 0 0 20 0 1 0 70040633 116199424 3969 33554432000 4194304 5849740 140734515916224 140734515914872 5310079 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 28369 3969 749 405 0 25313 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 113476 KiB
Current children cumulated memory: 15876 KiB
[startup+3.10945 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30096
/proc/meminfo: memFree=12997008/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=116272 memory=18552 CPUtime=3.1 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 5286 0 0 0 305 5 0 0 20 0 1 0 70040633 119062528 4638 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 29068 4638 749 405 0 26012 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 116272 KiB
Current children cumulated memory: 18552 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30096
/proc/meminfo: memFree=12993164/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=120480 memory=22740 CPUtime=6.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 9114 0 0 0 622 7 0 0 20 0 1 0 70040633 123371520 5685 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 30120 5685 749 405 0 27064 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 120480 KiB
Current children cumulated memory: 22740 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30096
/proc/meminfo: memFree=12991304/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=123848 memory=26044 CPUtime=12.69 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 17235 0 0 0 1257 12 0 0 20 0 1 0 70040633 126820352 6511 33554432000 4194304 5849740 140734515916224 140734515915096 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 30962 6511 749 405 0 27906 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 123848 KiB
Current children cumulated memory: 26044 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30096
/proc/meminfo: memFree=12982372/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=131200 memory=33472 CPUtime=25.49 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 27270 0 0 0 2527 22 0 0 20 0 1 0 70040633 134348800 8368 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 32800 8368 749 405 0 29744 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 131200 KiB
Current children cumulated memory: 33472 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 30104
/proc/meminfo: memFree=13071724/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=139204 memory=41512 CPUtime=51.1 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 40274 0 0 0 5062 48 0 0 20 0 1 0 70040633 142544896 10378 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 34801 10378 758 405 0 31745 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 139204 KiB
Current children cumulated memory: 41512 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 30105
/proc/meminfo: memFree=13054976/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=167372 memory=69564 CPUtime=102.28 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 61071 0 0 0 10153 75 0 0 20 0 1 0 70040633 171388928 17391 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 41843 17391 758 405 0 38787 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 167372 KiB
Current children cumulated memory: 69564 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 30106
/proc/meminfo: memFree=13018536/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=162164 memory=68532 CPUtime=162.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 68514 0 0 0 16113 116 0 0 20 0 1 0 70040633 166055936 17133 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 40541 17133 758 405 0 37485 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 162164 KiB
Current children cumulated memory: 68532 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 30107
/proc/meminfo: memFree=12987104/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=181824 memory=88396 CPUtime=222.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 72728 0 0 0 22087 142 0 0 20 0 1 0 70040633 186187776 22099 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 45456 22099 758 405 0 42400 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 181824 KiB
Current children cumulated memory: 88396 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 30108
/proc/meminfo: memFree=12880752/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=238332 memory=144836 CPUtime=282.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 75012 0 0 0 28069 160 0 0 20 0 1 0 70040633 244051968 36209 33554432000 4194304 5849740 140734515916224 140734515915224 5438192 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 59583 36209 758 405 0 56527 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 238332 KiB
Current children cumulated memory: 144836 KiB
[startup+342.3 s]
/proc/loadavg: 2.58 2.16 2.09 3/187 30110
/proc/meminfo: memFree=12884712/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=234700 memory=141068 CPUtime=342.3 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 82237 0 0 0 34052 178 0 0 20 0 1 0 70040633 240332800 35267 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 58675 35267 758 405 0 55619 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 234700 KiB
Current children cumulated memory: 141068 KiB
[startup+402.3 s]
/proc/loadavg: 2.21 2.13 2.09 3/187 30111
/proc/meminfo: memFree=12871092/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=247076 memory=153624 CPUtime=402.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 83246 0 0 0 40035 194 0 0 20 0 1 0 70040633 253005824 38406 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 61769 38406 758 405 0 58713 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 247076 KiB
Current children cumulated memory: 153624 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/187 30112
/proc/meminfo: memFree=13034416/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=140944 memory=47644 CPUtime=462.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 85708 0 0 0 46024 205 0 0 20 0 1 0 70040633 144326656 11911 33554432000 4194304 5849740 140734515916224 140734515915224 5310062 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 35236 11911 758 405 0 32180 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 140944 KiB
Current children cumulated memory: 47644 KiB
################
# More data... #
################
/proc/30095/statm: 88288 64931 758 405 0 85232 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 353152 KiB
Current children cumulated memory: 259724 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 30173
/proc/meminfo: memFree=12732628/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=366604 memory=273176 CPUtime=1782.3 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 276777 0 0 0 177710 520 0 0 20 0 1 0 70040633 375402496 68294 33554432000 4194304 5849740 140734515916224 140734515915224 5438164 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 91651 68294 758 405 0 88595 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 366604 KiB
Current children cumulated memory: 273176 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/188 30182
/proc/meminfo: memFree=12717592/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=366604 memory=273176 CPUtime=1842.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 290065 0 0 0 183701 528 0 0 20 0 1 0 70040633 375402496 68294 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 91651 68294 758 405 0 88595 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 366604 KiB
Current children cumulated memory: 273176 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 30183
/proc/meminfo: memFree=12718120/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=366604 memory=273176 CPUtime=1902.28 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 294510 0 0 0 189690 538 0 0 20 0 1 0 70040633 375402496 68294 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 91651 68294 758 405 0 88595 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 366604 KiB
Current children cumulated memory: 273176 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 30184
/proc/meminfo: memFree=12672644/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=390884 memory=297304 CPUtime=1962.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 300766 0 0 0 195680 549 0 0 20 0 1 0 70040633 400265216 74326 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 97721 74326 758 405 0 94665 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 390884 KiB
Current children cumulated memory: 297304 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 30185
/proc/meminfo: memFree=12672836/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=390884 memory=297456 CPUtime=2022.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 302968 0 0 0 201672 557 0 0 20 0 1 0 70040633 400265216 74364 33554432000 4194304 5849740 140734515916224 140734515915224 5437600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 97721 74364 758 405 0 94665 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 390884 KiB
Current children cumulated memory: 297456 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 30247
/proc/meminfo: memFree=12843476/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=390884 memory=297456 CPUtime=2082.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 305180 0 0 0 207666 563 0 0 20 0 1 0 70040633 400265216 74364 33554432000 4194304 5849740 140734515916224 140734515915224 5437591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 97721 74364 758 405 0 94665 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 390884 KiB
Current children cumulated memory: 297456 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 30249
/proc/meminfo: memFree=12937744/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=306044 memory=212552 CPUtime=2142.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 308619 0 0 0 213655 574 0 0 20 0 1 0 70040633 313389056 53138 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 76511 53138 758 405 0 73455 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 306044 KiB
Current children cumulated memory: 212552 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 30250
/proc/meminfo: memFree=12992352/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=181412 memory=87984 CPUtime=2202.3 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 317435 0 0 0 219613 617 0 0 20 0 1 0 70040633 185765888 21996 33554432000 4194304 5849740 140734515916224 140734515915384 5335529 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 45353 21996 758 405 0 42297 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 181412 KiB
Current children cumulated memory: 87984 KiB
[startup+2262.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 30252
/proc/meminfo: memFree=12971076/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=204932 memory=107508 CPUtime=2262.29 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 323956 0 0 0 225581 648 0 0 20 0 1 0 70040633 209850368 26877 33554432000 4194304 5849740 140734515916224 140734515915096 5395308 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 51233 26877 758 405 0 48177 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 204932 KiB
Current children cumulated memory: 107508 KiB
[startup+2322.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 30254
/proc/meminfo: memFree=12913748/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=237704 memory=144200 CPUtime=2322.3 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 328643 0 0 0 231561 669 0 0 20 0 1 0 70040633 243408896 36050 33554432000 4194304 5849740 140734515916224 140734515915224 5438368 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 59426 36050 758 405 0 56370 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 237704 KiB
Current children cumulated memory: 144200 KiB
[startup+2382.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 30255
/proc/meminfo: memFree=12848196/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=263076 memory=169648 CPUtime=2382.3 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 333869 0 0 0 237544 686 0 0 20 0 1 0 70040633 269389824 42412 33554432000 4194304 5849740 140734515916224 140734515915224 5438335 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 65769 42412 758 405 0 62713 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 263076 KiB
Current children cumulated memory: 169648 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30263
/proc/meminfo: memFree=12807580/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=279460 memory=186032 CPUtime=2442.3 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 336813 0 0 0 243529 701 0 0 20 0 1 0 70040633 286167040 46508 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 69865 46508 758 405 0 66809 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 279460 KiB
Current children cumulated memory: 186032 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30286
/proc/meminfo: memFree=12789100/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=319896 memory=226360 CPUtime=2502.31 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 338422 0 0 0 249519 712 0 0 20 0 1 0 70040633 327573504 56590 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 79974 56590 758 405 0 76918 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 319896 KiB
Current children cumulated memory: 226360 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 30286
/proc/meminfo: memFree=12789100/32770624 swapFree=67108860/67108860
[pid=30095] ppid=30092 vsize=319896 memory=226360 CPUtime=2520.01 cores=0,2,4,6
/proc/30095/stat : 30095 (xcsp_picat) R 30092 30095 27059 0 -1 4202496 338424 0 0 0 251286 715 0 0 20 0 1 0 70040633 327573504 56590 33554432000 4194304 5849740 140734515916224 140734515915224 139975133175687 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 19599360 140734515922102 140734515922180 140734515922180 140734515924938 0
/proc/30095/statm: 79974 56590 758 405 0 76918 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 319896 KiB
Current children cumulated memory: 226360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30095 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.87 s, system=7.15934 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): 2520.02
CPU user time (s): 2512.87
CPU system time (s): 7.15934
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 401260
Max. memory (cumulated for all children) (KiB): 307832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.87
system time used= 7.15934
maximum resident set size= 307832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338424
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= 120
involuntary context switches= 2016
# summary of solver processes directly reported to runsolver:
# pid: 30095
# total CPU time (s): 2520.02
# total CPU user time (s): 2512.87
# total CPU system time (s): 7.15934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.74943 second user time and 19.845 second system time
The end