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 (11397 MiB free)
memory of node 1: 16384 MiB (12589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407797-1569512848/watcher-4407797-1569512848 -o /var/tmp/evaluation-result-4407797-1569512848/solver-4407797-1569512848 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1569509600-16880 --watchdog 2560 xcsp_picat HOME/instance-4407797-1569512848.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
Current StackSize limit: 8192 KiB
solver pid=17651, runsolver pid=17648
[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 1.95 3/199 17652
/proc/meminfo: memFree=24545856/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2034340 memory=20640 CPUtime=0.1 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 2526 0 0 0 10 0 0 0 20 0 1 0 527224809 2083164160 5160 33554432000 4194304 5870510 140729584996576 140729584995880 5298780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 508585 5160 960 410 0 504058 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2034340 KiB
Current children cumulated memory: 20640 KiB
[startup+0.209679 s]*
/proc/loadavg: 2.00 2.01 1.95 3/199 17652
/proc/meminfo: memFree=24545856/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2035108 memory=21276 CPUtime=0.21 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 2703 0 0 0 21 0 0 0 20 0 1 0 527224809 2083950592 5319 33554432000 4194304 5870510 140729584996576 140729584995880 140476437957605 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 508777 5319 980 410 0 504250 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2035108 KiB
Current children cumulated memory: 21276 KiB
[startup+0.309133 s]*
/proc/loadavg: 2.00 2.01 1.95 3/199 17652
/proc/meminfo: memFree=24544740/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2036400 memory=22344 CPUtime=0.31 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 2936 0 0 0 31 0 0 0 20 0 1 0 527224809 2085273600 5586 33554432000 4194304 5870510 140729584996576 140729584995880 5298780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 509100 5586 980 410 0 504573 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036400 KiB
Current children cumulated memory: 22344 KiB
[startup+0.700373 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 17652
/proc/meminfo: memFree=24542928/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2041596 memory=25556 CPUtime=0.69 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 3749 0 0 0 69 0 0 0 20 0 1 0 527224809 2090594304 6389 33554432000 4194304 5870510 140729584996576 140729584995000 5298780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 510399 6389 982 410 0 505872 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041596 KiB
Current children cumulated memory: 25556 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 17652
/proc/meminfo: memFree=24538676/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2057640 memory=38680 CPUtime=1.49 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 5213 0 0 0 148 1 0 0 20 0 1 0 527224809 2107023360 9670 33554432000 4194304 5870510 140729584996576 140729584995000 5282661 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 514410 9670 982 410 0 509883 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2057640 KiB
Current children cumulated memory: 38680 KiB
[startup+3.1095 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 17652
/proc/meminfo: memFree=24536644/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2046000 memory=28968 CPUtime=3.1 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 11063 0 0 0 308 2 0 0 20 0 1 0 527224809 2095104000 7242 33554432000 4194304 5870510 140729584996576 140729584995000 5282236 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 511500 7242 989 410 0 506973 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2046000 KiB
Current children cumulated memory: 28968 KiB
[startup+6.30033 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 17652
/proc/meminfo: memFree=24507860/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2077284 memory=60928 CPUtime=6.29 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 14314 0 0 0 627 2 0 0 20 0 1 0 527224809 2127138816 15232 33554432000 4194304 5870510 140729584996576 140729584995144 5277931 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 519321 15232 989 410 0 514794 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2077284 KiB
Current children cumulated memory: 60928 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 1.96 3/199 17652
/proc/meminfo: memFree=24471556/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2077284 memory=63920 CPUtime=12.69 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 18862 0 0 0 1266 3 0 0 20 0 1 0 527224809 2127138816 15980 33554432000 4194304 5870510 140729584996576 140729584995592 5274717 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 519321 15980 989 410 0 514794 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2077284 KiB
Current children cumulated memory: 63920 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 1.96 3/199 17655
/proc/meminfo: memFree=24484656/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2077284 memory=63920 CPUtime=25.49 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 23817 0 0 0 2546 3 0 0 20 0 1 0 527224809 2127138816 15980 33554432000 4194304 5870510 140729584996576 140729584995592 5272968 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 519321 15980 989 410 0 514794 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2077284 KiB
Current children cumulated memory: 63920 KiB
[startup+51.1095 s]
/proc/loadavg: 2.04 2.03 1.96 3/199 17655
/proc/meminfo: memFree=24476744/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2085316 memory=71972 CPUtime=51.1 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 28564 0 0 0 5107 3 0 0 20 0 1 0 527224809 2135363584 17993 33554432000 4194304 5870510 140729584996576 140729584995752 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 521329 17993 989 410 0 516802 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2085316 KiB
Current children cumulated memory: 71972 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/198 17659
/proc/meminfo: memFree=24495384/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2085316 memory=71972 CPUtime=102.29 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 32581 0 0 0 10225 4 0 0 20 0 1 0 527224809 2135363584 17993 33554432000 4194304 5870510 140729584996576 140729584995688 5272547 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 521329 17993 989 410 0 516802 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2085316 KiB
Current children cumulated memory: 71972 KiB
[startup+162.3 s]
/proc/loadavg: 2.35 2.10 1.99 3/199 17666
/proc/meminfo: memFree=24411076/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2103644 memory=90404 CPUtime=162.3 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 36435 0 0 0 16225 5 0 0 20 0 1 0 527224809 2154131456 22601 33554432000 4194304 5870510 140729584996576 140729584995144 5283087 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 525911 22601 989 410 0 521384 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2103644 KiB
Current children cumulated memory: 90404 KiB
[startup+222.3 s]
/proc/loadavg: 2.27 2.14 2.01 3/200 17678
/proc/meminfo: memFree=24427464/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2103468 memory=88576 CPUtime=222.29 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 42319 0 0 0 22223 6 0 0 20 0 1 0 527224809 2153951232 22144 33554432000 4194304 5870510 140729584996576 140729584995144 5272665 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 525867 22144 989 410 0 521340 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2103468 KiB
Current children cumulated memory: 88576 KiB
[startup+282.3 s]
/proc/loadavg: 2.10 2.11 2.01 3/200 17682
/proc/meminfo: memFree=24418464/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2103468 memory=89980 CPUtime=282.29 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 42746 0 0 0 28223 6 0 0 20 0 1 0 527224809 2153951232 22495 33554432000 4194304 5870510 140729584996576 140729584995144 5272624 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 525867 22495 989 410 0 521340 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2103468 KiB
Current children cumulated memory: 89980 KiB
[startup+342.3 s]
/proc/loadavg: 2.07 2.10 2.01 3/200 17688
/proc/meminfo: memFree=24433428/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2091412 memory=77980 CPUtime=342.3 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 47891 0 0 0 34222 8 0 0 20 0 1 0 527224809 2141605888 19495 33554432000 4194304 5870510 140729584996576 140729584995016 5282597 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 522853 19495 989 410 0 518326 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2091412 KiB
Current children cumulated memory: 77980 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.09 2.01 3/200 17692
/proc/meminfo: memFree=24468448/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2091412 memory=77980 CPUtime=402.3 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 47900 0 0 0 40222 8 0 0 20 0 1 0 527224809 2141605888 19495 33554432000 4194304 5870510 140729584996576 140729584995016 5282574 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 522853 19495 989 410 0 518326 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2091412 KiB
Current children cumulated memory: 77980 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.01 3/200 17696
/proc/meminfo: memFree=24434732/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2091412 memory=78116 CPUtime=462.3 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 51226 0 0 0 46222 8 0 0 20 0 1 0 527224809 2141605888 19529 33554432000 4194304 5870510 140729584996576 140729584995752 5282750 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 522853 19529 989 410 0 518326 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2091412 KiB
Current children cumulated memory: 78116 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.06 2.01 3/199 17703
/proc/meminfo: memFree=24461308/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2101376 memory=84260 CPUtime=522.31 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 51241 0 0 0 52222 9 0 0 20 0 1 0 527224809 2151809024 21065 33554432000 4194304 5870510 140729584996576 140729584995016 5275018 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 525344 21065 989 410 0 520817 0
Current children cumulated CPU time: 522.31 s
Current children cumulated vsize: 2101376 KiB
Current children cumulated memory: 84260 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/199 17707
/proc/meminfo: memFree=24410184/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2101376 memory=84264 CPUtime=582.31 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 54054 0 0 0 58222 9 0 0 20 0 1 0 527224809 2151809024 21066 33554432000 4194304 5870510 140729584996576 140729584995016 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 525344 21066 989 410 0 520817 0
Current children cumulated CPU time: 582.31 s
Current children cumulated vsize: 2101376 KiB
Current children cumulated memory: 84264 KiB
[startup+642.3 s]
/proc/loadavg: 1.92 2.02 2.01 3/199 17711
/proc/meminfo: memFree=24439096/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2116440 memory=80160 CPUtime=642.3 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 56581 0 0 0 64220 10 0 0 20 0 1 0 527224809 2167234560 20040 33554432000 4194304 5870510 140729584996576 140729584995016 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 529110 20040 989 410 0 524583 0
Current children cumulated CPU time: 642.3 s
Current children cumulated vsize: 2116440 KiB
Current children cumulated memory: 80160 KiB
[startup+702.3 s]
/proc/loadavg: 1.97 2.02 2.01 3/199 17718
/proc/meminfo: memFree=24426304/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2116440 memory=80168 CPUtime=702.3 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 59442 0 0 0 70220 10 0 0 20 0 1 0 527224809 2167234560 20042 33554432000 4194304 5870510 140729584996576 140729584995016 5272433 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 529110 20042 989 410 0 524583 0
Current children cumulated CPU time: 702.3 s
Current children cumulated vsize: 2116440 KiB
Current children cumulated memory: 80168 KiB
[startup+740.794 s]
# the end of solver process 17651 was just reported to runsolver
# cumulated CPU time of all completed processes: user=740.701 s, system=0.110002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 1.98 2.02 2.01 3/199 17718
/proc/meminfo: memFree=24465216/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2116440 memory=80168 CPUtime=716.8 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 59452 0 0 0 71670 10 0 0 20 0 1 0 527224809 2167234560 20042 33554432000 4194304 5870510 140729584996576 140729584995016 5282555 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 529110 20042 989 410 0 524583 0
Current children cumulated CPU time: 716.8 s
Current children cumulated vsize: 2116440 KiB
Current children cumulated memory: 80168 KiB
[startup+729.6 s]
/proc/loadavg: 1.98 2.01 2.01 3/199 17719
/proc/meminfo: memFree=24401908/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2116440 memory=80168 CPUtime=729.6 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 59453 0 0 0 72950 10 0 0 20 0 1 0 527224809 2167234560 20042 33554432000 4194304 5870510 140729584996576 140729584995016 140476443654746 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 529110 20042 989 410 0 524583 0
Current children cumulated CPU time: 729.6 s
Current children cumulated vsize: 2116440 KiB
Current children cumulated memory: 80168 KiB
[startup+736 s]*
/proc/loadavg: 1.98 2.01 2.01 3/200 17721
/proc/meminfo: memFree=24432432/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2116440 memory=80168 CPUtime=736.01 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 59453 0 0 0 73591 10 0 0 20 0 1 0 527224809 2167234560 20042 33554432000 4194304 5870510 140729584996576 140729584995016 5289473 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 529110 20042 989 410 0 524583 0
Current children cumulated CPU time: 736.01 s
Current children cumulated vsize: 2116440 KiB
Current children cumulated memory: 80168 KiB
[startup+739.2 s]
/proc/loadavg: 1.98 2.01 2.01 3/200 17721
/proc/meminfo: memFree=24430532/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2116440 memory=82216 CPUtime=739.2 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 59454 0 0 0 73910 10 0 0 20 0 1 0 527224809 2167234560 20554 33554432000 4194304 5870510 140729584996576 140729584995016 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 529110 20554 989 410 0 524583 0
Current children cumulated CPU time: 739.2 s
Current children cumulated vsize: 2116440 KiB
Current children cumulated memory: 82216 KiB
[startup+740 s]*
/proc/loadavg: 1.98 2.01 2.01 3/200 17721
/proc/meminfo: memFree=24463300/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2116440 memory=82216 CPUtime=740.01 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 59454 0 0 0 73991 10 0 0 20 0 1 0 527224809 2167234560 20554 33554432000 4194304 5870510 140729584996576 140729584995016 5282767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 529110 20554 989 410 0 524583 0
Current children cumulated CPU time: 740.01 s
Current children cumulated vsize: 2116440 KiB
Current children cumulated memory: 82216 KiB
[startup+740.4 s]
/proc/loadavg: 1.98 2.01 2.01 3/200 17721
/proc/meminfo: memFree=24463300/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2116440 memory=82216 CPUtime=740.4 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 59454 0 0 0 74030 10 0 0 20 0 1 0 527224809 2167234560 20554 33554432000 4194304 5870510 140729584996576 140729584995016 5282736 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 529110 20554 989 410 0 524583 0
Current children cumulated CPU time: 740.4 s
Current children cumulated vsize: 2116440 KiB
Current children cumulated memory: 82216 KiB
[startup+740.6 s]
/proc/loadavg: 1.98 2.01 2.01 3/200 17721
/proc/meminfo: memFree=24463300/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2116440 memory=82216 CPUtime=740.6 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 59454 0 0 0 74050 10 0 0 20 0 1 0 527224809 2167234560 20554 33554432000 4194304 5870510 140729584996576 140729584995016 5283064 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 529110 20554 989 410 0 524583 0
Current children cumulated CPU time: 740.6 s
Current children cumulated vsize: 2116440 KiB
Current children cumulated memory: 82216 KiB
[startup+740.7 s]
/proc/loadavg: 1.98 2.01 2.01 3/200 17721
/proc/meminfo: memFree=24463300/32770624 swapFree=66976804/67108860
[pid=17651] ppid=17648 vsize=2116440 memory=82216 CPUtime=740.7 cores=1,3,5,7
/proc/17651/stat : 17651 (xcsp_picat) R 17648 17651 16848 0 -1 4202496 59454 0 0 0 74060 10 0 0 20 0 1 0 527224809 2167234560 20554 33554432000 4194304 5870510 140729584996576 140729584995016 5276993 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18276352 140729585005575 140729585005657 140729585005657 140729585008582 0
/proc/17651/statm: 529110 20554 989 410 0 524583 0
Current children cumulated CPU time: 740.7 s
Current children cumulated vsize: 2116440 KiB
Current children cumulated memory: 82216 KiB
Child status: 0
Real time (s): 740.794
CPU time (s): 740.811
CPU user time (s): 740.701
CPU system time (s): 0.110002
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2134636
Max. memory (cumulated for all children) (KiB): 103028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 740.701
system time used= 0.110002
maximum resident set size= 105076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59521
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= 4
involuntary context switches= 188
# summary of solver processes directly reported to runsolver:
# pid: 17651
# total CPU time (s): 740.811
# total CPU user time (s): 740.701
# total CPU system time (s): 0.110002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.60889 second user time and 5.58839 second system time
The end