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 (11386 MiB free)
memory of node 1: 16384 MiB (11383 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303294-1534024548/watcher-4303294-1534024548 -o /tmp/evaluation-result-4303294-1534024548/solver-4303294-1534024548 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5741 --watchdog 2580 xcsp_picat HOME/instance-4303294-1534024548.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9989, runsolver pid=9986
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 9990
/proc/meminfo: memFree=23291020/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2025744 memory=27032 CPUtime=0.1 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 1825 0 0 0 10 0 0 0 20 0 1 0 220018017 2074361856 6758 33554432000 4194304 5849708 140735122150240 140735122150240 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 506436 6758 685 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 27032 KiB
[startup+0.209645 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 9990
/proc/meminfo: memFree=23291020/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2025884 memory=27292 CPUtime=0.21 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 1864 0 0 0 21 0 0 0 20 0 1 0 220018017 2074505216 6823 33554432000 4194304 5849708 140735122150240 140735122150240 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 506471 6823 702 405 0 503416 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025884 KiB
Current children cumulated memory: 27292 KiB
[startup+0.308806 s]*
/proc/loadavg: 1.92 2.00 2.04 3/188 9990
/proc/meminfo: memFree=23291020/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2025884 memory=27292 CPUtime=0.3 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 1864 0 0 0 30 0 0 0 20 0 1 0 220018017 2074505216 6823 33554432000 4194304 5849708 140735122150240 140735122150240 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 506471 6823 702 405 0 503416 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025884 KiB
Current children cumulated memory: 27292 KiB
[startup+0.700283 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 9990
/proc/meminfo: memFree=23290648/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2026176 memory=27556 CPUtime=0.69 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 1931 0 0 0 69 0 0 0 20 0 1 0 220018017 2074804224 6889 33554432000 4194304 5849708 140735122150240 140735122149336 5473296 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 506544 6889 702 405 0 503489 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026176 KiB
Current children cumulated memory: 27556 KiB
[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 9990
/proc/meminfo: memFree=23290728/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2026568 memory=27772 CPUtime=1.49 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 2045 0 0 0 149 0 0 0 20 0 1 0 220018017 2075205632 6943 33554432000 4194304 5849708 140735122150240 140735122149336 5471846 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 506642 6943 704 405 0 503587 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2026568 KiB
Current children cumulated memory: 27772 KiB
[startup+3.10966 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 9990
/proc/meminfo: memFree=23243956/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2073276 memory=74492 CPUtime=3.1 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 14440 0 0 0 308 2 0 0 20 0 1 0 220018017 2123034624 18623 33554432000 4194304 5849708 140735122150240 140735122149336 5359170 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 518319 18623 726 405 0 515264 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2073276 KiB
Current children cumulated memory: 74492 KiB
[startup+6.30031 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 9990
/proc/meminfo: memFree=23239768/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2077888 memory=78940 CPUtime=6.29 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 21970 0 0 0 626 3 0 0 20 0 1 0 220018017 2127757312 19735 33554432000 4194304 5849708 140735122150240 140735122148728 4211906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 519472 19735 736 405 0 516417 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2077888 KiB
Current children cumulated memory: 78940 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 9990
/proc/meminfo: memFree=23231092/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2086596 memory=87648 CPUtime=12.69 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 29275 0 0 0 1266 3 0 0 20 0 1 0 220018017 2136674304 21912 33554432000 4194304 5849708 140735122150240 140735122148648 4212046 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 521649 21912 736 405 0 518594 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2086596 KiB
Current children cumulated memory: 87648 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 9990
/proc/meminfo: memFree=23255952/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2058176 memory=59340 CPUtime=25.49 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 44106 0 0 0 2541 8 0 0 20 0 1 0 220018017 2107572224 14835 33554432000 4194304 5849708 140735122150240 140735122149400 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 514544 14835 740 405 0 511489 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2058176 KiB
Current children cumulated memory: 59340 KiB
[startup+51.1095 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 9990
/proc/meminfo: memFree=23257072/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2057680 memory=59096 CPUtime=51.1 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 54346 0 0 0 5093 17 0 0 20 0 1 0 220018017 2107064320 14774 33554432000 4194304 5849708 140735122150240 140735122148968 5307545 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 514420 14774 740 405 0 511365 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2057680 KiB
Current children cumulated memory: 59096 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 9991
/proc/meminfo: memFree=23231676/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2082376 memory=83700 CPUtime=102.29 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 66940 0 0 0 10183 46 0 0 20 0 1 0 220018017 2132353024 20925 33554432000 4194304 5849708 140735122150240 140735122148968 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 520594 20925 740 405 0 517539 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2082376 KiB
Current children cumulated memory: 83700 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 9993
/proc/meminfo: memFree=23224428/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2088940 memory=90388 CPUtime=162.3 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 82971 0 0 0 16151 79 0 0 20 0 1 0 220018017 2139074560 22597 33554432000 4194304 5849708 140735122150240 140735122149400 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 522235 22597 740 405 0 519180 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2088940 KiB
Current children cumulated memory: 90388 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9994
/proc/meminfo: memFree=23216688/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2090932 memory=92412 CPUtime=222.3 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 94423 0 0 0 22120 110 0 0 20 0 1 0 220018017 2141114368 23103 33554432000 4194304 5849708 140735122150240 140735122149240 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 522733 23103 740 405 0 519678 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2090932 KiB
Current children cumulated memory: 92412 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 10002
/proc/meminfo: memFree=23245676/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2117384 memory=118864 CPUtime=282.3 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 99096 0 0 0 28088 142 0 0 20 0 1 0 220018017 2168201216 29716 33554432000 4194304 5849708 140735122150240 140735122149400 5340258 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 529346 29716 740 405 0 526291 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2117384 KiB
Current children cumulated memory: 118864 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 10029
/proc/meminfo: memFree=23220552/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2117332 memory=118812 CPUtime=342.31 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 112062 0 0 0 34054 177 0 0 20 0 1 0 220018017 2168147968 29703 33554432000 4194304 5849708 140735122150240 140735122149240 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 529333 29703 740 405 0 526278 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2117332 KiB
Current children cumulated memory: 118812 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 10030
/proc/meminfo: memFree=23195740/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2118380 memory=119696 CPUtime=402.31 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 114389 0 0 0 40021 210 0 0 20 0 1 0 220018017 2169221120 29924 33554432000 4194304 5849708 140735122150240 140735122149240 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 529595 29924 740 405 0 526540 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2118380 KiB
Current children cumulated memory: 119696 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 10031
/proc/meminfo: memFree=23178776/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2140324 memory=141776 CPUtime=462.31 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 117376 0 0 0 45987 244 0 0 20 0 1 0 220018017 2191691776 35444 33554432000 4194304 5849708 140735122150240 140735122149112 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 535081 35444 740 405 0 532026 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2140324 KiB
Current children cumulated memory: 141776 KiB
################
# More data... #
################
/proc/9989/statm: 533437 34020 740 405 0 530382 0
Current children cumulated CPU time: 1722.36 s
Current children cumulated vsize: 2133748 KiB
Current children cumulated memory: 136080 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.10 2.09 3/187 10131
/proc/meminfo: memFree=24712440/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2153224 memory=157836 CPUtime=1782.36 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 329526 0 0 0 177234 1002 0 0 20 0 1 0 220018017 2204901376 39459 33554432000 4194304 5849708 140735122150240 140735122149400 5340307 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 538306 39459 740 405 0 535251 0
Current children cumulated CPU time: 1782.36 s
Current children cumulated vsize: 2153224 KiB
Current children cumulated memory: 157836 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/187 10132
/proc/meminfo: memFree=24613416/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2240892 memory=245572 CPUtime=1842.36 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 335358 0 0 0 183192 1044 0 0 20 0 1 0 220018017 2294673408 61393 33554432000 4194304 5849708 140735122150240 140735122149240 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 560223 61393 740 405 0 557168 0
Current children cumulated CPU time: 1842.36 s
Current children cumulated vsize: 2240892 KiB
Current children cumulated memory: 245572 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/187 10133
/proc/meminfo: memFree=24603160/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2240892 memory=245620 CPUtime=1902.37 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 335929 0 0 0 189161 1076 0 0 20 0 1 0 220018017 2294673408 61405 33554432000 4194304 5849708 140735122150240 140735122149240 5307514 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 560223 61405 740 405 0 557168 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 2240892 KiB
Current children cumulated memory: 245620 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/187 10135
/proc/meminfo: memFree=24599800/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2240892 memory=245620 CPUtime=1962.37 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 342885 0 0 0 195127 1110 0 0 20 0 1 0 220018017 2294673408 61405 33554432000 4194304 5849708 140735122150240 140735122149112 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 560223 61405 740 405 0 557168 0
Current children cumulated CPU time: 1962.37 s
Current children cumulated vsize: 2240892 KiB
Current children cumulated memory: 245620 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/187 10136
/proc/meminfo: memFree=24577472/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2273656 memory=278384 CPUtime=2022.38 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 343600 0 0 0 201096 1142 0 0 20 0 1 0 220018017 2328223744 69596 33554432000 4194304 5849708 140735122150240 140735122149240 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 568414 69596 740 405 0 565359 0
Current children cumulated CPU time: 2022.38 s
Current children cumulated vsize: 2273656 KiB
Current children cumulated memory: 278384 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/189 10146
/proc/meminfo: memFree=24567192/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2295580 memory=300060 CPUtime=2082.38 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 348540 0 0 0 207057 1181 0 0 20 0 1 0 220018017 2350673920 75015 33554432000 4194304 5849708 140735122150240 140735122149112 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 573895 75015 740 405 0 570840 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 2295580 KiB
Current children cumulated memory: 300060 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/189 10147
/proc/meminfo: memFree=24454116/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2376888 memory=381388 CPUtime=2142.38 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 365817 0 0 0 213005 1233 0 0 20 0 1 0 220018017 2433933312 95347 33554432000 4194304 5849708 140735122150240 140735122149112 5321256 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 594222 95347 740 405 0 591167 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 2376888 KiB
Current children cumulated memory: 381388 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 10148
/proc/meminfo: memFree=24418324/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2402728 memory=407396 CPUtime=2202.38 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 382313 0 0 0 218961 1277 0 0 20 0 1 0 220018017 2460393472 101849 33554432000 4194304 5849708 140735122150240 140735122149112 139816004767623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 600682 101849 740 405 0 597627 0
Current children cumulated CPU time: 2202.38 s
Current children cumulated vsize: 2402728 KiB
Current children cumulated memory: 407396 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 10149
/proc/meminfo: memFree=24003596/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2762044 memory=766740 CPUtime=2262.38 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 397615 0 0 0 224924 1314 0 0 20 0 1 0 220018017 2828333056 191685 33554432000 4194304 5849708 140735122150240 140735122149240 5438273 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 690511 191685 740 405 0 687456 0
Current children cumulated CPU time: 2262.38 s
Current children cumulated vsize: 2762044 KiB
Current children cumulated memory: 766740 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10150
/proc/meminfo: memFree=24003784/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2783328 memory=788184 CPUtime=2322.38 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 410638 0 0 0 230900 1338 0 0 20 0 1 0 220018017 2850127872 197046 33554432000 4194304 5849708 140735122150240 140735122148488 5340765 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 695832 197046 740 405 0 692777 0
Current children cumulated CPU time: 2322.38 s
Current children cumulated vsize: 2783328 KiB
Current children cumulated memory: 788184 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10151
/proc/meminfo: memFree=24404380/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2359344 memory=364084 CPUtime=2382.38 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 501952 0 0 0 236863 1375 0 0 20 0 1 0 220018017 2415968256 91021 33554432000 4194304 5849708 140735122150240 140735122149400 5339463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 589836 91021 740 405 0 586781 0
Current children cumulated CPU time: 2382.38 s
Current children cumulated vsize: 2359344 KiB
Current children cumulated memory: 364084 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10152
/proc/meminfo: memFree=24330712/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2407772 memory=412628 CPUtime=2442.38 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 531662 0 0 0 242834 1404 0 0 20 0 1 0 220018017 2465558528 103157 33554432000 4194304 5849708 140735122150240 140735122149400 5353755 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 601943 103157 740 405 0 598888 0
Current children cumulated CPU time: 2442.38 s
Current children cumulated vsize: 2407772 KiB
Current children cumulated memory: 412628 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10153
/proc/meminfo: memFree=24267296/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2471148 memory=476004 CPUtime=2502.39 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 554533 0 0 0 248811 1428 0 0 20 0 1 0 220018017 2530455552 119001 33554432000 4194304 5849708 140735122150240 140735122149240 5312794 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 617787 119001 740 405 0 614732 0
Current children cumulated CPU time: 2502.39 s
Current children cumulated vsize: 2471148 KiB
Current children cumulated memory: 476004 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10154
/proc/meminfo: memFree=24201208/32770624 swapFree=67108860/67108860
[pid=9989] ppid=9986 vsize=2503724 memory=508580 CPUtime=2520.1 cores=1,3,5,7
/proc/9989/stat : 9989 (xcsp_picat) R 9986 9989 5709 0 -1 4202496 565237 0 0 0 250573 1437 0 0 20 0 1 0 220018017 2563813376 127145 33554432000 4194304 5849708 140735122150240 140735122149240 5437711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 17842176 140735122154678 140735122154756 140735122154756 140735122157514 0
/proc/9989/statm: 625931 127145 740 405 0 622876 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 2503724 KiB
Current children cumulated memory: 508580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 9989 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.73 s, system=14.3897 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.02
CPU time (s): 2520.12
CPU user time (s): 2505.73
CPU system time (s): 14.3897
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3212856
Max. memory (cumulated for all children) (KiB): 1217712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.73
system time used= 14.3897
maximum resident set size= 1217712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565238
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= 31
involuntary context switches= 828
# summary of solver processes directly reported to runsolver:
# pid: 9989
# total CPU time (s): 2520.12
# total CPU user time (s): 2505.73
# total CPU system time (s): 14.3897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.45351 second user time and 18.8683 second system time
The end