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 (6246 MiB free)
memory of node 1: 16384 MiB (3549 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303101-1534008898/watcher-4303101-1534008898 -o /tmp/evaluation-result-4303101-1534008898/solver-4303101-1534008898 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12841 --watchdog 2580 xcsp_picat HOME/instance-4303101-1534008898.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
solver pid=15250, runsolver pid=15247
Current StackSize limit: 8192 KiB
[startup+0.100146 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 15251
/proc/meminfo: memFree=10017784/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2025904 memory=15828 CPUtime=0.1 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 1583 0 0 0 10 0 0 0 20 0 1 0 218452661 2074525696 3957 33554432000 4194304 5849708 140736879252944 140736879251944 5471915 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 506476 3957 703 405 0 503421 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025904 KiB
Current children cumulated memory: 15828 KiB
[startup+0.209805 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 15251
/proc/meminfo: memFree=10017912/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2026168 memory=16088 CPUtime=0.21 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 1649 0 0 0 21 0 0 0 20 0 1 0 218452661 2074796032 4022 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 506542 4022 706 405 0 503487 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026168 KiB
Current children cumulated memory: 16088 KiB
[startup+0.308824 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 15251
/proc/meminfo: memFree=10017912/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2026168 memory=16088 CPUtime=0.31 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 1649 0 0 0 31 0 0 0 20 0 1 0 218452661 2074796032 4022 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 506542 4022 706 405 0 503487 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026168 KiB
Current children cumulated memory: 16088 KiB
[startup+0.700274 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 15251
/proc/meminfo: memFree=10017540/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2026616 memory=16492 CPUtime=0.69 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 1795 0 0 0 69 0 0 0 20 0 1 0 218452661 2075254784 4123 33554432000 4194304 5849708 140736879252944 140736879251944 5361913 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 506654 4123 723 405 0 503599 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026616 KiB
Current children cumulated memory: 16492 KiB
[startup+1.50027 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 15251
/proc/meminfo: memFree=10017540/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2026544 memory=16560 CPUtime=1.49 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 1998 0 0 0 149 0 0 0 20 0 1 0 218452661 2075181056 4140 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 506636 4140 742 405 0 503581 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2026544 KiB
Current children cumulated memory: 16560 KiB
[startup+3.10913 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 15251
/proc/meminfo: memFree=10015308/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2029372 memory=19296 CPUtime=3.1 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 3097 0 0 0 307 3 0 0 20 0 1 0 218452661 2078076928 4824 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 507343 4824 747 405 0 504288 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2029372 KiB
Current children cumulated memory: 19296 KiB
[startup+6.30025 s]
/proc/loadavg: 2.13 2.04 2.05 3/187 15251
/proc/meminfo: memFree=10012668/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2031392 memory=21436 CPUtime=6.29 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 6930 0 0 0 622 7 0 0 20 0 1 0 218452661 2080145408 5359 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 507848 5359 747 405 0 504793 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031392 KiB
Current children cumulated memory: 21436 KiB
[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.05 3/187 15251
/proc/meminfo: memFree=10011756/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2034024 memory=24136 CPUtime=12.69 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 15581 0 0 0 1255 14 0 0 20 0 1 0 218452661 2082840576 6034 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 508506 6034 747 405 0 505451 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2034024 KiB
Current children cumulated memory: 24136 KiB
[startup+25.5003 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 15251
/proc/meminfo: memFree=9992752/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2037116 memory=27180 CPUtime=25.49 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 33466 0 0 0 2522 27 0 0 20 0 1 0 218452661 2086006784 6795 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 509279 6795 747 405 0 506224 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2037116 KiB
Current children cumulated memory: 27180 KiB
[startup+51.1094 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 15251
/proc/meminfo: memFree=9980204/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2048656 memory=38776 CPUtime=51.1 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 51654 0 0 0 5058 52 0 0 20 0 1 0 218452661 2097823744 9694 33554432000 4194304 5849708 140736879252944 140736879251672 5359172 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 512164 9694 747 405 0 509109 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2048656 KiB
Current children cumulated memory: 38776 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 15252
/proc/meminfo: memFree=9963156/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2065044 memory=55156 CPUtime=102.28 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 81018 0 0 0 10147 81 0 0 20 0 1 0 218452661 2114605056 13789 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 516261 13789 747 405 0 513206 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2065044 KiB
Current children cumulated memory: 55156 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 15253
/proc/meminfo: memFree=9942732/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2085404 memory=75624 CPUtime=162.27 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 104408 0 0 0 16121 106 0 0 20 0 1 0 218452661 2135453696 18906 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 521351 18906 747 405 0 518296 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2085404 KiB
Current children cumulated memory: 75624 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15254
/proc/meminfo: memFree=9929420/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2098260 memory=88480 CPUtime=222.26 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 124325 0 0 0 22100 126 0 0 20 0 1 0 218452661 2148618240 22120 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 524565 22120 747 405 0 521510 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2098260 KiB
Current children cumulated memory: 88480 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 15255
/proc/meminfo: memFree=9833196/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2118108 memory=108220 CPUtime=282.25 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 148150 0 0 0 28078 147 0 0 20 0 1 0 218452661 2168942592 27055 33554432000 4194304 5849708 140736879252944 140736879252104 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 529527 27055 747 405 0 526472 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2118108 KiB
Current children cumulated memory: 108220 KiB
[startup+342.3 s]
/proc/loadavg: 2.15 2.05 2.06 3/188 15264
/proc/meminfo: memFree=9820972/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2129804 memory=119836 CPUtime=342.24 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 151834 0 0 0 34064 160 0 0 20 0 1 0 218452661 2180919296 29959 33554432000 4194304 5849708 140736879252944 140736879251944 5438237 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 532451 29959 747 405 0 529396 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2129804 KiB
Current children cumulated memory: 119836 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 15265
/proc/meminfo: memFree=9804492/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2146448 memory=136560 CPUtime=402.24 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 166234 0 0 0 40051 173 0 0 20 0 1 0 218452661 2197962752 34140 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 536612 34140 747 405 0 533557 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2146448 KiB
Current children cumulated memory: 136560 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 15266
/proc/meminfo: memFree=9836032/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2114960 memory=105024 CPUtime=462.22 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 174148 0 0 0 46036 186 0 0 20 0 1 0 218452661 2165719040 26256 33554432000 4194304 5849708 140736879252944 140736879252104 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 528740 26256 747 405 0 525685 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2114960 KiB
Current children cumulated memory: 105024 KiB
################
# More data... #
################
/proc/15250/statm: 573245 70773 747 405 0 570190 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 2292980 KiB
Current children cumulated memory: 283092 KiB
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 15390
/proc/meminfo: memFree=11842456/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2292980 memory=283092 CPUtime=1782.02 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 539780 0 0 0 177777 425 0 0 20 0 1 0 218452661 2348011520 70773 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 573245 70773 747 405 0 570190 0
Current children cumulated CPU time: 1782.02 s
Current children cumulated vsize: 2292980 KiB
Current children cumulated memory: 283092 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 15391
/proc/meminfo: memFree=11627736/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2358516 memory=348628 CPUtime=1842 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 543095 0 0 0 183767 433 0 0 20 0 1 0 218452661 2415120384 87157 33554432000 4194304 5849708 140736879252944 140736879251944 5437645 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 589629 87157 747 405 0 586574 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 2358516 KiB
Current children cumulated memory: 348628 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 15392
/proc/meminfo: memFree=11734448/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2358516 memory=351996 CPUtime=1901.99 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 546726 0 0 0 189759 440 0 0 20 0 1 0 218452661 2415120384 87999 33554432000 4194304 5849708 140736879252944 140736879252104 5335520 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 589629 87999 747 405 0 586574 0
Current children cumulated CPU time: 1901.99 s
Current children cumulated vsize: 2358516 KiB
Current children cumulated memory: 351996 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15393
/proc/meminfo: memFree=11623288/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2358516 memory=352996 CPUtime=1961.98 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 549500 0 0 0 195749 449 0 0 20 0 1 0 218452661 2415120384 88249 33554432000 4194304 5849708 140736879252944 140736879252104 5335601 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 589629 88249 747 405 0 586574 0
Current children cumulated CPU time: 1961.98 s
Current children cumulated vsize: 2358516 KiB
Current children cumulated memory: 352996 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 15394
/proc/meminfo: memFree=11733104/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2358516 memory=353060 CPUtime=2021.97 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 551618 0 0 0 201741 456 0 0 20 0 1 0 218452661 2415120384 88265 33554432000 4194304 5849708 140736879252944 140736879251944 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 589629 88265 747 405 0 586574 0
Current children cumulated CPU time: 2021.97 s
Current children cumulated vsize: 2358516 KiB
Current children cumulated memory: 353060 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 15395
/proc/meminfo: memFree=11733088/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2358516 memory=353060 CPUtime=2081.96 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 555631 0 0 0 207733 463 0 0 20 0 1 0 218452661 2415120384 88265 33554432000 4194304 5849708 140736879252944 140736879251944 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 589629 88265 747 405 0 586574 0
Current children cumulated CPU time: 2081.96 s
Current children cumulated vsize: 2358516 KiB
Current children cumulated memory: 353060 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 15404
/proc/meminfo: memFree=11759512/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2221596 memory=215900 CPUtime=2141.95 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 565288 0 0 0 213722 473 0 0 20 0 1 0 218452661 2274914304 53975 33554432000 4194304 5849708 140736879252944 140736879251944 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 555399 53975 747 405 0 552344 0
Current children cumulated CPU time: 2141.95 s
Current children cumulated vsize: 2221596 KiB
Current children cumulated memory: 215900 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 15405
/proc/meminfo: memFree=11901836/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2188828 memory=183372 CPUtime=2201.95 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 572123 0 0 0 219713 482 0 0 20 0 1 0 218452661 2241359872 45843 33554432000 4194304 5849708 140736879252944 140736879251944 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 547207 45843 747 405 0 544152 0
Current children cumulated CPU time: 2201.95 s
Current children cumulated vsize: 2188828 KiB
Current children cumulated memory: 183372 KiB
[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 15406
/proc/meminfo: memFree=11739484/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2242020 memory=236564 CPUtime=2261.93 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 575220 0 0 0 225701 492 0 0 20 0 1 0 218452661 2295828480 59141 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 560505 59141 747 405 0 557450 0
Current children cumulated CPU time: 2261.93 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 236564 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 15407
/proc/meminfo: memFree=11849300/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2242020 memory=236564 CPUtime=2321.92 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 580588 0 0 0 231693 499 0 0 20 0 1 0 218452661 2295828480 59141 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 560505 59141 747 405 0 557450 0
Current children cumulated CPU time: 2321.92 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 236564 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 15408
/proc/meminfo: memFree=11739636/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2242020 memory=236564 CPUtime=2381.91 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 580676 0 0 0 237686 505 0 0 20 0 1 0 218452661 2295828480 59141 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 560505 59141 747 405 0 557450 0
Current children cumulated CPU time: 2381.91 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 236564 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 15409
/proc/meminfo: memFree=11849468/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2242020 memory=236564 CPUtime=2441.91 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 586110 0 0 0 243675 516 0 0 20 0 1 0 218452661 2295828480 59141 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 560505 59141 747 405 0 557450 0
Current children cumulated CPU time: 2441.91 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 236564 KiB
[startup+2502.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 15410
/proc/meminfo: memFree=11738108/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2242020 memory=236564 CPUtime=2501.89 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 587109 0 0 0 249665 524 0 0 20 0 1 0 218452661 2295828480 59141 33554432000 4194304 5849708 140736879252944 140736879252104 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 560505 59141 747 405 0 557450 0
Current children cumulated CPU time: 2501.89 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 236564 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 15411
/proc/meminfo: memFree=11848660/32770624 swapFree=67108688/67108860
[pid=15250] ppid=15247 vsize=2242020 memory=236564 CPUtime=2519.61 cores=0,2,4,6
/proc/15250/stat : 15250 (xcsp_picat) R 15247 15250 12810 0 -1 4202496 587110 0 0 0 251434 527 0 0 20 0 1 0 218452661 2295828480 59141 33554432000 4194304 5849708 140736879252944 140736879251944 139656682647431 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 17539072 140736879256758 140736879256836 140736879256836 140736879259594 0
/proc/15250/statm: 560505 59141 747 405 0 557450 0
Current children cumulated CPU time: 2519.61 s
Current children cumulated vsize: 2242020 KiB
Current children cumulated memory: 236564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 15250 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.35 s, system=5.27326 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.01
CPU time (s): 2519.62
CPU user time (s): 2514.35
CPU system time (s): 5.27326
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 2358516
Max. memory (cumulated for all children) (KiB): 353060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.35
system time used= 5.27326
maximum resident set size= 353060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 587111
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= 72
involuntary context switches= 3152
# summary of solver processes directly reported to runsolver:
# pid: 15250
# total CPU time (s): 2519.62
# total CPU user time (s): 2514.35
# total CPU system time (s): 5.27326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.541 second user time and 17.9414 second system time
The end