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 (3209 MiB free)
memory of node 1: 16384 MiB (9607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295436-1532545454/watcher-4295436-1532545454 -o /tmp/evaluation-result-4295436-1532545454/solver-4295436-1532545454 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532542928-25611 --watchdog 2580 xcsp_picat HOME/instance-4295436-1532545454.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=25977, runsolver pid=25974
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 2.00 2.04 1.96 3/189 25988
/proc/meminfo: memFree=13070808/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=119504 memory=31324 CPUtime=0.1 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 1892 0 0 0 10 0 0 0 20 0 1 0 72108574 122372096 7831 33554432000 4194304 5849740 140727630712544 140727630712544 4561368 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 29876 7831 630 405 0 26820 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 31324 KiB
[startup+0.209773 s]*
/proc/loadavg: 2.00 2.04 1.96 3/189 25988
/proc/meminfo: memFree=13027180/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=119504 memory=54356 CPUtime=0.2 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 2031 0 0 0 20 0 0 0 20 0 1 0 72108574 122372096 13589 33554432000 4194304 5849740 140727630712544 140727630712544 4505500 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 29876 13589 630 405 0 26820 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 54356 KiB
[startup+0.309677 s]*
/proc/loadavg: 2.00 2.04 1.96 3/189 25988
/proc/meminfo: memFree=12998244/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=119504 memory=70740 CPUtime=0.31 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 2039 0 0 0 30 1 0 0 20 0 1 0 72108574 122372096 17685 33554432000 4194304 5849740 140727630712544 140727630712544 4877952 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 29876 17685 630 405 0 26820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 70740 KiB
[startup+0.700369 s]
/proc/loadavg: 2.00 2.04 1.96 3/189 25988
/proc/meminfo: memFree=12928876/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=204472 memory=108716 CPUtime=0.69 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 3090 0 0 0 67 2 0 0 20 0 1 0 72108574 209379328 27179 33554432000 4194304 5849740 140727630712544 140727630712544 4454696 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 51118 27179 635 405 0 48062 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 204472 KiB
Current children cumulated memory: 108716 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.04 1.96 3/189 25988
/proc/meminfo: memFree=12910052/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=228792 memory=164772 CPUtime=1.49 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 3855 0 0 0 146 3 0 0 20 0 1 0 72108574 234283008 41193 33554432000 4194304 5849740 140727630712544 140727630711848 5251197 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 57198 41193 664 405 0 54142 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 228792 KiB
Current children cumulated memory: 164772 KiB
[startup+3.10944 s]
/proc/loadavg: 2.00 2.04 1.96 3/189 25988
/proc/meminfo: memFree=12852620/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=251088 memory=189380 CPUtime=3.1 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 8800 0 0 0 285 25 0 0 20 0 1 0 72108574 257114112 47345 33554432000 4194304 5849740 140727630712544 140727630711528 5606176 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 62772 47345 727 405 0 59716 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 251088 KiB
Current children cumulated memory: 189380 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.04 1.96 3/189 25988
/proc/meminfo: memFree=12861372/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=251088 memory=189380 CPUtime=6.29 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 9744 0 0 0 603 26 0 0 20 0 1 0 72108574 257114112 47345 33554432000 4194304 5849740 140727630712544 140727630711528 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 62772 47345 727 405 0 59716 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 251088 KiB
Current children cumulated memory: 189380 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.04 1.96 3/189 25988
/proc/meminfo: memFree=12834520/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=267476 memory=205864 CPUtime=12.69 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 15950 0 0 0 1240 29 0 0 20 0 1 0 72108574 273895424 51466 33554432000 4194304 5849740 140727630712544 140727630711032 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 66869 51466 751 405 0 63813 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 267476 KiB
Current children cumulated memory: 205864 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.04 1.96 3/189 25988
/proc/meminfo: memFree=12822700/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=270280 memory=205620 CPUtime=25.49 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 23093 0 0 0 2494 55 0 0 20 0 1 0 72108574 276766720 51405 33554432000 4194304 5849740 140727630712544 140727630711032 5339855 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 67570 51405 768 405 0 64514 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 270280 KiB
Current children cumulated memory: 205620 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.04 1.96 3/188 25988
/proc/meminfo: memFree=12790772/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=276964 memory=215188 CPUtime=51.1 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 28955 0 0 0 5039 71 0 0 20 0 1 0 72108574 283611136 53797 33554432000 4194304 5849740 140727630712544 140727630711544 5313240 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 69241 53797 768 405 0 66185 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 276964 KiB
Current children cumulated memory: 215188 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/188 25989
/proc/meminfo: memFree=12755812/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=291012 memory=232340 CPUtime=102.29 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 37179 0 0 0 10131 98 0 0 20 0 1 0 72108574 297996288 58085 33554432000 4194304 5849740 140727630712544 140727630711544 4213666 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 72753 58085 768 405 0 69697 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 291012 KiB
Current children cumulated memory: 232340 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/187 25990
/proc/meminfo: memFree=12738900/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=296592 memory=241976 CPUtime=162.29 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 44425 0 0 0 16094 135 0 0 20 0 1 0 72108574 303710208 60494 33554432000 4194304 5849740 140727630712544 140727630711704 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 74148 60494 768 405 0 71092 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 296592 KiB
Current children cumulated memory: 241976 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/187 25991
/proc/meminfo: memFree=12654728/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=358468 memory=303676 CPUtime=222.29 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 53838 0 0 0 22062 167 0 0 20 0 1 0 72108574 367071232 75919 33554432000 4194304 5849740 140727630712544 140727630711032 5312805 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 89617 75919 768 405 0 86561 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 358468 KiB
Current children cumulated memory: 303676 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 25992
/proc/meminfo: memFree=12654704/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=356744 memory=302164 CPUtime=282.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 56392 0 0 0 28030 200 0 0 20 0 1 0 72108574 365305856 75541 33554432000 4194304 5849740 140727630712544 140727630711544 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 89186 75541 769 405 0 86130 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 356744 KiB
Current children cumulated memory: 302164 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 25993
/proc/meminfo: memFree=12657992/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=356744 memory=302200 CPUtime=342.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 64111 0 0 0 33999 231 0 0 20 0 1 0 72108574 365305856 75550 33554432000 4194304 5849740 140727630712544 140727630711544 5307557 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 89186 75550 769 405 0 86130 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 356744 KiB
Current children cumulated memory: 302200 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 26001
/proc/meminfo: memFree=12619824/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=372372 memory=317788 CPUtime=402.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 66897 0 0 0 39963 267 0 0 20 0 1 0 72108574 381308928 79447 33554432000 4194304 5849740 140727630712544 140727630711544 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 93093 79447 769 405 0 90037 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 372372 KiB
Current children cumulated memory: 317788 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 26002
/proc/meminfo: memFree=12627912/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=372372 memory=317828 CPUtime=462.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 67300 0 0 0 45929 301 0 0 20 0 1 0 72108574 381308928 79457 33554432000 4194304 5849740 140727630712544 140727630711416 5308421 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 93093 79457 769 405 0 90037 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 372372 KiB
Current children cumulated memory: 317828 KiB
################
# More data... #
################
/proc/25977/statm: 109893 96242 769 405 0 106837 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 439572 KiB
Current children cumulated memory: 384968 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 26042
/proc/meminfo: memFree=12258836/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=458752 memory=404016 CPUtime=1782.31 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 471109 0 0 0 177156 1075 0 0 20 0 1 0 72108574 469762048 101004 33554432000 4194304 5849740 140727630712544 140727630711544 5437576 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 114688 101004 769 405 0 111632 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 458752 KiB
Current children cumulated memory: 404016 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 26043
/proc/meminfo: memFree=12297164/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=466096 memory=411520 CPUtime=1842.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 499144 0 0 0 183124 1106 0 0 20 0 1 0 72108574 477282304 102880 33554432000 4194304 5849740 140727630712544 140727630711544 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 116524 102880 769 405 0 113468 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 466096 KiB
Current children cumulated memory: 411520 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 26044
/proc/meminfo: memFree=12260096/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=456128 memory=401384 CPUtime=1902.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 518444 0 0 0 189088 1142 0 0 20 0 1 0 72108574 467075072 100346 33554432000 4194304 5849740 140727630712544 140727630711416 5359395 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 114032 100346 769 405 0 110976 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 456128 KiB
Current children cumulated memory: 401384 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 26045
/proc/meminfo: memFree=12226948/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=458864 memory=404136 CPUtime=1962.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 536602 0 0 0 195056 1174 0 0 20 0 1 0 72108574 469876736 101034 33554432000 4194304 5849740 140727630712544 140727630711416 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 114716 101034 769 405 0 111660 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 458864 KiB
Current children cumulated memory: 404136 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 26046
/proc/meminfo: memFree=12086496/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=440708 memory=386004 CPUtime=2022.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 555414 0 0 0 201019 1211 0 0 20 0 1 0 72108574 451284992 96501 33554432000 4194304 5849740 140727630712544 140727630711544 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 110177 96501 769 405 0 107121 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 440708 KiB
Current children cumulated memory: 386004 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 26047
/proc/meminfo: memFree=12093700/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=433636 memory=379004 CPUtime=2082.31 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 576333 0 0 0 206984 1247 0 0 20 0 1 0 72108574 444043264 94751 33554432000 4194304 5849740 140727630712544 140727630711544 5437665 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 108409 94751 769 405 0 105353 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 433636 KiB
Current children cumulated memory: 379004 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 26048
/proc/meminfo: memFree=12095240/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=432588 memory=378032 CPUtime=2142.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 596485 0 0 0 212950 1280 0 0 20 0 1 0 72108574 442970112 94508 33554432000 4194304 5849740 140727630712544 140727630711544 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 108147 94508 769 405 0 105091 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 432588 KiB
Current children cumulated memory: 378032 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 26057
/proc/meminfo: memFree=12036436/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=491696 memory=437124 CPUtime=2202.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 623965 0 0 0 218913 1317 0 0 20 0 1 0 72108574 503496704 109281 33554432000 4194304 5849740 140727630712544 140727630711544 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 122924 109281 769 405 0 119868 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 491696 KiB
Current children cumulated memory: 437124 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 26058
/proc/meminfo: memFree=11956720/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=504948 memory=450252 CPUtime=2262.3 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 640581 0 0 0 224881 1349 0 0 20 0 1 0 72108574 517066752 112563 33554432000 4194304 5849740 140727630712544 140727630711544 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 126237 112563 769 405 0 123181 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 504948 KiB
Current children cumulated memory: 450252 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 26059
/proc/meminfo: memFree=11960796/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=500520 memory=445736 CPUtime=2322.31 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 668905 0 0 0 230844 1387 0 0 20 0 1 0 72108574 512532480 111434 33554432000 4194304 5849740 140727630712544 140727630711416 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 125130 111434 769 405 0 122074 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 500520 KiB
Current children cumulated memory: 445736 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 26060
/proc/meminfo: memFree=11818128/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=643108 memory=588564 CPUtime=2382.31 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 690920 0 0 0 236807 1424 0 0 20 0 1 0 72108574 658542592 147141 33554432000 4194304 5849740 140727630712544 140727630711544 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 160777 147141 769 405 0 157721 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 643108 KiB
Current children cumulated memory: 588564 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 26061
/proc/meminfo: memFree=11624512/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=592284 memory=537632 CPUtime=2442.31 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 722861 0 0 0 242767 1464 0 0 20 0 1 0 72108574 606498816 134408 33554432000 4194304 5849740 140727630712544 140727630711544 139754524880775 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 148071 134408 769 405 0 145015 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 592284 KiB
Current children cumulated memory: 537632 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 26062
/proc/meminfo: memFree=11679276/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=543148 memory=483476 CPUtime=2502.31 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 766495 0 0 0 248723 1508 0 0 20 0 1 0 72108574 556183552 120869 33554432000 4194304 5849740 140727630712544 140727630711544 5437611 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 135787 120869 769 405 0 132731 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 543148 KiB
Current children cumulated memory: 483476 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 26062
/proc/meminfo: memFree=11467908/32770624 swapFree=67108852/67108860
[pid=25977] ppid=25974 vsize=753972 memory=694400 CPUtime=2520.01 cores=1,3,5,7
/proc/25977/stat : 25977 (xcsp_picat) R 25974 25977 25579 0 -1 4202496 770779 0 0 0 250482 1519 0 0 20 0 1 0 72108574 772067328 173600 33554432000 4194304 5849740 140727630712544 140727630711544 5438196 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 37425152 140727630718134 140727630718212 140727630718212 140727630720970 0
/proc/25977/statm: 188493 173600 769 405 0 185437 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 753972 KiB
Current children cumulated memory: 694400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 25977 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2504.83 s, system=15.2083 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): 2520.04
CPU user time (s): 2504.83
CPU system time (s): 15.2083
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 769620
Max. memory (cumulated for all children) (KiB): 715204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2504.83
system time used= 15.2083
maximum resident set size= 715204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 770780
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= 38
involuntary context switches= 1658
# summary of solver processes directly reported to runsolver:
# pid: 25977
# total CPU time (s): 2520.04
# total CPU user time (s): 2504.83
# total CPU system time (s): 15.2083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0568 second user time and 18.2075 second system time
The end