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 (11407 MiB free)
memory of node 1: 16384 MiB (14439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395555-1568338993/watcher-4395555-1568338993 -o /tmp/evaluation-result-4395555-1568338993/solver-4395555-1568338993 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22070 --watchdog 2560 xcsp_picat HOME/instance-4395555-1568338993.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=26221, runsolver pid=26218
Current StackSize limit: 8192 KiB
[startup+0.100479 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 26222
/proc/meminfo: memFree=26437636/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2031716 memory=33448 CPUtime=0.09 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 1872 0 0 0 9 0 0 0 20 0 1 0 409813192 2080477184 8362 33554432000 4194304 5870510 140729977816784 140729977816088 4428943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 507929 8362 897 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 33448 KiB
[startup+0.210098 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 26222
/proc/meminfo: memFree=26422560/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2039836 memory=48800 CPUtime=0.21 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 3241 0 0 0 20 1 0 0 20 0 1 0 409813192 2088792064 12200 33554432000 4194304 5870510 140729977816784 140729977815368 5562064 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 509959 12200 965 410 0 505432 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039836 KiB
Current children cumulated memory: 48800 KiB
[startup+0.309943 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 26222
/proc/meminfo: memFree=26422560/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2039972 memory=48800 CPUtime=0.31 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 3246 0 0 0 30 1 0 0 20 0 1 0 409813192 2088931328 12200 33554432000 4194304 5870510 140729977816784 140729977815368 140218565779335 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 509993 12200 965 410 0 505466 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2039972 KiB
Current children cumulated memory: 48800 KiB
[startup+0.700283 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26222
/proc/meminfo: memFree=26422188/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2039972 memory=48800 CPUtime=0.69 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 3254 0 0 0 68 1 0 0 20 0 1 0 409813192 2088931328 12200 33554432000 4194304 5870510 140729977816784 140729977815368 5562059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 509993 12200 965 410 0 505466 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2039972 KiB
Current children cumulated memory: 48800 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26222
/proc/meminfo: memFree=26422188/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2039972 memory=48800 CPUtime=1.49 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 3260 0 0 0 148 1 0 0 20 0 1 0 409813192 2088931328 12200 33554432000 4194304 5870510 140729977816784 140729977815816 5562048 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 509993 12200 965 410 0 505466 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2039972 KiB
Current children cumulated memory: 48800 KiB
[startup+3.1098 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 26222
/proc/meminfo: memFree=26419896/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2043892 memory=53636 CPUtime=3.1 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 6256 0 0 0 308 2 0 0 20 0 1 0 409813192 2092945408 13409 33554432000 4194304 5870510 140729977816784 140729977814856 5277491 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 510973 13409 997 410 0 506446 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2043892 KiB
Current children cumulated memory: 53636 KiB
[startup+6.30029 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 26222
/proc/meminfo: memFree=26404912/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2056448 memory=65848 CPUtime=6.28 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 15268 0 0 0 625 3 0 0 20 0 1 0 409813192 2105802752 16462 33554432000 4194304 5870510 140729977816784 140729977815352 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 514112 16462 997 410 0 509585 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2056448 KiB
Current children cumulated memory: 65848 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 26222
/proc/meminfo: memFree=26373084/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2088484 memory=95496 CPUtime=12.68 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 26693 0 0 0 1263 5 0 0 20 0 1 0 409813192 2138607616 23874 33554432000 4194304 5870510 140729977816784 140729977815352 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 522121 23874 997 410 0 517594 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2088484 KiB
Current children cumulated memory: 95496 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/200 26222
/proc/meminfo: memFree=26373272/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2088484 memory=95732 CPUtime=25.48 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 30139 0 0 0 2543 5 0 0 20 0 1 0 409813192 2138607616 23933 33554432000 4194304 5870510 140729977816784 140729977815896 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 522121 23933 997 410 0 517594 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2088484 KiB
Current children cumulated memory: 95732 KiB
[startup+51.1098 s]
/proc/loadavg: 1.96 2.00 2.04 3/200 26224
/proc/meminfo: memFree=26392080/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2069000 memory=74584 CPUtime=51.09 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 36654 0 0 0 5103 6 0 0 20 0 1 0 409813192 2118656000 18646 33554432000 4194304 5870510 140729977816784 140729977815224 5308341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 517250 18646 997 410 0 512723 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2069000 KiB
Current children cumulated memory: 74584 KiB
[startup+102.3 s]
/proc/loadavg: 1.94 1.98 2.03 3/200 26228
/proc/meminfo: memFree=26386316/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2079964 memory=87816 CPUtime=102.28 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 43414 0 0 0 10220 8 0 0 20 0 1 0 409813192 2129883136 21954 33554432000 4194304 5870510 140729977816784 140729977815224 5283064 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 519991 21954 1004 410 0 515464 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2079964 KiB
Current children cumulated memory: 87816 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/199 26232
/proc/meminfo: memFree=26390008/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2079636 memory=81372 CPUtime=162.28 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 47026 0 0 0 16218 10 0 0 20 0 1 0 409813192 2129547264 20343 33554432000 4194304 5870510 140729977816784 140729977815224 5282590 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 519909 20343 1004 410 0 515382 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2079636 KiB
Current children cumulated memory: 81372 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 26238
/proc/meminfo: memFree=26378544/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2079632 memory=89848 CPUtime=222.28 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 54404 0 0 0 22216 12 0 0 20 0 1 0 409813192 2129543168 22462 33554432000 4194304 5870510 140729977816784 140729977815352 5263036 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 519908 22462 1004 410 0 515381 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2079632 KiB
Current children cumulated memory: 89848 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 26242
/proc/meminfo: memFree=26378624/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2075792 memory=85728 CPUtime=282.28 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 60778 0 0 0 28214 14 0 0 20 0 1 0 409813192 2125611008 21432 33554432000 4194304 5870510 140729977816784 140729977815224 5272673 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 518948 21432 1004 410 0 514421 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2075792 KiB
Current children cumulated memory: 85728 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.00 2.04 3/199 26246
/proc/meminfo: memFree=26345356/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2109024 memory=119252 CPUtime=342.28 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 63530 0 0 0 34213 15 0 0 20 0 1 0 409813192 2159640576 29813 33554432000 4194304 5870510 140729977816784 140729977815352 5288765 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 527256 29813 1004 410 0 522729 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2109024 KiB
Current children cumulated memory: 119252 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/200 26252
/proc/meminfo: memFree=26572232/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2090196 memory=83720 CPUtime=402.28 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 70469 0 0 0 40210 18 0 0 20 0 1 0 409813192 2140360704 20930 33554432000 4194304 5870510 140729977816784 140729977815800 5308341 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 522549 20930 1004 410 0 518022 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2090196 KiB
Current children cumulated memory: 83720 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/199 26263
/proc/meminfo: memFree=26375812/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2090196 memory=93960 CPUtime=462.28 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 70942 0 0 0 46210 18 0 0 20 0 1 0 409813192 2140360704 23490 33554432000 4194304 5870510 140729977816784 140729977815800 5476925 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 522549 23490 1004 410 0 518022 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2090196 KiB
Current children cumulated memory: 93960 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 26267
/proc/meminfo: memFree=26372644/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2083916 memory=91912 CPUtime=522.29 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 78831 0 0 0 52209 20 0 0 20 0 1 0 409813192 2133929984 22978 33554432000 4194304 5870510 140729977816784 140729977815224 5282251 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 520979 22978 1004 410 0 516452 0
Current children cumulated CPU time: 522.29 s
Current children cumulated vsize: 2083916 KiB
Current children cumulated memory: 91912 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 26273
/proc/meminfo: memFree=26378408/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2083916 memory=93960 CPUtime=582.28 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 79531 0 0 0 58208 20 0 0 20 0 1 0 409813192 2133929984 23490 33554432000 4194304 5870510 140729977816784 140729977815960 5282759 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 520979 23490 1004 410 0 516452 0
Current children cumulated CPU time: 582.28 s
Current children cumulated vsize: 2083916 KiB
Current children cumulated memory: 93960 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 26277
/proc/meminfo: memFree=26389364/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2080456 memory=80876 CPUtime=642.29 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 86496 0 0 0 64206 23 0 0 20 0 1 0 409813192 2130386944 20219 33554432000 4194304 5870510 140729977816784 140729977815224 5283106 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 520114 20219 1004 410 0 515587 0
Current children cumulated CPU time: 642.29 s
Current children cumulated vsize: 2080456 KiB
Current children cumulated memory: 80876 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 26281
/proc/meminfo: memFree=26337316/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2120716 memory=131016 CPUtime=702.3 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 89165 0 0 0 70206 24 0 0 20 0 1 0 409813192 2171613184 32754 33554432000 4194304 5870510 140729977816784 140729977815352 5283072 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 530179 32754 1004 410 0 525652 0
Current children cumulated CPU time: 702.3 s
Current children cumulated vsize: 2120716 KiB
Current children cumulated memory: 131016 KiB
[startup+762.3 s]
/proc/loadavg: 2.06 2.02 2.05 3/200 26348
/proc/meminfo: memFree=26694916/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2088856 memory=98748 CPUtime=762.28 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 91379 0 0 0 76203 25 0 0 20 0 1 0 409813192 2138988544 24687 33554432000 4194304 5870510 140729977816784 140729977815224 5282475 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 522214 24687 1004 410 0 517687 0
Current children cumulated CPU time: 762.28 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 98748 KiB
[startup+766.813 s]
# the end of solver process 26221 was just reported to runsolver
# cumulated CPU time of all completed processes: user=766.547 s, system=0.259001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+764.8 s]
/proc/loadavg: 2.06 2.02 2.05 3/199 26348
/proc/meminfo: memFree=26693808/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2088856 memory=98748 CPUtime=764.78 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 91379 0 0 0 76453 25 0 0 20 0 1 0 409813192 2138988544 24687 33554432000 4194304 5870510 140729977816784 140729977815224 5282721 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 522214 24687 1004 410 0 517687 0
Current children cumulated CPU time: 764.78 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 98748 KiB
[startup+765.6 s]
/proc/loadavg: 2.06 2.02 2.05 3/199 26348
/proc/meminfo: memFree=26693808/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2088856 memory=98748 CPUtime=765.58 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 91380 0 0 0 76533 25 0 0 20 0 1 0 409813192 2138988544 24687 33554432000 4194304 5870510 140729977816784 140729977815224 5282505 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 522214 24687 1004 410 0 517687 0
Current children cumulated CPU time: 765.58 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 98748 KiB
[startup+766.4 s]
/proc/loadavg: 2.06 2.02 2.05 3/199 26348
/proc/meminfo: memFree=26693808/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2088856 memory=98748 CPUtime=766.38 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 91380 0 0 0 76613 25 0 0 20 0 1 0 409813192 2138988544 24687 33554432000 4194304 5870510 140729977816784 140729977815224 5283072 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 522214 24687 1004 410 0 517687 0
Current children cumulated CPU time: 766.38 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 98748 KiB
[startup+766.8 s]
/proc/loadavg: 2.06 2.02 2.05 3/199 26348
/proc/meminfo: memFree=26693808/32770624 swapFree=66957012/67108860
[pid=26221] ppid=26218 vsize=2088856 memory=98748 CPUtime=766.78 cores=1,3,5,7
/proc/26221/stat : 26221 (xcsp_picat) R 26218 26221 22038 0 -1 4202496 91380 0 0 0 76653 25 0 0 20 0 1 0 409813192 2138988544 24687 33554432000 4194304 5870510 140729977816784 140729977815224 140218571019357 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 34709504 140729977820191 140729977820269 140729977820269 140729977823178 0
/proc/26221/statm: 522214 24687 1004 410 0 517687 0
Current children cumulated CPU time: 766.78 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 98748 KiB
Child status: 0
Real time (s): 766.813
CPU time (s): 766.806
CPU user time (s): 766.547
CPU system time (s): 0.259001
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 2150872
Max. memory (cumulated for all children) (KiB): 131036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 766.547
system time used= 0.259001
maximum resident set size= 131036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91438
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= 12
involuntary context switches= 382
# summary of solver processes directly reported to runsolver:
# pid: 26221
# total CPU time (s): 766.806
# total CPU user time (s): 766.547
# total CPU system time (s): 0.259001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.89957 second user time and 5.7945 second system time
The end