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 (14715 MiB free)
memory of node 1: 16384 MiB (13821 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303292-1534025399/watcher-4303292-1534025399 -o /tmp/evaluation-result-4303292-1534025399/solver-4303292-1534025399 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534025399-15093 --watchdog 2580 xcsp_picat HOME/instance-4303292-1534025399.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15122, runsolver pid=15119
[startup+0.100172 s]*
/proc/loadavg: 0.92 1.00 1.16 3/187 15123
/proc/meminfo: memFree=29200820/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2025884 memory=22040 CPUtime=0.1 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 2093 0 0 0 10 0 0 0 20 0 1 0 220103114 2074505216 5510 33554432000 4194304 5849708 140737042684544 140737042684544 139920738164615 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 506471 5510 700 405 0 503416 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025884 KiB
Current children cumulated memory: 22040 KiB
[startup+0.209515 s]*
/proc/loadavg: 0.92 1.00 1.16 3/187 15123
/proc/meminfo: memFree=29200820/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2026012 memory=22116 CPUtime=0.21 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 2104 0 0 0 20 1 0 0 20 0 1 0 220103114 2074636288 5529 33554432000 4194304 5849708 140737042684544 140737042684544 5474436 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 506503 5529 703 405 0 503448 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026012 KiB
Current children cumulated memory: 22116 KiB
[startup+0.309086 s]*
/proc/loadavg: 0.92 1.00 1.16 3/187 15123
/proc/meminfo: memFree=29199936/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2026144 memory=22116 CPUtime=0.31 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 2161 0 0 0 30 1 0 0 20 0 1 0 220103114 2074771456 5529 33554432000 4194304 5849708 140737042684544 140737042684544 139920738164615 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 506536 5529 703 405 0 503481 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026144 KiB
Current children cumulated memory: 22116 KiB
[startup+0.700271 s]
/proc/loadavg: 0.92 1.00 1.16 3/187 15123
/proc/meminfo: memFree=29199936/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2026336 memory=22376 CPUtime=0.69 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 2209 0 0 0 68 1 0 0 20 0 1 0 220103114 2074968064 5594 33554432000 4194304 5849708 140737042684544 140737042683784 5606203 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 506584 5594 703 405 0 503529 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026336 KiB
Current children cumulated memory: 22376 KiB
[startup+1.50035 s]
/proc/loadavg: 0.92 1.00 1.16 3/187 15123
/proc/meminfo: memFree=29181648/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2051112 memory=47084 CPUtime=1.49 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 7476 0 0 0 148 1 0 0 20 0 1 0 220103114 2100338688 11771 33554432000 4194304 5849708 140737042684544 140737042683256 5360907 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 512778 11771 723 405 0 509723 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2051112 KiB
Current children cumulated memory: 47084 KiB
[startup+3.10945 s]
/proc/loadavg: 0.92 1.00 1.16 3/188 15132
/proc/meminfo: memFree=29167984/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2053052 memory=49264 CPUtime=3.1 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 12975 0 0 0 309 1 0 0 20 0 1 0 220103114 2102325248 12316 33554432000 4194304 5849708 140737042684544 140737042683272 4211621 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 513263 12316 732 405 0 510208 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2053052 KiB
Current children cumulated memory: 49264 KiB
[startup+6.30027 s]
/proc/loadavg: 0.85 0.98 1.15 3/188 15132
/proc/meminfo: memFree=29164344/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2053052 memory=49276 CPUtime=6.29 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 15336 0 0 0 628 1 0 0 20 0 1 0 220103114 2102325248 12319 33554432000 4194304 5849708 140737042684544 140737042683032 4211759 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 513263 12319 734 405 0 510208 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2053052 KiB
Current children cumulated memory: 49276 KiB
[startup+12.7004 s]
/proc/loadavg: 0.94 1.00 1.16 3/188 15132
/proc/meminfo: memFree=29153656/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2058212 memory=54436 CPUtime=12.69 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 21448 0 0 0 1267 2 0 0 20 0 1 0 220103114 2107609088 13609 33554432000 4194304 5849708 140737042684544 140737042682952 139920738164615 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 514553 13609 734 405 0 511498 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2058212 KiB
Current children cumulated memory: 54436 KiB
[startup+25.5004 s]
/proc/loadavg: 1.18 1.05 1.17 3/188 15132
/proc/meminfo: memFree=29153680/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2052264 memory=48504 CPUtime=25.48 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 31379 0 0 0 2536 12 0 0 20 0 1 0 220103114 2101518336 12126 33554432000 4194304 5849708 140737042684544 140737042683416 5301991 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 513066 12126 738 405 0 510011 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2052264 KiB
Current children cumulated memory: 48504 KiB
[startup+51.1097 s]
/proc/loadavg: 1.46 1.12 1.19 3/188 15132
/proc/meminfo: memFree=29126820/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2058560 memory=54800 CPUtime=51.09 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 39052 0 0 0 5074 35 0 0 20 0 1 0 220103114 2107965440 13700 33554432000 4194304 5849708 140737042684544 140737042683544 5340357 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 514640 13700 738 405 0 511585 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2058560 KiB
Current children cumulated memory: 54800 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 1.31 1.25 3/188 15133
/proc/meminfo: memFree=29082112/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2067728 memory=63968 CPUtime=102.28 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 56251 0 0 0 10158 70 0 0 20 0 1 0 220103114 2117353472 15992 33554432000 4194304 5849708 140737042684544 140737042683544 139920738164615 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 516932 15992 738 405 0 513877 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2067728 KiB
Current children cumulated memory: 63968 KiB
[startup+162.3 s]
/proc/loadavg: 2.52 1.59 1.35 3/188 15195
/proc/meminfo: memFree=29141496/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2075596 memory=71836 CPUtime=162.27 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 67409 0 0 0 16116 111 0 0 20 0 1 0 220103114 2125410304 17959 33554432000 4194304 5849708 140737042684544 140737042683416 4234713 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 518899 17959 738 405 0 515844 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2075596 KiB
Current children cumulated memory: 71836 KiB
[startup+222.3 s]
/proc/loadavg: 2.43 1.75 1.42 3/188 15257
/proc/meminfo: memFree=29080656/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2093208 memory=91812 CPUtime=222.25 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 84089 0 0 0 22070 155 0 0 20 0 1 0 220103114 2143444992 22953 33554432000 4194304 5849708 140737042684544 140737042683704 139920738164615 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 523302 22953 738 405 0 520247 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2093208 KiB
Current children cumulated memory: 91812 KiB
[startup+282.3 s]
/proc/loadavg: 2.16 1.79 1.46 3/188 15258
/proc/meminfo: memFree=29086724/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2074076 memory=72648 CPUtime=282.25 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 96451 0 0 0 28023 202 0 0 20 0 1 0 220103114 2123853824 18162 33554432000 4194304 5849708 140737042684544 140737042683544 139920738164615 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 518519 18162 738 405 0 515464 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2074076 KiB
Current children cumulated memory: 72648 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 1.83 1.49 3/187 15259
/proc/meminfo: memFree=29055824/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2101508 memory=99936 CPUtime=342.24 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 105486 0 0 0 33979 245 0 0 20 0 1 0 220103114 2151944192 24984 33554432000 4194304 5849708 140737042684544 140737042683544 139920738164615 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 525377 24984 738 405 0 522322 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2101508 KiB
Current children cumulated memory: 99936 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 1.86 1.52 3/187 15260
/proc/meminfo: memFree=29017308/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2137336 memory=135908 CPUtime=402.23 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 128055 0 0 0 39936 287 0 0 20 0 1 0 220103114 2188632064 33977 33554432000 4194304 5849708 140737042684544 140737042683416 5360453 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 534334 33977 738 405 0 531279 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2137336 KiB
Current children cumulated memory: 135908 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 1.89 1.55 3/187 15261
/proc/meminfo: memFree=29009524/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2135288 memory=133860 CPUtime=462.22 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 135271 0 0 0 45896 326 0 0 20 0 1 0 220103114 2186534912 33465 33554432000 4194304 5849708 140737042684544 140737042683544 5360907 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 533822 33465 738 405 0 530767 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2135288 KiB
Current children cumulated memory: 133860 KiB
################
# More data... #
################
/proc/15122/statm: 792172 291815 738 405 0 789117 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 3168688 KiB
Current children cumulated memory: 1167260 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/187 15301
/proc/meminfo: memFree=27482088/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=3412208 memory=1410728 CPUtime=1782.15 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 508921 0 0 0 177235 980 0 0 20 0 1 0 220103114 3494100992 352682 33554432000 4194304 5849708 140737042684544 140737042683544 139920738164615 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 853052 352682 738 405 0 849997 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 3412208 KiB
Current children cumulated memory: 1410728 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/188 15310
/proc/meminfo: memFree=27481088/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=3413128 memory=1411700 CPUtime=1842.16 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 630300 0 0 0 183214 1002 0 0 20 0 1 0 220103114 3495043072 352925 33554432000 4194304 5849708 140737042684544 140737042683704 5339463 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 853282 352925 738 405 0 850227 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 3413128 KiB
Current children cumulated memory: 1411700 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/188 15311
/proc/meminfo: memFree=27481032/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=3413128 memory=1411700 CPUtime=1902.15 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 729590 0 0 0 189192 1023 0 0 20 0 1 0 220103114 3495043072 352925 33554432000 4194304 5849708 140737042684544 140737042683704 5307749 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 853282 352925 738 405 0 850227 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 3413128 KiB
Current children cumulated memory: 1411700 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/188 15312
/proc/meminfo: memFree=27415228/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=3413128 memory=1411700 CPUtime=1962.16 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 841762 0 0 0 195172 1044 0 0 20 0 1 0 220103114 3495043072 352925 33554432000 4194304 5849708 140737042684544 140737042683544 139920738164615 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 853282 352925 738 405 0 850227 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 3413128 KiB
Current children cumulated memory: 1411700 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/188 15313
/proc/meminfo: memFree=28200312/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2579224 memory=577796 CPUtime=2022.15 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 913960 0 0 0 201139 1076 0 0 20 0 1 0 220103114 2641125376 144449 33554432000 4194304 5849708 140737042684544 140737042683544 139920738164615 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 644806 144449 738 405 0 641751 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 2579224 KiB
Current children cumulated memory: 577796 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/188 15314
/proc/meminfo: memFree=28201448/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2578004 memory=576576 CPUtime=2082.16 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 959926 0 0 0 207121 1095 0 0 20 0 1 0 220103114 2639876096 144144 33554432000 4194304 5849708 140737042684544 140737042683544 139920738164615 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 644501 144144 738 405 0 641446 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 2578004 KiB
Current children cumulated memory: 576576 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/187 15315
/proc/meminfo: memFree=28216968/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2643540 memory=642112 CPUtime=2142.16 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 995567 0 0 0 213103 1113 0 0 20 0 1 0 220103114 2706984960 160528 33554432000 4194304 5849708 140737042684544 140737042683704 139920738164615 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 660885 160528 738 405 0 657830 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 2643540 KiB
Current children cumulated memory: 642112 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/187 15316
/proc/meminfo: memFree=28217292/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2622360 memory=620932 CPUtime=2202.16 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 1027818 0 0 0 219087 1129 0 0 20 0 1 0 220103114 2685296640 155233 33554432000 4194304 5849708 140737042684544 140737042683416 4226762 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 655590 155233 738 405 0 652535 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 2622360 KiB
Current children cumulated memory: 620932 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/187 15317
/proc/meminfo: memFree=28140332/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2720080 memory=718652 CPUtime=2262.17 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 1064124 0 0 0 225067 1150 0 0 20 0 1 0 220103114 2785361920 179663 33554432000 4194304 5849708 140737042684544 140737042683544 5437580 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 680020 179663 738 405 0 676965 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 2720080 KiB
Current children cumulated memory: 718652 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/187 15318
/proc/meminfo: memFree=28122840/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2720080 memory=718652 CPUtime=2322.17 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 1090270 0 0 0 231053 1164 0 0 20 0 1 0 220103114 2785361920 179663 33554432000 4194304 5849708 140737042684544 140737042683704 5335584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 680020 179663 738 405 0 676965 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 2720080 KiB
Current children cumulated memory: 718652 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 15319
/proc/meminfo: memFree=28048836/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=2859240 memory=857812 CPUtime=2382.17 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 1123636 0 0 0 237024 1193 0 0 20 0 1 0 220103114 2927861760 214453 33554432000 4194304 5849708 140737042684544 140737042683704 139920738164615 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 714810 214453 738 405 0 711755 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 2859240 KiB
Current children cumulated memory: 857812 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 15328
/proc/meminfo: memFree=27835704/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=3071016 memory=1069716 CPUtime=2442.17 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 1184141 0 0 0 243004 1213 0 0 20 0 1 0 220103114 3144720384 267429 33554432000 4194304 5849708 140737042684544 140737042683704 139920738164615 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 767754 267429 738 405 0 764699 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 3071016 KiB
Current children cumulated memory: 1069716 KiB
[startup+2502.3 s]
/proc/loadavg: 2.29 2.05 1.98 3/188 15329
/proc/meminfo: memFree=27801204/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=3071016 memory=1069716 CPUtime=2502.17 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 1224423 0 0 0 248989 1228 0 0 20 0 1 0 220103114 3144720384 267429 33554432000 4194304 5849708 140737042684544 140737042683544 139920738164615 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 767754 267429 738 405 0 764699 0
Current children cumulated CPU time: 2502.17 s
Current children cumulated vsize: 3071016 KiB
Current children cumulated memory: 1069716 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.49 2.11 2.00 3/188 15329
/proc/meminfo: memFree=27670684/32770624 swapFree=67030636/67108860
[pid=15122] ppid=15119 vsize=3202088 memory=1200788 CPUtime=2519.88 cores=1,3,5,7
/proc/15122/stat : 15122 (xcsp_picat) R 15119 15122 15061 0 -1 4202496 1254579 0 0 0 250752 1236 0 0 20 0 1 0 220103114 3278938112 300197 33554432000 4194304 5849708 140737042684544 140737042683704 5438341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 33144832 140737042691254 140737042691332 140737042691332 140737042694090 0
/proc/15122/statm: 800522 300197 738 405 0 797467 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 3202088 KiB
Current children cumulated memory: 1200788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 15122 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.53 s, system=12.3875 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.04
CPU time (s): 2519.92
CPU user time (s): 2507.53
CPU system time (s): 12.3875
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 3413128
Max. memory (cumulated for all children) (KiB): 1411700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.53
system time used= 12.3875
maximum resident set size= 1411700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1254580
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= 16
involuntary context switches= 1504
# summary of solver processes directly reported to runsolver:
# pid: 15122
# total CPU time (s): 2519.92
# total CPU user time (s): 2507.53
# total CPU system time (s): 12.3875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.12552 second user time and 19.8217 second system time
The end