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 (9333 MiB free)
memory of node 1: 16384 MiB (11927 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395473-1568350822/watcher-4395473-1568350822 -o /tmp/evaluation-result-4395473-1568350822/solver-4395473-1568350822 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568337054-3911 --watchdog 2560 xcsp_picat HOME/instance-4395473-1568350822.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=7168, runsolver pid=7165
Current StackSize limit: 8192 KiB
[startup+0.100441 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7169
/proc/meminfo: memFree=21750352/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=2031716 memory=24684 CPUtime=0.1 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 1246 0 0 0 10 0 0 0 20 0 1 0 410997179 2080477184 6171 33554432000 4194304 5870510 140725774819040 140725774818344 140191622753280 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 507929 6171 845 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24684 KiB
[startup+0.20965 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7169
/proc/meminfo: memFree=21742104/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=2031716 memory=30828 CPUtime=0.2 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 1249 0 0 0 20 0 0 0 20 0 1 0 410997179 2080477184 7707 33554432000 4194304 5870510 140725774819040 140725774818344 4461503 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 507929 7707 845 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30828 KiB
[startup+0.309535 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7169
/proc/meminfo: memFree=21738008/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=2031716 memory=34924 CPUtime=0.3 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 1251 0 0 0 30 0 0 0 20 0 1 0 410997179 2080477184 8731 33554432000 4194304 5870510 140725774819040 140725774818344 140191622753280 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 507929 8731 845 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 34924 KiB
[startup+0.700271 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7169
/proc/meminfo: memFree=21725348/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=2031716 memory=57452 CPUtime=0.68 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 1262 0 0 0 68 0 0 0 20 0 1 0 410997179 2080477184 14363 33554432000 4194304 5870510 140725774819040 140725774818344 140191622753280 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 507929 14363 845 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 57452 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7169
/proc/meminfo: memFree=21722468/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=2031716 memory=102632 CPUtime=1.48 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 1284 0 0 0 147 1 0 0 20 0 1 0 410997179 2080477184 25658 33554432000 4194304 5870510 140725774819040 140725774818344 4762182 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 507929 25658 873 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 102632 KiB
[startup+3.10956 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7169
/proc/meminfo: memFree=21603696/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=2031716 memory=192744 CPUtime=3.1 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 1353 0 0 0 307 3 0 0 20 0 1 0 410997179 2080477184 48186 33554432000 4194304 5870510 140725774819040 140725774818344 4826448 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 507929 48186 873 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 192744 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7171
/proc/meminfo: memFree=21424004/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=2031716 memory=368876 CPUtime=6.28 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 1469 0 0 0 619 9 0 0 20 0 1 0 410997179 2080477184 92219 33554432000 4194304 5870510 140725774819040 140725774818344 4475201 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 507929 92219 874 410 0 503402 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 368876 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7172
/proc/meminfo: memFree=21096008/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=2031716 memory=727276 CPUtime=12.68 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 1653 0 0 0 1253 15 0 0 20 0 1 0 410997179 2080477184 181819 33554432000 4194304 5870510 140725774819040 140725774818344 4351416 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 507929 181819 874 410 0 503402 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 727276 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7180
/proc/meminfo: memFree=19249736/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=3254736 memory=2328752 CPUtime=25.48 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 6781 0 0 0 2498 50 0 0 20 0 1 0 410997179 3332849664 582188 33554432000 4194304 5870510 140725774819040 140725774818360 5246343 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 813684 582188 912 410 0 809157 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 3254736 KiB
Current children cumulated memory: 2328752 KiB
[startup+51.1099 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7182
/proc/meminfo: memFree=18626992/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=3264324 memory=3143208 CPUtime=51.09 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 11818 0 0 0 5008 101 0 0 20 0 1 0 410997179 3342667776 785802 33554432000 4194304 5870510 140725774819040 140725774818360 5246343 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 816081 785802 912 410 0 811554 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 3264324 KiB
Current children cumulated memory: 3143208 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/201 7269
/proc/meminfo: memFree=15489076/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=3308416 memory=3205728 CPUtime=102.27 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 21237 0 0 0 9989 238 0 0 20 0 1 0 410997179 3387817984 801432 33554432000 4194304 5870510 140725774819040 140725774818360 5245088 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 827104 801432 912 410 0 822577 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 3308416 KiB
Current children cumulated memory: 3205728 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7273
/proc/meminfo: memFree=14470228/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=3333224 memory=3241304 CPUtime=162.27 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 46226 0 0 0 15654 573 0 0 20 0 1 0 410997179 3413221376 810326 33554432000 4194304 5870510 140725774819040 140725774818008 5355029 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 833306 810326 912 410 0 828779 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 3333224 KiB
Current children cumulated memory: 3241304 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7277
/proc/meminfo: memFree=15319424/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=3351152 memory=2265288 CPUtime=222.27 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 76018 0 0 0 21308 919 0 0 20 0 1 0 410997179 3431579648 566322 33554432000 4194304 5870510 140725774819040 140725774818008 5245855 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 837788 566322 912 410 0 833261 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 3351152 KiB
Current children cumulated memory: 2265288 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7283
/proc/meminfo: memFree=16466680/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=3364340 memory=2493068 CPUtime=282.28 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 99212 0 0 0 27050 1178 0 0 20 0 1 0 410997179 3445084160 623267 33554432000 4194304 5870510 140725774819040 140725774818008 5246415 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 841085 623267 912 410 0 836558 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 3364340 KiB
Current children cumulated memory: 2493068 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7287
/proc/meminfo: memFree=15335908/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=3371860 memory=2543596 CPUtime=342.27 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 121800 0 0 0 32791 1436 0 0 20 0 1 0 410997179 3452784640 635899 33554432000 4194304 5870510 140725774819040 140725774818360 5245088 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 842965 635899 912 410 0 838438 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 3371860 KiB
Current children cumulated memory: 2543596 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7291
/proc/meminfo: memFree=15669492/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=3379988 memory=2377276 CPUtime=402.28 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 147951 0 0 0 38525 1703 0 0 20 0 1 0 410997179 3461107712 594319 33554432000 4194304 5870510 140725774819040 140725774818008 5246250 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 844997 594319 912 410 0 840470 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 3379988 KiB
Current children cumulated memory: 2377276 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7297
/proc/meminfo: memFree=16061176/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=3384616 memory=2478672 CPUtime=462.27 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 166275 0 0 0 44350 1877 0 0 20 0 1 0 410997179 3465846784 619668 33554432000 4194304 5870510 140725774819040 140725774818360 5246232 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 846154 619668 912 410 0 841627 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 3384616 KiB
Current children cumulated memory: 2478672 KiB
################
# More data... #
################
/proc/7168/statm: 1895281 1430166 996 410 0 1890754 0
Current children cumulated CPU time: 1602.29 s
Current children cumulated vsize: 7581124 KiB
Current children cumulated memory: 5720664 KiB
[startup+1662.3 s]
/proc/loadavg: 1.88 1.97 2.03 3/199 7407
/proc/meminfo: memFree=6342584/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7582780 memory=5721860 CPUtime=1662.3 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 668927 0 0 0 163416 2814 0 0 20 0 1 0 410997179 7764766720 1430465 33554432000 4194304 5870510 140725774819040 140725774817432 5261297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1895695 1430465 996 410 0 1891168 0
Current children cumulated CPU time: 1662.3 s
Current children cumulated vsize: 7582780 KiB
Current children cumulated memory: 5721860 KiB
[startup+1722.3 s]
/proc/loadavg: 1.83 1.94 2.02 3/199 7414
/proc/meminfo: memFree=3528952/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7582780 memory=5721928 CPUtime=1722.29 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 690807 0 0 0 169413 2816 0 0 20 0 1 0 410997179 7764766720 1430482 33554432000 4194304 5870510 140725774819040 140725774817432 5321686 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1895695 1430482 996 410 0 1891168 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 7582780 KiB
Current children cumulated memory: 5721928 KiB
[startup+1782.3 s]
/proc/loadavg: 1.94 1.95 2.02 3/199 7418
/proc/meminfo: memFree=8719668/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7582780 memory=5721996 CPUtime=1782.3 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 709689 0 0 0 175412 2818 0 0 20 0 1 0 410997179 7764766720 1430499 33554432000 4194304 5870510 140725774819040 140725774817432 5261297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1895695 1430499 996 410 0 1891168 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 7582780 KiB
Current children cumulated memory: 5721996 KiB
[startup+1842.3 s]
/proc/loadavg: 1.98 1.96 2.02 3/199 7429
/proc/meminfo: memFree=8428928/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7582780 memory=5722068 CPUtime=1842.3 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 734458 0 0 0 181410 2820 0 0 20 0 1 0 410997179 7764766720 1430517 33554432000 4194304 5870510 140725774819040 140725774817432 5261297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1895695 1430517 996 410 0 1891168 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 7582780 KiB
Current children cumulated memory: 5722068 KiB
[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 2.02 3/199 7435
/proc/meminfo: memFree=8196828/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7582780 memory=5722140 CPUtime=1902.3 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 756224 0 0 0 187408 2822 0 0 20 0 1 0 410997179 7764766720 1430535 33554432000 4194304 5870510 140725774819040 140725774817432 5261297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1895695 1430535 996 410 0 1891168 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 7582780 KiB
Current children cumulated memory: 5722140 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.97 2.02 3/199 7439
/proc/meminfo: memFree=8053052/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7582780 memory=5722240 CPUtime=1962.3 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 781636 0 0 0 193406 2824 0 0 20 0 1 0 410997179 7764766720 1430560 33554432000 4194304 5870510 140725774819040 140725774817432 5261200 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1895695 1430560 996 410 0 1891168 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 7582780 KiB
Current children cumulated memory: 5722240 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.98 2.02 3/199 7443
/proc/meminfo: memFree=7838232/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7582924 memory=5722432 CPUtime=2022.3 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 804116 0 0 0 199404 2826 0 0 20 0 1 0 410997179 7764914176 1430608 33554432000 4194304 5870510 140725774819040 140725774817368 5261287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1895731 1430608 996 410 0 1891204 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 7582924 KiB
Current children cumulated memory: 5722432 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.98 2.02 3/199 7449
/proc/meminfo: memFree=7688668/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7585592 memory=5724336 CPUtime=2082.3 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 826408 0 0 0 205402 2828 0 0 20 0 1 0 410997179 7767646208 1431084 33554432000 4194304 5870510 140725774819040 140725774817368 5261279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1896398 1431084 996 410 0 1891871 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 7585592 KiB
Current children cumulated memory: 5724336 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 7453
/proc/meminfo: memFree=7545616/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7585592 memory=5724404 CPUtime=2142.3 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 849088 0 0 0 211400 2830 0 0 20 0 1 0 410997179 7767646208 1431101 33554432000 4194304 5870510 140725774819040 140725774817432 5321704 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1896398 1431101 996 410 0 1891871 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 7585592 KiB
Current children cumulated memory: 5724404 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 7457
/proc/meminfo: memFree=7443844/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7585592 memory=5724468 CPUtime=2202.31 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 871178 0 0 0 217399 2832 0 0 20 0 1 0 410997179 7767646208 1431117 33554432000 4194304 5870510 140725774819040 140725774817432 5261200 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1896398 1431117 996 410 0 1891871 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 7585592 KiB
Current children cumulated memory: 5724468 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 7463
/proc/meminfo: memFree=7373916/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7585592 memory=5724536 CPUtime=2262.31 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 892968 0 0 0 223397 2834 0 0 20 0 1 0 410997179 7767646208 1431134 33554432000 4194304 5870510 140725774819040 140725774817432 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1896398 1431134 996 410 0 1891871 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 7585592 KiB
Current children cumulated memory: 5724536 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 7467
/proc/meminfo: memFree=7339376/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7585592 memory=5724612 CPUtime=2322.31 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 917604 0 0 0 229395 2836 0 0 20 0 1 0 410997179 7767646208 1431153 33554432000 4194304 5870510 140725774819040 140725774817432 5321694 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1896398 1431153 996 410 0 1891871 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 7585592 KiB
Current children cumulated memory: 5724612 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 7471
/proc/meminfo: memFree=7372880/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7585592 memory=5724688 CPUtime=2382.3 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 943944 0 0 0 235393 2837 0 0 20 0 1 0 410997179 7767646208 1431172 33554432000 4194304 5870510 140725774819040 140725774817432 5261272 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1896398 1431172 996 410 0 1891871 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 7585592 KiB
Current children cumulated memory: 5724688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 1.99 2.02 3/199 7474
/proc/meminfo: memFree=6249904/32770624 swapFree=66939828/67108860
[pid=7168] ppid=7165 vsize=7585592 memory=5724708 CPUtime=2400.02 cores=0,2,4,6
/proc/7168/stat : 7168 (xcsp_picat) R 7165 7168 3880 0 -1 4202496 947051 0 0 0 237164 2838 0 0 20 0 1 0 410997179 7767646208 1431177 33554432000 4194304 5870510 140725774819040 140725774817432 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 15417344 140725774820383 140725774820461 140725774820461 140725774823370 0
/proc/7168/statm: 1896398 1431177 996 410 0 1891871 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 7585592 KiB
Current children cumulated memory: 5724708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.08 s]
# the end of solver process 7168 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2371.65 s, system=28.4534 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.08
CPU time (s): 2400.1
CPU user time (s): 2371.65
CPU system time (s): 28.4534
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 7585592
Max. memory (cumulated for all children) (KiB): 5724708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2371.65
system time used= 28.4534
maximum resident set size= 5767072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 947052
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= 7
involuntary context switches= 1893
# summary of solver processes directly reported to runsolver:
# pid: 7168
# total CPU time (s): 2400.1
# total CPU user time (s): 2371.65
# total CPU system time (s): 28.4534
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.86386 second user time and 18.2952 second system time
The end