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 (13783 MiB free)
memory of node 1: 16384 MiB (11180 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395172-1568342660/watcher-4395172-1568342660 -o /tmp/evaluation-result-4395172-1568342660/solver-4395172-1568342660 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568323917-28816 --watchdog 2580 xcsp_picat HOME/instance-4395172-1568342660.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1216, runsolver pid=1213
[startup+0.100112 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 1217
/proc/meminfo: memFree=25537128/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2042068 memory=29452 CPUtime=0.09 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 3546 0 0 0 9 0 0 0 20 0 1 0 410533839 2091077632 7363 33554432000 4194304 5870510 140733246289584 140733246286728 5562059 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 510517 7363 946 410 0 505990 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2042068 KiB
Current children cumulated memory: 29452 KiB
[startup+0.20997 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 1217
/proc/meminfo: memFree=25537128/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2042204 memory=29692 CPUtime=0.2 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 3613 0 0 0 20 0 0 0 20 0 1 0 410533839 2091216896 7423 33554432000 4194304 5870510 140733246289584 140733246286728 5406805 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 510551 7423 963 410 0 506024 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2042204 KiB
Current children cumulated memory: 29692 KiB
[startup+0.309271 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 1217
/proc/meminfo: memFree=25536756/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2042340 memory=29940 CPUtime=0.31 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 3672 0 0 0 30 1 0 0 20 0 1 0 410533839 2091356160 7485 33554432000 4194304 5870510 140733246289584 140733246286728 140602933239687 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 510585 7485 963 410 0 506058 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2042340 KiB
Current children cumulated memory: 29940 KiB
[startup+0.700231 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 1217
/proc/meminfo: memFree=25536260/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2043100 memory=30924 CPUtime=0.69 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 3976 0 0 0 68 1 0 0 20 0 1 0 410533839 2092134400 7731 33554432000 4194304 5870510 140733246289584 140733246286728 5562064 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 510775 7731 963 410 0 506248 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2043100 KiB
Current children cumulated memory: 30924 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 1217
/proc/meminfo: memFree=25533468/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2044192 memory=34044 CPUtime=1.49 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 4253 0 0 0 148 1 0 0 20 0 1 0 410533839 2093252608 8511 33554432000 4194304 5870510 140733246289584 140733246288840 140602932772493 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 511048 8511 963 410 0 506521 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2044192 KiB
Current children cumulated memory: 34044 KiB
[startup+3.10946 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 1217
/proc/meminfo: memFree=25529872/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2046740 memory=36584 CPUtime=3.1 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 6089 0 0 0 309 1 0 0 20 0 1 0 410533839 2095861760 9146 33554432000 4194304 5870510 140733246289584 140733246288840 5477363 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 511685 9146 963 410 0 507158 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2046740 KiB
Current children cumulated memory: 36584 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 1217
/proc/meminfo: memFree=25531040/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2045052 memory=35888 CPUtime=6.29 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 10855 0 0 0 627 2 0 0 20 0 1 0 410533839 2094133248 8972 33554432000 4194304 5870510 140733246289584 140733246288696 5475054 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 511263 8972 1001 410 0 506736 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2045052 KiB
Current children cumulated memory: 35888 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 1218
/proc/meminfo: memFree=25516624/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2058964 memory=49772 CPUtime=12.68 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 16919 0 0 0 1265 3 0 0 20 0 1 0 410533839 2108379136 12443 33554432000 4194304 5870510 140733246289584 140733246288392 5282721 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 514741 12443 1003 410 0 510214 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2058964 KiB
Current children cumulated memory: 49772 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 1218
/proc/meminfo: memFree=25515204/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2066212 memory=51452 CPUtime=25.48 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 22839 0 0 0 2544 4 0 0 20 0 1 0 410533839 2115801088 12863 33554432000 4194304 5870510 140733246289584 140733246288536 5274872 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 516553 12863 1003 410 0 512026 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2066212 KiB
Current children cumulated memory: 51452 KiB
[startup+51.1096 s]
/proc/loadavg: 1.95 2.01 2.04 3/200 1220
/proc/meminfo: memFree=25506580/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2066100 memory=56932 CPUtime=51.09 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 37059 0 0 0 5102 7 0 0 20 0 1 0 410533839 2115686400 14233 33554432000 4194304 5870510 140733246289584 140733246288152 5575057 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 516525 14233 1003 410 0 511998 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2066100 KiB
Current children cumulated memory: 56932 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/199 1224
/proc/meminfo: memFree=25492004/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2077684 memory=68516 CPUtime=102.28 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 43568 0 0 0 10219 9 0 0 20 0 1 0 410533839 2127548416 17129 33554432000 4194304 5870510 140733246289584 140733246288760 5282606 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 519421 17129 1003 410 0 514894 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2077684 KiB
Current children cumulated memory: 68516 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/200 1230
/proc/meminfo: memFree=25489416/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2077712 memory=68520 CPUtime=162.27 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 52601 0 0 0 16215 12 0 0 20 0 1 0 410533839 2127577088 17130 33554432000 4194304 5870510 140733246289584 140733246288760 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 519428 17130 1003 410 0 514901 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2077712 KiB
Current children cumulated memory: 68520 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/199 1234
/proc/meminfo: memFree=25474228/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2096568 memory=83436 CPUtime=222.27 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 52785 0 0 0 22214 13 0 0 20 0 1 0 410533839 2146885632 20859 33554432000 4194304 5870510 140733246289584 140733246288024 140602938459144 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 524142 20859 1003 410 0 519615 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2096568 KiB
Current children cumulated memory: 83436 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 1238
/proc/meminfo: memFree=26310548/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2089196 memory=73428 CPUtime=282.28 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 63081 0 0 0 28211 17 0 0 20 0 1 0 410533839 2139336704 18357 33554432000 4194304 5870510 140733246289584 140733246288760 5282595 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 522299 18357 1003 410 0 517772 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2089196 KiB
Current children cumulated memory: 73428 KiB
[startup+338.363 s]
# the end of solver process 1216 was just reported to runsolver
# cumulated CPU time of all completed processes: user=338.163 s, system=0.188994 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 1241
/proc/meminfo: memFree=25497880/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2089196 memory=73428 CPUtime=307.18 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 63092 0 0 0 30700 18 0 0 20 0 1 0 410533839 2139336704 18357 33554432000 4194304 5870510 140733246289584 140733246288760 5283067 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 522299 18357 1003 410 0 517772 0
Current children cumulated CPU time: 307.18 s
Current children cumulated vsize: 2089196 KiB
Current children cumulated memory: 73428 KiB
[startup+320 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 1242
/proc/meminfo: memFree=25498160/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2089196 memory=73428 CPUtime=319.98 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 63092 0 0 0 31980 18 0 0 20 0 1 0 410533839 2139336704 18357 33554432000 4194304 5870510 140733246289584 140733246288760 5282336 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 522299 18357 1003 410 0 517772 0
Current children cumulated CPU time: 319.98 s
Current children cumulated vsize: 2089196 KiB
Current children cumulated memory: 73428 KiB
[startup+326.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 1242
/proc/meminfo: memFree=25496112/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2089196 memory=75476 CPUtime=326.38 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 63093 0 0 0 32620 18 0 0 20 0 1 0 410533839 2139336704 18869 33554432000 4194304 5870510 140733246289584 140733246288760 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 522299 18869 1003 410 0 517772 0
Current children cumulated CPU time: 326.38 s
Current children cumulated vsize: 2089196 KiB
Current children cumulated memory: 75476 KiB
[startup+332.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 1242
/proc/meminfo: memFree=25496112/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2089196 memory=75476 CPUtime=332.78 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 63093 0 0 0 33260 18 0 0 20 0 1 0 410533839 2139336704 18869 33554432000 4194304 5870510 140733246289584 140733246288760 5276169 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 522299 18869 1003 410 0 517772 0
Current children cumulated CPU time: 332.78 s
Current children cumulated vsize: 2089196 KiB
Current children cumulated memory: 75476 KiB
[startup+336 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 1242
/proc/meminfo: memFree=25496112/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2089196 memory=75476 CPUtime=335.98 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 63093 0 0 0 33580 18 0 0 20 0 1 0 410533839 2139336704 18869 33554432000 4194304 5870510 140733246289584 140733246288760 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 522299 18869 1003 410 0 517772 0
Current children cumulated CPU time: 335.98 s
Current children cumulated vsize: 2089196 KiB
Current children cumulated memory: 75476 KiB
[startup+337.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 1242
/proc/meminfo: memFree=25496112/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2089196 memory=75476 CPUtime=337.58 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 63093 0 0 0 33740 18 0 0 20 0 1 0 410533839 2139336704 18869 33554432000 4194304 5870510 140733246289584 140733246288760 5272512 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 522299 18869 1003 410 0 517772 0
Current children cumulated CPU time: 337.58 s
Current children cumulated vsize: 2089196 KiB
Current children cumulated memory: 75476 KiB
[startup+338 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 1242
/proc/meminfo: memFree=25496112/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2089196 memory=75476 CPUtime=337.98 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 63093 0 0 0 33780 18 0 0 20 0 1 0 410533839 2139336704 18869 33554432000 4194304 5870510 140733246289584 140733246288760 5256829 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 522299 18869 1003 410 0 517772 0
Current children cumulated CPU time: 337.98 s
Current children cumulated vsize: 2089196 KiB
Current children cumulated memory: 75476 KiB
[startup+338.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 1242
/proc/meminfo: memFree=25496112/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2089196 memory=75476 CPUtime=338.18 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 63093 0 0 0 33800 18 0 0 20 0 1 0 410533839 2139336704 18869 33554432000 4194304 5870510 140733246289584 140733246288760 5282721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 522299 18869 1003 410 0 517772 0
Current children cumulated CPU time: 338.18 s
Current children cumulated vsize: 2089196 KiB
Current children cumulated memory: 75476 KiB
[startup+338.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 1242
/proc/meminfo: memFree=25496112/32770624 swapFree=67004752/67108860
[pid=1216] ppid=1213 vsize=2089196 memory=75476 CPUtime=338.28 cores=0,2,4,6
/proc/1216/stat : 1216 (xcsp_picat) R 1213 1216 28785 0 -1 4202496 63093 0 0 0 33810 18 0 0 20 0 1 0 410533839 2139336704 18869 33554432000 4194304 5870510 140733246289584 140733246288760 5282736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42024960 140733246297119 140733246297197 140733246297197 140733246300106 0
/proc/1216/statm: 522299 18869 1003 410 0 517772 0
Current children cumulated CPU time: 338.28 s
Current children cumulated vsize: 2089196 KiB
Current children cumulated memory: 75476 KiB
Child status: 0
Real time (s): 338.363
CPU time (s): 338.352
CPU user time (s): 338.163
CPU system time (s): 0.188994
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 2108036
Max. memory (cumulated for all children) (KiB): 87864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 338.163
system time used= 0.188994
maximum resident set size= 87864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63145
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= 4
involuntary context switches= 192
# summary of solver processes directly reported to runsolver:
# pid: 1216
# total CPU time (s): 338.352
# total CPU user time (s): 338.163
# total CPU system time (s): 0.188994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33371 second user time and 2.53202 second system time
The end