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 (12948 MiB free)
memory of node 1: 16384 MiB (15353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293687-1532326530/watcher-4293687-1532326530 -o /tmp/evaluation-result-4293687-1532326530/solver-4293687-1532326530 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6630 --watchdog 2580 xcsp_picat HOME/instance-4293687-1532326530.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=10089, runsolver pid=10086
Current StackSize limit: 8192 KiB
[startup+0.10065 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10090
/proc/meminfo: memFree=28946636/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=140356 memory=35284 CPUtime=0.1 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 5392 0 0 0 9 1 0 0 20 0 1 0 50216205 143724544 8821 33554432000 4194304 5849740 140723167948160 140723167946840 140350594109319 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 35089 8821 655 405 0 32033 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 140356 KiB
Current children cumulated memory: 35284 KiB
[startup+0.209416 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10090
/proc/meminfo: memFree=28947340/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=141952 memory=36568 CPUtime=0.2 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 6540 0 0 0 19 1 0 0 20 0 1 0 50216205 145358848 9142 33554432000 4194304 5849740 140723167948160 140723167946840 5303653 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 35488 9142 671 405 0 32432 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 141952 KiB
Current children cumulated memory: 36568 KiB
[startup+0.309581 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10090
/proc/meminfo: memFree=28944548/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=147764 memory=38880 CPUtime=0.3 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 6560 0 0 0 29 1 0 0 20 0 1 0 50216205 151310336 9720 33554432000 4194304 5849740 140723167948160 140723167946840 5355906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 36941 9720 673 405 0 33885 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 147764 KiB
Current children cumulated memory: 38880 KiB
[startup+0.700348 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10090
/proc/meminfo: memFree=28944984/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=144708 memory=39428 CPUtime=0.68 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 7683 0 0 0 67 1 0 0 20 0 1 0 50216205 148180992 9857 33554432000 4194304 5849740 140723167948160 140723167946648 4204904 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 36177 9857 683 405 0 33121 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 144708 KiB
Current children cumulated memory: 39428 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10090
/proc/meminfo: memFree=28942784/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=146140 memory=40940 CPUtime=1.48 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 8042 0 0 0 147 1 0 0 20 0 1 0 50216205 149647360 10235 33554432000 4194304 5849740 140723167948160 140723167945704 4207882 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 36535 10235 683 405 0 33479 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 146140 KiB
Current children cumulated memory: 40940 KiB
[startup+3.10926 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10090
/proc/meminfo: memFree=28939008/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=146112 memory=41032 CPUtime=3.1 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 10869 0 0 0 308 2 0 0 20 0 1 0 50216205 149618688 10258 33554432000 4194304 5849740 140723167948160 140723167947320 5307637 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 36528 10258 684 405 0 33472 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 146112 KiB
Current children cumulated memory: 41032 KiB
[startup+6.30025 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10090
/proc/meminfo: memFree=28935840/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=148684 memory=43696 CPUtime=6.28 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 15521 0 0 0 626 2 0 0 20 0 1 0 50216205 152252416 10924 33554432000 4194304 5849740 140723167948160 140723167947160 5307602 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 37171 10924 698 405 0 34115 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 148684 KiB
Current children cumulated memory: 43696 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10090
/proc/meminfo: memFree=28937012/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=148492 memory=43460 CPUtime=12.68 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 20189 0 0 0 1263 5 0 0 20 0 1 0 50216205 152055808 10865 33554432000 4194304 5849740 140723167948160 140723167945192 4224107 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 37123 10865 698 405 0 34067 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 148492 KiB
Current children cumulated memory: 43460 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10090
/proc/meminfo: memFree=28912944/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=148476 memory=43368 CPUtime=25.48 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 27314 0 0 0 2536 12 0 0 20 0 1 0 50216205 152039424 10842 33554432000 4194304 5849740 140723167948160 140723167945192 140350594109319 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 37119 10842 698 405 0 34063 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 148476 KiB
Current children cumulated memory: 43368 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10090
/proc/meminfo: memFree=28905436/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=158060 memory=53072 CPUtime=51.08 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 33420 0 0 0 5075 33 0 0 20 0 1 0 50216205 161853440 13268 33554432000 4194304 5849740 140723167948160 140723167947032 5307518 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 39515 13268 698 405 0 36459 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 158060 KiB
Current children cumulated memory: 53072 KiB
[startup+102.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 10091
/proc/meminfo: memFree=28900960/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=173348 memory=71496 CPUtime=102.27 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 52219 0 0 0 10151 76 0 0 20 0 1 0 50216205 177508352 17874 33554432000 4194304 5849740 140723167948160 140723167947160 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 43337 17874 698 405 0 40281 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 173348 KiB
Current children cumulated memory: 71496 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 10092
/proc/meminfo: memFree=28901436/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=157348 memory=58432 CPUtime=162.27 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 64269 0 0 0 16099 128 0 0 20 0 1 0 50216205 161124352 14608 33554432000 4194304 5849740 140723167948160 140723167947032 5339443 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 39337 14608 698 405 0 36281 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 157348 KiB
Current children cumulated memory: 58432 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.04 4/187 10154
/proc/meminfo: memFree=28865968/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=197324 memory=98408 CPUtime=222.26 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 83993 0 0 0 22051 175 0 0 20 0 1 0 50216205 202059776 24602 33554432000 4194304 5849740 140723167948160 140723167947160 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 49331 24602 698 405 0 46275 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 197324 KiB
Current children cumulated memory: 98408 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/187 10162
/proc/meminfo: memFree=28852792/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=240208 memory=140924 CPUtime=282.24 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 92500 0 0 0 28009 215 0 0 20 0 1 0 50216205 245972992 35231 33554432000 4194304 5849740 140723167948160 140723167947032 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 60052 35231 698 405 0 56996 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 240208 KiB
Current children cumulated memory: 140924 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/187 10163
/proc/meminfo: memFree=28764124/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=274860 memory=175724 CPUtime=342.23 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 105961 0 0 0 33962 261 0 0 20 0 1 0 50216205 281456640 43931 33554432000 4194304 5849740 140723167948160 140723167947160 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 68715 43931 698 405 0 65659 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 274860 KiB
Current children cumulated memory: 175724 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 5/187 10164
/proc/meminfo: memFree=28863288/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=166136 memory=67052 CPUtime=402.24 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 114558 0 0 0 39918 306 0 0 20 0 1 0 50216205 170123264 16763 33554432000 4194304 5849740 140723167948160 140723167947032 5376256 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 41534 16763 698 405 0 38478 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 166136 KiB
Current children cumulated memory: 67052 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/187 10165
/proc/meminfo: memFree=28811472/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=200172 memory=101128 CPUtime=462.22 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 126736 0 0 0 45869 353 0 0 20 0 1 0 50216205 204976128 25282 33554432000 4194304 5849740 140723167948160 140723167947160 5392260 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 50043 25282 698 405 0 46987 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 200172 KiB
Current children cumulated memory: 101128 KiB
################
# More data... #
################
/proc/10089/statm: 121743 96982 698 405 0 118687 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 486972 KiB
Current children cumulated memory: 387928 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/187 10204
/proc/meminfo: memFree=27947432/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=458128 memory=359084 CPUtime=1782.09 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 337992 0 0 0 177067 1142 0 0 20 0 1 0 50216205 469123072 89771 33554432000 4194304 5849740 140723167948160 140723167947032 5317083 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 114532 89771 698 405 0 111476 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 458128 KiB
Current children cumulated memory: 359084 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 5/187 10205
/proc/meminfo: memFree=27624004/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=617704 memory=518660 CPUtime=1842.09 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 379967 0 0 0 183043 1166 0 0 20 0 1 0 50216205 632528896 129665 33554432000 4194304 5849740 140723167948160 140723167947160 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 154426 129665 698 405 0 151370 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 617704 KiB
Current children cumulated memory: 518660 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 5/187 10206
/proc/meminfo: memFree=27670716/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=571384 memory=472208 CPUtime=1902.08 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 418747 0 0 0 189011 1197 0 0 20 0 1 0 50216205 585097216 118052 33554432000 4194304 5849740 140723167948160 140723167947160 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 142846 118052 698 405 0 139790 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 571384 KiB
Current children cumulated memory: 472208 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 10207
/proc/meminfo: memFree=27615104/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=626912 memory=527868 CPUtime=1962.08 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 436585 0 0 0 194990 1218 0 0 20 0 1 0 50216205 641957888 131967 33554432000 4194304 5849740 140723167948160 140723167947160 5437616 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 156728 131967 698 405 0 153672 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 626912 KiB
Current children cumulated memory: 527868 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 10208
/proc/meminfo: memFree=27553172/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=687116 memory=588072 CPUtime=2022.07 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 481436 0 0 0 200968 1239 0 0 20 0 1 0 50216205 703606784 147018 33554432000 4194304 5849740 140723167948160 140723167947160 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 171779 147018 698 405 0 168723 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 687116 KiB
Current children cumulated memory: 588072 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 10217
/proc/meminfo: memFree=27432520/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=687116 memory=588072 CPUtime=2082.07 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 521677 0 0 0 206951 1256 0 0 20 0 1 0 50216205 703606784 147018 33554432000 4194304 5849740 140723167948160 140723167947160 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 171779 147018 698 405 0 168723 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 687116 KiB
Current children cumulated memory: 588072 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 5/188 10218
/proc/meminfo: memFree=27910204/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=775260 memory=676216 CPUtime=2142.06 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 571460 0 0 0 212932 1274 0 0 20 0 1 0 50216205 793866240 169054 33554432000 4194304 5849740 140723167948160 140723167947160 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 193815 169054 698 405 0 190759 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 775260 KiB
Current children cumulated memory: 676216 KiB
[startup+2202.3 s]
/proc/loadavg: 2.07 2.03 2.05 4/188 10219
/proc/meminfo: memFree=27854552/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=821448 memory=722404 CPUtime=2202.06 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 621349 0 0 0 218909 1297 0 0 20 0 1 0 50216205 841162752 180601 33554432000 4194304 5849740 140723167948160 140723167947160 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 205362 180601 698 405 0 202306 0
Current children cumulated CPU time: 2202.06 s
Current children cumulated vsize: 821448 KiB
Current children cumulated memory: 722404 KiB
[startup+2262.3 s]
/proc/loadavg: 2.08 2.04 2.05 4/187 10220
/proc/meminfo: memFree=27579320/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=1064908 memory=965864 CPUtime=2262.03 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 667855 0 0 0 224884 1319 0 0 20 0 1 0 50216205 1090465792 241466 33554432000 4194304 5849740 140723167948160 140723167947320 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 266227 241466 698 405 0 263171 0
Current children cumulated CPU time: 2262.03 s
Current children cumulated vsize: 1064908 KiB
Current children cumulated memory: 965864 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.04 2.05 4/188 10222
/proc/meminfo: memFree=27535460/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=1064908 memory=965864 CPUtime=2322 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 712877 0 0 0 230869 1331 0 0 20 0 1 0 50216205 1090465792 241466 33554432000 4194304 5849740 140723167948160 140723167947160 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 266227 241466 698 405 0 263171 0
Current children cumulated CPU time: 2322 s
Current children cumulated vsize: 1064908 KiB
Current children cumulated memory: 965864 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/187 10224
/proc/meminfo: memFree=27507000/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=1028140 memory=928896 CPUtime=2381.99 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 784772 0 0 0 236852 1347 0 0 20 0 1 0 50216205 1052815360 232224 33554432000 4194304 5849740 140723167948160 140723167947032 140350594109319 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 257035 232224 698 405 0 253979 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 1028140 KiB
Current children cumulated memory: 928896 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 10225
/proc/meminfo: memFree=27251952/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=1188684 memory=1089640 CPUtime=2441.98 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 836682 0 0 0 242835 1363 0 0 20 0 1 0 50216205 1217212416 272410 33554432000 4194304 5849740 140723167948160 140723167947160 5335563 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 297171 272410 698 405 0 294115 0
Current children cumulated CPU time: 2441.98 s
Current children cumulated vsize: 1188684 KiB
Current children cumulated memory: 1089640 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 5/187 10226
/proc/meminfo: memFree=27935616/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=506292 memory=407248 CPUtime=2501.97 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 910005 0 0 0 248815 1382 0 0 20 0 1 0 50216205 518443008 101812 33554432000 4194304 5849740 140723167948160 140723167947160 5313190 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 126573 101812 698 405 0 123517 0
Current children cumulated CPU time: 2501.97 s
Current children cumulated vsize: 506292 KiB
Current children cumulated memory: 407248 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 4/187 10226
/proc/meminfo: memFree=27993580/32770624 swapFree=67108796/67108860
[pid=10089] ppid=10086 vsize=448308 memory=349256 CPUtime=2519.67 cores=0,2,4,6
/proc/10089/stat : 10089 (xcsp_picat) R 10086 10089 6599 0 -1 4202496 931562 0 0 0 250581 1386 0 0 20 0 1 0 50216205 459067392 87314 33554432000 4194304 5849740 140723167948160 140723167947160 5335568 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 40886272 140723167954102 140723167954180 140723167954180 140723167956938 0
/proc/10089/statm: 112077 87314 698 405 0 109021 0
Current children cumulated CPU time: 2519.67 s
Current children cumulated vsize: 448308 KiB
Current children cumulated memory: 349256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 10089 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.82 s, system=13.8809 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): 2519.7
CPU user time (s): 2505.82
CPU system time (s): 13.8809
CPU usage (%): 99.9871
Max. virtual memory (cumulated for all children) (KiB): 1188684
Max. memory (cumulated for all children) (KiB): 1089640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.82
system time used= 13.8809
maximum resident set size= 1089640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 931562
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= 146
involuntary context switches= 3168
# summary of solver processes directly reported to runsolver:
# pid: 10089
# total CPU time (s): 2519.7
# total CPU user time (s): 2505.82
# total CPU system time (s): 13.8809
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.275 second user time and 15.9166 second system time
The end