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 (14064 MiB free)
memory of node 1: 16384 MiB (8967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309631-1534313683/watcher-4309631-1534313683 -o /tmp/evaluation-result-4309631-1534313683/solver-4309631-1534313683 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534293186-11147 --watchdog 2580 xcsp_picat HOME/instance-4309631-1534313683.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14269, runsolver pid=14266
[startup+0.100112 s]*
/proc/loadavg: 2.01 2.05 2.05 3/193 14270
/proc/meminfo: memFree=23565640/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2025880 memory=22092 CPUtime=0.1 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 1614 0 0 0 10 0 0 0 20 0 1 0 248931460 2074501120 5523 33554432000 4194304 5849940 140736933476352 140736933475448 5606430 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 506470 5523 700 405 0 503414 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 22092 KiB
[startup+0.209978 s]*
/proc/loadavg: 2.01 2.05 2.05 3/193 14270
/proc/meminfo: memFree=23565640/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2025880 memory=22092 CPUtime=0.21 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 1647 0 0 0 21 0 0 0 20 0 1 0 248931460 2074501120 5523 33554432000 4194304 5849940 140736933476352 140736933475448 5535571 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 506470 5523 700 405 0 503414 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 22092 KiB
[startup+0.308975 s]*
/proc/loadavg: 2.01 2.05 2.05 3/193 14270
/proc/meminfo: memFree=23565640/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2025880 memory=22092 CPUtime=0.31 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 1647 0 0 0 31 0 0 0 20 0 1 0 248931460 2074501120 5523 33554432000 4194304 5849940 140736933476352 140736933475448 5606384 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 506470 5523 700 405 0 503414 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 22092 KiB
[startup+0.700204 s]
/proc/loadavg: 2.01 2.05 2.05 3/193 14270
/proc/meminfo: memFree=23565640/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2026204 memory=22352 CPUtime=0.69 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 1713 0 0 0 69 0 0 0 20 0 1 0 248931460 2074832896 5588 33554432000 4194304 5849940 140736933476352 140736933475448 5606395 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 506551 5588 703 405 0 503495 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026204 KiB
Current children cumulated memory: 22352 KiB
[startup+1.50022 s]
/proc/loadavg: 2.01 2.05 2.05 3/193 14270
/proc/meminfo: memFree=23564920/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2026204 memory=22352 CPUtime=1.49 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 1713 0 0 0 148 1 0 0 20 0 1 0 248931460 2074832896 5588 33554432000 4194304 5849940 140736933476352 140736933475448 5606435 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 506551 5588 703 405 0 503495 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2026204 KiB
Current children cumulated memory: 22352 KiB
[startup+3.1096 s]
/proc/loadavg: 2.01 2.05 2.05 3/193 14270
/proc/meminfo: memFree=23547624/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2044684 memory=40388 CPUtime=3.1 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 9460 0 0 0 308 2 0 0 20 0 1 0 248931460 2093756416 10097 33554432000 4194304 5849940 140736933476352 140736933474840 4209027 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 511171 10097 731 405 0 508115 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2044684 KiB
Current children cumulated memory: 40388 KiB
[startup+6.30028 s]
/proc/loadavg: 2.01 2.05 2.05 3/193 14270
/proc/meminfo: memFree=23547316/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2044684 memory=40612 CPUtime=6.29 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 12561 0 0 0 626 3 0 0 20 0 1 0 248931460 2093756416 10153 33554432000 4194304 5849940 140736933476352 140736933475352 139648183775111 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 511171 10153 739 405 0 508115 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2044684 KiB
Current children cumulated memory: 40612 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.04 2.05 3/193 14270
/proc/meminfo: memFree=23662872/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2044560 memory=40488 CPUtime=12.69 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 15545 0 0 0 1260 9 0 0 20 0 1 0 248931460 2093629440 10122 33554432000 4194304 5849940 140736933476352 140736933475512 139648183775111 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 511140 10122 739 405 0 508084 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2044560 KiB
Current children cumulated memory: 40488 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.04 2.05 3/192 14270
/proc/meminfo: memFree=23655568/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2045160 memory=41648 CPUtime=25.49 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 22132 0 0 0 2529 20 0 0 20 0 1 0 248931460 2094243840 10412 33554432000 4194304 5849940 140736933476352 140736933475512 5438701 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 511290 10412 739 405 0 508234 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2045160 KiB
Current children cumulated memory: 41648 KiB
[startup+51.1096 s]
/proc/loadavg: 1.94 2.02 2.04 3/192 14270
/proc/meminfo: memFree=23658052/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2058624 memory=55112 CPUtime=51.1 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 29167 0 0 0 5071 39 0 0 20 0 1 0 248931460 2108030976 13778 33554432000 4194304 5849940 140736933476352 140736933475352 139648183775111 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 514656 13778 739 405 0 511600 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2058624 KiB
Current children cumulated memory: 55112 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.02 2.04 3/192 14271
/proc/meminfo: memFree=23618680/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2073536 memory=70024 CPUtime=102.28 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 43299 0 0 0 10150 78 0 0 20 0 1 0 248931460 2123300864 17506 33554432000 4194304 5849940 140736933476352 140736933475352 5340063 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 518384 17506 739 405 0 515328 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2073536 KiB
Current children cumulated memory: 70024 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/192 14272
/proc/meminfo: memFree=23547628/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2078032 memory=74520 CPUtime=162.28 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 59099 0 0 0 16104 124 0 0 20 0 1 0 248931460 2127904768 18630 33554432000 4194304 5849940 140736933476352 140736933475352 5340446 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 519508 18630 739 405 0 516452 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2078032 KiB
Current children cumulated memory: 74520 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 14273
/proc/meminfo: memFree=23554732/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2069796 memory=66412 CPUtime=222.28 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 68703 0 0 0 22064 164 0 0 20 0 1 0 248931460 2119471104 16603 33554432000 4194304 5849940 140736933476352 140736933475224 4213532 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 517449 16603 739 405 0 514393 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2069796 KiB
Current children cumulated memory: 66412 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 14274
/proc/meminfo: memFree=23456280/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2089388 memory=85876 CPUtime=282.27 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 83172 0 0 0 28020 207 0 0 20 0 1 0 248931460 2139533312 21469 33554432000 4194304 5849940 140736933476352 140736933475512 5312986 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 522347 21469 739 405 0 519291 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2089388 KiB
Current children cumulated memory: 85876 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14283
/proc/meminfo: memFree=23501932/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2103528 memory=99972 CPUtime=342.27 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 110119 0 0 0 33974 253 0 0 20 0 1 0 248931460 2154012672 24993 33554432000 4194304 5849940 140736933476352 140736933475256 139648183775111 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 525882 24993 739 405 0 522826 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2103528 KiB
Current children cumulated memory: 99972 KiB
[startup+402.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/192 14285
/proc/meminfo: memFree=23526804/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2103540 memory=99980 CPUtime=402.27 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 120881 0 0 0 39925 302 0 0 20 0 1 0 248931460 2154024960 24995 33554432000 4194304 5849940 140736933476352 140736933475512 139648183775111 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 525885 24995 739 405 0 522829 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2103540 KiB
Current children cumulated memory: 99980 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/192 14286
/proc/meminfo: memFree=23458632/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2146312 memory=142836 CPUtime=462.27 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 125094 0 0 0 45884 343 0 0 20 0 1 0 248931460 2197823488 35709 33554432000 4194304 5849940 140736933476352 140736933475352 139648183775111 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 536578 35709 739 405 0 533522 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2146312 KiB
Current children cumulated memory: 142836 KiB
################
# More data... #
################
/proc/14269/statm: 598895 99050 739 405 0 595839 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 2395580 KiB
Current children cumulated memory: 396200 KiB
[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/192 14455
/proc/meminfo: memFree=23580760/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2362812 memory=363432 CPUtime=1782.34 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 298747 0 0 0 177081 1153 0 0 20 0 1 0 248931460 2419519488 90858 33554432000 4194304 5849940 140736933476352 140736933475512 5335776 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 590703 90858 739 405 0 587647 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 2362812 KiB
Current children cumulated memory: 363432 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/191 14456
/proc/meminfo: memFree=23548680/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2395580 memory=396200 CPUtime=1842.34 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 302630 0 0 0 183060 1174 0 0 20 0 1 0 248931460 2453073920 99050 33554432000 4194304 5849940 140736933476352 140736933475352 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 598895 99050 739 405 0 595839 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 2395580 KiB
Current children cumulated memory: 396200 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/192 14458
/proc/meminfo: memFree=23538640/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2395580 memory=396200 CPUtime=1902.35 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 303474 0 0 0 189042 1193 0 0 20 0 1 0 248931460 2453073920 99050 33554432000 4194304 5849940 140736933476352 140736933475352 5438453 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 598895 99050 739 405 0 595839 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 2395580 KiB
Current children cumulated memory: 396200 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 14459
/proc/meminfo: memFree=23434536/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2516220 memory=516840 CPUtime=1962.35 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 322928 0 0 0 195026 1209 0 0 20 0 1 0 248931460 2576609280 129210 33554432000 4194304 5849940 140736933476352 140736933475512 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 629055 129210 739 405 0 625999 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 2516220 KiB
Current children cumulated memory: 516840 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 14460
/proc/meminfo: memFree=23027504/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2912736 memory=913236 CPUtime=2022.36 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 331019 0 0 0 200996 1240 0 0 20 0 1 0 248931460 2982641664 228309 33554432000 4194304 5849940 140736933476352 140736933475352 139648183775111 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 728184 228309 739 405 0 725128 0
Current children cumulated CPU time: 2022.36 s
Current children cumulated vsize: 2912736 KiB
Current children cumulated memory: 913236 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14461
/proc/meminfo: memFree=23514660/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2414180 memory=414928 CPUtime=2082.36 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 377324 0 0 0 206966 1270 0 0 20 0 1 0 248931460 2472120320 103732 33554432000 4194304 5849940 140736933476352 140736933475352 5335801 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 603545 103732 739 405 0 600489 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 2414180 KiB
Current children cumulated memory: 414928 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14470
/proc/meminfo: memFree=23027472/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=2852448 memory=853068 CPUtime=2142.36 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 413851 0 0 0 212925 1311 0 0 20 0 1 0 248931460 2920906752 213267 33554432000 4194304 5849940 140736933476352 140736933475224 5313073 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 713112 213267 739 405 0 710056 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 2852448 KiB
Current children cumulated memory: 853068 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14471
/proc/meminfo: memFree=22601832/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=3293452 memory=1293916 CPUtime=2202.37 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 424439 0 0 0 218904 1333 0 0 20 0 1 0 248931460 3372494848 323479 33554432000 4194304 5849940 140736933476352 140736933475224 5312986 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 823363 323479 739 405 0 820307 0
Current children cumulated CPU time: 2202.37 s
Current children cumulated vsize: 3293452 KiB
Current children cumulated memory: 1293916 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14472
/proc/meminfo: memFree=22585024/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=3293452 memory=1294072 CPUtime=2262.37 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 523573 0 0 0 224888 1349 0 0 20 0 1 0 248931460 3372494848 323518 33554432000 4194304 5849940 140736933476352 140736933475352 5313082 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 823363 323518 739 405 0 820307 0
Current children cumulated CPU time: 2262.37 s
Current children cumulated vsize: 3293452 KiB
Current children cumulated memory: 1294072 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14473
/proc/meminfo: memFree=22166080/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=3682184 memory=1682804 CPUtime=2322.38 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 607422 0 0 0 230865 1373 0 0 20 0 1 0 248931460 3770556416 420701 33554432000 4194304 5849940 140736933476352 140736933475352 139648183775111 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 920546 420701 739 405 0 917490 0
Current children cumulated CPU time: 2322.38 s
Current children cumulated vsize: 3682184 KiB
Current children cumulated memory: 1682804 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14474
/proc/meminfo: memFree=21820656/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=3966264 memory=1966884 CPUtime=2382.37 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 739759 0 0 0 236834 1403 0 0 20 0 1 0 248931460 4061454336 491721 33554432000 4194304 5849940 140736933476352 140736933475224 5313029 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 991566 491721 739 405 0 988510 0
Current children cumulated CPU time: 2382.37 s
Current children cumulated vsize: 3966264 KiB
Current children cumulated memory: 1966884 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14476
/proc/meminfo: memFree=21697604/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=4129692 memory=2130312 CPUtime=2442.38 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 925837 0 0 0 242813 1425 0 0 20 0 1 0 248931460 4228804608 532578 33554432000 4194304 5849940 140736933476352 140736933475352 5313085 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 1032423 532578 739 405 0 1029367 0
Current children cumulated CPU time: 2442.38 s
Current children cumulated vsize: 4129692 KiB
Current children cumulated memory: 2130312 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14478
/proc/meminfo: memFree=21551552/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=4281996 memory=2282616 CPUtime=2502.38 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 1087709 0 0 0 248794 1444 0 0 20 0 1 0 248931460 4384763904 570654 33554432000 4194304 5849940 140736933476352 140736933475224 5313092 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 1070499 570654 739 405 0 1067443 0
Current children cumulated CPU time: 2502.38 s
Current children cumulated vsize: 4281996 KiB
Current children cumulated memory: 2282616 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 14479
/proc/meminfo: memFree=21547848/32770624 swapFree=67108852/67108860
[pid=14269] ppid=14266 vsize=4281996 memory=2282616 CPUtime=2520.1 cores=0,2,4,6
/proc/14269/stat : 14269 (xcsp_picat) R 14266 14269 11116 0 -1 4202496 1167559 0 0 0 250560 1450 0 0 20 0 1 0 248931460 4384763904 570654 33554432000 4194304 5849940 140736933476352 140736933475224 139648183775111 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 18563072 140736933483702 140736933483780 140736933483780 140736933486538 0
/proc/14269/statm: 1070499 570654 739 405 0 1067443 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 4281996 KiB
Current children cumulated memory: 2282616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.07 s]
# the end of solver process 14269 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.6 s, system=14.5627 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): 2520.07
CPU time (s): 2520.16
CPU user time (s): 2505.6
CPU system time (s): 14.5627
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 4281996
Max. memory (cumulated for all children) (KiB): 2282616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.6
system time used= 14.5627
maximum resident set size= 2282616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1167562
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= 24
involuntary context switches= 1301
# summary of solver processes directly reported to runsolver:
# pid: 14269
# total CPU time (s): 2520.16
# total CPU user time (s): 2505.6
# total CPU system time (s): 14.5627
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8821 second user time and 16.8114 second system time
The end