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 (1390 MiB free)
memory of node 1: 16384 MiB (239 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303492-1534003916/watcher-4303492-1534003916 -o /tmp/evaluation-result-4303492-1534003916/solver-4303492-1534003916 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21559 --watchdog 2580 xcsp_picat HOME/instance-4303492-1534003916.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=22832, runsolver pid=22829
Current StackSize limit: 8192 KiB
[startup+0.100635 s]*
/proc/loadavg: 2.00 2.01 2.05 4/188 22833
/proc/meminfo: memFree=1644756/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2025744 memory=28768 CPUtime=0.1 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 1750 0 0 0 10 0 0 0 20 0 1 0 217954755 2074361856 7192 33554432000 4194304 5849708 140731793444784 140731793444088 4548454 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 506436 7192 611 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28768 KiB
[startup+0.20949 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 22833
/proc/meminfo: memFree=1601540/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2025744 memory=73824 CPUtime=0.21 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 1772 0 0 0 20 1 0 0 20 0 1 0 217954755 2074361856 18456 33554432000 4194304 5849708 140731793444784 140731793444088 4481161 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 506436 18456 611 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 73824 KiB
[startup+0.309923 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 22833
/proc/meminfo: memFree=1558532/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2025744 memory=114912 CPUtime=0.3 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 1792 0 0 0 29 1 0 0 20 0 1 0 217954755 2074361856 28728 33554432000 4194304 5849708 140731793444784 140731793444088 4508837 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 506436 28728 616 405 0 503381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 114912 KiB
[startup+0.700428 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22833
/proc/meminfo: memFree=1476612/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2025744 memory=268976 CPUtime=0.69 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 1985 0 0 0 65 4 0 0 20 0 1 0 217954755 2074361856 67244 33554432000 4194304 5849708 140731793444784 140731793444088 4491143 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 506436 67244 626 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 268976 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22833
/proc/meminfo: memFree=1324192/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2025884 memory=347780 CPUtime=1.48 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 2272 0 0 0 144 4 0 0 20 0 1 0 217954755 2074505216 86945 33554432000 4194304 5849708 140731793444784 140731793443880 140565233213319 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 506471 86945 718 405 0 503416 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2025884 KiB
Current children cumulated memory: 347780 KiB
[startup+3.10924 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22833
/proc/meminfo: memFree=1323696/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2026376 memory=348292 CPUtime=3.1 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 2502 0 0 0 305 5 0 0 20 0 1 0 217954755 2075009024 87073 33554432000 4194304 5849708 140731793444784 140731793443880 5471943 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 506594 87073 718 405 0 503539 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2026376 KiB
Current children cumulated memory: 348292 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22833
/proc/meminfo: memFree=1289780/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2027080 memory=348996 CPUtime=6.29 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 2866 0 0 0 623 6 0 0 20 0 1 0 217954755 2075729920 87249 33554432000 4194304 5849708 140731793444784 140731793443288 140565233213319 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 506770 87249 718 405 0 503715 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2027080 KiB
Current children cumulated memory: 348996 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22833
/proc/meminfo: memFree=1288056/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2028960 memory=350812 CPUtime=12.69 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 3699 0 0 0 1261 8 0 0 20 0 1 0 217954755 2077655040 87703 33554432000 4194304 5849708 140731793444784 140731793444024 140565233213319 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 507240 87703 718 405 0 504185 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2028960 KiB
Current children cumulated memory: 350812 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22833
/proc/meminfo: memFree=1282728/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2034588 memory=356380 CPUtime=25.48 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 5823 0 0 0 2536 12 0 0 20 0 1 0 217954755 2083418112 89095 33554432000 4194304 5849708 140731793444784 140731793443896 140565233213319 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 508647 89095 718 405 0 505592 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2034588 KiB
Current children cumulated memory: 356380 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22833
/proc/meminfo: memFree=1183228/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2178376 memory=492812 CPUtime=51.1 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 38076 0 0 0 5091 19 0 0 20 0 1 0 217954755 2230657024 123203 33554432000 4194304 5849708 140731793444784 140731793442328 4211784 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 544594 123203 746 405 0 541539 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2178376 KiB
Current children cumulated memory: 492812 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22834
/proc/meminfo: memFree=1137520/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2185980 memory=501180 CPUtime=102.28 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 67559 0 0 0 10205 23 0 0 20 0 1 0 217954755 2238443520 125295 33554432000 4194304 5849708 140731793444784 140731793443272 4211654 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 546495 125295 750 405 0 543440 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2185980 KiB
Current children cumulated memory: 501180 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22896
/proc/meminfo: memFree=1224004/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2160024 memory=477272 CPUtime=162.28 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 90708 0 0 0 16197 31 0 0 20 0 1 0 217954755 2211864576 119318 33554432000 4194304 5849708 140731793444784 140731793443272 4213556 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 540006 119318 750 405 0 536951 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2160024 KiB
Current children cumulated memory: 477272 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 22897
/proc/meminfo: memFree=1212220/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2160284 memory=477532 CPUtime=222.27 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 95880 0 0 0 22191 36 0 0 20 0 1 0 217954755 2212130816 119383 33554432000 4194304 5849708 140731793444784 140731793443656 4205689 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 540071 119383 750 405 0 537016 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2160284 KiB
Current children cumulated memory: 477532 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22899
/proc/meminfo: memFree=1202892/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2159980 memory=484016 CPUtime=282.27 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 97873 0 0 0 28184 43 0 0 20 0 1 0 217954755 2211819520 121004 33554432000 4194304 5849708 140731793444784 140731793443944 5437837 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 539995 121004 750 405 0 536940 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2159980 KiB
Current children cumulated memory: 484016 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22900
/proc/meminfo: memFree=1202760/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2159980 memory=484016 CPUtime=342.26 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 99520 0 0 0 34175 51 0 0 20 0 1 0 217954755 2211819520 121004 33554432000 4194304 5849708 140731793444784 140731793443512 5360863 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 539995 121004 750 405 0 536940 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2159980 KiB
Current children cumulated memory: 484016 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22901
/proc/meminfo: memFree=1199036/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2159760 memory=483796 CPUtime=402.26 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 101692 0 0 0 40169 57 0 0 20 0 1 0 217954755 2211594240 120949 33554432000 4194304 5849708 140731793444784 140731793443272 4211600 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 539940 120949 750 405 0 536885 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2159760 KiB
Current children cumulated memory: 483796 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22902
/proc/meminfo: memFree=1198392/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2159760 memory=483796 CPUtime=462.27 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 103159 0 0 0 46159 68 0 0 20 0 1 0 217954755 2211594240 120949 33554432000 4194304 5849708 140731793444784 140731793443784 5339459 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 539940 120949 750 405 0 536885 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2159760 KiB
Current children cumulated memory: 483796 KiB
################
# More data... #
################
/proc/22832/statm: 539670 120679 750 405 0 536615 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2158680 KiB
Current children cumulated memory: 482716 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22949
/proc/meminfo: memFree=809856/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2161180 memory=485792 CPUtime=1782.23 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 136614 0 0 0 178017 206 0 0 20 0 1 0 217954755 2213048320 121448 33554432000 4194304 5849708 140731793444784 140731793443784 5437625 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 540295 121448 750 405 0 537240 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2161180 KiB
Current children cumulated memory: 485792 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22950
/proc/meminfo: memFree=807692/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2161180 memory=485792 CPUtime=1842.23 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 137757 0 0 0 184008 215 0 0 20 0 1 0 217954755 2213048320 121448 33554432000 4194304 5849708 140731793444784 140731793443784 140565233213319 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 540295 121448 750 405 0 537240 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2161180 KiB
Current children cumulated memory: 485792 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22951
/proc/meminfo: memFree=1056692/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2161024 memory=485636 CPUtime=1902.23 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 138970 0 0 0 190003 220 0 0 20 0 1 0 217954755 2212888576 121409 33554432000 4194304 5849708 140731793444784 140731793443656 140565233213319 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 540256 121409 750 405 0 537201 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2161024 KiB
Current children cumulated memory: 485636 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22952
/proc/meminfo: memFree=1040244/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2161256 memory=485868 CPUtime=1962.22 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 140275 0 0 0 195995 227 0 0 20 0 1 0 217954755 2213126144 121467 33554432000 4194304 5849708 140731793444784 140731793443784 5440093 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 540314 121467 750 405 0 537259 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 2161256 KiB
Current children cumulated memory: 485868 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22953
/proc/meminfo: memFree=1040176/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2161024 memory=485636 CPUtime=2022.23 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 141883 0 0 0 201988 235 0 0 20 0 1 0 217954755 2212888576 121409 33554432000 4194304 5849708 140731793444784 140731793443784 5307514 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 540256 121409 750 405 0 537201 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 2161024 KiB
Current children cumulated memory: 485636 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22954
/proc/meminfo: memFree=1041900/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2158832 memory=483496 CPUtime=2082.23 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 145331 0 0 0 207975 248 0 0 20 0 1 0 217954755 2210643968 120874 33554432000 4194304 5849708 140731793444784 140731793443432 4217850 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 539708 120874 759 405 0 536653 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 2158832 KiB
Current children cumulated memory: 483496 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22955
/proc/meminfo: memFree=1018180/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2182856 memory=507344 CPUtime=2142.23 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 146242 0 0 0 213971 252 0 0 20 0 1 0 217954755 2235244544 126836 33554432000 4194304 5849708 140731793444784 140731793443272 4209040 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 545714 126836 759 405 0 542659 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 2182856 KiB
Current children cumulated memory: 507344 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22956
/proc/meminfo: memFree=1028456/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2156900 memory=481564 CPUtime=2202.22 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 155733 0 0 0 219964 258 0 0 20 0 1 0 217954755 2208665600 120391 33554432000 4194304 5849708 140731793444784 140731793443272 5437632 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 539225 120391 759 405 0 536170 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 2156900 KiB
Current children cumulated memory: 481564 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22957
/proc/meminfo: memFree=981140/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2167492 memory=485620 CPUtime=2262.22 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 164827 0 0 0 225954 268 0 0 20 0 1 0 217954755 2219511808 121405 33554432000 4194304 5849708 140731793444784 140731793443784 5303787 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 541873 121405 759 405 0 538818 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 2167492 KiB
Current children cumulated memory: 485620 KiB
[startup+2322.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/188 22966
/proc/meminfo: memFree=914240/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2167328 memory=485456 CPUtime=2322.22 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 174362 0 0 0 231945 277 0 0 20 0 1 0 217954755 2219343872 121364 33554432000 4194304 5849708 140731793444784 140731793443784 140565233213319 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 541832 121364 759 405 0 538777 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 2167328 KiB
Current children cumulated memory: 485456 KiB
[startup+2382.3 s]
/proc/loadavg: 2.46 2.17 2.10 3/188 22967
/proc/meminfo: memFree=975300/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2167328 memory=489552 CPUtime=2382.22 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 184009 0 0 0 237936 286 0 0 20 0 1 0 217954755 2219343872 122388 33554432000 4194304 5849708 140731793444784 140731793443784 5437705 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 541832 122388 759 405 0 538777 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2167328 KiB
Current children cumulated memory: 489552 KiB
[startup+2442.3 s]
/proc/loadavg: 2.17 2.14 2.09 3/188 22968
/proc/meminfo: memFree=975960/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2166996 memory=489220 CPUtime=2442.22 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 193003 0 0 0 243926 296 0 0 20 0 1 0 217954755 2219003904 122305 33554432000 4194304 5849708 140731793444784 140731793443784 140565233213319 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 541749 122305 759 405 0 538694 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 2166996 KiB
Current children cumulated memory: 489220 KiB
[startup+2502.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/188 22969
/proc/meminfo: memFree=975712/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2166996 memory=489220 CPUtime=2502.22 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 202472 0 0 0 249916 306 0 0 20 0 1 0 217954755 2219003904 122305 33554432000 4194304 5849708 140731793444784 140731793443944 140565233213319 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 541749 122305 759 405 0 538694 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 2166996 KiB
Current children cumulated memory: 489220 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.11 2.08 3/188 22969
/proc/meminfo: memFree=975712/32770624 swapFree=67108796/67108860
[pid=22832] ppid=22829 vsize=2166996 memory=489220 CPUtime=2519.92 cores=0,2,4,6
/proc/22832/stat : 22832 (xcsp_picat) R 22829 22832 21527 0 -1 4202496 202485 0 0 0 251684 308 0 0 20 0 1 0 217954755 2219003904 122305 33554432000 4194304 5849708 140731793444784 140731793443784 5307204 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 47534080 140731793446070 140731793446148 140731793446148 140731793448906 0
/proc/22832/statm: 541749 122305 759 405 0 538694 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 2166996 KiB
Current children cumulated memory: 489220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 22832 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.85 s, system=3.08792 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.94
CPU user time (s): 2516.85
CPU system time (s): 3.08792
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 2188396
Max. memory (cumulated for all children) (KiB): 507344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.85
system time used= 3.08792
maximum resident set size= 507344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202486
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= 22
involuntary context switches= 750
# summary of solver processes directly reported to runsolver:
# pid: 22832
# total CPU time (s): 2519.94
# total CPU user time (s): 2516.85
# total CPU system time (s): 3.08792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7193 second user time and 13.78 second system time
The end