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 (3079 MiB free)
memory of node 1: 16384 MiB (1858 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303328-1534029997/watcher-4303328-1534029997 -o /tmp/evaluation-result-4303328-1534029997/solver-4303328-1534029997 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534027474-10024 --watchdog 2580 xcsp_picat HOME/instance-4303328-1534029997.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=10354, runsolver pid=10351
[startup+0.100413 s]*
/proc/loadavg: 1.95 2.01 1.95 3/192 10355
/proc/meminfo: memFree=5028472/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2033712 memory=30592 CPUtime=0.1 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 2181 0 0 0 9 1 0 0 20 0 1 0 220562832 2082521088 7648 33554432000 4194304 5849708 140729245464352 140729245463448 140374408998791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 508428 7648 689 405 0 505373 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033712 KiB
Current children cumulated memory: 30592 KiB
[startup+0.209917 s]*
/proc/loadavg: 1.95 2.01 1.95 3/192 10355
/proc/meminfo: memFree=5027852/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2034264 memory=31280 CPUtime=0.21 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 2347 0 0 0 20 1 0 0 20 0 1 0 220562832 2083086336 7820 33554432000 4194304 5849708 140729245464352 140729245463448 140374408998791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 508566 7820 706 405 0 505511 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2034264 KiB
Current children cumulated memory: 31280 KiB
[startup+0.309112 s]*
/proc/loadavg: 1.95 2.01 1.95 3/192 10355
/proc/meminfo: memFree=5027108/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2034912 memory=31680 CPUtime=0.31 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 2509 0 0 0 30 1 0 0 20 0 1 0 220562832 2083749888 7920 33554432000 4194304 5849708 140729245464352 140729245463448 140374408998791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 508728 7920 708 405 0 505673 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2034912 KiB
Current children cumulated memory: 31680 KiB
[startup+0.700348 s]
/proc/loadavg: 1.95 2.01 1.95 3/192 10355
/proc/meminfo: memFree=5020784/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2059604 memory=56420 CPUtime=0.68 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 6165 0 0 0 67 1 0 0 20 0 1 0 220562832 2109034496 14105 33554432000 4194304 5849708 140729245464352 140729245463448 4509026 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 514901 14105 710 405 0 511846 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2059604 KiB
Current children cumulated memory: 56420 KiB
[startup+1.50037 s]
/proc/loadavg: 1.95 2.01 1.95 3/192 10355
/proc/meminfo: memFree=4977788/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2102932 memory=99848 CPUtime=1.49 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 9108 0 0 0 146 3 0 0 20 0 1 0 220562832 2153402368 24962 33554432000 4194304 5849708 140729245464352 140729245463288 5303787 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 525733 24962 723 405 0 522678 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2102932 KiB
Current children cumulated memory: 99848 KiB
[startup+3.10992 s]
/proc/loadavg: 1.96 2.01 1.95 3/192 10355
/proc/meminfo: memFree=4923212/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2138736 memory=134628 CPUtime=3.09 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 24513 0 0 0 305 4 0 0 20 0 1 0 220562832 2190065664 33657 33554432000 4194304 5849708 140729245464352 140729245463000 5416731 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 534684 33657 735 405 0 531629 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2138736 KiB
Current children cumulated memory: 134628 KiB
[startup+6.30037 s]
/proc/loadavg: 1.96 2.01 1.95 3/192 10355
/proc/meminfo: memFree=4887468/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2172340 memory=168356 CPUtime=6.28 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 38203 0 0 0 623 5 0 0 20 0 1 0 220562832 2224476160 42089 33554432000 4194304 5849708 140729245464352 140729245463512 140374408998791 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 543085 42089 743 405 0 540030 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2172340 KiB
Current children cumulated memory: 168356 KiB
[startup+12.7003 s]
/proc/loadavg: 1.96 2.01 1.95 3/192 10355
/proc/meminfo: memFree=4917836/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2139656 memory=136628 CPUtime=12.69 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 54020 0 0 0 1260 9 0 0 20 0 1 0 220562832 2191007744 34157 33554432000 4194304 5849708 140729245464352 140729245463512 5335584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 534914 34157 743 405 0 531859 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2139656 KiB
Current children cumulated memory: 136628 KiB
[startup+25.5004 s]
/proc/loadavg: 1.97 2.01 1.95 3/192 10355
/proc/meminfo: memFree=4912464/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2142684 memory=139724 CPUtime=25.48 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 69310 0 0 0 2531 17 0 0 20 0 1 0 220562832 2194108416 34931 33554432000 4194304 5849708 140729245464352 140729245463224 5355985 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 535671 34931 743 405 0 532616 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2142684 KiB
Current children cumulated memory: 139724 KiB
[startup+51.1099 s]
/proc/loadavg: 1.98 2.01 1.95 3/192 10355
/proc/meminfo: memFree=4879536/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2147980 memory=144944 CPUtime=51.09 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 85255 0 0 0 5081 28 0 0 20 0 1 0 220562832 2199531520 36236 33554432000 4194304 5849708 140729245464352 140729245463352 5312730 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 536995 36236 743 405 0 533940 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2147980 KiB
Current children cumulated memory: 144944 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 1.95 3/192 10357
/proc/meminfo: memFree=4897316/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2143544 memory=140500 CPUtime=102.27 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 115851 0 0 0 10180 47 0 0 20 0 1 0 220562832 2194989056 35125 33554432000 4194304 5849708 140729245464352 140729245462840 4213546 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 535886 35125 743 405 0 532831 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2143544 KiB
Current children cumulated memory: 140500 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 10358
/proc/meminfo: memFree=4895812/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2145260 memory=142300 CPUtime=162.27 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 131877 0 0 0 16158 69 0 0 20 0 1 0 220562832 2196746240 35575 33554432000 4194304 5849708 140729245464352 140729245463352 5312673 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 536315 35575 743 405 0 533260 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2145260 KiB
Current children cumulated memory: 142300 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 10366
/proc/meminfo: memFree=4846612/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2147176 memory=144120 CPUtime=222.27 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 135056 0 0 0 22135 92 0 0 20 0 1 0 220562832 2198708224 36030 33554432000 4194304 5849708 140729245464352 140729245463352 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 536794 36030 743 405 0 533739 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2147176 KiB
Current children cumulated memory: 144120 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 10367
/proc/meminfo: memFree=4879704/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2147708 memory=144808 CPUtime=282.26 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 154655 0 0 0 28112 114 0 0 20 0 1 0 220562832 2199252992 36202 33554432000 4194304 5849708 140729245464352 140729245463352 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 536927 36202 743 405 0 533872 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2147708 KiB
Current children cumulated memory: 144808 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.02 1.96 3/191 10368
/proc/meminfo: memFree=4859076/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2152688 memory=149856 CPUtime=342.26 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 163018 0 0 0 34087 139 0 0 20 0 1 0 220562832 2204352512 37464 33554432000 4194304 5849708 140729245464352 140729245463352 5339459 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 538172 37464 743 405 0 535117 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2152688 KiB
Current children cumulated memory: 149856 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/191 10369
/proc/meminfo: memFree=4871300/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2152688 memory=149856 CPUtime=402.25 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 182552 0 0 0 40066 159 0 0 20 0 1 0 220562832 2204352512 37464 33554432000 4194304 5849708 140729245464352 140729245463224 5335584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 538172 37464 743 405 0 535117 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2152688 KiB
Current children cumulated memory: 149856 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 1.97 3/191 10370
/proc/meminfo: memFree=4855492/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2154996 memory=151872 CPUtime=462.25 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 187142 0 0 0 46046 179 0 0 20 0 1 0 220562832 2206715904 37968 33554432000 4194304 5849708 140729245464352 140729245463352 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 538749 37968 743 405 0 535694 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2154996 KiB
Current children cumulated memory: 151872 KiB
################
# More data... #
################
/proc/10354/statm: 544768 45224 743 405 0 541713 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 2179072 KiB
Current children cumulated memory: 180896 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.08 2.05 3/191 10413
/proc/meminfo: memFree=4656680/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2228668 memory=230352 CPUtime=1782.25 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 362870 0 0 0 177607 618 0 0 20 0 1 0 220562832 2282156032 57588 33554432000 4194304 5849708 140729245464352 140729245463224 140374408998791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 557167 57588 743 405 0 554112 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 2228668 KiB
Current children cumulated memory: 230352 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/191 10414
/proc/meminfo: memFree=4681224/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2209364 memory=211100 CPUtime=1842.26 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 367622 0 0 0 183588 638 0 0 20 0 1 0 220562832 2262388736 52775 33554432000 4194304 5849708 140729245464352 140729245463352 5437580 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 552341 52775 743 405 0 549286 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 2209364 KiB
Current children cumulated memory: 211100 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/191 10416
/proc/meminfo: memFree=4655232/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2221772 memory=223596 CPUtime=1902.26 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 369620 0 0 0 189565 661 0 0 20 0 1 0 220562832 2275094528 55899 33554432000 4194304 5849708 140729245464352 140729245463352 5438155 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 555443 55899 743 405 0 552388 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 2221772 KiB
Current children cumulated memory: 223596 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 10417
/proc/meminfo: memFree=4599684/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2278236 memory=280060 CPUtime=1962.26 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 377505 0 0 0 195549 677 0 0 20 0 1 0 220562832 2332913664 70015 33554432000 4194304 5849708 140729245464352 140729245463352 5437623 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 569559 70015 743 405 0 566504 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 2278236 KiB
Current children cumulated memory: 280060 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 10427
/proc/meminfo: memFree=4736184/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2245280 memory=247104 CPUtime=2022.27 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 379452 0 0 0 201535 692 0 0 20 0 1 0 220562832 2299166720 61776 33554432000 4194304 5849708 140729245464352 140729245463352 5335545 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 561320 61776 743 405 0 558265 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 2245280 KiB
Current children cumulated memory: 247104 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 10453
/proc/meminfo: memFree=4693772/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2180188 memory=182140 CPUtime=2082.27 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 379551 0 0 0 207519 708 0 0 20 0 1 0 220562832 2232512512 45535 33554432000 4194304 5849708 140729245464352 140729245463352 5340388 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 545047 45535 743 405 0 541992 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 2180188 KiB
Current children cumulated memory: 182140 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 10455
/proc/meminfo: memFree=4445260/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2184944 memory=186664 CPUtime=2142.28 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 380203 0 0 0 213504 724 0 0 20 0 1 0 220562832 2237382656 46666 33554432000 4194304 5849708 140729245464352 140729245463512 140374408998791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 546236 46666 743 405 0 543181 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 2184944 KiB
Current children cumulated memory: 186664 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 10456
/proc/meminfo: memFree=4696544/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2184944 memory=186768 CPUtime=2202.29 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 381872 0 0 0 219484 745 0 0 20 0 1 0 220562832 2237382656 46692 33554432000 4194304 5849708 140729245464352 140729245463352 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 546236 46692 743 405 0 543181 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 2184944 KiB
Current children cumulated memory: 186768 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 10457
/proc/meminfo: memFree=4625112/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2223660 memory=225484 CPUtime=2262.29 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 386831 0 0 0 225463 766 0 0 20 0 1 0 220562832 2277027840 56371 33554432000 4194304 5849708 140729245464352 140729245463352 5438102 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 555915 56371 743 405 0 552860 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 2223660 KiB
Current children cumulated memory: 225484 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10458
/proc/meminfo: memFree=4714128/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2168948 memory=170616 CPUtime=2322.3 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 388530 0 0 0 231445 785 0 0 20 0 1 0 220562832 2221002752 42654 33554432000 4194304 5849708 140729245464352 140729245463352 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 542237 42654 743 405 0 539182 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 2168948 KiB
Current children cumulated memory: 170616 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10459
/proc/meminfo: memFree=4674644/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2168948 memory=170616 CPUtime=2382.3 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 388531 0 0 0 237426 804 0 0 20 0 1 0 220562832 2221002752 42654 33554432000 4194304 5849708 140729245464352 140729245463224 4213318 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 542237 42654 743 405 0 539182 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 2168948 KiB
Current children cumulated memory: 170616 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10460
/proc/meminfo: memFree=4650944/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2181408 memory=183232 CPUtime=2442.31 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 392479 0 0 0 243406 825 0 0 20 0 1 0 220562832 2233761792 45808 33554432000 4194304 5849708 140729245464352 140729245463352 5335520 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 545352 45808 743 405 0 542297 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 2181408 KiB
Current children cumulated memory: 183232 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10462
/proc/meminfo: memFree=4620708/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2184232 memory=186056 CPUtime=2502.31 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 394081 0 0 0 249387 844 0 0 20 0 1 0 220562832 2236653568 46514 33554432000 4194304 5849708 140729245464352 140729245463224 4217781 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 546058 46514 743 405 0 543003 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 2184232 KiB
Current children cumulated memory: 186056 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.16 2.05 2.06 3/191 10523
/proc/meminfo: memFree=4731072/32770624 swapFree=67108856/67108860
[pid=10354] ppid=10351 vsize=2202752 memory=204472 CPUtime=2520.01 cores=1,3,5,7
/proc/10354/stat : 10354 (xcsp_picat) R 10351 10354 9992 0 -1 4202496 396239 0 0 0 251152 849 0 0 20 0 1 0 220562832 2255618048 51118 33554432000 4194304 5849708 140729245464352 140729245463352 140374408998791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19107840 140729245471926 140729245472004 140729245472004 140729245474762 0
/proc/10354/statm: 550688 51118 743 405 0 547633 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 2202752 KiB
Current children cumulated memory: 204472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 10354 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.53 s, system=8.50217 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.03
CPU user time (s): 2511.53
CPU system time (s): 8.50217
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2343776
Max. memory (cumulated for all children) (KiB): 345600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.53
system time used= 8.50217
maximum resident set size= 345600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396239
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= 42
involuntary context switches= 1274
# summary of solver processes directly reported to runsolver:
# pid: 10354
# total CPU time (s): 2520.03
# total CPU user time (s): 2511.53
# total CPU system time (s): 8.50217
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.2361 second user time and 21.2248 second system time
The end