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 (13106 MiB free)
memory of node 1: 16384 MiB (11670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407533-1569509641/watcher-4407533-1569509641 -o /tmp/evaluation-result-4407533-1569509641/solver-4407533-1569509641 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569509598-1546 --watchdog 2560 xcsp_picat HOME/instance-4407533-1569509641.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=1572, runsolver pid=1568
Current StackSize limit: 8192 KiB
[startup+0.10017 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 1576
/proc/meminfo: memFree=25328828/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2031716 memory=20392 CPUtime=0.09 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 1704 0 0 0 9 0 0 0 20 0 1 0 526901904 2080477184 5098 33554432000 4194304 5870510 140728891807264 140728891804408 4429490 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 507929 5098 844 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 20392 KiB
[startup+0.209852 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 1576
/proc/meminfo: memFree=25288636/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2061072 memory=50068 CPUtime=0.2 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 8079 0 0 0 19 1 0 0 20 0 1 0 526901904 2110537728 12517 33554432000 4194304 5870510 140728891807264 140728891804408 5255728 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 515268 12517 886 410 0 510741 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2061072 KiB
Current children cumulated memory: 50068 KiB
[startup+0.309792 s]*
/proc/loadavg: 0.00 0.01 0.05 3/199 1576
/proc/meminfo: memFree=25258600/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2086720 memory=73720 CPUtime=0.3 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 14090 0 0 0 28 2 0 0 20 0 1 0 526901904 2136801280 18430 33554432000 4194304 5870510 140728891807264 140728891804408 5334061 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 521680 18430 889 410 0 517153 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2086720 KiB
Current children cumulated memory: 73720 KiB
[startup+0.700346 s]
/proc/loadavg: 0.00 0.01 0.05 3/199 1576
/proc/meminfo: memFree=25249032/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2104292 memory=91492 CPUtime=0.68 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 17016 0 0 0 66 2 0 0 20 0 1 0 526901904 2154795008 22873 33554432000 4194304 5870510 140728891807264 140728891805608 5261019 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 526073 22873 895 410 0 521546 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2104292 KiB
Current children cumulated memory: 91492 KiB
[startup+1.50036 s]
/proc/loadavg: 0.00 0.01 0.05 3/199 1576
/proc/meminfo: memFree=25218732/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2123736 memory=99528 CPUtime=1.48 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 20134 0 0 0 145 3 0 0 20 0 1 0 526901904 2174705664 24882 33554432000 4194304 5870510 140728891807264 140728891805416 5261096 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 530934 24882 896 410 0 526407 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2123736 KiB
Current children cumulated memory: 99528 KiB
[startup+3.10957 s]
/proc/loadavg: 0.00 0.01 0.05 4/199 1576
/proc/meminfo: memFree=25158320/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2195248 memory=167812 CPUtime=3.09 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 32532 0 0 0 303 6 0 0 20 0 1 0 526901904 2247933952 41953 33554432000 4194304 5870510 140728891807264 140728891805416 5337468 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 548812 41953 896 410 0 544285 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2195248 KiB
Current children cumulated memory: 167812 KiB
[startup+6.30032 s]
/proc/loadavg: 0.08 0.03 0.05 4/199 1576
/proc/meminfo: memFree=25188688/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2155404 memory=129216 CPUtime=6.28 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 52806 0 0 0 618 10 0 0 20 0 1 0 526901904 2207133696 32304 33554432000 4194304 5870510 140728891807264 140728891805432 5343850 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 538851 32304 926 410 0 534324 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2155404 KiB
Current children cumulated memory: 129216 KiB
[startup+12.7003 s]
/proc/loadavg: 0.24 0.06 0.06 3/199 1638
/proc/meminfo: memFree=25221712/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2119080 memory=102580 CPUtime=12.68 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 70769 0 0 0 1255 13 0 0 20 0 1 0 526901904 2169937920 25645 33554432000 4194304 5870510 140728891807264 140728891805976 5288971 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 529770 25645 928 410 0 525243 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2119080 KiB
Current children cumulated memory: 102580 KiB
[startup+25.5004 s]
/proc/loadavg: 0.63 0.16 0.09 3/200 1640
/proc/meminfo: memFree=25198804/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2119080 memory=102580 CPUtime=25.48 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 75415 0 0 0 2535 13 0 0 20 0 1 0 526901904 2169937920 25645 33554432000 4194304 5870510 140728891807264 140728891805976 5262735 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 529770 25645 928 410 0 525243 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2119080 KiB
Current children cumulated memory: 102580 KiB
[startup+51.1095 s]
/proc/loadavg: 1.10 0.31 0.14 3/199 1640
/proc/meminfo: memFree=25191092/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2119080 memory=109116 CPUtime=51.09 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 79857 0 0 0 5095 14 0 0 20 0 1 0 526901904 2169937920 27279 33554432000 4194304 5870510 140728891807264 140728891806376 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 529770 27279 928 410 0 525243 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2119080 KiB
Current children cumulated memory: 109116 KiB
[startup+102.3 s]
/proc/loadavg: 1.61 0.57 0.24 3/199 1644
/proc/meminfo: memFree=25163060/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2128452 memory=123224 CPUtime=102.29 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 81602 0 0 0 10215 14 0 0 20 0 1 0 526901904 2179534848 30806 33554432000 4194304 5870510 140728891807264 140728891805832 5276275 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 532113 30806 928 410 0 527586 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2128452 KiB
Current children cumulated memory: 123224 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.35 3/199 1651
/proc/meminfo: memFree=25139996/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2158604 memory=136836 CPUtime=162.29 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 83626 0 0 0 16215 14 0 0 20 0 1 0 526901904 2210410496 34209 33554432000 4194304 5870510 140728891807264 140728891805704 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 539651 34209 928 410 0 535124 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2158604 KiB
Current children cumulated memory: 136836 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.45 3/199 1655
/proc/meminfo: memFree=25130880/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2158604 memory=145744 CPUtime=222.3 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 83790 0 0 0 22216 14 0 0 20 0 1 0 526901904 2210410496 36436 33554432000 4194304 5870510 140728891807264 140728891805704 5282588 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 539651 36436 928 410 0 535124 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2158604 KiB
Current children cumulated memory: 145744 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 3/199 1659
/proc/meminfo: memFree=25111284/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2167000 memory=161904 CPUtime=282.3 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 86509 0 0 0 28216 14 0 0 20 0 1 0 526901904 2219008000 40476 33554432000 4194304 5870510 140728891807264 140728891805832 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 541750 40476 928 410 0 537223 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2167000 KiB
Current children cumulated memory: 161904 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/199 1666
/proc/meminfo: memFree=25102528/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2185632 memory=168260 CPUtime=342.31 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 86563 0 0 0 34217 14 0 0 20 0 1 0 526901904 2238087168 42065 33554432000 4194304 5870510 140728891807264 140728891805704 5282621 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 546408 42065 928 410 0 541881 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2185632 KiB
Current children cumulated memory: 168260 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/199 1670
/proc/meminfo: memFree=25087088/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2185632 memory=170332 CPUtime=402.33 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 89193 0 0 0 40218 15 0 0 20 0 1 0 526901904 2238087168 42583 33554432000 4194304 5870510 140728891807264 140728891805704 5282621 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 546408 42583 928 410 0 541881 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2185632 KiB
Current children cumulated memory: 170332 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.81 3/200 1682
/proc/meminfo: memFree=25075800/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2185632 memory=176476 CPUtime=462.33 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 89233 0 0 0 46218 15 0 0 20 0 1 0 526901904 2238087168 44119 33554432000 4194304 5870510 140728891807264 140728891805704 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 546408 44119 928 410 0 541881 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 2185632 KiB
Current children cumulated memory: 176476 KiB
################
# More data... #
################
/proc/1572/statm: 553342 50660 979 410 0 548815 0
Current children cumulated CPU time: 1602.48 s
Current children cumulated vsize: 2213368 KiB
Current children cumulated memory: 202640 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/199 1816
/proc/meminfo: memFree=24976416/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2262688 memory=236184 CPUtime=1662.49 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 149327 0 0 0 166180 69 0 0 20 0 1 0 526901904 2316992512 59046 33554432000 4194304 5870510 140728891807264 140728891806280 5305079 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 565672 59046 979 410 0 561145 0
Current children cumulated CPU time: 1662.49 s
Current children cumulated vsize: 2262688 KiB
Current children cumulated memory: 236184 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.69 3/199 1820
/proc/meminfo: memFree=25002296/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2213368 memory=204704 CPUtime=1722.49 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 157876 0 0 0 172162 87 0 0 20 0 1 0 526901904 2266488832 51176 33554432000 4194304 5870510 140728891807264 140728891806280 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 553342 51176 979 410 0 548815 0
Current children cumulated CPU time: 1722.49 s
Current children cumulated vsize: 2213368 KiB
Current children cumulated memory: 204704 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.71 3/199 1826
/proc/meminfo: memFree=24965028/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2213368 memory=204704 CPUtime=1782.5 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 161252 0 0 0 178154 96 0 0 20 0 1 0 526901904 2266488832 51176 33554432000 4194304 5870510 140728891807264 140728891805704 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 553342 51176 979 410 0 548815 0
Current children cumulated CPU time: 1782.5 s
Current children cumulated vsize: 2213368 KiB
Current children cumulated memory: 204704 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/199 1830
/proc/meminfo: memFree=24965280/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2213368 memory=204704 CPUtime=1842.51 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 168975 0 0 0 184145 106 0 0 20 0 1 0 526901904 2266488832 51176 33554432000 4194304 5870510 140728891807264 140728891805704 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 553342 51176 979 410 0 548815 0
Current children cumulated CPU time: 1842.51 s
Current children cumulated vsize: 2213368 KiB
Current children cumulated memory: 204704 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/199 1834
/proc/meminfo: memFree=24965436/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2262688 memory=240292 CPUtime=1902.51 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 173866 0 0 0 190134 117 0 0 20 0 1 0 526901904 2316992512 60073 33554432000 4194304 5870510 140728891807264 140728891805704 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 565672 60073 979 410 0 561145 0
Current children cumulated CPU time: 1902.51 s
Current children cumulated vsize: 2262688 KiB
Current children cumulated memory: 240292 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/199 1863
/proc/meminfo: memFree=24962868/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2262688 memory=240292 CPUtime=1962.52 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 178316 0 0 0 196124 128 0 0 20 0 1 0 526901904 2316992512 60073 33554432000 4194304 5870510 140728891807264 140728891805704 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 565672 60073 979 410 0 561145 0
Current children cumulated CPU time: 1962.52 s
Current children cumulated vsize: 2262688 KiB
Current children cumulated memory: 240292 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/199 1867
/proc/meminfo: memFree=24998180/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2213368 memory=204704 CPUtime=2022.53 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 182812 0 0 0 202113 140 0 0 20 0 1 0 526901904 2266488832 51176 33554432000 4194304 5870510 140728891807264 140728891805704 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 553342 51176 979 410 0 548815 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 2213368 KiB
Current children cumulated memory: 204704 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/199 1871
/proc/meminfo: memFree=24970972/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2262688 memory=238076 CPUtime=2082.54 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 191775 0 0 0 208099 155 0 0 20 0 1 0 526901904 2316992512 59519 33554432000 4194304 5870510 140728891807264 140728891806280 5282574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 565672 59519 979 410 0 561145 0
Current children cumulated CPU time: 2082.54 s
Current children cumulated vsize: 2262688 KiB
Current children cumulated memory: 238076 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/199 1878
/proc/meminfo: memFree=24937492/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2262688 memory=240292 CPUtime=2142.54 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 199677 0 0 0 214078 176 0 0 20 0 1 0 526901904 2316992512 60073 33554432000 4194304 5870510 140728891807264 140728891805704 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 565672 60073 979 410 0 561145 0
Current children cumulated CPU time: 2142.54 s
Current children cumulated vsize: 2262688 KiB
Current children cumulated memory: 240292 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/199 1882
/proc/meminfo: memFree=24932832/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2250344 memory=242740 CPUtime=2202.55 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 205871 0 0 0 220067 188 0 0 20 0 1 0 526901904 2304352256 60685 33554432000 4194304 5870510 140728891807264 140728891805832 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 562586 60685 979 410 0 558059 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 2250344 KiB
Current children cumulated memory: 242740 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/200 1894
/proc/meminfo: memFree=24933168/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2250344 memory=242740 CPUtime=2262.56 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 205906 0 0 0 226068 188 0 0 20 0 1 0 526901904 2304352256 60685 33554432000 4194304 5870510 140728891807264 140728891805832 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 562586 60685 979 410 0 558059 0
Current children cumulated CPU time: 2262.56 s
Current children cumulated vsize: 2250344 KiB
Current children cumulated memory: 242740 KiB
[startup+2322.3 s]
/proc/loadavg: 2.57 2.14 1.89 3/200 1900
/proc/meminfo: memFree=24932600/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2250344 memory=242836 CPUtime=2322.57 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 210766 0 0 0 232068 189 0 0 20 0 1 0 526901904 2304352256 60709 33554432000 4194304 5870510 140728891807264 140728891805832 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 562586 60709 979 410 0 558059 0
Current children cumulated CPU time: 2322.57 s
Current children cumulated vsize: 2250344 KiB
Current children cumulated memory: 242836 KiB
[startup+2382.3 s]
/proc/loadavg: 2.21 2.12 1.89 3/200 1904
/proc/meminfo: memFree=24898944/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2300032 memory=276744 CPUtime=2382.57 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 213383 0 0 0 238063 194 0 0 20 0 1 0 526901904 2355232768 69186 33554432000 4194304 5870510 140728891807264 140728891805704 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 575008 69186 979 410 0 570481 0
Current children cumulated CPU time: 2382.57 s
Current children cumulated vsize: 2300032 KiB
Current children cumulated memory: 276744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.16 2.11 1.90 3/200 1904
/proc/meminfo: memFree=24898796/32770624 swapFree=66937824/67108860
[pid=1572] ppid=1568 vsize=2300032 memory=278792 CPUtime=2400.08 cores=1,3,5,7
/proc/1572/stat : 1572 (xcsp_picat) R 1568 1572 1513 0 -1 4202496 215060 0 0 0 239811 197 0 0 20 0 1 0 526901904 2355232768 69698 33554432000 4194304 5870510 140728891807264 140728891805704 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 39354368 140728891814943 140728891815021 140728891815021 140728891817930 0
/proc/1572/statm: 575008 69698 979 410 0 570481 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 2300032 KiB
Current children cumulated memory: 278792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.8 s]
# the end of solver process 1572 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.11 s, system=1.97725 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): 2399.8
CPU time (s): 2400.09
CPU user time (s): 2398.11
CPU system time (s): 1.97725
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 2338172
Max. memory (cumulated for all children) (KiB): 332128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.11
system time used= 1.97725
maximum resident set size= 332128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215060
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= 23
involuntary context switches= 1493
# summary of solver processes directly reported to runsolver:
# pid: 1572
# total CPU time (s): 2400.09
# total CPU user time (s): 2398.11
# total CPU system time (s): 1.97725
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.40778 second user time and 17.0936 second system time
The end