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 (8964 MiB free)
memory of node 1: 16384 MiB (11272 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295875-1532582663/watcher-4295875-1532582663 -o /tmp/evaluation-result-4295875-1532582663/solver-4295875-1532582663 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32762 --watchdog 2580 xcsp_picat HOME/instance-4295875-1532582663.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=2681, runsolver pid=2678
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 2682
/proc/meminfo: memFree=20701620/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=135972 memory=23784 CPUtime=0.1 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 2022 0 0 0 9 1 0 0 20 0 1 0 75829496 139235328 5946 33554432000 4194304 5849740 140729187476800 140729187476800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 33993 5946 691 405 0 30937 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 135972 KiB
Current children cumulated memory: 23784 KiB
[startup+0.209726 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 2682
/proc/meminfo: memFree=20701620/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=135972 memory=23784 CPUtime=0.21 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 2022 0 0 0 20 1 0 0 20 0 1 0 75829496 139235328 5946 33554432000 4194304 5849740 140729187476800 140729187476800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 33993 5946 691 405 0 30937 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 135972 KiB
Current children cumulated memory: 23784 KiB
[startup+0.30895 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 2682
/proc/meminfo: memFree=20701248/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=136236 memory=24044 CPUtime=0.31 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 2088 0 0 0 30 1 0 0 20 0 1 0 75829496 139505664 6011 33554432000 4194304 5849740 140729187476800 140729187476800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 34059 6011 692 405 0 31003 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 136236 KiB
Current children cumulated memory: 24044 KiB
[startup+0.70023 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 2682
/proc/meminfo: memFree=20701248/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=136492 memory=24116 CPUtime=0.69 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 2152 0 0 0 68 1 0 0 20 0 1 0 75829496 139767808 6029 33554432000 4194304 5849740 140729187476800 140729187476800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 34123 6029 692 405 0 31067 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136492 KiB
Current children cumulated memory: 24116 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 2682
/proc/meminfo: memFree=20700504/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=137004 memory=24628 CPUtime=1.49 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 2280 0 0 0 147 2 0 0 20 0 1 0 75829496 140292096 6157 33554432000 4194304 5849740 140729187476800 140729187475896 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 34251 6157 692 405 0 31195 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 137004 KiB
Current children cumulated memory: 24628 KiB
[startup+3.10908 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 2682
/proc/meminfo: memFree=20699760/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=139052 memory=26932 CPUtime=3.1 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 3202 0 0 0 306 4 0 0 20 0 1 0 75829496 142389248 6733 33554432000 4194304 5849740 140729187476800 140729187475896 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 34763 6733 692 405 0 31707 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 139052 KiB
Current children cumulated memory: 26932 KiB
[startup+6.30025 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 2682
/proc/meminfo: memFree=20748136/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=147112 memory=34688 CPUtime=6.29 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 7155 0 0 0 622 7 0 0 20 0 1 0 75829496 150642688 8672 33554432000 4194304 5849740 140729187476800 140729187475896 5361730 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 36778 8672 711 405 0 33722 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 147112 KiB
Current children cumulated memory: 34688 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 2682
/proc/meminfo: memFree=20740792/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=148696 memory=36548 CPUtime=12.69 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 11070 0 0 0 1258 11 0 0 20 0 1 0 75829496 152264704 9137 33554432000 4194304 5849740 140729187476800 140729187475672 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 37174 9137 725 405 0 34118 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 148696 KiB
Current children cumulated memory: 36548 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 2743
/proc/meminfo: memFree=20822976/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=154464 memory=42348 CPUtime=25.49 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 18427 0 0 0 2526 23 0 0 20 0 1 0 75829496 158171136 10587 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 38616 10587 725 405 0 35560 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 154464 KiB
Current children cumulated memory: 42348 KiB
[startup+51.1098 s]
/proc/loadavg: 1.95 2.00 2.04 3/192 2746
/proc/meminfo: memFree=20810108/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=158548 memory=53068 CPUtime=51.09 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 26097 0 0 0 5061 48 0 0 20 0 1 0 75829496 162353152 13267 33554432000 4194304 5849740 140729187476800 140729187475800 5360437 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 39637 13267 725 405 0 36581 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 158548 KiB
Current children cumulated memory: 53068 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/192 2747
/proc/meminfo: memFree=20798388/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=160924 memory=58292 CPUtime=102.29 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 57800 0 0 0 10130 99 0 0 20 0 1 0 75829496 164786176 14573 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 40231 14573 725 405 0 37175 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 160924 KiB
Current children cumulated memory: 58292 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/192 2748
/proc/meminfo: memFree=20761564/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=159320 memory=56460 CPUtime=162.28 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 95873 0 0 0 16085 143 0 0 20 0 1 0 75829496 163143680 14115 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 39830 14115 725 405 0 36774 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 159320 KiB
Current children cumulated memory: 56460 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 2750
/proc/meminfo: memFree=20781540/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=166128 memory=63388 CPUtime=222.28 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 119795 0 0 0 22036 192 0 0 20 0 1 0 75829496 170115072 15847 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 41532 15847 725 405 0 38476 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 166128 KiB
Current children cumulated memory: 63388 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/192 2751
/proc/meminfo: memFree=20739600/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=192276 memory=89392 CPUtime=282.28 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 144271 0 0 0 27988 240 0 0 20 0 1 0 75829496 196890624 22348 33554432000 4194304 5849740 140729187476800 140729187475800 5413376 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 48069 22348 725 405 0 45013 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 192276 KiB
Current children cumulated memory: 89392 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/191 2760
/proc/meminfo: memFree=20723068/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=202812 memory=100116 CPUtime=342.27 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 157521 0 0 0 33950 277 0 0 20 0 1 0 75829496 207679488 25029 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 50703 25029 725 405 0 47647 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 202812 KiB
Current children cumulated memory: 100116 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/191 2761
/proc/meminfo: memFree=20661072/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=225164 memory=122584 CPUtime=402.28 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 176611 0 0 0 39921 307 0 0 20 0 1 0 75829496 230567936 30646 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 56291 30646 725 405 0 53235 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 225164 KiB
Current children cumulated memory: 122584 KiB
[startup+462.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/191 2762
/proc/meminfo: memFree=20732808/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=189408 memory=86556 CPUtime=462.28 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 188957 0 0 0 45890 338 0 0 20 0 1 0 75829496 193953792 21639 33554432000 4194304 5849740 140729187476800 140729187475960 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 47352 21639 725 405 0 44296 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 189408 KiB
Current children cumulated memory: 86556 KiB
################
# More data... #
################
/proc/2681/statm: 48974 23254 725 405 0 45918 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 195896 KiB
Current children cumulated memory: 93016 KiB
[startup+1782.3 s]
/proc/loadavg: 2.45 2.22 2.12 3/191 2802
/proc/meminfo: memFree=20644552/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=197940 memory=95088 CPUtime=1782.26 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 393993 0 0 0 177401 825 0 0 20 0 1 0 75829496 202690560 23772 33554432000 4194304 5849740 140729187476800 140729187475800 5438262 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 49485 23772 725 405 0 46429 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 197940 KiB
Current children cumulated memory: 95088 KiB
[startup+1842.3 s]
/proc/loadavg: 2.40 2.26 2.14 3/191 2805
/proc/meminfo: memFree=20643836/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=194596 memory=91712 CPUtime=1842.26 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 403214 0 0 0 183381 845 0 0 20 0 1 0 75829496 199266304 22928 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 48649 22928 725 405 0 45593 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 194596 KiB
Current children cumulated memory: 91712 KiB
[startup+1902.3 s]
/proc/loadavg: 2.21 2.23 2.14 3/191 2806
/proc/meminfo: memFree=20617400/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=222216 memory=114536 CPUtime=1902.26 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 412326 0 0 0 189358 868 0 0 20 0 1 0 75829496 227549184 28634 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 55554 28634 725 405 0 52498 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 222216 KiB
Current children cumulated memory: 114536 KiB
[startup+1962.3 s]
/proc/loadavg: 2.08 2.19 2.13 3/191 2807
/proc/meminfo: memFree=20564508/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=264436 memory=161596 CPUtime=1962.25 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 417109 0 0 0 195340 885 0 0 20 0 1 0 75829496 270782464 40399 33554432000 4194304 5849740 140729187476800 140729187475960 5312898 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 66109 40399 725 405 0 63053 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 264436 KiB
Current children cumulated memory: 161596 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.15 2.12 3/191 2809
/proc/meminfo: memFree=20633192/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=193112 memory=90320 CPUtime=2022.25 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 422058 0 0 0 201318 907 0 0 20 0 1 0 75829496 197746688 22580 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 48278 22580 725 405 0 45222 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 193112 KiB
Current children cumulated memory: 90320 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.14 2.12 3/191 2810
/proc/meminfo: memFree=20543836/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=238256 memory=135380 CPUtime=2082.25 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 427417 0 0 0 207300 925 0 0 20 0 1 0 75829496 243974144 33845 33554432000 4194304 5849740 140729187476800 140729187475800 5307557 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 59564 33845 725 405 0 56508 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 238256 KiB
Current children cumulated memory: 135380 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.12 2.12 3/191 2819
/proc/meminfo: memFree=20509736/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=233568 memory=130908 CPUtime=2142.26 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 431165 0 0 0 213281 945 0 0 20 0 1 0 75829496 239173632 32727 33554432000 4194304 5849740 140729187476800 140729187475672 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 58392 32727 725 405 0 55336 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 233568 KiB
Current children cumulated memory: 130908 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.10 2.11 3/192 2843
/proc/meminfo: memFree=20598004/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=243208 memory=134188 CPUtime=2202.25 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 437189 0 0 0 219261 964 0 0 20 0 1 0 75829496 249044992 33547 33554432000 4194304 5849740 140729187476800 140729187475960 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 60802 33547 725 405 0 57746 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 243208 KiB
Current children cumulated memory: 134188 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.08 2.11 3/192 2844
/proc/meminfo: memFree=20571020/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=230148 memory=127252 CPUtime=2262.25 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 441074 0 0 0 225243 982 0 0 20 0 1 0 75829496 235671552 31813 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 57537 31813 725 405 0 54481 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 230148 KiB
Current children cumulated memory: 127252 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/192 2845
/proc/meminfo: memFree=20542580/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=247268 memory=138468 CPUtime=2322.26 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 448272 0 0 0 231224 1002 0 0 20 0 1 0 75829496 253202432 34617 33554432000 4194304 5849740 140729187476800 140729187475672 4209100 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 61817 34617 725 405 0 58761 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 247268 KiB
Current children cumulated memory: 138468 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.09 3/192 2846
/proc/meminfo: memFree=20556320/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=207064 memory=104372 CPUtime=2382.25 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 458473 0 0 0 237208 1017 0 0 20 0 1 0 75829496 212033536 26093 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 51766 26093 725 405 0 48710 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 207064 KiB
Current children cumulated memory: 104372 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.06 2.09 3/192 2847
/proc/meminfo: memFree=20360844/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=211500 memory=108652 CPUtime=2442.25 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 464215 0 0 0 243188 1037 0 0 20 0 1 0 75829496 216576000 27163 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 52875 27163 725 405 0 49819 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 211500 KiB
Current children cumulated memory: 108652 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.05 2.09 3/190 2848
/proc/meminfo: memFree=20541100/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=253764 memory=150848 CPUtime=2502.25 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 470883 0 0 0 249172 1053 0 0 20 0 1 0 75829496 259854336 37712 33554432000 4194304 5849740 140729187476800 140729187475800 5437839 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 63441 37712 725 405 0 60385 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 253764 KiB
Current children cumulated memory: 150848 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.04 2.09 3/190 2848
/proc/meminfo: memFree=20579368/32770624 swapFree=67108860/67108860
[pid=2681] ppid=2678 vsize=211324 memory=108644 CPUtime=2519.96 cores=1,3,5,7
/proc/2681/stat : 2681 (xcsp_picat) R 2678 2681 32730 0 -1 4202496 475815 0 0 0 250937 1059 0 0 20 0 1 0 75829496 216395776 27161 33554432000 4194304 5849740 140729187476800 140729187475800 139797484703623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 47972352 140729187480758 140729187480836 140729187480836 140729187483594 0
/proc/2681/statm: 52831 27161 725 405 0 49775 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 211324 KiB
Current children cumulated memory: 108644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 2681 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.38 s, system=10.5929 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.97
CPU user time (s): 2509.38
CPU system time (s): 10.5929
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 287060
Max. memory (cumulated for all children) (KiB): 183936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.38
system time used= 10.5929
maximum resident set size= 183936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475815
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= 46
involuntary context switches= 877
# summary of solver processes directly reported to runsolver:
# pid: 2681
# total CPU time (s): 2519.97
# total CPU user time (s): 2509.38
# total CPU system time (s): 10.5929
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.11554 second user time and 20.3837 second system time
The end