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 (8502 MiB free)
memory of node 1: 16384 MiB (11708 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303379-1534020032/watcher-4303379-1534020032 -o /tmp/evaluation-result-4303379-1534020032/solver-4303379-1534020032 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12842 --watchdog 2580 xcsp_picat HOME/instance-4303379-1534020032.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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=18480, runsolver pid=18477
Current StackSize limit: 8192 KiB
[startup+0.100747 s]*
/proc/loadavg: 2.00 2.01 2.04 3/188 18481
/proc/meminfo: memFree=20673372/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2025744 memory=28248 CPUtime=0.1 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 1629 0 0 0 10 0 0 0 20 0 1 0 219566035 2074361856 7062 33554432000 4194304 5849708 140722139153264 140722139152568 5293536 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 506436 7062 597 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28248 KiB
[startup+0.209799 s]*
/proc/loadavg: 2.00 2.01 2.04 3/188 18481
/proc/meminfo: memFree=20658984/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2025744 memory=39228 CPUtime=0.2 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 1813 0 0 0 20 0 0 0 20 0 1 0 219566035 2074361856 9807 33554432000 4194304 5849708 140722139153264 140722139152568 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 506436 9807 651 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 39228 KiB
[startup+0.309526 s]*
/proc/loadavg: 2.00 2.01 2.04 3/188 18481
/proc/meminfo: memFree=20658240/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2026480 memory=40012 CPUtime=0.3 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 2021 0 0 0 30 0 0 0 20 0 1 0 219566035 2075115520 10003 33554432000 4194304 5849708 140722139153264 140722139152568 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 506620 10003 666 405 0 503565 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026480 KiB
Current children cumulated memory: 40012 KiB
[startup+0.700227 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 18481
/proc/meminfo: memFree=20657496/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2027504 memory=40912 CPUtime=0.69 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 2277 0 0 0 66 3 0 0 20 0 1 0 219566035 2076164096 10228 33554432000 4194304 5849708 140722139153264 140722139152376 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 506876 10228 666 405 0 503821 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027504 KiB
Current children cumulated memory: 40912 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 18481
/proc/meminfo: memFree=20655264/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2032112 memory=45568 CPUtime=1.48 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 3429 0 0 0 143 5 0 0 20 0 1 0 219566035 2080882688 11392 33554432000 4194304 5849708 140722139153264 140722139152440 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 508028 11392 666 405 0 504973 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2032112 KiB
Current children cumulated memory: 45568 KiB
[startup+3.1093 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 18481
/proc/meminfo: memFree=20631008/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2038256 memory=51916 CPUtime=3.1 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 5014 0 0 0 297 13 0 0 20 0 1 0 219566035 2087174144 12979 33554432000 4194304 5849708 140722139153264 140722139152360 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 509564 12979 666 405 0 506509 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038256 KiB
Current children cumulated memory: 51916 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 18481
/proc/meminfo: memFree=20613984/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2050544 memory=64204 CPUtime=6.28 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 6504 0 0 0 604 24 0 0 20 0 1 0 219566035 2099757056 16051 33554432000 4194304 5849708 140722139153264 140722139152376 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 512636 16051 666 405 0 509581 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2050544 KiB
Current children cumulated memory: 64204 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 18481
/proc/meminfo: memFree=20604980/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2075104 memory=88616 CPUtime=12.68 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 19923 0 0 0 1233 35 0 0 20 0 1 0 219566035 2124906496 22154 33554432000 4194304 5849708 140722139153264 140722139151688 5360729 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 518776 22154 701 405 0 515721 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2075104 KiB
Current children cumulated memory: 88616 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 18481
/proc/meminfo: memFree=20585556/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2078896 memory=92568 CPUtime=25.48 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 28543 0 0 0 2498 50 0 0 20 0 1 0 219566035 2128789504 23142 33554432000 4194304 5849708 140722139153264 140722139152264 5394651 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 519724 23142 701 405 0 516669 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2078896 KiB
Current children cumulated memory: 92568 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 18481
/proc/meminfo: memFree=20558908/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2081212 memory=94824 CPUtime=51.09 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 47636 0 0 0 5034 75 0 0 20 0 1 0 219566035 2131161088 23706 33554432000 4194304 5849708 140722139153264 140722139152136 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 520303 23706 701 405 0 517248 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2081212 KiB
Current children cumulated memory: 94824 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 18482
/proc/meminfo: memFree=20558884/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2082484 memory=95896 CPUtime=102.27 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 69277 0 0 0 10099 128 0 0 20 0 1 0 219566035 2132463616 23974 33554432000 4194304 5849708 140722139153264 140722139152136 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 520621 23974 701 405 0 517566 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2082484 KiB
Current children cumulated memory: 95896 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 18483
/proc/meminfo: memFree=20551820/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2085628 memory=99308 CPUtime=162.27 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 96699 0 0 0 16043 184 0 0 20 0 1 0 219566035 2135683072 24827 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 521407 24827 701 405 0 518352 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2085628 KiB
Current children cumulated memory: 99308 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 18484
/proc/meminfo: memFree=20503912/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2084648 memory=98252 CPUtime=222.26 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 127054 0 0 0 21983 243 0 0 20 0 1 0 219566035 2134679552 24563 33554432000 4194304 5849708 140722139153264 140722139152424 5312667 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 521162 24563 701 405 0 518107 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2084648 KiB
Current children cumulated memory: 98252 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 18485
/proc/meminfo: memFree=20516076/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2087620 memory=101148 CPUtime=282.26 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 160345 0 0 0 27920 306 0 0 20 0 1 0 219566035 2137722880 25287 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 521905 25287 701 405 0 518850 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2087620 KiB
Current children cumulated memory: 101148 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 18486
/proc/meminfo: memFree=20517568/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2085520 memory=99188 CPUtime=342.25 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 190698 0 0 0 33864 361 0 0 20 0 1 0 219566035 2135572480 24797 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 521380 24797 701 405 0 518325 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2085520 KiB
Current children cumulated memory: 99188 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 18487
/proc/meminfo: memFree=20498604/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2086040 memory=102656 CPUtime=402.23 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 221777 0 0 0 39805 418 0 0 20 0 1 0 219566035 2136104960 25664 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 521510 25664 701 405 0 518455 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2086040 KiB
Current children cumulated memory: 102656 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 18488
/proc/meminfo: memFree=20512644/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2086644 memory=103616 CPUtime=462.23 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 244557 0 0 0 45746 477 0 0 20 0 1 0 219566035 2136723456 25904 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 521661 25904 701 405 0 518606 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2086644 KiB
Current children cumulated memory: 103616 KiB
################
# More data... #
################
/proc/18480/statm: 528036 32237 701 405 0 524981 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 2112144 KiB
Current children cumulated memory: 128948 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.07 2.06 3/187 18683
/proc/meminfo: memFree=20467844/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2145764 memory=162640 CPUtime=1782.09 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 725598 0 0 0 176746 1463 0 0 20 0 1 0 219566035 2197262336 40660 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 536441 40660 701 405 0 533386 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 2145764 KiB
Current children cumulated memory: 162640 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 18684
/proc/meminfo: memFree=20468096/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2100380 memory=117060 CPUtime=1842.08 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 748457 0 0 0 182706 1502 0 0 20 0 1 0 219566035 2150789120 29265 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 525095 29265 701 405 0 522040 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 2100380 KiB
Current children cumulated memory: 117060 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18685
/proc/meminfo: memFree=20598268/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2149352 memory=166060 CPUtime=1902.07 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 759062 0 0 0 188658 1549 0 0 20 0 1 0 219566035 2200936448 41515 33554432000 4194304 5849708 140722139153264 140722139152264 5392596 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 537338 41515 701 405 0 534283 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 2149352 KiB
Current children cumulated memory: 166060 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18686
/proc/meminfo: memFree=20582120/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2109204 memory=126032 CPUtime=1962.07 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 786571 0 0 0 194624 1583 0 0 20 0 1 0 219566035 2159824896 31508 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 527301 31508 701 405 0 524246 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 2109204 KiB
Current children cumulated memory: 126032 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18687
/proc/meminfo: memFree=20539552/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2146916 memory=163736 CPUtime=2022.06 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 795698 0 0 0 200587 1619 0 0 20 0 1 0 219566035 2198441984 40934 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 536729 40934 701 405 0 533674 0
Current children cumulated CPU time: 2022.06 s
Current children cumulated vsize: 2146916 KiB
Current children cumulated memory: 163736 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18688
/proc/meminfo: memFree=20516324/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2134708 memory=151520 CPUtime=2082.06 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 814733 0 0 0 206554 1652 0 0 20 0 1 0 219566035 2185940992 37880 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 533677 37880 701 405 0 530622 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 2134708 KiB
Current children cumulated memory: 151520 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 18689
/proc/meminfo: memFree=20489708/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2136836 memory=153528 CPUtime=2142.05 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 828313 0 0 0 212518 1687 0 0 20 0 1 0 219566035 2188120064 38382 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 534209 38382 701 405 0 531154 0
Current children cumulated CPU time: 2142.05 s
Current children cumulated vsize: 2136836 KiB
Current children cumulated memory: 153528 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18691
/proc/meminfo: memFree=20475264/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2148680 memory=165400 CPUtime=2202.04 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 846399 0 0 0 218483 1721 0 0 20 0 1 0 219566035 2200248320 41350 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 537170 41350 701 405 0 534115 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 2148680 KiB
Current children cumulated memory: 165400 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18692
/proc/meminfo: memFree=20467872/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2108168 memory=125024 CPUtime=2262.04 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 856123 0 0 0 224449 1755 0 0 20 0 1 0 219566035 2158764032 31256 33554432000 4194304 5849708 140722139153264 140722139152264 5312608 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 527042 31256 701 405 0 523987 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 2108168 KiB
Current children cumulated memory: 125024 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18693
/proc/meminfo: memFree=20478188/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2134908 memory=151712 CPUtime=2322.04 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 882080 0 0 0 230413 1791 0 0 20 0 1 0 219566035 2186145792 37928 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 533727 37928 701 405 0 530672 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 2134908 KiB
Current children cumulated memory: 151712 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18702
/proc/meminfo: memFree=20462152/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2149604 memory=166352 CPUtime=2382.03 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 888156 0 0 0 236377 1826 0 0 20 0 1 0 219566035 2201194496 41588 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 537401 41588 701 405 0 534346 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 2149604 KiB
Current children cumulated memory: 166352 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18703
/proc/meminfo: memFree=20596740/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2125644 memory=142440 CPUtime=2442.02 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 913082 0 0 0 242333 1869 0 0 20 0 1 0 219566035 2176659456 35610 33554432000 4194304 5849708 140722139153264 140722139152264 5312867 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 531411 35610 701 405 0 528356 0
Current children cumulated CPU time: 2442.02 s
Current children cumulated vsize: 2125644 KiB
Current children cumulated memory: 142440 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18704
/proc/meminfo: memFree=20537900/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2155216 memory=171928 CPUtime=2502.01 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 924776 0 0 0 248294 1907 0 0 20 0 1 0 219566035 2206941184 42982 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 538804 42982 701 405 0 535749 0
Current children cumulated CPU time: 2502.01 s
Current children cumulated vsize: 2155216 KiB
Current children cumulated memory: 171928 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18704
/proc/meminfo: memFree=20557680/32770624 swapFree=67108688/67108860
[pid=18480] ppid=18477 vsize=2135608 memory=152484 CPUtime=2519.73 cores=1,3,5,7
/proc/18480/stat : 18480 (xcsp_picat) R 18477 18480 12810 0 -1 4202496 941063 0 0 0 250056 1917 0 0 20 0 1 0 219566035 2186862592 38121 33554432000 4194304 5849708 140722139153264 140722139152264 139646334877575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 19374080 140722139161782 140722139161860 140722139161860 140722139164618 0
/proc/18480/statm: 533902 38121 701 405 0 530847 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 2135608 KiB
Current children cumulated memory: 152484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 18480 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2500.56 s, system=19.177 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.74
CPU user time (s): 2500.56
CPU system time (s): 19.177
CPU usage (%): 99.9891
Max. virtual memory (cumulated for all children) (KiB): 2159080
Max. memory (cumulated for all children) (KiB): 176004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2500.56
system time used= 19.177
maximum resident set size= 176004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 941063
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= 18
involuntary context switches= 1806
# summary of solver processes directly reported to runsolver:
# pid: 18480
# total CPU time (s): 2519.74
# total CPU user time (s): 2500.56
# total CPU system time (s): 19.177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2069 second user time and 18.4019 second system time
The end