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 (9581 MiB free)
memory of node 1: 16384 MiB (10591 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395721-1568341069/watcher-4395721-1568341069 -o /tmp/evaluation-result-4395721-1568341069/solver-4395721-1568341069 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22070 --watchdog 2560 xcsp_picat HOME/instance-4395721-1568341069.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=27218, runsolver pid=27215
Current StackSize limit: 8192 KiB
[startup+0.10018 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27219
/proc/meminfo: memFree=20589308/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2039100 memory=27416 CPUtime=0.1 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 3033 0 0 0 10 0 0 0 20 0 1 0 410020783 2088038400 6854 33554432000 4194304 5870510 140723605135168 140723605132312 5337596 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 509775 6854 943 410 0 505248 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2039100 KiB
Current children cumulated memory: 27416 KiB
[startup+0.209693 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27219
/proc/meminfo: memFree=20545928/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2035776 memory=25516 CPUtime=0.21 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 3524 0 0 0 21 0 0 0 20 0 1 0 410020783 2084634624 6379 33554432000 4194304 5870510 140723605135168 140723605132312 5298726 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 508944 6379 973 410 0 504417 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2035776 KiB
Current children cumulated memory: 25516 KiB
[startup+0.309256 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27219
/proc/meminfo: memFree=20502548/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2036936 memory=26044 CPUtime=0.31 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 3674 0 0 0 31 0 0 0 20 0 1 0 410020783 2085822464 6511 33554432000 4194304 5870510 140723605135168 140723605134120 5298780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 509234 6511 973 410 0 504707 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036936 KiB
Current children cumulated memory: 26044 KiB
[startup+0.700309 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27219
/proc/meminfo: memFree=20414796/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2042256 memory=29420 CPUtime=0.69 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 4562 0 0 0 69 0 0 0 20 0 1 0 410020783 2091270144 7355 33554432000 4194304 5870510 140723605135168 140723605134120 5282170 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 510564 7355 974 410 0 506037 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2042256 KiB
Current children cumulated memory: 29420 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27219
/proc/meminfo: memFree=20198644/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2047212 memory=35980 CPUtime=1.5 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 6044 0 0 0 149 1 0 0 20 0 1 0 410020783 2096345088 8995 33554432000 4194304 5870510 140723605135168 140723605134120 5282251 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 511803 8995 974 410 0 507276 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2047212 KiB
Current children cumulated memory: 35980 KiB
[startup+3.10956 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 27219
/proc/meminfo: memFree=19317512/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2066624 memory=52560 CPUtime=3.09 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 10233 0 0 0 308 1 0 0 20 0 1 0 410020783 2116222976 13140 33554432000 4194304 5870510 140723605135168 140723605134184 5282574 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 516656 13140 974 410 0 512129 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2066624 KiB
Current children cumulated memory: 52560 KiB
[startup+6.30033 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 27219
/proc/meminfo: memFree=18339680/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2096972 memory=75300 CPUtime=6.29 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 11716 0 0 0 626 3 0 0 20 0 1 0 410020783 2147299328 18825 33554432000 4194304 5870510 140723605135168 140723605133608 5282467 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 524243 18825 974 410 0 519716 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2096972 KiB
Current children cumulated memory: 75300 KiB
[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 27219
/proc/meminfo: memFree=19949388/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2087532 memory=76992 CPUtime=12.69 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 17870 0 0 0 1265 4 0 0 20 0 1 0 410020783 2137632768 19248 33554432000 4194304 5870510 140723605135168 140723605133608 140498824497150 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 521883 19248 984 410 0 517356 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2087532 KiB
Current children cumulated memory: 76992 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 27219
/proc/meminfo: memFree=18829628/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2087532 memory=77192 CPUtime=25.49 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 22695 0 0 0 2545 4 0 0 20 0 1 0 410020783 2137632768 19298 33554432000 4194304 5870510 140723605135168 140723605133608 5262756 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 521883 19298 984 410 0 517356 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2087532 KiB
Current children cumulated memory: 77192 KiB
[startup+51.1096 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 27222
/proc/meminfo: memFree=18323960/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2087532 memory=78004 CPUtime=51.1 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 25162 0 0 0 5106 4 0 0 20 0 1 0 410020783 2137632768 19501 33554432000 4194304 5870510 140723605135168 140723605134280 5282621 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 521883 19501 984 410 0 517356 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2087532 KiB
Current children cumulated memory: 78004 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 27226
/proc/meminfo: memFree=20198828/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2106500 memory=99664 CPUtime=102.29 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 35117 0 0 0 10223 6 0 0 20 0 1 0 410020783 2157056000 24916 33554432000 4194304 5870510 140723605135168 140723605133736 5262557 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 526625 24916 984 410 0 522098 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2106500 KiB
Current children cumulated memory: 99664 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 27230
/proc/meminfo: memFree=20108840/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2094604 memory=87636 CPUtime=162.28 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 38027 0 0 0 16221 7 0 0 20 0 1 0 410020783 2144874496 21909 33554432000 4194304 5870510 140723605135168 140723605133608 5258790 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 523651 21909 984 410 0 519124 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2094604 KiB
Current children cumulated memory: 87636 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27244
/proc/meminfo: memFree=14303768/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2103944 memory=97004 CPUtime=222.29 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 41900 0 0 0 22221 8 0 0 20 0 1 0 410020783 2154438656 24251 33554432000 4194304 5870510 140723605135168 140723605133736 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 525986 24251 984 410 0 521459 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2103944 KiB
Current children cumulated memory: 97004 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27248
/proc/meminfo: memFree=21136532/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2087532 memory=78572 CPUtime=282.3 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 47093 0 0 0 28220 10 0 0 20 0 1 0 410020783 2137632768 19643 33554432000 4194304 5870510 140723605135168 140723605133608 5307615 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 521883 19643 984 410 0 517356 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2087532 KiB
Current children cumulated memory: 78572 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27252
/proc/meminfo: memFree=20856704/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2114672 memory=99052 CPUtime=342.29 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 48265 0 0 0 34219 10 0 0 20 0 1 0 410020783 2165424128 24763 33554432000 4194304 5870510 140723605135168 140723605133608 5262639 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 528668 24763 984 410 0 524141 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2114672 KiB
Current children cumulated memory: 99052 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27258
/proc/meminfo: memFree=14250208/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2114672 memory=99052 CPUtime=402.3 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 51285 0 0 0 40219 11 0 0 20 0 1 0 410020783 2165424128 24763 33554432000 4194304 5870510 140723605135168 140723605133608 5282251 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 528668 24763 984 410 0 524141 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2114672 KiB
Current children cumulated memory: 99052 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27262
/proc/meminfo: memFree=22033308/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2133764 memory=110452 CPUtime=462.29 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 52427 0 0 0 46218 11 0 0 20 0 1 0 410020783 2184974336 27613 33554432000 4194304 5870510 140723605135168 140723605133608 5272987 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 533441 27613 984 410 0 528914 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2133764 KiB
Current children cumulated memory: 110452 KiB
################
# More data... #
################
Current children cumulated memory: 106660 KiB
[startup+1482.3 s]
/proc/loadavg: 2.55 2.17 2.09 3/200 27361
/proc/meminfo: memFree=21994328/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2113588 memory=106660 CPUtime=1482.31 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 131564 0 0 0 148206 25 0 0 20 0 1 0 410020783 2164314112 26665 33554432000 4194304 5870510 140723605135168 140723605133736 5282759 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 528397 26665 984 410 0 523870 0
Current children cumulated CPU time: 1482.31 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 106660 KiB
[startup+1542.3 s]
/proc/loadavg: 2.20 2.14 2.09 3/200 27365
/proc/meminfo: memFree=18476028/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2113588 memory=106748 CPUtime=1542.3 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 136069 0 0 0 154205 25 0 0 20 0 1 0 410020783 2164314112 26687 33554432000 4194304 5870510 140723605135168 140723605133736 5282721 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 528397 26687 984 410 0 523870 0
Current children cumulated CPU time: 1542.3 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 106748 KiB
[startup+1602.3 s]
/proc/loadavg: 2.07 2.11 2.08 3/200 27369
/proc/meminfo: memFree=19532340/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2113588 memory=106748 CPUtime=1602.3 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 142260 0 0 0 160204 26 0 0 20 0 1 0 410020783 2164314112 26687 33554432000 4194304 5870510 140723605135168 140723605133736 5282759 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 528397 26687 984 410 0 523870 0
Current children cumulated CPU time: 1602.3 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 106748 KiB
[startup+1662.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/200 27375
/proc/meminfo: memFree=17979100/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2113588 memory=106748 CPUtime=1662.31 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 148281 0 0 0 166204 27 0 0 20 0 1 0 410020783 2164314112 26687 33554432000 4194304 5870510 140723605135168 140723605133736 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 528397 26687 984 410 0 523870 0
Current children cumulated CPU time: 1662.31 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 106748 KiB
[startup+1722.3 s]
/proc/loadavg: 1.90 2.04 2.06 3/199 27440
/proc/meminfo: memFree=25527980/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2113588 memory=106752 CPUtime=1722.3 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 151599 0 0 0 172203 27 0 0 20 0 1 0 410020783 2164314112 26688 33554432000 4194304 5870510 140723605135168 140723605133736 5272526 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 528397 26688 984 410 0 523870 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 106752 KiB
[startup+1782.3 s]
/proc/loadavg: 1.96 2.04 2.05 3/199 27444
/proc/meminfo: memFree=25439484/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2113588 memory=106752 CPUtime=1782.3 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 152138 0 0 0 178203 27 0 0 20 0 1 0 410020783 2164314112 26688 33554432000 4194304 5870510 140723605135168 140723605133736 5272646 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 528397 26688 984 410 0 523870 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 2113588 KiB
Current children cumulated memory: 106752 KiB
[startup+1842.3 s]
/proc/loadavg: 1.95 2.02 2.05 3/199 27450
/proc/meminfo: memFree=25455420/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2120768 memory=113388 CPUtime=1842.3 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 152914 0 0 0 184203 27 0 0 20 0 1 0 410020783 2171666432 28347 33554432000 4194304 5870510 140723605135168 140723605133736 5282617 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 530192 28347 984 410 0 525665 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 2120768 KiB
Current children cumulated memory: 113388 KiB
[startup+1888.65 s]
# the end of solver process 27218 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1888.38 s, system=0.280003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 1.95 2.02 2.05 3/199 27450
/proc/meminfo: memFree=25455420/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2120768 memory=113388 CPUtime=1843.2 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 152917 0 0 0 184293 27 0 0 20 0 1 0 410020783 2171666432 28347 33554432000 4194304 5870510 140723605135168 140723605133736 5283028 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 530192 28347 984 410 0 525665 0
Current children cumulated CPU time: 1843.2 s
Current children cumulated vsize: 2120768 KiB
Current children cumulated memory: 113388 KiB
[startup+1868.8 s]
/proc/loadavg: 1.97 2.01 2.05 3/199 27450
/proc/meminfo: memFree=25454892/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2120768 memory=113388 CPUtime=1868.8 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 152919 0 0 0 186853 27 0 0 20 0 1 0 410020783 2171666432 28347 33554432000 4194304 5870510 140723605135168 140723605133736 5272427 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 530192 28347 984 410 0 525665 0
Current children cumulated CPU time: 1868.8 s
Current children cumulated vsize: 2120768 KiB
Current children cumulated memory: 113388 KiB
[startup+1881.6 s]
/proc/loadavg: 1.97 2.01 2.05 3/199 27453
/proc/meminfo: memFree=25416760/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2125088 memory=118076 CPUtime=1881.6 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 153678 0 0 0 188133 27 0 0 20 0 1 0 410020783 2176090112 29519 33554432000 4194304 5870510 140723605135168 140723605133736 5282667 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 531272 29519 984 410 0 526745 0
Current children cumulated CPU time: 1881.6 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 118076 KiB
[startup+1884.8 s]
/proc/loadavg: 1.98 2.01 2.05 3/199 27453
/proc/meminfo: memFree=25414712/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2125088 memory=118076 CPUtime=1884.8 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 153678 0 0 0 188453 27 0 0 20 0 1 0 410020783 2176090112 29519 33554432000 4194304 5870510 140723605135168 140723605133736 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 531272 29519 984 410 0 526745 0
Current children cumulated CPU time: 1884.8 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 118076 KiB
[startup+1886.4 s]
/proc/loadavg: 1.98 2.01 2.05 3/199 27453
/proc/meminfo: memFree=25414712/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2125088 memory=118076 CPUtime=1886.4 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 153678 0 0 0 188613 27 0 0 20 0 1 0 410020783 2176090112 29519 33554432000 4194304 5870510 140723605135168 140723605133736 5282767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 531272 29519 984 410 0 526745 0
Current children cumulated CPU time: 1886.4 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 118076 KiB
[startup+1888 s]*
/proc/loadavg: 1.98 2.01 2.05 3/199 27453
/proc/meminfo: memFree=25412664/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2125088 memory=118076 CPUtime=1888.01 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 153678 0 0 0 188774 27 0 0 20 0 1 0 410020783 2176090112 29519 33554432000 4194304 5870510 140723605135168 140723605133736 5282574 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 531272 29519 984 410 0 526745 0
Current children cumulated CPU time: 1888.01 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 118076 KiB
[startup+1888.4 s]
/proc/loadavg: 1.98 2.01 2.05 3/199 27453
/proc/meminfo: memFree=25412664/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2125088 memory=118076 CPUtime=1888.4 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 153678 0 0 0 188813 27 0 0 20 0 1 0 410020783 2176090112 29519 33554432000 4194304 5870510 140723605135168 140723605133736 5263032 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 531272 29519 984 410 0 526745 0
Current children cumulated CPU time: 1888.4 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 118076 KiB
[startup+1888.6 s]
/proc/loadavg: 1.98 2.01 2.05 3/199 27453
/proc/meminfo: memFree=25412664/32770624 swapFree=66957012/67108860
[pid=27218] ppid=27215 vsize=2125088 memory=118076 CPUtime=1888.6 cores=1,3,5,7
/proc/27218/stat : 27218 (xcsp_picat) R 27215 27218 22038 0 -1 4202496 153678 0 0 0 188833 27 0 0 20 0 1 0 410020783 2176090112 29519 33554432000 4194304 5870510 140723605135168 140723605133736 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 43368448 140723605136415 140723605136493 140723605136493 140723605139402 0
/proc/27218/statm: 531272 29519 984 410 0 526745 0
Current children cumulated CPU time: 1888.6 s
Current children cumulated vsize: 2125088 KiB
Current children cumulated memory: 118076 KiB
Child status: 0
Real time (s): 1888.65
CPU time (s): 1888.66
CPU user time (s): 1888.38
CPU system time (s): 0.280003
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2146292
Max. memory (cumulated for all children) (KiB): 118076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1888.38
system time used= 0.280003
maximum resident set size= 118280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153714
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= 18
involuntary context switches= 604
# summary of solver processes directly reported to runsolver:
# pid: 27218
# total CPU time (s): 1888.66
# total CPU user time (s): 1888.38
# total CPU system time (s): 0.280003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62115 second user time and 13.8574 second system time
The end