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 (15223 MiB free)
memory of node 1: 16384 MiB (15050 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395722-1568330584/watcher-4395722-1568330584 -o /tmp/evaluation-result-4395722-1568330584/solver-4395722-1568330584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568323825-31467 --watchdog 2560 xcsp_picat HOME/instance-4395722-1568330584.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=2041, runsolver pid=2038
[startup+0.100809 s]*
/proc/loadavg: 2.00 2.00 2.04 3/202 2042
/proc/meminfo: memFree=30982824/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2031716 memory=21924 CPUtime=0.09 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 1599 0 0 0 9 0 0 0 20 0 1 0 409307982 2080477184 5481 33554432000 4194304 5870510 140721425572208 140721425571512 4459079 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 507929 5481 800 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 21924 KiB
[startup+0.209816 s]*
/proc/loadavg: 2.00 2.00 2.04 3/202 2042
/proc/meminfo: memFree=30968372/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2031716 memory=38532 CPUtime=0.2 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 1658 0 0 0 20 0 0 0 20 0 1 0 409307982 2080477184 9633 33554432000 4194304 5870510 140721425572208 140721425571512 4460181 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 507929 9633 843 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38532 KiB
[startup+0.309729 s]*
/proc/loadavg: 2.00 2.00 2.04 3/202 2042
/proc/meminfo: memFree=30943796/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2031716 memory=63108 CPUtime=0.3 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 1670 0 0 0 29 1 0 0 20 0 1 0 409307982 2080477184 15777 33554432000 4194304 5870510 140721425572208 140721425571512 4804629 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 507929 15777 843 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 63108 KiB
[startup+0.700328 s]
/proc/loadavg: 2.00 2.00 2.04 3/202 2042
/proc/meminfo: memFree=30896692/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2031716 memory=155460 CPUtime=0.68 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 1715 0 0 0 66 2 0 0 20 0 1 0 409307982 2080477184 38865 33554432000 4194304 5870510 140721425572208 140721425571512 4490041 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 507929 38865 885 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 155460 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.04 3/202 2042
/proc/meminfo: memFree=30816436/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2038992 memory=189244 CPUtime=1.48 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 2548 0 0 0 145 3 0 0 20 0 1 0 409307982 2087927808 47311 33554432000 4194304 5870510 140721425572208 140721425571512 5440768 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 509748 47311 952 410 0 505221 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2038992 KiB
Current children cumulated memory: 189244 KiB
[startup+3.10966 s]
/proc/loadavg: 2.00 2.00 2.04 3/202 2042
/proc/meminfo: memFree=30816888/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2063652 memory=217796 CPUtime=3.1 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 12075 0 0 0 305 5 0 0 20 0 1 0 409307982 2113179648 54449 33554432000 4194304 5870510 140721425572208 140721425571448 5287642 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 515913 54449 952 410 0 511386 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2063652 KiB
Current children cumulated memory: 217796 KiB
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.04 3/202 2042
/proc/meminfo: memFree=30784748/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2084124 memory=234168 CPUtime=6.28 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 16942 0 0 0 622 6 0 0 20 0 1 0 409307982 2134142976 58542 33554432000 4194304 5870510 140721425572208 140721425571464 5274469 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 521031 58542 983 410 0 516504 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2084124 KiB
Current children cumulated memory: 234168 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/202 2042
/proc/meminfo: memFree=30706892/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2184000 memory=310636 CPUtime=12.69 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 25244 0 0 0 1259 10 0 0 20 0 1 0 409307982 2236416000 77659 33554432000 4194304 5870510 140721425572208 140721425571160 5277472 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 546000 77659 983 410 0 541473 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2184000 KiB
Current children cumulated memory: 310636 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/202 2044
/proc/meminfo: memFree=30750724/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2113044 memory=250272 CPUtime=25.48 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 49321 0 0 0 2533 15 0 0 20 0 1 0 409307982 2163757056 62568 33554432000 4194304 5870510 140721425572208 140721425571224 5283138 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 528261 62568 990 410 0 523734 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2113044 KiB
Current children cumulated memory: 250272 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 2109
/proc/meminfo: memFree=28414596/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2143096 memory=289060 CPUtime=51.08 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 56020 0 0 0 5090 18 0 0 20 0 1 0 409307982 2194530304 72265 33554432000 4194304 5870510 140721425572208 140721425570648 5281827 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 535774 72265 990 410 0 531247 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2143096 KiB
Current children cumulated memory: 289060 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 2113
/proc/meminfo: memFree=28350176/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2143096 memory=289060 CPUtime=102.27 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 56131 0 0 0 10209 18 0 0 20 0 1 0 409307982 2194530304 72265 33554432000 4194304 5870510 140721425572208 140721425570648 5306820 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 535774 72265 990 410 0 531247 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2143096 KiB
Current children cumulated memory: 289060 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 2120
/proc/meminfo: memFree=28311460/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2175520 memory=327208 CPUtime=162.26 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 57406 0 0 0 16207 19 0 0 20 0 1 0 409307982 2227732480 81802 33554432000 4194304 5870510 140721425572208 140721425570776 140363492546607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 543880 81802 990 410 0 539353 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2175520 KiB
Current children cumulated memory: 327208 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 2124
/proc/meminfo: memFree=28309368/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2175520 memory=329284 CPUtime=222.26 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 58194 0 0 0 22207 19 0 0 20 0 1 0 409307982 2227732480 82321 33554432000 4194304 5870510 140721425572208 140721425570776 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 543880 82321 990 410 0 539353 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2175520 KiB
Current children cumulated memory: 329284 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 2128
/proc/meminfo: memFree=28305952/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2175520 memory=333380 CPUtime=282.26 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 59046 0 0 0 28207 19 0 0 20 0 1 0 409307982 2227732480 83345 33554432000 4194304 5870510 140721425572208 140721425570776 5272224 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 543880 83345 990 410 0 539353 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2175520 KiB
Current children cumulated memory: 333380 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 2135
/proc/meminfo: memFree=28305412/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2175520 memory=333432 CPUtime=342.25 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 59886 0 0 0 34206 19 0 0 20 0 1 0 409307982 2227732480 83358 33554432000 4194304 5870510 140721425572208 140721425570776 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 543880 83358 990 410 0 539353 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2175520 KiB
Current children cumulated memory: 333432 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/202 2139
/proc/meminfo: memFree=28305392/32770624 swapFree=66966220/67108860
[pid=2041] ppid=2038 vsize=2175516 memory=334180 CPUtime=402.25 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 62839 0 0 0 40203 22 0 0 20 0 1 0 409307982 2227728384 83545 33554432000 4194304 5870510 140721425572208 140721425570776 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 543879 83545 990 410 0 539352 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2175516 KiB
Current children cumulated memory: 334180 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/204 2152
/proc/meminfo: memFree=28301792/32770624 swapFree=66966236/67108860
[pid=2041] ppid=2038 vsize=2175516 memory=334088 CPUtime=462.25 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 65590 0 0 0 46201 24 0 0 20 0 1 0 409307982 2227728384 83522 33554432000 4194304 5870510 140721425572208 140721425570776 5281947 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 543879 83522 990 410 0 539352 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2175516 KiB
Current children cumulated memory: 334088 KiB
################
# More data... #
################
/proc/2041/statm: 560951 96492 990 410 0 556424 0
Current children cumulated CPU time: 1662.22 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 385968 KiB
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/203 2271
/proc/meminfo: memFree=28173332/32770624 swapFree=66966244/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=388016 CPUtime=1722.22 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 170389 0 0 0 172095 127 0 0 20 0 1 0 409307982 2297655296 97004 33554432000 4194304 5870510 140721425572208 140721425570648 5283067 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 97004 990 410 0 556424 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 388016 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/202 2277
/proc/meminfo: memFree=28205132/32770624 swapFree=66966244/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=385964 CPUtime=1782.21 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 175909 0 0 0 178089 132 0 0 20 0 1 0 409307982 2297655296 96491 33554432000 4194304 5870510 140721425572208 140721425570648 5282632 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 96491 990 410 0 556424 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 385964 KiB
[startup+1842.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/202 2281
/proc/meminfo: memFree=28170932/32770624 swapFree=66966244/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=388016 CPUtime=1842.21 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 180584 0 0 0 184084 137 0 0 20 0 1 0 409307982 2297655296 97004 33554432000 4194304 5870510 140721425572208 140721425570648 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 97004 990 410 0 556424 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 388016 KiB
[startup+1902.3 s]
/proc/loadavg: 2.52 2.17 2.09 3/202 2285
/proc/meminfo: memFree=28168672/32770624 swapFree=66966244/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=390056 CPUtime=1902.21 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 185671 0 0 0 190079 142 0 0 20 0 1 0 409307982 2297655296 97514 33554432000 4194304 5870510 140721425572208 140721425570648 5308192 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 97514 990 410 0 556424 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 390056 KiB
[startup+1962.3 s]
/proc/loadavg: 2.26 2.17 2.09 3/202 2292
/proc/meminfo: memFree=28204084/32770624 swapFree=66966244/67108860
[pid=2041] ppid=2038 vsize=2194484 memory=353668 CPUtime=1962.2 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 190350 0 0 0 196074 146 0 0 20 0 1 0 409307982 2247151616 88417 33554432000 4194304 5870510 140721425572208 140721425570648 5281810 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 548621 88417 990 410 0 544094 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 2194484 KiB
Current children cumulated memory: 353668 KiB
[startup+2022.3 s]
/proc/loadavg: 2.09 2.14 2.09 3/203 2297
/proc/meminfo: memFree=28168312/32770624 swapFree=66966244/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=392108 CPUtime=2022.21 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 196405 0 0 0 202068 153 0 0 20 0 1 0 409307982 2297655296 98027 33554432000 4194304 5870510 140721425572208 140721425570648 5289014 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 98027 990 410 0 556424 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 392108 KiB
[startup+2082.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/203 2301
/proc/meminfo: memFree=28168536/32770624 swapFree=66966244/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=390064 CPUtime=2082.2 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 202932 0 0 0 208060 160 0 0 20 0 1 0 409307982 2297655296 97516 33554432000 4194304 5870510 140721425572208 140721425570648 5283138 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 97516 990 410 0 556424 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 390064 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/203 2308
/proc/meminfo: memFree=28166012/32770624 swapFree=66966244/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=392112 CPUtime=2142.19 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 209637 0 0 0 214053 166 0 0 20 0 1 0 409307982 2297655296 98028 33554432000 4194304 5870510 140721425572208 140721425570648 5283135 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 98028 990 410 0 556424 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 392112 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/203 2312
/proc/meminfo: memFree=28167212/32770624 swapFree=66966244/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=390300 CPUtime=2202.19 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 213996 0 0 0 220048 171 0 0 20 0 1 0 409307982 2297655296 97575 33554432000 4194304 5870510 140721425572208 140721425571224 5283135 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 97575 990 410 0 556424 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 390300 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/205 2325
/proc/meminfo: memFree=28163864/32770624 swapFree=66966244/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=392088 CPUtime=2262.2 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 217752 0 0 0 226045 175 0 0 20 0 1 0 409307982 2297655296 98022 33554432000 4194304 5870510 140721425572208 140721425570648 5282767 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 98022 990 410 0 556424 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 392088 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/204 2357
/proc/meminfo: memFree=28165052/32770624 swapFree=66966260/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=394212 CPUtime=2322.2 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 221539 0 0 0 232042 178 0 0 20 0 1 0 409307982 2297655296 98553 33554432000 4194304 5870510 140721425572208 140721425570648 5308341 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 98553 990 410 0 556424 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 394212 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/204 2362
/proc/meminfo: memFree=28204724/32770624 swapFree=66966260/67108860
[pid=2041] ppid=2038 vsize=2194484 memory=353668 CPUtime=2382.19 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 225344 0 0 0 238038 181 0 0 20 0 1 0 409307982 2247151616 88417 33554432000 4194304 5870510 140721425572208 140721425570648 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 548621 88417 990 410 0 544094 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 2194484 KiB
Current children cumulated memory: 353668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.04 2.06 3/205 2363
/proc/meminfo: memFree=28169772/32770624 swapFree=66966260/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=387976 CPUtime=2400 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 226237 0 0 0 239818 182 0 0 20 0 1 0 409307982 2297655296 96994 33554432000 4194304 5870510 140721425572208 140721425570648 5308227 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 96994 990 410 0 556424 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 387976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 2041 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.19 s, system=1.82493 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.04 2.06 3/205 2363
/proc/meminfo: memFree=28169772/32770624 swapFree=66966260/67108860
[pid=2041] ppid=2038 vsize=2243804 memory=387976 CPUtime=2400 cores=0,2,4,6
/proc/2041/stat : 2041 (xcsp_picat) R 2038 2041 31436 0 -1 4202496 226237 0 0 0 239818 182 0 0 20 0 1 0 409307982 2297655296 96994 33554432000 4194304 5870510 140721425572208 140721425570648 5308227 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 33320960 140721425576991 140721425577069 140721425577069 140721425579978 0
/proc/2041/statm: 560951 96994 990 410 0 556424 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 387976 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.11
CPU time (s): 2400.01
CPU user time (s): 2398.19
CPU system time (s): 1.82493
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 2293124
Max. memory (cumulated for all children) (KiB): 412428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.19
system time used= 1.82493
maximum resident set size= 426764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226237
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= 16
involuntary context switches= 1416
# summary of solver processes directly reported to runsolver:
# pid: 2041
# total CPU time (s): 2400.01
# total CPU user time (s): 2398.19
# total CPU system time (s): 1.82493
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.3584 second user time and 18.7374 second system time
The end