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 (2990 MiB free)
memory of node 1: 16384 MiB (3303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303200-1534021271/watcher-4303200-1534021271 -o /tmp/evaluation-result-4303200-1534021271/solver-4303200-1534021271 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1533990783-10865 --watchdog 2580 xcsp_picat HOME/instance-4303200-1534021271.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
solver pid=14792, runsolver pid=14789
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6415092/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2025744 memory=32840 CPUtime=0.1 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 1715 0 0 0 10 0 0 0 20 0 1 0 219690287 2074361856 8210 33554432000 4194304 5849708 140725909896992 140725909896296 4488791 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 506436 8210 649 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32840 KiB
[startup+0.209774 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6404728/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2025884 memory=43592 CPUtime=0.21 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 1856 0 0 0 21 0 0 0 20 0 1 0 219690287 2074505216 10898 33554432000 4194304 5849708 140725909896992 140725909896296 140365126884158 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 506471 10898 714 405 0 503416 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025884 KiB
Current children cumulated memory: 43592 KiB
[startup+0.309436 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6404728/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2025852 memory=43648 CPUtime=0.3 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 1862 0 0 0 30 0 0 0 20 0 1 0 219690287 2074472448 10912 33554432000 4194304 5849708 140725909896992 140725909896296 5606203 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 506463 10912 717 405 0 503408 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025852 KiB
Current children cumulated memory: 43648 KiB
[startup+0.700229 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6404408/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2025820 memory=43676 CPUtime=0.69 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 1873 0 0 0 69 0 0 0 20 0 1 0 219690287 2074439680 10919 33554432000 4194304 5849708 140725909896992 140725909896296 5606238 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 506455 10919 717 405 0 503400 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025820 KiB
Current children cumulated memory: 43676 KiB
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6404408/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2025852 memory=43712 CPUtime=1.49 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 1880 0 0 0 149 0 0 0 20 0 1 0 219690287 2074472448 10928 33554432000 4194304 5849708 140725909896992 140725909896088 5606245 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 506463 10928 718 405 0 503408 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025852 KiB
Current children cumulated memory: 43712 KiB
[startup+3.10935 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6397720/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2032168 memory=50176 CPUtime=3.1 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 4354 0 0 0 309 1 0 0 20 0 1 0 219690287 2080940032 12544 33554432000 4194304 5849708 140725909896992 140725909895480 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 508042 12544 747 405 0 504987 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2032168 KiB
Current children cumulated memory: 50176 KiB
[startup+6.30022 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6395736/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2034168 memory=51976 CPUtime=6.29 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 6256 0 0 0 623 6 0 0 20 0 1 0 219690287 2082988032 12994 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 508542 12994 751 405 0 505487 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2034168 KiB
Current children cumulated memory: 51976 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6442716/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2036040 memory=53984 CPUtime=12.69 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 13633 0 0 0 1257 12 0 0 20 0 1 0 219690287 2084904960 13496 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 509010 13496 751 405 0 505955 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2036040 KiB
Current children cumulated memory: 53984 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6469720/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2034592 memory=52456 CPUtime=25.49 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 27551 0 0 0 2528 21 0 0 20 0 1 0 219690287 2083422208 13114 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 508648 13114 751 405 0 505593 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2034592 KiB
Current children cumulated memory: 52456 KiB
[startup+51.1093 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 14793
/proc/meminfo: memFree=6407940/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2035888 memory=53508 CPUtime=51.1 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 38098 0 0 0 5070 40 0 0 20 0 1 0 219690287 2084749312 13377 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 508972 13377 760 405 0 505917 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2035888 KiB
Current children cumulated memory: 53508 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14794
/proc/meminfo: memFree=6401952/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2038880 memory=56828 CPUtime=102.29 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 50314 0 0 0 10155 74 0 0 20 0 1 0 219690287 2087813120 14207 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 509720 14207 760 405 0 506665 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2038880 KiB
Current children cumulated memory: 56828 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14795
/proc/meminfo: memFree=6306724/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2076384 memory=94216 CPUtime=162.29 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 58662 0 0 0 16121 108 0 0 20 0 1 0 219690287 2126217216 23554 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 519096 23554 760 405 0 516041 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2076384 KiB
Current children cumulated memory: 94216 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14796
/proc/meminfo: memFree=6242924/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2129504 memory=143100 CPUtime=222.3 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 61130 0 0 0 22103 127 0 0 20 0 1 0 219690287 2180612096 35775 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 532376 35775 760 405 0 529321 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2129504 KiB
Current children cumulated memory: 143100 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14797
/proc/meminfo: memFree=6223540/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2048724 memory=66796 CPUtime=282.29 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 66563 0 0 0 28065 164 0 0 20 0 1 0 219690287 2097893376 16699 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 512181 16699 760 405 0 509126 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2048724 KiB
Current children cumulated memory: 66796 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 14798
/proc/meminfo: memFree=6377316/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2037736 memory=55612 CPUtime=342.3 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 69544 0 0 0 34034 196 0 0 20 0 1 0 219690287 2086641664 13903 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 509434 13903 760 405 0 506379 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 55612 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 14799
/proc/meminfo: memFree=6326248/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2076456 memory=94400 CPUtime=402.3 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 77386 0 0 0 40001 229 0 0 20 0 1 0 219690287 2126290944 23600 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 519114 23600 760 405 0 516059 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2076456 KiB
Current children cumulated memory: 94400 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 14800
/proc/meminfo: memFree=6182812/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2105552 memory=123496 CPUtime=462.3 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 79208 0 0 0 45982 248 0 0 20 0 1 0 219690287 2156085248 30874 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 526388 30874 760 405 0 523333 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2105552 KiB
Current children cumulated memory: 123496 KiB
################
# More data... #
################
Current children cumulated memory: 133860 KiB
[startup+882.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 14817
/proc/meminfo: memFree=5982476/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2134288 memory=152140 CPUtime=882.31 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 118838 0 0 0 87811 420 0 0 20 0 1 0 219690287 2185510912 38035 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 533572 38035 760 405 0 530517 0
Current children cumulated CPU time: 882.31 s
Current children cumulated vsize: 2134288 KiB
Current children cumulated memory: 152140 KiB
[startup+942.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 14818
/proc/meminfo: memFree=6197680/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2038504 memory=56576 CPUtime=942.32 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 128652 0 0 0 93796 436 0 0 20 0 1 0 219690287 2087428096 14144 33554432000 4194304 5849708 140725909896992 140725909895992 5606238 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 509626 14144 760 405 0 506571 0
Current children cumulated CPU time: 942.32 s
Current children cumulated vsize: 2038504 KiB
Current children cumulated memory: 56576 KiB
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 14819
/proc/meminfo: memFree=6124784/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2078144 memory=96068 CPUtime=1002.32 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 131736 0 0 0 99752 480 0 0 20 0 1 0 219690287 2128019456 24017 33554432000 4194304 5849708 140725909896992 140725909896152 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 519536 24017 760 405 0 516481 0
Current children cumulated CPU time: 1002.32 s
Current children cumulated vsize: 2078144 KiB
Current children cumulated memory: 96068 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 14820
/proc/meminfo: memFree=6078476/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2107708 memory=118712 CPUtime=1062.32 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 137375 0 0 0 105730 502 0 0 20 0 1 0 219690287 2158292992 29678 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 526927 29678 760 405 0 523872 0
Current children cumulated CPU time: 1062.32 s
Current children cumulated vsize: 2107708 KiB
Current children cumulated memory: 118712 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 14821
/proc/meminfo: memFree=6054200/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2137804 memory=142940 CPUtime=1122.32 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 139639 0 0 0 111711 521 0 0 20 0 1 0 219690287 2189111296 35735 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 534451 35735 760 405 0 531396 0
Current children cumulated CPU time: 1122.32 s
Current children cumulated vsize: 2137804 KiB
Current children cumulated memory: 142940 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14830
/proc/meminfo: memFree=6035196/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2154188 memory=161520 CPUtime=1182.32 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 145807 0 0 0 117694 538 0 0 20 0 1 0 219690287 2205888512 40380 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 538547 40380 760 405 0 535492 0
Current children cumulated CPU time: 1182.32 s
Current children cumulated vsize: 2154188 KiB
Current children cumulated memory: 161520 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14831
/proc/meminfo: memFree=6038472/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2055940 memory=73800 CPUtime=1242.33 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 148951 0 0 0 123654 579 0 0 20 0 1 0 219690287 2105282560 18450 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 513985 18450 760 405 0 510930 0
Current children cumulated CPU time: 1242.33 s
Current children cumulated vsize: 2055940 KiB
Current children cumulated memory: 73800 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14832
/proc/meminfo: memFree=6002856/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2091976 memory=109692 CPUtime=1302.33 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 156049 0 0 0 129630 603 0 0 20 0 1 0 219690287 2142183424 27423 33554432000 4194304 5849708 140725909896992 140725909895864 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 522994 27423 760 405 0 519939 0
Current children cumulated CPU time: 1302.33 s
Current children cumulated vsize: 2091976 KiB
Current children cumulated memory: 109692 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14833
/proc/meminfo: memFree=6025704/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2091976 memory=110748 CPUtime=1362.32 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 157052 0 0 0 135608 624 0 0 20 0 1 0 219690287 2142183424 27687 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 522994 27687 760 405 0 519939 0
Current children cumulated CPU time: 1362.32 s
Current children cumulated vsize: 2091976 KiB
Current children cumulated memory: 110748 KiB
[startup+1372.07 s]
# the end of solver process 14792 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1365.82 s, system=6.28517 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1363.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14833
/proc/meminfo: memFree=6023656/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2091976 memory=112792 CPUtime=1363.22 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 157052 0 0 0 135697 625 0 0 20 0 1 0 219690287 2142183424 28198 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 522994 28198 760 405 0 519939 0
Current children cumulated CPU time: 1363.22 s
Current children cumulated vsize: 2091976 KiB
Current children cumulated memory: 112792 KiB
[startup+1366.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14833
/proc/meminfo: memFree=6023764/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2091976 memory=112792 CPUtime=1366.42 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 157052 0 0 0 136016 626 0 0 20 0 1 0 219690287 2142183424 28198 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 522994 28198 760 405 0 519939 0
Current children cumulated CPU time: 1366.42 s
Current children cumulated vsize: 2091976 KiB
Current children cumulated memory: 112792 KiB
[startup+1369.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14833
/proc/meminfo: memFree=6023764/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2091976 memory=112792 CPUtime=1369.62 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 157052 0 0 0 136335 627 0 0 20 0 1 0 219690287 2142183424 28198 33554432000 4194304 5849708 140725909896992 140725909895992 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 522994 28198 760 405 0 519939 0
Current children cumulated CPU time: 1369.62 s
Current children cumulated vsize: 2091976 KiB
Current children cumulated memory: 112792 KiB
[startup+1371.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14833
/proc/meminfo: memFree=6023764/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2091976 memory=112792 CPUtime=1371.22 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 157052 0 0 0 136495 627 0 0 20 0 1 0 219690287 2142183424 28198 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 522994 28198 760 405 0 519939 0
Current children cumulated CPU time: 1371.22 s
Current children cumulated vsize: 2091976 KiB
Current children cumulated memory: 112792 KiB
[startup+1371.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14833
/proc/meminfo: memFree=6023764/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2091976 memory=112792 CPUtime=1371.62 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 157052 0 0 0 136534 628 0 0 20 0 1 0 219690287 2142183424 28198 33554432000 4194304 5849708 140725909896992 140725909895992 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 522994 28198 760 405 0 519939 0
Current children cumulated CPU time: 1371.62 s
Current children cumulated vsize: 2091976 KiB
Current children cumulated memory: 112792 KiB
[startup+1372 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 14833
/proc/meminfo: memFree=6023764/32770624 swapFree=67108404/67108860
[pid=14792] ppid=14789 vsize=2091976 memory=112792 CPUtime=1372.03 cores=1,3,5,7
/proc/14792/stat : 14792 (xcsp_picat) R 14789 14792 10833 0 -1 4202496 157052 0 0 0 136575 628 0 0 20 0 1 0 219690287 2142183424 28198 33554432000 4194304 5849708 140725909896992 140725909895992 140365127348103 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 29949952 140725909898422 140725909898500 140725909898500 140725909901258 0
/proc/14792/statm: 522994 28198 760 405 0 519939 0
Current children cumulated CPU time: 1372.03 s
Current children cumulated vsize: 2091976 KiB
Current children cumulated memory: 112792 KiB
Child status: 0
Real time (s): 1372.07
CPU time (s): 1372.1
CPU user time (s): 1365.82
CPU system time (s): 6.28517
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2154188
Max. memory (cumulated for all children) (KiB): 166540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1365.82
system time used= 6.28517
maximum resident set size= 166540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157136
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= 11
involuntary context switches= 614
# summary of solver processes directly reported to runsolver:
# pid: 14792
# total CPU time (s): 1372.1
# total CPU user time (s): 1365.82
# total CPU system time (s): 6.28517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76168 second user time and 9.33059 second system time
The end