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 (13683 MiB free)
memory of node 1: 16384 MiB (10815 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407577-1569509645/watcher-4407577-1569509645 -o /var/tmp/evaluation-result-4407577-1569509645/solver-4407577-1569509645 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1569509597-16052 --watchdog 2560 xcsp_picat HOME/instance-4407577-1569509645.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16198, runsolver pid=16195
Current StackSize limit: 8192 KiB
[startup+0.100352 s]*
/proc/loadavg: 0.08 0.03 0.05 3/200 16205
/proc/meminfo: memFree=25052628/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2031716 memory=22452 CPUtime=0.1 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 1714 0 0 0 10 0 0 0 20 0 1 0 526878258 2080477184 5613 33554432000 4194304 5870510 140721611601008 140721611600312 4429440 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 507929 5613 846 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22452 KiB
[startup+0.20979 s]*
/proc/loadavg: 0.08 0.03 0.05 3/200 16205
/proc/meminfo: memFree=25038692/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2031716 memory=37012 CPUtime=0.2 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 1771 0 0 0 20 0 0 0 20 0 1 0 526878258 2080477184 9253 33554432000 4194304 5870510 140721611601008 140721611600312 4475223 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 507929 9253 865 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 37012 KiB
[startup+0.309527 s]*
/proc/loadavg: 0.08 0.03 0.05 3/200 16205
/proc/meminfo: memFree=25013992/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2031716 memory=61588 CPUtime=0.31 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 1783 0 0 0 30 1 0 0 20 0 1 0 526878258 2080477184 15397 33554432000 4194304 5870510 140721611601008 140721611600312 4804550 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 507929 15397 865 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 61588 KiB
[startup+0.700327 s]
/proc/loadavg: 0.08 0.03 0.05 3/200 16205
/proc/meminfo: memFree=24964096/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2031716 memory=155912 CPUtime=0.69 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 1829 0 0 0 67 2 0 0 20 0 1 0 526878258 2080477184 38978 33554432000 4194304 5870510 140721611601008 140721611600312 4507567 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 507929 38978 890 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 155912 KiB
[startup+1.50028 s]
/proc/loadavg: 0.24 0.06 0.06 3/201 16207
/proc/meminfo: memFree=24871296/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2097892 memory=234048 CPUtime=1.48 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 13741 0 0 0 144 4 0 0 20 0 1 0 526878258 2148241408 58512 33554432000 4194304 5870510 140721611601008 140721611600312 5562059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 524473 58512 955 410 0 519946 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2097892 KiB
Current children cumulated memory: 234048 KiB
[startup+3.10964 s]
/proc/loadavg: 0.24 0.06 0.06 3/201 16207
/proc/meminfo: memFree=24818700/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2094744 memory=230052 CPUtime=3.09 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 27030 0 0 0 303 6 0 0 20 0 1 0 526878258 2145017856 57513 33554432000 4194304 5870510 140721611601008 140721611599512 140307947620920 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 523686 57513 979 410 0 519159 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2094744 KiB
Current children cumulated memory: 230052 KiB
[startup+6.30031 s]
/proc/loadavg: 0.38 0.10 0.07 3/201 16207
/proc/meminfo: memFree=24815508/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2094744 memory=234192 CPUtime=6.28 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 30549 0 0 0 621 7 0 0 20 0 1 0 526878258 2145017856 58548 33554432000 4194304 5870510 140721611601008 140721611600264 5258681 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 523686 58548 989 410 0 519159 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2094744 KiB
Current children cumulated memory: 234192 KiB
[startup+12.7003 s]
/proc/loadavg: 0.51 0.13 0.08 3/200 16207
/proc/meminfo: memFree=24793480/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2095740 memory=240616 CPUtime=12.68 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 39096 0 0 0 1260 8 0 0 20 0 1 0 526878258 2146037760 60154 33554432000 4194304 5870510 140721611601008 140721611599368 140307947557824 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 523935 60154 989 410 0 519408 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2095740 KiB
Current children cumulated memory: 240616 KiB
[startup+25.5004 s]
/proc/loadavg: 0.74 0.19 0.10 3/200 16207
/proc/meminfo: memFree=24737984/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2157068 memory=296356 CPUtime=25.47 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 41964 0 0 0 2538 9 0 0 20 0 1 0 526878258 2208837632 74089 33554432000 4194304 5870510 140721611601008 140721611599576 5304146 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 539267 74089 989 410 0 534740 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 2157068 KiB
Current children cumulated memory: 296356 KiB
[startup+51.1098 s]
/proc/loadavg: 1.41 0.41 0.18 3/201 16273
/proc/meminfo: memFree=23195732/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2157068 memory=299104 CPUtime=51.07 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 44585 0 0 0 5098 9 0 0 20 0 1 0 526878258 2208837632 74776 33554432000 4194304 5870510 140721611601008 140721611599576 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 539267 74776 989 410 0 534740 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 2157068 KiB
Current children cumulated memory: 299104 KiB
[startup+102.3 s]
/proc/loadavg: 1.74 0.66 0.27 3/199 16278
/proc/meminfo: memFree=23189736/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2157068 memory=304196 CPUtime=102.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 46252 0 0 0 10216 9 0 0 20 0 1 0 526878258 2208837632 76049 33554432000 4194304 5870510 140721611601008 140721611599576 5281854 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 539267 76049 989 410 0 534740 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 2157068 KiB
Current children cumulated memory: 304196 KiB
[startup+162.3 s]
/proc/loadavg: 1.85 0.88 0.38 3/199 16282
/proc/meminfo: memFree=23218208/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2126720 memory=276264 CPUtime=162.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 49060 0 0 0 16212 13 0 0 20 0 1 0 526878258 2177761280 69066 33554432000 4194304 5870510 140721611601008 140721611600024 5282694 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 531680 69066 989 410 0 527153 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2126720 KiB
Current children cumulated memory: 276264 KiB
[startup+222.3 s]
/proc/loadavg: 2.17 1.14 0.49 3/199 16286
/proc/meminfo: memFree=23159160/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2187800 memory=335656 CPUtime=222.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 52047 0 0 0 22208 17 0 0 20 0 1 0 526878258 2240307200 83914 33554432000 4194304 5870510 140721611601008 140721611599576 5282642 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 546950 83914 989 410 0 542423 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2187800 KiB
Current children cumulated memory: 335656 KiB
[startup+282.3 s]
/proc/loadavg: 2.30 1.38 0.62 3/199 16293
/proc/meminfo: memFree=23154336/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=342212 CPUtime=282.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 55765 0 0 0 28204 21 0 0 20 0 1 0 526878258 2259734528 85553 33554432000 4194304 5870510 140721611601008 140721611599448 5282736 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 85553 989 410 0 547166 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 342212 KiB
[startup+342.3 s]
/proc/loadavg: 2.11 1.49 0.70 3/199 16297
/proc/meminfo: memFree=23122608/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=340012 CPUtime=342.26 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 58255 0 0 0 34202 24 0 0 20 0 1 0 526878258 2259734528 85003 33554432000 4194304 5870510 140721611601008 140721611599448 5308364 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 85003 989 410 0 547166 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 340012 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 1.58 0.79 3/199 16308
/proc/meminfo: memFree=23109716/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=342076 CPUtime=402.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 60763 0 0 0 40199 26 0 0 20 0 1 0 526878258 2259734528 85519 33554432000 4194304 5870510 140721611601008 140721611599448 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 85519 989 410 0 547166 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 342076 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 1.66 0.86 3/201 16338
/proc/meminfo: memFree=23132528/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2157452 memory=309032 CPUtime=462.26 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 62945 0 0 0 46198 28 0 0 20 0 1 0 526878258 2209230848 77258 33554432000 4194304 5870510 140721611601008 140721611600024 5283135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 539363 77258 989 410 0 534836 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2157452 KiB
Current children cumulated memory: 309032 KiB
################
# More data... #
################
/proc/16198/statm: 551693 88638 989 410 0 547166 0
Current children cumulated CPU time: 1662.26 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 354552 KiB
[startup+1722.3 s]
/proc/loadavg: 1.97 2.01 1.72 3/200 16766
/proc/meminfo: memFree=22558136/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=350624 CPUtime=1722.26 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 112124 0 0 0 172142 84 0 0 20 0 1 0 526878258 2259734528 87656 33554432000 4194304 5870510 140721611601008 140721611600024 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 87656 989 410 0 547166 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 350624 KiB
[startup+1782.3 s]
/proc/loadavg: 1.99 2.01 1.74 3/201 16771
/proc/meminfo: memFree=22946216/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=348408 CPUtime=1782.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 114708 0 0 0 178139 86 0 0 20 0 1 0 526878258 2259734528 87102 33554432000 4194304 5870510 140721611601008 140721611600024 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 87102 989 410 0 547166 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 348408 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/201 16775
/proc/meminfo: memFree=22950616/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=344480 CPUtime=1842.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 117369 0 0 0 184135 90 0 0 20 0 1 0 526878258 2259734528 86120 33554432000 4194304 5870510 140721611601008 140721611600024 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 86120 989 410 0 547166 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 344480 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/200 16782
/proc/meminfo: memFree=22938348/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=352504 CPUtime=1902.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 119879 0 0 0 190132 93 0 0 20 0 1 0 526878258 2259734528 88126 33554432000 4194304 5870510 140721611601008 140721611600024 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 88126 989 410 0 547166 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 352504 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/200 16786
/proc/meminfo: memFree=22928872/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=354888 CPUtime=1962.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 122894 0 0 0 196129 96 0 0 20 0 1 0 526878258 2259734528 88722 33554432000 4194304 5870510 140721611601008 140721611600024 5282382 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 88722 989 410 0 547166 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 354888 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/200 16790
/proc/meminfo: memFree=22929192/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=354720 CPUtime=2022.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 125901 0 0 0 202125 100 0 0 20 0 1 0 526878258 2259734528 88680 33554432000 4194304 5870510 140721611601008 140721611600024 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 88680 989 410 0 547166 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 354720 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/199 16797
/proc/meminfo: memFree=22934156/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=346360 CPUtime=2082.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 129763 0 0 0 208122 103 0 0 20 0 1 0 526878258 2259734528 86590 33554432000 4194304 5870510 140721611601008 140721611600024 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 86590 989 410 0 547166 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 346360 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/199 16801
/proc/meminfo: memFree=22932276/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=346528 CPUtime=2142.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 132446 0 0 0 214118 107 0 0 20 0 1 0 526878258 2259734528 86632 33554432000 4194304 5870510 140721611601008 140721611600024 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 86632 989 410 0 547166 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 346528 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.02 1.84 3/200 16995
/proc/meminfo: memFree=24690708/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=354720 CPUtime=2202.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 134892 0 0 0 220115 110 0 0 20 0 1 0 526878258 2259734528 88680 33554432000 4194304 5870510 140721611601008 140721611600024 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 88680 989 410 0 547166 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 354720 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.01 1.85 3/200 17001
/proc/meminfo: memFree=24612584/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=352504 CPUtime=2262.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 137528 0 0 0 226110 115 0 0 20 0 1 0 526878258 2259734528 88126 33554432000 4194304 5870510 140721611601008 140721611600024 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 88126 989 410 0 547166 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 352504 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.01 1.86 3/200 17005
/proc/meminfo: memFree=24597804/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=350792 CPUtime=2322.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 140723 0 0 0 232107 118 0 0 20 0 1 0 526878258 2259734528 87698 33554432000 4194304 5870510 140721611601008 140721611600024 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 87698 989 410 0 547166 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 350792 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/200 17009
/proc/meminfo: memFree=24581560/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2206772 memory=350456 CPUtime=2382.25 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 143829 0 0 0 238103 122 0 0 20 0 1 0 526878258 2259734528 87614 33554432000 4194304 5870510 140721611601008 140721611600024 5282578 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 551693 87614 989 410 0 547166 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 2206772 KiB
Current children cumulated memory: 350456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 1.87 3/200 17011
/proc/meminfo: memFree=24572376/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2237592 memory=358708 CPUtime=2400.06 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 145901 0 0 0 239883 123 0 0 20 0 1 0 526878258 2291294208 89677 33554432000 4194304 5870510 140721611601008 140721611600024 5308419 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 559398 89677 989 410 0 554871 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 2237592 KiB
Current children cumulated memory: 358708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 16198 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.84 s, system=1.23799 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 1.87 3/200 17011
/proc/meminfo: memFree=24572376/32770624 swapFree=66935996/67108860
[pid=16198] ppid=16195 vsize=2237592 memory=358708 CPUtime=2400.06 cores=1,3,5,7
/proc/16198/stat : 16198 (xcsp_picat) R 16195 16198 16020 0 -1 4202496 145901 0 0 0 239883 123 0 0 20 0 1 0 526878258 2291294208 89677 33554432000 4194304 5870510 140721611601008 140721611600024 5308419 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 47267840 140721611609095 140721611609177 140721611609177 140721611612102 0
/proc/16198/statm: 559398 89677 989 410 0 554871 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 2237592 KiB
Current children cumulated memory: 358708 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.11
CPU time (s): 2400.08
CPU user time (s): 2398.84
CPU system time (s): 1.23799
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 2286912
Max. memory (cumulated for all children) (KiB): 400340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.84
system time used= 1.23799
maximum resident set size= 404504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145901
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= 19
involuntary context switches= 2230
# summary of solver processes directly reported to runsolver:
# pid: 16198
# total CPU time (s): 2400.08
# total CPU user time (s): 2398.84
# total CPU system time (s): 1.23799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.67728 second user time and 18.1565 second system time
The end