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 (10904 MiB free)
memory of node 1: 16384 MiB (6300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303376-1534021021/watcher-4303376-1534021021 -o /tmp/evaluation-result-4303376-1534021021/solver-4303376-1534021021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25512 --watchdog 2580 xcsp_picat HOME/instance-4303376-1534021021.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
Current StackSize limit: 8192 KiB
solver pid=30150, runsolver pid=30147
[startup+0.100201 s]*
/proc/loadavg: 2.00 2.06 2.07 3/190 30151
/proc/meminfo: memFree=17595828/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2025744 memory=25116 CPUtime=0.1 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 1357 0 0 0 10 0 0 0 20 0 1 0 219665272 2074361856 6279 33554432000 4194304 5849708 140728094878560 140728094878560 140377948090247 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 506436 6279 633 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 25116 KiB
[startup+0.209806 s]*
/proc/loadavg: 2.00 2.06 2.07 3/190 30151
/proc/meminfo: memFree=17595456/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2026336 memory=25816 CPUtime=0.21 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 1538 0 0 0 21 0 0 0 20 0 1 0 219665272 2074968064 6454 33554432000 4194304 5849708 140728094878560 140728094878560 140377948090247 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 506584 6454 665 405 0 503529 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026336 KiB
Current children cumulated memory: 25816 KiB
[startup+0.309108 s]*
/proc/loadavg: 2.00 2.06 2.07 3/190 30151
/proc/meminfo: memFree=17594712/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2026720 memory=26072 CPUtime=0.31 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 1634 0 0 0 31 0 0 0 20 0 1 0 219665272 2075361280 6518 33554432000 4194304 5849708 140728094878560 140728094878560 140377948090247 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 506680 6518 665 405 0 503625 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026720 KiB
Current children cumulated memory: 26072 KiB
[startup+0.700332 s]
/proc/loadavg: 2.00 2.06 2.07 3/190 30151
/proc/meminfo: memFree=17593968/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2027488 memory=26844 CPUtime=0.69 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 1826 0 0 0 67 2 0 0 20 0 1 0 219665272 2076147712 6711 33554432000 4194304 5849708 140728094878560 140728094878560 140377948090247 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 506872 6711 665 405 0 503817 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027488 KiB
Current children cumulated memory: 26844 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.06 2.07 3/190 30151
/proc/meminfo: memFree=17592384/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2029152 memory=28524 CPUtime=1.49 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 2242 0 0 0 144 5 0 0 20 0 1 0 219665272 2077851648 7131 33554432000 4194304 5849708 140728094878560 140728094877064 140377948090247 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 507288 7131 665 405 0 504233 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2029152 KiB
Current children cumulated memory: 28524 KiB
[startup+3.1092 s]
/proc/loadavg: 2.00 2.06 2.07 3/190 30151
/proc/meminfo: memFree=17589616/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2036320 memory=35720 CPUtime=3.1 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 4202 0 0 0 299 11 0 0 20 0 1 0 219665272 2085191680 8930 33554432000 4194304 5849708 140728094878560 140728094877672 140377948090247 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 509080 8930 665 405 0 506025 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2036320 KiB
Current children cumulated memory: 35720 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.06 2.07 3/190 30151
/proc/meminfo: memFree=17583592/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2046560 memory=46168 CPUtime=6.29 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 5560 0 0 0 608 21 0 0 20 0 1 0 219665272 2095677440 11542 33554432000 4194304 5849708 140728094878560 140728094877672 140377948090247 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 511640 11542 665 405 0 508585 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2046560 KiB
Current children cumulated memory: 46168 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.06 2.06 3/191 30152
/proc/meminfo: memFree=17565068/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2055944 memory=55368 CPUtime=12.69 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 20043 0 0 0 1240 29 0 0 20 0 1 0 219665272 2105286656 13842 33554432000 4194304 5849708 140728094878560 140728094877560 140377948090247 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 513986 13842 700 405 0 510931 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2055944 KiB
Current children cumulated memory: 55368 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.06 2.06 3/191 30152
/proc/meminfo: memFree=17563068/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2057528 memory=56932 CPUtime=25.48 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 31053 0 0 0 2506 42 0 0 20 0 1 0 219665272 2106908672 14233 33554432000 4194304 5849708 140728094878560 140728094877560 140377948090247 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 514382 14233 700 405 0 511327 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2057528 KiB
Current children cumulated memory: 56932 KiB
[startup+51.1096 s]
/proc/loadavg: 1.93 2.04 2.06 3/191 30152
/proc/meminfo: memFree=17562204/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2059464 memory=58940 CPUtime=51.1 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 55704 0 0 0 5038 72 0 0 20 0 1 0 219665272 2108891136 14735 33554432000 4194304 5849708 140728094878560 140728094877432 140377948090247 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 514866 14735 700 405 0 511811 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2059464 KiB
Current children cumulated memory: 58940 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.03 2.05 3/191 30154
/proc/meminfo: memFree=17535076/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2077832 memory=77376 CPUtime=102.29 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 83879 0 0 0 10104 125 0 0 20 0 1 0 219665272 2127699968 19344 33554432000 4194304 5849708 140728094878560 140728094877560 5335560 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 519458 19344 700 405 0 516403 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2077832 KiB
Current children cumulated memory: 77376 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/191 30155
/proc/meminfo: memFree=17528144/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2084340 memory=84080 CPUtime=162.28 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 114743 0 0 0 16049 179 0 0 20 0 1 0 219665272 2134364160 21020 33554432000 4194304 5849708 140728094878560 140728094877560 140377948090247 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 521085 21020 700 405 0 518030 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2084340 KiB
Current children cumulated memory: 84080 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 30163
/proc/meminfo: memFree=17396884/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2081656 memory=81264 CPUtime=222.28 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 143475 0 0 0 22002 226 0 0 20 0 1 0 219665272 2131615744 20316 33554432000 4194304 5849708 140728094878560 140728094877560 5392579 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 520414 20316 700 405 0 517359 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2081656 KiB
Current children cumulated memory: 81264 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 30187
/proc/meminfo: memFree=17526980/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2083504 memory=82976 CPUtime=282.28 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 172355 0 0 0 27954 274 0 0 20 0 1 0 219665272 2133508096 20744 33554432000 4194304 5849708 140728094878560 140728094877560 140377948090247 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 520876 20744 700 405 0 517821 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2083504 KiB
Current children cumulated memory: 82976 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 30188
/proc/meminfo: memFree=17527960/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2081208 memory=80768 CPUtime=342.28 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 201794 0 0 0 33909 319 0 0 20 0 1 0 219665272 2131156992 20192 33554432000 4194304 5849708 140728094878560 140728094877560 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 520302 20192 700 405 0 517247 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2081208 KiB
Current children cumulated memory: 80768 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 30189
/proc/meminfo: memFree=17394760/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2084096 memory=83592 CPUtime=402.27 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 228082 0 0 0 39869 358 0 0 20 0 1 0 219665272 2134114304 20898 33554432000 4194304 5849708 140728094878560 140728094877560 5360453 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 521024 20898 700 405 0 517969 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2084096 KiB
Current children cumulated memory: 83592 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 30190
/proc/meminfo: memFree=17386016/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2091064 memory=90636 CPUtime=462.28 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 257114 0 0 0 45830 398 0 0 20 0 1 0 219665272 2141249536 22659 33554432000 4194304 5849708 140728094878560 140728094877560 5437760 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 522766 22659 700 405 0 519711 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2091064 KiB
Current children cumulated memory: 90636 KiB
################
# More data... #
################
/proc/30150/statm: 534473 35613 700 405 0 531418 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2137892 KiB
Current children cumulated memory: 142452 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 30235
/proc/meminfo: memFree=17288600/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2150688 memory=155300 CPUtime=1782.23 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 705214 0 0 0 177180 1043 0 0 20 0 1 0 219665272 2202304512 38825 33554432000 4194304 5849708 140728094878560 140728094877560 5438273 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 537672 38825 700 405 0 534617 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2150688 KiB
Current children cumulated memory: 155300 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 30258
/proc/meminfo: memFree=17408924/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2158560 memory=163132 CPUtime=1842.23 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 723108 0 0 0 183146 1077 0 0 20 0 1 0 219665272 2210365440 40783 33554432000 4194304 5849708 140728094878560 140728094877720 5335530 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 539640 40783 700 405 0 536585 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2158560 KiB
Current children cumulated memory: 163132 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 30260
/proc/meminfo: memFree=17433040/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2136676 memory=141412 CPUtime=1902.23 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 731441 0 0 0 189119 1104 0 0 20 0 1 0 219665272 2187956224 35353 33554432000 4194304 5849708 140728094878560 140728094877560 5437632 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 534169 35353 700 405 0 531114 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2136676 KiB
Current children cumulated memory: 141412 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 30261
/proc/meminfo: memFree=17460536/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2109320 memory=113844 CPUtime=1962.23 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 748283 0 0 0 195094 1129 0 0 20 0 1 0 219665272 2159943680 28461 33554432000 4194304 5849708 140728094878560 140728094877560 140377948090247 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 527330 28461 700 405 0 524275 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 2109320 KiB
Current children cumulated memory: 113844 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 30269
/proc/meminfo: memFree=17424124/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2145764 memory=150384 CPUtime=2022.22 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 755323 0 0 0 201066 1156 0 0 20 0 1 0 219665272 2197262336 37596 33554432000 4194304 5849708 140728094878560 140728094877560 5437785 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 536441 37596 700 405 0 533386 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2145764 KiB
Current children cumulated memory: 150384 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30270
/proc/meminfo: memFree=17274528/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2146424 memory=151024 CPUtime=2082.23 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 779324 0 0 0 207040 1183 0 0 20 0 1 0 219665272 2197938176 37756 33554432000 4194304 5849708 140728094878560 140728094877560 5438257 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 536606 37756 700 405 0 533551 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 2146424 KiB
Current children cumulated memory: 151024 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30271
/proc/meminfo: memFree=17259148/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2162576 memory=167272 CPUtime=2142.22 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 786213 0 0 0 213014 1208 0 0 20 0 1 0 219665272 2214477824 41818 33554432000 4194304 5849708 140728094878560 140728094877560 5437824 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 540644 41818 700 405 0 537589 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 2162576 KiB
Current children cumulated memory: 167272 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30272
/proc/meminfo: memFree=17258024/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2163376 memory=168036 CPUtime=2202.22 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 812965 0 0 0 218988 1234 0 0 20 0 1 0 219665272 2215297024 42009 33554432000 4194304 5849708 140728094878560 140728094877560 140377948090247 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 540844 42009 700 405 0 537789 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 2163376 KiB
Current children cumulated memory: 168036 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30273
/proc/meminfo: memFree=17257468/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2164192 memory=168884 CPUtime=2262.22 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 818845 0 0 0 224965 1257 0 0 20 0 1 0 219665272 2216132608 42221 33554432000 4194304 5849708 140728094878560 140728094877560 5437632 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 541048 42221 700 405 0 537993 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 2164192 KiB
Current children cumulated memory: 168884 KiB
[startup+2322.3 s]
/proc/loadavg: 2.14 2.05 2.06 3/191 30275
/proc/meminfo: memFree=17420348/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2168924 memory=173708 CPUtime=2322.22 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 839310 0 0 0 230940 1282 0 0 20 0 1 0 219665272 2220978176 43427 33554432000 4194304 5849708 140728094878560 140728094877560 5437702 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 542231 43427 700 405 0 539176 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 2168924 KiB
Current children cumulated memory: 173708 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 30276
/proc/meminfo: memFree=17296544/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2142780 memory=147524 CPUtime=2382.22 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 848134 0 0 0 236917 1305 0 0 20 0 1 0 219665272 2194206720 36881 33554432000 4194304 5849708 140728094878560 140728094877560 5438212 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 535695 36881 700 405 0 532640 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2142780 KiB
Current children cumulated memory: 147524 KiB
[startup+2442.3 s]
/proc/loadavg: 2.56 2.17 2.09 3/191 30337
/proc/meminfo: memFree=17981496/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2167140 memory=171992 CPUtime=2442.21 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 870384 0 0 0 242891 1330 0 0 20 0 1 0 219665272 2219151360 42998 33554432000 4194304 5849708 140728094878560 140728094877560 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 541785 42998 700 405 0 538730 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 2167140 KiB
Current children cumulated memory: 171992 KiB
[startup+2502.3 s]
/proc/loadavg: 2.24 2.16 2.09 3/191 30338
/proc/meminfo: memFree=17959536/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2168708 memory=173444 CPUtime=2502.21 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 877233 0 0 0 248866 1355 0 0 20 0 1 0 219665272 2220756992 43361 33554432000 4194304 5849708 140728094878560 140728094877432 5335568 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 542177 43361 700 405 0 539122 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 2168708 KiB
Current children cumulated memory: 173444 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.17 2.15 2.09 3/191 30339
/proc/meminfo: memFree=17968584/32770624 swapFree=67108688/67108860
[pid=30150] ppid=30147 vsize=2141476 memory=146212 CPUtime=2519.92 cores=0,2,4,6
/proc/30150/stat : 30150 (xcsp_picat) R 30147 30150 25480 0 -1 4202496 894481 0 0 0 250628 1364 0 0 20 0 1 0 219665272 2192871424 36553 33554432000 4194304 5849708 140728094878560 140728094877720 140377948090247 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 46632960 140728094880950 140728094881028 140728094881028 140728094883786 0
/proc/30150/statm: 535369 36553 700 405 0 532314 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 2141476 KiB
Current children cumulated memory: 146212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30150 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.28 s, system=13.6537 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): 2506.28
CPU system time (s): 13.6537
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 2168924
Max. memory (cumulated for all children) (KiB): 173708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.28
system time used= 13.6537
maximum resident set size= 173708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 894481
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: 30150
# total CPU time (s): 2519.94
# total CPU user time (s): 2506.28
# total CPU system time (s): 13.6537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.61805 second user time and 18.7036 second system time
The end