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 (7052 MiB free)
memory of node 1: 16384 MiB (11102 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309309-1534293054/watcher-4309309-1534293054 -o /tmp/evaluation-result-4309309-1534293054/solver-4309309-1534293054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534293054-21340 --watchdog 2580 xcsp_picat HOME/instance-4309309-1534293054.xml
running on 4 cores: 0,2,4,6
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
solver pid=21371, runsolver pid=21368
Current StackSize limit: 8192 KiB
[startup+0.100276 s]*
/proc/loadavg: 1.20 1.27 1.32 3/188 21372
/proc/meminfo: memFree=18573068/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2025744 memory=19576 CPUtime=0.1 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 2018 0 0 0 10 0 0 0 20 0 1 0 246868671 2074361856 4894 33554432000 4194304 5849940 140724933107344 140724933106648 4492244 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 506436 4894 642 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 19576 KiB
[startup+0.209387 s]*
/proc/loadavg: 1.20 1.27 1.32 3/184 21374
/proc/meminfo: memFree=18578620/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2025744 memory=23672 CPUtime=0.2 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 2020 0 0 0 20 0 0 0 20 0 1 0 246868671 2074361856 5918 33554432000 4194304 5849940 140724933107344 140724933106648 4677673 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 506436 5918 642 405 0 503380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 23672 KiB
[startup+0.309425 s]*
/proc/loadavg: 1.20 1.27 1.32 3/183 21380
/proc/meminfo: memFree=18574680/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2025744 memory=27768 CPUtime=0.3 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 2022 0 0 0 30 0 0 0 20 0 1 0 246868671 2074361856 6942 33554432000 4194304 5849940 140724933107344 140724933106648 4550726 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 506436 6942 642 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 27768 KiB
[startup+0.700265 s]
/proc/loadavg: 1.20 1.27 1.32 3/194 21394
/proc/meminfo: memFree=18555556/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2028008 memory=36700 CPUtime=0.69 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 2680 0 0 0 68 1 0 0 20 0 1 0 246868671 2076680192 9175 33554432000 4194304 5849940 140724933107344 140724933106648 140093352197773 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 507002 9175 718 405 0 503946 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028008 KiB
Current children cumulated memory: 36700 KiB
[startup+1.50028 s]
/proc/loadavg: 1.20 1.27 1.32 3/188 21433
/proc/meminfo: memFree=18550104/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2028520 memory=36964 CPUtime=1.49 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 2808 0 0 0 148 1 0 0 20 0 1 0 246868671 2077204480 9241 33554432000 4194304 5849940 140724933107344 140724933106440 5471840 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 507130 9241 719 405 0 504074 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028520 KiB
Current children cumulated memory: 36964 KiB
[startup+3.10895 s]
/proc/loadavg: 1.10 1.25 1.31 3/188 21433
/proc/meminfo: memFree=18546244/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2029544 memory=38240 CPUtime=3.1 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 3346 0 0 0 309 1 0 0 20 0 1 0 246868671 2078253056 9560 33554432000 4194304 5849940 140724933107344 140724933106584 5618774 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 507386 9560 719 405 0 504330 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2029544 KiB
Current children cumulated memory: 38240 KiB
[startup+6.30027 s]
/proc/loadavg: 1.10 1.25 1.31 3/188 21433
/proc/meminfo: memFree=18543580/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2030568 memory=39264 CPUtime=6.28 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 4037 0 0 0 627 1 0 0 20 0 1 0 246868671 2079301632 9816 33554432000 4194304 5849940 140724933107344 140724933106584 5479590 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 507642 9816 719 405 0 504586 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2030568 KiB
Current children cumulated memory: 39264 KiB
[startup+12.7003 s]
/proc/loadavg: 1.24 1.27 1.32 3/188 21433
/proc/meminfo: memFree=18539632/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2034664 memory=43360 CPUtime=12.69 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 5786 0 0 0 1267 2 0 0 20 0 1 0 246868671 2083495936 10840 33554432000 4194304 5849940 140724933107344 140724933106440 140093352202782 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 508666 10840 719 405 0 505610 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2034664 KiB
Current children cumulated memory: 43360 KiB
[startup+25.5003 s]
/proc/loadavg: 1.36 1.30 1.33 3/188 21433
/proc/meminfo: memFree=18533056/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2044392 memory=53156 CPUtime=25.48 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 15561 0 0 0 2543 5 0 0 20 0 1 0 246868671 2093457408 13289 33554432000 4194304 5849940 140724933107344 140724933105832 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 511098 13289 751 405 0 508042 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2044392 KiB
Current children cumulated memory: 53156 KiB
[startup+51.109 s]
/proc/loadavg: 1.58 1.35 1.34 3/188 21497
/proc/meminfo: memFree=18508352/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2064380 memory=73280 CPUtime=51.09 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 21611 0 0 0 5100 9 0 0 20 0 1 0 246868671 2113925120 18320 33554432000 4194304 5849940 140724933107344 140724933105832 4211667 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 516095 18320 760 405 0 513039 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2064380 KiB
Current children cumulated memory: 73280 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 1.46 1.38 3/188 21498
/proc/meminfo: memFree=18499720/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2064380 memory=75504 CPUtime=102.27 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 35621 0 0 0 10182 45 0 0 20 0 1 0 246868671 2113925120 18876 33554432000 4194304 5849940 140724933107344 140724933106344 5437977 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 516095 18876 760 405 0 513039 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2064380 KiB
Current children cumulated memory: 75504 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.56 1.42 3/188 21499
/proc/meminfo: memFree=18493936/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2068484 memory=78844 CPUtime=162.27 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 39184 0 0 0 16151 76 0 0 20 0 1 0 246868671 2118127616 19711 33554432000 4194304 5849940 140724933107344 140724933105832 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 517121 19711 760 405 0 514065 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2068484 KiB
Current children cumulated memory: 78844 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 1.65 1.46 3/188 21563
/proc/meminfo: memFree=18383416/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2075580 memory=86520 CPUtime=222.27 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 40851 0 0 0 22107 120 0 0 20 0 1 0 246868671 2125393920 21630 33554432000 4194304 5849940 140724933107344 140724933106344 140093352664967 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 518895 21630 760 405 0 515839 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2075580 KiB
Current children cumulated memory: 86520 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.72 1.50 3/188 21564
/proc/meminfo: memFree=18383704/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2067716 memory=78780 CPUtime=282.27 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 44463 0 0 0 28083 144 0 0 20 0 1 0 246868671 2117341184 19695 33554432000 4194304 5849940 140724933107344 140724933105832 4212035 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 516929 19695 760 405 0 513873 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2067716 KiB
Current children cumulated memory: 78780 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 1.78 1.53 3/187 21565
/proc/meminfo: memFree=18375620/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2069764 memory=80888 CPUtime=342.26 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 46103 0 0 0 34041 185 0 0 20 0 1 0 246868671 2119438336 20222 33554432000 4194304 5849940 140724933107344 140724933106344 5438501 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 517441 20222 760 405 0 514385 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2069764 KiB
Current children cumulated memory: 80888 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 1.82 1.56 3/187 21566
/proc/meminfo: memFree=18371960/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2076372 memory=85176 CPUtime=402.26 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 50136 0 0 0 39996 230 0 0 20 0 1 0 246868671 2126204928 21294 33554432000 4194304 5849940 140724933107344 140724933105832 4211675 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 519093 21294 760 405 0 516037 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2076372 KiB
Current children cumulated memory: 85176 KiB
[startup+462.3 s]
/proc/loadavg: 2.74 2.09 1.67 3/187 21567
/proc/meminfo: memFree=18410344/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2039800 memory=50840 CPUtime=462.25 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 57706 0 0 0 45956 269 0 0 20 0 1 0 246868671 2088755200 12710 33554432000 4194304 5849940 140724933107344 140724933106584 5520087 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 509950 12710 760 405 0 506894 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2039800 KiB
Current children cumulated memory: 50840 KiB
################
# More data... #
################
Current children cumulated memory: 71384 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.04 1.78 3/188 21581
/proc/meminfo: memFree=18327392/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2075164 memory=86288 CPUtime=822.22 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 80452 0 0 0 81743 479 0 0 20 0 1 0 246868671 2124967936 21572 33554432000 4194304 5849940 140724933107344 140724933105832 4211646 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 518791 21572 760 405 0 515735 0
Current children cumulated CPU time: 822.22 s
Current children cumulated vsize: 2075164 KiB
Current children cumulated memory: 86288 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.03 1.79 3/187 21582
/proc/meminfo: memFree=18311336/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2090676 memory=101652 CPUtime=882.22 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 83496 0 0 0 87702 520 0 0 20 0 1 0 246868671 2140852224 25413 33554432000 4194304 5849940 140724933107344 140724933106344 140093352664967 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 522669 25413 760 405 0 519613 0
Current children cumulated CPU time: 882.22 s
Current children cumulated vsize: 2090676 KiB
Current children cumulated memory: 101652 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 1.80 3/187 21583
/proc/meminfo: memFree=18359488/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2039800 memory=50744 CPUtime=942.22 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 88084 0 0 0 93667 555 0 0 20 0 1 0 246868671 2088755200 12686 33554432000 4194304 5849940 140724933107344 140724933106440 5472107 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 509950 12686 760 405 0 506894 0
Current children cumulated CPU time: 942.22 s
Current children cumulated vsize: 2039800 KiB
Current children cumulated memory: 50744 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.82 3/187 21584
/proc/meminfo: memFree=18328772/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2060292 memory=71416 CPUtime=1002.2 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 93008 0 0 0 99645 575 0 0 20 0 1 0 246868671 2109739008 17854 33554432000 4194304 5849940 140724933107344 140724933105832 4211862 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 515073 17854 760 405 0 512017 0
Current children cumulated CPU time: 1002.2 s
Current children cumulated vsize: 2060292 KiB
Current children cumulated memory: 71416 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/187 21585
/proc/meminfo: memFree=18286420/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2069464 memory=80556 CPUtime=1062.21 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 93562 0 0 0 105607 614 0 0 20 0 1 0 246868671 2119131136 20139 33554432000 4194304 5849940 140724933107344 140724933106344 140093352664967 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 517366 20139 760 405 0 514310 0
Current children cumulated CPU time: 1062.21 s
Current children cumulated vsize: 2069464 KiB
Current children cumulated memory: 80556 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/187 21586
/proc/meminfo: memFree=18327440/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2060292 memory=71416 CPUtime=1122.2 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 100841 0 0 0 111580 640 0 0 20 0 1 0 246868671 2109739008 17854 33554432000 4194304 5849940 140724933107344 140724933106344 5335712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 515073 17854 760 405 0 512017 0
Current children cumulated CPU time: 1122.2 s
Current children cumulated vsize: 2060292 KiB
Current children cumulated memory: 71416 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/187 21594
/proc/meminfo: memFree=18295140/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2092384 memory=103440 CPUtime=1182.2 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 105294 0 0 0 117539 681 0 0 20 0 1 0 246868671 2142601216 25860 33554432000 4194304 5849940 140724933107344 140724933106344 140093352664967 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 523096 25860 760 405 0 520040 0
Current children cumulated CPU time: 1182.2 s
Current children cumulated vsize: 2092384 KiB
Current children cumulated memory: 103440 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 21595
/proc/meminfo: memFree=18295264/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2092384 memory=103508 CPUtime=1242.19 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 109164 0 0 0 123496 723 0 0 20 0 1 0 246868671 2142601216 25877 33554432000 4194304 5849940 140724933107344 140724933106344 140093352664967 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 523096 25877 760 405 0 520040 0
Current children cumulated CPU time: 1242.19 s
Current children cumulated vsize: 2092384 KiB
Current children cumulated memory: 103508 KiB
[startup+1279.64 s]
# the end of solver process 21371 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1272.09 s, system=7.44243 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 21595
/proc/meminfo: memFree=18295388/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2092384 memory=103508 CPUtime=1254.29 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 109211 0 0 0 124697 732 0 0 20 0 1 0 246868671 2142601216 25877 33554432000 4194304 5849940 140724933107344 140724933105992 5395516 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 523096 25877 760 405 0 520040 0
Current children cumulated CPU time: 1254.29 s
Current children cumulated vsize: 2092384 KiB
Current children cumulated memory: 103508 KiB
[startup+1267.2 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 21596
/proc/meminfo: memFree=18285952/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2100880 memory=112004 CPUtime=1267.08 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 113255 0 0 0 125971 737 0 0 20 0 1 0 246868671 2151301120 28001 33554432000 4194304 5849940 140724933107344 140724933106344 140093352664967 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 525220 28001 760 405 0 522164 0
Current children cumulated CPU time: 1267.08 s
Current children cumulated vsize: 2100880 KiB
Current children cumulated memory: 112004 KiB
[startup+1273.6 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 21596
/proc/meminfo: memFree=18286076/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2100880 memory=112004 CPUtime=1273.49 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 113255 0 0 0 126609 740 0 0 20 0 1 0 246868671 2151301120 28001 33554432000 4194304 5849940 140724933107344 140724933106344 140093352664967 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 525220 28001 760 405 0 522164 0
Current children cumulated CPU time: 1273.49 s
Current children cumulated vsize: 2100880 KiB
Current children cumulated memory: 112004 KiB
[startup+1276.8 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 21596
/proc/meminfo: memFree=18286076/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2100880 memory=112004 CPUtime=1276.69 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 113388 0 0 0 126927 742 0 0 20 0 1 0 246868671 2151301120 28001 33554432000 4194304 5849940 140724933107344 140724933106344 5438624 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 525220 28001 760 405 0 522164 0
Current children cumulated CPU time: 1276.69 s
Current children cumulated vsize: 2100880 KiB
Current children cumulated memory: 112004 KiB
[startup+1278.4 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 21596
/proc/meminfo: memFree=18286248/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2100880 memory=112004 CPUtime=1278.29 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 113403 0 0 0 127086 743 0 0 20 0 1 0 246868671 2151301120 28001 33554432000 4194304 5849940 140724933107344 140724933106344 5437815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 525220 28001 760 405 0 522164 0
Current children cumulated CPU time: 1278.29 s
Current children cumulated vsize: 2100880 KiB
Current children cumulated memory: 112004 KiB
[startup+1279.2 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 21596
/proc/meminfo: memFree=18286248/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2100880 memory=112004 CPUtime=1279.09 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 116424 0 0 0 127166 743 0 0 20 0 1 0 246868671 2151301120 28001 33554432000 4194304 5849940 140724933107344 140724933106344 5437815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 525220 28001 760 405 0 522164 0
Current children cumulated CPU time: 1279.09 s
Current children cumulated vsize: 2100880 KiB
Current children cumulated memory: 112004 KiB
[startup+1279.6 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 21596
/proc/meminfo: memFree=18286248/32770624 swapFree=67108792/67108860
[pid=21371] ppid=21368 vsize=2100880 memory=112004 CPUtime=1279.48 cores=0,2,4,6
/proc/21371/stat : 21371 (xcsp_picat) R 21368 21371 21309 0 -1 4202496 116839 0 0 0 127205 743 0 0 20 0 1 0 246868671 2151301120 28001 33554432000 4194304 5849940 140724933107344 140724933106344 5385680 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 28942336 140724933113014 140724933113092 140724933113092 140724933115850 0
/proc/21371/statm: 525220 28001 760 405 0 522164 0
Current children cumulated CPU time: 1279.48 s
Current children cumulated vsize: 2100880 KiB
Current children cumulated memory: 112004 KiB
Child status: 0
Real time (s): 1279.64
CPU time (s): 1279.53
CPU user time (s): 1272.09
CPU system time (s): 7.44243
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 2129344
Max. memory (cumulated for all children) (KiB): 140488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1272.09
system time used= 7.44243
maximum resident set size= 140488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116947
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= 3
involuntary context switches= 1601
# summary of solver processes directly reported to runsolver:
# pid: 21371
# total CPU time (s): 1279.53
# total CPU user time (s): 1272.09
# total CPU system time (s): 7.44243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6999 second user time and 8.96377 second system time
The end