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 (8181 MiB free)
memory of node 1: 16384 MiB (12405 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395677-1568340297/watcher-4395677-1568340297 -o /tmp/evaluation-result-4395677-1568340297/solver-4395677-1568340297 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568337054-3912 --watchdog 2560 xcsp_picat HOME/instance-4395677-1568340297.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=5419, runsolver pid=5416
[startup+0.10017 s]*
/proc/loadavg: 2.01 2.03 2.23 3/201 5420
/proc/meminfo: memFree=21048572/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2031716 memory=35692 CPUtime=0.1 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 1443 0 0 0 10 0 0 0 20 0 1 0 409944639 2080477184 8923 33554432000 4194304 5870510 140735452290576 140735452289880 4460195 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 507929 8923 865 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 35692 KiB
[startup+0.209959 s]*
/proc/loadavg: 2.01 2.03 2.23 3/201 5420
/proc/meminfo: memFree=21035544/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2040824 memory=46944 CPUtime=0.2 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 2737 0 0 0 20 0 0 0 20 0 1 0 409944639 2089803776 11736 33554432000 4194304 5870510 140735452290576 140735452289880 5406500 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 510206 11736 936 410 0 505679 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2040824 KiB
Current children cumulated memory: 46944 KiB
[startup+0.309666 s]*
/proc/loadavg: 2.01 2.03 2.23 4/201 5420
/proc/meminfo: memFree=21033472/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2040824 memory=46944 CPUtime=0.3 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 2742 0 0 0 30 0 0 0 20 0 1 0 409944639 2089803776 11736 33554432000 4194304 5870510 140735452290576 140735452289576 140133823012743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 510206 11736 936 410 0 505679 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2040824 KiB
Current children cumulated memory: 46944 KiB
[startup+0.70028 s]
/proc/loadavg: 2.01 2.03 2.23 3/201 5420
/proc/meminfo: memFree=21031176/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2040920 memory=47144 CPUtime=0.69 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 2766 0 0 0 69 0 0 0 20 0 1 0 409944639 2089902080 11786 33554432000 4194304 5870510 140735452290576 140735452289576 140133823012743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 510230 11786 953 410 0 505703 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2040920 KiB
Current children cumulated memory: 47144 KiB
[startup+1.50033 s]
/proc/loadavg: 2.01 2.03 2.23 3/201 5420
/proc/meminfo: memFree=21022984/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2041228 memory=47404 CPUtime=1.49 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 2853 0 0 0 148 1 0 0 20 0 1 0 409944639 2090217472 11851 33554432000 4194304 5870510 140735452290576 140735452289672 5406398 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 510307 11851 953 410 0 505780 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2041228 KiB
Current children cumulated memory: 47404 KiB
[startup+3.10924 s]
/proc/loadavg: 2.01 2.03 2.23 3/202 5422
/proc/meminfo: memFree=20997524/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2041600 memory=47824 CPUtime=3.1 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 3348 0 0 0 309 1 0 0 20 0 1 0 409944639 2090598400 11956 33554432000 4194304 5870510 140735452290576 140735452289672 140133823012743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 510400 11956 953 410 0 505873 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2041600 KiB
Current children cumulated memory: 47824 KiB
[startup+6.30034 s]
/proc/loadavg: 2.01 2.03 2.23 3/202 5422
/proc/meminfo: memFree=20943404/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2064528 memory=66632 CPUtime=6.29 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 11651 0 0 0 627 2 0 0 20 0 1 0 409944639 2114076672 16658 33554432000 4194304 5870510 140735452290576 140735452289528 5298780 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 516132 16658 987 410 0 511605 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2064528 KiB
Current children cumulated memory: 66632 KiB
[startup+12.7004 s]
/proc/loadavg: 2.01 2.03 2.22 3/201 5423
/proc/meminfo: memFree=20960836/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2095172 memory=102076 CPUtime=12.69 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 16933 0 0 0 1266 3 0 0 20 0 1 0 409944639 2145456128 25519 33554432000 4194304 5870510 140735452290576 140735452289528 5262616 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 523793 25519 987 410 0 519266 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2095172 KiB
Current children cumulated memory: 102076 KiB
[startup+25.5004 s]
/proc/loadavg: 2.08 2.05 2.23 3/201 5423
/proc/meminfo: memFree=20875536/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2176080 memory=146072 CPUtime=25.49 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 33253 0 0 0 2543 6 0 0 20 0 1 0 409944639 2228305920 36518 33554432000 4194304 5870510 140735452290576 140735452289528 5282738 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 544020 36518 987 410 0 539493 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2176080 KiB
Current children cumulated memory: 146072 KiB
[startup+51.1098 s]
/proc/loadavg: 2.05 2.04 2.22 3/200 5425
/proc/meminfo: memFree=20901904/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2223660 memory=195700 CPUtime=51.1 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 44296 0 0 0 5097 13 0 0 20 0 1 0 409944639 2277027840 48925 33554432000 4194304 5870510 140735452290576 140735452289528 5282738 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 555915 48925 994 410 0 551388 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2223660 KiB
Current children cumulated memory: 195700 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.21 3/200 5429
/proc/meminfo: memFree=21045476/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2223660 memory=176012 CPUtime=102.29 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 52081 0 0 0 10205 24 0 0 20 0 1 0 409944639 2277027840 44003 33554432000 4194304 5870510 140735452290576 140735452289528 5282747 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 555915 44003 994 410 0 551388 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2223660 KiB
Current children cumulated memory: 176012 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.20 3/199 5433
/proc/meminfo: memFree=21012488/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2199688 memory=182052 CPUtime=162.28 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 91935 0 0 0 16188 40 0 0 20 0 1 0 409944639 2252480512 45513 33554432000 4194304 5870510 140735452290576 140735452289528 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 549922 45513 994 410 0 545395 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2199688 KiB
Current children cumulated memory: 182052 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.19 3/199 5437
/proc/meminfo: memFree=21012480/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2119548 memory=128640 CPUtime=222.28 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 100129 0 0 0 22178 50 0 0 20 0 1 0 409944639 2170417152 32160 33554432000 4194304 5870510 140735452290576 140735452289592 5282467 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 529887 32160 994 410 0 525360 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2119548 KiB
Current children cumulated memory: 128640 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.18 3/199 5443
/proc/meminfo: memFree=20904284/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2119548 memory=128640 CPUtime=282.29 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 105465 0 0 0 28173 56 0 0 20 0 1 0 409944639 2170417152 32160 33554432000 4194304 5870510 140735452290576 140735452289592 5281696 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 529887 32160 994 410 0 525360 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2119548 KiB
Current children cumulated memory: 128640 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.17 3/199 5447
/proc/meminfo: memFree=21008184/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2138224 memory=147316 CPUtime=342.29 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 113830 0 0 0 34168 61 0 0 20 0 1 0 409944639 2189541376 36829 33554432000 4194304 5870510 140735452290576 140735452289592 5278085 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 534556 36829 994 410 0 530029 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2138224 KiB
Current children cumulated memory: 147316 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.15 3/199 5458
/proc/meminfo: memFree=20943084/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2138224 memory=147344 CPUtime=402.28 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 117120 0 0 0 40164 64 0 0 20 0 1 0 409944639 2189541376 36836 33554432000 4194304 5870510 140735452290576 140735452289592 5283116 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 534556 36836 994 410 0 530029 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2138224 KiB
Current children cumulated memory: 147344 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/199 5464
/proc/meminfo: memFree=20758916/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2229436 memory=222060 CPUtime=462.27 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 121858 0 0 0 46156 71 0 0 20 0 1 0 409944639 2282942464 55515 33554432000 4194304 5870510 140735452290576 140735452289528 5262557 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557359 55515 994 410 0 552832 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2229436 KiB
Current children cumulated memory: 222060 KiB
################
# More data... #
################
/proc/5419/statm: 564802 62088 994 410 0 560275 0
Current children cumulated CPU time: 1662.25 s
Current children cumulated vsize: 2259208 KiB
Current children cumulated memory: 248352 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/200 5640
/proc/meminfo: memFree=22015752/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2228388 memory=225596 CPUtime=1722.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 295719 0 0 0 171906 319 0 0 20 0 1 0 409944639 2281869312 56399 33554432000 4194304 5870510 140735452290576 140735452289592 5262751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557097 56399 994 410 0 552570 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 2228388 KiB
Current children cumulated memory: 225596 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/200 5644
/proc/meminfo: memFree=22011112/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2228388 memory=227700 CPUtime=1782.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 302145 0 0 0 177897 328 0 0 20 0 1 0 409944639 2281869312 56925 33554432000 4194304 5870510 140735452290576 140735452289016 5262655 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557097 56925 994 410 0 552570 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 2228388 KiB
Current children cumulated memory: 227700 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 5648
/proc/meminfo: memFree=21980432/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2228388 memory=237940 CPUtime=1842.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 306285 0 0 0 183890 335 0 0 20 0 1 0 409944639 2281869312 59485 33554432000 4194304 5870510 140735452290576 140735452289016 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557097 59485 994 410 0 552570 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 2228388 KiB
Current children cumulated memory: 237940 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/198 5654
/proc/meminfo: memFree=22022168/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2228388 memory=225652 CPUtime=1902.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 313366 0 0 0 189881 344 0 0 20 0 1 0 409944639 2281869312 56413 33554432000 4194304 5870510 140735452290576 140735452289592 5282747 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557097 56413 994 410 0 552570 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 2228388 KiB
Current children cumulated memory: 225652 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/199 5659
/proc/meminfo: memFree=21967172/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2259208 memory=248352 CPUtime=1962.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 319755 0 0 0 195867 358 0 0 20 0 1 0 409944639 2313428992 62088 33554432000 4194304 5870510 140735452290576 140735452289528 5282747 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 564802 62088 994 410 0 560275 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 2259208 KiB
Current children cumulated memory: 248352 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 5663
/proc/meminfo: memFree=22028068/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2228388 memory=237940 CPUtime=2022.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 339641 0 0 0 201851 374 0 0 20 0 1 0 409944639 2281869312 59485 33554432000 4194304 5870510 140735452290576 140735452289592 5262603 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557097 59485 994 410 0 552570 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 2228388 KiB
Current children cumulated memory: 237940 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 5669
/proc/meminfo: memFree=22004616/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2179068 memory=192892 CPUtime=2082.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 345691 0 0 0 207840 385 0 0 20 0 1 0 409944639 2231365632 48223 33554432000 4194304 5870510 140735452290576 140735452289528 5282736 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 544767 48223 994 410 0 540240 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 2179068 KiB
Current children cumulated memory: 192892 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 5673
/proc/meminfo: memFree=22006000/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2228388 memory=229748 CPUtime=2142.24 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 352408 0 0 0 213833 391 0 0 20 0 1 0 409944639 2281869312 57437 33554432000 4194304 5870510 140735452290576 140735452289016 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557097 57437 994 410 0 552570 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 2228388 KiB
Current children cumulated memory: 229748 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5685
/proc/meminfo: memFree=22012180/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2228388 memory=225456 CPUtime=2202.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 357312 0 0 0 219828 397 0 0 20 0 1 0 409944639 2281869312 56364 33554432000 4194304 5870510 140735452290576 140735452289592 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557097 56364 994 410 0 552570 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 2228388 KiB
Current children cumulated memory: 225456 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5691
/proc/meminfo: memFree=21999496/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2228388 memory=233844 CPUtime=2262.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 363707 0 0 0 225821 404 0 0 20 0 1 0 409944639 2281869312 58461 33554432000 4194304 5870510 140735452290576 140735452289016 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557097 58461 994 410 0 552570 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 2228388 KiB
Current children cumulated memory: 233844 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5695
/proc/meminfo: memFree=21991172/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2228388 memory=231796 CPUtime=2322.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 368620 0 0 0 231814 411 0 0 20 0 1 0 409944639 2281869312 57949 33554432000 4194304 5870510 140735452290576 140735452289016 5281920 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557097 57949 994 410 0 552570 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 2228388 KiB
Current children cumulated memory: 231796 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5699
/proc/meminfo: memFree=21980084/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2228388 memory=235892 CPUtime=2382.25 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 389815 0 0 0 237797 428 0 0 20 0 1 0 409944639 2281869312 58973 33554432000 4194304 5870510 140735452290576 140735452289592 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 557097 58973 994 410 0 552570 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 2228388 KiB
Current children cumulated memory: 235892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5701
/proc/meminfo: memFree=21969312/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2259208 memory=244256 CPUtime=2400.06 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 391762 0 0 0 239574 432 0 0 20 0 1 0 409944639 2313428992 61064 33554432000 4194304 5870510 140735452290576 140735452289592 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 564802 61064 994 410 0 560275 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 2259208 KiB
Current children cumulated memory: 244256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 5419 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.75 s, system=4.32593 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5701
/proc/meminfo: memFree=21969312/32770624 swapFree=66939828/67108860
[pid=5419] ppid=5416 vsize=2259208 memory=244256 CPUtime=2400.06 cores=1,3,5,7
/proc/5419/stat : 5419 (xcsp_picat) R 5416 5419 3880 0 -1 4202496 391762 0 0 0 239574 432 0 0 20 0 1 0 409944639 2313428992 61064 33554432000 4194304 5870510 140735452290576 140735452289592 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 36478976 140735452296223 140735452296301 140735452296301 140735452299210 0
/proc/5419/statm: 564802 61064 994 410 0 560275 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 2259208 KiB
Current children cumulated memory: 244256 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.11
CPU time (s): 2400.07
CPU user time (s): 2395.75
CPU system time (s): 4.32593
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 2435276
Max. memory (cumulated for all children) (KiB): 287260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.75
system time used= 4.32593
maximum resident set size= 335648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391762
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= 2579
# summary of solver processes directly reported to runsolver:
# pid: 5419
# total CPU time (s): 2400.07
# total CPU user time (s): 2395.75
# total CPU system time (s): 4.32593
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.37849 second user time and 17.5095 second system time
The end