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 (13037 MiB free)
memory of node 1: 16384 MiB (13563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309423-1534305847/watcher-4309423-1534305847 -o /tmp/evaluation-result-4309423-1534305847/solver-4309423-1534305847 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534292900-22507 --watchdog 2580 xcsp_picat HOME/instance-4309423-1534305847.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=24100, runsolver pid=24097
[startup+0.10086 s]*
/proc/loadavg: 1.99 2.00 2.04 3/187 24101
/proc/meminfo: memFree=27222760/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2027552 memory=18852 CPUtime=0.09 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 2449 0 0 0 9 0 0 0 20 0 1 0 248147888 2076213248 4713 33554432000 4194304 5849940 140728537267008 140728537265656 5365710 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 506888 4713 696 405 0 503832 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027552 KiB
Current children cumulated memory: 18852 KiB
[startup+0.209631 s]*
/proc/loadavg: 1.99 2.00 2.04 3/187 24101
/proc/meminfo: memFree=27222760/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2027552 memory=18852 CPUtime=0.2 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 2449 0 0 0 20 0 0 0 20 0 1 0 248147888 2076213248 4713 33554432000 4194304 5849940 140728537267008 140728537265656 5371193 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 506888 4713 696 405 0 503832 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027552 KiB
Current children cumulated memory: 18852 KiB
[startup+0.308726 s]*
/proc/loadavg: 1.99 2.00 2.04 3/187 24101
/proc/meminfo: memFree=27222760/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2027552 memory=18852 CPUtime=0.3 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 2449 0 0 0 30 0 0 0 20 0 1 0 248147888 2076213248 4713 33554432000 4194304 5849940 140728537267008 140728537265656 5392445 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 506888 4713 696 405 0 503832 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027552 KiB
Current children cumulated memory: 18852 KiB
[startup+0.700271 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 24101
/proc/meminfo: memFree=27222032/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2028776 memory=20008 CPUtime=0.68 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 2818 0 0 0 68 0 0 0 20 0 1 0 248147888 2077466624 5002 33554432000 4194304 5849940 140728537267008 140728537265656 5416891 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 507194 5002 719 405 0 504138 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2028776 KiB
Current children cumulated memory: 20008 KiB
[startup+1.50028 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 24101
/proc/meminfo: memFree=27252628/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2029880 memory=21228 CPUtime=1.48 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 3099 0 0 0 148 0 0 0 20 0 1 0 248147888 2078597120 5307 33554432000 4194304 5849940 140728537267008 140728537264552 4211600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 507470 5307 723 405 0 504414 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2029880 KiB
Current children cumulated memory: 21228 KiB
[startup+3.10927 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 24101
/proc/meminfo: memFree=27251220/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2030884 memory=22104 CPUtime=3.1 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 5067 0 0 0 309 1 0 0 20 0 1 0 248147888 2079625216 5526 33554432000 4194304 5849940 140728537267008 140728537265496 4209353 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 507721 5526 738 405 0 504665 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2030884 KiB
Current children cumulated memory: 22104 KiB
[startup+6.30027 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 24101
/proc/meminfo: memFree=27308000/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2031276 memory=22620 CPUtime=6.28 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 6648 0 0 0 625 3 0 0 20 0 1 0 248147888 2080026624 5655 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 507819 5655 738 405 0 504763 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2031276 KiB
Current children cumulated memory: 22620 KiB
[startup+12.7003 s]
/proc/loadavg: 1.91 1.98 2.03 3/187 24101
/proc/meminfo: memFree=27302792/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2038044 memory=29400 CPUtime=12.68 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 13354 0 0 0 1258 10 0 0 20 0 1 0 248147888 2086957056 7350 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 509511 7350 738 405 0 506455 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2038044 KiB
Current children cumulated memory: 29400 KiB
[startup+25.5003 s]
/proc/loadavg: 1.93 1.98 2.03 3/187 24101
/proc/meminfo: memFree=27217328/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2033320 memory=24600 CPUtime=25.49 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 18597 0 0 0 2527 22 0 0 20 0 1 0 248147888 2082119680 6150 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 508330 6150 738 405 0 505274 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2033320 KiB
Current children cumulated memory: 24600 KiB
[startup+51.1095 s]
/proc/loadavg: 1.96 1.99 2.03 3/187 24101
/proc/meminfo: memFree=27207084/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2042532 memory=33904 CPUtime=51.09 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 39177 0 0 0 5064 45 0 0 20 0 1 0 248147888 2091552768 8476 33554432000 4194304 5849940 140728537267008 140728537266168 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 510633 8476 738 405 0 507577 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2042532 KiB
Current children cumulated memory: 33904 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 24102
/proc/meminfo: memFree=27207708/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2044384 memory=35472 CPUtime=102.28 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 80760 0 0 0 10144 84 0 0 20 0 1 0 248147888 2093449216 8868 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 511096 8868 738 405 0 508040 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2044384 KiB
Current children cumulated memory: 35472 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 24103
/proc/meminfo: memFree=27214152/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2047624 memory=38896 CPUtime=162.28 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 116106 0 0 0 16099 129 0 0 20 0 1 0 248147888 2096766976 9724 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 511906 9724 738 405 0 508850 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2047624 KiB
Current children cumulated memory: 38896 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 24104
/proc/meminfo: memFree=27185372/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2064704 memory=56004 CPUtime=222.27 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 125168 0 0 0 22059 168 0 0 20 0 1 0 248147888 2114256896 14001 33554432000 4194304 5849940 140728537267008 140728537266008 5335712 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 516176 14001 738 405 0 513120 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2064704 KiB
Current children cumulated memory: 56004 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 24105
/proc/meminfo: memFree=27246948/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2093044 memory=84148 CPUtime=282.28 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 128584 0 0 0 28032 196 0 0 20 0 1 0 248147888 2143277056 21037 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 523261 21037 738 405 0 520205 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2093044 KiB
Current children cumulated memory: 84148 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 24106
/proc/meminfo: memFree=27202576/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2136548 memory=127704 CPUtime=342.28 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 151264 0 0 0 34008 220 0 0 20 0 1 0 248147888 2187825152 31926 33554432000 4194304 5849940 140728537267008 140728537266008 5438459 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 534137 31926 738 405 0 531081 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2136548 KiB
Current children cumulated memory: 127704 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 24115
/proc/meminfo: memFree=27142924/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2106400 memory=97724 CPUtime=402.27 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 155255 0 0 0 39990 237 0 0 20 0 1 0 248147888 2156953600 24431 33554432000 4194304 5849940 140728537267008 140728537265880 5395314 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 526600 24431 738 405 0 523544 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2106400 KiB
Current children cumulated memory: 97724 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 24116
/proc/meminfo: memFree=27089908/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2162860 memory=154332 CPUtime=462.27 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 174074 0 0 0 45969 258 0 0 20 0 1 0 248147888 2214768640 38583 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 540715 38583 738 405 0 537659 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2162860 KiB
Current children cumulated memory: 154332 KiB
################
# More data... #
################
Current children cumulated memory: 66432 KiB
[startup+822.3 s]
/proc/loadavg: 2.47 2.12 2.07 3/187 24185
/proc/meminfo: memFree=28578700/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2147160 memory=141404 CPUtime=822.24 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 232138 0 0 0 81774 450 0 0 20 0 1 0 248147888 2198691840 35351 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 536790 35351 738 405 0 533734 0
Current children cumulated CPU time: 822.24 s
Current children cumulated vsize: 2147160 KiB
Current children cumulated memory: 141404 KiB
[startup+882.3 s]
/proc/loadavg: 2.24 2.11 2.07 3/187 24186
/proc/meminfo: memFree=28559948/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2170000 memory=164440 CPUtime=882.24 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 232762 0 0 0 87757 467 0 0 20 0 1 0 248147888 2222080000 41110 33554432000 4194304 5849940 140728537267008 140728537266168 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 542500 41110 738 405 0 539444 0
Current children cumulated CPU time: 882.24 s
Current children cumulated vsize: 2170000 KiB
Current children cumulated memory: 164440 KiB
[startup+942.3 s]
/proc/loadavg: 2.09 2.09 2.06 3/187 24187
/proc/meminfo: memFree=28556548/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2167876 memory=162356 CPUtime=942.24 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 244077 0 0 0 93736 488 0 0 20 0 1 0 248147888 2219905024 40589 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 541969 40589 738 405 0 538913 0
Current children cumulated CPU time: 942.24 s
Current children cumulated vsize: 2167876 KiB
Current children cumulated memory: 162356 KiB
[startup+1002.3 s]
/proc/loadavg: 2.03 2.08 2.06 3/188 24196
/proc/meminfo: memFree=28481232/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2253676 memory=248156 CPUtime=1002.24 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 247447 0 0 0 99714 510 0 0 20 0 1 0 248147888 2307764224 62039 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 563419 62039 738 405 0 560363 0
Current children cumulated CPU time: 1002.24 s
Current children cumulated vsize: 2253676 KiB
Current children cumulated memory: 248156 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/188 24197
/proc/meminfo: memFree=28393592/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2283364 memory=277612 CPUtime=1062.23 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 265373 0 0 0 105701 522 0 0 20 0 1 0 248147888 2338164736 69403 33554432000 4194304 5849940 140728537267008 140728537266008 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 570841 69403 738 405 0 567785 0
Current children cumulated CPU time: 1062.23 s
Current children cumulated vsize: 2283364 KiB
Current children cumulated memory: 277612 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 24198
/proc/meminfo: memFree=28534372/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2179164 memory=173380 CPUtime=1122.23 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 273436 0 0 0 111678 545 0 0 20 0 1 0 248147888 2231463936 43345 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 544791 43345 738 405 0 541735 0
Current children cumulated CPU time: 1122.23 s
Current children cumulated vsize: 2179164 KiB
Current children cumulated memory: 173380 KiB
[startup+1175.97 s]
# the end of solver process 24100 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1170.13 s, system=5.78485 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 24198
/proc/meminfo: memFree=28525624/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2185392 memory=179824 CPUtime=1126.34 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 274635 0 0 0 112087 547 0 0 20 0 1 0 248147888 2237841408 44956 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 546348 44956 738 405 0 543292 0
Current children cumulated CPU time: 1126.34 s
Current children cumulated vsize: 2185392 KiB
Current children cumulated memory: 179824 KiB
[startup+1152 s]*
/proc/loadavg: 2.00 2.05 2.05 3/188 24199
/proc/meminfo: memFree=28523400/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2172400 memory=166628 CPUtime=1151.95 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 287807 0 0 0 114631 564 0 0 20 0 1 0 248147888 2224537600 41657 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 543100 41657 738 405 0 540044 0
Current children cumulated CPU time: 1151.95 s
Current children cumulated vsize: 2172400 KiB
Current children cumulated memory: 166628 KiB
[startup+1164.8 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24199
/proc/meminfo: memFree=28504608/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2179460 memory=173940 CPUtime=1164.73 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 291808 0 0 0 115902 571 0 0 20 0 1 0 248147888 2231767040 43485 33554432000 4194304 5849940 140728537267008 140728537266168 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 544865 43485 738 405 0 541809 0
Current children cumulated CPU time: 1164.73 s
Current children cumulated vsize: 2179460 KiB
Current children cumulated memory: 173940 KiB
[startup+1171.2 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24199
/proc/meminfo: memFree=28475632/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2187652 memory=181916 CPUtime=1171.13 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 293868 0 0 0 116538 575 0 0 20 0 1 0 248147888 2240155648 45479 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 546913 45479 738 405 0 543857 0
Current children cumulated CPU time: 1171.13 s
Current children cumulated vsize: 2187652 KiB
Current children cumulated memory: 181916 KiB
[startup+1174.4 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24199
/proc/meminfo: memFree=28521160/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2187652 memory=181916 CPUtime=1174.33 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 294383 0 0 0 116857 576 0 0 20 0 1 0 248147888 2240155648 45479 33554432000 4194304 5849940 140728537267008 140728537266008 5438047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 546913 45479 738 405 0 543857 0
Current children cumulated CPU time: 1174.33 s
Current children cumulated vsize: 2187652 KiB
Current children cumulated memory: 181916 KiB
[startup+1175.2 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24199
/proc/meminfo: memFree=28521408/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2187652 memory=181916 CPUtime=1175.14 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 294383 0 0 0 116937 577 0 0 20 0 1 0 248147888 2240155648 45479 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 546913 45479 738 405 0 543857 0
Current children cumulated CPU time: 1175.14 s
Current children cumulated vsize: 2187652 KiB
Current children cumulated memory: 181916 KiB
[startup+1175.6 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24199
/proc/meminfo: memFree=28521408/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2187652 memory=181916 CPUtime=1175.54 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 294383 0 0 0 116977 577 0 0 20 0 1 0 248147888 2240155648 45479 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 546913 45479 738 405 0 543857 0
Current children cumulated CPU time: 1175.54 s
Current children cumulated vsize: 2187652 KiB
Current children cumulated memory: 181916 KiB
[startup+1175.8 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24199
/proc/meminfo: memFree=28521408/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2187652 memory=181916 CPUtime=1175.73 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 294383 0 0 0 116996 577 0 0 20 0 1 0 248147888 2240155648 45479 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 546913 45479 738 405 0 543857 0
Current children cumulated CPU time: 1175.73 s
Current children cumulated vsize: 2187652 KiB
Current children cumulated memory: 181916 KiB
[startup+1175.9 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24199
/proc/meminfo: memFree=28521408/32770624 swapFree=67108796/67108860
[pid=24100] ppid=24097 vsize=2187652 memory=181916 CPUtime=1175.83 cores=1,3,5,7
/proc/24100/stat : 24100 (xcsp_picat) R 24097 24100 22475 0 -1 4202496 294383 0 0 0 117006 577 0 0 20 0 1 0 248147888 2240155648 45479 33554432000 4194304 5849940 140728537267008 140728537266008 140623756377991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 28135424 140728537273526 140728537273604 140728537273604 140728537276362 0
/proc/24100/statm: 546913 45479 738 405 0 543857 0
Current children cumulated CPU time: 1175.83 s
Current children cumulated vsize: 2187652 KiB
Current children cumulated memory: 181916 KiB
Child status: 0
Real time (s): 1175.97
CPU time (s): 1175.91
CPU user time (s): 1170.13
CPU system time (s): 5.78485
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 2283364
Max. memory (cumulated for all children) (KiB): 277844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1170.13
system time used= 5.78485
maximum resident set size= 277844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294423
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= 30
involuntary context switches= 689
# summary of solver processes directly reported to runsolver:
# pid: 24100
# total CPU time (s): 1175.91
# total CPU user time (s): 1170.13
# total CPU system time (s): 5.78485
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.38554 second user time and 8.52694 second system time
The end