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 (14405 MiB free)
memory of node 1: 16384 MiB (13400 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407761-1569512466/watcher-4407761-1569512466 -o /var/tmp/evaluation-result-4407761-1569512466/solver-4407761-1569512466 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569505917-18175 --watchdog 2560 xcsp_picat HOME/instance-4407761-1569512466.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18857, runsolver pid=18854
Current StackSize limit: 8192 KiB
[startup+0.100427 s]*
/proc/loadavg: 2.00 2.01 1.91 3/198 18858
/proc/meminfo: memFree=28449252/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2031716 memory=27516 CPUtime=0.09 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 1423 0 0 0 9 0 0 0 20 0 1 0 527501854 2080477184 6879 33554432000 4194304 5870510 140730414473104 140730414472408 140040201907200 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 507929 6879 841 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 27516 KiB
[startup+0.209795 s]*
/proc/loadavg: 2.00 2.01 1.91 3/198 18858
/proc/meminfo: memFree=28441172/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2031716 memory=35708 CPUtime=0.2 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 1427 0 0 0 20 0 0 0 20 0 1 0 527501854 2080477184 8927 33554432000 4194304 5870510 140730414473104 140730414472408 4461503 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 507929 8927 841 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 35708 KiB
[startup+0.309693 s]*
/proc/loadavg: 2.00 2.01 1.91 3/198 18858
/proc/meminfo: memFree=28432980/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2031716 memory=45948 CPUtime=0.31 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 1432 0 0 0 30 1 0 0 20 0 1 0 527501854 2080477184 11487 33554432000 4194304 5870510 140730414473104 140730414472408 4477408 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 507929 11487 841 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 45948 KiB
[startup+0.700345 s]
/proc/loadavg: 2.00 2.01 1.91 3/198 18858
/proc/meminfo: memFree=28403448/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2045348 memory=73904 CPUtime=0.69 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 3994 0 0 0 60 9 0 0 20 0 1 0 527501854 2094436352 18476 33554432000 4194304 5870510 140730414473104 140730414472408 140040201928583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 511337 18476 898 410 0 506810 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2045348 KiB
Current children cumulated memory: 73904 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 1.91 3/198 18858
/proc/meminfo: memFree=28403016/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2045396 memory=75424 CPUtime=1.48 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 5134 0 0 0 134 14 0 0 20 0 1 0 527501854 2094485504 18856 33554432000 4194304 5870510 140730414473104 140730414472360 5268151 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 511349 18856 934 410 0 506822 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2045396 KiB
Current children cumulated memory: 75424 KiB
[startup+3.10955 s]
/proc/loadavg: 2.00 2.01 1.91 3/198 18858
/proc/meminfo: memFree=28395512/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2052812 memory=81580 CPUtime=3.1 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 9195 0 0 0 295 15 0 0 20 0 1 0 527501854 2102079488 20395 33554432000 4194304 5870510 140730414473104 140730414472056 5267985 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 513203 20395 934 410 0 508676 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2052812 KiB
Current children cumulated memory: 81580 KiB
[startup+6.30039 s]
/proc/loadavg: 2.00 2.01 1.91 3/198 18858
/proc/meminfo: memFree=28384124/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2072996 memory=95580 CPUtime=6.28 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 15194 0 0 0 613 15 0 0 20 0 1 0 527501854 2122747904 23895 33554432000 4194304 5870510 140730414473104 140730414471464 5262756 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 518249 23895 935 410 0 513722 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2072996 KiB
Current children cumulated memory: 95580 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.91 3/198 18858
/proc/meminfo: memFree=28343824/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2123616 memory=136900 CPUtime=12.69 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 27784 0 0 0 1251 18 0 0 20 0 1 0 527501854 2174582784 34225 33554432000 4194304 5870510 140730414473104 140730414471400 5274482 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 530904 34225 935 410 0 526377 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2123616 KiB
Current children cumulated memory: 136900 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.91 3/198 18859
/proc/meminfo: memFree=28257616/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2336308 memory=291588 CPUtime=25.48 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 74419 0 0 0 2524 24 0 0 20 0 1 0 527501854 2392379392 72897 33554432000 4194304 5870510 140730414473104 140730414471464 5305050 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 584077 72897 935 410 0 579550 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2336308 KiB
Current children cumulated memory: 291588 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 1.91 3/198 18861
/proc/meminfo: memFree=28270028/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2176300 memory=206048 CPUtime=51.09 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 99365 0 0 0 5079 30 0 0 20 0 1 0 527501854 2228531200 51512 33554432000 4194304 5870510 140730414473104 140730414472120 5308341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 544075 51512 935 410 0 539548 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2176300 KiB
Current children cumulated memory: 206048 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/199 18873
/proc/meminfo: memFree=28321716/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2148388 memory=157196 CPUtime=102.27 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 116113 0 0 0 10189 38 0 0 20 0 1 0 527501854 2199949312 39299 33554432000 4194304 5870510 140730414473104 140730414471544 5262756 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 537097 39299 935 410 0 532570 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2148388 KiB
Current children cumulated memory: 157196 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/199 18877
/proc/meminfo: memFree=28236444/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2228528 memory=241088 CPUtime=162.28 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 127925 0 0 0 16182 46 0 0 20 0 1 0 527501854 2282012672 60272 33554432000 4194304 5870510 140730414473104 140730414472056 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 557132 60272 935 410 0 552605 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2228528 KiB
Current children cumulated memory: 241088 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/199 18883
/proc/meminfo: memFree=28296492/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2148388 memory=179416 CPUtime=222.27 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 138546 0 0 0 22174 53 0 0 20 0 1 0 527501854 2199949312 44854 33554432000 4194304 5870510 140730414473104 140730414472120 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 537097 44854 935 410 0 532570 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2148388 KiB
Current children cumulated memory: 179416 KiB
[startup+282.3 s]
/proc/loadavg: 2.12 2.04 1.95 3/199 18887
/proc/meminfo: memFree=28248812/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2197708 memory=227572 CPUtime=282.27 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 142180 0 0 0 28167 60 0 0 20 0 1 0 527501854 2250452992 56893 33554432000 4194304 5870510 140730414473104 140730414471544 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 549427 56893 935 410 0 544900 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2197708 KiB
Current children cumulated memory: 227572 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/199 18891
/proc/meminfo: memFree=28247368/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2209812 memory=229436 CPUtime=342.26 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 155411 0 0 0 34159 67 0 0 20 0 1 0 527501854 2262847488 57359 33554432000 4194304 5870510 140730414473104 140730414471544 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 552453 57359 935 410 0 547926 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2209812 KiB
Current children cumulated memory: 229436 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/198 18897
/proc/meminfo: memFree=28244272/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2209812 memory=231524 CPUtime=402.26 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 161293 0 0 0 40148 78 0 0 20 0 1 0 527501854 2262847488 57881 33554432000 4194304 5870510 140730414473104 140730414472056 5277450 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 552453 57881 935 410 0 547926 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2209812 KiB
Current children cumulated memory: 231524 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/198 18901
/proc/meminfo: memFree=28246820/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2209812 memory=229420 CPUtime=462.25 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 185527 0 0 0 46139 86 0 0 20 0 1 0 527501854 2262847488 57355 33554432000 4194304 5870510 140730414473104 140730414471544 5282192 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 552453 57355 935 410 0 547926 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2209812 KiB
Current children cumulated memory: 229420 KiB
################
# More data... #
################
/proc/18857/statm: 581827 85453 935 410 0 577300 0
Current children cumulated CPU time: 1662.1 s
Current children cumulated vsize: 2327308 KiB
Current children cumulated memory: 341812 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 19227
/proc/meminfo: memFree=28240876/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2327308 memory=339764 CPUtime=1722.09 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 424840 0 0 0 171937 272 0 0 20 0 1 0 527501854 2383163392 84941 33554432000 4194304 5870510 140730414473104 140730414472056 5262735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 581827 84941 935 410 0 577300 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 2327308 KiB
Current children cumulated memory: 339764 KiB
[startup+1782.3 s]
/proc/loadavg: 2.12 2.04 2.04 3/198 19358
/proc/meminfo: memFree=28081400/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2277220 memory=301776 CPUtime=1782.09 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 429589 0 0 0 177926 283 0 0 20 0 1 0 527501854 2331873280 75444 33554432000 4194304 5870510 140730414473104 140730414472120 5262649 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 569305 75444 935 410 0 564778 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 301776 KiB
[startup+1842.3 s]
/proc/loadavg: 2.08 2.05 2.04 3/198 19489
/proc/meminfo: memFree=28007544/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2327308 memory=317240 CPUtime=1842.08 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 452416 0 0 0 183916 292 0 0 20 0 1 0 527501854 2383163392 79310 33554432000 4194304 5870510 140730414473104 140730414472056 5304144 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 581827 79310 935 410 0 577300 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 2327308 KiB
Current children cumulated memory: 317240 KiB
[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 2.04 3/199 19501
/proc/meminfo: memFree=27945032/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2327308 memory=321332 CPUtime=1902.07 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 477890 0 0 0 189903 304 0 0 20 0 1 0 527501854 2383163392 80333 33554432000 4194304 5870510 140730414473104 140730414472056 5262639 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 581827 80333 935 410 0 577300 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 2327308 KiB
Current children cumulated memory: 321332 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/199 19568
/proc/meminfo: memFree=28307232/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2277220 memory=287468 CPUtime=1962.07 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 484260 0 0 0 195891 316 0 0 20 0 1 0 527501854 2331873280 71867 33554432000 4194304 5870510 140730414473104 140730414472056 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 569305 71867 935 410 0 564778 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 287468 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/199 19634
/proc/meminfo: memFree=28279560/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2246400 memory=277100 CPUtime=2022.06 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 492002 0 0 0 201879 327 0 0 20 0 1 0 527501854 2300313600 69275 33554432000 4194304 5870510 140730414473104 140730414472120 5262777 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 561600 69275 935 410 0 557073 0
Current children cumulated CPU time: 2022.06 s
Current children cumulated vsize: 2246400 KiB
Current children cumulated memory: 277100 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/199 19638
/proc/meminfo: memFree=28256544/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2277220 memory=297680 CPUtime=2082.05 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 499757 0 0 0 207867 338 0 0 20 0 1 0 527501854 2331873280 74420 33554432000 4194304 5870510 140730414473104 140730414472120 5262800 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 569305 74420 935 410 0 564778 0
Current children cumulated CPU time: 2082.05 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 297680 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/199 19642
/proc/meminfo: memFree=28244948/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2277220 memory=305896 CPUtime=2142.04 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 504694 0 0 0 213857 347 0 0 20 0 1 0 527501854 2331873280 76474 33554432000 4194304 5870510 140730414473104 140730414472056 5282738 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 569305 76474 935 410 0 564778 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 305896 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 19648
/proc/meminfo: memFree=28250096/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2277220 memory=294288 CPUtime=2202.03 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 522034 0 0 0 219848 355 0 0 20 0 1 0 527501854 2331873280 73572 33554432000 4194304 5870510 140730414473104 140730414472120 5283135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 569305 73572 935 410 0 564778 0
Current children cumulated CPU time: 2202.03 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 294288 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 19652
/proc/meminfo: memFree=28245744/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2277220 memory=293584 CPUtime=2262.03 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 526018 0 0 0 225839 364 0 0 20 0 1 0 527501854 2331873280 73396 33554432000 4194304 5870510 140730414473104 140730414472120 5282736 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 569305 73396 935 410 0 564778 0
Current children cumulated CPU time: 2262.03 s
Current children cumulated vsize: 2277220 KiB
Current children cumulated memory: 293584 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/198 19656
/proc/meminfo: memFree=28198716/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2327308 memory=333620 CPUtime=2322.02 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 529421 0 0 0 231830 372 0 0 20 0 1 0 527501854 2383163392 83405 33554432000 4194304 5870510 140730414473104 140730414472056 5262802 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 581827 83405 935 410 0 577300 0
Current children cumulated CPU time: 2322.02 s
Current children cumulated vsize: 2327308 KiB
Current children cumulated memory: 333620 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/198 19662
/proc/meminfo: memFree=28207816/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2327308 memory=325428 CPUtime=2382.01 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 533962 0 0 0 237816 385 0 0 20 0 1 0 527501854 2383163392 81357 33554432000 4194304 5870510 140730414473104 140730414472056 5282747 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 581827 81357 935 410 0 577300 0
Current children cumulated CPU time: 2382.01 s
Current children cumulated vsize: 2327308 KiB
Current children cumulated memory: 325428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 19663
/proc/meminfo: memFree=28203848/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2327308 memory=327556 CPUtime=2400.01 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 551303 0 0 0 239613 388 0 0 20 0 1 0 527501854 2383163392 81889 33554432000 4194304 5870510 140730414473104 140730414472056 5262976 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 581827 81889 935 410 0 577300 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 2327308 KiB
Current children cumulated memory: 327556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.31 s]
# the end of solver process 18857 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.14 s, system=3.8906 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 19663
/proc/meminfo: memFree=28203848/32770624 swapFree=66954412/67108860
[pid=18857] ppid=18854 vsize=2327308 memory=327556 CPUtime=2400.01 cores=1,3,5,7
/proc/18857/stat : 18857 (xcsp_picat) R 18854 18857 18143 0 -1 4202496 551303 0 0 0 239613 388 0 0 20 0 1 0 527501854 2383163392 81889 33554432000 4194304 5870510 140730414473104 140730414472056 5262976 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 36290560 140730414474247 140730414474329 140730414474329 140730414477254 0
/proc/18857/statm: 581827 81889 935 410 0 577300 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 2327308 KiB
Current children cumulated memory: 327556 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.31
CPU time (s): 2400.03
CPU user time (s): 2396.14
CPU system time (s): 3.8906
CPU usage (%): 99.9883
Max. virtual memory (cumulated for all children) (KiB): 2538924
Max. memory (cumulated for all children) (KiB): 463472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.14
system time used= 3.8906
maximum resident set size= 467568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551303
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= 1911
# summary of solver processes directly reported to runsolver:
# pid: 18857
# total CPU time (s): 2400.03
# total CPU user time (s): 2396.14
# total CPU system time (s): 3.8906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4448 second user time and 14.1243 second system time
The end