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 (13466 MiB free)
memory of node 1: 16384 MiB (14579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303288-1534024891/watcher-4303288-1534024891 -o /tmp/evaluation-result-4303288-1534024891/solver-4303288-1534024891 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1533992673-18253 --watchdog 2580 xcsp_picat HOME/instance-4303288-1534024891.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
Current StackSize limit: 8192 KiB
solver pid=21982, runsolver pid=21979
[startup+0.100142 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 21983
/proc/meminfo: memFree=28706144/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2026028 memory=16524 CPUtime=0.1 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 1761 0 0 0 10 0 0 0 20 0 1 0 220052324 2074652672 4131 33554432000 4194304 5849708 140726318007072 140726318007072 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 506507 4131 704 405 0 503452 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026028 KiB
Current children cumulated memory: 16524 KiB
[startup+0.209828 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 21983
/proc/meminfo: memFree=28699076/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2032488 memory=23300 CPUtime=0.21 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 3616 0 0 0 21 0 0 0 20 0 1 0 220052324 2081267712 5825 33554432000 4194304 5849708 140726318007072 140726318007072 5392618 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 508122 5825 716 405 0 505067 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2032488 KiB
Current children cumulated memory: 23300 KiB
[startup+0.309756 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 21983
/proc/meminfo: memFree=28699076/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2032536 memory=23228 CPUtime=0.31 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 3821 0 0 0 31 0 0 0 20 0 1 0 220052324 2081316864 5807 33554432000 4194304 5849708 140726318007072 140726318007072 5310526 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 508134 5807 721 405 0 505079 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2032536 KiB
Current children cumulated memory: 23228 KiB
[startup+0.700347 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 21983
/proc/meminfo: memFree=28699076/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2036632 memory=27324 CPUtime=0.69 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 5170 0 0 0 69 0 0 0 20 0 1 0 220052324 2085511168 6831 33554432000 4194304 5849708 140726318007072 140726318007072 5400181 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 509158 6831 721 405 0 506103 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2036632 KiB
Current children cumulated memory: 27324 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 21983
/proc/meminfo: memFree=28695540/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2039252 memory=28772 CPUtime=1.49 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 6328 0 0 0 149 0 0 0 20 0 1 0 220052324 2088194048 7193 33554432000 4194304 5849708 140726318007072 140726318005560 4213333 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 509813 7193 729 405 0 506758 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2039252 KiB
Current children cumulated memory: 28772 KiB
[startup+3.10934 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 21983
/proc/meminfo: memFree=28693760/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2039252 memory=28996 CPUtime=3.1 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 7099 0 0 0 310 0 0 0 20 0 1 0 220052324 2088194048 7249 33554432000 4194304 5849708 140726318007072 140726318005560 4212046 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 509813 7249 733 405 0 506758 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2039252 KiB
Current children cumulated memory: 28996 KiB
[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 21983
/proc/meminfo: memFree=28691872/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2040560 memory=31196 CPUtime=6.29 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 8921 0 0 0 625 4 0 0 20 0 1 0 220052324 2089533440 7799 33554432000 4194304 5849708 140726318007072 140726318006072 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 510140 7799 737 405 0 507085 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2040560 KiB
Current children cumulated memory: 31196 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 21983
/proc/meminfo: memFree=28688748/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2040400 memory=31308 CPUtime=12.69 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 17020 0 0 0 1256 13 0 0 20 0 1 0 220052324 2089369600 7827 33554432000 4194304 5849708 140726318007072 140726318006072 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 510100 7827 737 405 0 507045 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2040400 KiB
Current children cumulated memory: 31308 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 21983
/proc/meminfo: memFree=28680344/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2050372 memory=41260 CPUtime=25.49 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 29672 0 0 0 2520 29 0 0 20 0 1 0 220052324 2099580928 10315 33554432000 4194304 5849708 140726318007072 140726318006072 4212490 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 512593 10315 737 405 0 509538 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2050372 KiB
Current children cumulated memory: 41260 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 21983
/proc/meminfo: memFree=28637760/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2056872 memory=47504 CPUtime=51.1 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 41347 0 0 0 5053 57 0 0 20 0 1 0 220052324 2106236928 11876 33554432000 4194304 5849708 140726318007072 140726318006072 5340344 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 514218 11876 737 405 0 511163 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2056872 KiB
Current children cumulated memory: 47504 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 21984
/proc/meminfo: memFree=28639908/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2060224 memory=51080 CPUtime=102.3 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 78854 0 0 0 10118 112 0 0 20 0 1 0 220052324 2109669376 12770 33554432000 4194304 5849708 140726318007072 140726318006072 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 515056 12770 737 405 0 512001 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2060224 KiB
Current children cumulated memory: 51080 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 21985
/proc/meminfo: memFree=28607504/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2107316 memory=97920 CPUtime=162.3 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 117752 0 0 0 16071 159 0 0 20 0 1 0 220052324 2157891584 24480 33554432000 4194304 5849708 140726318007072 140726318005800 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 526829 24480 737 405 0 523774 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2107316 KiB
Current children cumulated memory: 97920 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21986
/proc/meminfo: memFree=28611660/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2087204 memory=77984 CPUtime=222.3 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 144581 0 0 0 22024 206 0 0 20 0 1 0 220052324 2137296896 19496 33554432000 4194304 5849708 140726318007072 140726318006232 5350210 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 521801 19496 737 405 0 518746 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2087204 KiB
Current children cumulated memory: 77984 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21987
/proc/meminfo: memFree=28590644/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2117980 memory=108760 CPUtime=282.31 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 157306 0 0 0 27987 244 0 0 20 0 1 0 220052324 2168811520 27190 33554432000 4194304 5849708 140726318007072 140726318006072 5437711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 529495 27190 737 405 0 526440 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2117980 KiB
Current children cumulated memory: 108760 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21988
/proc/meminfo: memFree=28487880/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2149972 memory=140608 CPUtime=342.31 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 184843 0 0 0 33945 286 0 0 20 0 1 0 220052324 2201571328 35152 33554432000 4194304 5849708 140726318007072 140726318006072 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 537493 35152 737 405 0 534438 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2149972 KiB
Current children cumulated memory: 140608 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21990
/proc/meminfo: memFree=28391260/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2315528 memory=306272 CPUtime=402.31 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 192493 0 0 0 39917 314 0 0 20 0 1 0 220052324 2371100672 76568 33554432000 4194304 5849708 140726318007072 140726318005944 5394484 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 578882 76568 737 405 0 575827 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2315528 KiB
Current children cumulated memory: 306272 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 21991
/proc/meminfo: memFree=28509892/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2158544 memory=149192 CPUtime=462.32 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 198043 0 0 0 45895 337 0 0 20 0 1 0 220052324 2210349056 37298 33554432000 4194304 5849708 140726318007072 140726318006072 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 539636 37298 737 405 0 536581 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2158544 KiB
Current children cumulated memory: 149192 KiB
################
# More data... #
################
/proc/21982/statm: 692763 191394 737 405 0 689708 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 2771052 KiB
Current children cumulated memory: 765576 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 22042
/proc/meminfo: memFree=27310472/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=2898124 memory=892724 CPUtime=1842.39 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 736411 0 0 0 183484 755 0 0 20 0 1 0 220052324 2967678976 223181 33554432000 4194304 5849708 140726318007072 140726318005944 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 724531 223181 737 405 0 721476 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 2898124 KiB
Current children cumulated memory: 892724 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 22043
/proc/meminfo: memFree=26833988/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3007676 memory=1002276 CPUtime=1902.39 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 791490 0 0 0 189458 781 0 0 20 0 1 0 220052324 3079860224 250569 33554432000 4194304 5849708 140726318007072 140726318006072 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 751919 250569 737 405 0 748864 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 3007676 KiB
Current children cumulated memory: 1002276 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 22044
/proc/meminfo: memFree=27328736/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3007676 memory=1002276 CPUtime=1962.39 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 827469 0 0 0 195437 802 0 0 20 0 1 0 220052324 3079860224 250569 33554432000 4194304 5849708 140726318007072 140726318005944 5312851 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 751919 250569 737 405 0 748864 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 3007676 KiB
Current children cumulated memory: 1002276 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22045
/proc/meminfo: memFree=26638512/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3157584 memory=1151960 CPUtime=2022.4 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 883996 0 0 0 201422 818 0 0 20 0 1 0 220052324 3233366016 287990 33554432000 4194304 5849708 140726318007072 140726318006072 5312914 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 789396 287990 737 405 0 786341 0
Current children cumulated CPU time: 2022.4 s
Current children cumulated vsize: 3157584 KiB
Current children cumulated memory: 1151960 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22046
/proc/meminfo: memFree=25883384/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3613708 memory=1608308 CPUtime=2082.41 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 944591 0 0 0 207401 840 0 0 20 0 1 0 220052324 3700436992 402077 33554432000 4194304 5849708 140726318007072 140726318006072 5335584 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 903427 402077 737 405 0 900372 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 3613708 KiB
Current children cumulated memory: 1608308 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22047
/proc/meminfo: memFree=25883516/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3613708 memory=1608308 CPUtime=2142.41 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 1076563 0 0 0 213389 852 0 0 20 0 1 0 220052324 3700436992 402077 33554432000 4194304 5849708 140726318007072 140726318005944 5438278 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 903427 402077 737 405 0 900372 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 3613708 KiB
Current children cumulated memory: 1608308 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22048
/proc/meminfo: memFree=25330984/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3613708 memory=1608308 CPUtime=2202.41 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 1250938 0 0 0 219373 868 0 0 20 0 1 0 220052324 3700436992 402077 33554432000 4194304 5849708 140726318007072 140726318006072 5312634 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 903427 402077 737 405 0 900372 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 3613708 KiB
Current children cumulated memory: 1608308 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22049
/proc/meminfo: memFree=25209088/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3613708 memory=1608308 CPUtime=2262.42 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 1407520 0 0 0 225358 884 0 0 20 0 1 0 220052324 3700436992 402077 33554432000 4194304 5849708 140726318007072 140726318006232 5335626 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 903427 402077 737 405 0 900372 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 3613708 KiB
Current children cumulated memory: 1608308 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22058
/proc/meminfo: memFree=25044236/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3613708 memory=1608308 CPUtime=2322.42 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 1563662 0 0 0 231344 898 0 0 20 0 1 0 220052324 3700436992 402077 33554432000 4194304 5849708 140726318007072 140726318006072 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 903427 402077 737 405 0 900372 0
Current children cumulated CPU time: 2322.42 s
Current children cumulated vsize: 3613708 KiB
Current children cumulated memory: 1608308 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22059
/proc/meminfo: memFree=24892128/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3613708 memory=1608308 CPUtime=2382.43 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 1719809 0 0 0 237330 913 0 0 20 0 1 0 220052324 3700436992 402077 33554432000 4194304 5849708 140726318007072 140726318006072 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 903427 402077 737 405 0 900372 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 3613708 KiB
Current children cumulated memory: 1608308 KiB
[startup+2442.3 s]
/proc/loadavg: 1.72 1.95 2.02 2/181 22106
/proc/meminfo: memFree=27180552/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3613708 memory=1608308 CPUtime=2442.43 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 1875953 0 0 0 243313 930 0 0 20 0 1 0 220052324 3700436992 402077 33554432000 4194304 5849708 140726318007072 140726318006072 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 903427 402077 737 405 0 900372 0
Current children cumulated CPU time: 2442.43 s
Current children cumulated vsize: 3613708 KiB
Current children cumulated memory: 1608308 KiB
[startup+2502.3 s]
/proc/loadavg: 1.26 1.78 1.96 2/181 22107
/proc/meminfo: memFree=27181360/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3613708 memory=1608308 CPUtime=2502.43 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 2031277 0 0 0 249299 944 0 0 20 0 1 0 220052324 3700436992 402077 33554432000 4194304 5849708 140726318007072 140726318006072 140416788705159 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 903427 402077 737 405 0 900372 0
Current children cumulated CPU time: 2502.43 s
Current children cumulated vsize: 3613708 KiB
Current children cumulated memory: 1608308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 1.19 1.73 1.94 2/181 22107
/proc/meminfo: memFree=27181360/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3613708 memory=1608308 CPUtime=2520.04 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 2038673 0 0 0 251056 948 0 0 20 0 1 0 220052324 3700436992 402077 33554432000 4194304 5849708 140726318007072 140726318006072 5312898 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 903427 402077 737 405 0 900372 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 3613708 KiB
Current children cumulated memory: 1608308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.94 s]
# the end of solver process 21982 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.56 s, system=9.52162 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 1.19 1.73 1.94 2/181 22107
/proc/meminfo: memFree=27181360/32770624 swapFree=67108804/67108860
[pid=21982] ppid=21979 vsize=3613708 memory=1608308 CPUtime=2520.04 cores=1,3,5,7
/proc/21982/stat : 21982 (xcsp_picat) R 21979 21982 18221 0 -1 4202496 2038673 0 0 0 251056 948 0 0 20 0 1 0 220052324 3700436992 402077 33554432000 4194304 5849708 140726318007072 140726318006072 5312898 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 40411136 140726318015670 140726318015748 140726318015748 140726318018506 0
/proc/21982/statm: 903427 402077 737 405 0 900372 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 3613708 KiB
Current children cumulated memory: 1608308 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.94
CPU time (s): 2520.09
CPU user time (s): 2510.56
CPU system time (s): 9.52162
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 3613708
Max. memory (cumulated for all children) (KiB): 1608308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.56
system time used= 9.52162
maximum resident set size= 1608308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2038673
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= 40
involuntary context switches= 753
# summary of solver processes directly reported to runsolver:
# pid: 21982
# total CPU time (s): 2520.09
# total CPU user time (s): 2510.56
# total CPU system time (s): 9.52162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.47918 second user time and 19.2593 second system time
The end