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 (1962 MiB free)
memory of node 1: 16384 MiB (2690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303110-1534006767/watcher-4303110-1534006767 -o /tmp/evaluation-result-4303110-1534006767/solver-4303110-1534006767 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5741 --watchdog 2580 xcsp_picat HOME/instance-4303110-1534006767.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7473, runsolver pid=7470
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 7474
/proc/meminfo: memFree=4744952/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2026172 memory=21880 CPUtime=0.1 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 2042 0 0 0 10 0 0 0 20 0 1 0 218239855 2074800128 5470 33554432000 4194304 5849708 140731588693424 140731588693424 5606192 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 506543 5470 706 405 0 503488 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026172 KiB
Current children cumulated memory: 21880 KiB
[startup+0.209565 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 7474
/proc/meminfo: memFree=4745012/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2026692 memory=22280 CPUtime=0.2 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 2174 0 0 0 20 0 0 0 20 0 1 0 218239855 2075332608 5570 33554432000 4194304 5849708 140731588693424 140731588693424 5300063 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 506673 5570 710 405 0 503618 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026692 KiB
Current children cumulated memory: 22280 KiB
[startup+0.308843 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 7474
/proc/meminfo: memFree=4736388/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2027204 memory=22676 CPUtime=0.31 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 2303 0 0 0 30 1 0 0 20 0 1 0 218239855 2075856896 5669 33554432000 4194304 5849708 140731588693424 140731588693424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 506801 5669 711 405 0 503746 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027204 KiB
Current children cumulated memory: 22676 KiB
[startup+0.700272 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7474
/proc/meminfo: memFree=4742556/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2028228 memory=23704 CPUtime=0.69 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 2559 0 0 0 67 2 0 0 20 0 1 0 218239855 2076905472 5926 33554432000 4194304 5849708 140731588693424 140731588693424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 507057 5926 711 405 0 504002 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028228 KiB
Current children cumulated memory: 23704 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7474
/proc/meminfo: memFree=4733784/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2032324 memory=27848 CPUtime=1.49 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 3583 0 0 0 144 5 0 0 20 0 1 0 218239855 2081099776 6962 33554432000 4194304 5849708 140731588693424 140731588692664 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 508081 6962 711 405 0 505026 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2032324 KiB
Current children cumulated memory: 27848 KiB
[startup+3.10935 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7474
/proc/meminfo: memFree=4732396/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2038468 memory=34196 CPUtime=3.1 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 5397 0 0 0 300 10 0 0 20 0 1 0 218239855 2087391232 8549 33554432000 4194304 5849708 140731588693424 140731588692520 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 509617 8549 711 405 0 506562 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038468 KiB
Current children cumulated memory: 34196 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7474
/proc/meminfo: memFree=4727664/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2040324 memory=36056 CPUtime=6.29 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 10642 0 0 0 614 15 0 0 20 0 1 0 218239855 2089291776 9014 33554432000 4194304 5849708 140731588693424 140731588692424 5317001 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 510081 9014 744 405 0 507026 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2040324 KiB
Current children cumulated memory: 36056 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7474
/proc/meminfo: memFree=4708248/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2056668 memory=52536 CPUtime=12.69 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 17039 0 0 0 1239 30 0 0 20 0 1 0 218239855 2106028032 13134 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 514167 13134 753 405 0 511112 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2056668 KiB
Current children cumulated memory: 52536 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7474
/proc/meminfo: memFree=4678948/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2056668 memory=52536 CPUtime=25.49 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 21200 0 0 0 2498 51 0 0 20 0 1 0 218239855 2106028032 13134 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 514167 13134 753 405 0 511112 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2056668 KiB
Current children cumulated memory: 52536 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7482
/proc/meminfo: memFree=4695356/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2067460 memory=63328 CPUtime=51.1 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 30622 0 0 0 5025 85 0 0 20 0 1 0 218239855 2117079040 15832 33554432000 4194304 5849708 140731588693424 140731588692152 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 516865 15832 753 405 0 513810 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2067460 KiB
Current children cumulated memory: 63328 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7506
/proc/meminfo: memFree=4716556/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2070336 memory=66140 CPUtime=102.3 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 38223 0 0 0 10095 135 0 0 20 0 1 0 218239855 2120024064 16535 33554432000 4194304 5849708 140731588693424 140731588692296 4213652 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 517584 16535 753 405 0 514529 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2070336 KiB
Current children cumulated memory: 66140 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7507
/proc/meminfo: memFree=4587084/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2083308 memory=76428 CPUtime=162.3 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 51269 0 0 0 16052 178 0 0 20 0 1 0 218239855 2133307392 19107 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 520827 19107 753 405 0 517772 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2083308 KiB
Current children cumulated memory: 76428 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7508
/proc/meminfo: memFree=4637720/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2094728 memory=90384 CPUtime=222.29 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 58605 0 0 0 22009 220 0 0 20 0 1 0 218239855 2145001472 22596 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 523682 22596 753 405 0 520627 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2094728 KiB
Current children cumulated memory: 90384 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7509
/proc/meminfo: memFree=4616476/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2094728 memory=90384 CPUtime=282.31 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 58606 0 0 0 27975 256 0 0 20 0 1 0 218239855 2145001472 22596 33554432000 4194304 5849708 140731588693424 140731588692584 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 523682 22596 753 405 0 520627 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2094728 KiB
Current children cumulated memory: 90384 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7510
/proc/meminfo: memFree=4508520/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2106508 memory=102316 CPUtime=342.3 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 69919 0 0 0 33943 287 0 0 20 0 1 0 218239855 2157064192 25579 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 526627 25579 753 405 0 523572 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2106508 KiB
Current children cumulated memory: 102316 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7511
/proc/meminfo: memFree=4630840/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2099948 memory=95580 CPUtime=402.31 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 83755 0 0 0 39914 317 0 0 20 0 1 0 218239855 2150346752 23895 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 524987 23895 753 405 0 521932 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2099948 KiB
Current children cumulated memory: 95580 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7512
/proc/meminfo: memFree=4482056/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2132904 memory=125584 CPUtime=462.31 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 89941 0 0 0 45886 345 0 0 20 0 1 0 218239855 2184093696 31396 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 533226 31396 753 405 0 530171 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2132904 KiB
Current children cumulated memory: 125584 KiB
################
# More data... #
################
/proc/7473/statm: 647051 146723 753 405 0 643996 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 2588204 KiB
Current children cumulated memory: 586892 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 7551
/proc/meminfo: memFree=3825780/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2588204 memory=586892 CPUtime=1782.34 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 410557 0 0 0 177554 680 0 0 20 0 1 0 218239855 2650320896 146723 33554432000 4194304 5849708 140731588693424 140731588692424 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 647051 146723 753 405 0 643996 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 2588204 KiB
Current children cumulated memory: 586892 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 7560
/proc/meminfo: memFree=3799816/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2588204 memory=586892 CPUtime=1842.35 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 476648 0 0 0 183541 694 0 0 20 0 1 0 218239855 2650320896 146723 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 647051 146723 753 405 0 643996 0
Current children cumulated CPU time: 1842.35 s
Current children cumulated vsize: 2588204 KiB
Current children cumulated memory: 586892 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 7561
/proc/meminfo: memFree=3718988/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2665048 memory=663736 CPUtime=1902.35 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 529039 0 0 0 189529 706 0 0 20 0 1 0 218239855 2729009152 165934 33554432000 4194304 5849708 140731588693424 140731588692424 5335545 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 666262 165934 753 405 0 663207 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 2665048 KiB
Current children cumulated memory: 663736 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7562
/proc/meminfo: memFree=3648504/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2665048 memory=663736 CPUtime=1962.35 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 566659 0 0 0 195517 718 0 0 20 0 1 0 218239855 2729009152 165934 33554432000 4194304 5849708 140731588693424 140731588692424 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 666262 165934 753 405 0 663207 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 2665048 KiB
Current children cumulated memory: 663736 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7563
/proc/meminfo: memFree=3863532/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2276436 memory=275048 CPUtime=2022.35 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 618685 0 0 0 201504 731 0 0 20 0 1 0 218239855 2331070464 68762 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 569109 68762 753 405 0 566054 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 2276436 KiB
Current children cumulated memory: 275048 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7564
/proc/meminfo: memFree=3802556/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2304372 memory=302828 CPUtime=2082.36 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 630077 0 0 0 207490 746 0 0 20 0 1 0 218239855 2359676928 75707 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 576093 75707 753 405 0 573038 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 2304372 KiB
Current children cumulated memory: 302828 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7565
/proc/meminfo: memFree=3631428/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2360312 memory=359000 CPUtime=2142.36 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 642443 0 0 0 213476 760 0 0 20 0 1 0 218239855 2416959488 89750 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 590078 89750 753 405 0 587023 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 2360312 KiB
Current children cumulated memory: 359000 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7566
/proc/meminfo: memFree=3584572/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2407160 memory=405848 CPUtime=2202.36 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 658328 0 0 0 219462 774 0 0 20 0 1 0 218239855 2464931840 101462 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 601790 101462 753 405 0 598735 0
Current children cumulated CPU time: 2202.36 s
Current children cumulated vsize: 2407160 KiB
Current children cumulated memory: 405848 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7628
/proc/meminfo: memFree=3346612/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2407160 memory=405848 CPUtime=2262.36 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 663885 0 0 0 225453 783 0 0 20 0 1 0 218239855 2464931840 101462 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 601790 101462 753 405 0 598735 0
Current children cumulated CPU time: 2262.36 s
Current children cumulated vsize: 2407160 KiB
Current children cumulated memory: 405848 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7629
/proc/meminfo: memFree=2691024/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2453496 memory=452148 CPUtime=2322.36 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 684574 0 0 0 231439 797 0 0 20 0 1 0 218239855 2512379904 113037 33554432000 4194304 5849708 140731588693424 140731588692424 139975425888135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 613374 113037 753 405 0 610319 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 2453496 KiB
Current children cumulated memory: 452148 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 7630
/proc/meminfo: memFree=2579492/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2604420 memory=603032 CPUtime=2382.37 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 690471 0 0 0 237426 811 0 0 20 0 1 0 218239855 2666926080 150758 33554432000 4194304 5849708 140731588693424 140731588692424 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 651105 150758 753 405 0 648050 0
Current children cumulated CPU time: 2382.37 s
Current children cumulated vsize: 2604420 KiB
Current children cumulated memory: 603032 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7639
/proc/meminfo: memFree=2601948/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2604420 memory=603108 CPUtime=2442.37 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 717982 0 0 0 243417 820 0 0 20 0 1 0 218239855 2666926080 150777 33554432000 4194304 5849708 140731588693424 140731588692424 5438327 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 651105 150777 753 405 0 648050 0
Current children cumulated CPU time: 2442.37 s
Current children cumulated vsize: 2604420 KiB
Current children cumulated memory: 603108 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7640
/proc/meminfo: memFree=2598028/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2538884 memory=537572 CPUtime=2502.38 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 746527 0 0 0 249406 832 0 0 20 0 1 0 218239855 2599817216 134393 33554432000 4194304 5849708 140731588693424 140731588692424 5437632 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 634721 134393 753 405 0 631666 0
Current children cumulated CPU time: 2502.38 s
Current children cumulated vsize: 2538884 KiB
Current children cumulated memory: 537572 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 7640
/proc/meminfo: memFree=2555952/32770624 swapFree=67108860/67108860
[pid=7473] ppid=7470 vsize=2604420 memory=603108 CPUtime=2520.08 cores=1,3,5,7
/proc/7473/stat : 7473 (xcsp_picat) R 7470 7473 5709 0 -1 4202496 763863 0 0 0 251173 835 0 0 20 0 1 0 218239855 2666926080 150777 33554432000 4194304 5849708 140731588693424 140731588692424 5438237 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44752896 140731588699318 140731588699396 140731588699396 140731588702154 0
/proc/7473/statm: 651105 150777 753 405 0 648050 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 2604420 KiB
Current children cumulated memory: 603108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 7473 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.74 s, system=8.36838 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): 2520.11
CPU user time (s): 2511.74
CPU system time (s): 8.36838
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2665048
Max. memory (cumulated for all children) (KiB): 663736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.74
system time used= 8.36838
maximum resident set size= 663736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 763864
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= 49
involuntary context switches= 942
# summary of solver processes directly reported to runsolver:
# pid: 7473
# total CPU time (s): 2520.11
# total CPU user time (s): 2511.74
# total CPU system time (s): 8.36838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1728 second user time and 18.4444 second system time
The end