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 (11825 MiB free)
memory of node 1: 16384 MiB (9185 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309803-1534320478/watcher-4309803-1534320478 -o /tmp/evaluation-result-4309803-1534320478/solver-4309803-1534320478 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534293289-16867 --watchdog 2580 xcsp_picat HOME/instance-4309803-1534320478.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
solver pid=20665, runsolver pid=20662
Current StackSize limit: 8192 KiB
[startup+0.100566 s]*
/proc/loadavg: 2.32 2.17 2.10 3/187 20666
/proc/meminfo: memFree=21500924/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2026332 memory=17224 CPUtime=0.1 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 1432 0 0 0 10 0 0 0 20 0 1 0 249611017 2074963968 4306 33554432000 4194304 5849940 140728788086336 140728788085208 5360104 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 506583 4306 740 405 0 503527 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026332 KiB
Current children cumulated memory: 17224 KiB
[startup+0.209512 s]*
/proc/loadavg: 2.32 2.17 2.10 3/187 20666
/proc/meminfo: memFree=21500568/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2026428 memory=17508 CPUtime=0.2 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 1513 0 0 0 20 0 0 0 20 0 1 0 249611017 2075062272 4377 33554432000 4194304 5849940 140728788086336 140728788085208 5305824 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 506607 4377 748 405 0 503551 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026428 KiB
Current children cumulated memory: 17508 KiB
[startup+0.30882 s]*
/proc/loadavg: 2.32 2.17 2.10 3/187 20666
/proc/meminfo: memFree=21500568/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2026768 memory=17768 CPUtime=0.3 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 1599 0 0 0 30 0 0 0 20 0 1 0 249611017 2075410432 4442 33554432000 4194304 5849940 140728788086336 140728788085208 139951781941127 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 506692 4442 756 405 0 503636 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026768 KiB
Current children cumulated memory: 17768 KiB
[startup+0.70024 s]
/proc/loadavg: 2.32 2.17 2.10 3/187 20666
/proc/meminfo: memFree=21500196/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2027072 memory=18044 CPUtime=0.69 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 1766 0 0 0 68 1 0 0 20 0 1 0 249611017 2075721728 4511 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 506768 4511 756 405 0 503712 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027072 KiB
Current children cumulated memory: 18044 KiB
[startup+1.50025 s]
/proc/loadavg: 2.32 2.17 2.10 3/187 20666
/proc/meminfo: memFree=21499400/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2027724 memory=18808 CPUtime=1.49 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 2595 0 0 0 147 2 0 0 20 0 1 0 249611017 2076389376 4702 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 506931 4702 756 405 0 503875 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2027724 KiB
Current children cumulated memory: 18808 KiB
[startup+3.10922 s]
/proc/loadavg: 2.32 2.17 2.10 3/187 20666
/proc/meminfo: memFree=21497364/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2029556 memory=20564 CPUtime=3.09 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 4637 0 0 0 305 4 0 0 20 0 1 0 249611017 2078265344 5141 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 507389 5141 756 405 0 504333 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2029556 KiB
Current children cumulated memory: 20564 KiB
[startup+6.30022 s]
/proc/loadavg: 2.29 2.16 2.10 3/187 20666
/proc/meminfo: memFree=21486496/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2031236 memory=22264 CPUtime=6.29 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 7023 0 0 0 621 8 0 0 20 0 1 0 249611017 2079985664 5566 33554432000 4194304 5849940 140728788086336 140728788085336 5438029 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 507809 5566 765 405 0 504753 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031236 KiB
Current children cumulated memory: 22264 KiB
[startup+12.7002 s]
/proc/loadavg: 2.27 2.16 2.10 2/185 20666
/proc/meminfo: memFree=22159988/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2038500 memory=29528 CPUtime=12.68 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 10592 0 0 0 1253 15 0 0 20 0 1 0 249611017 2087424000 7382 33554432000 4194304 5849940 140728788086336 140728788085496 139951781941127 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 509625 7382 765 405 0 506569 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2038500 KiB
Current children cumulated memory: 29528 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 2.15 2.10 3/187 20791
/proc/meminfo: memFree=22132484/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2038500 memory=29528 CPUtime=25.48 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 14611 0 0 0 2521 27 0 0 20 0 1 0 249611017 2087424000 7382 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 509625 7382 765 405 0 506569 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2038500 KiB
Current children cumulated memory: 29528 KiB
[startup+51.1092 s]
/proc/loadavg: 2.14 2.14 2.10 3/187 20791
/proc/meminfo: memFree=22104508/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2044224 memory=39060 CPUtime=51.08 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 22181 0 0 0 5056 52 0 0 20 0 1 0 249611017 2093285376 9765 33554432000 4194304 5849940 140728788086336 140728788085336 5438016 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 511056 9765 765 405 0 508000 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2044224 KiB
Current children cumulated memory: 39060 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.12 2.09 3/187 20792
/proc/meminfo: memFree=22051148/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2088232 memory=84724 CPUtime=102.27 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 33269 0 0 0 10145 82 0 0 20 0 1 0 249611017 2138349568 21181 33554432000 4194304 5849940 140728788086336 140728788085336 5438453 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 522058 21181 765 405 0 519002 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2088232 KiB
Current children cumulated memory: 84724 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/188 20801
/proc/meminfo: memFree=22004888/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2083500 memory=76928 CPUtime=162.27 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 46878 0 0 0 16122 105 0 0 20 0 1 0 249611017 2133504000 19232 33554432000 4194304 5849940 140728788086336 140728788085336 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 520875 19232 765 405 0 517819 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2083500 KiB
Current children cumulated memory: 76928 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/188 20802
/proc/meminfo: memFree=21956468/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2127776 memory=123064 CPUtime=222.25 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 62639 0 0 0 22101 124 0 0 20 0 1 0 249611017 2178842624 30766 33554432000 4194304 5849940 140728788086336 140728788085336 5438538 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 531944 30766 765 405 0 528888 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2127776 KiB
Current children cumulated memory: 123064 KiB
[startup+282.3 s]
/proc/loadavg: 2.22 2.11 2.09 3/188 20803
/proc/meminfo: memFree=21905620/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2132520 memory=127884 CPUtime=282.25 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 64337 0 0 0 28089 136 0 0 20 0 1 0 249611017 2183700480 31971 33554432000 4194304 5849940 140728788086336 140728788085336 5437837 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 533130 31971 765 405 0 530074 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2132520 KiB
Current children cumulated memory: 127884 KiB
[startup+342.3 s]
/proc/loadavg: 2.43 2.21 2.13 3/188 20804
/proc/meminfo: memFree=21968624/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2124476 memory=120836 CPUtime=342.25 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 76717 0 0 0 34072 153 0 0 20 0 1 0 249611017 2175463424 30209 33554432000 4194304 5849940 140728788086336 140728788085336 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 531119 30209 765 405 0 528063 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2124476 KiB
Current children cumulated memory: 120836 KiB
[startup+402.3 s]
/proc/loadavg: 2.16 2.17 2.12 3/188 20805
/proc/meminfo: memFree=21881640/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2183868 memory=180312 CPUtime=402.24 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 79959 0 0 0 40061 163 0 0 20 0 1 0 249611017 2236280832 45078 33554432000 4194304 5849940 140728788086336 140728788085336 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 545967 45078 765 405 0 542911 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2183868 KiB
Current children cumulated memory: 180312 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 2.14 2.11 3/187 20806
/proc/meminfo: memFree=21875448/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2183868 memory=180576 CPUtime=462.24 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 93018 0 0 0 46047 177 0 0 20 0 1 0 249611017 2236280832 45144 33554432000 4194304 5849940 140728788086336 140728788085336 5437917 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 545967 45144 765 405 0 542911 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2183868 KiB
Current children cumulated memory: 180576 KiB
################
# More data... #
################
Current children cumulated memory: 182852 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.06 2.09 3/188 20819
/proc/meminfo: memFree=21831456/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2186016 memory=182852 CPUtime=762.24 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 137872 0 0 0 75986 238 0 0 20 0 1 0 249611017 2238480384 45713 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 546504 45713 765 405 0 543448 0
Current children cumulated CPU time: 762.24 s
Current children cumulated vsize: 2186016 KiB
Current children cumulated memory: 182852 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.05 2.08 3/188 20820
/proc/meminfo: memFree=21890152/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2153248 memory=150084 CPUtime=822.24 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 157171 0 0 0 81975 249 0 0 20 0 1 0 249611017 2204925952 37521 33554432000 4194304 5849940 140728788086336 140728788085336 5438465 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 538312 37521 765 405 0 535256 0
Current children cumulated CPU time: 822.24 s
Current children cumulated vsize: 2153248 KiB
Current children cumulated memory: 150084 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/188 20821
/proc/meminfo: memFree=21829224/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2237568 memory=234368 CPUtime=882.24 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 163028 0 0 0 87967 257 0 0 20 0 1 0 249611017 2291269632 58592 33554432000 4194304 5849940 140728788086336 140728788085336 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 559392 58592 765 405 0 556336 0
Current children cumulated CPU time: 882.24 s
Current children cumulated vsize: 2237568 KiB
Current children cumulated memory: 234368 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/188 20822
/proc/meminfo: memFree=21796596/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2237568 memory=234404 CPUtime=942.25 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 185698 0 0 0 93959 266 0 0 20 0 1 0 249611017 2291269632 58601 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 559392 58601 765 405 0 556336 0
Current children cumulated CPU time: 942.25 s
Current children cumulated vsize: 2237568 KiB
Current children cumulated memory: 234404 KiB
[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 2.07 3/188 20823
/proc/meminfo: memFree=21778172/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2237568 memory=234404 CPUtime=1002.24 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 186481 0 0 0 99953 271 0 0 20 0 1 0 249611017 2291269632 58601 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 559392 58601 765 405 0 556336 0
Current children cumulated CPU time: 1002.24 s
Current children cumulated vsize: 2237568 KiB
Current children cumulated memory: 234404 KiB
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.07 3/187 20825
/proc/meminfo: memFree=21805168/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2188380 memory=185088 CPUtime=1062.25 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 212988 0 0 0 105943 282 0 0 20 0 1 0 249611017 2240901120 46272 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 547095 46272 765 405 0 544039 0
Current children cumulated CPU time: 1062.25 s
Current children cumulated vsize: 2188380 KiB
Current children cumulated memory: 185088 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/187 20826
/proc/meminfo: memFree=21790216/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2188380 memory=185088 CPUtime=1122.24 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 213220 0 0 0 111934 290 0 0 20 0 1 0 249611017 2240901120 46272 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 547095 46272 765 405 0 544039 0
Current children cumulated CPU time: 1122.24 s
Current children cumulated vsize: 2188380 KiB
Current children cumulated memory: 185088 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 20827
/proc/meminfo: memFree=21861792/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2116868 memory=113576 CPUtime=1182.25 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 231496 0 0 0 117921 304 0 0 20 0 1 0 249611017 2167672832 28394 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 529217 28394 765 405 0 526161 0
Current children cumulated CPU time: 1182.25 s
Current children cumulated vsize: 2116868 KiB
Current children cumulated memory: 113576 KiB
[startup+1198.8 s]
# the end of solver process 20665 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1195.67 s, system=3.09092 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 20827
/proc/meminfo: memFree=21861792/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2116868 memory=113576 CPUtime=1190.35 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 231933 0 0 0 118729 306 0 0 20 0 1 0 249611017 2167672832 28394 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 529217 28394 765 405 0 526161 0
Current children cumulated CPU time: 1190.35 s
Current children cumulated vsize: 2116868 KiB
Current children cumulated memory: 113576 KiB
[startup+1193.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 20827
/proc/meminfo: memFree=21861792/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2116868 memory=113576 CPUtime=1193.55 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 231975 0 0 0 119048 307 0 0 20 0 1 0 249611017 2167672832 28394 33554432000 4194304 5849940 140728788086336 140728788085336 5437799 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 529217 28394 765 405 0 526161 0
Current children cumulated CPU time: 1193.55 s
Current children cumulated vsize: 2116868 KiB
Current children cumulated memory: 113576 KiB
[startup+1196.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 20827
/proc/meminfo: memFree=21861792/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2116868 memory=113576 CPUtime=1196.75 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 231991 0 0 0 119367 308 0 0 20 0 1 0 249611017 2167672832 28394 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 529217 28394 765 405 0 526161 0
Current children cumulated CPU time: 1196.75 s
Current children cumulated vsize: 2116868 KiB
Current children cumulated memory: 113576 KiB
[startup+1197.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 20827
/proc/meminfo: memFree=21861792/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2116868 memory=113576 CPUtime=1197.55 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 232068 0 0 0 119447 308 0 0 20 0 1 0 249611017 2167672832 28394 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 529217 28394 765 405 0 526161 0
Current children cumulated CPU time: 1197.55 s
Current children cumulated vsize: 2116868 KiB
Current children cumulated memory: 113576 KiB
[startup+1198.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 20827
/proc/meminfo: memFree=21861792/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2116868 memory=113576 CPUtime=1198.35 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 232068 0 0 0 119527 308 0 0 20 0 1 0 249611017 2167672832 28394 33554432000 4194304 5849940 140728788086336 140728788085336 5335737 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 529217 28394 765 405 0 526161 0
Current children cumulated CPU time: 1198.35 s
Current children cumulated vsize: 2116868 KiB
Current children cumulated memory: 113576 KiB
[startup+1198.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 20827
/proc/meminfo: memFree=21861792/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2116868 memory=113576 CPUtime=1198.55 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 232068 0 0 0 119547 308 0 0 20 0 1 0 249611017 2167672832 28394 33554432000 4194304 5849940 140728788086336 140728788085336 139951781941127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 529217 28394 765 405 0 526161 0
Current children cumulated CPU time: 1198.55 s
Current children cumulated vsize: 2116868 KiB
Current children cumulated memory: 113576 KiB
[startup+1198.7 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 20827
/proc/meminfo: memFree=21861792/32770624 swapFree=67105356/67108860
[pid=20665] ppid=20662 vsize=2116868 memory=113576 CPUtime=1198.65 cores=0,2,4,6
/proc/20665/stat : 20665 (xcsp_picat) R 20662 20665 16836 0 -1 4202496 232068 0 0 0 119557 308 0 0 20 0 1 0 249611017 2167672832 28394 33554432000 4194304 5849940 140728788086336 140728788085336 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 39428096 140728788092086 140728788092164 140728788092164 140728788094922 0
/proc/20665/statm: 529217 28394 765 405 0 526161 0
Current children cumulated CPU time: 1198.65 s
Current children cumulated vsize: 2116868 KiB
Current children cumulated memory: 113576 KiB
Child status: 0
Real time (s): 1198.8
CPU time (s): 1198.76
CPU user time (s): 1195.67
CPU system time (s): 3.09092
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 2237568
Max. memory (cumulated for all children) (KiB): 234404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.67
system time used= 3.09092
maximum resident set size= 234404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232130
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= 7
involuntary context switches= 783
# summary of solver processes directly reported to runsolver:
# pid: 20665
# total CPU time (s): 1198.76
# total CPU user time (s): 1195.67
# total CPU system time (s): 3.09092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55762 second user time and 8.99593 second system time
The end