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 (12390 MiB free)
memory of node 1: 16384 MiB (13404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309765-1534301662/watcher-4309765-1534301662 -o /tmp/evaluation-result-4309765-1534301662/solver-4309765-1534301662 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534293911-23505 --watchdog 2580 xcsp_picat HOME/instance-4309765-1534301662.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=24333, runsolver pid=24330
[startup+0.100161 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24334
/proc/meminfo: memFree=26395600/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2028500 memory=20424 CPUtime=0.1 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 2354 0 0 0 10 0 0 0 20 0 1 0 247729349 2077184000 5106 33554432000 4194304 5849940 140730412289312 140730412289312 5401097 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 507125 5106 630 405 0 504069 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2028500 KiB
Current children cumulated memory: 20424 KiB
[startup+0.209729 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24334
/proc/meminfo: memFree=26393864/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2031376 memory=22220 CPUtime=0.21 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 3367 0 0 0 21 0 0 0 20 0 1 0 247729349 2080129024 5555 33554432000 4194304 5849940 140730412289312 140730412289312 5417139 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 507844 5555 639 405 0 504788 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031376 KiB
Current children cumulated memory: 22220 KiB
[startup+0.309213 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24334
/proc/meminfo: memFree=26393864/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2031376 memory=22220 CPUtime=0.31 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 3370 0 0 0 31 0 0 0 20 0 1 0 247729349 2080129024 5555 33554432000 4194304 5849940 140730412289312 140730412289312 5302125 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 507844 5555 639 405 0 504788 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031376 KiB
Current children cumulated memory: 22220 KiB
[startup+0.700292 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24334
/proc/meminfo: memFree=26389028/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2036028 memory=26852 CPUtime=0.69 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 4533 0 0 0 69 0 0 0 20 0 1 0 247729349 2084892672 6713 33554432000 4194304 5849940 140730412289312 140730412289312 4211802 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 509007 6713 642 405 0 505951 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2036028 KiB
Current children cumulated memory: 26852 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24334
/proc/meminfo: memFree=26389028/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2036028 memory=26852 CPUtime=1.49 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 4533 0 0 0 149 0 0 0 20 0 1 0 247729349 2084892672 6713 33554432000 4194304 5849940 140730412289312 140730412287048 4208603 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 509007 6713 642 405 0 505951 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036028 KiB
Current children cumulated memory: 26852 KiB
[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24334
/proc/meminfo: memFree=26387908/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2038548 memory=30320 CPUtime=3.1 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 6560 0 0 0 309 1 0 0 20 0 1 0 247729349 2087473152 7580 33554432000 4194304 5849940 140730412289312 140730412287048 139839564672903 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 509637 7580 653 405 0 506581 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038548 KiB
Current children cumulated memory: 30320 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24334
/proc/meminfo: memFree=26370356/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2061260 memory=53144 CPUtime=6.29 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 18084 0 0 0 624 5 0 0 20 0 1 0 247729349 2110730240 13286 33554432000 4194304 5849940 140730412289312 140730412287048 139839564672903 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 515315 13286 653 405 0 512259 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2061260 KiB
Current children cumulated memory: 53144 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24334
/proc/meminfo: memFree=26346276/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2085328 memory=77512 CPUtime=12.69 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 45048 0 0 0 1257 12 0 0 20 0 1 0 247729349 2135375872 19378 33554432000 4194304 5849940 140730412289312 140730412288184 139839564672903 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 521332 19378 653 405 0 518276 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2085328 KiB
Current children cumulated memory: 77512 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24334
/proc/meminfo: memFree=26328564/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2108880 memory=98160 CPUtime=25.49 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 70654 0 0 0 2525 24 0 0 20 0 1 0 247729349 2159493120 24540 33554432000 4194304 5849940 140730412289312 140730412288472 5438538 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 527220 24540 653 405 0 524164 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2108880 KiB
Current children cumulated memory: 98160 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24335
/proc/meminfo: memFree=26227332/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2195732 memory=187652 CPUtime=51.11 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 105497 0 0 0 5066 45 0 0 20 0 1 0 247729349 2248429568 46913 33554432000 4194304 5849940 140730412289312 140730412288472 139839564672903 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 548933 46913 653 405 0 545877 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2195732 KiB
Current children cumulated memory: 187652 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24336
/proc/meminfo: memFree=26380120/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2234892 memory=227076 CPUtime=102.29 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 190997 0 0 0 10143 86 0 0 20 0 1 0 247729349 2288529408 56769 33554432000 4194304 5849940 140730412289312 140730412288312 5313075 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 558723 56769 653 405 0 555667 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2234892 KiB
Current children cumulated memory: 227076 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24337
/proc/meminfo: memFree=26213528/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2445652 memory=437836 CPUtime=162.3 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 202232 0 0 0 16123 107 0 0 20 0 1 0 247729349 2504347648 109459 33554432000 4194304 5849940 140730412289312 140730412288184 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 611413 109459 653 405 0 608357 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2445652 KiB
Current children cumulated memory: 437836 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24400
/proc/meminfo: memFree=26561568/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2435752 memory=427808 CPUtime=222.3 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 269532 0 0 0 22093 137 0 0 20 0 1 0 247729349 2494210048 106952 33554432000 4194304 5849940 140730412289312 140730412288472 5437856 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 608938 106952 653 405 0 605882 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2435752 KiB
Current children cumulated memory: 427808 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24461
/proc/meminfo: memFree=26574988/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2484752 memory=476576 CPUtime=282.29 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 305436 0 0 0 28065 164 0 0 20 0 1 0 247729349 2544386048 119144 33554432000 4194304 5849940 140730412289312 140730412288184 5313367 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 621188 119144 653 405 0 618132 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2484752 KiB
Current children cumulated memory: 476576 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24469
/proc/meminfo: memFree=26629816/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2430748 memory=422700 CPUtime=342.28 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 344384 0 0 0 34038 190 0 0 20 0 1 0 247729349 2489085952 105675 33554432000 4194304 5849940 140730412289312 140730412288472 5313196 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 607687 105675 653 405 0 604631 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2430748 KiB
Current children cumulated memory: 422700 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24492
/proc/meminfo: memFree=26535080/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2497916 memory=489868 CPUtime=402.28 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 386966 0 0 0 40013 215 0 0 20 0 1 0 247729349 2557865984 122467 33554432000 4194304 5849940 140730412289312 140730412288472 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 624479 122467 653 405 0 621423 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2497916 KiB
Current children cumulated memory: 489868 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24493
/proc/meminfo: memFree=26373416/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=2626588 memory=618772 CPUtime=462.27 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 420838 0 0 0 45981 246 0 0 20 0 1 0 247729349 2689626112 154693 33554432000 4194304 5849940 140730412289312 140730412288184 5312986 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 656647 154693 653 405 0 653591 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2626588 KiB
Current children cumulated memory: 618772 KiB
################
# More data... #
################
/proc/24333/statm: 907604 406771 653 405 0 904548 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 3630416 KiB
Current children cumulated memory: 1627084 KiB
[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/187 24530
/proc/meminfo: memFree=25248852/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=3630416 memory=1627084 CPUtime=1782.33 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 2541467 0 0 0 177478 755 0 0 20 0 1 0 247729349 3717545984 406771 33554432000 4194304 5849940 140730412289312 140730412288184 5313106 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 907604 406771 653 405 0 904548 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 3630416 KiB
Current children cumulated memory: 1627084 KiB
[startup+1842.3 s]
/proc/loadavg: 2.12 2.06 2.05 3/187 24532
/proc/meminfo: memFree=25246840/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=3630416 memory=1627084 CPUtime=1842.33 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 2729963 0 0 0 183456 777 0 0 20 0 1 0 247729349 3717545984 406771 33554432000 4194304 5849940 140730412289312 140730412288312 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 907604 406771 653 405 0 904548 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 3630416 KiB
Current children cumulated memory: 1627084 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/187 24533
/proc/meminfo: memFree=25243552/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=3630416 memory=1627084 CPUtime=1902.33 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 2914824 0 0 0 189434 799 0 0 20 0 1 0 247729349 3717545984 406771 33554432000 4194304 5849940 140730412289312 140730412288312 5437819 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 907604 406771 653 405 0 904548 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 3630416 KiB
Current children cumulated memory: 1627084 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 24534
/proc/meminfo: memFree=25161260/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=3695952 memory=1692620 CPUtime=1962.34 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 3101991 0 0 0 195409 825 0 0 20 0 1 0 247729349 3784654848 423155 33554432000 4194304 5849940 140730412289312 140730412288472 5438404 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 923988 423155 653 405 0 920932 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 3695952 KiB
Current children cumulated memory: 1692620 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 24536
/proc/meminfo: memFree=25257508/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=3630416 memory=1627084 CPUtime=2022.34 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 3287728 0 0 0 201385 849 0 0 20 0 1 0 247729349 3717545984 406771 33554432000 4194304 5849940 140730412289312 140730412288472 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 907604 406771 653 405 0 904548 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 3630416 KiB
Current children cumulated memory: 1627084 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24537
/proc/meminfo: memFree=25160988/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=3695952 memory=1692620 CPUtime=2082.34 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 3442545 0 0 0 207363 871 0 0 20 0 1 0 247729349 3784654848 423155 33554432000 4194304 5849940 140730412289312 140730412288312 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 923988 423155 653 405 0 920932 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 3695952 KiB
Current children cumulated memory: 1692620 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24546
/proc/meminfo: memFree=25225444/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=3630416 memory=1627084 CPUtime=2142.34 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 3593813 0 0 0 213337 897 0 0 20 0 1 0 247729349 3717545984 406771 33554432000 4194304 5849940 140730412289312 140730412288472 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 907604 406771 653 405 0 904548 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 3630416 KiB
Current children cumulated memory: 1627084 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24547
/proc/meminfo: memFree=25257400/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=3630416 memory=1627084 CPUtime=2202.35 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 3768008 0 0 0 219313 922 0 0 20 0 1 0 247729349 3717545984 406771 33554432000 4194304 5849940 140730412289312 140730412288472 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 907604 406771 653 405 0 904548 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 3630416 KiB
Current children cumulated memory: 1627084 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24548
/proc/meminfo: memFree=24787640/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=4099280 memory=2095948 CPUtime=2262.35 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 3871962 0 0 0 225284 951 0 0 20 0 1 0 247729349 4197662720 523987 33554432000 4194304 5849940 140730412289312 140730412288472 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 1024820 523987 653 405 0 1021764 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 4099280 KiB
Current children cumulated memory: 2095948 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24549
/proc/meminfo: memFree=24787988/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=4164816 memory=2161296 CPUtime=2322.35 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 4099134 0 0 0 231252 983 0 0 20 0 1 0 247729349 4264771584 540324 33554432000 4194304 5849940 140730412289312 140730412288312 5438429 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 1041204 540324 653 405 0 1038148 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 4164816 KiB
Current children cumulated memory: 2161296 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24550
/proc/meminfo: memFree=24723224/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=4164816 memory=2161316 CPUtime=2382.36 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 4316160 0 0 0 237228 1008 0 0 20 0 1 0 247729349 4264771584 540329 33554432000 4194304 5849940 140730412289312 140730412288472 139839564672903 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 1041204 540329 653 405 0 1038148 0
Current children cumulated CPU time: 2382.36 s
Current children cumulated vsize: 4164816 KiB
Current children cumulated memory: 2161316 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24551
/proc/meminfo: memFree=24751356/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=4099280 memory=2095948 CPUtime=2442.36 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 4537344 0 0 0 243204 1032 0 0 20 0 1 0 247729349 4197662720 523987 33554432000 4194304 5849940 140730412289312 140730412288312 139839564672903 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 1024820 523987 653 405 0 1021764 0
Current children cumulated CPU time: 2442.36 s
Current children cumulated vsize: 4099280 KiB
Current children cumulated memory: 2095948 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24552
/proc/meminfo: memFree=24719184/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=4099280 memory=2095948 CPUtime=2502.37 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 4760268 0 0 0 249180 1057 0 0 20 0 1 0 247729349 4197662720 523987 33554432000 4194304 5849940 140730412289312 140730412288472 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 1024820 523987 653 405 0 1021764 0
Current children cumulated CPU time: 2502.37 s
Current children cumulated vsize: 4099280 KiB
Current children cumulated memory: 2095948 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24553
/proc/meminfo: memFree=24856860/32770624 swapFree=67108804/67108860
[pid=24333] ppid=24330 vsize=4164816 memory=2161484 CPUtime=2520.07 cores=1,3,5,7
/proc/24333/stat : 24333 (xcsp_picat) R 24330 24333 23473 0 -1 4202496 4777139 0 0 0 250943 1064 0 0 20 0 1 0 247729349 4264771584 540371 33554432000 4194304 5849940 140730412289312 140730412288472 139839564672903 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 26951680 140730412291254 140730412291332 140730412291332 140730412294090 0
/proc/24333/statm: 1041204 540371 653 405 0 1038148 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 4164816 KiB
Current children cumulated memory: 2161484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.06 s]
# the end of solver process 24333 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.44 s, system=10.7025 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.06
CPU time (s): 2520.14
CPU user time (s): 2509.44
CPU system time (s): 10.7025
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4164816
Max. memory (cumulated for all children) (KiB): 2161484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.44
system time used= 10.7025
maximum resident set size= 2161484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4777140
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= 68
involuntary context switches= 1841
# summary of solver processes directly reported to runsolver:
# pid: 24333
# total CPU time (s): 2520.14
# total CPU user time (s): 2509.44
# total CPU system time (s): 10.7025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.82176 second user time and 18.7811 second system time
The end