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 (12107 MiB free)
memory of node 1: 16384 MiB (15689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395354-1568342693/watcher-4395354-1568342693 -o /tmp/evaluation-result-4395354-1568342693/solver-4395354-1568342693 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18696 --watchdog 2580 xcsp_picat HOME/instance-4395354-1568342693.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24038, runsolver pid=24035
[startup+0.10016 s]*
/proc/loadavg: 1.98 2.02 2.05 3/200 24039
/proc/meminfo: memFree=28433892/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2043288 memory=34872 CPUtime=0.1 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 3360 0 0 0 9 1 0 0 20 0 1 0 410532018 2092326912 8718 33554432000 4194304 5870510 140736213387664 140736213384808 5406847 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 510822 8718 946 410 0 506295 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2043288 KiB
Current children cumulated memory: 34872 KiB
[startup+0.209564 s]*
/proc/loadavg: 1.98 2.02 2.05 3/200 24039
/proc/meminfo: memFree=28433892/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2043552 memory=35132 CPUtime=0.21 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 3431 0 0 0 20 1 0 0 20 0 1 0 410532018 2092597248 8783 33554432000 4194304 5870510 140736213387664 140736213384808 139830543089543 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 510888 8783 963 410 0 506361 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2043552 KiB
Current children cumulated memory: 35132 KiB
[startup+0.308856 s]*
/proc/loadavg: 1.98 2.02 2.05 3/200 24039
/proc/meminfo: memFree=28433520/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2043928 memory=35396 CPUtime=0.31 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 3493 0 0 0 30 1 0 0 20 0 1 0 410532018 2092982272 8849 33554432000 4194304 5870510 140736213387664 140736213384808 5406350 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 510982 8849 964 410 0 506455 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2043928 KiB
Current children cumulated memory: 35396 KiB
[startup+0.700276 s]
/proc/loadavg: 1.98 2.02 2.05 4/200 24039
/proc/meminfo: memFree=28432476/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2044848 memory=36340 CPUtime=0.69 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 3799 0 0 0 68 1 0 0 20 0 1 0 410532018 2093924352 9085 33554432000 4194304 5870510 140736213387664 140736213386776 139830543089543 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 511212 9085 964 410 0 506685 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2044848 KiB
Current children cumulated memory: 36340 KiB
[startup+1.50028 s]
/proc/loadavg: 1.98 2.02 2.05 3/200 24039
/proc/meminfo: memFree=28430852/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2047168 memory=39472 CPUtime=1.49 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 4708 0 0 0 148 1 0 0 20 0 1 0 410532018 2096300032 9868 33554432000 4194304 5870510 140736213387664 140736213386776 139830542343315 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 511792 9868 964 410 0 507265 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2047168 KiB
Current children cumulated memory: 39472 KiB
[startup+3.10937 s]
/proc/loadavg: 1.98 2.02 2.05 3/200 24039
/proc/meminfo: memFree=28421296/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2054156 memory=47244 CPUtime=3.1 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 7930 0 0 0 308 2 0 0 20 0 1 0 410532018 2103455744 11811 33554432000 4194304 5870510 140736213387664 140736213386776 139830542622515 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 513539 11811 964 410 0 509012 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2054156 KiB
Current children cumulated memory: 47244 KiB
[startup+6.30027 s]
/proc/loadavg: 1.98 2.02 2.05 3/200 24039
/proc/meminfo: memFree=28428008/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2047348 memory=41596 CPUtime=6.29 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 13708 0 0 0 626 3 0 0 20 0 1 0 410532018 2096484352 10399 33554432000 4194304 5870510 140736213387664 140736213386856 5562048 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 511837 10399 1000 410 0 507310 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2047348 KiB
Current children cumulated memory: 41596 KiB
[startup+12.7003 s]
/proc/loadavg: 1.98 2.02 2.05 3/200 24039
/proc/meminfo: memFree=28429536/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2047352 memory=41056 CPUtime=12.69 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 23461 0 0 0 1263 6 0 0 20 0 1 0 410532018 2096488448 10264 33554432000 4194304 5870510 140736213387664 140736213386776 5476966 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 511838 10264 1000 410 0 507311 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2047352 KiB
Current children cumulated memory: 41056 KiB
[startup+25.5004 s]
/proc/loadavg: 1.98 2.01 2.05 3/200 24041
/proc/meminfo: memFree=28405148/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2074664 memory=62972 CPUtime=25.48 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 29912 0 0 0 2541 7 0 0 20 0 1 0 410532018 2124455936 15743 33554432000 4194304 5870510 140736213387664 140736213386776 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 518666 15743 1001 410 0 514139 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2074664 KiB
Current children cumulated memory: 62972 KiB
[startup+51.1094 s]
/proc/loadavg: 1.99 2.01 2.05 3/199 24042
/proc/meminfo: memFree=28429272/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2045364 memory=39344 CPUtime=51.1 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 41833 0 0 0 5100 10 0 0 20 0 1 0 410532018 2094452736 9836 33554432000 4194304 5870510 140736213387664 140736213386776 139830543089543 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 511341 9836 1001 410 0 506814 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2045364 KiB
Current children cumulated memory: 39344 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24047
/proc/meminfo: memFree=28386996/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2086160 memory=80388 CPUtime=102.28 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 49458 0 0 0 10216 12 0 0 20 0 1 0 410532018 2136227840 20097 33554432000 4194304 5870510 140736213387664 140736213386680 5272971 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 521540 20097 1001 410 0 517013 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2086160 KiB
Current children cumulated memory: 80388 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24053
/proc/meminfo: memFree=28369084/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2105008 memory=99068 CPUtime=162.28 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 61436 0 0 0 16214 14 0 0 20 0 1 0 410532018 2155528192 24767 33554432000 4194304 5870510 140736213387664 140736213386104 5308398 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526252 24767 1001 410 0 521725 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2105008 KiB
Current children cumulated memory: 99068 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24057
/proc/meminfo: memFree=28380448/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2097656 memory=87432 CPUtime=222.28 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 65234 0 0 0 22211 17 0 0 20 0 1 0 410532018 2147999744 21858 33554432000 4194304 5870510 140736213387664 140736213386104 5282770 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 524414 21858 1001 410 0 519887 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2097656 KiB
Current children cumulated memory: 87432 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24061
/proc/meminfo: memFree=28369176/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2105012 memory=98788 CPUtime=282.28 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 71040 0 0 0 28209 19 0 0 20 0 1 0 410532018 2155532288 24697 33554432000 4194304 5870510 140736213387664 140736213386232 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526253 24697 1001 410 0 521726 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2105012 KiB
Current children cumulated memory: 98788 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24067
/proc/meminfo: memFree=28369700/32770624 swapFree=66980104/67108860
[pid=24038] ppid=24035 vsize=2105008 memory=98180 CPUtime=342.28 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 75476 0 0 0 34207 21 0 0 20 0 1 0 410532018 2155528192 24545 33554432000 4194304 5870510 140736213387664 140736213386104 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526252 24545 1001 410 0 521725 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2105008 KiB
Current children cumulated memory: 98180 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24079
/proc/meminfo: memFree=28401028/32770624 swapFree=66980112/67108860
[pid=24038] ppid=24035 vsize=2086164 memory=67024 CPUtime=402.27 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 84120 0 0 0 40202 25 0 0 20 0 1 0 410532018 2136231936 16756 33554432000 4194304 5870510 140736213387664 140736213386776 139830543089543 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 521541 16756 1001 410 0 517014 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2086164 KiB
Current children cumulated memory: 67024 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24083
/proc/meminfo: memFree=28377868/32770624 swapFree=66980112/67108860
[pid=24038] ppid=24035 vsize=2105288 memory=83352 CPUtime=462.28 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 84659 0 0 0 46202 26 0 0 20 0 1 0 410532018 2155814912 20838 33554432000 4194304 5870510 140736213387664 140736213386104 5282367 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526322 20838 1001 410 0 521795 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2105288 KiB
Current children cumulated memory: 83352 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24089
/proc/meminfo: memFree=28369328/32770624 swapFree=66980112/67108860
[pid=24038] ppid=24035 vsize=2097832 memory=91892 CPUtime=522.26 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 92768 0 0 0 52198 28 0 0 20 0 1 0 410532018 2148179968 22973 33554432000 4194304 5870510 140736213387664 140736213386232 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 524458 22973 1001 410 0 519931 0
Current children cumulated CPU time: 522.26 s
Current children cumulated vsize: 2097832 KiB
Current children cumulated memory: 91892 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24093
/proc/meminfo: memFree=28369100/32770624 swapFree=66980112/67108860
[pid=24038] ppid=24035 vsize=2123700 memory=93940 CPUtime=582.27 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 93609 0 0 0 58198 29 0 0 20 0 1 0 410532018 2174668800 23485 33554432000 4194304 5870510 140736213387664 140736213386840 5281864 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 530925 23485 1001 410 0 526398 0
Current children cumulated CPU time: 582.27 s
Current children cumulated vsize: 2123700 KiB
Current children cumulated memory: 93940 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24097
/proc/meminfo: memFree=28373664/32770624 swapFree=66980112/67108860
[pid=24038] ppid=24035 vsize=2097644 memory=87508 CPUtime=642.26 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 99661 0 0 0 64195 31 0 0 20 0 1 0 410532018 2147987456 21877 33554432000 4194304 5870510 140736213387664 140736213386104 5282621 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 524411 21877 1001 410 0 519884 0
Current children cumulated CPU time: 642.26 s
Current children cumulated vsize: 2097644 KiB
Current children cumulated memory: 87508 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24104
/proc/meminfo: memFree=28374288/32770624 swapFree=66980112/67108860
[pid=24038] ppid=24035 vsize=2097644 memory=87508 CPUtime=702.27 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 100266 0 0 0 70194 33 0 0 20 0 1 0 410532018 2147987456 21877 33554432000 4194304 5870510 140736213387664 140736213386840 5308398 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 524411 21877 1001 410 0 519884 0
Current children cumulated CPU time: 702.27 s
Current children cumulated vsize: 2097644 KiB
Current children cumulated memory: 87508 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24169
/proc/meminfo: memFree=31395540/32770624 swapFree=66980112/67108860
[pid=24038] ppid=24035 vsize=2098800 memory=93980 CPUtime=762.25 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 100630 0 0 0 76192 33 0 0 20 0 1 0 410532018 2149171200 23495 33554432000 4194304 5870510 140736213387664 140736213386776 5282379 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 524700 23495 1001 410 0 520173 0
Current children cumulated CPU time: 762.25 s
Current children cumulated vsize: 2098800 KiB
Current children cumulated memory: 93980 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24173
/proc/meminfo: memFree=31411944/32770624 swapFree=66980112/67108860
[pid=24038] ppid=24035 vsize=2105004 memory=104380 CPUtime=822.25 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 101418 0 0 0 82191 34 0 0 20 0 1 0 410532018 2155524096 26095 33554432000 4194304 5870510 140736213387664 140736213386232 5272224 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526251 26095 1001 410 0 521724 0
Current children cumulated CPU time: 822.25 s
Current children cumulated vsize: 2105004 KiB
Current children cumulated memory: 104380 KiB
[startup+832.152 s]
# the end of solver process 24038 was just reported to runsolver
# cumulated CPU time of all completed processes: user=831.769 s, system=0.343986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+825.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24173
/proc/meminfo: memFree=31379612/32770624 swapFree=66980112/67108860
[pid=24038] ppid=24035 vsize=2105004 memory=104380 CPUtime=825.55 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 101418 0 0 0 82521 34 0 0 20 0 1 0 410532018 2155524096 26095 33554432000 4194304 5870510 140736213387664 140736213386232 5282318 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526251 26095 1001 410 0 521724 0
Current children cumulated CPU time: 825.55 s
Current children cumulated vsize: 2105004 KiB
Current children cumulated memory: 104380 KiB
[startup+828.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24175
/proc/meminfo: memFree=31377764/32770624 swapFree=66980112/67108860
[pid=24038] ppid=24035 vsize=2105004 memory=104380 CPUtime=828.75 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 101418 0 0 0 82841 34 0 0 20 0 1 0 410532018 2155524096 26095 33554432000 4194304 5870510 140736213387664 140736213386232 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526251 26095 1001 410 0 521724 0
Current children cumulated CPU time: 828.75 s
Current children cumulated vsize: 2105004 KiB
Current children cumulated memory: 104380 KiB
[startup+830.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24176
/proc/meminfo: memFree=31378136/32770624 swapFree=66980120/67108860
[pid=24038] ppid=24035 vsize=2105004 memory=104380 CPUtime=830.35 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 101418 0 0 0 83001 34 0 0 20 0 1 0 410532018 2155524096 26095 33554432000 4194304 5870510 140736213387664 140736213386232 5282617 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526251 26095 1001 410 0 521724 0
Current children cumulated CPU time: 830.35 s
Current children cumulated vsize: 2105004 KiB
Current children cumulated memory: 104380 KiB
[startup+831.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24176
/proc/meminfo: memFree=31376088/32770624 swapFree=66980120/67108860
[pid=24038] ppid=24035 vsize=2105004 memory=104380 CPUtime=831.15 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 101418 0 0 0 83081 34 0 0 20 0 1 0 410532018 2155524096 26095 33554432000 4194304 5870510 140736213387664 140736213386232 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526251 26095 1001 410 0 521724 0
Current children cumulated CPU time: 831.15 s
Current children cumulated vsize: 2105004 KiB
Current children cumulated memory: 104380 KiB
[startup+831.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24176
/proc/meminfo: memFree=31376088/32770624 swapFree=66980120/67108860
[pid=24038] ppid=24035 vsize=2105004 memory=104380 CPUtime=831.55 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 101418 0 0 0 83121 34 0 0 20 0 1 0 410532018 2155524096 26095 33554432000 4194304 5870510 140736213387664 140736213386232 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526251 26095 1001 410 0 521724 0
Current children cumulated CPU time: 831.55 s
Current children cumulated vsize: 2105004 KiB
Current children cumulated memory: 104380 KiB
[startup+832 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 24176
/proc/meminfo: memFree=31375732/32770624 swapFree=66980120/67108860
[pid=24038] ppid=24035 vsize=2105004 memory=104380 CPUtime=831.96 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 101418 0 0 0 83162 34 0 0 20 0 1 0 410532018 2155524096 26095 33554432000 4194304 5870510 140736213387664 140736213386232 5282688 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526251 26095 1001 410 0 521724 0
Current children cumulated CPU time: 831.96 s
Current children cumulated vsize: 2105004 KiB
Current children cumulated memory: 104380 KiB
[startup+832.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24176
/proc/meminfo: memFree=31375732/32770624 swapFree=66980120/67108860
[pid=24038] ppid=24035 vsize=2105004 memory=104380 CPUtime=832.06 cores=1,3,5,7
/proc/24038/stat : 24038 (xcsp_picat) R 24035 24038 18664 0 -1 4202496 101418 0 0 0 83172 34 0 0 20 0 1 0 410532018 2155524096 26095 33554432000 4194304 5870510 140736213387664 140736213386232 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 45637632 140736213390367 140736213390445 140736213390445 140736213393354 0
/proc/24038/statm: 526251 26095 1001 410 0 521724 0
Current children cumulated CPU time: 832.06 s
Current children cumulated vsize: 2105004 KiB
Current children cumulated memory: 104380 KiB
Child status: 0
Real time (s): 832.153
CPU time (s): 832.113
CPU user time (s): 831.769
CPU system time (s): 0.343986
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 2123700
Max. memory (cumulated for all children) (KiB): 104380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 831.769
system time used= 0.343986
maximum resident set size= 104408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101444
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= 14
involuntary context switches= 427
# summary of solver processes directly reported to runsolver:
# pid: 24038
# total CPU time (s): 832.113
# total CPU user time (s): 831.769
# total CPU system time (s): 0.343986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.32461 second user time and 6.01156 second system time
The end