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 (8590 MiB free)
memory of node 1: 16384 MiB (11713 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303215-1534015912/watcher-4303215-1534015912 -o /tmp/evaluation-result-4303215-1534015912/solver-4303215-1534015912 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12842 --watchdog 2580 xcsp_picat HOME/instance-4303215-1534015912.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=17844, runsolver pid=17841
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 2.01 2.08 2.07 3/187 17845
/proc/meminfo: memFree=20777468/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2026040 memory=17100 CPUtime=0.1 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 1876 0 0 0 9 1 0 0 20 0 1 0 219154111 2074664960 4275 33554432000 4194304 5849708 140720563014384 140720563014384 139653647269767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 506510 4275 709 405 0 503455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026040 KiB
Current children cumulated memory: 17100 KiB
[startup+0.20963 s]*
/proc/loadavg: 2.01 2.08 2.07 3/187 17845
/proc/meminfo: memFree=20775296/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2027580 memory=18784 CPUtime=0.21 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 2456 0 0 0 20 1 0 0 20 0 1 0 219154111 2076241920 4696 33554432000 4194304 5849708 140720563014384 140720563014384 5392687 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 506895 4696 726 405 0 503840 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027580 KiB
Current children cumulated memory: 18784 KiB
[startup+0.308891 s]*
/proc/loadavg: 2.01 2.08 2.07 3/187 17845
/proc/meminfo: memFree=20774552/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2028900 memory=19744 CPUtime=0.31 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 2758 0 0 0 30 1 0 0 20 0 1 0 219154111 2077593600 4936 33554432000 4194304 5849708 140720563014384 140720563014384 5359131 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 507225 4936 729 405 0 504170 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2028900 KiB
Current children cumulated memory: 19744 KiB
[startup+0.700272 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 17845
/proc/meminfo: memFree=20774552/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2028660 memory=19820 CPUtime=0.69 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 2783 0 0 0 68 1 0 0 20 0 1 0 219154111 2077347840 4955 33554432000 4194304 5849708 140720563014384 140720563014384 4212035 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 507165 4955 729 405 0 504110 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2028660 KiB
Current children cumulated memory: 19820 KiB
[startup+1.50028 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 17845
/proc/meminfo: memFree=20774304/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2026160 memory=17612 CPUtime=1.49 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 3991 0 0 0 147 2 0 0 20 0 1 0 219154111 2074787840 4403 33554432000 4194304 5849708 140720563014384 140720563014384 5472437 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 506540 4403 749 405 0 503485 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2026160 KiB
Current children cumulated memory: 17612 KiB
[startup+3.10892 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 17845
/proc/meminfo: memFree=20774352/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2028920 memory=19988 CPUtime=3.1 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 5816 0 0 0 306 4 0 0 20 0 1 0 219154111 2077614080 4997 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 507230 4997 751 405 0 504175 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2028920 KiB
Current children cumulated memory: 19988 KiB
[startup+6.30028 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 17845
/proc/meminfo: memFree=20773348/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2032488 memory=23820 CPUtime=6.29 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 7916 0 0 0 623 6 0 0 20 0 1 0 219154111 2081267712 5955 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 508122 5955 751 405 0 505067 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2032488 KiB
Current children cumulated memory: 23820 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 17845
/proc/meminfo: memFree=20768392/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2033228 memory=24480 CPUtime=12.69 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 11369 0 0 0 1257 12 0 0 20 0 1 0 219154111 2082025472 6120 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 508307 6120 751 405 0 505252 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2033228 KiB
Current children cumulated memory: 24480 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 17845
/proc/meminfo: memFree=20767400/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2034552 memory=25760 CPUtime=25.48 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 18270 0 0 0 2525 23 0 0 20 0 1 0 219154111 2083381248 6440 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 508638 6440 751 405 0 505583 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2034552 KiB
Current children cumulated memory: 25760 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 17845
/proc/meminfo: memFree=20781424/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2038104 memory=29452 CPUtime=51.08 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 29576 0 0 0 5066 42 0 0 20 0 1 0 219154111 2087018496 7363 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 509526 7363 751 405 0 506471 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2038104 KiB
Current children cumulated memory: 29452 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 17846
/proc/meminfo: memFree=20760516/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2040588 memory=31920 CPUtime=102.27 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 49140 0 0 0 10151 76 0 0 20 0 1 0 219154111 2089562112 7980 33554432000 4194304 5849708 140720563014384 140720563013384 5437616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 510147 7980 751 405 0 507092 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2040588 KiB
Current children cumulated memory: 31920 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 17847
/proc/meminfo: memFree=20754364/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2042764 memory=32860 CPUtime=162.25 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 57742 0 0 0 16094 131 0 0 20 0 1 0 219154111 2091790336 8215 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 510691 8215 751 405 0 507636 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2042764 KiB
Current children cumulated memory: 32860 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 17848
/proc/meminfo: memFree=20743220/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2047212 memory=37136 CPUtime=222.23 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 62749 0 0 0 22051 172 0 0 20 0 1 0 219154111 2096345088 9284 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 511803 9284 751 405 0 508748 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 2047212 KiB
Current children cumulated memory: 37136 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 17849
/proc/meminfo: memFree=20745400/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2040008 memory=31392 CPUtime=282.22 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 68691 0 0 0 28000 222 0 0 20 0 1 0 219154111 2088968192 7848 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 510002 7848 751 405 0 506947 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 2040008 KiB
Current children cumulated memory: 31392 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 17851
/proc/meminfo: memFree=20719824/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2049928 memory=38924 CPUtime=342.22 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 71974 0 0 0 33950 272 0 0 20 0 1 0 219154111 2099126272 9731 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 512482 9731 751 405 0 509427 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 2049928 KiB
Current children cumulated memory: 38924 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17852
/proc/meminfo: memFree=20712216/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2054024 memory=44784 CPUtime=402.21 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 76095 0 0 0 39907 314 0 0 20 0 1 0 219154111 2103320576 11196 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 513506 11196 751 405 0 510451 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 2054024 KiB
Current children cumulated memory: 44784 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17853
/proc/meminfo: memFree=20710672/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2047084 memory=38544 CPUtime=462.2 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 86748 0 0 0 45866 354 0 0 20 0 1 0 219154111 2096214016 9636 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 511771 9636 751 405 0 508716 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2047084 KiB
Current children cumulated memory: 38544 KiB
################
# More data... #
################
Current children cumulated memory: 44472 KiB
[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/188 17882
/proc/meminfo: memFree=20705620/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2052888 memory=46936 CPUtime=1242.13 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 239298 0 0 0 123402 811 0 0 20 0 1 0 219154111 2102157312 11734 33554432000 4194304 5849708 140720563014384 140720563013384 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 513222 11734 751 405 0 510167 0
Current children cumulated CPU time: 1242.13 s
Current children cumulated vsize: 2052888 KiB
Current children cumulated memory: 46936 KiB
[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/188 17883
/proc/meminfo: memFree=20690212/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2061912 memory=56432 CPUtime=1302.13 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 245986 0 0 0 129375 838 0 0 20 0 1 0 219154111 2111397888 14108 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 515478 14108 751 405 0 512423 0
Current children cumulated CPU time: 1302.13 s
Current children cumulated vsize: 2061912 KiB
Current children cumulated memory: 56432 KiB
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 17884
/proc/meminfo: memFree=20678780/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2060740 memory=55400 CPUtime=1362.11 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 254303 0 0 0 135345 866 0 0 20 0 1 0 219154111 2110197760 13850 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 515185 13850 751 405 0 512130 0
Current children cumulated CPU time: 1362.11 s
Current children cumulated vsize: 2060740 KiB
Current children cumulated memory: 55400 KiB
[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 17886
/proc/meminfo: memFree=20662104/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2062668 memory=57244 CPUtime=1422.11 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 260694 0 0 0 141314 897 0 0 20 0 1 0 219154111 2112172032 14311 33554432000 4194304 5849708 140720563014384 140720563013384 5338993 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 515667 14311 751 405 0 512612 0
Current children cumulated CPU time: 1422.11 s
Current children cumulated vsize: 2062668 KiB
Current children cumulated memory: 57244 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 17887
/proc/meminfo: memFree=20690704/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2055240 memory=49904 CPUtime=1482.1 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 268814 0 0 0 147287 923 0 0 20 0 1 0 219154111 2104565760 12476 33554432000 4194304 5849708 140720563014384 140720563013384 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 513810 12476 751 405 0 510755 0
Current children cumulated CPU time: 1482.1 s
Current children cumulated vsize: 2055240 KiB
Current children cumulated memory: 49904 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 17888
/proc/meminfo: memFree=20692800/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2061388 memory=56052 CPUtime=1542.1 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 276749 0 0 0 153261 949 0 0 20 0 1 0 219154111 2110861312 14013 33554432000 4194304 5849708 140720563014384 140720563013384 5437627 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 515347 14013 751 405 0 512292 0
Current children cumulated CPU time: 1542.1 s
Current children cumulated vsize: 2061388 KiB
Current children cumulated memory: 56052 KiB
[startup+1597.31 s]
# the end of solver process 17844 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1587.37 s, system=9.73983 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1561.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17888
/proc/meminfo: memFree=20688212/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2057836 memory=52500 CPUtime=1561.4 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 278942 0 0 0 155183 957 0 0 20 0 1 0 219154111 2107224064 13125 33554432000 4194304 5849708 140720563014384 140720563013384 5437627 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 514459 13125 751 405 0 511404 0
Current children cumulated CPU time: 1561.4 s
Current children cumulated vsize: 2057836 KiB
Current children cumulated memory: 52500 KiB
[startup+1574.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17890
/proc/meminfo: memFree=20686968/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2052404 memory=46876 CPUtime=1574.2 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 280077 0 0 0 156457 963 0 0 20 0 1 0 219154111 2101661696 11719 33554432000 4194304 5849708 140720563014384 140720563013384 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 513101 11719 751 405 0 510046 0
Current children cumulated CPU time: 1574.2 s
Current children cumulated vsize: 2052404 KiB
Current children cumulated memory: 46876 KiB
[startup+1587.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17890
/proc/meminfo: memFree=20680364/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2066808 memory=61256 CPUtime=1586.99 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 281638 0 0 0 157731 968 0 0 20 0 1 0 219154111 2116411392 15314 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 516702 15314 751 405 0 513647 0
Current children cumulated CPU time: 1586.99 s
Current children cumulated vsize: 2066808 KiB
Current children cumulated memory: 61256 KiB
[startup+1593.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17890
/proc/meminfo: memFree=20658088/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2068108 memory=62576 CPUtime=1593.4 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 281963 0 0 0 158369 971 0 0 20 0 1 0 219154111 2117742592 15644 33554432000 4194304 5849708 140720563014384 140720563013384 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 517027 15644 751 405 0 513972 0
Current children cumulated CPU time: 1593.4 s
Current children cumulated vsize: 2068108 KiB
Current children cumulated memory: 62576 KiB
[startup+1595.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17890
/proc/meminfo: memFree=20706840/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2068108 memory=62576 CPUtime=1594.99 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 281963 0 0 0 158528 971 0 0 20 0 1 0 219154111 2117742592 15644 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 517027 15644 751 405 0 513972 0
Current children cumulated CPU time: 1594.99 s
Current children cumulated vsize: 2068108 KiB
Current children cumulated memory: 62576 KiB
[startup+1596 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 17890
/proc/meminfo: memFree=20704980/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2068108 memory=62576 CPUtime=1595.8 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 281963 0 0 0 158609 971 0 0 20 0 1 0 219154111 2117742592 15644 33554432000 4194304 5849708 140720563014384 140720563013384 5335584 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 517027 15644 751 405 0 513972 0
Current children cumulated CPU time: 1595.8 s
Current children cumulated vsize: 2068108 KiB
Current children cumulated memory: 62576 KiB
[startup+1596.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17890
/proc/meminfo: memFree=20704980/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2036692 memory=31356 CPUtime=1596.59 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 281996 0 0 0 158686 973 0 0 20 0 1 0 219154111 2085572608 7839 33554432000 4194304 5849708 140720563014384 140720563013384 139653647269767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 509173 7839 751 405 0 506118 0
Current children cumulated CPU time: 1596.59 s
Current children cumulated vsize: 2036692 KiB
Current children cumulated memory: 31356 KiB
[startup+1597.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17890
/proc/meminfo: memFree=20735864/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2036692 memory=31356 CPUtime=1596.99 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 281996 0 0 0 158726 973 0 0 20 0 1 0 219154111 2085572608 7839 33554432000 4194304 5849708 140720563014384 140720563012872 4212035 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 509173 7839 751 405 0 506118 0
Current children cumulated CPU time: 1596.99 s
Current children cumulated vsize: 2036692 KiB
Current children cumulated memory: 31356 KiB
[startup+1597.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17890
/proc/meminfo: memFree=20735864/32770624 swapFree=67108688/67108860
[pid=17844] ppid=17841 vsize=2036692 memory=31356 CPUtime=1597.09 cores=1,3,5,7
/proc/17844/stat : 17844 (xcsp_picat) R 17841 17844 12810 0 -1 4202496 281996 0 0 0 158736 973 0 0 20 0 1 0 219154111 2085572608 7839 33554432000 4194304 5849708 140720563014384 140720563012872 139653647269767 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 37576704 140720563020982 140720563021060 140720563021060 140720563023818 0
/proc/17844/statm: 509173 7839 751 405 0 506118 0
Current children cumulated CPU time: 1597.09 s
Current children cumulated vsize: 2036692 KiB
Current children cumulated memory: 31356 KiB
Child status: 0
Real time (s): 1597.31
CPU time (s): 1597.11
CPU user time (s): 1587.37
CPU system time (s): 9.73983
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 2074052
Max. memory (cumulated for all children) (KiB): 68544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1587.37
system time used= 9.73982
maximum resident set size= 68544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282016
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= 9
involuntary context switches= 1207
# summary of solver processes directly reported to runsolver:
# pid: 17844
# total CPU time (s): 1597.11
# total CPU user time (s): 1587.37
# total CPU system time (s): 9.73983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.5452 second user time and 11.2638 second system time
The end